--- /dev/null
+-------- @pointsto mrv --------
+this reflect.Value may contain these dynamic types:
+ *bool, may point to:
+ reflection.b
+ *int, may point to:
+ reflection.a
+ map[*int]*bool, may point to:
+ makemap
+
+-------- @pointsto p1 --------
+this interface{} may contain these dynamic types:
+ *bool, may point to:
+ reflection.b
+ *int, may point to:
+ reflection.a
+ map[*int]*bool, may point to:
+ makemap
+
+-------- @pointsto p2 --------
+this []reflect.Value may point to these objects:
+ <alloc in (reflect.Value).MapKeys>
+
+-------- @pointsto p3 --------
+this reflect.Value may contain these dynamic types:
+ *int, may point to:
+ reflection.a
+
+-------- @pointsto p4 --------
+this reflect.Type may contain these dynamic types:
+ *reflect.rtype, may point to:
+ *bool
+ *int
+ map[*int]*bool
+