{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"result.push(c);"}]}
                            result.push(c);
                            p = c.sup;
                        }