Next: , Previous: H.2, Up: Annex H


H.3 Reviewable Object Code

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