srl -32768 -1 16384
srl -32767 -1 16384
srl -2048 -1 31744
srl -1023 -1 32256
srl -128 -1 32704
srl -16 -1 32760
srl -8 -1 32764
srl -1 -1 32767
srl 0 -1 0
srl 1 -1 0
srl 7 -1 3
srl 15 -1 7
srl 127 -1 63
srl 1024 -1 512
srl 2047 -1 1023
srl 32767 -1 16383
