aux_sdb_num_empty
if (range > aux_sdb_num_empty(aux)) {
range_scan = range - aux_sdb_num_empty(aux);
if (range <= aux_sdb_num_empty(aux))