H.3 Объектный код, подлежащий проверке

Проверка и валидация объектного кода поддерживаются директивами Reviewable и Inspection_Point.