diff --git a/VEX/orig_amd64/Main.hs b/VEX/orig_amd64/Main.hs
new file mode 100644
index 000000000..70925a945
--- /dev/null
+++ b/VEX/orig_amd64/Main.hs
@@ -0,0 +1,29 @@
+
+module Main where
+
+main 
+  = do x1 <- readFile "sorted3.txt"
+       let x2 = lines x1
+           x3 = zip [1 ..] x2
+           x4 = concat (map qq x3)
+       --putStr x4
+       writeFile "test1.orig" x4
+
+
+qq :: (Int, String) -> String
+qq (n, s0) 
+   = let ws     = words s0
+         bytes  = head ws
+         rest   = unwords (tail ws)
+         bytes2 = foo bytes
+     in
+     unlines [
+        "",
+        rest,
+        ". " ++ show n ++ " 0x12345678 " ++ show (1 + (length bytes `div` 2)),
+        ". " ++ bytes2 ++ "C3"
+     ]
+
+
+foo [] = []
+foo (x:y:rest) = x:y:' ':foo rest