Use an EOF token