gensym_count       53 src/symbol.c   static int gensym_count = 0;
gensym_count       84 src/symbol.c       nc = snprintf(numbuf, 50, "%d", gensym_count++);