For while some PHP benchmarks