Syntax:
pragma No_Raise (subprogram_LOCAL_NAME {, subprogram_LOCAL_NAME});
Each subprogram_LOCAL_NAME argument must refer to one or more subprogram
declarations in the current declarative part. A subprogram to which this
pragma is applied may not raise an exception that is not caught within it.
An implementation-defined check named Raise_Check is associated with the
pragma, and Program_Error is raised upon its failure (see RM 11.5(19/5)).