Small-step semantics.