globID	super		localID	canonical	footprint-frame
[global process entries]
1	(top)	-	1	a	checkers<3, 3>
	bool: 1,2
2	(top)	-	2	b	checkers<3, 4>
	bool: 3,4
3	(top)	-	3	c	checkers<4, 3>
	bool: 5,6
4	(top)	-	4	d	checkers<4, 4>
	bool: 7,8
[global bool entries]
1	(top)	-	1	a.m[0][0]	
2	(top)	-	2	a.m[0][1]	
3	(top)	-	3	b.m[0][0]	
4	(top)	-	4	b.m[0][1]	
5	(top)	-	5	c.m[0][0]	
6	(top)	-	6	c.m[0][1]	
7	(top)	-	7	d.m[0][0]	
8	(top)	-	8	d.m[0][1]	
