Benchmark code for Pycket