1with Ada.Exceptions; use Ada.Exceptions;
2
3package Noreturn2 is
4
5   procedure Raise_From (X : Exception_Occurrence);
6   pragma No_Return (Raise_From);
7
8end Noreturn2;
9