#include #include "putc.h" int fputc(int c, FILE *f) { return do_putc(c, f); }