Rewriting of a small component from C to Rust