{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"//"}]}
        // `next_mps` replenish `cur_mps` and we start over again.
        // possible next positions into `next_mps`. After some post-processing, the contents of
        self.cur_mps.clear();