@ddrake This is very cool, but I wonder what the Rust code looks like: is it idiomatic Rust, which in many cases would require drastically changing the design of the original code? Is it something that a human would find maintainable? And (considering that it’s entirely possible to write unsafe code in Rust), is it provably safer than the original code? If not, maybe it would be better to pay human programmers to rewrite C code in Rust.