# This should fail

b : boolean := not 1; -- wrong type for not