[263] shorten getchar() EOF check condition