
Persistent Object Manager text dump: 
	i	addr		type		arg	head	tail	size
	0	##ADDR##	________	0	#HEAD#	#TAIL#	0
	1	##ADDR##	module__	0	#HEAD#	#TAIL#	##SIZE##
	2	##ADDR##	namespc_	0	#HEAD#	#TAIL#	108
	3	##ADDR##	chanplch	0	#HEAD#	#TAIL#	25
	4	##ADDR##	procplch	0	#HEAD#	#TAIL#	26
	5	##ADDR##	chanplch	0	#HEAD#	#TAIL#	25
	6	##ADDR##	procplch	0	#HEAD#	#TAIL#	26
	7	##ADDR##	chanplch	0	#HEAD#	#TAIL#	25
	8	##ADDR##	procplch	0	#HEAD#	#TAIL#	26
	9	##ADDR##	chanplch	0	#HEAD#	#TAIL#	25
	10	##ADDR##	procplch	0	#HEAD#	#TAIL#	26
	11	##ADDR##	chanplch	0	#HEAD#	#TAIL#	25
	12	##ADDR##	procplch	0	#HEAD#	#TAIL#	26
	13	##ADDR##	procplch	0	#HEAD#	#TAIL#	25
	14	##ADDR##	procdefn	0	#HEAD#	#TAIL#	102
	15	##ADDR##	chanplch	0	#HEAD#	#TAIL#	25
	16	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	25
	17	##ADDR##	portscop	0	#HEAD#	#TAIL#	16
	18	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	19	##ADDR##	bchntprf	0	#HEAD#	#TAIL#	25
	20	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	21	##ADDR##	datadefn	0	#HEAD#	#TAIL#	69
	22	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	23	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	24	##ADDR##	CHPloop_	0	#HEAD#	#TAIL#	16
	25	##ADDR##	CHPrecv_	0	#HEAD#	#TAIL#	25
	26	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	27	##ADDR##	sdbnref_	0	#HEAD#	#TAIL#	16
	28	##ADDR##	footprnt	0	#HEAD#	#TAIL#	319
	29	##ADDR##	fndchntp	0	#HEAD#	#TAIL#	20
	30	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12
	31	##ADDR##	CHPconcr	0	#HEAD#	#TAIL#	20
	32	##ADDR##	CHPloop_	0	#HEAD#	#TAIL#	16
	33	##ADDR##	CHPrecv_	0	#HEAD#	#TAIL#	25
	34	##ADDR##	procdefn	0	#HEAD#	#TAIL#	108
	35	##ADDR##	chanplch	0	#HEAD#	#TAIL#	25
	36	##ADDR##	prealplh	0	#HEAD#	#TAIL#	29
	37	##ADDR##	prealins	0	#HEAD#	#TAIL#	16
	38	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	25
	39	##ADDR##	portscop	0	#HEAD#	#TAIL#	16
	40	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	41	##ADDR##	bchntprf	0	#HEAD#	#TAIL#	25
	42	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	43	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	44	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	45	##ADDR##	CHPloop_	0	#HEAD#	#TAIL#	16
	46	##ADDR##	CHPrecv_	0	#HEAD#	#TAIL#	25
	47	##ADDR##	sprmvref	0	#HEAD#	#TAIL#	16
	48	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	49	##ADDR##	sdbnref_	0	#HEAD#	#TAIL#	16
	50	##ADDR##	procdefn	0	#HEAD#	#TAIL#	107
	51	##ADDR##	chanplch	0	#HEAD#	#TAIL#	25
	52	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	53	##ADDR##	pintinst	0	#HEAD#	#TAIL#	16
	54	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	25
	55	##ADDR##	portscop	0	#HEAD#	#TAIL#	16
	56	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	57	##ADDR##	bchntprf	0	#HEAD#	#TAIL#	25
	58	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	59	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	60	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	61	##ADDR##	CHPlopac	0	#HEAD#	#TAIL#	25
	62	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	63	##ADDR##	dynrng__	0	#HEAD#	#TAIL#	16
	64	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	65	##ADDR##	piarthex	0	#HEAD#	#TAIL#	17
	66	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	67	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	68	##ADDR##	CHPrecv_	0	#HEAD#	#TAIL#	25
	69	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	70	##ADDR##	sdbnref_	0	#HEAD#	#TAIL#	16
	71	##ADDR##	procdefn	0	#HEAD#	#TAIL#	109
	72	##ADDR##	chanplch	0	#HEAD#	#TAIL#	25
	73	##ADDR##	chanplch	0	#HEAD#	#TAIL#	27
	74	##ADDR##	chanplch	0	#HEAD#	#TAIL#	28
	75	##ADDR##	portscop	0	#HEAD#	#TAIL#	24
	76	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	77	##ADDR##	bchntprf	0	#HEAD#	#TAIL#	21
	78	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	79	##ADDR##	bchntprf	0	#HEAD#	#TAIL#	21
	80	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	81	##ADDR##	bchntprf	0	#HEAD#	#TAIL#	25
	82	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	83	##ADDR##	CHPloop_	0	#HEAD#	#TAIL#	16
	84	##ADDR##	CHPseqnc	0	#HEAD#	#TAIL#	28
	85	##ADDR##	CHPrecv_	0	#HEAD#	#TAIL#	21
	86	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	87	##ADDR##	CHPrecv_	0	#HEAD#	#TAIL#	21
	88	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	89	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	20
	90	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	91	##ADDR##	procdefn	0	#HEAD#	#TAIL#	191
	92	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	93	##ADDR##	pintinst	0	#HEAD#	#TAIL#	16
	94	##ADDR##	drnglst_	0	#HEAD#	#TAIL#	16
	95	##ADDR##	dynrng__	0	#HEAD#	#TAIL#	16
	96	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	97	##ADDR##	piarthex	0	#HEAD#	#TAIL#	17
	98	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	99	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	100	##ADDR##	pintinst	0	#HEAD#	#TAIL#	16
	101	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	102	##ADDR##	chanplch	0	#HEAD#	#TAIL#	25
	103	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	104	##ADDR##	pintinst	0	#HEAD#	#TAIL#	16
	105	##ADDR##	portscop	0	#HEAD#	#TAIL#	16
	106	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	107	##ADDR##	bchntprf	0	#HEAD#	#TAIL#	25
	108	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	109	##ADDR##	datadefn	0	#HEAD#	#TAIL#	68
	110	##ADDR##	dprmlst_	0	#HEAD#	#TAIL#	16
	111	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	112	##ADDR##	CHPloop_	0	#HEAD#	#TAIL#	16
	113	##ADDR##	CHPlopac	0	#HEAD#	#TAIL#	25
	114	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	115	##ADDR##	dynrng__	0	#HEAD#	#TAIL#	16
	116	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	117	##ADDR##	piarthex	0	#HEAD#	#TAIL#	17
	118	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	119	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	120	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	121	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	122	##ADDR##	spinref_	0	#HEAD#	#TAIL#	16
	123	##ADDR##	nindlist	0	#HEAD#	#TAIL#	16
	124	##ADDR##	spinref_	0	#HEAD#	#TAIL#	16
	125	##ADDR##	footprnt	0	#HEAD#	#TAIL#	415
	126	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	127	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	128	##ADDR##	cnstpic_	1	#HEAD#	#TAIL#	36
	129	##ADDR##	fndchntp	0	#HEAD#	#TAIL#	20
	130	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	16
	131	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	132	##ADDR##	CHPconcr	0	#HEAD#	#TAIL#	20
	133	##ADDR##	CHPloop_	0	#HEAD#	#TAIL#	16
	134	##ADDR##	CHPseqnc	0	#HEAD#	#TAIL#	28
	135	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	136	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	137	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	138	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	139	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	140	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	141	##ADDR##	footprnt	0	#HEAD#	#TAIL#	443
	142	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	143	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	144	##ADDR##	cnstpic_	1	#HEAD#	#TAIL#	40
	145	##ADDR##	CHPconcr	0	#HEAD#	#TAIL#	20
	146	##ADDR##	CHPloop_	0	#HEAD#	#TAIL#	16
	147	##ADDR##	CHPseqnc	0	#HEAD#	#TAIL#	32
	148	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	149	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	150	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	151	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	152	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	153	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	154	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	155	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	156	##ADDR##	footprnt	0	#HEAD#	#TAIL#	471
	157	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	158	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	159	##ADDR##	cnstpic_	1	#HEAD#	#TAIL#	44
	160	##ADDR##	CHPconcr	0	#HEAD#	#TAIL#	20
	161	##ADDR##	CHPloop_	0	#HEAD#	#TAIL#	16
	162	##ADDR##	CHPseqnc	0	#HEAD#	#TAIL#	36
	163	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	164	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	165	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	166	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	167	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	168	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	169	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	170	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	171	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	172	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	173	##ADDR##	footprnt	0	#HEAD#	#TAIL#	499
	174	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	175	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	176	##ADDR##	cnstpic_	1	#HEAD#	#TAIL#	48
	177	##ADDR##	CHPconcr	0	#HEAD#	#TAIL#	20
	178	##ADDR##	CHPloop_	0	#HEAD#	#TAIL#	16
	179	##ADDR##	CHPseqnc	0	#HEAD#	#TAIL#	40
	180	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	181	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	182	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	183	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	184	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	185	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	186	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	187	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	188	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	189	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	190	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	191	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	192	##ADDR##	procdefn	0	#HEAD#	#TAIL#	112
	193	##ADDR##	chanplch	0	#HEAD#	#TAIL#	25
	194	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	195	##ADDR##	pintinst	0	#HEAD#	#TAIL#	16
	196	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	197	##ADDR##	pintinst	0	#HEAD#	#TAIL#	16
	198	##ADDR##	portscop	0	#HEAD#	#TAIL#	16
	199	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	200	##ADDR##	bchntprf	0	#HEAD#	#TAIL#	25
	201	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	202	##ADDR##	dprmlst_	0	#HEAD#	#TAIL#	16
	203	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	204	##ADDR##	CHPloop_	0	#HEAD#	#TAIL#	16
	205	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	206	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	207	##ADDR##	spinref_	0	#HEAD#	#TAIL#	16
	208	##ADDR##	procdefn	0	#HEAD#	#TAIL#	116
	209	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	210	##ADDR##	pintinst	0	#HEAD#	#TAIL#	16
	211	##ADDR##	drnglst_	0	#HEAD#	#TAIL#	16
	212	##ADDR##	dynrng__	0	#HEAD#	#TAIL#	16
	213	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	214	##ADDR##	piarthex	0	#HEAD#	#TAIL#	17
	215	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	216	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	217	##ADDR##	pintinst	0	#HEAD#	#TAIL#	16
	218	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	219	##ADDR##	chanplch	0	#HEAD#	#TAIL#	25
	220	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	221	##ADDR##	pintinst	0	#HEAD#	#TAIL#	16
	222	##ADDR##	portscop	0	#HEAD#	#TAIL#	16
	223	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	224	##ADDR##	bchntprf	0	#HEAD#	#TAIL#	25
	225	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	226	##ADDR##	dprmlst_	0	#HEAD#	#TAIL#	16
	227	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	228	##ADDR##	CHPlopac	0	#HEAD#	#TAIL#	25
	229	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	230	##ADDR##	dynrng__	0	#HEAD#	#TAIL#	16
	231	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	232	##ADDR##	piarthex	0	#HEAD#	#TAIL#	17
	233	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	234	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	235	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	236	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	237	##ADDR##	spinref_	0	#HEAD#	#TAIL#	16
	238	##ADDR##	nindlist	0	#HEAD#	#TAIL#	16
	239	##ADDR##	spinref_	0	#HEAD#	#TAIL#	16
	240	##ADDR##	procdefn	0	#HEAD#	#TAIL#	134
	241	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	242	##ADDR##	pintinst	0	#HEAD#	#TAIL#	16
	243	##ADDR##	drnglst_	0	#HEAD#	#TAIL#	16
	244	##ADDR##	dynrng__	0	#HEAD#	#TAIL#	16
	245	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	246	##ADDR##	piarthex	0	#HEAD#	#TAIL#	17
	247	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	248	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	249	##ADDR##	pintinst	0	#HEAD#	#TAIL#	16
	250	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	251	##ADDR##	chanplch	0	#HEAD#	#TAIL#	27
	252	##ADDR##	chanplch	0	#HEAD#	#TAIL#	28
	253	##ADDR##	chanplch	0	#HEAD#	#TAIL#	25
	254	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	255	##ADDR##	pintinst	0	#HEAD#	#TAIL#	16
	256	##ADDR##	portscop	0	#HEAD#	#TAIL#	24
	257	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	258	##ADDR##	bchntprf	0	#HEAD#	#TAIL#	21
	259	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	260	##ADDR##	bchntprf	0	#HEAD#	#TAIL#	21
	261	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	262	##ADDR##	bchntprf	0	#HEAD#	#TAIL#	25
	263	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	264	##ADDR##	dprmlst_	0	#HEAD#	#TAIL#	16
	265	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	266	##ADDR##	CHPloop_	0	#HEAD#	#TAIL#	16
	267	##ADDR##	CHPseqnc	0	#HEAD#	#TAIL#	28
	268	##ADDR##	CHPrecv_	0	#HEAD#	#TAIL#	21
	269	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	270	##ADDR##	CHPlopac	0	#HEAD#	#TAIL#	25
	271	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	272	##ADDR##	dynrng__	0	#HEAD#	#TAIL#	16
	273	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	274	##ADDR##	piarthex	0	#HEAD#	#TAIL#	17
	275	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	276	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	277	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	278	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	279	##ADDR##	spinref_	0	#HEAD#	#TAIL#	16
	280	##ADDR##	nindlist	0	#HEAD#	#TAIL#	16
	281	##ADDR##	spinref_	0	#HEAD#	#TAIL#	16
	282	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	20
	283	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	284	##ADDR##	procdefn	0	#HEAD#	#TAIL#	155
	285	##ADDR##	chanplch	0	#HEAD#	#TAIL#	25
	286	##ADDR##	chanplch	0	#HEAD#	#TAIL#	25
	287	##ADDR##	chanplch	0	#HEAD#	#TAIL#	25
	288	##ADDR##	chanplch	0	#HEAD#	#TAIL#	25
	289	##ADDR##	chanplch	0	#HEAD#	#TAIL#	25
	290	##ADDR##	dintplch	0	#HEAD#	#TAIL#	25
	291	##ADDR##	dintplch	0	#HEAD#	#TAIL#	25
	292	##ADDR##	dintplch	0	#HEAD#	#TAIL#	25
	293	##ADDR##	dintplch	0	#HEAD#	#TAIL#	25
	294	##ADDR##	portscop	0	#HEAD#	#TAIL#	32
	295	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	296	##ADDR##	bchntprf	0	#HEAD#	#TAIL#	25
	297	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	298	##ADDR##	dprmlst_	0	#HEAD#	#TAIL#	16
	299	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	300	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	301	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	302	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	303	##ADDR##	bchntprf	0	#HEAD#	#TAIL#	25
	304	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	305	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	306	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	307	##ADDR##	dprmlst_	0	#HEAD#	#TAIL#	16
	308	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	309	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	310	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	311	##ADDR##	CHPloop_	0	#HEAD#	#TAIL#	16
	312	##ADDR##	CHPseqnc	0	#HEAD#	#TAIL#	24
	313	##ADDR##	CHPconcr	0	#HEAD#	#TAIL#	32
	314	##ADDR##	CHPrecv_	0	#HEAD#	#TAIL#	25
	315	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	316	##ADDR##	sdinref_	0	#HEAD#	#TAIL#	16
	317	##ADDR##	CHPrecv_	0	#HEAD#	#TAIL#	25
	318	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	319	##ADDR##	sdinref_	0	#HEAD#	#TAIL#	16
	320	##ADDR##	CHPrecv_	0	#HEAD#	#TAIL#	25
	321	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	322	##ADDR##	sdinref_	0	#HEAD#	#TAIL#	16
	323	##ADDR##	CHPrecv_	0	#HEAD#	#TAIL#	25
	324	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	325	##ADDR##	sdinref_	0	#HEAD#	#TAIL#	16
	326	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	327	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	328	##ADDR##	nrelatex	0	#HEAD#	#TAIL#	21
	329	##ADDR##	iretcast	0	#HEAD#	#TAIL#	12
	330	##ADDR##	nfuncexp	0	#HEAD#	#TAIL#	22
	331	##ADDR##	nexplist	0	#HEAD#	#TAIL#	20
	332	##ADDR##	sdinref_	0	#HEAD#	#TAIL#	16
	333	##ADDR##	sdinref_	0	#HEAD#	#TAIL#	16
	334	##ADDR##	iretcast	0	#HEAD#	#TAIL#	12
	335	##ADDR##	nfuncexp	0	#HEAD#	#TAIL#	22
	336	##ADDR##	nexplist	0	#HEAD#	#TAIL#	20
	337	##ADDR##	sdinref_	0	#HEAD#	#TAIL#	16
	338	##ADDR##	sdinref_	0	#HEAD#	#TAIL#	16
	339	##ADDR##	footprnt	0	#HEAD#	#TAIL#	567
	340	##ADDR##	CHPconcr	0	#HEAD#	#TAIL#	20
	341	##ADDR##	CHPloop_	0	#HEAD#	#TAIL#	16
	342	##ADDR##	CHPseqnc	0	#HEAD#	#TAIL#	24
	343	##ADDR##	CHPconcr	0	#HEAD#	#TAIL#	32
	344	##ADDR##	CHPrecv_	0	#HEAD#	#TAIL#	25
	345	##ADDR##	CHPrecv_	0	#HEAD#	#TAIL#	25
	346	##ADDR##	CHPrecv_	0	#HEAD#	#TAIL#	25
	347	##ADDR##	CHPrecv_	0	#HEAD#	#TAIL#	25
	348	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	349	##ADDR##	procdefn	0	#HEAD#	#TAIL#	140
	350	##ADDR##	chanplch	0	#HEAD#	#TAIL#	25
	351	##ADDR##	chanplch	0	#HEAD#	#TAIL#	25
	352	##ADDR##	pintplch	0	#HEAD#	#TAIL#	30
	353	##ADDR##	pintinst	0	#HEAD#	#TAIL#	16
	354	##ADDR##	pintplch	0	#HEAD#	#TAIL#	30
	355	##ADDR##	pintinst	0	#HEAD#	#TAIL#	16
	356	##ADDR##	pintplch	0	#HEAD#	#TAIL#	30
	357	##ADDR##	pintinst	0	#HEAD#	#TAIL#	16
	358	##ADDR##	drnglst_	0	#HEAD#	#TAIL#	16
	359	##ADDR##	dynrng__	0	#HEAD#	#TAIL#	16
	360	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	361	##ADDR##	piarthex	0	#HEAD#	#TAIL#	17
	362	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	363	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	364	##ADDR##	pintplch	0	#HEAD#	#TAIL#	30
	365	##ADDR##	pintinst	0	#HEAD#	#TAIL#	16
	366	##ADDR##	drnglst_	0	#HEAD#	#TAIL#	16
	367	##ADDR##	dynrng__	0	#HEAD#	#TAIL#	16
	368	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	369	##ADDR##	piarthex	0	#HEAD#	#TAIL#	17
	370	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	371	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	372	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	373	##ADDR##	pintinst	0	#HEAD#	#TAIL#	16
	374	##ADDR##	portscop	0	#HEAD#	#TAIL#	20
	375	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	376	##ADDR##	bchntprf	0	#HEAD#	#TAIL#	25
	377	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	378	##ADDR##	dprmlst_	0	#HEAD#	#TAIL#	16
	379	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	380	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	381	##ADDR##	CHPloop_	0	#HEAD#	#TAIL#	16
	382	##ADDR##	CHPlopac	0	#HEAD#	#TAIL#	25
	383	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	384	##ADDR##	dynrng__	0	#HEAD#	#TAIL#	16
	385	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	386	##ADDR##	piarthex	0	#HEAD#	#TAIL#	17
	387	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	388	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	389	##ADDR##	CHPlopac	0	#HEAD#	#TAIL#	25
	390	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	391	##ADDR##	dynrng__	0	#HEAD#	#TAIL#	16
	392	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	393	##ADDR##	piarthex	0	#HEAD#	#TAIL#	17
	394	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	395	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	396	##ADDR##	CHPconcr	0	#HEAD#	#TAIL#	24
	397	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	398	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	399	##ADDR##	spinref_	0	#HEAD#	#TAIL#	16
	400	##ADDR##	nindlist	0	#HEAD#	#TAIL#	16
	401	##ADDR##	spinref_	0	#HEAD#	#TAIL#	16
	402	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	403	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	404	##ADDR##	spinref_	0	#HEAD#	#TAIL#	16
	405	##ADDR##	nindlist	0	#HEAD#	#TAIL#	16
	406	##ADDR##	spinref_	0	#HEAD#	#TAIL#	16
	407	##ADDR##	procdefn	0	#HEAD#	#TAIL#	145
	408	##ADDR##	chanplch	0	#HEAD#	#TAIL#	25
	409	##ADDR##	chanplch	0	#HEAD#	#TAIL#	25
	410	##ADDR##	pintplch	0	#HEAD#	#TAIL#	30
	411	##ADDR##	pintinst	0	#HEAD#	#TAIL#	16
	412	##ADDR##	pintplch	0	#HEAD#	#TAIL#	30
	413	##ADDR##	pintinst	0	#HEAD#	#TAIL#	16
	414	##ADDR##	pintplch	0	#HEAD#	#TAIL#	30
	415	##ADDR##	pintinst	0	#HEAD#	#TAIL#	16
	416	##ADDR##	drnglst_	0	#HEAD#	#TAIL#	16
	417	##ADDR##	dynrng__	0	#HEAD#	#TAIL#	16
	418	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	419	##ADDR##	piarthex	0	#HEAD#	#TAIL#	17
	420	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	421	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	422	##ADDR##	pintplch	0	#HEAD#	#TAIL#	30
	423	##ADDR##	pintinst	0	#HEAD#	#TAIL#	16
	424	##ADDR##	drnglst_	0	#HEAD#	#TAIL#	16
	425	##ADDR##	dynrng__	0	#HEAD#	#TAIL#	16
	426	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	427	##ADDR##	piarthex	0	#HEAD#	#TAIL#	17
	428	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	429	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	430	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	431	##ADDR##	pintinst	0	#HEAD#	#TAIL#	16
	432	##ADDR##	portscop	0	#HEAD#	#TAIL#	20
	433	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	434	##ADDR##	bchntprf	0	#HEAD#	#TAIL#	25
	435	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	436	##ADDR##	dprmlst_	0	#HEAD#	#TAIL#	16
	437	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	438	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	439	##ADDR##	CHPlopac	0	#HEAD#	#TAIL#	25
	440	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	441	##ADDR##	dynrng__	0	#HEAD#	#TAIL#	16
	442	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	443	##ADDR##	piarthex	0	#HEAD#	#TAIL#	17
	444	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	445	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	446	##ADDR##	CHPlopac	0	#HEAD#	#TAIL#	25
	447	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	448	##ADDR##	dynrng__	0	#HEAD#	#TAIL#	16
	449	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	450	##ADDR##	piarthex	0	#HEAD#	#TAIL#	17
	451	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	452	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	453	##ADDR##	CHPconcr	0	#HEAD#	#TAIL#	24
	454	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	455	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	456	##ADDR##	spinref_	0	#HEAD#	#TAIL#	16
	457	##ADDR##	nindlist	0	#HEAD#	#TAIL#	16
	458	##ADDR##	spinref_	0	#HEAD#	#TAIL#	16
	459	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	460	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	461	##ADDR##	spinref_	0	#HEAD#	#TAIL#	16
	462	##ADDR##	nindlist	0	#HEAD#	#TAIL#	16
	463	##ADDR##	spinref_	0	#HEAD#	#TAIL#	16
	464	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	465	##ADDR##	bchntprf	0	#HEAD#	#TAIL#	25
	466	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	467	##ADDR##	dprmlst_	0	#HEAD#	#TAIL#	16
	468	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	469	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	470	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	471	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	472	##ADDR##	bchntprf	0	#HEAD#	#TAIL#	25
	473	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	474	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	475	##ADDR##	proctprf	0	#HEAD#	#TAIL#	20
	476	##ADDR##	prcprtcn	0	#HEAD#	#TAIL#	36
	477	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	478	##ADDR##	schnmref	0	#HEAD#	#TAIL#	16
	479	##ADDR##	schnmref	0	#HEAD#	#TAIL#	16
	480	##ADDR##	schnmref	0	#HEAD#	#TAIL#	16
	481	##ADDR##	schnmref	0	#HEAD#	#TAIL#	16
	482	##ADDR##	schnmref	0	#HEAD#	#TAIL#	16
	483	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	484	##ADDR##	proctprf	0	#HEAD#	#TAIL#	20
	485	##ADDR##	dprmlst_	0	#HEAD#	#TAIL#	16
	486	##ADDR##	proctpcp	0	#HEAD#	#TAIL#	16
	487	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	488	##ADDR##	dprmlst_	0	#HEAD#	#TAIL#	20
	489	##ADDR##	apimvref	0	#HEAD#	#TAIL#	29
	490	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	491	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	492	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	493	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	494	##ADDR##	prcprtcn	0	#HEAD#	#TAIL#	20
	495	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	496	##ADDR##	schnmref	0	#HEAD#	#TAIL#	16
	497	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	498	##ADDR##	proctprf	0	#HEAD#	#TAIL#	20
	499	##ADDR##	dprmlst_	0	#HEAD#	#TAIL#	16
	500	##ADDR##	proctpcp	0	#HEAD#	#TAIL#	16
	501	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	502	##ADDR##	dprmlst_	0	#HEAD#	#TAIL#	20
	503	##ADDR##	apimvref	0	#HEAD#	#TAIL#	33
	504	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	505	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	506	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	507	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	508	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	509	##ADDR##	prcprtcn	0	#HEAD#	#TAIL#	20
	510	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	511	##ADDR##	schnmref	0	#HEAD#	#TAIL#	16
	512	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	513	##ADDR##	proctprf	0	#HEAD#	#TAIL#	20
	514	##ADDR##	dprmlst_	0	#HEAD#	#TAIL#	16
	515	##ADDR##	proctpcp	0	#HEAD#	#TAIL#	16
	516	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	517	##ADDR##	dprmlst_	0	#HEAD#	#TAIL#	20
	518	##ADDR##	apimvref	0	#HEAD#	#TAIL#	25
	519	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	520	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	521	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	522	##ADDR##	prcprtcn	0	#HEAD#	#TAIL#	20
	523	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	524	##ADDR##	schnmref	0	#HEAD#	#TAIL#	16
	525	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	526	##ADDR##	proctprf	0	#HEAD#	#TAIL#	20
	527	##ADDR##	dprmlst_	0	#HEAD#	#TAIL#	16
	528	##ADDR##	proctpcp	0	#HEAD#	#TAIL#	16
	529	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	530	##ADDR##	dprmlst_	0	#HEAD#	#TAIL#	20
	531	##ADDR##	apimvref	0	#HEAD#	#TAIL#	37
	532	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	533	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	534	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	535	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	536	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	537	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	538	##ADDR##	prcprtcn	0	#HEAD#	#TAIL#	20
	539	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	540	##ADDR##	schnmref	0	#HEAD#	#TAIL#	16
	541	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	542	##ADDR##	proctprf	0	#HEAD#	#TAIL#	20
	543	##ADDR##	prcprtcn	0	#HEAD#	#TAIL#	20
	544	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	545	##ADDR##	schnmref	0	#HEAD#	#TAIL#	16
	546	##ADDR##	footprnt	0	#HEAD#	#TAIL#	821
	547	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12
	548	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	16
	549	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	20
	550	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	16
	551	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	20
	552	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	16
	553	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	20
	554	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	16
	555	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	20
	556	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12

In module created from: ##FILE## (unrolled) (created)
In namespace "", we have: {
  0 parameter-collections
  11 instantiation-collections
  0 sub-namespaces
  11 definitions
  0 typedefs
  Definitions:
    bool_sink = process-definition (defined) bool_sink(
        chan?(bool<>) B
      )
      In definition "bool_sink", we have: {
      Instances:
        B = chan?(bool<>) bool_sink::B
        b = bool<> bool_sink::b
      unroll sequence: 
        ports: (
          chan?(bool<>) B
        )
        bool<> b
      chp:
        concurrent: {
          *[
            B?(b)
          ]
        }
      footprint: {
        B = channel chan?(bool<>)^0 = bool_sink<>::B (1) 
        b = bool^0 = bool_sink<>::b (1) 
        Created state:
        channel instance pool:
        1	bool_sink<>::B
        bool instance pool:
        1	bool_sink<>::b
        resolved concurrent actions:
          *[
            B?(b)
          ]
        chp events: {
          event[0]: receive: B?(b), #pred: 1, succ: 0 
        }
      }
      }

    bool_sink_delay = process-definition (defined) bool_sink_delay<
      preal<> D
      >(
        chan?(bool<>) B
      )
      In definition "bool_sink_delay", we have: {
      Parameters:
        D = preal<> bool_sink_delay::D
      Instances:
        B = chan?(bool<>) bool_sink_delay::B
        b = bool<> bool_sink_delay::b
      unroll sequence: 
        ports: (
          chan?(bool<>) B
        )
        bool<> b
      chp:
        concurrent: {
          *[
            [after=D] B?(b)
          ]
        }
      }

    bool_sink_once = process-definition (defined) bool_sink_once<
      pint<> N
      >(
        chan?(bool<>) B
      )
      In definition "bool_sink_once", we have: {
      Parameters:
        N = pint<> bool_sink_once::N
      Instances:
        B = chan?(bool<>) bool_sink_once::B
        b = bool<> bool_sink_once::b
      unroll sequence: 
        ports: (
          chan?(bool<>) B
        )
        bool<> b
      chp:
        concurrent: {
          concurrent i:[0..N-1]: {
            B?(b)
          }
        }
      }

    bool_sink_shared = process-definition (defined) bool_sink_shared(
        chan?() Cin
        chan!() Cout
        chan??(bool<>) B
      )
      In definition "bool_sink_shared", we have: {
      Instances:
        B = chan??(bool<>) bool_sink_shared::B
        Cin = chan?() bool_sink_shared::Cin
        Cout = chan!() bool_sink_shared::Cout
      unroll sequence: 
        ports: (
          chan?() Cin
          chan!() Cout
          chan??(bool<>) B
        )
      chp:
        concurrent: {
          *[
            sequential: {
              Cin?
              B?
              Cout!
            }
          ]
        }
      }

    int_source = process-definition (defined) int_source<
      pint<> W
      ><
      pint<> N
      pint<> B[0..N-1]
      >(
        chan!(int<int_source::W>) S
      )
      In definition "int_source", we have: {
      Parameters:
        B = pint<> int_source::B^1
        N = pint<> int_source::N
        W = pint<> int_source::W
      Instances:
        S = chan!(int<int_source::W>) int_source::S
      unroll sequence: 
        ports: (
          chan!(int<int_source::W>) S
        )
      chp:
        concurrent: {
          *[
            concurrent i:[0..N-1]: {
              S!(B[$i])
            }
          ]
        }
      footprint collection: {
        <32, 3, {15,24,30}> {
          B = pint^1
            unrolled index-value pairs: {
              0 = 15
              1 = 24
              2 = 30
            }
          N = pint^0 value: 3
          S = channel chan!(int<32>)^0 = int_source<32, 3, {15,24,30}>::S (1) 
          W = pint^0 value: 32
          Created state:
          channel instance pool:
          1	int_source<32, 3, {15,24,30}>::S
          resolved concurrent actions:
            *[
              sequential: {
                S!(15)
                S!(24)
                S!(30)
              }
            ]
          chp events: {
            event[0]: send: S!(15), #pred: 1, succ: 2 
            event[1]: send: S!(30), #pred: 1, succ: 0 
            event[2]: send: S!(24), #pred: 1, succ: 1 
          }
        }
        <32, 4, {12,15,17,30}> {
          B = pint^1
            unrolled index-value pairs: {
              0 = 12
              1 = 15
              2 = 17
              3 = 30
            }
          N = pint^0 value: 4
          S = channel chan!(int<32>)^0 = int_source<32, 4, {12,15,17,30}>::S (1) 
          W = pint^0 value: 32
          Created state:
          channel instance pool:
          1	int_source<32, 4, {12,15,17,30}>::S
          resolved concurrent actions:
            *[
              sequential: {
                S!(12)
                S!(15)
                S!(17)
                S!(30)
              }
            ]
          chp events: {
            event[0]: send: S!(12), #pred: 1, succ: 3 
            event[1]: send: S!(30), #pred: 1, succ: 0 
            event[2]: send: S!(17), #pred: 1, succ: 1 
            event[3]: send: S!(15), #pred: 1, succ: 2 
          }
        }
        <32, 5, {9,13,22,27,34}> {
          B = pint^1
            unrolled index-value pairs: {
              0 = 9
              1 = 13
              2 = 22
              3 = 27
              4 = 34
            }
          N = pint^0 value: 5
          S = channel chan!(int<32>)^0 = int_source<32, 5, {9,13,22,27,34}>::S (1) 
          W = pint^0 value: 32
          Created state:
          channel instance pool:
          1	int_source<32, 5, {9,13,22,27,34}>::S
          resolved concurrent actions:
            *[
              sequential: {
                S!(9)
                S!(13)
                S!(22)
                S!(27)
                S!(34)
              }
            ]
          chp events: {
            event[0]: send: S!(9), #pred: 1, succ: 4 
            event[1]: send: S!(34), #pred: 1, succ: 0 
            event[2]: send: S!(27), #pred: 1, succ: 1 
            event[3]: send: S!(22), #pred: 1, succ: 2 
            event[4]: send: S!(13), #pred: 1, succ: 3 
          }
        }
        <32, 6, {16,18,20,32,36,28}> {
          B = pint^1
            unrolled index-value pairs: {
              0 = 16
              1 = 18
              2 = 20
              3 = 32
              4 = 36
              5 = 28
            }
          N = pint^0 value: 6
          S = channel chan!(int<32>)^0 = int_source<32, 6, {16,18,20,32,36,28}>::S (1) 
          W = pint^0 value: 32
          Created state:
          channel instance pool:
          1	int_source<32, 6, {16,18,20,32,36,28}>::S
          resolved concurrent actions:
            *[
              sequential: {
                S!(16)
                S!(18)
                S!(20)
                S!(32)
                S!(36)
                S!(28)
              }
            ]
          chp events: {
            event[0]: send: S!(16), #pred: 1, succ: 5 
            event[1]: send: S!(28), #pred: 1, succ: 0 
            event[2]: send: S!(36), #pred: 1, succ: 1 
            event[3]: send: S!(32), #pred: 1, succ: 2 
            event[4]: send: S!(20), #pred: 1, succ: 3 
            event[5]: send: S!(18), #pred: 1, succ: 4 
          }
        }
      }
      }

    int_source_constant = process-definition (defined) int_source_constant<
      pint<> W
      ><
      pint<> V
      >(
        chan!(int<int_source_constant::W>) S
      )
      In definition "int_source_constant", we have: {
      Parameters:
        V = pint<> int_source_constant::V
        W = pint<> int_source_constant::W
      Instances:
        S = chan!(int<int_source_constant::W>) int_source_constant::S
      unroll sequence: 
        ports: (
          chan!(int<int_source_constant::W>) S
        )
      chp:
        concurrent: {
          *[
            S!(V)
          ]
        }
      }

    int_source_once = process-definition (defined) int_source_once<
      pint<> W
      ><
      pint<> N
      pint<> B[0..N-1]
      >(
        chan!(int<int_source_once::W>) S
      )
      In definition "int_source_once", we have: {
      Parameters:
        B = pint<> int_source_once::B^1
        N = pint<> int_source_once::N
        W = pint<> int_source_once::W
      Instances:
        S = chan!(int<int_source_once::W>) int_source_once::S
      unroll sequence: 
        ports: (
          chan!(int<int_source_once::W>) S
        )
      chp:
        concurrent: {
          concurrent i:[0..N-1]: {
            S!(B[$i])
          }
        }
      }

    int_source_shared = process-definition (defined) int_source_shared<
      pint<> W
      ><
      pint<> N
      pint<> B[0..N-1]
      >(
        chan?() Cin
        chan!() Cout
        chan!!(int<int_source_shared::W>) S
      )
      In definition "int_source_shared", we have: {
      Parameters:
        B = pint<> int_source_shared::B^1
        N = pint<> int_source_shared::N
        W = pint<> int_source_shared::W
      Instances:
        Cin = chan?() int_source_shared::Cin
        Cout = chan!() int_source_shared::Cout
        S = chan!!(int<int_source_shared::W>) int_source_shared::S
      unroll sequence: 
        ports: (
          chan?() Cin
          chan!() Cout
          chan!!(int<int_source_shared::W>) S
        )
      chp:
        concurrent: {
          *[
            sequential: {
              Cin?
              concurrent i:[0..N-1]: {
                S!(B[$i])
              }
              Cout!
            }
          ]
        }
      }

    my_gcd = process-definition (defined) my_gcd(
        chan?(int<32>) A
        chan?(int<32>) B
        chan?(int<32>) C
        chan?(int<32>) D
        chan!(bool<>) G
      )
      In definition "my_gcd", we have: {
      Instances:
        A = chan?(int<32>) my_gcd::A
        B = chan?(int<32>) my_gcd::B
        C = chan?(int<32>) my_gcd::C
        D = chan?(int<32>) my_gcd::D
        G = chan!(bool<>) my_gcd::G
        a = int<32> my_gcd::a
        b = int<32> my_gcd::b
        c = int<32> my_gcd::c
        d = int<32> my_gcd::d
      unroll sequence: 
        ports: (
          chan?(int<32>) A
          chan?(int<32>) B
          chan?(int<32>) C
          chan?(int<32>) D
          chan!(bool<>) G
        )
        int<32> a
        int<32> b
        int<32> c
        int<32> d
      chp:
        concurrent: {
          *[
            sequential: {
              concurrent: {
                A?(a)
                B?(b)
                C?(c)
                D?(d)
              }
              G!(int(my_gcd(a,b))<int(my_gcd(c,d)))
            }
          ]
        }
      footprint: {
        A = channel chan?(int<32>)^0 = my_gcd<>::A (1) 
        B = channel chan?(int<32>)^0 = my_gcd<>::B (2) 
        C = channel chan?(int<32>)^0 = my_gcd<>::C (3) 
        D = channel chan?(int<32>)^0 = my_gcd<>::D (4) 
        G = channel chan!(bool<>)^0 = my_gcd<>::G (5) 
        a = int<32>^0 = my_gcd<>::a (1) 
        b = int<32>^0 = my_gcd<>::b (2) 
        c = int<32>^0 = my_gcd<>::c (3) 
        d = int<32>^0 = my_gcd<>::d (4) 
        Created state:
        channel instance pool:
        1	my_gcd<>::A
        2	my_gcd<>::B
        3	my_gcd<>::C
        4	my_gcd<>::D
        5	my_gcd<>::G
        int instance pool:
        1	my_gcd<>::a
        2	my_gcd<>::b
        3	my_gcd<>::c
        4	my_gcd<>::d
        resolved concurrent actions:
          *[
            sequential: {
              concurrent: {
                A?(a)
                B?(b)
                C?(c)
                D?(d)
              }
              G!(int(my_gcd(a,b))<int(my_gcd(c,d)))
            }
          ]
        chp events: {
          event[0]: fork: , #pred: 1, succ: 3 4 5 6 
          event[1]: send: G!(int(my_gcd(a,b))<int(my_gcd(c,d))), #pred: 1, succ: 0 
          event[2]: join: , #pred: 4, succ: 1 
          event[3]: receive: A?(a), #pred: 1, succ: 2 
          event[4]: receive: B?(b), #pred: 1, succ: 2 
          event[5]: receive: C?(c), #pred: 1, succ: 2 
          event[6]: receive: D?(d), #pred: 1, succ: 2 
        }
      }
      }

    twin_int_source = process-definition (defined) twin_int_source<
      pint<> W
      ><
      pint<> N1
      pint<> V1[0..N1-1]
      pint<> N2
      pint<> V2[0..N2-1]
      >(
        chan!(int<twin_int_source::W>) A
        chan!(int<twin_int_source::W>) B
      )
      In definition "twin_int_source", we have: {
      Parameters:
        N1 = pint<> twin_int_source::N1
        N2 = pint<> twin_int_source::N2
        V1 = pint<> twin_int_source::V1^1
        V2 = pint<> twin_int_source::V2^1
        W = pint<> twin_int_source::W
      Instances:
        A = chan!(int<twin_int_source::W>) twin_int_source::A
        B = chan!(int<twin_int_source::W>) twin_int_source::B
      unroll sequence: 
        ports: (
          chan!(int<twin_int_source::W>) A
          chan!(int<twin_int_source::W>) B
        )
      chp:
        concurrent: {
          *[
            concurrent i:[0..N1-1]: {
              concurrent j:[0..N2-1]: {
                concurrent: {
                  A!(V1[$i])
                  B!(V2[$j])
                }
              }
            }
          ]
        }
      }

    twin_int_source_once = process-definition (defined) twin_int_source_once<
      pint<> W
      ><
      pint<> N1
      pint<> V1[0..N1-1]
      pint<> N2
      pint<> V2[0..N2-1]
      >(
        chan!(int<twin_int_source_once::W>) A
        chan!(int<twin_int_source_once::W>) B
      )
      In definition "twin_int_source_once", we have: {
      Parameters:
        N1 = pint<> twin_int_source_once::N1
        N2 = pint<> twin_int_source_once::N2
        V1 = pint<> twin_int_source_once::V1^1
        V2 = pint<> twin_int_source_once::V2^1
        W = pint<> twin_int_source_once::W
      Instances:
        A = chan!(int<twin_int_source_once::W>) twin_int_source_once::A
        B = chan!(int<twin_int_source_once::W>) twin_int_source_once::B
      unroll sequence: 
        ports: (
          chan!(int<twin_int_source_once::W>) A
          chan!(int<twin_int_source_once::W>) B
        )
      chp:
        concurrent: {
          concurrent i:[0..N1-1]: {
            concurrent j:[0..N2-1]: {
              concurrent: {
                A!(V1[$i])
                B!(V2[$j])
              }
            }
          }
        }
      }

  Instances:
    A = chan(int<32>) A
    AS = int_source<32> AS
    B = chan(int<32>) B
    BS = int_source<32> BS
    C = chan(int<32>) C
    CS = int_source<32> CS
    D = chan(int<32>) D
    DS = int_source<32> DS
    G = chan(bool<>) G
    GS = bool_sink<> GS
    X = my_gcd<> X
}

footprint: {
  A = channel chan(int<32>)^0 = A (1) 
  AS = process int_source<32>^0<4, {12,15,17,30}> = AS (2) (
    S = channel chan!(int<32>)^0 = A (1) 
  )
  B = channel chan(int<32>)^0 = B (2) 
  BS = process int_source<32>^0<5, {9,13,22,27,34}> = BS (3) (
    S = channel chan!(int<32>)^0 = B (2) 
  )
  C = channel chan(int<32>)^0 = C (3) 
  CS = process int_source<32>^0<3, {15,24,30}> = CS (4) (
    S = channel chan!(int<32>)^0 = C (3) 
  )
  D = channel chan(int<32>)^0 = D (4) 
  DS = process int_source<32>^0<6, {16,18,20,32,36,28}> = DS (5) (
    S = channel chan!(int<32>)^0 = D (4) 
  )
  G = channel chan(bool<>)^0 = G (5) 
  GS = process bool_sink<>^0 = GS (6) (
    B = channel chan?(bool<>)^0 = G (5) 
  )
  X = process my_gcd<>^0 = X (1) (
    A = channel chan?(int<32>)^0 = A (1) 
    B = channel chan?(int<32>)^0 = B (2) 
    C = channel chan?(int<32>)^0 = C (3) 
    D = channel chan?(int<32>)^0 = D (4) 
    G = channel chan!(bool<>)^0 = G (5) 
  )
  Created state:
  process instance pool:
  1	X
  2	AS<4, {12,15,17,30}>
  3	BS<5, {9,13,22,27,34}>
  4	CS<3, {15,24,30}>
  5	DS<6, {16,18,20,32,36,28}>
  6	GS
  channel instance pool:
  1	A
  2	B
  3	C
  4	D
  5	G
}
