Now writes -tokens to tokens.txt