module CHANNELS (TYPES) is

channel C_BIT is
   (B: BIT)
end channel

channel C_MSG is
   (M: MSG)
end channel

channel C_MSG_BIT is
   (M: MSG, B: BIT)
end channel

end module