Pretty-print more tokens including end-of-file