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