Warning: node foo1<>::a has no PRS pull-up fanin.
Warning: node foo2<>::a has no PRS pull-dn 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#	44
	3	##ADDR##	procplch	0	#HEAD#	#TAIL#	28
	4	##ADDR##	procplch	0	#HEAD#	#TAIL#	28
	5	##ADDR##	procplch	0	#HEAD#	#TAIL#	28
	6	##ADDR##	procdefn	0	#HEAD#	#TAIL#	121
	7	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	25
	8	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	25
	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##	datainst	0	#HEAD#	#TAIL#	20
	18	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	19	##ADDR##	PRSmacro	0	#HEAD#	#TAIL#	49
	20	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	21	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	22	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	23	##ADDR##	PRSpuldn	0	#HEAD#	#TAIL#	21
	24	##ADDR##	PRSlitrl	0	#HEAD#	#TAIL#	16
	25	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	26	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	27	##ADDR##	PRSpulup	0	#HEAD#	#TAIL#	21
	28	##ADDR##	PRSnot__	0	#HEAD#	#TAIL#	12
	29	##ADDR##	PRSlitrl	0	#HEAD#	#TAIL#	16
	30	##ADDR##	footprnt	0	#HEAD#	#TAIL#	432
	31	##ADDR##	procdefn	0	#HEAD#	#TAIL#	121
	32	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	26
	33	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	25
	34	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	25
	35	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	25
	36	##ADDR##	portscop	0	#HEAD#	#TAIL#	24
	37	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	38	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	39	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	40	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	41	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	42	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	43	##ADDR##	PRSmacro	0	#HEAD#	#TAIL#	49
	44	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	45	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	46	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	47	##ADDR##	PRSpuldn	0	#HEAD#	#TAIL#	21
	48	##ADDR##	PRSlitrl	0	#HEAD#	#TAIL#	16
	49	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	50	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	51	##ADDR##	PRSpulup	0	#HEAD#	#TAIL#	21
	52	##ADDR##	PRSnot__	0	#HEAD#	#TAIL#	12
	53	##ADDR##	PRSlitrl	0	#HEAD#	#TAIL#	16
	54	##ADDR##	footprnt	0	#HEAD#	#TAIL#	432
	55	##ADDR##	procdefn	0	#HEAD#	#TAIL#	133
	56	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	26
	57	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	25
	58	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	25
	59	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	25
	60	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	25
	61	##ADDR##	portscop	0	#HEAD#	#TAIL#	28
	62	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	63	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	64	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	65	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	66	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	67	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	68	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	69	##ADDR##	PRSmacro	0	#HEAD#	#TAIL#	49
	70	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	71	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	72	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	73	##ADDR##	PRSmacro	0	#HEAD#	#TAIL#	49
	74	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	75	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	76	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	77	##ADDR##	PRSpuldn	0	#HEAD#	#TAIL#	21
	78	##ADDR##	PRSlitrl	0	#HEAD#	#TAIL#	16
	79	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	80	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	81	##ADDR##	PRSpulup	0	#HEAD#	#TAIL#	21
	82	##ADDR##	PRSnot__	0	#HEAD#	#TAIL#	12
	83	##ADDR##	PRSlitrl	0	#HEAD#	#TAIL#	16
	84	##ADDR##	footprnt	0	#HEAD#	#TAIL#	489
	85	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	86	##ADDR##	proctprf	0	#HEAD#	#TAIL#	20
	87	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	88	##ADDR##	proctprf	0	#HEAD#	#TAIL#	20
	89	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	90	##ADDR##	proctprf	0	#HEAD#	#TAIL#	20
	91	##ADDR##	footprnt	0	#HEAD#	#TAIL#	626
	92	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12
	93	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12
	94	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12

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

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

    foo3 = process-definition (defined) foo3(
        bool<> g
        bool<> _g
        bool<> s
        bool<> b
      )
      In definition "foo3", we have: {
      Instances:
        _g = bool<> foo3::_g
        a = bool<> foo3::a
        b = bool<> foo3::b
        g = bool<> foo3::g
        s = bool<> foo3::s
      unroll sequence: 
        ports: (
          bool<> g
          bool<> _g
          bool<> s
          bool<> b
        )
        bool<> a
      prs:
        passn(g,s,a)
        passp(_g,s,a)
        a -> b-
        ~a -> b+
      footprint: {
        _g = bool^0 = foo3<>::_g (2) 
        a = bool^0 = foo3<>::a (5) 
        b = bool^0 = foo3<>::b (4) 
        g = bool^0 = foo3<>::g (1) 
        s = bool^0 = foo3<>::s (3) 
        Created state:
        bool instance pool:
        1	foo3<>::g
        2	foo3<>::_g
        3	foo3<>::s
        4	foo3<>::b
        5	foo3<>::a
        resolved prs:
        a -> b-
        ~a -> b+
        resolved macros:
        passn(g,s,a)
        passp(_g,s,a)
      }
      }

  Instances:
    bar1 = foo1<> bar1
    bar2 = foo2<> bar2
    bar3 = foo3<> bar3
}

footprint: {
  bar1 = process foo1<>^0 = bar1 (1) (
    g = bool^0 = bar1.g (1) 
    s = bool^0 = bar1.s (2) 
    b = bool^0 = bar1.b (3) 
  )
  bar2 = process foo2<>^0 = bar2 (2) (
    _g = bool^0 = bar2._g (4) 
    s = bool^0 = bar2.s (5) 
    b = bool^0 = bar2.b (6) 
  )
  bar3 = process foo3<>^0 = bar3 (3) (
    g = bool^0 = bar3.g (7) 
    _g = bool^0 = bar3._g (8) 
    s = bool^0 = bar3.s (9) 
    b = bool^0 = bar3.b (10) 
  )
  Created state:
  process instance pool:
  1	bar1
  2	bar2
  3	bar3
  bool instance pool:
  1	bar1.g
  2	bar1.s
  3	bar1.b
  4	bar2._g
  5	bar2.s
  6	bar2.b
  7	bar3.g
  8	bar3._g
  9	bar3.s
  10	bar3.b
}
