allocPointerWithHighBitSetIsBounded