
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##	procplch	0	#HEAD#	#TAIL#	25
	4	##ADDR##	procplch	0	#HEAD#	#TAIL#	25
	5	##ADDR##	procdefn	0	#HEAD#	#TAIL#	144
	6	##ADDR##	pboolplh	0	#HEAD#	#TAIL#	29
	7	##ADDR##	pboolins	0	#HEAD#	#TAIL#	16
	8	##ADDR##	procplch	0	#HEAD#	#TAIL#	25
	9	##ADDR##	procplch	0	#HEAD#	#TAIL#	25
	10	##ADDR##	procplch	0	#HEAD#	#TAIL#	25
	11	##ADDR##	procplch	0	#HEAD#	#TAIL#	25
	12	##ADDR##	portscop	0	#HEAD#	#TAIL#	28
	13	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	14	##ADDR##	proctprf	0	#HEAD#	#TAIL#	20
	15	##ADDR##	procdefn	0	#HEAD#	#TAIL#	128
	16	##ADDR##	pboolplh	0	#HEAD#	#TAIL#	29
	17	##ADDR##	pboolins	0	#HEAD#	#TAIL#	16
	18	##ADDR##	procplch	0	#HEAD#	#TAIL#	27
	19	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	25
	20	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	25
	21	##ADDR##	portscop	0	#HEAD#	#TAIL#	20
	22	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	23	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	24	##ADDR##	datadefn	0	#HEAD#	#TAIL#	69
	25	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	26	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	27	##ADDR##	proctprf	0	#HEAD#	#TAIL#	20
	28	##ADDR##	procdefn	0	#HEAD#	#TAIL#	119
	29	##ADDR##	pboolplh	0	#HEAD#	#TAIL#	29
	30	##ADDR##	pboolins	0	#HEAD#	#TAIL#	16
	31	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	25
	32	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	25
	33	##ADDR##	portscop	0	#HEAD#	#TAIL#	20
	34	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	35	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	36	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	37	##ADDR##	condscop	0	#HEAD#	#TAIL#	28
	38	##ADDR##	spbmvref	0	#HEAD#	#TAIL#	16
	39	##ADDR##	dbalias_	0	#HEAD#	#TAIL#	20
	40	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	41	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	42	##ADDR##	footprnt	0	#HEAD#	#TAIL#	307
	43	##ADDR##	cnstpb__	0	#HEAD#	#TAIL#	9
	44	##ADDR##	footprnt	0	#HEAD#	#TAIL#	307
	45	##ADDR##	cnstpb__	0	#HEAD#	#TAIL#	9
	46	##ADDR##	dprmlst_	0	#HEAD#	#TAIL#	16
	47	##ADDR##	spbmvref	0	#HEAD#	#TAIL#	16
	48	##ADDR##	prcprtcn	0	#HEAD#	#TAIL#	24
	49	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	50	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	51	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	52	##ADDR##	footprnt	0	#HEAD#	#TAIL#	391
	53	##ADDR##	cnstpb__	0	#HEAD#	#TAIL#	9
	54	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	16
	55	##ADDR##	footprnt	0	#HEAD#	#TAIL#	391
	56	##ADDR##	cnstpb__	0	#HEAD#	#TAIL#	9
	57	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	16
	58	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	59	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	60	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	61	##ADDR##	proctpcp	0	#HEAD#	#TAIL#	16
	62	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	63	##ADDR##	dprmlst_	0	#HEAD#	#TAIL#	16
	64	##ADDR##	spbmvref	0	#HEAD#	#TAIL#	16
	65	##ADDR##	proctpcp	0	#HEAD#	#TAIL#	16
	66	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	67	##ADDR##	dprmlst_	0	#HEAD#	#TAIL#	16
	68	##ADDR##	pbolunry	0	#HEAD#	#TAIL#	13
	69	##ADDR##	spbmvref	0	#HEAD#	#TAIL#	16
	70	##ADDR##	condscop	0	#HEAD#	#TAIL#	48
	71	##ADDR##	spbmvref	0	#HEAD#	#TAIL#	16
	72	##ADDR##	prcalias	0	#HEAD#	#TAIL#	20
	73	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	74	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	75	##ADDR##	prcalias	0	#HEAD#	#TAIL#	20
	76	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	77	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	78	##ADDR##	proctpcp	0	#HEAD#	#TAIL#	16
	79	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	80	##ADDR##	dprmlst_	0	#HEAD#	#TAIL#	16
	81	##ADDR##	pbolunry	0	#HEAD#	#TAIL#	13
	82	##ADDR##	spbmvref	0	#HEAD#	#TAIL#	16
	83	##ADDR##	proctpcp	0	#HEAD#	#TAIL#	16
	84	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	85	##ADDR##	dprmlst_	0	#HEAD#	#TAIL#	16
	86	##ADDR##	spbmvref	0	#HEAD#	#TAIL#	16
	87	##ADDR##	footprnt	0	#HEAD#	#TAIL#	611
	88	##ADDR##	cnstpb__	0	#HEAD#	#TAIL#	9
	89	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12
	90	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	16
	91	##ADDR##	cnstpb__	0	#HEAD#	#TAIL#	9
	92	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12
	93	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	16
	94	##ADDR##	cnstpb__	0	#HEAD#	#TAIL#	9
	95	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12
	96	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	16
	97	##ADDR##	cnstpb__	0	#HEAD#	#TAIL#	9
	98	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12
	99	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	16
	100	##ADDR##	cnstpb__	0	#HEAD#	#TAIL#	9
	101	##ADDR##	footprnt	0	#HEAD#	#TAIL#	611
	102	##ADDR##	cnstpb__	0	#HEAD#	#TAIL#	9
	103	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12
	104	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	16
	105	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12
	106	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12
	107	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	16
	108	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12
	109	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	110	##ADDR##	proctprf	0	#HEAD#	#TAIL#	20
	111	##ADDR##	proctpcp	0	#HEAD#	#TAIL#	16
	112	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	113	##ADDR##	dprmlst_	0	#HEAD#	#TAIL#	16
	114	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	115	##ADDR##	proctprf	0	#HEAD#	#TAIL#	20
	116	##ADDR##	proctpcp	0	#HEAD#	#TAIL#	16
	117	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	118	##ADDR##	dprmlst_	0	#HEAD#	#TAIL#	16
	119	##ADDR##	footprnt	0	#HEAD#	#TAIL#	1022
	120	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12
	121	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	16
	122	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12
	123	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	16

In module created from: ##FILE## (unrolled) (created)
In namespace "", we have: {
  0 parameter-collections
  2 instantiation-collections
  0 sub-namespaces
  3 definitions
  0 typedefs
  Definitions:
    bar = process-definition (defined) bar<>
<
      pbool<> D
      >(
        foo<> t
        foo<> s
        foo<> r
        foo<> q
      )
      In definition "bar", we have: {
      Parameters:
        D = pbool<> bar::D
      Instances:
        q = foo<> bar::q
        r = foo<> bar::r
        s = foo<> bar::s
        t = foo<> bar::t
      unroll sequence: 
        ports: (
          foo<> t
          foo<> s
          foo<> r
          foo<> q
        )
        t<D>
        r<~D>
        [ D ->
          s = t;
          r = q;
        [] else ->
          s<~D>
          q<D>
        ]
      footprint collection: {
        <false> {
          D = pbool^0 value: 0
          q = process foo<>^0<false> = bar<false>::q (4) (
            x = bool^0 = bar<false>::q.x (5) 
            y = bool^0 = bar<false>::q.y (6) 
          )
          r = process foo<>^0<true> = bar<false>::r (3) (
            x = bool^0 = bar<false>::r.x (4) 
            y = bool^0 = bar<false>::r.x (4) 
          )
          s = process foo<>^0<true> = bar<false>::s (2) (
            x = bool^0 = bar<false>::s.x (3) 
            y = bool^0 = bar<false>::s.x (3) 
          )
          t = process foo<>^0<false> = bar<false>::t (1) (
            x = bool^0 = bar<false>::t.x (1) 
            y = bool^0 = bar<false>::t.y (2) 
          )
          Created state:
          process instance pool:
          1	bar<false>::t<false>
          2	bar<false>::s<true>
          3	bar<false>::r<true>
          4	bar<false>::q<false>
          bool instance pool:
          1	bar<false>::t.x
          2	bar<false>::t.y
          3	bar<false>::s.x
          4	bar<false>::r.x
          5	bar<false>::q.x
          6	bar<false>::q.y
          bool port aliases:
          3: bar<false>::s.x = bar<false>::s.y
          4: bar<false>::r.x = bar<false>::r.y
        }
        <true> {
          D = pbool^0 value: 1
          q = process foo<>^0<false> = bar<true>::r (2) (
            x = bool^0 = bar<true>::r.x (2) 
            y = bool^0 = bar<true>::r.y (3) 
          )
          r = process foo<>^0<false> = bar<true>::r (2) (
            x = bool^0 = bar<true>::r.x (2) 
            y = bool^0 = bar<true>::r.y (3) 
          )
          s = process foo<>^0<true> = bar<true>::t (1) (
            x = bool^0 = bar<true>::t.x (1) 
            y = bool^0 = bar<true>::t.x (1) 
          )
          t = process foo<>^0<true> = bar<true>::t (1) (
            x = bool^0 = bar<true>::t.x (1) 
            y = bool^0 = bar<true>::t.x (1) 
          )
          Created state:
          process instance pool:
          1	bar<true>::t<true>
          2	bar<true>::r<false>
          bool instance pool:
          1	bar<true>::t.x
          2	bar<true>::r.x
          3	bar<true>::r.y
          process port aliases:
          1: bar<true>::t = bar<true>::s
          2: bar<true>::r = bar<true>::q
          bool port aliases:
          1: bar<true>::t.x = bar<true>::t.y = bar<true>::s.x = bar<true>::s.y
          2: bar<true>::r.x = bar<true>::q.x
          3: bar<true>::r.y = bar<true>::q.y
        }
      }
      }

    fa = process-definition (defined) fa<
      pbool<> C
      >(
        bool<> x
        bool<> y
      )
      In definition "fa", we have: {
      Parameters:
        C = pbool<> fa::C
      Instances:
        x = bool<> fa::x
        y = bool<> fa::y
      unroll sequence: 
        ports: (
          bool<> x
          bool<> y
        )
        [ C ->
          x = y;
        ]
      footprint collection: {
        <false> {
          C = pbool^0 value: 0
          x = bool^0 = fa<false>::x (1) 
          y = bool^0 = fa<false>::y (2) 
          Created state:
          bool instance pool:
          1	fa<false>::x
          2	fa<false>::y
        }
        <true> {
          C = pbool^0 value: 1
          x = bool^0 = fa<true>::x (1) 
          y = bool^0 = fa<true>::x (1) 
          Created state:
          bool instance pool:
          1	fa<true>::x
          bool port aliases:
          1: fa<true>::x = fa<true>::y
        }
      }
      }

    foo = process-definition (defined) foo<>
<
      pbool<> C
      >(
        bool<> x
        bool<> y
      )
      In definition "foo", we have: {
      Parameters:
        C = pbool<> foo::C
      Instances:
        fa0 = fa<foo::C> foo::fa0
        x = bool<> foo::x
        y = bool<> foo::y
      unroll sequence: 
        ports: (
          bool<> x
          bool<> y
        )
        fa<foo::C> fa0
        fa0 (x, y);
      footprint collection: {
        <false> {
          C = pbool^0 value: 0
          fa0 = process fa<false>^0 = foo<false>::fa0 (1) (
            x = bool^0 = foo<false>::x (1) 
            y = bool^0 = foo<false>::y (2) 
          )
          x = bool^0 = foo<false>::x (1) 
          y = bool^0 = foo<false>::y (2) 
          Created state:
          process instance pool:
          1	foo<false>::fa0
          bool instance pool:
          1	foo<false>::x
          2	foo<false>::y
        }
        <true> {
          C = pbool^0 value: 1
          fa0 = process fa<true>^0 = foo<true>::fa0 (1) (
            x = bool^0 = foo<true>::x (1) 
            y = bool^0 = foo<true>::x (1) 
          )
          x = bool^0 = foo<true>::x (1) 
          y = bool^0 = foo<true>::x (1) 
          Created state:
          process instance pool:
          1	foo<true>::fa0
          bool instance pool:
          1	foo<true>::x
          bool port aliases:
          1: foo<true>::x = foo<true>::y
        }
      }
      }

  Instances:
    X = bar<> X
    Y = bar<> Y
}

footprint: {
  X = process bar<>^0<true> = X (1) (
    t = process foo<>^0<true> = X.t (2) (
      x = bool^0 = X.t.x (1) 
      y = bool^0 = X.t.x (1) 
    )
    s = process foo<>^0<true> = X.t (2) (
      x = bool^0 = X.t.x (1) 
      y = bool^0 = X.t.x (1) 
    )
    r = process foo<>^0<false> = X.r (3) (
      x = bool^0 = X.r.x (2) 
      y = bool^0 = X.r.y (3) 
    )
    q = process foo<>^0<false> = X.r (3) (
      x = bool^0 = X.r.x (2) 
      y = bool^0 = X.r.y (3) 
    )
  )
  Y = process bar<>^0<false> = Y (4) (
    t = process foo<>^0<false> = Y.t (5) (
      x = bool^0 = Y.t.x (4) 
      y = bool^0 = Y.t.y (5) 
    )
    s = process foo<>^0<true> = Y.s (6) (
      x = bool^0 = Y.s.x (6) 
      y = bool^0 = Y.s.x (6) 
    )
    r = process foo<>^0<true> = Y.r (7) (
      x = bool^0 = Y.r.x (7) 
      y = bool^0 = Y.r.x (7) 
    )
    q = process foo<>^0<false> = Y.q (8) (
      x = bool^0 = Y.q.x (8) 
      y = bool^0 = Y.q.y (9) 
    )
  )
  Created state:
  process instance pool:
  1	X<true>
  2	X.t<true>
  3	X.r<false>
  4	Y<false>
  5	Y.t<false>
  6	Y.s<true>
  7	Y.r<true>
  8	Y.q<false>
  bool instance pool:
  1	X.t.x
  2	X.r.x
  3	X.r.y
  4	Y.t.x
  5	Y.t.y
  6	Y.s.x
  7	Y.r.x
  8	Y.q.x
  9	Y.q.y
}
