
  TYPE
    mmt$page_frame_index = 0 .. osc$max_page_frames - 1;

*copyc ost$page_table
