Definition R32_Channels : list channelDescription := [R32].
