Ebits
if (k < Ebits) {
d0 = Exp_1 | y >> (Ebits - k);
d1 = y << ((32-Ebits) + k) | w >> (Ebits - k);
if (k -= Ebits) {
if (k < Ebits + 16) {
d0 = Exp_1 | y << k - Ebits | z >> Ebits + 16 - k;
d1 = z << k + 16 - Ebits | w << k - Ebits | y >> 16 + Ebits - k;
k -= Ebits + 16;