
  TYPE
    jmt$long_wait_swap_threshold = ARRAY [jmc$lowest_dispatching_priority ..
          jmc$highest_dispatch_priority] of mmt$page_frame_index;

*copyc jmt$dispatching_priority
*copyc mmt$page_frame_index
