Next: RM 13.1 (21-24): Representation Clauses, Previous: RM 11.4.1(19): Exception Information, Up: Implementation Advice [Contents][Index]
"The implementation should minimize the code executed for checks that have been suppressed."
Followed.