# This should fail b : string := true; -- type mismatch