This applies to other languages with unsafe code blocks, note that JOVIAL and ESPOL were the first ones offering such capability.