# This should fail b : boolean := "hello"; -- type mismatch