orig_amd64/SortedToOrig.hs

module Main where

main 
  = do x1 <- readFile "test2.sorted"
       let x2 = lines x1
           x3 = zip [1 ..] x2
           x4 = concat (map qq x3)
       --putStr x4
       writeFile "test2.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