Eurydice: a Rust to C compiler (yes)