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