
  CONST
    jmc$min_dispatching_control = 1,
    jmc$max_dispatching_control = 5;

  TYPE
    jmt$dispatching_control_index = jmc$min_dispatching_control ..
          jmc$max_dispatching_control;

