{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"mp.idx"}]}
                    mp.idx += 1;
                    // Try one or more matches of this sequence, by entering it.
                    self.cur_mps.push(mp);