extern __attribute__ ((__always_inline__)) __attribute__ ((__artificial__)) int
fwprintf (__FILE * __stream, __const wchar_t * __fmt, ...)
{
  return __fwprintf_chk (__stream, 2 - 1, __fmt,
    __builtin_va_arg_pack ());
}