page moved to Python: Timing, Benchmark