2.3.1 small-step semantics