Sketching operational semantics