pub type Panda__TaintedInstr_Closure = Option<unsafe extern "C" fn(message: *const Panda__TaintedInstr, closure_data: *mut c_void)>;