begin
  while 1 do (* @Error Condition must be a boolean expression, but got 'Int' *)
  end
end.