fork of https://android.googlesource.com/platform/libcore to make it 64-bit safe