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