Watching TeX digest tokens