tokpushback
tokpushback++;
int alreadyseen = tokpushback;
if (tokpushback) {
tokpushback = 0;
tokpushback = 0;
tokpushback = 0;
tokpushback++;
tokpushback++;
tokpushback++;
tokpushback++;
tokpushback++;
tokpushback++;
tokpushback++;
tokpushback++;
tokpushback++;
tokpushback++;
tokpushback++;
tokpushback++;
tokpushback++;
tokpushback++;