  TYPE
    nft$device_status = (nfc$device_active, nfc$device_stopped, nfc$device_not_ready,
      nfc$device_down, nfc$device_loading_vfu, nfc$default_vfu_not_loadable,
      nfc$device_stopped_by_system, nfc$device_status_reserved_7,
      nfc$device_status_reserved_8, nfc$device_status_reserved_9,
      nfc$device_status_reserved_10, nfc$ntf_waiting_signon,
      nfc$ntf_signon_initiated, nfc$ntf_signed_on,
      nfc$ntf_signon_failed, nfc$ntf_signed_off);

