Defining Rust Functions in LabEx