"sub", "one", "from_montgomery", "to_montgomery", "selectznz", "to_bytes", "from_bytes") cmd.Stderr = os.Stderr out, err := cmd.Output() if err != nil { log.Fatal(err) } out, err = format.Source(out) if err != nil { log.Fatal(err) } if err := os.WriteFile(c.Prefix+"_fiat64.go", out, 0644); err != nil { log.Fatal(err) } log.Printf("Generating %s_invert.go...", c.Prefix) f, err = os.CreateTemp("", "addchain-"+c.Prefix) if err != nil { log.Fatal(err) } defer os.Remove(f.Name()) cmd = exec.Command("addchain",...