Can we just find a way to auto-translate the whole thing to Rust?