// This is purposely empty. See src/bench.rs instead. We use src/bench.rs // to avoid including the same file in multiple build targets.