256 static void felem_diff(felem out, const felem in, const felem in2) {  in felem_diff()  function
813   felem_diff(tmp2, x, delta);  in point_double()
819   felem_diff(tmp, tmp, gamma);  in point_double()
820   felem_diff(z_out, tmp, delta);  in point_double()
824   felem_diff(x_out, x_out, beta);  in point_double()
825   felem_diff(x_out, x_out, beta);  in point_double()
827   felem_diff(tmp, beta, x_out);  in point_double()
831   felem_diff(y_out, tmp, tmp2);  in point_double()
852   felem_diff(h, u2, x1);  in point_add_mixed()
856   felem_diff(r, s2, y1);  in point_add_mixed()
862   felem_diff(x_out, rr, j);  in point_add_mixed()
863   felem_diff(x_out, x_out, v);  in point_add_mixed()
864   felem_diff(x_out, x_out, v);  in point_add_mixed()
866   felem_diff(tmp, v, x_out);  in point_add_mixed()
869   felem_diff(y_out, y_out, tmp);  in point_add_mixed()
870   felem_diff(y_out, y_out, tmp);  in point_add_mixed()
890   felem_diff(tmp, tmp, z1z1);  in point_add()
891   felem_diff(tmp, tmp, z2z2);  in point_add()
899   felem_diff(h, u2, u1);  in point_add()
903   felem_diff(r, s2, s1);  in point_add()
909   felem_diff(x_out, rr, j);  in point_add()
910   felem_diff(x_out, x_out, v);  in point_add()
911   felem_diff(x_out, x_out, v);  in point_add()
913   felem_diff(tmp, v, x_out);  in point_add()
916   felem_diff(y_out, y_out, tmp);  in point_add()
917   felem_diff(y_out, y_out, tmp);  in point_add()
938   felem_diff(tmp, tmp, z1z1);  in point_add_or_double_vartime()
939   felem_diff(tmp, tmp, z2z2);  in point_add_or_double_vartime()
947   felem_diff(h, u2, u1);  in point_add_or_double_vartime()
952   felem_diff(r, s2, s1);  in point_add_or_double_vartime()
963   felem_diff(x_out, rr, j);  in point_add_or_double_vartime()
964   felem_diff(x_out, x_out, v);  in point_add_or_double_vartime()
965   felem_diff(x_out, x_out, v);  in point_add_or_double_vartime()
967   felem_diff(tmp, v, x_out);  in point_add_or_double_vartime()
970   felem_diff(y_out, y_out, tmp);  in point_add_or_double_vartime()
971   felem_diff(y_out, y_out, tmp);  in point_add_or_double_vartime()