3: delimit last token with EOF