pub unsafe extern "C" fn InitializeDeffacts(arg1: *mut Environment)