{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"while"}]}
        while self.undo_log.logs.len() > snapshot.undo_len {
            let undo = self.undo_log.logs.pop().unwrap();