{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"//"}]}
            // w bucket.
            // vertices semi[v] +> y *> v. Note that semi[v] = w as we're in the
            //