pub unsafe extern "C" fn SaveFactsDriver( arg1: *mut Environment, arg2: *const c_char, arg3: SaveScope, arg4: *mut expr) -> bool