pub unsafe extern "C" fn PL_on_halt( arg1: Option<unsafe extern "C" fn(arg1: c_int, arg2: *mut c_void) -> c_int>, arg2: *mut c_void )