{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"//"}]}
                // The default span label underline.
            for p in 0..ann_width {
                buffer.putc(line_offset + 1, code_offset + p, uline.underline, uline.style);