Fixed semantics of MOVE_RESULT