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