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.4, "Declaration SAFETY" for the safety of compiled code.