module bitalt_service (TYPES, CHANNELS) is

process MAIN [PUT, GET: C_MSG] is
   loop
      var M: MSG in
         PUT (?M); -- obtention of a message
         GET (M)   -- delivery of the message
      end var
   end loop
end process

end module