MODULE Assertions;
VAR
   a: INTEGER;
BEGIN
   a := 40;
   ASSERT(a = 42);
END Assertions.