Rust-aware syntax in example