int __wrap_fputc(int c, FILE *stream) { if (unlikely(xeno_get_current() != XN_NO_HANDLE && !(xeno_get_current_mode() & XNRELAX))) return rt_fputc(c, stream); else { rt_print_flush_buffers(); return __real_fputc(c, stream); } }
int rt_putchar(int c) { return rt_fputc(c, stdout); }