module Main where {
  import Data.IORef;

  main :: IO ();
  main = newIORef 0         >>= \ r ->
         readIORef r        >>= \ n ->
         writeIORef r (n+1) >>
         readIORef r        >>= \ n ->
         putStr (show n)
}