Require Import Crypto.StandaloneOCamlMain.

(*Redirect "/tmp/unsaturated_solinas.ml"*) Recursive Extraction UnsaturatedSolinas.main.