C2Rust: Migrate C99-compliant code to Rust