#1 Emit EOF token at the end