--- /dev/null
+-------- @pointsto pointsto-chA --------
+this chan *int may point to these objects:
+ makechan
+ makechan
+
+-------- @pointsto pointsto-chA2 --------
+this chan *int may point to these objects:
+ makechan
+
+-------- @pointsto pointsto-chB --------
+this chan *int may point to these objects:
+ makechan
+
+-------- @peers peer-recv-chA --------
+This channel of type chan *int may be:
+ allocated here
+ allocated here
+ sent to, here
+ sent to, here
+ received from, here
+ received from, here
+ received from, here
+ received from, here
+ received from, here
+ closed, here
+
+-------- @pointsto pointsto-rA --------
+this *int may point to these objects:
+ peers.a2
+ a1
+
+-------- @peers peer-recv-chB --------
+This channel of type chan *int may be:
+ allocated here
+ sent to, here
+ received from, here
+ received from, here
+
+-------- @pointsto pointsto-rB --------
+this *int may point to these objects:
+ b
+
+-------- @peers peer-recv-chA' --------
+This channel of type chan *int may be:
+ allocated here
+ allocated here
+ sent to, here
+ sent to, here
+ received from, here
+ received from, here
+ received from, here
+ received from, here
+ received from, here
+ closed, here
+
+-------- @peers peer-send-chA' --------
+This channel of type chan *int may be:
+ allocated here
+ sent to, here
+ received from, here
+ received from, here
+ received from, here
+ received from, here
+ received from, here
+ closed, here
+
+-------- @peers peer-close-chA --------
+This channel of type chan *int may be:
+ allocated here
+ allocated here
+ sent to, here
+ sent to, here
+ received from, here
+ received from, here
+ received from, here
+ received from, here
+ received from, here
+ closed, here
+
+-------- @peers peer-close-chC --------
+This channel of type chan *int may be:
+ allocated here
+ sent to, here
+ received from, here
+ closed, here
+
+-------- @peers peer-send-chC --------
+This channel of type chan *int may be:
+ allocated here
+ sent to, here
+ received from, here
+ closed, here
+
+-------- @peers peer-recv-chC --------
+This channel of type chan *int may be:
+ allocated here
+ sent to, here
+ received from, here
+ closed, here
+