Migrating away from Rust