  TYPE
    mmt$reassignable_page_frames = RECORD
      now: 0 .. osc$max_page_frames - 1,
      soon {waiting for io to complete}: 0 .. osc$max_page_frames - 1,
      swapout_io_not_initiated: 0 .. osc$max_page_frames - 1,
      swapout_io_cannot_initiate: 0 .. osc$max_page_frames - 1,
    RECEND;
