static inline u4 get_Java_u4(address p) { return swap_u4(get_native_u4(p)); }
static inline u4 get_Java_u4(address p) { return get_native_u4(p); }