JVM's compressed 32-bit pointers