resultPointerWithHighBitSetIsBounded