Loading: How to benchmark your PR