$pool = new HttpRequestPool(
new HttpRequest('http://www.php.net/', HTTP_METH_HEAD),
new HttpRequest('http://at.php.net/', HTTP_METH_HEAD),
new HttpRequest('http://de.php.net/', HTTP_METH_HEAD),
new HttpRequest('http://ch.php.net/', HTTP_METH_HEAD),
$pool = new HttpRequestPool(
new HttpRequest('http://www.php.net/', HTTP_METH_HEAD),
new HttpRequest('http://at.php.net/', HTTP_METH_HEAD),
new HttpRequest('http://de.php.net/', HTTP_METH_HEAD),
new HttpRequest('http://ch.php.net/', HTTP_METH_HEAD),