generalize EOF token
.
.