# This should fail b : boolean := true and; -- missing boolean operand