A DSL for peephole transformation rules of integer operations in the PyPy JIT