-------- @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 any 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