getmicrotime      355 Zend/bench.php   return getmicrotime();
getmicrotime      361 Zend/bench.php   $end = getmicrotime();
getmicrotime      369 Zend/bench.php   return getmicrotime();