--- /srv/rebuilderd/tmp/rebuilderddK2VQi/inputs/libghc-stateref-prof_0.3-13_ppc64el.deb
+++ /srv/rebuilderd/tmp/rebuilderddK2VQi/out/libghc-stateref-prof_0.3-13_ppc64el.deb
├── file list
│ @@ -1,3 +1,3 @@
│  -rw-r--r--   0        0        0        4 2026-01-05 15:42:53.000000 debian-binary
│  -rw-r--r--   0        0        0     1384 2026-01-05 15:42:53.000000 control.tar.xz
│ --rw-r--r--   0        0        0    71500 2026-01-05 15:42:53.000000 data.tar.xz
│ +-rw-r--r--   0        0        0    71264 2026-01-05 15:42:53.000000 data.tar.xz
├── control.tar.xz
│ ├── control.tar
│ │ ├── ./md5sums
│ │ │ ├── ./md5sums
│ │ │ │┄ Files differ
├── data.tar.xz
│ ├── data.tar
│ │ ├── ./usr/lib/haskell-packages/ghc/lib/ppc64le-linux-ghc-9.10.3-82cf/stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn/libHSstateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn_p.a
│ │ │ ├── Accessor.p_o
│ │ │ │ ├── strings --all --bytes=8 {}
│ │ │ │ │ @@ -1,25 +1,25 @@
│ │ │ │ │  Data.Accessor
│ │ │ │ │  <entire-module>
│ │ │ │ │  'Accessor
│ │ │ │ │  Accessor
│ │ │ │ │  Data.Accessor
│ │ │ │ │  stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn
│ │ │ │ │  ->Getter
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.Accessor.$fReadRefGetterma1_r28v>
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.Accessor.$fReadRefGetterma_r1zq>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.Accessor.$fReadRefGetterma1_r288>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.Accessor.$fReadRefGetterma_r1AS>
│ │ │ │ │  ->Setter
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.Accessor.$fWriteRefSetterma1_r28x>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.Accessor.$fWriteRefSetterma1_r28k>
│ │ │ │ │  WriteRef
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.Accessor.$fWriteRefSetterma_r1Bf>
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.Accessor.$fReadRefAccessorma_$creadReference_r28q>
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.Accessor.$fReadRefAccessorma_r1Dq>
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.Accessor.$fWriteRefAccessorma_$cwriteReference_r28w>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.Accessor.$fWriteRefSetterma_r1Ch>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.Accessor.$fReadRefAccessorma_$creadReference_r27V>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.Accessor.$fReadRefAccessorma_r1JV>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.Accessor.$fWriteRefAccessorma_$cwriteReference_r28i>
│ │ │ │ │  WriteRef
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.Accessor.$fWriteRefAccessorma_r1CT>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.Accessor.$fWriteRefAccessorma_r1Dr>
│ │ │ │ │  staterefzm0zi3zm3ZZTMHZZm9jHCNvp7ZZr5eYn_DataziAccessor_zdtrModule4_bytes
│ │ │ │ │  staterefzm0zi3zm3ZZTMHZZm9jHCNvp7ZZr5eYn_DataziAccessor_zdfWriteRefSetterma_closure
│ │ │ │ │  ghczmprim_GHCziTypes_krepzdztArrzt_closure
│ │ │ │ │  staterefzm0zi3zm3ZZTMHZZm9jHCNvp7ZZr5eYn_DataziAccessor_zdtczqSetter1_closure
│ │ │ │ │  staterefzm0zi3zm3ZZTMHZZm9jHCNvp7ZZr5eYn_DataziAccessor_zdfReadRefGetterma1_info
│ │ │ │ │  ghczmprim_GHCziTypes_KindRepTyConApp_con_info
│ │ │ │ │  staterefzm0zi3zm3ZZTMHZZm9jHCNvp7ZZr5eYn_DataziAccessor_zdtczqGetter1_closure
│ │ │ │ ├── readelf --wide --decompress --string-dump=.rodata.str {}
│ │ │ │ │ @@ -8,23 +8,23 @@
│ │ │ │ │    [    48]  'Setter
│ │ │ │ │    [    50]  Setter
│ │ │ │ │    [    58]  'Getter
│ │ │ │ │    [    60]  Getter
│ │ │ │ │    [    68]  Data.Accessor
│ │ │ │ │    [    78]  stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn
│ │ │ │ │    [    a0]  ->Getter
│ │ │ │ │ -  [    b0]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.Accessor.$fReadRefGetterma1_r28v>
│ │ │ │ │ +  [    b0]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.Accessor.$fReadRefGetterma1_r288>
│ │ │ │ │    [   100]  ReadRef
│ │ │ │ │ -  [   108]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.Accessor.$fReadRefGetterma_r1zq>
│ │ │ │ │ +  [   108]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.Accessor.$fReadRefGetterma_r1AS>
│ │ │ │ │    [   158]  ->Setter
│ │ │ │ │ -  [   168]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.Accessor.$fWriteRefSetterma1_r28x>
│ │ │ │ │ +  [   168]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.Accessor.$fWriteRefSetterma1_r28k>
│ │ │ │ │    [   1b8]  WriteRef
│ │ │ │ │ -  [   1c8]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.Accessor.$fWriteRefSetterma_r1Bf>
│ │ │ │ │ +  [   1c8]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.Accessor.$fWriteRefSetterma_r1Ch>
│ │ │ │ │    [   218]  ->*
│ │ │ │ │ -  [   220]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.Accessor.$fReadRefAccessorma_$creadReference_r28q>
│ │ │ │ │ +  [   220]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.Accessor.$fReadRefAccessorma_$creadReference_r27V>
│ │ │ │ │    [   280]  ReadRef
│ │ │ │ │ -  [   288]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.Accessor.$fReadRefAccessorma_r1Dq>
│ │ │ │ │ +  [   288]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.Accessor.$fReadRefAccessorma_r1JV>
│ │ │ │ │    [   2d8]  ->>*
│ │ │ │ │ -  [   2e0]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.Accessor.$fWriteRefAccessorma_$cwriteReference_r28w>
│ │ │ │ │ +  [   2e0]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.Accessor.$fWriteRefAccessorma_$cwriteReference_r28i>
│ │ │ │ │    [   340]  WriteRef
│ │ │ │ │ -  [   350]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.Accessor.$fWriteRefAccessorma_r1CT>
│ │ │ │ │ +  [   350]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.Accessor.$fWriteRefAccessorma_r1Dr>
│ │ │ ├── Types.p_o
│ │ │ │ ├── readelf --wide --relocs {}
│ │ │ │ │ @@ -63,30 +63,30 @@
│ │ │ │ │  0000000000000380  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 90
│ │ │ │ │  0000000000000390  00000030000000fc R_PPC64_REL16_HA       0000000000000000 .TOC. + 0
│ │ │ │ │  0000000000000394  00000030000000fa R_PPC64_REL16_LO       0000000000000000 .TOC. + 4
│ │ │ │ │  00000000000003ac  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 198
│ │ │ │ │  00000000000003b0  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 198
│ │ │ │ │  00000000000003c0  00000030000000fc R_PPC64_REL16_HA       0000000000000000 .TOC. + 0
│ │ │ │ │  00000000000003c4  00000030000000fa R_PPC64_REL16_LO       0000000000000000 .TOC. + 4
│ │ │ │ │ -00000000000003d4  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 18
│ │ │ │ │ -00000000000003d8  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 18
│ │ │ │ │ +00000000000003d4  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 8
│ │ │ │ │ +00000000000003d8  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 8
│ │ │ │ │  000000000000040c  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 190
│ │ │ │ │  0000000000000410  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 190
│ │ │ │ │ -0000000000000424  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 10
│ │ │ │ │ -0000000000000428  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 10
│ │ │ │ │ +0000000000000424  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 0
│ │ │ │ │ +0000000000000428  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 0
│ │ │ │ │  0000000000000438  00000030000000fc R_PPC64_REL16_HA       0000000000000000 .TOC. + 0
│ │ │ │ │  000000000000043c  00000030000000fa R_PPC64_REL16_LO       0000000000000000 .TOC. + 4
│ │ │ │ │  000000000000046c  00000030000000fc R_PPC64_REL16_HA       0000000000000000 .TOC. + 0
│ │ │ │ │  0000000000000470  00000030000000fa R_PPC64_REL16_LO       0000000000000000 .TOC. + 4
│ │ │ │ │ -0000000000000480  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 8
│ │ │ │ │ -0000000000000484  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 8
│ │ │ │ │ +0000000000000480  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 18
│ │ │ │ │ +0000000000000484  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 18
│ │ │ │ │  00000000000004b8  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 170
│ │ │ │ │  00000000000004bc  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 170
│ │ │ │ │ -00000000000004d0  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 0
│ │ │ │ │ -00000000000004d4  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 0
│ │ │ │ │ +00000000000004d0  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 10
│ │ │ │ │ +00000000000004d4  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 10
│ │ │ │ │  00000000000004e4  00000030000000fc R_PPC64_REL16_HA       0000000000000000 .TOC. + 0
│ │ │ │ │  00000000000004e8  00000030000000fa R_PPC64_REL16_LO       0000000000000000 .TOC. + 4
│ │ │ │ │  0000000000000500  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 198
│ │ │ │ │  0000000000000504  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 198
│ │ │ │ │  0000000000000514  00000030000000fc R_PPC64_REL16_HA       0000000000000000 .TOC. + 0
│ │ │ │ │  0000000000000518  00000030000000fa R_PPC64_REL16_LO       0000000000000000 .TOC. + 4
│ │ │ │ │  0000000000000528  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 28
│ │ │ │ │ @@ -179,20 +179,20 @@
│ │ │ │ │  0000000000000a6c  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 1a8
│ │ │ │ │  0000000000000aa8  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 108
│ │ │ │ │  0000000000000aac  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 108
│ │ │ │ │  0000000000000ac0  00000030000000fc R_PPC64_REL16_HA       0000000000000000 .TOC. + 0
│ │ │ │ │  0000000000000ac4  00000030000000fa R_PPC64_REL16_LO       0000000000000000 .TOC. + 4
│ │ │ │ │  0000000000000ac8  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + f0
│ │ │ │ │  0000000000000acc  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + f0
│ │ │ │ │ -0000000000000ae0  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + a8
│ │ │ │ │ -0000000000000ae4  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + a8
│ │ │ │ │ +0000000000000ae0  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + a0
│ │ │ │ │ +0000000000000ae4  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + a0
│ │ │ │ │  0000000000000af0  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + f0
│ │ │ │ │  0000000000000af4  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + f0
│ │ │ │ │ -0000000000000afc  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + a0
│ │ │ │ │ -0000000000000b00  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + a0
│ │ │ │ │ +0000000000000afc  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + a8
│ │ │ │ │ +0000000000000b00  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + a8
│ │ │ │ │  0000000000000b2c  00000030000000fc R_PPC64_REL16_HA       0000000000000000 .TOC. + 0
│ │ │ │ │  0000000000000b30  00000030000000fa R_PPC64_REL16_LO       0000000000000000 .TOC. + 4
│ │ │ │ │  0000000000000b34  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + f0
│ │ │ │ │  0000000000000b38  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + f0
│ │ │ │ │  0000000000000b4c  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + b8
│ │ │ │ │  0000000000000b50  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + b8
│ │ │ │ │  0000000000000b5c  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + f0
│ │ │ │ │ @@ -238,18 +238,18 @@
│ │ │ │ │  
│ │ │ │ │  Relocation section '.rela.eh_frame' at offset 0x6a38 contains 1 entry:
│ │ │ │ │      Offset             Info             Type               Symbol's Value  Symbol's Name + Addend
│ │ │ │ │  000000000000001c  000000010000001a R_PPC64_REL32          0000000000000000 .text + cdc
│ │ │ │ │  
│ │ │ │ │  Relocation section '.rela.toc' at offset 0x6a50 contains 54 entries:
│ │ │ │ │      Offset             Info             Type               Symbol's Value  Symbol's Name + Addend
│ │ │ │ │ -0000000000000000  0000000100000026 R_PPC64_ADDR64         0000000000000000 .text + 4e4
│ │ │ │ │ -0000000000000008  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + 240
│ │ │ │ │ -0000000000000010  0000000100000026 R_PPC64_ADDR64         0000000000000000 .text + 438
│ │ │ │ │ -0000000000000018  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + 1e8
│ │ │ │ │ +0000000000000000  0000000100000026 R_PPC64_ADDR64         0000000000000000 .text + 438
│ │ │ │ │ +0000000000000008  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + 1e8
│ │ │ │ │ +0000000000000010  0000000100000026 R_PPC64_ADDR64         0000000000000000 .text + 4e4
│ │ │ │ │ +0000000000000018  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + 240
│ │ │ │ │  0000000000000020  0000000100000026 R_PPC64_ADDR64         0000000000000000 .text + 58c
│ │ │ │ │  0000000000000028  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + 298
│ │ │ │ │  0000000000000030  0000000100000026 R_PPC64_ADDR64         0000000000000000 .text + 638
│ │ │ │ │  0000000000000038  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + 2f0
│ │ │ │ │  0000000000000040  0000000100000026 R_PPC64_ADDR64         0000000000000000 .text + 6e0
│ │ │ │ │  0000000000000048  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + 348
│ │ │ │ │  0000000000000050  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + 3d0
│ │ │ │ │ @@ -258,16 +258,16 @@
│ │ │ │ │  0000000000000068  0000000100000026 R_PPC64_ADDR64         0000000000000000 .text + 120
│ │ │ │ │  0000000000000070  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + 88
│ │ │ │ │  0000000000000078  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + e0
│ │ │ │ │  0000000000000080  0000000100000026 R_PPC64_ADDR64         0000000000000000 .text + 2e4
│ │ │ │ │  0000000000000088  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + 138
│ │ │ │ │  0000000000000090  0000000100000026 R_PPC64_ADDR64         0000000000000000 .text + 390
│ │ │ │ │  0000000000000098  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + 190
│ │ │ │ │ -00000000000000a0  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + 8
│ │ │ │ │ -00000000000000a8  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + 0
│ │ │ │ │ +00000000000000a0  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + 0
│ │ │ │ │ +00000000000000a8  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + 8
│ │ │ │ │  00000000000000b0  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + 18
│ │ │ │ │  00000000000000b8  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + 10
│ │ │ │ │  00000000000000c0  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + 20
│ │ │ │ │  00000000000000c8  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + 28
│ │ │ │ │  00000000000000d0  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + 30
│ │ │ │ │  00000000000000d8  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + 40
│ │ │ │ │  00000000000000e0  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + 48
│ │ │ │ ├── strings --all --bytes=8 {}
│ │ │ │ │ @@ -2,29 +2,29 @@
│ │ │ │ │  <entire-module>
│ │ │ │ │  'C:PutMRef
│ │ │ │ │  'C:TakeMRef
│ │ │ │ │  TakeMRef
│ │ │ │ │  'C:NewMRef
│ │ │ │ │  Data.MRef.Types
│ │ │ │ │  stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.newMRef_rhc>
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.newEmptyMRef_rhd>
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.$WMRef_rIY>
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.$p1PutMRef_rHq>
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.putMReference_rh5>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.newMRef_rhk>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.newEmptyMRef_rhm>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.$WMRef_rHB>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.$p1PutMRef_rGa>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.putMReference_rh6>
│ │ │ │ │  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.$p1TakeMRef_rFo>
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.takeMReference_rh7>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.takeMReference_rha>
│ │ │ │ │  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.$p1NewMRef_ry5>
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.newMReference_rh9>
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.newEmptyMReference_rha>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.newMReference_rhe>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.newEmptyMReference_rhg>
│ │ │ │ │  ->>HasMRef
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.C:HasMRef_rKQ>
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.MRef_rIZ>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.C:HasMRef_rJr>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.MRef_rHC>
│ │ │ │ │  ->PutMRef
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.C:PutMRef_rHt>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.C:PutMRef_rGf>
│ │ │ │ │  ->TakeMRef
│ │ │ │ │  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.C:TakeMRef_rFr>
│ │ │ │ │  ->>NewMRef
│ │ │ │ │  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.C:NewMRef_ry8>
│ │ │ │ │  C:HasMRef
│ │ │ │ │  stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.C:HasMRef
│ │ │ │ │  stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.MRef
│ │ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}
│ │ │ │ │ @@ -328,17 +328,17 @@
│ │ │ │ │   R_PPC64_REL16_HA	.TOC.
│ │ │ │ │  	addi    r2,r2,0
│ │ │ │ │   R_PPC64_REL16_LO	.TOC.+0x4
│ │ │ │ │  	addi    r31,r24,-16
│ │ │ │ │  	cmpld   r31,r25
│ │ │ │ │  	blt-    40c <staterefzm0zi3zm3ZZTMHZZm9jHCNvp7ZZr5eYn_DataziMRefziTypes_zdp1TakeMRef_entry+0x4c>
│ │ │ │ │  	addis   r31,r2,0
│ │ │ │ │ - R_PPC64_TOC16_HA	.toc+0x18
│ │ │ │ │ + R_PPC64_TOC16_HA	.toc+0x8
│ │ │ │ │  	ld      r31,0(r31)
│ │ │ │ │ - R_PPC64_TOC16_LO_DS	.toc+0x18
│ │ │ │ │ + R_PPC64_TOC16_LO_DS	.toc+0x8
│ │ │ │ │  	std     r31,-16(r24)
│ │ │ │ │  	mr      r14,r15
│ │ │ │ │  	ld      r31,864(r27)
│ │ │ │ │  	std     r31,-8(r24)
│ │ │ │ │  	addi    r24,r24,-16
│ │ │ │ │  	andi.   r0,r14,7
│ │ │ │ │  	bne     424 <staterefzm0zi3zm3ZZTMHZZm9jHCNvp7ZZr5eYn_DataziMRefziTypes_zdp1TakeMRef_entry+0x64>
│ │ │ │ │ @@ -352,17 +352,17 @@
│ │ │ │ │  	ld      r14,0(r31)
│ │ │ │ │   R_PPC64_TOC16_LO_DS	.toc+0x190
│ │ │ │ │  	ld      r31,-8(r27)
│ │ │ │ │  	mr      r12,r31
│ │ │ │ │  	mtctr   r12
│ │ │ │ │  	bctr
│ │ │ │ │  	addis   r31,r2,0
│ │ │ │ │ - R_PPC64_TOC16_HA	.toc+0x10
│ │ │ │ │ + R_PPC64_TOC16_HA	.toc
│ │ │ │ │  	ld      r31,0(r31)
│ │ │ │ │ - R_PPC64_TOC16_LO_DS	.toc+0x10
│ │ │ │ │ + R_PPC64_TOC16_LO_DS	.toc
│ │ │ │ │  	mr      r12,r31
│ │ │ │ │  	mtctr   r12
│ │ │ │ │  	bctr
│ │ │ │ │  	addis   r2,r12,0
│ │ │ │ │   R_PPC64_REL16_HA	.TOC.
│ │ │ │ │  	addi    r2,r2,0
│ │ │ │ │   R_PPC64_REL16_LO	.TOC.+0x4
│ │ │ │ │ @@ -384,17 +384,17 @@
│ │ │ │ │   R_PPC64_REL16_HA	.TOC.
│ │ │ │ │  	addi    r2,r2,0
│ │ │ │ │   R_PPC64_REL16_LO	.TOC.+0x4
│ │ │ │ │  	addi    r31,r24,-16
│ │ │ │ │  	cmpld   r31,r25
│ │ │ │ │  	blt-    4b8 <staterefzm0zi3zm3ZZTMHZZm9jHCNvp7ZZr5eYn_DataziMRefziTypes_takeMReference_entry+0x4c>
│ │ │ │ │  	addis   r31,r2,0
│ │ │ │ │ - R_PPC64_TOC16_HA	.toc+0x8
│ │ │ │ │ + R_PPC64_TOC16_HA	.toc+0x18
│ │ │ │ │  	ld      r31,0(r31)
│ │ │ │ │ - R_PPC64_TOC16_LO_DS	.toc+0x8
│ │ │ │ │ + R_PPC64_TOC16_LO_DS	.toc+0x18
│ │ │ │ │  	std     r31,-16(r24)
│ │ │ │ │  	mr      r14,r15
│ │ │ │ │  	ld      r31,864(r27)
│ │ │ │ │  	std     r31,-8(r24)
│ │ │ │ │  	addi    r24,r24,-16
│ │ │ │ │  	andi.   r0,r14,7
│ │ │ │ │  	bne     4d0 <staterefzm0zi3zm3ZZTMHZZm9jHCNvp7ZZr5eYn_DataziMRefziTypes_takeMReference_entry+0x64>
│ │ │ │ │ @@ -408,17 +408,17 @@
│ │ │ │ │  	ld      r14,0(r31)
│ │ │ │ │   R_PPC64_TOC16_LO_DS	.toc+0x170
│ │ │ │ │  	ld      r31,-8(r27)
│ │ │ │ │  	mr      r12,r31
│ │ │ │ │  	mtctr   r12
│ │ │ │ │  	bctr
│ │ │ │ │  	addis   r31,r2,0
│ │ │ │ │ - R_PPC64_TOC16_HA	.toc
│ │ │ │ │ + R_PPC64_TOC16_HA	.toc+0x10
│ │ │ │ │  	ld      r31,0(r31)
│ │ │ │ │ - R_PPC64_TOC16_LO_DS	.toc
│ │ │ │ │ + R_PPC64_TOC16_LO_DS	.toc+0x10
│ │ │ │ │  	mr      r12,r31
│ │ │ │ │  	mtctr   r12
│ │ │ │ │  	bctr
│ │ │ │ │  	addis   r2,r12,0
│ │ │ │ │   R_PPC64_REL16_HA	.TOC.
│ │ │ │ │  	addi    r2,r2,0
│ │ │ │ │   R_PPC64_REL16_LO	.TOC.+0x4
│ │ │ │ │ @@ -925,28 +925,28 @@
│ │ │ │ │  	ld      r31,0(r31)
│ │ │ │ │   R_PPC64_TOC16_LO_DS	.toc+0xf0
│ │ │ │ │  	lwz     r31,0(r31)
│ │ │ │ │  	cmpldi  r31,0
│ │ │ │ │  	ble     b14 <staterefzm0zi3zm3ZZTMHZZm9jHCNvp7ZZr5eYn_DataziMRefziTypes_CZCHasMRef_con_entry+0x54>
│ │ │ │ │  	ld      r31,16(r14)
│ │ │ │ │  	addis   r29,r2,0
│ │ │ │ │ - R_PPC64_TOC16_HA	.toc+0xa8
│ │ │ │ │ + R_PPC64_TOC16_HA	.toc+0xa0
│ │ │ │ │  	ld      r29,0(r29)
│ │ │ │ │ - R_PPC64_TOC16_LO_DS	.toc+0xa8
│ │ │ │ │ + R_PPC64_TOC16_LO_DS	.toc+0xa0
│ │ │ │ │  	ld      r29,0(r29)
│ │ │ │ │  	and     r31,r31,r29
│ │ │ │ │  	addis   r29,r2,0
│ │ │ │ │   R_PPC64_TOC16_HA	.toc+0xf0
│ │ │ │ │  	ld      r29,0(r29)
│ │ │ │ │   R_PPC64_TOC16_LO_DS	.toc+0xf0
│ │ │ │ │  	lwz     r29,0(r29)
│ │ │ │ │  	addis   r28,r2,0
│ │ │ │ │ - R_PPC64_TOC16_HA	.toc+0xa0
│ │ │ │ │ + R_PPC64_TOC16_HA	.toc+0xa8
│ │ │ │ │  	ld      r28,0(r28)
│ │ │ │ │ - R_PPC64_TOC16_LO_DS	.toc+0xa0
│ │ │ │ │ + R_PPC64_TOC16_LO_DS	.toc+0xa8
│ │ │ │ │  	ld      r28,0(r28)
│ │ │ │ │  	or      r29,r29,r28
│ │ │ │ │  	or      r31,r31,r29
│ │ │ │ │  	std     r31,16(r14)
│ │ │ │ │  	addi    r14,r14,1
│ │ │ │ │  	ld      r31,0(r24)
│ │ │ │ │  	ld      r31,0(r31)
│ │ │ │ ├── readelf --wide --decompress --string-dump=.rodata.str {}
│ │ │ │ │ @@ -11,39 +11,39 @@
│ │ │ │ │    [    58]  'C:TakeMRef
│ │ │ │ │    [    68]  TakeMRef
│ │ │ │ │    [    78]  'C:NewMRef
│ │ │ │ │    [    88]  NewMRef
│ │ │ │ │    [    90]  Data.MRef.Types
│ │ │ │ │    [    a0]  stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn
│ │ │ │ │    [    c8]  ->*
│ │ │ │ │ -  [    d0]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.newMRef_rhc>
│ │ │ │ │ +  [    d0]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.newMRef_rhk>
│ │ │ │ │    [   118]  *
│ │ │ │ │ -  [   120]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.newEmptyMRef_rhd>
│ │ │ │ │ +  [   120]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.newEmptyMRef_rhm>
│ │ │ │ │    [   168]  ->MRef
│ │ │ │ │ -  [   170]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.$WMRef_rIY>
│ │ │ │ │ +  [   170]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.$WMRef_rHB>
│ │ │ │ │    [   1b0]  Monad
│ │ │ │ │ -  [   1b8]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.$p1PutMRef_rHq>
│ │ │ │ │ +  [   1b8]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.$p1PutMRef_rGa>
│ │ │ │ │    [   200]  ->>*
│ │ │ │ │ -  [   208]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.putMReference_rh5>
│ │ │ │ │ +  [   208]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.putMReference_rh6>
│ │ │ │ │    [   250]  Monad
│ │ │ │ │    [   258]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.$p1TakeMRef_rFo>
│ │ │ │ │    [   2a0]  ->*
│ │ │ │ │ -  [   2a8]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.takeMReference_rh7>
│ │ │ │ │ +  [   2a8]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.takeMReference_rha>
│ │ │ │ │    [   2f0]  Monad
│ │ │ │ │    [   2f8]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.$p1NewMRef_ry5>
│ │ │ │ │    [   340]  ->*
│ │ │ │ │ -  [   348]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.newMReference_rh9>
│ │ │ │ │ +  [   348]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.newMReference_rhe>
│ │ │ │ │    [   390]  *
│ │ │ │ │ -  [   398]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.newEmptyMReference_rha>
│ │ │ │ │ +  [   398]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.newEmptyMReference_rhg>
│ │ │ │ │    [   3e8]  ->>HasMRef
│ │ │ │ │ -  [   3f8]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.C:HasMRef_rKQ>
│ │ │ │ │ +  [   3f8]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.C:HasMRef_rJr>
│ │ │ │ │    [   440]  ->MRef
│ │ │ │ │ -  [   448]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.MRef_rIZ>
│ │ │ │ │ +  [   448]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.MRef_rHC>
│ │ │ │ │    [   488]  ->PutMRef
│ │ │ │ │ -  [   498]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.C:PutMRef_rHt>
│ │ │ │ │ +  [   498]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.C:PutMRef_rGf>
│ │ │ │ │    [   4e0]  ->TakeMRef
│ │ │ │ │    [   4f0]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.C:TakeMRef_rFr>
│ │ │ │ │    [   538]  ->>NewMRef
│ │ │ │ │    [   548]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.C:NewMRef_ry8>
│ │ │ │ │    [   590]  HasMRef
│ │ │ │ │    [   598]  C:HasMRef
│ │ │ │ │    [   5a8]  stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.MRef.Types.C:HasMRef
│ │ │ ├── Undecidable.p_o
│ │ │ │ ├── readelf --wide --relocs {}
│ │ │ │ │ @@ -62,16 +62,16 @@
│ │ │ │ │  0000000000000268  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 20
│ │ │ │ │  0000000000000274  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 150
│ │ │ │ │  0000000000000278  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 150
│ │ │ │ │  0000000000000280  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 28
│ │ │ │ │  0000000000000284  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 28
│ │ │ │ │  00000000000002b4  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 200
│ │ │ │ │  00000000000002b8  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 200
│ │ │ │ │ -00000000000002f8  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 128
│ │ │ │ │ -00000000000002fc  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 128
│ │ │ │ │ +00000000000002f8  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + e8
│ │ │ │ │ +00000000000002fc  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + e8
│ │ │ │ │  000000000000030c  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 150
│ │ │ │ │  0000000000000310  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 150
│ │ │ │ │  000000000000031c  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 208
│ │ │ │ │  0000000000000320  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 208
│ │ │ │ │  0000000000000348  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 1d8
│ │ │ │ │  000000000000034c  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 1d8
│ │ │ │ │  0000000000000378  00000017000000fc R_PPC64_REL16_HA       0000000000000000 .TOC. + 0
│ │ │ │ │ @@ -81,16 +81,16 @@
│ │ │ │ │  00000000000003b8  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 38
│ │ │ │ │  00000000000003bc  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 38
│ │ │ │ │  00000000000003c8  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 150
│ │ │ │ │  00000000000003cc  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 150
│ │ │ │ │  00000000000003d4  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 30
│ │ │ │ │  00000000000003d8  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 30
│ │ │ │ │  00000000000003fc  000000440000000a R_PPC64_REL24          0000000000000000 enterFunCCS + 0
│ │ │ │ │ -0000000000000440  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 130
│ │ │ │ │ -0000000000000444  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 130
│ │ │ │ │ +0000000000000440  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + f0
│ │ │ │ │ +0000000000000444  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + f0
│ │ │ │ │  0000000000000454  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 150
│ │ │ │ │  0000000000000458  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 150
│ │ │ │ │  0000000000000464  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 208
│ │ │ │ │  0000000000000468  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 208
│ │ │ │ │  000000000000048c  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 1e8
│ │ │ │ │  0000000000000490  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 1e8
│ │ │ │ │  00000000000004a0  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 1e0
│ │ │ │ │ @@ -118,22 +118,22 @@
│ │ │ │ │  00000000000005ec  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 150
│ │ │ │ │  00000000000005f0  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 150
│ │ │ │ │  00000000000005fc  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 208
│ │ │ │ │  0000000000000600  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 208
│ │ │ │ │  0000000000000618  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 1c0
│ │ │ │ │  000000000000061c  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 1c0
│ │ │ │ │  0000000000000620  0000003f0000000a R_PPC64_REL24          0000000000000000 pushCostCentre + 0
│ │ │ │ │ -000000000000064c  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 138
│ │ │ │ │ -0000000000000650  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 138
│ │ │ │ │ +000000000000064c  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + f8
│ │ │ │ │ +0000000000000650  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + f8
│ │ │ │ │  0000000000000660  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 150
│ │ │ │ │  0000000000000664  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 150
│ │ │ │ │  0000000000000670  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 208
│ │ │ │ │  0000000000000674  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 208
│ │ │ │ │ -00000000000006b0  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 120
│ │ │ │ │ -00000000000006b4  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 120
│ │ │ │ │ +00000000000006b0  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + e0
│ │ │ │ │ +00000000000006b4  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + e0
│ │ │ │ │  00000000000006c4  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 150
│ │ │ │ │  00000000000006c8  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 150
│ │ │ │ │  00000000000006d4  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 208
│ │ │ │ │  00000000000006d8  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 208
│ │ │ │ │  00000000000006f0  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 1e8
│ │ │ │ │  00000000000006f4  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 1e8
│ │ │ │ │  0000000000000704  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 1e0
│ │ │ │ │ @@ -142,34 +142,34 @@
│ │ │ │ │  0000000000000728  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 168
│ │ │ │ │  0000000000000740  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 190
│ │ │ │ │  0000000000000744  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 190
│ │ │ │ │  0000000000000758  00000017000000fc R_PPC64_REL16_HA       0000000000000000 .TOC. + 0
│ │ │ │ │  000000000000075c  00000017000000fa R_PPC64_REL16_LO       0000000000000000 .TOC. + 4
│ │ │ │ │  0000000000000764  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 150
│ │ │ │ │  0000000000000768  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 150
│ │ │ │ │ -000000000000077c  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 50
│ │ │ │ │ -0000000000000780  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 50
│ │ │ │ │ +000000000000077c  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 60
│ │ │ │ │ +0000000000000780  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 60
│ │ │ │ │  000000000000078c  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 150
│ │ │ │ │  0000000000000790  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 150
│ │ │ │ │ -0000000000000798  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 58
│ │ │ │ │ -000000000000079c  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 58
│ │ │ │ │ +0000000000000798  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 68
│ │ │ │ │ +000000000000079c  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 68
│ │ │ │ │  00000000000007bc  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 200
│ │ │ │ │  00000000000007c0  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 200
│ │ │ │ │  00000000000007e8  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 1c8
│ │ │ │ │  00000000000007ec  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 1c8
│ │ │ │ │  0000000000000810  00000017000000fc R_PPC64_REL16_HA       0000000000000000 .TOC. + 0
│ │ │ │ │  0000000000000814  00000017000000fa R_PPC64_REL16_LO       0000000000000000 .TOC. + 4
│ │ │ │ │  000000000000081c  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 150
│ │ │ │ │  0000000000000820  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 150
│ │ │ │ │ -0000000000000834  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 68
│ │ │ │ │ -0000000000000838  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 68
│ │ │ │ │ +0000000000000834  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 50
│ │ │ │ │ +0000000000000838  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 50
│ │ │ │ │  0000000000000844  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 150
│ │ │ │ │  0000000000000848  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 150
│ │ │ │ │ -0000000000000850  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 60
│ │ │ │ │ -0000000000000854  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 60
│ │ │ │ │ +0000000000000850  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 58
│ │ │ │ │ +0000000000000854  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 58
│ │ │ │ │  0000000000000884  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 200
│ │ │ │ │  0000000000000888  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 200
│ │ │ │ │  00000000000008c0  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 1f8
│ │ │ │ │  00000000000008c4  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 1f8
│ │ │ │ │  00000000000008d4  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 150
│ │ │ │ │  00000000000008d8  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 150
│ │ │ │ │  00000000000008e4  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 208
│ │ │ │ │ @@ -207,28 +207,28 @@
│ │ │ │ │  0000000000000acc  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 90
│ │ │ │ │  0000000000000ad0  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 90
│ │ │ │ │  0000000000000adc  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 150
│ │ │ │ │  0000000000000ae0  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 150
│ │ │ │ │  0000000000000ae8  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 98
│ │ │ │ │  0000000000000aec  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 98
│ │ │ │ │  0000000000000b10  000000440000000a R_PPC64_REL24          0000000000000000 enterFunCCS + 0
│ │ │ │ │ -0000000000000b4c  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 148
│ │ │ │ │ -0000000000000b50  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 148
│ │ │ │ │ +0000000000000b4c  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 108
│ │ │ │ │ +0000000000000b50  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 108
│ │ │ │ │  0000000000000b60  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 150
│ │ │ │ │  0000000000000b64  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 150
│ │ │ │ │  0000000000000b70  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 208
│ │ │ │ │  0000000000000b74  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 208
│ │ │ │ │ -0000000000000ba0  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + e8
│ │ │ │ │ -0000000000000ba4  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + e8
│ │ │ │ │ +0000000000000ba0  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 120
│ │ │ │ │ +0000000000000ba4  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 120
│ │ │ │ │  0000000000000bb4  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 150
│ │ │ │ │  0000000000000bb8  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 150
│ │ │ │ │  0000000000000bc4  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 208
│ │ │ │ │  0000000000000bc8  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 208
│ │ │ │ │ -0000000000000bf8  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + e0
│ │ │ │ │ -0000000000000bfc  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + e0
│ │ │ │ │ +0000000000000bf8  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 110
│ │ │ │ │ +0000000000000bfc  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 110
│ │ │ │ │  0000000000000c0c  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 150
│ │ │ │ │  0000000000000c10  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 150
│ │ │ │ │  0000000000000c1c  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 208
│ │ │ │ │  0000000000000c20  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 208
│ │ │ │ │  0000000000000c40  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 1e8
│ │ │ │ │  0000000000000c44  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 1e8
│ │ │ │ │  0000000000000c54  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 1e0
│ │ │ │ │ @@ -250,22 +250,22 @@
│ │ │ │ │  0000000000000d30  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 1c8
│ │ │ │ │  0000000000000d34  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 1c8
│ │ │ │ │  0000000000000d58  00000017000000fc R_PPC64_REL16_HA       0000000000000000 .TOC. + 0
│ │ │ │ │  0000000000000d5c  00000017000000fa R_PPC64_REL16_LO       0000000000000000 .TOC. + 4
│ │ │ │ │  0000000000000d80  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 1b8
│ │ │ │ │  0000000000000d84  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 1b8
│ │ │ │ │  0000000000000d88  0000003f0000000a R_PPC64_REL24          0000000000000000 pushCostCentre + 0
│ │ │ │ │ -0000000000000db4  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + f0
│ │ │ │ │ -0000000000000db8  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + f0
│ │ │ │ │ +0000000000000db4  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 128
│ │ │ │ │ +0000000000000db8  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 128
│ │ │ │ │  0000000000000dc8  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 150
│ │ │ │ │  0000000000000dcc  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 150
│ │ │ │ │  0000000000000dd8  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 208
│ │ │ │ │  0000000000000ddc  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 208
│ │ │ │ │ -0000000000000e10  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 140
│ │ │ │ │ -0000000000000e14  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 140
│ │ │ │ │ +0000000000000e10  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 100
│ │ │ │ │ +0000000000000e14  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 100
│ │ │ │ │  0000000000000e24  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 150
│ │ │ │ │  0000000000000e28  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 150
│ │ │ │ │  0000000000000e34  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 208
│ │ │ │ │  0000000000000e38  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 208
│ │ │ │ │  0000000000000e50  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 1e8
│ │ │ │ │  0000000000000e54  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 1e8
│ │ │ │ │  0000000000000e64  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 1e0
│ │ │ │ │ @@ -274,20 +274,20 @@
│ │ │ │ │  0000000000000e88  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 168
│ │ │ │ │  0000000000000ea0  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 180
│ │ │ │ │  0000000000000ea4  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 180
│ │ │ │ │  0000000000000eb8  00000017000000fc R_PPC64_REL16_HA       0000000000000000 .TOC. + 0
│ │ │ │ │  0000000000000ebc  00000017000000fa R_PPC64_REL16_LO       0000000000000000 .TOC. + 4
│ │ │ │ │  0000000000000ec0  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 150
│ │ │ │ │  0000000000000ec4  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 150
│ │ │ │ │ -0000000000000edc  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + a0
│ │ │ │ │ -0000000000000ee0  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + a0
│ │ │ │ │ +0000000000000edc  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + a8
│ │ │ │ │ +0000000000000ee0  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + a8
│ │ │ │ │  0000000000000eec  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 150
│ │ │ │ │  0000000000000ef0  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 150
│ │ │ │ │ -0000000000000ef8  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + a8
│ │ │ │ │ -0000000000000efc  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + a8
│ │ │ │ │ +0000000000000ef8  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + a0
│ │ │ │ │ +0000000000000efc  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + a0
│ │ │ │ │  0000000000000f20  000000440000000a R_PPC64_REL24          0000000000000000 enterFunCCS + 0
│ │ │ │ │  0000000000000f48  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 198
│ │ │ │ │  0000000000000f4c  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 198
│ │ │ │ │  0000000000000f5c  00000017000000fc R_PPC64_REL16_HA       0000000000000000 .TOC. + 0
│ │ │ │ │  0000000000000f60  00000017000000fa R_PPC64_REL16_LO       0000000000000000 .TOC. + 4
│ │ │ │ │  0000000000000f64  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 150
│ │ │ │ │  0000000000000f68  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 150
│ │ │ │ │ @@ -324,34 +324,34 @@
│ │ │ │ │  00000000000010cc  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + d8
│ │ │ │ │  00000000000010d0  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + d8
│ │ │ │ │  00000000000010f4  000000440000000a R_PPC64_REL24          0000000000000000 enterFunCCS + 0
│ │ │ │ │  0000000000001104  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 1c8
│ │ │ │ │  0000000000001108  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 1c8
│ │ │ │ │  0000000000001118  00000017000000fc R_PPC64_REL16_HA       0000000000000000 .TOC. + 0
│ │ │ │ │  000000000000111c  00000017000000fa R_PPC64_REL16_LO       0000000000000000 .TOC. + 4
│ │ │ │ │ -0000000000001144  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 110
│ │ │ │ │ -0000000000001148  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 110
│ │ │ │ │ +0000000000001144  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 148
│ │ │ │ │ +0000000000001148  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 148
│ │ │ │ │  0000000000001158  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 150
│ │ │ │ │  000000000000115c  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 150
│ │ │ │ │  0000000000001168  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 208
│ │ │ │ │  000000000000116c  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 208
│ │ │ │ │ -000000000000119c  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 108
│ │ │ │ │ -00000000000011a0  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 108
│ │ │ │ │ +000000000000119c  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 140
│ │ │ │ │ +00000000000011a0  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 140
│ │ │ │ │  00000000000011b0  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 150
│ │ │ │ │  00000000000011b4  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 150
│ │ │ │ │  00000000000011c0  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 208
│ │ │ │ │  00000000000011c4  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 208
│ │ │ │ │ -00000000000011f4  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 100
│ │ │ │ │ -00000000000011f8  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 100
│ │ │ │ │ +00000000000011f4  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 138
│ │ │ │ │ +00000000000011f8  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 138
│ │ │ │ │  0000000000001208  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 150
│ │ │ │ │  000000000000120c  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 150
│ │ │ │ │  0000000000001218  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 208
│ │ │ │ │  000000000000121c  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 208
│ │ │ │ │ -0000000000001244  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + f8
│ │ │ │ │ -0000000000001248  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + f8
│ │ │ │ │ +0000000000001244  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 130
│ │ │ │ │ +0000000000001248  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 130
│ │ │ │ │  0000000000001258  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 150
│ │ │ │ │  000000000000125c  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 150
│ │ │ │ │  0000000000001268  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 208
│ │ │ │ │  000000000000126c  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 208
│ │ │ │ │  0000000000001294  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 1b0
│ │ │ │ │  0000000000001298  0000000400000040 R_PPC64_TOC16_LO_DS    0000000000000000 .toc + 1b0
│ │ │ │ │  00000000000012a8  0000000400000032 R_PPC64_TOC16_HA       0000000000000000 .toc + 150
│ │ │ │ │ @@ -379,46 +379,46 @@
│ │ │ │ │  0000000000000018  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + 18
│ │ │ │ │  0000000000000020  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + 20
│ │ │ │ │  0000000000000028  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + 28
│ │ │ │ │  0000000000000030  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + 38
│ │ │ │ │  0000000000000038  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + 30
│ │ │ │ │  0000000000000040  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + 40
│ │ │ │ │  0000000000000048  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + 48
│ │ │ │ │ -0000000000000050  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + 50
│ │ │ │ │ -0000000000000058  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + 58
│ │ │ │ │ -0000000000000060  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + 68
│ │ │ │ │ -0000000000000068  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + 60
│ │ │ │ │ +0000000000000050  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + 60
│ │ │ │ │ +0000000000000058  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + 68
│ │ │ │ │ +0000000000000060  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + 50
│ │ │ │ │ +0000000000000068  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + 58
│ │ │ │ │  0000000000000070  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + 70
│ │ │ │ │  0000000000000078  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + 78
│ │ │ │ │  0000000000000080  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + 90
│ │ │ │ │  0000000000000088  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + 98
│ │ │ │ │  0000000000000090  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + 80
│ │ │ │ │  0000000000000098  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + 88
│ │ │ │ │ -00000000000000a0  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + a0
│ │ │ │ │ -00000000000000a8  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + a8
│ │ │ │ │ +00000000000000a0  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + a8
│ │ │ │ │ +00000000000000a8  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + a0
│ │ │ │ │  00000000000000b0  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + b0
│ │ │ │ │  00000000000000b8  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + c8
│ │ │ │ │  00000000000000c0  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + b8
│ │ │ │ │  00000000000000c8  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + c0
│ │ │ │ │  00000000000000d0  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + d0
│ │ │ │ │  00000000000000d8  0000000200000026 R_PPC64_ADDR64         0000000000000000 .rodata + d8
│ │ │ │ │ -00000000000000e0  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + 210
│ │ │ │ │ -00000000000000e8  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + 1e8
│ │ │ │ │ -00000000000000f0  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + 238
│ │ │ │ │ -00000000000000f8  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + 350
│ │ │ │ │ -0000000000000100  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + 320
│ │ │ │ │ -0000000000000108  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + 2f0
│ │ │ │ │ -0000000000000110  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + 2c0
│ │ │ │ │ +00000000000000e0  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + 168
│ │ │ │ │ +00000000000000e8  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + e8
│ │ │ │ │ +00000000000000f0  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + 110
│ │ │ │ │ +00000000000000f8  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + 138
│ │ │ │ │ +0000000000000100  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + 268
│ │ │ │ │ +0000000000000108  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + 1c0
│ │ │ │ │ +0000000000000110  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + 210
│ │ │ │ │  0000000000000118  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + c0
│ │ │ │ │ -0000000000000120  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + 168
│ │ │ │ │ -0000000000000128  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + e8
│ │ │ │ │ -0000000000000130  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + 110
│ │ │ │ │ -0000000000000138  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + 138
│ │ │ │ │ -0000000000000140  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + 268
│ │ │ │ │ -0000000000000148  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + 1c0
│ │ │ │ │ +0000000000000120  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + 1e8
│ │ │ │ │ +0000000000000128  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + 238
│ │ │ │ │ +0000000000000130  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + 350
│ │ │ │ │ +0000000000000138  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + 320
│ │ │ │ │ +0000000000000140  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + 2f0
│ │ │ │ │ +0000000000000148  0000000600000026 R_PPC64_ADDR64         0000000000000000 .data.rel.ro + 2c0
│ │ │ │ │  0000000000000150  0000003700000026 R_PPC64_ADDR64         0000000000000000 era + 0
│ │ │ │ │  0000000000000158  0000003000000026 R_PPC64_ADDR64         0000000000000000 ghczminternal_GHCziInternalziBase_return_entry + 0
│ │ │ │ │  0000000000000160  0000002700000026 R_PPC64_ADDR64         0000000000000000 ghczminternal_GHCziInternalziBase_zgzg_entry + 0
│ │ │ │ │  0000000000000168  0000001500000026 R_PPC64_ADDR64         0000000000000000 ghczminternal_GHCziInternalziBase_zgzgze_entry + 0
│ │ │ │ │  0000000000000170  0000001100000026 R_PPC64_ADDR64         0000000000000000 ghczmprim_GHCziTuple_Z0T_closure + 0
│ │ │ │ │  0000000000000178  0000000a00000026 R_PPC64_ADDR64         0000000000000130 staterefzm0zi3zm3ZZTMHZZm9jHCNvp7ZZr5eYn_DataziStateRefziInstancesziUndecidable_zdfModifyRefUnsafeModifyRefma_closure + 0
│ │ │ │ │  0000000000000180  0000002d00000026 R_PPC64_ADDR64         0000000000000118 staterefzm0zi3zm3ZZTMHZZm9jHCNvp7ZZr5eYn_DataziStateRefziInstancesziUndecidable_zdfModifyRefUnsafeModifyRefmazuzdcatomicModifyReference_closure + 0
│ │ │ │ ├── strings --all --bytes=8 {}
│ │ │ │ │ @@ -1,37 +1,37 @@
│ │ │ │ │  Data.StateRef.Instances.Undecidable
│ │ │ │ │  <entire-module>
│ │ │ │ │  'UnsafeModifyRef
│ │ │ │ │  UnsafeModifyRef
│ │ │ │ │  Data.StateRef.Instances.Undecidable
│ │ │ │ │  stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.$fReadRefUnsafeModifyRefma_$creadReference_r28g>
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.$fReadRefUnsafeModifyRefma_r1CL>
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.$fWriteRefUnsafeModifyRefma_$cwriteReference_r28h>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.$fReadRefUnsafeModifyRefma_$creadReference_r28j>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.$fReadRefUnsafeModifyRefma_r1Cu>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.$fWriteRefUnsafeModifyRefma_$cwriteReference_r28l>
│ │ │ │ │  WriteRef
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.$fWriteRefUnsafeModifyRefma_r1BH>
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.lvl_s29g>
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s29j>
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s29k>
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s29l>
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s29h>
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.$fModifyRefUnsafeModifyRefma_$cmodifyReference_r28e>
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.ds_s29t>
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s29K>
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s29B>
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s29L>
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s29r>
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.$fModifyRefUnsafeModifyRefma_$catomicModifyReference_r28f>
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s29U>
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s29T>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.$fWriteRefUnsafeModifyRefma_r1BV>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.lvl_s29t>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s29G>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s29H>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s29I>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s29E>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.$fModifyRefUnsafeModifyRefma_$cmodifyReference_r27W>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.ds_s29Q>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s2a0>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s29V>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s2a1>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s29O>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.$fModifyRefUnsafeModifyRefma_$catomicModifyReference_r289>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s2aa>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s2a9>
│ │ │ │ │  WriteRef
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s29S>
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s29Q>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s2a8>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s2a6>
│ │ │ │ │  ModifyRef
│ │ │ │ │ -<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.$fModifyRefUnsafeModifyRefma_r1B7>
│ │ │ │ │ +<stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.$fModifyRefUnsafeModifyRefma_r1Bc>
│ │ │ │ │  staterefzm0zi3zm3ZZTMHZZm9jHCNvp7ZZr5eYn_DataziStateRefziInstancesziUndecidable_zdtczqUnsafeModifyRef3_bytes
│ │ │ │ │  stg_sel_0_upd_info
│ │ │ │ │  staterefzm0zi3zm3ZZTMHZZm9jHCNvp7ZZr5eYn_DataziStateRefziInstancesziUndecidable_zdfModifyRefUnsafeModifyRefma_closure
│ │ │ │ │  ghczmprim_GHCziTypes_krepzdztArrzt_closure
│ │ │ │ │  ghczmprim_GHCziTypes_KindRepTyConApp_con_info
│ │ │ │ │  staterefzm0zi3zm3ZZTMHZZm9jHCNvp7ZZr5eYn_DataziStateRefziInstancesziUndecidable_zdfReadRefUnsafeModifyRefma_closure
│ │ │ │ │  stg_sel_1_upd_info
│ │ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}
│ │ │ │ │ @@ -266,17 +266,17 @@
│ │ │ │ │  	ld      r31,56(r31)
│ │ │ │ │  	ld      r22,864(r27)
│ │ │ │ │  	ld      r22,72(r22)
│ │ │ │ │  	addi    r22,r22,4
│ │ │ │ │  	ld      r21,864(r27)
│ │ │ │ │  	std     r22,72(r21)
│ │ │ │ │  	addis   r22,r2,0
│ │ │ │ │ - R_PPC64_TOC16_HA	.toc+0x128
│ │ │ │ │ + R_PPC64_TOC16_HA	.toc+0xe8
│ │ │ │ │  	ld      r22,0(r22)
│ │ │ │ │ - R_PPC64_TOC16_LO_DS	.toc+0x128
│ │ │ │ │ + R_PPC64_TOC16_LO_DS	.toc+0xe8
│ │ │ │ │  	std     r22,-40(r26)
│ │ │ │ │  	ld      r22,864(r27)
│ │ │ │ │  	std     r22,-32(r26)
│ │ │ │ │  	addis   r22,r2,0
│ │ │ │ │   R_PPC64_TOC16_HA	.toc+0x150
│ │ │ │ │  	ld      r22,0(r22)
│ │ │ │ │   R_PPC64_TOC16_LO_DS	.toc+0x150
│ │ │ │ │ @@ -367,17 +367,17 @@
│ │ │ │ │  	ld      r22,0(r22)
│ │ │ │ │  	ld      r21,864(r27)
│ │ │ │ │  	ld      r21,72(r21)
│ │ │ │ │  	addi    r21,r21,6
│ │ │ │ │  	ld      r20,864(r27)
│ │ │ │ │  	std     r21,72(r20)
│ │ │ │ │  	addis   r21,r2,0
│ │ │ │ │ - R_PPC64_TOC16_HA	.toc+0x130
│ │ │ │ │ + R_PPC64_TOC16_HA	.toc+0xf0
│ │ │ │ │  	ld      r21,0(r21)
│ │ │ │ │ - R_PPC64_TOC16_LO_DS	.toc+0x130
│ │ │ │ │ + R_PPC64_TOC16_LO_DS	.toc+0xf0
│ │ │ │ │  	std     r21,-56(r26)
│ │ │ │ │  	ld      r21,864(r27)
│ │ │ │ │  	std     r21,-48(r26)
│ │ │ │ │  	addis   r21,r2,0
│ │ │ │ │   R_PPC64_TOC16_HA	.toc+0x150
│ │ │ │ │  	ld      r21,0(r21)
│ │ │ │ │   R_PPC64_TOC16_LO_DS	.toc+0x150
│ │ │ │ │ @@ -538,17 +538,17 @@
│ │ │ │ │  	std     r3,864(r27)
│ │ │ │ │  	ld      r31,864(r27)
│ │ │ │ │  	ld      r31,72(r31)
│ │ │ │ │  	addi    r31,r31,6
│ │ │ │ │  	ld      r29,864(r27)
│ │ │ │ │  	std     r31,72(r29)
│ │ │ │ │  	addis   r31,r2,0
│ │ │ │ │ - R_PPC64_TOC16_HA	.toc+0x138
│ │ │ │ │ + R_PPC64_TOC16_HA	.toc+0xf8
│ │ │ │ │  	ld      r31,0(r31)
│ │ │ │ │ - R_PPC64_TOC16_LO_DS	.toc+0x138
│ │ │ │ │ + R_PPC64_TOC16_LO_DS	.toc+0xf8
│ │ │ │ │  	std     r31,-104(r26)
│ │ │ │ │  	ld      r31,864(r27)
│ │ │ │ │  	std     r31,-96(r26)
│ │ │ │ │  	addis   r31,r2,0
│ │ │ │ │   R_PPC64_TOC16_HA	.toc+0x150
│ │ │ │ │  	ld      r31,0(r31)
│ │ │ │ │   R_PPC64_TOC16_LO_DS	.toc+0x150
│ │ │ │ │ @@ -569,17 +569,17 @@
│ │ │ │ │  	std     r31,-48(r26)
│ │ │ │ │  	ld      r31,864(r27)
│ │ │ │ │  	ld      r31,72(r31)
│ │ │ │ │  	addi    r31,r31,4
│ │ │ │ │  	ld      r29,864(r27)
│ │ │ │ │  	std     r31,72(r29)
│ │ │ │ │  	addis   r31,r2,0
│ │ │ │ │ - R_PPC64_TOC16_HA	.toc+0x120
│ │ │ │ │ + R_PPC64_TOC16_HA	.toc+0xe0
│ │ │ │ │  	ld      r31,0(r31)
│ │ │ │ │ - R_PPC64_TOC16_LO_DS	.toc+0x120
│ │ │ │ │ + R_PPC64_TOC16_LO_DS	.toc+0xe0
│ │ │ │ │  	std     r31,-40(r26)
│ │ │ │ │  	ld      r31,864(r27)
│ │ │ │ │  	std     r31,-32(r26)
│ │ │ │ │  	addis   r31,r2,0
│ │ │ │ │   R_PPC64_TOC16_HA	.toc+0x150
│ │ │ │ │  	ld      r31,0(r31)
│ │ │ │ │   R_PPC64_TOC16_LO_DS	.toc+0x150
│ │ │ │ │ @@ -638,28 +638,28 @@
│ │ │ │ │  	ld      r29,0(r29)
│ │ │ │ │   R_PPC64_TOC16_LO_DS	.toc+0x150
│ │ │ │ │  	lwz     r29,0(r29)
│ │ │ │ │  	cmpldi  r29,0
│ │ │ │ │  	ble     7b0 <staterefzm0zi3zm3ZZTMHZZm9jHCNvp7ZZr5eYn_DataziStateRefziInstancesziUndecidable_zdfModifyRefUnsafeModifyRefmazuzdcmodifyReference_entry+0x210>
│ │ │ │ │  	ld      r29,16(r31)
│ │ │ │ │  	addis   r28,r2,0
│ │ │ │ │ - R_PPC64_TOC16_HA	.toc+0x50
│ │ │ │ │ + R_PPC64_TOC16_HA	.toc+0x60
│ │ │ │ │  	ld      r28,0(r28)
│ │ │ │ │ - R_PPC64_TOC16_LO_DS	.toc+0x50
│ │ │ │ │ + R_PPC64_TOC16_LO_DS	.toc+0x60
│ │ │ │ │  	ld      r28,0(r28)
│ │ │ │ │  	and     r29,r29,r28
│ │ │ │ │  	addis   r28,r2,0
│ │ │ │ │   R_PPC64_TOC16_HA	.toc+0x150
│ │ │ │ │  	ld      r28,0(r28)
│ │ │ │ │   R_PPC64_TOC16_LO_DS	.toc+0x150
│ │ │ │ │  	lwz     r28,0(r28)
│ │ │ │ │  	addis   r23,r2,0
│ │ │ │ │ - R_PPC64_TOC16_HA	.toc+0x58
│ │ │ │ │ + R_PPC64_TOC16_HA	.toc+0x68
│ │ │ │ │  	ld      r23,0(r23)
│ │ │ │ │ - R_PPC64_TOC16_LO_DS	.toc+0x58
│ │ │ │ │ + R_PPC64_TOC16_LO_DS	.toc+0x68
│ │ │ │ │  	ld      r23,0(r23)
│ │ │ │ │  	or      r28,r28,r23
│ │ │ │ │  	or      r29,r29,r28
│ │ │ │ │  	std     r29,16(r31)
│ │ │ │ │  	addi    r29,r24,-32
│ │ │ │ │  	cmpld   r29,r25
│ │ │ │ │  	blt-    7fc <staterefzm0zi3zm3ZZTMHZZm9jHCNvp7ZZr5eYn_DataziStateRefziInstancesziUndecidable_zdfModifyRefUnsafeModifyRefmazuzdcmodifyReference_entry+0x25c>
│ │ │ │ │ @@ -698,28 +698,28 @@
│ │ │ │ │  	ld      r29,0(r29)
│ │ │ │ │   R_PPC64_TOC16_LO_DS	.toc+0x150
│ │ │ │ │  	lwz     r29,0(r29)
│ │ │ │ │  	cmpldi  r29,0
│ │ │ │ │  	ble     868 <staterefzm0zi3zm3ZZTMHZZm9jHCNvp7ZZr5eYn_DataziStateRefziInstancesziUndecidable_zdfModifyRefUnsafeModifyRefmazuzdcmodifyReference_entry+0x2c8>
│ │ │ │ │  	ld      r29,16(r31)
│ │ │ │ │  	addis   r28,r2,0
│ │ │ │ │ - R_PPC64_TOC16_HA	.toc+0x68
│ │ │ │ │ + R_PPC64_TOC16_HA	.toc+0x50
│ │ │ │ │  	ld      r28,0(r28)
│ │ │ │ │ - R_PPC64_TOC16_LO_DS	.toc+0x68
│ │ │ │ │ + R_PPC64_TOC16_LO_DS	.toc+0x50
│ │ │ │ │  	ld      r28,0(r28)
│ │ │ │ │  	and     r29,r29,r28
│ │ │ │ │  	addis   r28,r2,0
│ │ │ │ │   R_PPC64_TOC16_HA	.toc+0x150
│ │ │ │ │  	ld      r28,0(r28)
│ │ │ │ │   R_PPC64_TOC16_LO_DS	.toc+0x150
│ │ │ │ │  	lwz     r28,0(r28)
│ │ │ │ │  	addis   r23,r2,0
│ │ │ │ │ - R_PPC64_TOC16_HA	.toc+0x60
│ │ │ │ │ + R_PPC64_TOC16_HA	.toc+0x58
│ │ │ │ │  	ld      r23,0(r23)
│ │ │ │ │ - R_PPC64_TOC16_LO_DS	.toc+0x60
│ │ │ │ │ + R_PPC64_TOC16_LO_DS	.toc+0x58
│ │ │ │ │  	ld      r23,0(r23)
│ │ │ │ │  	or      r28,r28,r23
│ │ │ │ │  	or      r29,r29,r28
│ │ │ │ │  	std     r29,16(r31)
│ │ │ │ │  	addi    r29,r24,-64
│ │ │ │ │  	cmpld   r29,r25
│ │ │ │ │  	blt-    948 <staterefzm0zi3zm3ZZTMHZZm9jHCNvp7ZZr5eYn_DataziStateRefziInstancesziUndecidable_zdfModifyRefUnsafeModifyRefmazuzdcmodifyReference_entry+0x3a8>
│ │ │ │ │ @@ -947,17 +947,17 @@
│ │ │ │ │  	ld      r23,0(r23)
│ │ │ │ │  	ld      r22,864(r27)
│ │ │ │ │  	ld      r22,72(r22)
│ │ │ │ │  	addi    r22,r22,4
│ │ │ │ │  	ld      r21,864(r27)
│ │ │ │ │  	std     r22,72(r21)
│ │ │ │ │  	addis   r22,r2,0
│ │ │ │ │ - R_PPC64_TOC16_HA	.toc+0x148
│ │ │ │ │ + R_PPC64_TOC16_HA	.toc+0x108
│ │ │ │ │  	ld      r22,0(r22)
│ │ │ │ │ - R_PPC64_TOC16_LO_DS	.toc+0x148
│ │ │ │ │ + R_PPC64_TOC16_LO_DS	.toc+0x108
│ │ │ │ │  	std     r22,-144(r26)
│ │ │ │ │  	ld      r22,864(r27)
│ │ │ │ │  	std     r22,-136(r26)
│ │ │ │ │  	addis   r22,r2,0
│ │ │ │ │   R_PPC64_TOC16_HA	.toc+0x150
│ │ │ │ │  	ld      r22,0(r22)
│ │ │ │ │   R_PPC64_TOC16_LO_DS	.toc+0x150
│ │ │ │ │ @@ -974,17 +974,17 @@
│ │ │ │ │  	std     r23,-104(r26)
│ │ │ │ │  	ld      r23,864(r27)
│ │ │ │ │  	ld      r23,72(r23)
│ │ │ │ │  	addi    r23,r23,4
│ │ │ │ │  	ld      r22,864(r27)
│ │ │ │ │  	std     r23,72(r22)
│ │ │ │ │  	addis   r23,r2,0
│ │ │ │ │ - R_PPC64_TOC16_HA	.toc+0xe8
│ │ │ │ │ + R_PPC64_TOC16_HA	.toc+0x120
│ │ │ │ │  	ld      r23,0(r23)
│ │ │ │ │ - R_PPC64_TOC16_LO_DS	.toc+0xe8
│ │ │ │ │ + R_PPC64_TOC16_LO_DS	.toc+0x120
│ │ │ │ │  	std     r23,-96(r26)
│ │ │ │ │  	ld      r23,864(r27)
│ │ │ │ │  	std     r23,-88(r26)
│ │ │ │ │  	addis   r23,r2,0
│ │ │ │ │   R_PPC64_TOC16_HA	.toc+0x150
│ │ │ │ │  	ld      r23,0(r23)
│ │ │ │ │   R_PPC64_TOC16_LO_DS	.toc+0x150
│ │ │ │ │ @@ -1002,17 +1002,17 @@
│ │ │ │ │  	std     r28,-56(r26)
│ │ │ │ │  	ld      r22,864(r27)
│ │ │ │ │  	ld      r22,72(r22)
│ │ │ │ │  	addi    r22,r22,5
│ │ │ │ │  	ld      r21,864(r27)
│ │ │ │ │  	std     r22,72(r21)
│ │ │ │ │  	addis   r22,r2,0
│ │ │ │ │ - R_PPC64_TOC16_HA	.toc+0xe0
│ │ │ │ │ + R_PPC64_TOC16_HA	.toc+0x110
│ │ │ │ │  	ld      r22,0(r22)
│ │ │ │ │ - R_PPC64_TOC16_LO_DS	.toc+0xe0
│ │ │ │ │ + R_PPC64_TOC16_LO_DS	.toc+0x110
│ │ │ │ │  	std     r22,-48(r26)
│ │ │ │ │  	ld      r22,864(r27)
│ │ │ │ │  	std     r22,-40(r26)
│ │ │ │ │  	addis   r22,r2,0
│ │ │ │ │   R_PPC64_TOC16_HA	.toc+0x150
│ │ │ │ │  	ld      r22,0(r22)
│ │ │ │ │   R_PPC64_TOC16_LO_DS	.toc+0x150
│ │ │ │ │ @@ -1147,17 +1147,17 @@
│ │ │ │ │  	std     r3,864(r27)
│ │ │ │ │  	ld      r31,864(r27)
│ │ │ │ │  	ld      r31,72(r31)
│ │ │ │ │  	addi    r31,r31,5
│ │ │ │ │  	ld      r29,864(r27)
│ │ │ │ │  	std     r31,72(r29)
│ │ │ │ │  	addis   r31,r2,0
│ │ │ │ │ - R_PPC64_TOC16_HA	.toc+0xf0
│ │ │ │ │ + R_PPC64_TOC16_HA	.toc+0x128
│ │ │ │ │  	ld      r31,0(r31)
│ │ │ │ │ - R_PPC64_TOC16_LO_DS	.toc+0xf0
│ │ │ │ │ + R_PPC64_TOC16_LO_DS	.toc+0x128
│ │ │ │ │  	std     r31,-96(r26)
│ │ │ │ │  	ld      r31,864(r27)
│ │ │ │ │  	std     r31,-88(r26)
│ │ │ │ │  	addis   r31,r2,0
│ │ │ │ │   R_PPC64_TOC16_HA	.toc+0x150
│ │ │ │ │  	ld      r31,0(r31)
│ │ │ │ │   R_PPC64_TOC16_LO_DS	.toc+0x150
│ │ │ │ │ @@ -1176,17 +1176,17 @@
│ │ │ │ │  	std     r19,-48(r26)
│ │ │ │ │  	ld      r31,864(r27)
│ │ │ │ │  	ld      r31,72(r31)
│ │ │ │ │  	addi    r31,r31,4
│ │ │ │ │  	ld      r29,864(r27)
│ │ │ │ │  	std     r31,72(r29)
│ │ │ │ │  	addis   r31,r2,0
│ │ │ │ │ - R_PPC64_TOC16_HA	.toc+0x140
│ │ │ │ │ + R_PPC64_TOC16_HA	.toc+0x100
│ │ │ │ │  	ld      r31,0(r31)
│ │ │ │ │ - R_PPC64_TOC16_LO_DS	.toc+0x140
│ │ │ │ │ + R_PPC64_TOC16_LO_DS	.toc+0x100
│ │ │ │ │  	std     r31,-40(r26)
│ │ │ │ │  	ld      r31,864(r27)
│ │ │ │ │  	std     r31,-32(r26)
│ │ │ │ │  	addis   r31,r2,0
│ │ │ │ │   R_PPC64_TOC16_HA	.toc+0x150
│ │ │ │ │  	ld      r31,0(r31)
│ │ │ │ │   R_PPC64_TOC16_LO_DS	.toc+0x150
│ │ │ │ │ @@ -1245,28 +1245,28 @@
│ │ │ │ │   R_PPC64_TOC16_LO_DS	.toc+0x150
│ │ │ │ │  	lwz     r31,0(r31)
│ │ │ │ │  	cmpldi  r31,0
│ │ │ │ │  	ble     f14 <staterefzm0zi3zm3ZZTMHZZm9jHCNvp7ZZr5eYn_DataziStateRefziInstancesziUndecidable_zdfModifyRefUnsafeModifyRefmazuzdcatomicModifyReference_entry+0x1bc>
│ │ │ │ │  	addi    r31,r14,14
│ │ │ │ │  	ld      r31,0(r31)
│ │ │ │ │  	addis   r29,r2,0
│ │ │ │ │ - R_PPC64_TOC16_HA	.toc+0xa0
│ │ │ │ │ + R_PPC64_TOC16_HA	.toc+0xa8
│ │ │ │ │  	ld      r29,0(r29)
│ │ │ │ │ - R_PPC64_TOC16_LO_DS	.toc+0xa0
│ │ │ │ │ + R_PPC64_TOC16_LO_DS	.toc+0xa8
│ │ │ │ │  	ld      r29,0(r29)
│ │ │ │ │  	and     r31,r31,r29
│ │ │ │ │  	addis   r29,r2,0
│ │ │ │ │   R_PPC64_TOC16_HA	.toc+0x150
│ │ │ │ │  	ld      r29,0(r29)
│ │ │ │ │   R_PPC64_TOC16_LO_DS	.toc+0x150
│ │ │ │ │  	lwz     r29,0(r29)
│ │ │ │ │  	addis   r28,r2,0
│ │ │ │ │ - R_PPC64_TOC16_HA	.toc+0xa8
│ │ │ │ │ + R_PPC64_TOC16_HA	.toc+0xa0
│ │ │ │ │  	ld      r28,0(r28)
│ │ │ │ │ - R_PPC64_TOC16_LO_DS	.toc+0xa8
│ │ │ │ │ + R_PPC64_TOC16_LO_DS	.toc+0xa0
│ │ │ │ │  	ld      r28,0(r28)
│ │ │ │ │  	or      r29,r29,r28
│ │ │ │ │  	or      r31,r31,r29
│ │ │ │ │  	addi    r29,r14,14
│ │ │ │ │  	std     r31,0(r29)
│ │ │ │ │  	mr      r3,r27
│ │ │ │ │  	addi    r31,r14,6
│ │ │ │ │ @@ -1452,17 +1452,17 @@
│ │ │ │ │  	bgt-    1304 <staterefzm0zi3zm3ZZTMHZZm9jHCNvp7ZZr5eYn_DataziStateRefziInstancesziUndecidable_zdfModifyRefUnsafeModifyRefma_entry+0x1ec>
│ │ │ │ │  	ld      r31,864(r27)
│ │ │ │ │  	ld      r31,72(r31)
│ │ │ │ │  	addi    r31,r31,4
│ │ │ │ │  	ld      r29,864(r27)
│ │ │ │ │  	std     r31,72(r29)
│ │ │ │ │  	addis   r31,r2,0
│ │ │ │ │ - R_PPC64_TOC16_HA	.toc+0x110
│ │ │ │ │ + R_PPC64_TOC16_HA	.toc+0x148
│ │ │ │ │  	ld      r31,0(r31)
│ │ │ │ │ - R_PPC64_TOC16_LO_DS	.toc+0x110
│ │ │ │ │ + R_PPC64_TOC16_LO_DS	.toc+0x148
│ │ │ │ │  	std     r31,-208(r26)
│ │ │ │ │  	ld      r31,864(r27)
│ │ │ │ │  	std     r31,-200(r26)
│ │ │ │ │  	addis   r31,r2,0
│ │ │ │ │   R_PPC64_TOC16_HA	.toc+0x150
│ │ │ │ │  	ld      r31,0(r31)
│ │ │ │ │   R_PPC64_TOC16_LO_DS	.toc+0x150
│ │ │ │ │ @@ -1480,17 +1480,17 @@
│ │ │ │ │  	std     r17,-168(r26)
│ │ │ │ │  	ld      r31,864(r27)
│ │ │ │ │  	ld      r31,72(r31)
│ │ │ │ │  	addi    r31,r31,4
│ │ │ │ │  	ld      r29,864(r27)
│ │ │ │ │  	std     r31,72(r29)
│ │ │ │ │  	addis   r31,r2,0
│ │ │ │ │ - R_PPC64_TOC16_HA	.toc+0x108
│ │ │ │ │ + R_PPC64_TOC16_HA	.toc+0x140
│ │ │ │ │  	ld      r31,0(r31)
│ │ │ │ │ - R_PPC64_TOC16_LO_DS	.toc+0x108
│ │ │ │ │ + R_PPC64_TOC16_LO_DS	.toc+0x140
│ │ │ │ │  	std     r31,-160(r26)
│ │ │ │ │  	ld      r31,864(r27)
│ │ │ │ │  	std     r31,-152(r26)
│ │ │ │ │  	addis   r31,r2,0
│ │ │ │ │   R_PPC64_TOC16_HA	.toc+0x150
│ │ │ │ │  	ld      r31,0(r31)
│ │ │ │ │   R_PPC64_TOC16_LO_DS	.toc+0x150
│ │ │ │ │ @@ -1508,17 +1508,17 @@
│ │ │ │ │  	std     r17,-120(r26)
│ │ │ │ │  	ld      r31,864(r27)
│ │ │ │ │  	ld      r31,72(r31)
│ │ │ │ │  	addi    r31,r31,2
│ │ │ │ │  	ld      r29,864(r27)
│ │ │ │ │  	std     r31,72(r29)
│ │ │ │ │  	addis   r31,r2,0
│ │ │ │ │ - R_PPC64_TOC16_HA	.toc+0x100
│ │ │ │ │ + R_PPC64_TOC16_HA	.toc+0x138
│ │ │ │ │  	ld      r31,0(r31)
│ │ │ │ │ - R_PPC64_TOC16_LO_DS	.toc+0x100
│ │ │ │ │ + R_PPC64_TOC16_LO_DS	.toc+0x138
│ │ │ │ │  	std     r31,-112(r26)
│ │ │ │ │  	ld      r31,864(r27)
│ │ │ │ │  	std     r31,-104(r26)
│ │ │ │ │  	addis   r31,r2,0
│ │ │ │ │   R_PPC64_TOC16_HA	.toc+0x150
│ │ │ │ │  	ld      r31,0(r31)
│ │ │ │ │   R_PPC64_TOC16_LO_DS	.toc+0x150
│ │ │ │ │ @@ -1534,17 +1534,17 @@
│ │ │ │ │  	std     r17,-88(r26)
│ │ │ │ │  	ld      r31,864(r27)
│ │ │ │ │  	ld      r31,72(r31)
│ │ │ │ │  	addi    r31,r31,2
│ │ │ │ │  	ld      r29,864(r27)
│ │ │ │ │  	std     r31,72(r29)
│ │ │ │ │  	addis   r31,r2,0
│ │ │ │ │ - R_PPC64_TOC16_HA	.toc+0xf8
│ │ │ │ │ + R_PPC64_TOC16_HA	.toc+0x130
│ │ │ │ │  	ld      r31,0(r31)
│ │ │ │ │ - R_PPC64_TOC16_LO_DS	.toc+0xf8
│ │ │ │ │ + R_PPC64_TOC16_LO_DS	.toc+0x130
│ │ │ │ │  	std     r31,-80(r26)
│ │ │ │ │  	ld      r31,864(r27)
│ │ │ │ │  	std     r31,-72(r26)
│ │ │ │ │  	addis   r31,r2,0
│ │ │ │ │   R_PPC64_TOC16_HA	.toc+0x150
│ │ │ │ │  	ld      r31,0(r31)
│ │ │ │ │   R_PPC64_TOC16_LO_DS	.toc+0x150
│ │ │ │ ├── readelf --wide --decompress --string-dump=.rodata.str {}
│ │ │ │ │ @@ -4,49 +4,49 @@
│ │ │ │ │    [     8]  Data.StateRef.Instances.Undecidable
│ │ │ │ │    [    30]  <entire-module>
│ │ │ │ │    [    40]  'UnsafeModifyRef
│ │ │ │ │    [    58]  UnsafeModifyRef
│ │ │ │ │    [    68]  Data.StateRef.Instances.Undecidable
│ │ │ │ │    [    90]  stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn
│ │ │ │ │    [    b8]  ->*
│ │ │ │ │ -  [    c0]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.$fReadRefUnsafeModifyRefma_$creadReference_r28g>
│ │ │ │ │ +  [    c0]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.$fReadRefUnsafeModifyRefma_$creadReference_r28j>
│ │ │ │ │    [   140]  ReadRef
│ │ │ │ │ -  [   148]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.$fReadRefUnsafeModifyRefma_r1CL>
│ │ │ │ │ +  [   148]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.$fReadRefUnsafeModifyRefma_r1Cu>
│ │ │ │ │    [   1b8]  ->>*
│ │ │ │ │ -  [   1c0]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.$fWriteRefUnsafeModifyRefma_$cwriteReference_r28h>
│ │ │ │ │ +  [   1c0]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.$fWriteRefUnsafeModifyRefma_$cwriteReference_r28l>
│ │ │ │ │    [   240]  WriteRef
│ │ │ │ │ -  [   250]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.$fWriteRefUnsafeModifyRefma_r1BH>
│ │ │ │ │ +  [   250]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.$fWriteRefUnsafeModifyRefma_r1BV>
│ │ │ │ │    [   2c0]  *
│ │ │ │ │ -  [   2c8]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.lvl_s29g>
│ │ │ │ │ +  [   2c8]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.lvl_s29t>
│ │ │ │ │    [   320]  *
│ │ │ │ │ -  [   328]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s29j>
│ │ │ │ │ +  [   328]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s29G>
│ │ │ │ │    [   380]  *
│ │ │ │ │ -  [   388]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s29k>
│ │ │ │ │ +  [   388]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s29H>
│ │ │ │ │    [   3e0]  ->*
│ │ │ │ │ -  [   3e8]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s29l>
│ │ │ │ │ +  [   3e8]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s29I>
│ │ │ │ │    [   440]  *
│ │ │ │ │ -  [   448]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s29h>
│ │ │ │ │ +  [   448]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s29E>
│ │ │ │ │    [   4a0]  ->>*
│ │ │ │ │ -  [   4a8]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.$fModifyRefUnsafeModifyRefma_$cmodifyReference_r28e>
│ │ │ │ │ +  [   4a8]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.$fModifyRefUnsafeModifyRefma_$cmodifyReference_r27W>
│ │ │ │ │    [   528]  Tuple2
│ │ │ │ │ -  [   530]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.ds_s29t>
│ │ │ │ │ +  [   530]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.ds_s29Q>
│ │ │ │ │    [   588]  *
│ │ │ │ │ -  [   590]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s29K>
│ │ │ │ │ +  [   590]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s2a0>
│ │ │ │ │    [   5e8]  *
│ │ │ │ │ -  [   5f0]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s29B>
│ │ │ │ │ +  [   5f0]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s29V>
│ │ │ │ │    [   648]  ->*
│ │ │ │ │ -  [   650]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s29L>
│ │ │ │ │ +  [   650]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s2a1>
│ │ │ │ │    [   6a8]  *
│ │ │ │ │ -  [   6b0]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s29r>
│ │ │ │ │ +  [   6b0]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s29O>
│ │ │ │ │    [   708]  ->>*
│ │ │ │ │ -  [   710]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.$fModifyRefUnsafeModifyRefma_$catomicModifyReference_r28f>
│ │ │ │ │ +  [   710]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.$fModifyRefUnsafeModifyRefma_$catomicModifyReference_r289>
│ │ │ │ │    [   798]  ->>*
│ │ │ │ │ -  [   7a0]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s29U>
│ │ │ │ │ +  [   7a0]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s2aa>
│ │ │ │ │    [   7f8]  ->>*
│ │ │ │ │ -  [   800]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s29T>
│ │ │ │ │ +  [   800]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s2a9>
│ │ │ │ │    [   858]  WriteRef
│ │ │ │ │ -  [   868]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s29S>
│ │ │ │ │ +  [   868]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s2a8>
│ │ │ │ │    [   8c0]  ReadRef
│ │ │ │ │ -  [   8c8]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s29Q>
│ │ │ │ │ +  [   8c8]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.sat_s2a6>
│ │ │ │ │    [   920]  ModifyRef
│ │ │ │ │ -  [   930]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.$fModifyRefUnsafeModifyRefma_r1B7>
│ │ │ │ │ +  [   930]  <stateref-0.3-3ZTMHZm9jHCNvp7Zr5eYn:Data.StateRef.Instances.Undecidable.$fModifyRefUnsafeModifyRefma_r1Bc>