procedure Raise_CE is begin raise Constraint_Error; end;