The information in this section relates to Annex M paragraphs 133 to 136.
A: Information on this subject is not yet available.
A: Pragma Inspection_Point ensures that the given variable is live and can be examined by a debugger at the inspection point.
A: ERC32 Ada includes additional restrictions for use in safety-related applications. See Appendix A for details.