to_wsum
sum = to_wsum(random_init_sum);
sum = to_wsum(0xffffffff);
sum = to_wsum(init_sums_no_overflow[len]);
sum = to_wsum(init_sums_no_overflow[len] + 1);