What is the output of this Rust program?