begin
  if true then ;
  Assert(1=1);
end.