ghc-ios Counter; ch5