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