Commit 2655b7607c21e1233378959f87a210e4431ad4d7

Behdad Esfahbod 2023-05-23T10:57:58

[map] Micro-optimize This shows a speedup.