Add (hardcoded) option to print tokens.