3 ms·

Since the requirements have made a C dependency acceptable, then why not make the job easier by just writing a Rust->C source translator ?