dev_io (dbx_file, &table),
{
  table = {
            write_array : w_records,
            w_array_length : array_length (w_records),
            read_array : r_records,
            r_array_length : array_length (r_records)
          }
};
