Small unrelated nitpick: Instead of `epochTime` for benchmarking you can use 
`times.cpuTime` or `monotimes`

Reply via email to