--- /dev/null
+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__));
+ }
+ }
+}