simplify right-rotate