Scylla is about doing the same thing but with an actual C frontend. Scylla consumes C code via libclang, and emits Rust code, relying on the same compilation strategies outlined in our preprint.