Exp_1            1727 util.c                 d0 = Exp_1 | y >> (Ebits - k);
Exp_1            1734 util.c                 d0 = Exp_1 | y << k | z >> (32 - k);
Exp_1            1739 util.c                 d0 = Exp_1 | y;
Exp_1            1745 util.c                 d0 = Exp_1 | y << k - Ebits | z >> Ebits + 16 - k;
Exp_1            1754 util.c             d0 = Exp_1 | y << k + 16 | z << k | w >> 16 - k;
Exp_1            2904 util.c                     word0(rv0) = Exp_1 + (70 << Exp_shift);
Exp_1            2914 util.c                 word0(rv0) = Exp_1 - 2*P*Exp_msk1;
Exp_1            3793 util.c                     word0(d) = Exp_1 + (70 << Exp_shift);