Cabal integration, checkpoint