private static function init() { self::$initialized = true; $root_benchmark = new Benchmark(null, null); self::$opened_benchmarks = array(); self::$opened_benchmarks[] = $root_benchmark; }