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