Issue #15: add benchmarks