H.3 Reviewable Object Code

Object code review and validation are supported by pragmas Reviewable and Inspection_Point.