int vfprintf( ffi.Pointer<IO_FILE_> __s, ffi.Pointer<ffi.Int8> __format, int __arg, ) { return _vfprintf( __s, __format, __arg, ); }