use InstancePool for PHP-side object caching