Looking at a simple Rust program