History src/StringPool.cc