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