From DARPA’s “Translating all C to Rust” TRACTOR program:

https://www.ll.mit.edu/r-d/projects/translating-all-c-rust-t...