C-to-Rust is silly, do it again later