felem_diff_128_64
felem_diff_128_64(tmp2, ftmp5);
felem_diff_128_64(tmp2, ftmp5);
felem_diff_128_64(tmp, in);
felem_diff_128_64(tmp, ftmp);
felem_diff_128_64(tmp, delta);
felem_diff_128_64(tmp, ftmp4);
felem_diff_128_64(tmp, ftmp2);
felem_diff_128_64(tmp, ftmp); /* tmp[i] < 2^115 + 2^64 + 2^48 */
felem_diff_128_64(tmp, delta); /* tmp[i] < 2^115 + 2^64 + 2^48 */
felem_diff_128_64(tmp, ftmp); /* tmp[i] < 2^117 + 2^64 + 2^48 */
felem_diff_128_64(tmp, ftmp2); /* tmp[i] < 2^117 + 2^65 + 2^49 */
felem_diff_128_64(tmp, ftmp3); /* tmp[i] < 2^115 + 2^64 + 2^48 */
felem_diff_128_64(tmp, ftmp6); /* tmp[i] < 2^115 + 2^64 + 2^48 */
felem_diff_128_64(tmp, ftmp2); /* tmp[i] < 2^117 + 2^64 + 2^48 */
felem_diff_128_64(tmp, ftmp4); /* tmp[i] < 2^117 + 2^65 + 2^49 */
felem_diff_128_64(tmp, ftmp);
felem_diff_128_64(tmp, delta);
felem_diff_128_64(tmp, ftmp);
felem_diff_128_64(tmp, ftmp2);
felem_diff_128_64(tmp, ftmp3);
felem_diff_128_64(tmp, ftmp6);
felem_diff_128_64(tmp, ftmp2);
felem_diff_128_64(tmp, ftmp4);