Add eof to print value of EOF