Redirecting to Small step semantics