end small-step semantics