# This should fail

b : boolean := 1; -- type mismatch