pub unsafe extern "C" fn CreateInitialFactDeffacts()