1package Noreturn4 is 2 3 procedure P1 (Msg : String); 4 procedure P1 (Msg : String; Val : Integer); 5 pragma No_Return (P1); 6 7 procedure Fatal_Error (X : Integer); 8 pragma No_Return (Fatal_Error); 9 10end Noreturn4; 11