Fix semantics for code execution