globID	super		localID	canonical	footprint-frame
[global process entries]
1	(top)	-	1	B	ar<>
	bool: 1
2	(top)	-	2	C	foo<>
	process: 1,3
	bool: 1
3	process	2	2	C.k	array<>
	bool: 1
[global bool entries]
1	(top)	-	1	B.y	
