1#include <stdio.h>
2#include "getc.h"
3
4int getchar(void)
5{
6 return do_getc(stdin);
7}