// MTSDSAck i = traceValue (toString m) @! ()
// MTSDSDelAck i = traceValue (toString m) @! ()
MTPub i val = updateShare i val
- MTTaskAck i = deviceTaskAcked device i
+ MTTaskAck i mem = deviceTaskAcked device i mem
MTTaskDelAck i = deviceTaskDeleteAcked device i @! ()
MTDevSpec s = deviceAddSpec device s @! ()
_ = treturn ()