# This should fail b : boolean := true & false; -- no such operation