c2rust: Migrate C code to Rust (via cve) — discussion

#c #compilers #rust