
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#	40
	3	##ADDR##	procdefn	0	#HEAD#	#TAIL#	106
	4	##ADDR##	procplch	0	#HEAD#	#TAIL#	25
	5	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	27
	6	##ADDR##	procplch	0	#HEAD#	#TAIL#	25
	7	##ADDR##	portscop	0	#HEAD#	#TAIL#	20
	8	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	9	##ADDR##	proctprf	0	#HEAD#	#TAIL#	20
	10	##ADDR##	procdefn	0	#HEAD#	#TAIL#	102
	11	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	25
	12	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	25
	13	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	25
	14	##ADDR##	portscop	0	#HEAD#	#TAIL#	24
	15	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	16	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	17	##ADDR##	datadefn	0	#HEAD#	#TAIL#	69
	18	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	19	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	20	##ADDR##	footprnt	0	#HEAD#	#TAIL#	314
	21	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	22	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	23	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	24	##ADDR##	dbalias_	0	#HEAD#	#TAIL#	20
	25	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	26	##ADDR##	mdbolref	0	#HEAD#	#TAIL#	20
	27	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	28	##ADDR##	dboolatt	0	#HEAD#	#TAIL#	30
	29	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	30	##ADDR##	dprmlst_	0	#HEAD#	#TAIL#	16
	31	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	32	##ADDR##	footprnt	0	#HEAD#	#TAIL#	504
	33	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12
	34	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12
	35	##ADDR##	procdefn	0	#HEAD#	#TAIL#	126
	36	##ADDR##	pintplch	0	#HEAD#	#TAIL#	30
	37	##ADDR##	pintinst	0	#HEAD#	#TAIL#	16
	38	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	39	##ADDR##	pintinst	0	#HEAD#	#TAIL#	16
	40	##ADDR##	procplch	0	#HEAD#	#TAIL#	25
	41	##ADDR##	procplch	0	#HEAD#	#TAIL#	26
	42	##ADDR##	procplch	0	#HEAD#	#TAIL#	25
	43	##ADDR##	portscop	0	#HEAD#	#TAIL#	20
	44	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	45	##ADDR##	proctprf	0	#HEAD#	#TAIL#	20
	46	##ADDR##	drnglst_	0	#HEAD#	#TAIL#	16
	47	##ADDR##	dynrng__	0	#HEAD#	#TAIL#	16
	48	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	49	##ADDR##	piarthex	0	#HEAD#	#TAIL#	17
	50	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	51	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	52	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	53	##ADDR##	proctprf	0	#HEAD#	#TAIL#	20
	54	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	55	##ADDR##	proctprf	0	#HEAD#	#TAIL#	20
	56	##ADDR##	drnglst_	0	#HEAD#	#TAIL#	16
	57	##ADDR##	dynrng__	0	#HEAD#	#TAIL#	16
	58	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	59	##ADDR##	piarthex	0	#HEAD#	#TAIL#	17
	60	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	61	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	62	##ADDR##	loopscop	0	#HEAD#	#TAIL#	24
	63	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	64	##ADDR##	dynrng__	0	#HEAD#	#TAIL#	16
	65	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	66	##ADDR##	piarthex	0	#HEAD#	#TAIL#	17
	67	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	68	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	69	##ADDR##	prcprtcn	0	#HEAD#	#TAIL#	24
	70	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	71	##ADDR##	dindlst_	0	#HEAD#	#TAIL#	16
	72	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	73	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	74	##ADDR##	dindlst_	0	#HEAD#	#TAIL#	16
	75	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	76	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	77	##ADDR##	footprnt	0	#HEAD#	#TAIL#	1167
	78	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	79	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	80	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12
	81	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12
	82	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12
	83	##ADDR##	procdefn	0	#HEAD#	#TAIL#	78
	84	##ADDR##	procplch	0	#HEAD#	#TAIL#	27
	85	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	86	##ADDR##	proctprf	0	#HEAD#	#TAIL#	20
	87	##ADDR##	dprmlst_	0	#HEAD#	#TAIL#	20
	88	##ADDR##	footprnt	0	#HEAD#	#TAIL#	631
	89	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	20
	90	##ADDR##	procplch	0	#HEAD#	#TAIL#	27
	91	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	92	##ADDR##	proctprf	0	#HEAD#	#TAIL#	20
	93	##ADDR##	footprnt	0	#HEAD#	#TAIL#	296
	94	##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
  4 definitions
  0 typedefs
  Definitions:
    A = process-definition (defined) A(
        e1of2<> l
        e1of2<> r
      )
      In definition "A", we have: {
      Instances:
        l = e1of2<> A::l
        l_e = bool<> A::l_e
        r = e1of2<> A::r
      unroll sequence: 
        ports: (
          e1of2<> l
          e1of2<> r
        )
        bool<> l_e
        l_e = l.e;
        l_e@[iscomb=1]
      footprint: {
        l = process e1of2<>^0 = A<>::l (1) (
          t = bool^0 = A<>::l.t (1) 
          f = bool^0 = A<>::l.f (2) 
          e = bool^0 = A<>::l_e (3) @[ iscomb ] 
        )
        l_e = bool^0 = A<>::l_e (3) @[ iscomb ] 
        r = process e1of2<>^0 = A<>::r (2) (
          t = bool^0 = A<>::r.t (4) 
          f = bool^0 = A<>::r.f (5) 
          e = bool^0 = A<>::r.e (6) 
        )
        Created state:
        process instance pool:
        1	A<>::l
        2	A<>::r
        bool instance pool:
        1	A<>::l.t
        2	A<>::l.f
        3	A<>::l_e @[ iscomb ]
        4	A<>::r.t
        5	A<>::r.f
        6	A<>::r.e
      }
      }

    B = process-definition (defined) B<
      pint<> ID
      pint<> W
      >(
        e1of2<> l[0..W-1]
        e1of2<> r
      )
      In definition "B", we have: {
      Parameters:
        ID = pint<> B::ID
        W = pint<> B::W
      Instances:
        l = e1of2<> B::l^1
        mb = A<> B::mb^1
        r = e1of2<> B::r
      unroll sequence: 
        ports: (
          e1of2<> l[0..W-1]
          e1of2<> r
        )
        A<> mb[0..W-1]
        (;i:[0..W-1]:
          mb[$i] (l[$i], r);
        )
      footprint collection: {
        <0, 2> {
          ID = pint^0 value: 0
          W = pint^0 value: 2
          l = process e1of2<>^1
            {
              [0] = B<0, 2>::l[0] (3) (
                t = bool^0 = B<0, 2>::l[0].t (4) 
                f = bool^0 = B<0, 2>::l[0].f (5) 
                e = bool^0 = B<0, 2>::l[0].e (6) @[ iscomb ] 
              )
              [1] = B<0, 2>::l[1] (5) (
                t = bool^0 = B<0, 2>::l[1].t (7) 
                f = bool^0 = B<0, 2>::l[1].f (8) 
                e = bool^0 = B<0, 2>::l[1].e (9) @[ iscomb ] 
              )
            }
          mb = process A<>^1
            {
              [0] = B<0, 2>::mb[0] (2) (
                l = process e1of2<>^0 = B<0, 2>::l[0] (3) (
                  t = bool^0 = B<0, 2>::l[0].t (4) 
                  f = bool^0 = B<0, 2>::l[0].f (5) 
                  e = bool^0 = B<0, 2>::l[0].e (6) @[ iscomb ] 
                )
                r = process e1of2<>^0 = B<0, 2>::r (1) (
                  t = bool^0 = B<0, 2>::r.t (1) 
                  f = bool^0 = B<0, 2>::r.f (2) 
                  e = bool^0 = B<0, 2>::r.e (3) 
                )
              )
              [1] = B<0, 2>::mb[1] (4) (
                l = process e1of2<>^0 = B<0, 2>::l[1] (5) (
                  t = bool^0 = B<0, 2>::l[1].t (7) 
                  f = bool^0 = B<0, 2>::l[1].f (8) 
                  e = bool^0 = B<0, 2>::l[1].e (9) @[ iscomb ] 
                )
                r = process e1of2<>^0 = B<0, 2>::r (1) (
                  t = bool^0 = B<0, 2>::r.t (1) 
                  f = bool^0 = B<0, 2>::r.f (2) 
                  e = bool^0 = B<0, 2>::r.e (3) 
                )
              )
            }
          r = process e1of2<>^0 = B<0, 2>::r (1) (
            t = bool^0 = B<0, 2>::r.t (1) 
            f = bool^0 = B<0, 2>::r.f (2) 
            e = bool^0 = B<0, 2>::r.e (3) 
          )
          Created state:
          process instance pool:
          1	B<0, 2>::r
          2	B<0, 2>::mb[0]
          3	B<0, 2>::l[0]
          4	B<0, 2>::mb[1]
          5	B<0, 2>::l[1]
          bool instance pool:
          1	B<0, 2>::r.t
          2	B<0, 2>::r.f
          3	B<0, 2>::r.e
          4	B<0, 2>::l[0].t
          5	B<0, 2>::l[0].f
          6	B<0, 2>::l[0].e @[ iscomb ]
          7	B<0, 2>::l[1].t
          8	B<0, 2>::l[1].f
          9	B<0, 2>::l[1].e @[ iscomb ]
        }
      }
      }

    C = process-definition (defined) C(
      )
      In definition "C", we have: {
      Instances:
        bar = B<0, 2> C::bar
      unroll sequence: 
        B<0, 2> bar
      footprint: {
        bar = process B<0, 2>^0 = C<>::bar (1) (
          l = process e1of2<>^1
            {
              [0] = C<>::bar.l[0] (2) (
                t = bool^0 = C<>::bar.l[0].t (1) 
                f = bool^0 = C<>::bar.l[0].f (2) 
                e = bool^0 = C<>::bar.l[0].e (3) @[ iscomb ] 
              )
              [1] = C<>::bar.l[1] (3) (
                t = bool^0 = C<>::bar.l[1].t (4) 
                f = bool^0 = C<>::bar.l[1].f (5) 
                e = bool^0 = C<>::bar.l[1].e (6) @[ iscomb ] 
              )
            }
          r = process e1of2<>^0 = C<>::bar.r (4) (
            t = bool^0 = C<>::bar.r.t (7) 
            f = bool^0 = C<>::bar.r.f (8) 
            e = bool^0 = C<>::bar.r.e (9) 
          )
        )
        Created state:
        process instance pool:
        1	C<>::bar
        2	C<>::bar.l[0]
        3	C<>::bar.l[1]
        4	C<>::bar.r
        bool instance pool:
        1	C<>::bar.l[0].t
        2	C<>::bar.l[0].f
        3	C<>::bar.l[0].e @[ iscomb ]
        4	C<>::bar.l[1].t
        5	C<>::bar.l[1].f
        6	C<>::bar.l[1].e @[ iscomb ]
        7	C<>::bar.r.t
        8	C<>::bar.r.f
        9	C<>::bar.r.e
      }
      }

    e1of2 = process-definition (defined) e1of2(
        bool<> t
        bool<> f
        bool<> e
      )
      In definition "e1of2", we have: {
      Instances:
        e = bool<> e1of2::e
        f = bool<> e1of2::f
        t = bool<> e1of2::t
      unroll sequence: 
        ports: (
          bool<> t
          bool<> f
          bool<> e
        )
      footprint: {
        e = bool^0 = e1of2<>::e (3) 
        f = bool^0 = e1of2<>::f (2) 
        t = bool^0 = e1of2<>::t (1) 
        Created state:
        bool instance pool:
        1	e1of2<>::t
        2	e1of2<>::f
        3	e1of2<>::e
      }
      }

  Instances:
    foo = C<> foo
}

footprint: {
  foo = process C<>^0 = foo (1) 
  Created state:
  process instance pool:
  1	foo
}
