a:{snd[0;42]; snd[0;44]; rcv 1; rcv 1;a 1};a 1