pub unsafe extern "C" fn CreateInitialFactDefglobal()