`tokens` would be a better name than `tmp`