
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#	56
	3	##ADDR##	procplch	0	#HEAD#	#TAIL#	25
	4	##ADDR##	procplch	0	#HEAD#	#TAIL#	25
	5	##ADDR##	procplch	0	#HEAD#	#TAIL#	25
	6	##ADDR##	procplch	0	#HEAD#	#TAIL#	25
	7	##ADDR##	procdefn	0	#HEAD#	#TAIL#	114
	8	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	26
	9	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	25
	10	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	25
	11	##ADDR##	portscop	0	#HEAD#	#TAIL#	24
	12	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	13	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	14	##ADDR##	datadefn	0	#HEAD#	#TAIL#	69
	15	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	16	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	17	##ADDR##	PRSpuldn	0	#HEAD#	#TAIL#	21
	18	##ADDR##	PRSand__	0	#HEAD#	#TAIL#	24
	19	##ADDR##	PRSlitrl	0	#HEAD#	#TAIL#	16
	20	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	21	##ADDR##	PRSlitrl	0	#HEAD#	#TAIL#	16
	22	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	23	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	24	##ADDR##	PRSpulup	0	#HEAD#	#TAIL#	21
	25	##ADDR##	PRSand__	0	#HEAD#	#TAIL#	24
	26	##ADDR##	PRSnot__	0	#HEAD#	#TAIL#	12
	27	##ADDR##	PRSlitrl	0	#HEAD#	#TAIL#	16
	28	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	29	##ADDR##	PRSnot__	0	#HEAD#	#TAIL#	12
	30	##ADDR##	PRSlitrl	0	#HEAD#	#TAIL#	16
	31	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	32	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	33	##ADDR##	footprnt	0	#HEAD#	#TAIL#	444
	34	##ADDR##	procdefn	0	#HEAD#	#TAIL#	94
	35	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	25
	36	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	25
	37	##ADDR##	portscop	0	#HEAD#	#TAIL#	20
	38	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	39	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	40	##ADDR##	crnglst_	0	#HEAD#	#TAIL#	20
	41	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	42	##ADDR##	footprnt	0	#HEAD#	#TAIL#	326
	43	##ADDR##	procdefn	0	#HEAD#	#TAIL#	100
	44	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	25
	45	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	25
	46	##ADDR##	portscop	0	#HEAD#	#TAIL#	20
	47	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	48	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	49	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	50	##ADDR##	PRSpuldn	0	#HEAD#	#TAIL#	21
	51	##ADDR##	PRSlitrl	0	#HEAD#	#TAIL#	16
	52	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	53	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	54	##ADDR##	PRSpulup	0	#HEAD#	#TAIL#	21
	55	##ADDR##	PRSnot__	0	#HEAD#	#TAIL#	12
	56	##ADDR##	PRSlitrl	0	#HEAD#	#TAIL#	16
	57	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	58	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	59	##ADDR##	footprnt	0	#HEAD#	#TAIL#	359
	60	##ADDR##	procdefn	0	#HEAD#	#TAIL#	110
	61	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	26
	62	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	25
	63	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	25
	64	##ADDR##	portscop	0	#HEAD#	#TAIL#	24
	65	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	66	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	67	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	68	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	69	##ADDR##	PRSpuldn	0	#HEAD#	#TAIL#	21
	70	##ADDR##	PRSand__	0	#HEAD#	#TAIL#	24
	71	##ADDR##	PRSlitrl	0	#HEAD#	#TAIL#	16
	72	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	73	##ADDR##	PRSlitrl	0	#HEAD#	#TAIL#	16
	74	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	75	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	76	##ADDR##	PRSpulup	0	#HEAD#	#TAIL#	21
	77	##ADDR##	PRSor___	0	#HEAD#	#TAIL#	20
	78	##ADDR##	PRSnot__	0	#HEAD#	#TAIL#	12
	79	##ADDR##	PRSlitrl	0	#HEAD#	#TAIL#	16
	80	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	81	##ADDR##	PRSnot__	0	#HEAD#	#TAIL#	12
	82	##ADDR##	PRSlitrl	0	#HEAD#	#TAIL#	16
	83	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	84	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	85	##ADDR##	footprnt	0	#HEAD#	#TAIL#	440
	86	##ADDR##	procdefn	0	#HEAD#	#TAIL#	223
	87	##ADDR##	procplch	0	#HEAD#	#TAIL#	25
	88	##ADDR##	procplch	0	#HEAD#	#TAIL#	25
	89	##ADDR##	procplch	0	#HEAD#	#TAIL#	30
	90	##ADDR##	procplch	0	#HEAD#	#TAIL#	30
	91	##ADDR##	procplch	0	#HEAD#	#TAIL#	30
	92	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	26
	93	##ADDR##	procplch	0	#HEAD#	#TAIL#	26
	94	##ADDR##	procplch	0	#HEAD#	#TAIL#	26
	95	##ADDR##	procplch	0	#HEAD#	#TAIL#	26
	96	##ADDR##	procplch	0	#HEAD#	#TAIL#	26
	97	##ADDR##	procplch	0	#HEAD#	#TAIL#	26
	98	##ADDR##	procplch	0	#HEAD#	#TAIL#	26
	99	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	26
	100	##ADDR##	portscop	0	#HEAD#	#TAIL#	20
	101	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	102	##ADDR##	proctprf	0	#HEAD#	#TAIL#	20
	103	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	104	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	105	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	106	##ADDR##	crnglst_	0	#HEAD#	#TAIL#	20
	107	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	108	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	109	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	110	##ADDR##	proctprf	0	#HEAD#	#TAIL#	20
	111	##ADDR##	prcprtcn	0	#HEAD#	#TAIL#	24
	112	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	113	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	114	##ADDR##	cindlst_	0	#HEAD#	#TAIL#	16
	115	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	116	##ADDR##	mdbolref	0	#HEAD#	#TAIL#	20
	117	##ADDR##	cindlst_	0	#HEAD#	#TAIL#	16
	118	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	119	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	120	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	121	##ADDR##	prcprtcn	0	#HEAD#	#TAIL#	24
	122	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	123	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	124	##ADDR##	cindlst_	0	#HEAD#	#TAIL#	16
	125	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	126	##ADDR##	mdbolref	0	#HEAD#	#TAIL#	20
	127	##ADDR##	cindlst_	0	#HEAD#	#TAIL#	16
	128	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	129	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	130	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	131	##ADDR##	prcprtcn	0	#HEAD#	#TAIL#	24
	132	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	133	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	134	##ADDR##	mdbolref	0	#HEAD#	#TAIL#	20
	135	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	136	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	137	##ADDR##	proctprf	0	#HEAD#	#TAIL#	20
	138	##ADDR##	prcprtcn	0	#HEAD#	#TAIL#	28
	139	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	140	##ADDR##	mdbolref	0	#HEAD#	#TAIL#	20
	141	##ADDR##	cindlst_	0	#HEAD#	#TAIL#	16
	142	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	143	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	144	##ADDR##	mdbolref	0	#HEAD#	#TAIL#	20
	145	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	146	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	147	##ADDR##	cindlst_	0	#HEAD#	#TAIL#	16
	148	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	149	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	150	##ADDR##	prcprtcn	0	#HEAD#	#TAIL#	28
	151	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	152	##ADDR##	mdbolref	0	#HEAD#	#TAIL#	20
	153	##ADDR##	cindlst_	0	#HEAD#	#TAIL#	16
	154	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	155	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	156	##ADDR##	mdbolref	0	#HEAD#	#TAIL#	20
	157	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	158	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	159	##ADDR##	cindlst_	0	#HEAD#	#TAIL#	16
	160	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	161	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	162	##ADDR##	proctprf	0	#HEAD#	#TAIL#	20
	163	##ADDR##	prcprtcn	0	#HEAD#	#TAIL#	28
	164	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	165	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	166	##ADDR##	cindlst_	0	#HEAD#	#TAIL#	16
	167	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	168	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	169	##ADDR##	cindlst_	0	#HEAD#	#TAIL#	16
	170	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	171	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	172	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	173	##ADDR##	proctprf	0	#HEAD#	#TAIL#	20
	174	##ADDR##	prcalias	0	#HEAD#	#TAIL#	20
	175	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	176	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	177	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	178	##ADDR##	proctprf	0	#HEAD#	#TAIL#	20
	179	##ADDR##	prcalias	0	#HEAD#	#TAIL#	20
	180	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	181	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	182	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	183	##ADDR##	proctprf	0	#HEAD#	#TAIL#	20
	184	##ADDR##	prcalias	0	#HEAD#	#TAIL#	20
	185	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	186	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	187	##ADDR##	footprnt	0	#HEAD#	#TAIL#	1493
	188	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12
	189	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12
	190	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12
	191	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12
	192	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12
	193	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12
	194	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12
	195	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12
	196	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12
	197	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12
	198	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12
	199	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	200	##ADDR##	proctprf	0	#HEAD#	#TAIL#	20
	201	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	202	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	203	##ADDR##	proctprf	0	#HEAD#	#TAIL#	20
	204	##ADDR##	prcprtcn	0	#HEAD#	#TAIL#	24
	205	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	206	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	207	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	208	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	209	##ADDR##	proctprf	0	#HEAD#	#TAIL#	20
	210	##ADDR##	prcalias	0	#HEAD#	#TAIL#	20
	211	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	212	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	213	##ADDR##	footprnt	0	#HEAD#	#TAIL#	962
	214	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12
	215	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12
	216	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12
	217	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12

In module created from: ##FILE## (unrolled) (created)
In namespace "", we have: {
  0 parameter-collections
  4 instantiation-collections
  0 sub-namespaces
  5 definitions
  0 typedefs
  Definitions:
    celem2inv = process-definition (defined) celem2inv(
        bool<> a
        bool<> b
        bool<> _o
      )
      In definition "celem2inv", we have: {
      Instances:
        _o = bool<> celem2inv::_o
        a = bool<> celem2inv::a
        b = bool<> celem2inv::b
      unroll sequence: 
        ports: (
          bool<> a
          bool<> b
          bool<> _o
        )
      prs:
        a & b -> _o-
        ~a & ~b -> _o+
      footprint: {
        _o = bool^0 = celem2inv<>::_o (3) 
        a = bool^0 = celem2inv<>::a (1) 
        b = bool^0 = celem2inv<>::b (2) 
        Created state:
        bool instance pool:
        1	celem2inv<>::a
        2	celem2inv<>::b
        3	celem2inv<>::_o
        resolved prs:
        a & b -> _o-
        ~a & ~b -> _o+
      }
      }

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

    inv = process-definition (defined) inv(
        bool<> a
        bool<> b
      )
      In definition "inv", we have: {
      Instances:
        a = bool<> inv::a
        b = bool<> inv::b
      unroll sequence: 
        ports: (
          bool<> a
          bool<> b
        )
      prs:
        a -> b-
        ~a -> b+
      footprint: {
        a = bool^0 = inv<>::a (1) 
        b = bool^0 = inv<>::b (2) 
        Created state:
        bool instance pool:
        1	inv<>::a
        2	inv<>::b
        resolved prs:
        a -> b-
        ~a -> b+
      }
      }

    nand2 = process-definition (defined) nand2(
        bool<> a
        bool<> b
        bool<> _o
      )
      In definition "nand2", we have: {
      Instances:
        _o = bool<> nand2::_o
        a = bool<> nand2::a
        b = bool<> nand2::b
      unroll sequence: 
        ports: (
          bool<> a
          bool<> b
          bool<> _o
        )
      prs:
        a & b -> _o-
        ~a | ~b -> _o+
      footprint: {
        _o = bool^0 = nand2<>::_o (3) 
        a = bool^0 = nand2<>::a (1) 
        b = bool^0 = nand2<>::b (2) 
        Created state:
        bool instance pool:
        1	nand2<>::a
        2	nand2<>::b
        3	nand2<>::_o
        resolved prs:
        a & b -> _o-
        ~a | ~b -> _o+
      }
      }

    wchb_e1of2 = process-definition (defined) wchb_e1of2(
        e1of2<> L
        e1of2<> R
      )
      In definition "wchb_e1of2", we have: {
      Instances:
        L = e1of2<> wchb_e1of2::L
        R = e1of2<> wchb_e1of2::R
        __l1__ = celem2inv<> wchb_e1of2::__l1__
        __la__ = nand2<> wchb_e1of2::__la__
        __r0__ = inv<> wchb_e1of2::__r0__
        _r = bool<> wchb_e1of2::_r^1
        l0 = celem2inv<> wchb_e1of2::l0
        l1 = celem2inv<> wchb_e1of2::l1
        la = nand2<> wchb_e1of2::la
        r0 = inv<> wchb_e1of2::r0
        r1 = inv<> wchb_e1of2::r1
        re = inv<> wchb_e1of2::re
        rv = bool<> wchb_e1of2::rv
      unroll sequence: 
        ports: (
          e1of2<> L
          e1of2<> R
        )
        bool<> _r[0..1]
        bool<> rv
        inv<> r0
        r0 (_r[0], R.d[0]);
        inv<> r1
        r1 (_r[1], R.d[1]);
        inv<> re
        re (rv, L.e);
        celem2inv<> l0
        l0 (L.d[0], R.e, _r[0]);
        celem2inv<> l1
        l1 (L.d[1], R.e, _r[1]);
        nand2<> la
        la (_r[0], _r[1], rv);
        inv<> __r0__
        __r0__ = r0;
        celem2inv<> __l1__
        __l1__ = l1;
        nand2<> __la__
        __la__ = la;
      footprint: {
        L = process e1of2<>^0 = wchb_e1of2<>::L (1) (
          d = bool^1
            {
              [0] = wchb_e1of2<>::L.d[0] (1) 
              [1] = wchb_e1of2<>::L.d[1] (2) 
            }
          e = bool^0 = wchb_e1of2<>::L.e (3) 
        )
        R = process e1of2<>^0 = wchb_e1of2<>::R (2) (
          d = bool^1
            {
              [0] = wchb_e1of2<>::R.d[0] (4) 
              [1] = wchb_e1of2<>::R.d[1] (5) 
            }
          e = bool^0 = wchb_e1of2<>::R.e (6) 
        )
        __l1__ = process celem2inv<>^0 = wchb_e1of2<>::l1 (7) (
          a = bool^0 = wchb_e1of2<>::L.d[1] (2) 
          b = bool^0 = wchb_e1of2<>::R.e (6) 
          _o = bool^0 = wchb_e1of2<>::_r[1] (8) 
        )
        __la__ = process nand2<>^0 = wchb_e1of2<>::la (8) (
          a = bool^0 = wchb_e1of2<>::_r[0] (7) 
          b = bool^0 = wchb_e1of2<>::_r[1] (8) 
          _o = bool^0 = wchb_e1of2<>::rv (9) 
        )
        __r0__ = process inv<>^0 = wchb_e1of2<>::r0 (3) (
          a = bool^0 = wchb_e1of2<>::_r[0] (7) 
          b = bool^0 = wchb_e1of2<>::R.d[0] (4) 
        )
        _r = bool^1
          {
            [0] = wchb_e1of2<>::_r[0] (7) 
            [1] = wchb_e1of2<>::_r[1] (8) 
          }
        l0 = process celem2inv<>^0 = wchb_e1of2<>::l0 (6) (
          a = bool^0 = wchb_e1of2<>::L.d[0] (1) 
          b = bool^0 = wchb_e1of2<>::R.e (6) 
          _o = bool^0 = wchb_e1of2<>::_r[0] (7) 
        )
        l1 = process celem2inv<>^0 = wchb_e1of2<>::l1 (7) (
          a = bool^0 = wchb_e1of2<>::L.d[1] (2) 
          b = bool^0 = wchb_e1of2<>::R.e (6) 
          _o = bool^0 = wchb_e1of2<>::_r[1] (8) 
        )
        la = process nand2<>^0 = wchb_e1of2<>::la (8) (
          a = bool^0 = wchb_e1of2<>::_r[0] (7) 
          b = bool^0 = wchb_e1of2<>::_r[1] (8) 
          _o = bool^0 = wchb_e1of2<>::rv (9) 
        )
        r0 = process inv<>^0 = wchb_e1of2<>::r0 (3) (
          a = bool^0 = wchb_e1of2<>::_r[0] (7) 
          b = bool^0 = wchb_e1of2<>::R.d[0] (4) 
        )
        r1 = process inv<>^0 = wchb_e1of2<>::r1 (4) (
          a = bool^0 = wchb_e1of2<>::_r[1] (8) 
          b = bool^0 = wchb_e1of2<>::R.d[1] (5) 
        )
        re = process inv<>^0 = wchb_e1of2<>::re (5) (
          a = bool^0 = wchb_e1of2<>::rv (9) 
          b = bool^0 = wchb_e1of2<>::L.e (3) 
        )
        rv = bool^0 = wchb_e1of2<>::rv (9) 
        Created state:
        process instance pool:
        1	wchb_e1of2<>::L
        2	wchb_e1of2<>::R
        3	wchb_e1of2<>::r0
        4	wchb_e1of2<>::r1
        5	wchb_e1of2<>::re
        6	wchb_e1of2<>::l0
        7	wchb_e1of2<>::l1
        8	wchb_e1of2<>::la
        bool instance pool:
        1	wchb_e1of2<>::L.d[0]
        2	wchb_e1of2<>::L.d[1]
        3	wchb_e1of2<>::L.e
        4	wchb_e1of2<>::R.d[0]
        5	wchb_e1of2<>::R.d[1]
        6	wchb_e1of2<>::R.e
        7	wchb_e1of2<>::_r[0]
        8	wchb_e1of2<>::_r[1]
        9	wchb_e1of2<>::rv
      }
      }

  Instances:
    B = wchb_e1of2<> B
    L = e1of2<> L
    R = e1of2<> R
    b = wchb_e1of2<> b
}

footprint: {
  B = process wchb_e1of2<>^0 = b (3) (
    L = process e1of2<>^0 = L (1) (
      d = bool^1
        {
          [0] = L.d[0] (1) 
          [1] = L.d[1] (2) 
        }
      e = bool^0 = L.e (3) 
    )
    R = process e1of2<>^0 = R (2) (
      d = bool^1
        {
          [0] = R.d[0] (4) 
          [1] = R.d[1] (5) 
        }
      e = bool^0 = R.e (6) 
    )
  )
  L = process e1of2<>^0 = L (1) (
    d = bool^1
      {
        [0] = L.d[0] (1) 
        [1] = L.d[1] (2) 
      }
    e = bool^0 = L.e (3) 
  )
  R = process e1of2<>^0 = R (2) (
    d = bool^1
      {
        [0] = R.d[0] (4) 
        [1] = R.d[1] (5) 
      }
    e = bool^0 = R.e (6) 
  )
  b = process wchb_e1of2<>^0 = b (3) (
    L = process e1of2<>^0 = L (1) (
      d = bool^1
        {
          [0] = L.d[0] (1) 
          [1] = L.d[1] (2) 
        }
      e = bool^0 = L.e (3) 
    )
    R = process e1of2<>^0 = R (2) (
      d = bool^1
        {
          [0] = R.d[0] (4) 
          [1] = R.d[1] (5) 
        }
      e = bool^0 = R.e (6) 
    )
  )
  Created state:
  process instance pool:
  1	L
  2	R
  3	b
  bool instance pool:
  1	L.d[0]
  2	L.d[1]
  3	L.e
  4	R.d[0]
  5	R.d[1]
  6	R.e
}
