freduce_degree    239 crypto/curve25519-donna.c   freduce_degree(t);
freduce_degree    306 crypto/curve25519-donna.c   freduce_degree(t);
freduce_degree    413 crypto/curve25519-donna.c   freduce_degree(xxprime);
freduce_degree    415 crypto/curve25519-donna.c   freduce_degree(zzprime);
freduce_degree    423 crypto/curve25519-donna.c   freduce_degree(zzprime);
freduce_degree    431 crypto/curve25519-donna.c   freduce_degree(x2);
freduce_degree    436 crypto/curve25519-donna.c   freduce_degree(zzz);
freduce_degree    440 crypto/curve25519-donna.c   freduce_degree(z2);