globID	super		localID	canonical	footprint-frame
[global process entries]
1	(top)	-	1	burp	foo<>
	int: 1
	bool: 3,1,2
[global int entries]
1	process	1	1	burp.x	
[global bool entries]
1	(top)	-	1	burp.r[0]	
2	(top)	-	2	burp.r[1]	
3	process	1	1	burp.y	
