{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"buffer_ops.push((line_offset,"}]}
                    buffer_ops.push((line_offset, width_offset + depth - 1, chr, uline.style));
                    annotations.push((depth, uline.style));
                } else {