@0x85894bd060182ed3; interface Receiver(T) { send @0 (chunk :T) -> stream; done @1 (); } interface Sender { pause @0 (); resume @1 (); stop @2 (); }