{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"col_utf16"}]}
            col_utf16 += c.len_utf16() as u32;
            lin_col.col += c.len_utf8() as u32;
            col_utf32 += 1;