A redex-inspired language of operational semantics with an automatic "abstracting abstract machines" transformation.