{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"name_globals.push(cx.const_str(unused.symbol_name.name).0);"}]}
        name_globals.push(cx.const_str(unused.symbol_name.name).0);
        // If successful, also store its symbol name in a global constant.
        record