Rust_extension