Be even more precise - c++ reference guide says that getchar is in cstdio.