Exp_1
word0(&d) = Exp_1 + (70 << Exp_shift);
d0 = Exp_1 | y >> (Ebits - k);
d0 = Exp_1 | y << k | z >> (32 - k);
d0 = Exp_1 | y;
d0 = Exp_1 | y << k - Ebits | z >> Ebits + 16 - k;
d0 = Exp_1 | y << k + 16 | z << k | w >> 16 - k;
word0(&rv0) = Exp_1 + (70 << Exp_shift);
word0(&rv0) = Exp_1 - 2*P*Exp_msk1;
word0(&u) = Exp_1 + (i << Exp_shift);