qemu range_size() counterexample

  /* Get the size of range. */
  static inline uint64_t range_size(const Range *range)
  {
      return range->upb - range->lob + 1;
  }

  ┌─────────────────────────────────────────────────┐ 
  │░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░│
  └─────────────────────────────────────────────────┘
  range->lob == 0           range->upb == UINT64_MAX