ADD(Int) → Recv<N, End>; BYE() → Recv<(), End>
ADD(Int) → Recv<N, End>;
BYE() → Recv<(), End>