string_pool.hpp: test and fix