make eof token type private