[toolchain] profile = "default" channel = "stable"