On: Compiling C to Safe Rust, Formalized

[pizlonator]

Great way to introduce novel security vulnerabilities!

If that’s the Rust way, then I’m all for it. Will make it easier for Fil-C to have some epic kill shots.