Update 02.3

Correctly prints stuff to tok file, need to wrap up scanner.