globID	super		localID	canonical	footprint-frame
[global process entries]
1	(top)	-	1	myass	ass<3, {1,0,1}>
	process: 2
	bool: 1,2,3
2	process	1	1	myass.myfoo	foo<3, 3, {1,0,1}>
	bool: 1,2
[global bool entries]
1	(top)	-	1	a	
2	(top)	-	2	b	
3	(top)	-	3	c	
