specification SPROT_service [PUT,GET] :noexit

  library SERVICE endlib 

  behaviour

    SERVICE [PUT,GET]

where

   process SERVICE [PUT,GET] :noexit :=
     PUT ?message:MSG;
       GET !message;
         SERVICE [PUT,GET]
   endproc

endspec