
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#	32
	3	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	26
	4	##ADDR##	procplch	0	#HEAD#	#TAIL#	27
	5	##ADDR##	procdefn	0	#HEAD#	#TAIL#	89
	6	##ADDR##	dboolplh	0	#HEAD#	#TAIL#	26
	7	##ADDR##	portscop	0	#HEAD#	#TAIL#	16
	8	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	9	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	10	##ADDR##	datadefn	0	#HEAD#	#TAIL#	69
	11	##ADDR##	crnglst_	0	#HEAD#	#TAIL#	36
	12	##ADDR##	footprnt	0	#HEAD#	#TAIL#	382
	13	##ADDR##	datainst	0	#HEAD#	#TAIL#	20
	14	##ADDR##	datatprf	0	#HEAD#	#TAIL#	20
	15	##ADDR##	crnglst_	0	#HEAD#	#TAIL#	36
	16	##ADDR##	procinst	0	#HEAD#	#TAIL#	20
	17	##ADDR##	proctprf	0	#HEAD#	#TAIL#	20
	18	##ADDR##	prcprtcn	0	#HEAD#	#TAIL#	20
	19	##ADDR##	sprcmref	0	#HEAD#	#TAIL#	16
	20	##ADDR##	sdbmiref	0	#HEAD#	#TAIL#	16
	21	##ADDR##	footprnt	0	#HEAD#	#TAIL#	583
	22	##ADDR##	cprmlst_	0	#HEAD#	#TAIL#	12

In module created from: ##FILE## (unrolled) (created)
In namespace "", we have: {
  0 parameter-collections
  2 instantiation-collections
  0 sub-namespaces
  1 definitions
  0 typedefs
  Definitions:
    top_type = process-definition (defined) top_type(
        bool<> co[0..1][0..2][0..0]
      )
      In definition "top_type", we have: {
      Instances:
        co = bool<> top_type::co^3
      unroll sequence: 
        ports: (
          bool<> co[0..1][0..2][0..0]
        )
      footprint: {
        co = bool^3
          {
            [0][0][0] = top_type<>::co[0][0][0] (1) 
            [0][1][0] = top_type<>::co[0][1][0] (2) 
            [0][2][0] = top_type<>::co[0][2][0] (3) 
            [1][0][0] = top_type<>::co[1][0][0] (4) 
            [1][1][0] = top_type<>::co[1][1][0] (5) 
            [1][2][0] = top_type<>::co[1][2][0] (6) 
          }
        Created state:
        bool instance pool:
        1	top_type<>::co[0][0][0]
        2	top_type<>::co[0][1][0]
        3	top_type<>::co[0][2][0]
        4	top_type<>::co[1][0][0]
        5	top_type<>::co[1][1][0]
        6	top_type<>::co[1][2][0]
      }
      }

  Instances:
    co = bool<> co^3
    top = top_type<> top
}

footprint: {
  co = bool^3
    {
      [0][0][0] = co[0][0][0] (1) 
      [0][1][0] = co[0][1][0] (2) 
      [0][2][0] = co[0][2][0] (3) 
      [1][0][0] = co[1][0][0] (4) 
      [1][1][0] = co[1][1][0] (5) 
      [1][2][0] = co[1][2][0] (6) 
    }
  top = process top_type<>^0 = top (1) (
    co = bool^3
      {
        [0][0][0] = co[0][0][0] (1) 
        [0][1][0] = co[0][1][0] (2) 
        [0][2][0] = co[0][2][0] (3) 
        [1][0][0] = co[1][0][0] (4) 
        [1][1][0] = co[1][1][0] (5) 
        [1][2][0] = co[1][2][0] (6) 
      }
  )
  Created state:
  process instance pool:
  1	top
  bool instance pool:
  1	co[0][0][0]
  2	co[0][1][0]
  3	co[0][2][0]
  4	co[1][0][0]
  5	co[1][1][0]
  6	co[1][2][0]
}
