The all uppercase tokens, as well as tok_name mentioned in the comment actually come from the `from token import *`.