(83 . 3)(83 . 4)449 pragma Discard_Names;450 pragma Restrictions (No_Enumeration_Maps);451 pragma Restrictions (No_Exception_Propagation);452 pragma Restrictions (No_Exception_Handlers);