+#define fprintf(file, ...) ({ (void) (file); printf(__VA_ARGS__); })
+#undef putc
+#define putc(c,file) ({ (void) (file); putchar(c); })
+#define fputs(s,file) ({ (void) (file); ao_put_string(s); })
+#undef getc
+#define getc(file) ({ (void) (file); getchar(); })
+#define fflush(file) ({ (void) (file); flush(); })
+