c2rust 0.10.0

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