package transactional abstract class Benchmark { def run(): Int }