EOF                47 user/lib/libc/stdio/getchar.c 		return EOF;
EOF                47 user/lib/libc/stdio/putchar.c 		return EOF;
EOF               308 user/testbin/badcall/driver.c 			if (op==EOF) {
EOF               365 user/testbin/tictac/tictac.c 	while ((char_read = getchar()) != EOF && char_read != NEWLINE && 
EOF               372 user/testbin/tictac/tictac.c 	if (char_read == EOF)