{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":"//"}]}
        // for MIR:
        // we need generic way to know if node header should have a different color. For example,
        //