/* * getchar.c - read a character from the standard input stream */ /* $Header$ */ #include <stdio.h> int (getchar)(void) { return getchar(); }