int PyFile_WriteString( ffi.Pointer<ffi.Char> arg0, ffi.Pointer<PyObject> arg1, ) { return _PyFile_WriteString( arg0, arg1, ); }