
  TYPE
    jmt$output_device_type = (jmc$output_device_printer,
          jmc$output_device_plotter, jmc$output_device_punch);
