: (>> 1 8) -> 4 : (>> 3 16) -> 2 : (>> -3 16) -> 128 : (>> -1 -16) -> -32