The pragma Reviewable directs the compiler to provide information that aids inspection of the program's object code.
Ada. Time-tested, safe and secure.
