docs: public FieldElement add(FieldElement val) {
      int[] g = ((org.mariadb.jdbc.internal.com.send.authentication.ed25519.math.ed25519.Ed25519FieldElement) val).t;
      int[] h = new int[10];
      for (int i = 0; i < 10; i++) {
        h[i] = t[i] + g[i];
      }
      return new org.mariadb.jdbc.internal.com.send.authentication.ed25519.math.ed25519.Ed25519FieldElement(f, h);
    }