{Define the RMA LIST used by memory manager.

  CONST
    mmc$max_rma_list_length = 2048;

  TYPE
    mmt$rma_list = array [mmt$rma_list_index] of mmt$rma_list_entry,

    mmt$rma_list_index = 1 .. mmc$max_rma_list_length,
    mmt$rma_list_length = 1 .. mmc$max_rma_list_length,

    mmt$rma_list_entry = record
      fill: ALIGNED [0 MOD 8] 0 .. 0ffff(16),
      length: 0 .. 0ffff(16),
      rma: 0 .. 0ffffffff(16),
    recend;
