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