Debugging benchmarking code