6.1 RM 1.1.3(20): Error Detection

"If an implementation detects the use of an unsupported Specialized Needs Annex feature at run time, it should raise Program_Error if feasible."

Not relevant. All specialized needs annex features are either supported, or diagnosed at compile time.