integer-range-bug-investigation