Added a little shell script that clumsily converts integer output back into token names