Convert to Rust