1 2 3 4 5 6
package Noreturn5 is procedure Proc (Arg_Line : Wide_String; Keep_Going : Boolean); pragma No_Return (Proc); end Noreturn5;