Rewriting Rust