"Range's upper bound is less than lower bound: "
"upper=%" PRIu64 ", lower=%" PRIu64, lower, upper);
add_range_to_range_set((void *) range_set, lower, upper);
"Range's upper bound is less than lower bound: "
"upper=%" PRIu64 ", lower=%" PRIu64, lower, upper);
add_range_to_range_set((void *) range_set, lower, upper);