Consider the following line:
int mask = 1 << shift_amount;
we know that mask is 4 bytes because it was explicitly declared in
mask
in
