And the safety reason is also fulfilled with Ada/SPARK2014 as an alternative to Rust with a longer legacy in high-integrity applications.