Require Import Crypto.Experiments.NewPipeline.StandaloneOCamlMain.

(*Redirect "/tmp/saturated_solinas.ml"*) Recursive Extraction SaturatedSolinas.main.