Adding a benchmarking function to the REPL.