Tokens in correct format are stored in .tok file, directives are not correctly input though
Superfluous commit