d664061a ^
0b44a031
1 2
3 4 5
6
7
#include <stdio.h> #include "putc.h" int fputc(int c, FILE *f) { return do_putc(c, f); }