Implement pool_wsprintf()