module PROTOCOL_CHANNELS (BIT, TYPES) is

channel C_BIT is
   (B: BIT)
end channel

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

end module