
generateInputFile :: forall arch abi i o.
                     (InSymbol arch abi ~ i, U.Universe i, Show i)
                  => FilePath -> FSTGenerator arch abi -> IO ()
generateInputFile fp fst = Sys.withFile fp Sys.WriteMode $ \file ->