mod MYCONF is
  inc CONFIGURATION .
  inc STRING .

  op o : String  -> Oid .

  sort MsgBody .
  op msg : Oid Oid MsgBody -> Msg .  

  op noMsg : -> Msg .
endm