`range_rev` does not exist anymore, range() can be explicitly reversed with `range(lo, hi).invert()` which iterates over (hi, lo]