lvl, rvl -> lhs, rhs