Trying to make byte bitwise operations explicitly correct