b:{rcv 0; rcv 0; snd[1;41]; snd[1;43]; b 1};b 1