binary op orders fix, while.mvm succ