declare proc {RMI P Msg Y} % REQUIRES: Y is a dataflow variable that will be % determined by the message Msg {Send P Msg} {Wait Y} end