Before total refactoring.
Refactored benchmarks: they are now lazy.