Not your change, but as I thought about it, all of these `0x0BBFFFFF` are wrong.  They should be exclusive, in other words all of them should be `0x0BC00000` because `0x0BBFFFFF` is a valid address.

-[Unknown]