---

6.3 RM 1.1.5(12): Bounded Errors ¶

"If an implementation detects a bounded error or erroneous execution, it should raise Program_Error."

Followed in all cases in which the implementation detects a bounded error or erroneous execution. Not all such situations are detected at runtime.