1with Ada.Exceptions; use Ada.Exceptions; 2 3package Noreturn1 is 4 5 procedure Error (E : in Exception_Occurrence); 6 pragma No_Return (Error); 7 8end Noreturn1; 9