add an T_EOF token