extern void __assert_fail(__const char *__assertion, __const char *__file,
			  unsigned int __line, __const char *__function)
    __attribute__ ((__nothrow__)) __attribute__ ((__noreturn__));
typedef unsigned int size_t;
typedef unsigned int wchar_t;
typedef struct _IO_FILE FILE;
struct _IO_FILE {
	int _mode;
};
int __fxprintf(FILE * fp, const char *fmt, ...)
{
	if (( {
	     int __result = (0); if (__result < 0 && !(0)) {
	     }
	     else
	     if (__builtin_constant_p(0)
		 && (0) == 0) __result = (0) ? -1 : (fp)->_mode; __result;}
	    ) > 0) {
		size_t len = strlen(fmt) + 1;
		wchar_t wfmt[len];
		for (size_t i = 0; i < len; ++i) {
			(((((fmt[i]) & ~0x7f) ==
			   0)) ? (void)(0) :
			 __assert_fail("(((fmt[i]) & ~0x7f) == 0)",
				       "fxprintf.c", 45, __PRETTY_FUNCTION__));
		}
	}
}