
  TYPE
    jmt$vertical_print_density = (jmc$vertical_print_density_file,
          jmc$vertical_print_density_none, jmc$vertical_print_density_6,
          jmc$vertical_print_density_7, jmc$vertical_print_density_8,
          jmc$vertical_print_density_9, jmc$vertical_print_density_10,
          jmc$vertical_print_density_11, jmc$vertical_print_density_12);
