Added section 8.2 for buffered and unbuffered getchar