1#include <stdio.h>
2
3int putchar(int c) {
4    return fputc(c, stdout);
5}
6