
  TYPE
    pmt$memory_image_header = record
      version: pmt$memory_image_version,
      length: ost$segment_length,
      offset: ost$segment_length,
      processor_registers: pmt$processor_registers,
      initialization_values: pmt$initialization_values,
    recend;

  TYPE
    pmt$memory_image_version = string (8);

  TYPE
    pmt$processor_registers = record
      jps: ost$word,
      mps: ost$word,
      pta: ost$word,
      ptl: ost$word,
      psm: ost$word,
      eid: ost$word,
      sit: ost$word,
      pid: ost$word,
      ptm: ost$word,
      pfs: ost$word,
      dec: ost$word,
      vmcl: ost$word,
      ss: ost$word,
      oi: ost$word,
    recend;

  TYPE
    pmt$initialization_values = record
      pp_address_array_segment: ost$halfword,
      pp_address_array_offset: ost$halfword,
      pages_loaded_segment: ost$halfword,
      pages_loaded_offset: ost$halfword,
      page_size_segment: ost$halfword,
      page_size_offset: ost$halfword,
    recend;

  CONST
    pmc$real_memory_image_version = 'RMI_V1.0';


?? PUSH (LISTEXT := ON) ??
*copyc OST$HARDWARE_SUBRANGES
?? POP ??
