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