int rt_puts(const char *s) { int res; res = rt_fputs(s, stdout); if (res < 0) return res; return print_to_buffer(stdout, 0, RT_PRINT_MODE_FWRITE, 1, "\n"); }
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); } }