# This should fail

b : integer := true; -- type mismatch