private fun native_pointer_id(motion_event: NativeAndroidMotionEvent, pointer_index: Int): Int `{
return AMotionEvent_getPointerId(motion_event, pointer_index);
private fun native_pointer_id(motion_event: NativeAndroidMotionEvent, pointer_index: Int): Int `{
return AMotionEvent_getPointerId(motion_event, pointer_index);