If we still need to print this, it might be cleaner to leave TOKtls in lexer.h and the mapping in lexer.c rather than special-casing it here.