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