{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"//"}]}
            // a *definition* of the variable, in which case we want
            // terminator. *But*, in that case, the terminator is also
            // to stop the search anyhow. (But see Note 1 below.)