
  TYPE
    jmt$dispatching_interval = 0 .. 600;
