1 files changed, 12 insertions, 0 deletions
diff --git a/src/Experiments/NewPipeline/StandaloneHaskellMain.v b/src/Experiments/NewPipeline/StandaloneHaskellMain.v
index d9ada8451..131907bc1 100644
--- a/src/Experiments/NewPipeline/StandaloneHaskellMain.v
+++ b/src/Experiments/NewPipeline/StandaloneHaskellMain.v
@@ -49,6 +49,18 @@ Module UnsaturatedSolinas.
               (fun err => raise_failure _ (String.concat String.NewLine err))).
 End UnsaturatedSolinas.
 
+Module WordByWordMontgomery.
+  Definition main : IO_unit
+    := cast_io
+         (argv <- getArgs;
+            prog <- getProgName;
+            ForExtraction.WordByWordMontgomery.PipelineMain
+              (prog::argv)
+              (fun res => printf_string
+                         (String.concat "" res))
+              (fun err => raise_failure _ (String.concat String.NewLine err))).
+End WordByWordMontgomery.
+
 Module SaturatedSolinas.
   Definition main : IO_unit
     := cast_io