Why Rust Is Fast Lean