
  TYPE
    nft$ntf_remote_system_type = (nfc$ntf_nos_ve, nfc$ntf_nos, nfc$ntf_nos_be,
          nfc$ntf_ibm, nfc$ntf_dec, nfc$ntf_user, nfc$ntf_cyber_205, nfc$ntf_eta,
          nfc$ntf_cray);
