pub unsafe extern "C" fn PrintFact( arg1: *mut Environment, arg2: *const c_char, arg3: *mut Fact, arg4: bool, arg5: bool, arg6: *const c_char)