pool_setarch
pool_setarch(pool, pieces[1]);
pool_setarch(pool, 0);
extern void pool_setarch(Pool *, const char *);