  TYPE
    nft$tip_type = (nfc$internal_tip, nfc$auto_tip, nfc$async_tip,
          nfc$user1_tip, nfc$user2_tip, nfc$user3_tip, nfc$user4_tip,
          nfc$hasp_tip, nfc$x25_async_tip, nfc$bisync_3270_tip,
          nfc$bisync_njef_tip, nfc$remote_term_emulator_tip,
          nfc$uri_tip, nfc$xpc_tip, nfc$mode4_tip, nfc$ntf_tip,
          nfc$sna_3270_tip, nfc$telnet_tip);
