{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"max_total_len"}]}
            max_total_len = max(max_total_len, total_len);
            total_len -= indel.delete.len();
        }