Definition R64_Channels : list channelDescription := [R64].
