func main():
0:                                                    entry P:0 S:0
    t0 = make chan int 0:int                           chan int
    t1 = make chan int 0:int                           chan int
    t2 = changetype chan<- int <- chan int (t0)      chan<- int
    go Send(t2)
    t3 = changetype <-chan int <- chan int (t0)      <-chan int
    t4 = changetype chan<- int <- chan int (t1)      chan<- int
    go RecvAck(t3, t4)
    t5 = changetype <-chan int <- chan int (t0)      <-chan int
    t6 = changetype chan<- int <- chan int (t1)      chan<- int
    go RecvAck(t5, t6)
    go main$1()
    t7 = <-t1                                               int
    t8 = <-t1                                               int
    return