tokens_scanned
if (cookie.index == 0 && !cookie.tokens_scanned) {
for (int32 token; !cookie.tokens_scanned
cookie.tokens_scanned = true;
bool tokens_scanned;