globID	super		localID	canonical	footprint-frame
[global process entries]
1	(top)	-	1	bar	foo<2>
	bool: 1,2,3,4,5,6
[global bool entries]
1	(top)	-	1	bar.x[0]	
2	(top)	-	2	bar.x[1]	
3	(top)	-	3	bar.x[2]	
4	(top)	-	4	bar.x[3]	
5	(top)	-	5	bar.x[4]	
6	(top)	-	6	bar.x[5]	
