Definitions of STRING and TOKEN.