{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"opt_desc.name().replace('_',"}]}
            opt_desc.name().replace('_', "-"),
            cmdline_opt,
            opt_desc.desc(),