Parameters written in Rust