c2rust 0.10.1

C to Rust translation, refactoring, and cross-checking
c2rust-0.10.1 is not a library.