static inline u8 get_Java_u8(address p) { return swap_u8(get_native_u8(p)); }
static inline u8 get_Java_u8(address p) { return get_native_u8(p); }