
  TYPE
    dft$queue_request_status = (dfc$qrs_entry_queued,
        dfc$qrs_request_buffer_full, dfc$qrs_driver_idle,
         dfc$qrs_invalid_queue_index, dfc$qrs_invalid_entry_index,
         dfc$qrs_server_terminated);
