Benchmark solution ===================== We consider a non-regression test.