  TYPE
    nft$file_kind = (nfc$output_file, nfc$input_file, nfc$generic_file);
