Benchmarks for the Co-dfns compiler