redef fun x: Float do return extern_x(motion_event.inner_event, pointer_id)
private fun extern_x(motion_event: InnerAndroidMotionEvent, pointer_id: Int): Float is extern `{
redef fun x: Float do return extern_x(motion_event.inner_event, pointer_id)
private fun extern_x(motion_event: InnerAndroidMotionEvent, pointer_id: Int): Float is extern `{