267 typedef uint64_t fe51[5];  typedef
300 static void fe51_frombytes(fe51 h, const uint8_t *s)  in fe51_frombytes()
320 static void fe51_tobytes(uint8_t *s, const fe51 h)  in fe51_tobytes()
380 void x25519_fe51_mul(fe51 h, const fe51 f, const fe51 g);
381 void x25519_fe51_sqr(fe51 h, const fe51 f);
382 void x25519_fe51_mul121666(fe51 h, fe51 f);
390 static void fe51_mul(fe51 h, const fe51 f, const fe51 g)  in fe51_mul()
448 static void fe51_sq(fe51 h, const fe51 f)  in fe51_sq()
502 static void fe51_mul121666(fe51 h, fe51 f)  in fe51_mul121666()
529 static void fe51_add(fe51 h, const fe51 f, const fe51 g)  in fe51_add()
538 static void fe51_sub(fe51 h, const fe51 f, const fe51 g)  in fe51_sub()
551 static void fe51_0(fe51 h)  in fe51_0()
560 static void fe51_1(fe51 h)  in fe51_1()
569 static void fe51_copy(fe51 h, const fe51 f)  in fe51_copy()
578 static void fe51_cswap(fe51 f, fe51 g, unsigned int b)  in fe51_cswap()
591 static void fe51_invert(fe51 out, const fe51 z)  in fe51_invert()
593     fe51 t0;  in fe51_invert()
594     fe51 t1;  in fe51_invert()
595     fe51 t2;  in fe51_invert()
596     fe51 t3;  in fe51_invert()
689     fe51 x1, x2, z2, x3, z3, tmp0, tmp1;  in x25519_scalar_mult()