{-# OPTIONS_GHC -funbox-strict-fields -ddump-simpl-stats -O2 #-}
{-  -dverbose-core2core -}
module Main (main) where

import qualified Data.StorableVector.Lazy as SV

import Data.Int (Int16)



main :: IO ()
main =
   SV.writeFile "speed-lazy.sw"
      (SV.take 10000000 $
       SV.unfoldr (SV.ChunkSize 10000)
          (\x -> let y = mod (succ x) 10000
                 in  Just (x,y)) (0::Int16))