pub unsafe extern "C" fn AssertDriver( arg1: *mut Fact, arg2: c_longlong, arg3: *mut Fact, arg4: *mut Fact, arg5: *mut c_char) -> *mut Fact