diff --git a/cabal.GHC-9.0.2.freeze b/cabal.GHC-9.0.2.freeze
index 304fd6de..3c2a4d89 100644
--- a/cabal.GHC-9.0.2.freeze
+++ b/cabal.GHC-9.0.2.freeze
@@ -15,10 +15,10 @@ constraints: any.BoundedChan ==1.0.3.0,
              any.aeson ==2.1.2.1,
              aeson -cffi +ordered-keymap,
              any.alex ==3.4.0.1,
-             any.ansi-terminal ==1.0,
-             ansi-terminal -example,
+             any.ansi-terminal ==0.11.5,
+             ansi-terminal -example +win32-2-13-1,
              any.ansi-terminal-types ==0.11.5,
-             any.ansi-wl-pprint ==1.0.2,
+             any.ansi-wl-pprint ==0.6.9,
              ansi-wl-pprint -example,
              any.array ==0.5.4.0,
              asl-translator -asl-lite +unsafe-operations,
@@ -106,6 +106,8 @@ constraints: any.BoundedChan ==1.0.3.0,
              any.foldable1-classes-compat ==0.1,
              foldable1-classes-compat +tagged,
              any.free ==5.2,
+             any.generic-deriving ==1.14.5,
+             generic-deriving +base-4-9,
              any.generically ==0.1.1,
              any.ghc ==9.0.2,
              any.ghc-bignum ==1.1,
@@ -122,7 +124,9 @@ constraints: any.BoundedChan ==1.0.3.0,
              any.hashtables ==1.2.4.2,
              hashtables -bounds-checking -debug -detailed-profiling -portable -sse42 +unsafe-tricks,
              any.haskell-lexer ==1.1.1,
-             any.hedgehog ==1.4,
+             any.hedgehog ==1.2,
+             any.hedgehog-classes ==0.2.5.4,
+             hedgehog-classes +aeson +comonad +primitive +semirings +vector,
              any.hpc ==0.6.1.0,
              any.hsc2hs ==0.68.10,
              hsc2hs -in-ghc-tree,
@@ -146,6 +150,7 @@ constraints: any.BoundedChan ==1.0.3.0,
              any.json ==0.11,
              json +generic -mapdict +parsec +pretty +split-base,
              any.kan-extensions ==5.2.5,
+             any.kvitable ==1.0.2.1,
              any.language-c ==0.9.2,
              language-c -allwarnings +iecfpextension +usebytestrings,
              any.lens ==5.1.1,
@@ -158,6 +163,7 @@ constraints: any.BoundedChan ==1.0.3.0,
              llvm-pretty-bc-parser -fuzz,
              any.located-base ==0.1.1.1,
              any.logict ==0.7.0.3,
+             any.lucid ==2.11.20230408,
              any.lumberjack ==1.0.3.0,
              any.math-functions ==0.3.4.3,
              math-functions +system-erf +system-expm1,
@@ -174,7 +180,7 @@ constraints: any.BoundedChan ==1.0.3.0,
              network -devel,
              any.network-uri ==2.6.4.2,
              any.old-locale ==1.0.0.7,
-             any.optparse-applicative ==0.18.1.0,
+             any.optparse-applicative ==0.16.1.0,
              optparse-applicative +process,
              any.ordered-containers ==0.2.3,
              any.panic ==0.4.0.1,
@@ -189,7 +195,6 @@ constraints: any.BoundedChan ==1.0.3.0,
              any.prettyprinter ==1.7.1,
              prettyprinter -buildreadme +text,
              any.prettyprinter-ansi-terminal ==1.1.3,
-             any.prettyprinter-compat-ansi-wl-pprint ==1.0.2,
              any.primitive ==0.8.0.0,
              any.process ==1.6.13.2,
              any.profunctors ==5.6.2,
@@ -220,6 +225,9 @@ constraints: any.BoundedChan ==1.0.3.0,
              semigroupoids +comonad +containers +contravariant +distributive +tagged +unordered-containers,
              any.semigroups ==0.20,
              semigroups +binary +bytestring -bytestring-builder +containers +deepseq +hashable +tagged +template-haskell +text +transformers +unordered-containers,
+             any.semirings ==0.6,
+             semirings +containers +unordered-containers,
+             any.silently ==1.2.5.3,
              any.smallcheck ==1.2.1.1,
              any.snap-core ==1.0.5.1,
              snap-core -debug +network-uri -portable,
@@ -239,14 +247,15 @@ constraints: any.BoundedChan ==1.0.3.0,
              tagged +deepseq +transformers,
              any.tasty ==1.5,
              tasty +unix,
+             any.tasty-ant-xml ==1.1.9,
              any.tasty-checklist ==1.0.6.0,
              any.tasty-expected-failure ==0.12.3,
-             any.tasty-hedgehog ==1.4.0.2,
+             any.tasty-hedgehog ==1.4.0.1,
              any.tasty-hspec ==1.2.0.4,
              any.tasty-hunit ==0.10.1,
              any.tasty-quickcheck ==0.10.3,
              any.tasty-smallcheck ==0.8.2,
-             any.tasty-sugar ==1.1.0.0,
+             any.tasty-sugar ==1.1.1.0,
              any.template-haskell ==2.17.0.0,
              any.temporary ==1.3,
              any.terminal-size ==0.3.4,
diff --git a/cabal.GHC-9.2.8.freeze b/cabal.GHC-9.2.8.freeze
index cd6dfcb8..411ca2a2 100644
--- a/cabal.GHC-9.2.8.freeze
+++ b/cabal.GHC-9.2.8.freeze
@@ -15,10 +15,10 @@ constraints: any.BoundedChan ==1.0.3.0,
              any.aeson ==2.1.2.1,
              aeson -cffi +ordered-keymap,
              any.alex ==3.4.0.1,
-             any.ansi-terminal ==1.0,
-             ansi-terminal -example,
+             any.ansi-terminal ==0.11.5,
+             ansi-terminal -example +win32-2-13-1,
              any.ansi-terminal-types ==0.11.5,
-             any.ansi-wl-pprint ==1.0.2,
+             any.ansi-wl-pprint ==0.6.9,
              ansi-wl-pprint -example,
              any.array ==0.5.4.0,
              asl-translator -asl-lite +unsafe-operations,
@@ -106,6 +106,8 @@ constraints: any.BoundedChan ==1.0.3.0,
              any.foldable1-classes-compat ==0.1,
              foldable1-classes-compat +tagged,
              any.free ==5.2,
+             any.generic-deriving ==1.14.5,
+             generic-deriving +base-4-9,
              any.generically ==0.1.1,
              any.ghc ==9.2.8,
              any.ghc-bignum ==1.2,
@@ -122,7 +124,9 @@ constraints: any.BoundedChan ==1.0.3.0,
              any.hashtables ==1.2.4.2,
              hashtables -bounds-checking -debug -detailed-profiling -portable -sse42 +unsafe-tricks,
              any.haskell-lexer ==1.1.1,
-             any.hedgehog ==1.4,
+             any.hedgehog ==1.2,
+             any.hedgehog-classes ==0.2.5.4,
+             hedgehog-classes +aeson +comonad +primitive +semirings +vector,
              any.hpc ==0.6.1.0,
              any.hsc2hs ==0.68.10,
              hsc2hs -in-ghc-tree,
@@ -146,6 +150,7 @@ constraints: any.BoundedChan ==1.0.3.0,
              any.json ==0.11,
              json +generic -mapdict +parsec +pretty +split-base,
              any.kan-extensions ==5.2.5,
+             any.kvitable ==1.0.2.1,
              any.language-c ==0.9.2,
              language-c -allwarnings +iecfpextension +usebytestrings,
              any.lens ==5.1.1,
@@ -158,6 +163,7 @@ constraints: any.BoundedChan ==1.0.3.0,
              llvm-pretty-bc-parser -fuzz,
              any.located-base ==0.1.1.1,
              any.logict ==0.7.0.3,
+             any.lucid ==2.11.20230408,
              any.lumberjack ==1.0.3.0,
              any.math-functions ==0.3.4.3,
              math-functions +system-erf +system-expm1,
@@ -174,7 +180,7 @@ constraints: any.BoundedChan ==1.0.3.0,
              network -devel,
              any.network-uri ==2.6.4.2,
              any.old-locale ==1.0.0.7,
-             any.optparse-applicative ==0.18.1.0,
+             any.optparse-applicative ==0.16.1.0,
              optparse-applicative +process,
              any.ordered-containers ==0.2.3,
              any.panic ==0.4.0.1,
@@ -189,7 +195,6 @@ constraints: any.BoundedChan ==1.0.3.0,
              any.prettyprinter ==1.7.1,
              prettyprinter -buildreadme +text,
              any.prettyprinter-ansi-terminal ==1.1.3,
-             any.prettyprinter-compat-ansi-wl-pprint ==1.0.2,
              any.primitive ==0.8.0.0,
              any.process ==1.6.16.0,
              any.profunctors ==5.6.2,
@@ -220,6 +225,9 @@ constraints: any.BoundedChan ==1.0.3.0,
              semigroupoids +comonad +containers +contravariant +distributive +tagged +unordered-containers,
              any.semigroups ==0.20,
              semigroups +binary +bytestring -bytestring-builder +containers +deepseq +hashable +tagged +template-haskell +text +transformers +unordered-containers,
+             any.semirings ==0.6,
+             semirings +containers +unordered-containers,
+             any.silently ==1.2.5.3,
              any.smallcheck ==1.2.1.1,
              any.snap-core ==1.0.5.1,
              snap-core -debug +network-uri -portable,
@@ -239,14 +247,15 @@ constraints: any.BoundedChan ==1.0.3.0,
              tagged +deepseq +transformers,
              any.tasty ==1.5,
              tasty +unix,
+             any.tasty-ant-xml ==1.1.9,
              any.tasty-checklist ==1.0.6.0,
              any.tasty-expected-failure ==0.12.3,
-             any.tasty-hedgehog ==1.4.0.2,
+             any.tasty-hedgehog ==1.4.0.1,
              any.tasty-hspec ==1.2.0.4,
              any.tasty-hunit ==0.10.1,
              any.tasty-quickcheck ==0.10.3,
              any.tasty-smallcheck ==0.8.2,
-             any.tasty-sugar ==1.1.0.0,
+             any.tasty-sugar ==1.1.1.0,
              any.template-haskell ==2.18.0.0,
              any.temporary ==1.3,
              any.terminal-size ==0.3.4,
diff --git a/cabal.project.dist b/cabal.project.dist
index 05e29258..5e88d78e 100644
--- a/cabal.project.dist
+++ b/cabal.project.dist
@@ -12,6 +12,7 @@ packages: .
           submodules/dwarf
           submodules/flexdis86
           submodules/flexdis86/binary-symbols
+          submodules/demangler
           submodules/dismantle/dismantle-tablegen
           submodules/dismantle/dismantle-ppc
           submodules/dismantle/dismantle-arm-xml
@@ -33,3 +34,6 @@ packages: .
           submodules/macaw-loader/macaw-loader-x86
           submodules/macaw-loader/macaw-loader-ppc
           submodules/macaw-loader/macaw-loader-aarch32
+
+allow-newer: what4, IntervalMap, aeson, tasty
+constraints: IntervalMap >= 0.6.2.1
\ No newline at end of file
diff --git a/pate.cabal b/pate.cabal
index b52c4e86..c3493ae3 100644
--- a/pate.cabal
+++ b/pate.cabal
@@ -55,6 +55,7 @@ common shared
                        split >= 0.2,
                        parameterized-utils,
                        what4 >= 1 && < 2,
+                       what4-serialize,
                        crucible,
                        crucible-llvm,
                        macaw-base,
@@ -63,6 +64,8 @@ common shared
                        unliftio-core >= 0.2 && < 0.3,
                        unliftio >= 0.2 && < 0.3,
                        unordered-containers,
+                       ordered-containers,
+                       itanium-abi,
                        semmc,
                        text >= 1 && < 1.3,
                        tomland >= 1.3 && < 1.4,
@@ -188,7 +191,7 @@ common shared-test
                  crucible-llvm,
                  mtl,
                  parameterized-utils,
-                 tasty < 1.3.1,
+                 tasty >= 1.5 && < 1.6,
                  tasty-hunit,
                  tasty-expected-failure >= 0.12,
                  text,