
TYPE
  jmt$job_history_sorted_order = (jmc$sort_by_time, jmc$sort_by_job,
        jmc$sort_by_family);
