2.3.2 big-step semantics