Warning: node bogus<3>::en has no pull-up nor pull-dn PRS fanin.
---- 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#	134
	5	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	6	##ADDR##	pintinst	0	#HEAD#	#TAIL#	16
	7	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	26
	8	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	25
	9	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	25
	10	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	25
	11	##ADDR##	nodeplch	0	#HEAD#	#TAIL#	21
	12	##ADDR##	portscop	0	#HEAD#	#TAIL#	24
	13	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	14	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	15	##ADDR##	datadefn	0	#HEAD#	#TAIL#	69
	16	##ADDR##	drnglst_	0	#HEAD#	#TAIL#	16
	17	##ADDR##	dynrng__	0	#HEAD#	#TAIL#	16
	18	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	19	##ADDR##	piarthex	0	#HEAD#	#TAIL#	17
	20	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	21	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	22	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	23	##ADDR##	drnglst_	0	#HEAD#	#TAIL#	16
	24	##ADDR##	dynrng__	0	#HEAD#	#TAIL#	16
	25	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	26	##ADDR##	piarthex	0	#HEAD#	#TAIL#	17
	27	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	28	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	29	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	30	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	31	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	32	##ADDR##	PRSrloop	0	#HEAD#	#TAIL#	28
	33	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	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##	PRSpuldn	0	#HEAD#	#TAIL#	26
	40	##ADDR##	PRSlitrl	0	#HEAD#	#TAIL#	16
	41	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	42	##ADDR##	spndiref	0	#HEAD#	#TAIL#	16
	43	##ADDR##	dindlst_	0	#HEAD#	#TAIL#	16
	44	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	45	##ADDR##	PRSpuldn	0	#HEAD#	#TAIL#	21
	46	##ADDR##	PRSand__	0	#HEAD#	#TAIL#	28
	47	##ADDR##	PRSlitrl	0	#HEAD#	#TAIL#	21
	48	##ADDR##	spndiref	0	#HEAD#	#TAIL#	16
	49	##ADDR##	dindlst_	0	#HEAD#	#TAIL#	16
	50	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	51	##ADDR##	PRSlitrl	0	#HEAD#	#TAIL#	16
	52	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	53	##ADDR##	dindlst_	0	#HEAD#	#TAIL#	16
	54	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	55	##ADDR##	PRSlitrl	0	#HEAD#	#TAIL#	16
	56	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	57	##ADDR##	dindlst_	0	#HEAD#	#TAIL#	16
	58	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	59	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	60	##ADDR##	PRSpulup	0	#HEAD#	#TAIL#	21
	61	##ADDR##	PRSnot__	0	#HEAD#	#TAIL#	12
	62	##ADDR##	PRSlitrl	0	#HEAD#	#TAIL#	16
	63	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	64	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	65	##ADDR##	footprnt	0	#HEAD#	#TAIL#	754
	66	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	67	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	68	##ADDR##	proctprf	0	#HEAD#	#TAIL#	20
	69	##ADDR##	dprmlst_	0	#HEAD#	#TAIL#	16
	70	##ADDR##	footprnt	0	#HEAD#	#TAIL#	449
	71	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	16

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:
    bogus = process-definition (defined) bogus<
      pint<> N
      >(
        bool<> x[0..N-1]
        bool<> y[0..N-1]
        bool<> w
      )
      In definition "bogus", we have: {
      Parameters:
        N = pint<> bogus::N
      Instances:
        en = bool<> bogus::en
        w = bool<> bogus::w
        x = bool<> bogus::x^1
        y = bool<> bogus::y^1
        z = -node-<> bogus::z^1
      unroll sequence: 
        ports: (
          bool<> x[0..N-1]
          bool<> y[0..N-1]
          bool<> w
        )
        bool<> en
      prs:
        (:i:[0..N-1]:
          en -> @z[$i]-
          ~@z[$i] & x[$i] & y[$i] -> w-
        )
        ~en -> w+
      footprint collection: {
        <3> {
          N = pint^0 value: 3
          en = bool^0 = bogus<3>::en (2) 
          w = bool^0 = bogus<3>::w (1) 
          x = bool^1
            {
              [0] = bogus<3>::x[0] (3) 
              [1] = bogus<3>::x[1] (4) 
              [2] = bogus<3>::x[2] (5) 
            }
          y = bool^1
            {
              [0] = bogus<3>::y[0] (6) 
              [1] = bogus<3>::y[1] (7) 
              [2] = bogus<3>::y[2] (8) 
            }
          Created state:
          bool instance pool:
          1	bogus<3>::w
          2	bogus<3>::en
          3	bogus<3>::x[0]
          4	bogus<3>::x[1]
          5	bogus<3>::x[2]
          6	bogus<3>::y[0]
          7	bogus<3>::y[1]
          8	bogus<3>::y[2]
          resolved prs:
          en & x[0] & y[0] -> w-
          en & x[1] & y[1] -> w-
          en & x[2] & y[2] -> w-
          ~en -> w+
          internal node exprs: 
          @z[0]- <- en
          @z[1]- <- en
          @z[2]- <- en
        }
      }
      }

  Instances:
    A = bogus<3> A
}

footprint: {
  A = process bogus<3>^0 = A (1) (
    x = bool^1
      {
        [0] = A.x[0] (1) 
        [1] = A.x[1] (2) 
        [2] = A.x[2] (3) 
      }
    y = bool^1
      {
        [0] = A.y[0] (4) 
        [1] = A.y[1] (5) 
        [2] = A.y[2] (6) 
      }
    w = bool^0 = A.w (7) 
  )
  Created state:
  process instance pool:
  1	A
  bool instance pool:
  1	A.x[0]
  2	A.x[1]
  3	A.x[2]
  4	A.y[0]
  5	A.y[1]
  6	A.y[2]
  7	A.w
}
