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

In module created from: ##FILE## (unrolled) (created)
In namespace "", we have: {
  0 parameter-collections
  8 instantiation-collections
  0 sub-namespaces
  11 definitions
  0 typedefs
  Definitions:
    bool_and = process-definition (defined) bool_and<
      pint<> N
      >(
        chan?(bool<>) A[0..N-1]
        chan!(bool<>) O
      )
      In definition "bool_and", we have: {
      Parameters:
        N = pint<> bool_and::N
      Instances:
        A = chan?(bool<>) bool_and::A^1
        O = chan!(bool<>) bool_and::O
        a = bool<> bool_and::a^1
      unroll sequence: 
        ports: (
          chan?(bool<>) A[0..N-1]
          chan!(bool<>) O
        )
        bool<> a[0..N-1]
      chp:
        concurrent: {
          *[
            sequential: {
              concurrent i:[0..N-1]: {
                A[$i]?(a[$i])
              }
              O!((&&:i:[0..N-1]: a[$i]))
            }
          ]
        }
      footprint collection: {
        <4> {
          A = channel chan?(bool<>)^1
            {
              [0] = bool_and<4>::A[0] (2) 
              [1] = bool_and<4>::A[1] (3) 
              [2] = bool_and<4>::A[2] (4) 
              [3] = bool_and<4>::A[3] (5) 
            }
          N = pint^0 value: 4
          O = channel chan!(bool<>)^0 = bool_and<4>::O (1) 
          a = bool^1
            {
              [0] = bool_and<4>::a[0] (1) 
              [1] = bool_and<4>::a[1] (2) 
              [2] = bool_and<4>::a[2] (3) 
              [3] = bool_and<4>::a[3] (4) 
            }
          Created state:
          channel instance pool:
          1	bool_and<4>::O
          2	bool_and<4>::A[0]
          3	bool_and<4>::A[1]
          4	bool_and<4>::A[2]
          5	bool_and<4>::A[3]
          bool instance pool:
          1	bool_and<4>::a[0]
          2	bool_and<4>::a[1]
          3	bool_and<4>::a[2]
          4	bool_and<4>::a[3]
          resolved concurrent actions:
            *[
              sequential: {
                concurrent: {
                  A[0]?(a[0])
                  A[1]?(a[1])
                  A[2]?(a[2])
                  A[3]?(a[3])
                }
                O!(a[0]&&a[1]&&a[2]&&a[3])
              }
            ]
          chp events: {
            event[0]: fork: , #pred: 1, succ: 3 4 5 6 
            event[1]: send: O!(a[0]&&a[1]&&a[2]&&a[3]), #pred: 1, succ: 0 
            event[2]: join: , #pred: 4, succ: 1 
            event[3]: receive: A[0]?(a[0]), #pred: 1, succ: 2 
            event[4]: receive: A[1]?(a[1]), #pred: 1, succ: 2 
            event[5]: receive: A[2]?(a[2]), #pred: 1, succ: 2 
            event[6]: receive: A[3]?(a[3]), #pred: 1, succ: 2 
          }
        }
      }
      }

    bool_and_2 = process-definition (defined) bool_and_2(
        chan?(bool<>) A
        chan?(bool<>) B
        chan!(bool<>) O
      )
      In definition "bool_and_2", we have: {
      Instances:
        A = chan?(bool<>) bool_and_2::A
        B = chan?(bool<>) bool_and_2::B
        O = chan!(bool<>) bool_and_2::O
        a = bool<> bool_and_2::a
        b = bool<> bool_and_2::b
      unroll sequence: 
        ports: (
          chan?(bool<>) A
          chan?(bool<>) B
          chan!(bool<>) O
        )
        bool<> a
        bool<> b
      chp:
        concurrent: {
          *[
            sequential: {
              concurrent: {
                A?(a)
                B?(b)
              }
              O!(a&&b)
            }
          ]
        }
      }

    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!
            }
          ]
        }
      }

    bool_source = process-definition (defined) bool_source<>
<
      pint<> N
      pbool<> B[0..N-1]
      >(
        chan!(bool<>) S
      )
      In definition "bool_source", we have: {
      Parameters:
        B = pbool<> bool_source::B^1
        N = pint<> bool_source::N
      Instances:
        S = chan!(bool<>) bool_source::S
      unroll sequence: 
        ports: (
          chan!(bool<>) S
        )
      chp:
        concurrent: {
          *[
            concurrent i:[0..N-1]: {
              S!(B[$i])
            }
          ]
        }
      footprint collection: {
        <1, {1}> {
          B = pbool^1
            unrolled index-value pairs: {
              0 = 1
            }
          N = pint^0 value: 1
          S = channel chan!(bool<>)^0 = bool_source<1, {1}>::S (1) 
          Created state:
          channel instance pool:
          1	bool_source<1, {1}>::S
          resolved concurrent actions:
            *[
              sequential: {
                S!(true)
              }
            ]
          chp events: {
            event[0]: send: S!(true), #pred: 1, succ: 0 
          }
        }
        <3, {1,1,0}> {
          B = pbool^1
            unrolled index-value pairs: {
              0 = 1
              1 = 1
              2 = 0
            }
          N = pint^0 value: 3
          S = channel chan!(bool<>)^0 = bool_source<3, {1,1,0}>::S (1) 
          Created state:
          channel instance pool:
          1	bool_source<3, {1,1,0}>::S
          resolved concurrent actions:
            *[
              sequential: {
                S!(true)
                S!(true)
                S!(false)
              }
            ]
          chp events: {
            event[0]: send: S!(true), #pred: 1, succ: 2 
            event[1]: send: S!(false), #pred: 1, succ: 0 
            event[2]: send: S!(true), #pred: 1, succ: 1 
          }
        }
        <4, {1,0,1,1}> {
          B = pbool^1
            unrolled index-value pairs: {
              0 = 1
              1 = 0
              2 = 1
              3 = 1
            }
          N = pint^0 value: 4
          S = channel chan!(bool<>)^0 = bool_source<4, {1,0,1,1}>::S (1) 
          Created state:
          channel instance pool:
          1	bool_source<4, {1,0,1,1}>::S
          resolved concurrent actions:
            *[
              sequential: {
                S!(true)
                S!(false)
                S!(true)
                S!(true)
              }
            ]
          chp events: {
            event[0]: send: S!(true), #pred: 1, succ: 3 
            event[1]: send: S!(true), #pred: 1, succ: 0 
            event[2]: send: S!(true), #pred: 1, succ: 1 
            event[3]: send: S!(false), #pred: 1, succ: 2 
          }
        }
      }
      }

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

    bool_source_delay = process-definition (defined) bool_source_delay<>
<
      pint<> N
      pbool<> B[0..N-1]
      preal<> D
      >(
        chan!(bool<>) S
      )
      In definition "bool_source_delay", we have: {
      Parameters:
        B = pbool<> bool_source_delay::B^1
        D = preal<> bool_source_delay::D
        N = pint<> bool_source_delay::N
      Instances:
        S = chan!(bool<>) bool_source_delay::S
      unroll sequence: 
        ports: (
          chan!(bool<>) S
        )
      chp:
        concurrent: {
          *[
            concurrent i:[0..N-1]: {
              [after=D] S!(B[$i])
            }
          ]
        }
      }

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

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

  Instances:
    A = bool_and<4> A
    In = chan(bool<>) In^1
    Out = chan(bool<>) Out
    S0 = bool_source<> S0
    S1 = bool_source<> S1
    S2 = bool_source<> S2
    S3 = bool_source<> S3
    Z = bool_sink<> Z
}

footprint: {
  A = process bool_and<4>^0 = A (1) (
    A = channel chan?(bool<>)^1
      {
        [0] = In[0] (1) 
        [1] = In[1] (2) 
        [2] = In[2] (3) 
        [3] = In[3] (4) 
      }
    O = channel chan!(bool<>)^0 = Out (5) 
  )
  In = channel chan(bool<>)^1
    {
      [0] = In[0] (1) 
      [1] = In[1] (2) 
      [2] = In[2] (3) 
      [3] = In[3] (4) 
    }
  Out = channel chan(bool<>)^0 = Out (5) 
  S0 = process bool_source<>^0<1, {1}> = S0 (2) (
    S = channel chan!(bool<>)^0 = In[0] (1) 
  )
  S1 = process bool_source<>^0<3, {1,1,0}> = S1 (3) (
    S = channel chan!(bool<>)^0 = In[1] (2) 
  )
  S2 = process bool_source<>^0<4, {1,0,1,1}> = S2 (4) (
    S = channel chan!(bool<>)^0 = In[2] (3) 
  )
  S3 = process bool_source<>^0<1, {1}> = S3 (5) (
    S = channel chan!(bool<>)^0 = In[3] (4) 
  )
  Z = process bool_sink<>^0 = Z (6) (
    B = channel chan?(bool<>)^0 = Out (5) 
  )
  Created state:
  process instance pool:
  1	A
  2	S0<1, {1}>
  3	S1<3, {1,1,0}>
  4	S2<4, {1,0,1,1}>
  5	S3<1, {1}>
  6	Z
  channel instance pool:
  1	In[0]
  2	In[1]
  3	In[2]
  4	In[3]
  5	Out
}
