symbols-consed

symbols-consed is a variable defined in `C source code'.
Its value is
96626


Documentation:
Number of symbols that have been consed so far.