#[no_mangle] pub extern "C" fn __VerificationEvent_event_type( tmp1: isize, ) -> __VerificationEvent_event_typeReturn