Benchmark is actually broken right now, for mysterious double-free related reasons. I will dig into this tomorrow.