§ Tooling for performance benchmarking