{Deck:  DFT$SERVER_LOCATION
  TYPE
    dft$server_location = record
      case server_location_selector: dft$server_location_selector of
      = dfc$family_name =
        family_name: ost$family_name,
      = dfc$served_family_table_index =
        served_family_table_index: dft$served_family_table_index,
      = dfc$mainframe_id =
        server_mainframe: pmt$mainframe_id,
      casend,
    recend;

*copyc dft$server_location_selector
*copyc dft$served_family_table_index
*copyc ost$user_identification
*copyc pmt$mainframe_id

