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