Some list benchmarks with tests as spec