Rubriek: Benchmark Overhead