> All csnames that have ever been defined are part of the string pool > and are thus dumped in the format, but that is not true for the actual > token lists that are their definition: these are actually thrown away > if at top-level the definition is cleared. OK, I stand corrected. Arthur