The value of E1 << E2 is E1 left-shifted E2 bit positions; vacated bits are
If E1 has an unsigned type, the value of the result
is E1×2E2, reduced modulo
one more than the maximum value representable in the result type.
E1 has a signed type and non-negative value, and E1×2E2 is
representable in the corresponding unsigned type of the result type, then
that value, converted to the result type, is the resulting value; otherwise, the
behavior is undefined.