From Rust to C and Back Again