third-party/expolit/benchmarks/benchmark.cc