Ebits            1726 util.c             if (k < Ebits) {
Ebits            1727 util.c                 d0 = Exp_1 | y >> (Ebits - k);
Ebits            1729 util.c                 d1 = y << ((32-Ebits) + k) | w >> (Ebits - k);
Ebits            1733 util.c             if (k -= Ebits) {
Ebits            1743 util.c             if (k < Ebits + 16) {
Ebits            1745 util.c                 d0 = Exp_1 | y << k - Ebits | z >> Ebits + 16 - k;
Ebits            1748 util.c                 d1 = z << k + 16 - Ebits | w << k - Ebits | y >> 16 + Ebits - k;
Ebits            1753 util.c             k -= Ebits + 16;