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