exec :: FilePath -> IO String
exec input = do
  ci <- compileCodegenInfo input output
  codegenCil ci
  peverify output
  mono output
  where output = replaceExtension input "exe"
exec :: FilePath -> IO String
exec input = do
  ci <- compileCodegenInfo input output
  codegenCil ci
  peverify output
  mono output
  where output = replaceExtension input "exe"
exec input = do
  ci <- compileCodegenInfo input output
  codegenCil ci
  peverify output
  mono output
  where output = replaceExtension input "exe"