begin
  var a := 3;
  Assert(a = 3);
  Assert(a = 4, 'Bad assert!');
end.