# This should fail

b : boolean := true - false; -- no such operation