import Data.IORef

count : Nat -> IORef Integer -> IO ()
count Z ref
    = do x <- readIORef ref
         printLn x
count (S k) ref
    = do modifyIORef ref (+1)
         count k ref

main : IO ()
main = do r <- newIORef 0
          count 1000000 r
