module SERVICE_CHANNELS (TYPES) is

channel C_MSG is
   (M: MSG)
end channel

end module