On: Compiling C to Safe Rust, Formalized

[dang]

Maybe so, but please don't post unsubstantive comments to Hacker News.

Edit: it looks like you've been doing this a lot lately. Can you please not? We're trying for something more interesting here.