int vfprintf( ffi.Pointer<FILE> __s, ffi.Pointer<ffi.Char> __format, ffi.Pointer<_va_list_tag_> __arg, ) { return _vfprintf( __s, __format, __arg, ); }