Require Import Crypto.StandaloneOCamlMain.

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