{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"//"}]}
            // case), there are a few dozens compared to e.g. thousands or tens of thousands of
            // a much, much smaller domain: in our benchmarks, when it's not zero (the most likely
            // locals and move paths.