
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#	118
	5	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	6	##ADDR##	pintinst	0	#HEAD#	#TAIL#	16
	7	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	8	##ADDR##	pintinst	0	#HEAD#	#TAIL#	16
	9	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	25
	10	##ADDR##	portscop	0	#HEAD#	#TAIL#	16
	11	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	12	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	13	##ADDR##	datadefn	0	#HEAD#	#TAIL#	69
	14	##ADDR##	crnglst_	0	#HEAD#	#TAIL#	20
	15	##ADDR##	SPCdloop	0	#HEAD#	#TAIL#	24
	16	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	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##	SPCdloop	0	#HEAD#	#TAIL#	24
	23	##ADDR##	pintplch	0	#HEAD#	#TAIL#	29
	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##	SPCdcond	0	#HEAD#	#TAIL#	28
	30	##ADDR##	pireltex	0	#HEAD#	#TAIL#	21
	31	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	32	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	33	##ADDR##	SPCdrctv	0	#HEAD#	#TAIL#	45
	34	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	35	##ADDR##	dindlst_	0	#HEAD#	#TAIL#	16
	36	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	37	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	38	##ADDR##	dindlst_	0	#HEAD#	#TAIL#	16
	39	##ADDR##	spimvref	0	#HEAD#	#TAIL#	16
	40	##ADDR##	footprnt	0	#HEAD#	#TAIL#	1000
	41	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	42	##ADDR##	cnstpi__	0	#HEAD#	#TAIL#	12
	43	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	44	##ADDR##	proctprf	0	#HEAD#	#TAIL#	20
	45	##ADDR##	dprmlst_	0	#HEAD#	#TAIL#	20
	46	##ADDR##	footprnt	0	#HEAD#	#TAIL#	631
	47	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	20

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:
    spec_test = process-definition (defined) spec_test<
      pint<> N
      pint<> M
      >(
        bool<> x[0..19]
      )
      In definition "spec_test", we have: {
      Parameters:
        M = pint<> spec_test::M
        N = pint<> spec_test::N
      Instances:
        x = bool<> spec_test::x^1
      unroll sequence: 
        ports: (
          bool<> x[0..19]
        )
      spec:
        (:i:[0..N-1]:
          (:j:[0..M-1]:
            [ $i<$j ->
              mk_exclhi(x[$i],x[$j])
            ]
          )
        )
      footprint collection: {
        <5, 5> {
          M = pint^0 value: 5
          N = pint^0 value: 5
          x = bool^1
            {
              [0] = spec_test<5, 5>::x[0] (1) 
              [1] = spec_test<5, 5>::x[1] (2) 
              [2] = spec_test<5, 5>::x[2] (3) 
              [3] = spec_test<5, 5>::x[3] (4) 
              [4] = spec_test<5, 5>::x[4] (5) 
              [5] = spec_test<5, 5>::x[5] (6) 
              [6] = spec_test<5, 5>::x[6] (7) 
              [7] = spec_test<5, 5>::x[7] (8) 
              [8] = spec_test<5, 5>::x[8] (9) 
              [9] = spec_test<5, 5>::x[9] (10) 
              [10] = spec_test<5, 5>::x[10] (11) 
              [11] = spec_test<5, 5>::x[11] (12) 
              [12] = spec_test<5, 5>::x[12] (13) 
              [13] = spec_test<5, 5>::x[13] (14) 
              [14] = spec_test<5, 5>::x[14] (15) 
              [15] = spec_test<5, 5>::x[15] (16) 
              [16] = spec_test<5, 5>::x[16] (17) 
              [17] = spec_test<5, 5>::x[17] (18) 
              [18] = spec_test<5, 5>::x[18] (19) 
              [19] = spec_test<5, 5>::x[19] (20) 
            }
          Created state:
          bool instance pool:
          1	spec_test<5, 5>::x[0]
          2	spec_test<5, 5>::x[1]
          3	spec_test<5, 5>::x[2]
          4	spec_test<5, 5>::x[3]
          5	spec_test<5, 5>::x[4]
          6	spec_test<5, 5>::x[5]
          7	spec_test<5, 5>::x[6]
          8	spec_test<5, 5>::x[7]
          9	spec_test<5, 5>::x[8]
          10	spec_test<5, 5>::x[9]
          11	spec_test<5, 5>::x[10]
          12	spec_test<5, 5>::x[11]
          13	spec_test<5, 5>::x[12]
          14	spec_test<5, 5>::x[13]
          15	spec_test<5, 5>::x[14]
          16	spec_test<5, 5>::x[15]
          17	spec_test<5, 5>::x[16]
          18	spec_test<5, 5>::x[17]
          19	spec_test<5, 5>::x[18]
          20	spec_test<5, 5>::x[19]
          resolved specs:
          mk_exclhi(x[0],x[1])
          mk_exclhi(x[0],x[2])
          mk_exclhi(x[0],x[3])
          mk_exclhi(x[0],x[4])
          mk_exclhi(x[1],x[2])
          mk_exclhi(x[1],x[3])
          mk_exclhi(x[1],x[4])
          mk_exclhi(x[2],x[3])
          mk_exclhi(x[2],x[4])
          mk_exclhi(x[3],x[4])
        }
      }
      }

  Instances:
    X = spec_test<5, 5> X
}

footprint: {
  X = process spec_test<5, 5>^0 = X (1) (
    x = bool^1
      {
        [0] = X.x[0] (1) 
        [1] = X.x[1] (2) 
        [2] = X.x[2] (3) 
        [3] = X.x[3] (4) 
        [4] = X.x[4] (5) 
        [5] = X.x[5] (6) 
        [6] = X.x[6] (7) 
        [7] = X.x[7] (8) 
        [8] = X.x[8] (9) 
        [9] = X.x[9] (10) 
        [10] = X.x[10] (11) 
        [11] = X.x[11] (12) 
        [12] = X.x[12] (13) 
        [13] = X.x[13] (14) 
        [14] = X.x[14] (15) 
        [15] = X.x[15] (16) 
        [16] = X.x[16] (17) 
        [17] = X.x[17] (18) 
        [18] = X.x[18] (19) 
        [19] = X.x[19] (20) 
      }
  )
  Created state:
  process instance pool:
  1	X
  bool instance pool:
  1	X.x[0]
  2	X.x[1]
  3	X.x[2]
  4	X.x[3]
  5	X.x[4]
  6	X.x[5]
  7	X.x[6]
  8	X.x[7]
  9	X.x[8]
  10	X.x[9]
  11	X.x[10]
  12	X.x[11]
  13	X.x[12]
  14	X.x[13]
  15	X.x[14]
  16	X.x[15]
  17	X.x[16]
  18	X.x[17]
  19	X.x[18]
  20	X.x[19]
}
