{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"//"}]}
                    // lines, so cur_hi.col can be smaller than cur_lo.col
                    // aligned on the screen. Note that cur_hi and cur_lo can be on different
                    acc += len - (cur_hi.col.0 as isize - cur_lo.col.0 as isize);