Bitwidths are confusing