Ebits            1648 util.c             if (k < Ebits) {
Ebits            1649 util.c                 d0 = Exp_1 | y >> (Ebits - k);
Ebits            1651 util.c                 d1 = y << ((32-Ebits) + k) | w >> (Ebits - k);
Ebits            1655 util.c             if (k -= Ebits) {
Ebits            1665 util.c             if (k < Ebits + 16) {
Ebits            1667 util.c                 d0 = Exp_1 | y << k - Ebits | z >> Ebits + 16 - k;
Ebits            1670 util.c                 d1 = z << k + 16 - Ebits | w << k - Ebits | y >> 16 + Ebits - k;
Ebits            1675 util.c             k -= Ebits + 16;