
  TYPE
    jmt$dual_state_priority_control = array
          [jmc$priority_p1 .. jmc$priority_p10] of
          jmt$dual_state_priority_entry,

    jmt$dual_state_priority_entry = record
      priority: jmt$dual_state_priority,
      subpriority: jmt$dual_state_subpriority,
    recend,

    jmt$dual_state_priority = 0 .. 7,
    jmt$dual_state_subpriority = 1 .. 15;

*copyc jmt$dispatching_priority
