fe_tobytes
fe_tobytes(out, x2);
fe_tobytes(out_public_key, zplusy);
fe_tobytes(s, f);
fe_tobytes(s, f);
fe_tobytes(s, y);
fe_tobytes(s, y);
fe_tobytes(out, &x2);