WARNING: channel A lacks connection to a producer.
---- END CREATE WARNINGS ---

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#	72
	3	##ADDR##	chanplch	0	#HEAD#	#TAIL#	25
	4	##ADDR##	chanplch	0	#HEAD#	#TAIL#	25
	5	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	25
	6	##ADDR##	procdefn	0	#HEAD#	#TAIL#	102
	7	##ADDR##	chanplch	0	#HEAD#	#TAIL#	25
	8	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	25
	9	##ADDR##	portscop	0	#HEAD#	#TAIL#	16
	10	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	11	##ADDR##	bchntprf	0	#HEAD#	#TAIL#	25
	12	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	13	##ADDR##	datadefn	0	#HEAD#	#TAIL#	69
	14	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	15	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	16	##ADDR##	CHPloop_	0	#HEAD#	#TAIL#	16
	17	##ADDR##	CHPrecv_	0	#HEAD#	#TAIL#	25
	18	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	19	##ADDR##	sdbnref_	0	#HEAD#	#TAIL#	16
	20	##ADDR##	footprnt	0	#HEAD#	#TAIL#	319
	21	##ADDR##	fndchntp	0	#HEAD#	#TAIL#	20
	22	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12
	23	##ADDR##	CHPconcr	0	#HEAD#	#TAIL#	20
	24	##ADDR##	CHPloop_	0	#HEAD#	#TAIL#	16
	25	##ADDR##	CHPrecv_	0	#HEAD#	#TAIL#	25
	26	##ADDR##	procdefn	0	#HEAD#	#TAIL#	108
	27	##ADDR##	chanplch	0	#HEAD#	#TAIL#	25
	28	##ADDR##	prealplh	0	#HEAD#	#TAIL#	29
	29	##ADDR##	prealins	0	#HEAD#	#TAIL#	16
	30	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	25
	31	##ADDR##	portscop	0	#HEAD#	#TAIL#	16
	32	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	33	##ADDR##	bchntprf	0	#HEAD#	#TAIL#	25
	34	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	35	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	36	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	37	##ADDR##	CHPloop_	0	#HEAD#	#TAIL#	16
	38	##ADDR##	CHPrecv_	0	#HEAD#	#TAIL#	25
	39	##ADDR##	sprmvref	0	#HEAD#	#TAIL#	16
	40	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	41	##ADDR##	sdbnref_	0	#HEAD#	#TAIL#	16
	42	##ADDR##	procdefn	0	#HEAD#	#TAIL#	107
	43	##ADDR##	chanplch	0	#HEAD#	#TAIL#	25
	44	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	45	##ADDR##	pintinst	0	#HEAD#	#TAIL#	16
	46	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	25
	47	##ADDR##	portscop	0	#HEAD#	#TAIL#	16
	48	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	49	##ADDR##	bchntprf	0	#HEAD#	#TAIL#	25
	50	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	51	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	52	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	53	##ADDR##	CHPlopac	0	#HEAD#	#TAIL#	25
	54	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	55	##ADDR##	dynrng__	0	#HEAD#	#TAIL#	16
	56	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	57	##ADDR##	piarthex	0	#HEAD#	#TAIL#	17
	58	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	59	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	60	##ADDR##	CHPrecv_	0	#HEAD#	#TAIL#	25
	61	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	62	##ADDR##	sdbnref_	0	#HEAD#	#TAIL#	16
	63	##ADDR##	procdefn	0	#HEAD#	#TAIL#	109
	64	##ADDR##	chanplch	0	#HEAD#	#TAIL#	25
	65	##ADDR##	chanplch	0	#HEAD#	#TAIL#	27
	66	##ADDR##	chanplch	0	#HEAD#	#TAIL#	28
	67	##ADDR##	portscop	0	#HEAD#	#TAIL#	24
	68	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	69	##ADDR##	bchntprf	0	#HEAD#	#TAIL#	21
	70	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	71	##ADDR##	bchntprf	0	#HEAD#	#TAIL#	21
	72	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	73	##ADDR##	bchntprf	0	#HEAD#	#TAIL#	25
	74	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	75	##ADDR##	CHPloop_	0	#HEAD#	#TAIL#	16
	76	##ADDR##	CHPseqnc	0	#HEAD#	#TAIL#	28
	77	##ADDR##	CHPrecv_	0	#HEAD#	#TAIL#	21
	78	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	79	##ADDR##	CHPrecv_	0	#HEAD#	#TAIL#	21
	80	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	81	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	20
	82	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	83	##ADDR##	procdefn	0	#HEAD#	#TAIL#	104
	84	##ADDR##	pboolplh	0	#HEAD#	#TAIL#	29
	85	##ADDR##	pboolins	0	#HEAD#	#TAIL#	16
	86	##ADDR##	drnglst_	0	#HEAD#	#TAIL#	16
	87	##ADDR##	dynrng__	0	#HEAD#	#TAIL#	16
	88	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	89	##ADDR##	piarthex	0	#HEAD#	#TAIL#	17
	90	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	91	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	92	##ADDR##	pintinst	0	#HEAD#	#TAIL#	16
	93	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	94	##ADDR##	chanplch	0	#HEAD#	#TAIL#	25
	95	##ADDR##	portscop	0	#HEAD#	#TAIL#	16
	96	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	97	##ADDR##	bchntprf	0	#HEAD#	#TAIL#	25
	98	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	99	##ADDR##	CHPloop_	0	#HEAD#	#TAIL#	16
	100	##ADDR##	CHPlopac	0	#HEAD#	#TAIL#	25
	101	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	102	##ADDR##	dynrng__	0	#HEAD#	#TAIL#	16
	103	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	104	##ADDR##	piarthex	0	#HEAD#	#TAIL#	17
	105	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	106	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	107	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	108	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	109	##ADDR##	spbnref_	0	#HEAD#	#TAIL#	16
	110	##ADDR##	nindlist	0	#HEAD#	#TAIL#	16
	111	##ADDR##	spinref_	0	#HEAD#	#TAIL#	16
	112	##ADDR##	procdefn	0	#HEAD#	#TAIL#	105
	113	##ADDR##	chanplch	0	#HEAD#	#TAIL#	25
	114	##ADDR##	pboolplh	0	#HEAD#	#TAIL#	29
	115	##ADDR##	pboolins	0	#HEAD#	#TAIL#	16
	116	##ADDR##	portscop	0	#HEAD#	#TAIL#	16
	117	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	118	##ADDR##	bchntprf	0	#HEAD#	#TAIL#	25
	119	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	120	##ADDR##	CHPloop_	0	#HEAD#	#TAIL#	16
	121	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	122	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	123	##ADDR##	spbnref_	0	#HEAD#	#TAIL#	16
	124	##ADDR##	procdefn	0	#HEAD#	#TAIL#	118
	125	##ADDR##	pboolplh	0	#HEAD#	#TAIL#	29
	126	##ADDR##	pboolins	0	#HEAD#	#TAIL#	16
	127	##ADDR##	drnglst_	0	#HEAD#	#TAIL#	16
	128	##ADDR##	dynrng__	0	#HEAD#	#TAIL#	16
	129	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	130	##ADDR##	piarthex	0	#HEAD#	#TAIL#	17
	131	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	132	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	133	##ADDR##	pintinst	0	#HEAD#	#TAIL#	16
	134	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	135	##ADDR##	prealplh	0	#HEAD#	#TAIL#	29
	136	##ADDR##	prealins	0	#HEAD#	#TAIL#	16
	137	##ADDR##	chanplch	0	#HEAD#	#TAIL#	25
	138	##ADDR##	portscop	0	#HEAD#	#TAIL#	16
	139	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	140	##ADDR##	bchntprf	0	#HEAD#	#TAIL#	25
	141	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	142	##ADDR##	CHPloop_	0	#HEAD#	#TAIL#	16
	143	##ADDR##	CHPlopac	0	#HEAD#	#TAIL#	25
	144	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	145	##ADDR##	dynrng__	0	#HEAD#	#TAIL#	16
	146	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	147	##ADDR##	piarthex	0	#HEAD#	#TAIL#	17
	148	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	149	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	150	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	151	##ADDR##	sprmvref	0	#HEAD#	#TAIL#	16
	152	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	153	##ADDR##	spbnref_	0	#HEAD#	#TAIL#	16
	154	##ADDR##	nindlist	0	#HEAD#	#TAIL#	16
	155	##ADDR##	spinref_	0	#HEAD#	#TAIL#	16
	156	##ADDR##	procdefn	0	#HEAD#	#TAIL#	109
	157	##ADDR##	pboolplh	0	#HEAD#	#TAIL#	29
	158	##ADDR##	pboolins	0	#HEAD#	#TAIL#	16
	159	##ADDR##	drnglst_	0	#HEAD#	#TAIL#	16
	160	##ADDR##	dynrng__	0	#HEAD#	#TAIL#	16
	161	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	162	##ADDR##	piarthex	0	#HEAD#	#TAIL#	17
	163	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	164	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	165	##ADDR##	pintinst	0	#HEAD#	#TAIL#	16
	166	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	167	##ADDR##	chanplch	0	#HEAD#	#TAIL#	25
	168	##ADDR##	portscop	0	#HEAD#	#TAIL#	16
	169	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	170	##ADDR##	bchntprf	0	#HEAD#	#TAIL#	25
	171	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	172	##ADDR##	CHPlopac	0	#HEAD#	#TAIL#	25
	173	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	174	##ADDR##	dynrng__	0	#HEAD#	#TAIL#	16
	175	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	176	##ADDR##	piarthex	0	#HEAD#	#TAIL#	17
	177	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	178	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	179	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	180	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	181	##ADDR##	spbnref_	0	#HEAD#	#TAIL#	16
	182	##ADDR##	nindlist	0	#HEAD#	#TAIL#	16
	183	##ADDR##	spinref_	0	#HEAD#	#TAIL#	16
	184	##ADDR##	procdefn	0	#HEAD#	#TAIL#	127
	185	##ADDR##	pboolplh	0	#HEAD#	#TAIL#	29
	186	##ADDR##	pboolins	0	#HEAD#	#TAIL#	16
	187	##ADDR##	drnglst_	0	#HEAD#	#TAIL#	16
	188	##ADDR##	dynrng__	0	#HEAD#	#TAIL#	16
	189	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	190	##ADDR##	piarthex	0	#HEAD#	#TAIL#	17
	191	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	192	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	193	##ADDR##	pintinst	0	#HEAD#	#TAIL#	16
	194	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	195	##ADDR##	chanplch	0	#HEAD#	#TAIL#	27
	196	##ADDR##	chanplch	0	#HEAD#	#TAIL#	28
	197	##ADDR##	chanplch	0	#HEAD#	#TAIL#	25
	198	##ADDR##	portscop	0	#HEAD#	#TAIL#	24
	199	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	200	##ADDR##	bchntprf	0	#HEAD#	#TAIL#	21
	201	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	202	##ADDR##	bchntprf	0	#HEAD#	#TAIL#	21
	203	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	204	##ADDR##	bchntprf	0	#HEAD#	#TAIL#	25
	205	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	206	##ADDR##	CHPloop_	0	#HEAD#	#TAIL#	16
	207	##ADDR##	CHPseqnc	0	#HEAD#	#TAIL#	28
	208	##ADDR##	CHPrecv_	0	#HEAD#	#TAIL#	21
	209	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	210	##ADDR##	CHPlopac	0	#HEAD#	#TAIL#	25
	211	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	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##	cnstpi__	0	#HEAD#	#TAIL#	12
	217	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	218	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	219	##ADDR##	spbnref_	0	#HEAD#	#TAIL#	16
	220	##ADDR##	nindlist	0	#HEAD#	#TAIL#	16
	221	##ADDR##	spinref_	0	#HEAD#	#TAIL#	16
	222	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	20
	223	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	224	##ADDR##	procplch	0	#HEAD#	#TAIL#	27
	225	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	226	##ADDR##	bchntprf	0	#HEAD#	#TAIL#	25
	227	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	228	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	229	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	230	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	231	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	232	##ADDR##	proctprf	0	#HEAD#	#TAIL#	20
	233	##ADDR##	prcprtcn	0	#HEAD#	#TAIL#	20
	234	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	235	##ADDR##	schnmref	0	#HEAD#	#TAIL#	16
	236	##ADDR##	CHPloop_	0	#HEAD#	#TAIL#	16
	237	##ADDR##	CHPseqnc	0	#HEAD#	#TAIL#	28
	238	##ADDR##	CHPwait_	0	#HEAD#	#TAIL#	16
	239	##ADDR##	chanprob	0	#HEAD#	#TAIL#	12
	240	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	241	##ADDR##	CHPrecv_	0	#HEAD#	#TAIL#	25
	242	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	243	##ADDR##	sdbnref_	0	#HEAD#	#TAIL#	16
	244	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	245	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	246	##ADDR##	sdbnref_	0	#HEAD#	#TAIL#	16
	247	##ADDR##	footprnt	0	#HEAD#	#TAIL#	429
	248	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12
	249	##ADDR##	CHPconcr	0	#HEAD#	#TAIL#	20
	250	##ADDR##	CHPloop_	0	#HEAD#	#TAIL#	16
	251	##ADDR##	CHPseqnc	0	#HEAD#	#TAIL#	28
	252	##ADDR##	CHPwait_	0	#HEAD#	#TAIL#	16
	253	##ADDR##	CHPrecv_	0	#HEAD#	#TAIL#	25
	254	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24

In module created from: ##FILE## (unrolled) (created)
In namespace "", we have: {
  0 parameter-collections
  4 instantiation-collections
  0 sub-namespaces
  9 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!
            }
          ]
        }
      }

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

    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 = chan(bool<>) A
    B = chan(bool<>) B
    a = bool<> a
    snk = bool_sink<> snk
}

top-level chp:
  concurrent: {
    *[
      sequential: {
        [#A]
        A?(a)
        B!(a)
      }
    ]
  }
footprint: {
  A = channel chan(bool<>)^0 = A (2) 
  B = channel chan(bool<>)^0 = B (1) 
  a = bool^0 = a (1) 
  snk = process bool_sink<>^0 = snk (1) (
    B = channel chan?(bool<>)^0 = B (1) 
  )
  Created state:
  process instance pool:
  1	snk
  channel instance pool:
  1	B
  2	A
  bool instance pool:
  1	a
  resolved concurrent actions:
    *[
      sequential: {
        [#A]
        A?(a)
        B!(a)
      }
    ]
  chp events: {
    event[0]: wait: [#A], #pred: 1, succ: 2 
    event[1]: send: B!(a), #pred: 1, succ: 0 
    event[2]: receive: A?(a), #pred: 1, succ: 1 
  }
}
