module Assertions;
var
   a: integer;
begin
   a := 40;
   assert(a = 42,100)
end Assertions.