asserting in shr, shift_right/left