(Forgot to check-in `src/map.rs`)