
  TYPE
    ift$terminal_class = (ifc$tty_class, ifc$c75x_class,
      ifc$c721_class, ifc$i2741_class, ifc$tty40_class,
      ifc$h2000_class, ifc$x364_class, ifc$t4010_class,
      ifc$hasp_post_class, ifc$c200ut_class, ifc$c714_30_40,
      ifc$c711_class, ifc$c714_10_20_class, ifc$hasp_pre_class,
      ifc$c73x_class, ifc$i2740_class, ifc$i3780_class,
      ifc$i3270_class);

