The string pool is maintained both in core, and in a second tmp file.