globID	super		localID	canonical	footprint-frame
[global process entries]
1	(top)	-	1	a	celem<2>
	bool: 3,1,2
2	(top)	-	2	b	celem<2>
	bool: 3,4,5
[global bool entries]
1	(top)	-	1	a.in[0]	
2	(top)	-	2	a.in[1]	
3	(top)	-	3	z	
4	(top)	-	4	b.in[0]	
5	(top)	-	5	b.in[1]	
