dsl for trivial benchmarks