x25519_ge_p1p1_to_p3
x25519_ge_p1p1_to_p3(&t, p);
x25519_ge_p1p1_to_p3(h, &r);
x25519_ge_p1p1_to_p3(h, &r);
x25519_ge_p1p1_to_p3(h, &r);
x25519_ge_p1p1_to_p3(h, &r);
x25519_ge_p1p1_to_p3(h, &r);
x25519_ge_p1p1_to_p3(&u, &t);
x25519_ge_p1p1_to_p3(&A2, &t);
x25519_ge_p1p1_to_p3(&u, &t);
x25519_ge_p1p1_to_p3(&u, &t);
x25519_ge_p1p1_to_p3(&u, &t);
x25519_ge_p1p1_to_p3(&u, &t);
x25519_ge_p1p1_to_p3(&u, &t);
x25519_ge_p1p1_to_p3(&u, &t);
x25519_ge_p1p1_to_p3(&u, &t);
x25519_ge_p1p1_to_p3(&u, &t);
x25519_ge_p1p1_to_p3(&u, &t);
x25519_ge_p1p1_to_p3(&u, &t);
x25519_ge_p1p1_to_p3(&u, &t);
void x25519_ge_p1p1_to_p3(ge_p3 *r, const ge_p1p1 *p);