[pjmlp]

I know SPARK capabilities, the point was more that Rust also isn't without extra help to enforce specific coding practices.