{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"channel"}]}
        channel = get_toolchain()?, // May also include date
        "+{channel}-{host}",
        host = args.config_info.host_triple