{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"//"}]}
        //    `max_line_num_len`
        //    |  magic `3`
        let padding = " ".repeat(padding + label.len() + 5);