
  TYPE
    dst$mainframe_type = (dsc$mt_unknown_mainframe,
                          dsc$mt_lower_8xx_mainframe,
                          dsc$mt_835_mainframe,
                          dsc$mt_upper_8xx_mainframe,
                          dsc$mt_990_mainframe,
                          dsc$mt_93x_mainframe,
                          dsc$mt_960_970_mainframe,
                          dsc$mt_962_972_mainframe,
                          dsc$mt_992_mainframe,
                          dsc$mt_994_mainframe,
                          dsc$mt_2000_mainframe);
