os.Create(c.Prefix + ".go") if err != nil { log.Fatal(err) } if err := t.Execute(f, c); err != nil { log.Fatal(err) } if err := f.Close(); err != nil { log.Fatal(err) } log.Printf("Generating %s_fiat64.go...", c.Prefix) cmd := exec.Command("docker", "run", "--rm", "--entrypoint", "word_by_word_montgomery", "fiat-crypto:v0.0.9", "--lang", "Go", "--no-wide-int", "--cmovznz-by-mul", "--relax-primitive-carry-to-bitwidth", "32,64", "--internal-static", "--public-function-case", "camelCase", "--public-type-case",...