Let BSMC be the byte stream monitor creator.
BSMC(0;SB,M,BSP,MB ==> c;MBSP) "Create Byte Stream Producer Monitor"
MBSP is a monitored byte stream producer. When it is called, the order code is recorded by a call of the form MB(1,(4,order code);==>;). Then the call is passed on to BSP. When BSP returns, the order code and data are recorded by a call of the form MB(0,(4,order code),(data);==>;) and then the return is passed on..
MB can be a multiplexor (mult) branch key.
On EOF, the EOF is passed on and then the monitor destroys itself.
C is loose end.