# This should fail

b : integer := "hello"; -- type mismatch