-- -- Example of a program that raises Constraint_Error -- procedure E1 is N : Natural := -1; begin null; end E1;