Templates for php-jsond benchmarks