more defrecord benchmarks