public static extern void switch_timer_interface_timer_destroy_set(HandleRef jarg1, HandleRef jarg2);