Update simplified production.
Update simplified production.
Update gettoken() to adapt to new production.
Update.