  TYPE
    nft$device_type = (nfc$null_device, nfc$console, nfc$reader, nfc$printer, nfc$punch, nfc$plotter,
    nfc$ntf_remote_system_input, nfc$ntf_job_receiver, nfc$ntf_sysout_receiver, nfc$ntf_job_transmitter,
    nfc$ntf_sysout_transmitter);

