Compiling Rust to readable C with Eurydice — Blankdot