more Rust code