WARNING: channel M.L lacks connection to a producer.
WARNING: channel M.R lacks connection to a consumer.
---- 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#	28
	3	##ADDR##	procplch	0	#HEAD#	#TAIL#	25
	4	##ADDR##	procdefn	0	#HEAD#	#TAIL#	121
	5	##ADDR##	chanplch	0	#HEAD#	#TAIL#	25
	6	##ADDR##	chanplch	0	#HEAD#	#TAIL#	25
	7	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	25
	8	##ADDR##	dintplch	0	#HEAD#	#TAIL#	25
	9	##ADDR##	portscop	0	#HEAD#	#TAIL#	20
	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#	68
	14	##ADDR##	dprmlst_	0	#HEAD#	#TAIL#	16
	15	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	16	##ADDR##	chaninst	0	#HEAD#	#TAIL#	20
	17	##ADDR##	bchntprf	0	#HEAD#	#TAIL#	25
	18	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	19	##ADDR##	datadefn	0	#HEAD#	#TAIL#	69
	20	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	21	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	22	##ADDR##	dprmlst_	0	#HEAD#	#TAIL#	16
	23	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	24	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	25	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	26	##ADDR##	crnglst_	0	#HEAD#	#TAIL#	20
	27	##ADDR##	CHPloop_	0	#HEAD#	#TAIL#	16
	28	##ADDR##	CHPseqnc	0	#HEAD#	#TAIL#	24
	29	##ADDR##	CHPrecv_	0	#HEAD#	#TAIL#	25
	30	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	31	##ADDR##	sdinref_	0	#HEAD#	#TAIL#	16
	32	##ADDR##	CHPconcr	0	#HEAD#	#TAIL#	24
	33	##ADDR##	CHPrecv_	0	#HEAD#	#TAIL#	21
	34	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	35	##ADDR##	CHPlopsl	0	#HEAD#	#TAIL#	25
	36	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	37	##ADDR##	cnstrng_	0	#HEAD#	#TAIL#	16
	38	##ADDR##	CHPguard	0	#HEAD#	#TAIL#	16
	39	##ADDR##	nrelatex	0	#HEAD#	#TAIL#	22
	40	##ADDR##	sdinref_	0	#HEAD#	#TAIL#	16
	41	##ADDR##	spinref_	0	#HEAD#	#TAIL#	16
	42	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	43	##ADDR##	schnnref	0	#HEAD#	#TAIL#	16
	44	##ADDR##	sdbnref_	0	#HEAD#	#TAIL#	16
	45	##ADDR##	nindlist	0	#HEAD#	#TAIL#	16
	46	##ADDR##	spinref_	0	#HEAD#	#TAIL#	16
	47	##ADDR##	footprnt	0	#HEAD#	#TAIL#	1070
	48	##ADDR##	fndchntp	0	#HEAD#	#TAIL#	20
	49	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	16
	50	##ADDR##	fndchntp	0	#HEAD#	#TAIL#	20
	51	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12
	52	##ADDR##	CHPconcr	0	#HEAD#	#TAIL#	20
	53	##ADDR##	CHPloop_	0	#HEAD#	#TAIL#	16
	54	##ADDR##	CHPseqnc	0	#HEAD#	#TAIL#	24
	55	##ADDR##	CHPrecv_	0	#HEAD#	#TAIL#	25
	56	##ADDR##	CHPconcr	0	#HEAD#	#TAIL#	24
	57	##ADDR##	CHPrecv_	0	#HEAD#	#TAIL#	21
	58	##ADDR##	CHPdetsl	0	#HEAD#	#TAIL#	80
	59	##ADDR##	CHPguard	0	#HEAD#	#TAIL#	16
	60	##ADDR##	nrelatex	0	#HEAD#	#TAIL#	22
	61	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	62	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	63	##ADDR##	sdbnref_	0	#HEAD#	#TAIL#	16
	64	##ADDR##	nindlist	0	#HEAD#	#TAIL#	16
	65	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	66	##ADDR##	CHPguard	0	#HEAD#	#TAIL#	16
	67	##ADDR##	nrelatex	0	#HEAD#	#TAIL#	22
	68	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	69	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	70	##ADDR##	sdbnref_	0	#HEAD#	#TAIL#	16
	71	##ADDR##	nindlist	0	#HEAD#	#TAIL#	16
	72	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	73	##ADDR##	CHPguard	0	#HEAD#	#TAIL#	16
	74	##ADDR##	nrelatex	0	#HEAD#	#TAIL#	22
	75	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	76	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	77	##ADDR##	sdbnref_	0	#HEAD#	#TAIL#	16
	78	##ADDR##	nindlist	0	#HEAD#	#TAIL#	16
	79	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	80	##ADDR##	CHPguard	0	#HEAD#	#TAIL#	16
	81	##ADDR##	nrelatex	0	#HEAD#	#TAIL#	22
	82	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	83	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	84	##ADDR##	sdbnref_	0	#HEAD#	#TAIL#	16
	85	##ADDR##	nindlist	0	#HEAD#	#TAIL#	16
	86	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	87	##ADDR##	CHPguard	0	#HEAD#	#TAIL#	16
	88	##ADDR##	nrelatex	0	#HEAD#	#TAIL#	22
	89	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	90	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	91	##ADDR##	sdbnref_	0	#HEAD#	#TAIL#	16
	92	##ADDR##	nindlist	0	#HEAD#	#TAIL#	16
	93	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	94	##ADDR##	CHPguard	0	#HEAD#	#TAIL#	16
	95	##ADDR##	nrelatex	0	#HEAD#	#TAIL#	22
	96	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	97	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	98	##ADDR##	sdbnref_	0	#HEAD#	#TAIL#	16
	99	##ADDR##	nindlist	0	#HEAD#	#TAIL#	16
	100	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	101	##ADDR##	CHPguard	0	#HEAD#	#TAIL#	16
	102	##ADDR##	nrelatex	0	#HEAD#	#TAIL#	22
	103	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	104	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	105	##ADDR##	sdbnref_	0	#HEAD#	#TAIL#	16
	106	##ADDR##	nindlist	0	#HEAD#	#TAIL#	16
	107	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	108	##ADDR##	CHPguard	0	#HEAD#	#TAIL#	16
	109	##ADDR##	nrelatex	0	#HEAD#	#TAIL#	22
	110	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	111	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	112	##ADDR##	sdbnref_	0	#HEAD#	#TAIL#	16
	113	##ADDR##	nindlist	0	#HEAD#	#TAIL#	16
	114	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	115	##ADDR##	CHPguard	0	#HEAD#	#TAIL#	16
	116	##ADDR##	nrelatex	0	#HEAD#	#TAIL#	22
	117	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	118	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	119	##ADDR##	sdbnref_	0	#HEAD#	#TAIL#	16
	120	##ADDR##	nindlist	0	#HEAD#	#TAIL#	16
	121	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	122	##ADDR##	CHPguard	0	#HEAD#	#TAIL#	16
	123	##ADDR##	nrelatex	0	#HEAD#	#TAIL#	22
	124	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	125	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	126	##ADDR##	sdbnref_	0	#HEAD#	#TAIL#	16
	127	##ADDR##	nindlist	0	#HEAD#	#TAIL#	16
	128	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	129	##ADDR##	CHPguard	0	#HEAD#	#TAIL#	16
	130	##ADDR##	nrelatex	0	#HEAD#	#TAIL#	22
	131	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	132	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	133	##ADDR##	sdbnref_	0	#HEAD#	#TAIL#	16
	134	##ADDR##	nindlist	0	#HEAD#	#TAIL#	16
	135	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	136	##ADDR##	CHPguard	0	#HEAD#	#TAIL#	16
	137	##ADDR##	nrelatex	0	#HEAD#	#TAIL#	22
	138	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	139	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	140	##ADDR##	sdbnref_	0	#HEAD#	#TAIL#	16
	141	##ADDR##	nindlist	0	#HEAD#	#TAIL#	16
	142	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	143	##ADDR##	CHPguard	0	#HEAD#	#TAIL#	16
	144	##ADDR##	nrelatex	0	#HEAD#	#TAIL#	22
	145	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	146	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	147	##ADDR##	sdbnref_	0	#HEAD#	#TAIL#	16
	148	##ADDR##	nindlist	0	#HEAD#	#TAIL#	16
	149	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	150	##ADDR##	CHPguard	0	#HEAD#	#TAIL#	16
	151	##ADDR##	nrelatex	0	#HEAD#	#TAIL#	22
	152	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	153	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	154	##ADDR##	sdbnref_	0	#HEAD#	#TAIL#	16
	155	##ADDR##	nindlist	0	#HEAD#	#TAIL#	16
	156	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	157	##ADDR##	CHPguard	0	#HEAD#	#TAIL#	16
	158	##ADDR##	nrelatex	0	#HEAD#	#TAIL#	22
	159	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	160	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	161	##ADDR##	sdbnref_	0	#HEAD#	#TAIL#	16
	162	##ADDR##	nindlist	0	#HEAD#	#TAIL#	16
	163	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	164	##ADDR##	CHPguard	0	#HEAD#	#TAIL#	16
	165	##ADDR##	nrelatex	0	#HEAD#	#TAIL#	22
	166	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	167	##ADDR##	CHPsend_	0	#HEAD#	#TAIL#	24
	168	##ADDR##	sdbnref_	0	#HEAD#	#TAIL#	16
	169	##ADDR##	nindlist	0	#HEAD#	#TAIL#	16
	170	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	171	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	172	##ADDR##	proctprf	0	#HEAD#	#TAIL#	20
	173	##ADDR##	footprnt	0	#HEAD#	#TAIL#	350
	174	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12

In module created from: ##FILE## (unrolled) (created)
In namespace "", we have: {
  0 parameter-collections
  1 instantiation-collections
  0 sub-namespaces
  1 definitions
  0 typedefs
  Definitions:
    metalooptest = process-definition (defined) metalooptest(
        chan?(int<4>) L
        chan!(bool<>) R
      )
      In definition "metalooptest", we have: {
      Instances:
        L = chan?(int<4>) metalooptest::L
        R = chan!(bool<>) metalooptest::R
        b = bool<> metalooptest::b^1
        l = int<4> metalooptest::l
      unroll sequence: 
        ports: (
          chan?(int<4>) L
          chan!(bool<>) R
        )
        int<4> l
        bool<> b[0..15]
      chp:
        concurrent: {
          *[
            sequential: {
              L#(l)
              concurrent: {
                L?
                deterministic i:[0..15]: {
                  l==$i -> R!(b[$i])
                }
              }
            }
          ]
        }
      footprint: {
        L = channel chan?(int<4>)^0 = metalooptest<>::L (1) 
        R = channel chan!(bool<>)^0 = metalooptest<>::R (2) 
        b = bool^1
          {
            [0] = metalooptest<>::b[0] (1) 
            [1] = metalooptest<>::b[1] (2) 
            [2] = metalooptest<>::b[2] (3) 
            [3] = metalooptest<>::b[3] (4) 
            [4] = metalooptest<>::b[4] (5) 
            [5] = metalooptest<>::b[5] (6) 
            [6] = metalooptest<>::b[6] (7) 
            [7] = metalooptest<>::b[7] (8) 
            [8] = metalooptest<>::b[8] (9) 
            [9] = metalooptest<>::b[9] (10) 
            [10] = metalooptest<>::b[10] (11) 
            [11] = metalooptest<>::b[11] (12) 
            [12] = metalooptest<>::b[12] (13) 
            [13] = metalooptest<>::b[13] (14) 
            [14] = metalooptest<>::b[14] (15) 
            [15] = metalooptest<>::b[15] (16) 
          }
        l = int<4>^0 = metalooptest<>::l (1) 
        Created state:
        channel instance pool:
        1	metalooptest<>::L
        2	metalooptest<>::R
        int instance pool:
        1	metalooptest<>::l
        bool instance pool:
        1	metalooptest<>::b[0]
        2	metalooptest<>::b[1]
        3	metalooptest<>::b[2]
        4	metalooptest<>::b[3]
        5	metalooptest<>::b[4]
        6	metalooptest<>::b[5]
        7	metalooptest<>::b[6]
        8	metalooptest<>::b[7]
        9	metalooptest<>::b[8]
        10	metalooptest<>::b[9]
        11	metalooptest<>::b[10]
        12	metalooptest<>::b[11]
        13	metalooptest<>::b[12]
        14	metalooptest<>::b[13]
        15	metalooptest<>::b[14]
        16	metalooptest<>::b[15]
        resolved concurrent actions:
          *[
            sequential: {
              L#(l)
              concurrent: {
                L?
                deterministic: {
                  l==0 -> R!(b[0])
                  l==1 -> R!(b[1])
                  l==2 -> R!(b[2])
                  l==3 -> R!(b[3])
                  l==4 -> R!(b[4])
                  l==5 -> R!(b[5])
                  l==6 -> R!(b[6])
                  l==7 -> R!(b[7])
                  l==8 -> R!(b[8])
                  l==9 -> R!(b[9])
                  l==10 -> R!(b[10])
                  l==11 -> R!(b[11])
                  l==12 -> R!(b[12])
                  l==13 -> R!(b[13])
                  l==14 -> R!(b[14])
                  l==15 -> R!(b[15])
                }
              }
            }
          ]
        chp events: {
          event[0]: peek: L#(l), #pred: 1, succ: 21 
          event[1]: join: , #pred: 2, succ: 0 
          event[2]: receive: L?, #pred: 1, succ: 1 
          event[3]: null: null, #pred: 1, succ: 1 
          event[4]: send: R!(b[0]), #pred: 1, succ: 3 
          event[5]: send: R!(b[1]), #pred: 1, succ: 3 
          event[6]: send: R!(b[2]), #pred: 1, succ: 3 
          event[7]: send: R!(b[3]), #pred: 1, succ: 3 
          event[8]: send: R!(b[4]), #pred: 1, succ: 3 
          event[9]: send: R!(b[5]), #pred: 1, succ: 3 
          event[10]: send: R!(b[6]), #pred: 1, succ: 3 
          event[11]: send: R!(b[7]), #pred: 1, succ: 3 
          event[12]: send: R!(b[8]), #pred: 1, succ: 3 
          event[13]: send: R!(b[9]), #pred: 1, succ: 3 
          event[14]: send: R!(b[10]), #pred: 1, succ: 3 
          event[15]: send: R!(b[11]), #pred: 1, succ: 3 
          event[16]: send: R!(b[12]), #pred: 1, succ: 3 
          event[17]: send: R!(b[13]), #pred: 1, succ: 3 
          event[18]: send: R!(b[14]), #pred: 1, succ: 3 
          event[19]: send: R!(b[15]), #pred: 1, succ: 3 
          event[20]: select: [ l==0 -> ... [] l==1 -> ... [] l==2 -> ... [] l==3 -> ... [] l==4 -> ... [] l==5 -> ... [] l==6 -> ... [] l==7 -> ... [] l==8 -> ... [] l==9 -> ... [] l==10 -> ... [] l==11 -> ... [] l==12 -> ... [] l==13 -> ... [] l==14 -> ... [] l==15 -> ... ], #pred: 1, succ: 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 
          event[21]: fork: , #pred: 1, succ: 2 20 
        }
      }
      }

  Instances:
    M = metalooptest<> M
}

footprint: {
  M = process metalooptest<>^0 = M (1) (
    L = channel chan?(int<4>)^0 = M.L (1) 
    R = channel chan!(bool<>)^0 = M.R (2) 
  )
  Created state:
  process instance pool:
  1	M
  channel instance pool:
  1	M.L
  2	M.R
}
