int __wrap_fputs ( const char * str, FILE * stream ) { if (catched) { printf("[CATCHED] %s", str); } else { __real_fputs(str, stream); } }
int __wrap_fputs(const char *s, FILE *stream) { if (unlikely(xeno_get_current() != XN_NO_HANDLE && !(xeno_get_current_mode() & XNRELAX))) return rt_fputs(s, stream); else { rt_print_flush_buffers(); return __real_fputs(s, stream); } }