get_tokens now has a way to report number of tokens