{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"mp.idx"}]}
                        mp.idx = idx_first;
                        // Try another repetition.
                        self.cur_mps.push(mp);