The compiler is not able to intuit a useful bounds check in the 'overrun'
test case, so give it some help.