{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"buffer.append(0,"}]}
                buffer.append(0, ": ", Style::NoStyle);
                buffer.append(0, level.to_str(), Style::MainHeaderMsg);
            }