import StateVersions.AppState2
import Happstack.State
import System.Environment
    
entryPoint :: Proxy AppState
entryPoint = Proxy

main :: IO ()
-- Again, we specify program name so the same _local directory gets read
main = withProgName "migration-demo" $ do
  control <- startSystemState entryPoint

  update IncVal
  query AskVal >>= print
-- You should be able to see the proper incrementing of the value printed out.
  createCheckpoint control
  shutdownSystem control