pool_freetmpspace
pool_freetmpspace(pool, s);
extern void pool_freetmpspace(Pool *pool, const char *space);
pool_freetmpspace(pool, s2);