taglinefilesource code
choose_number34scripts/tkparse.cstatic int choose_number = 0;
choose_number437scripts/tkparse.csprintf(tmpbuf, "tmpvar_%d", choose_number++);