Lobsters: Compiling Rust to readable C with Eurydice