1 -------- @pointsto pointsto-chA --------
2 this chan *int may point to these objects:
6 -------- @pointsto pointsto-chA2 --------
7 this chan *int may point to these objects:
10 -------- @pointsto pointsto-chB --------
11 this chan *int may point to these objects:
14 -------- @peers peer-recv-chA --------
15 This channel of type chan *int may be:
27 -------- @pointsto pointsto-rA --------
28 this *int may point to these objects:
32 -------- @peers peer-recv-chB --------
33 This channel of type chan *int may be:
39 -------- @pointsto pointsto-rB --------
40 this *int may point to these objects:
43 -------- @peers peer-recv-chA' --------
44 This channel of type chan *int may be:
56 -------- @peers peer-send-chA' --------
57 This channel of type chan *int may be:
67 -------- @peers peer-close-chA --------
68 This channel of type chan *int may be:
80 -------- @peers peer-close-chC --------
81 This channel of type chan *int may be:
87 -------- @peers peer-send-chC --------
88 This channel of type chan *int may be:
94 -------- @peers peer-recv-chC --------
95 This channel of type chan *int may be: