Oh, and regarding the request for a Rust AST to C compiler, I hope that doesn&#x27;t happen for a number of reasons. First, it undoes the work we&#x27;re doing on MIR, which is very important (you couldn&#x27;t run MIR-level optimizations, the borrow check and codegen would be at high risk of divergence, we&#x27;d have to take a big backwards step to serializing ASTs for generics, etc.) Second, it&#x27;d be very hard to dodge C&#x27;s undefined behavior: think of what we&#x27;d have to do to make signed integer overflow crash cleanly instead of leading to UB, just to name one particularly egregious problem...