Safety settings are ignored by the interpreted code; therefore where the standard uses the phrase “should signal an error”, an ERROR is SIGNALed. See Section 3.3.2, “Declaration SAFETY” for the safety of compiled code.