{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"//"}]}
        // rather than the "target", and we also tweak a few other things.
        // of a higher-ranked region, we start our search from the "source" point
        //