--- /srv/rebuilderd/tmp/rebuilderdjb07XW/inputs/libghc-numtype-dk-prof_0.5.0.3-4_arm64.deb
+++ /srv/rebuilderd/tmp/rebuilderdjb07XW/out/libghc-numtype-dk-prof_0.5.0.3-4_arm64.deb
├── file list
│ @@ -1,3 +1,3 @@
│  -rw-r--r--   0        0        0        4 2026-01-04 15:08:30.000000 debian-binary
│  -rw-r--r--   0        0        0     1096 2026-01-04 15:08:30.000000 control.tar.xz
│ --rw-r--r--   0        0        0    27596 2026-01-04 15:08:30.000000 data.tar.xz
│ +-rw-r--r--   0        0        0    27624 2026-01-04 15:08:30.000000 data.tar.xz
├── control.tar.xz
│ ├── control.tar
│ │ ├── ./md5sums
│ │ │ ├── ./md5sums
│ │ │ │┄ Files differ
├── data.tar.xz
│ ├── data.tar
│ │ ├── ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-98d9/numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG/libHSnumtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG_p.a
│ │ │ ├── nm --print-armap {}
│ │ │ │ @@ -1031,38 +1031,38 @@
│ │ │ │                   U ghczmprim_GHCziTypes_KindRepTyConApp_con_info
│ │ │ │                   U ghczmprim_GHCziTypes_Module_con_info
│ │ │ │                   U ghczmprim_GHCziTypes_TrNameS_con_info
│ │ │ │                   U ghczmprim_GHCziTypes_TyCon_con_info
│ │ │ │                   U ghczmprim_GHCziTypes_ZMZN_closure
│ │ │ │                   U ghczmprim_GHCziTypes_krepzdConstraint_closure
│ │ │ │                   U ghczmprim_GHCziTypes_krepzdzt_closure
│ │ │ │ -00000000000000e8 r i1DV_str
│ │ │ │ -00000000000000f8 r i1DW_str
│ │ │ │ -0000000000000230 r i1ER_str
│ │ │ │ -0000000000000238 r i1ES_str
│ │ │ │ -0000000000000150 r i1Eb_str
│ │ │ │ -0000000000000160 r i1Ec_str
│ │ │ │ -00000000000001c8 r i1Eq_str
│ │ │ │ -00000000000001d8 r i1Er_str
│ │ │ │ -0000000000000298 r i1FS_str
│ │ │ │ -00000000000002a0 r i1FT_str
│ │ │ │ -00000000000002f8 r i1FU_str
│ │ │ │ -0000000000000308 r i1FV_str
│ │ │ │ -0000000000000360 r i1FW_str
│ │ │ │ -0000000000000370 r i1FX_str
│ │ │ │ -0000000000000440 r i1HX_str
│ │ │ │ -0000000000000448 r i1HY_str
│ │ │ │ -00000000000003d8 r i1Hr_str
│ │ │ │ -00000000000003e8 r i1Hs_str
│ │ │ │ -00000000000004f0 r i1IN_str
│ │ │ │ -00000000000004f8 r i1IO_str
│ │ │ │ -0000000000000500 r i1IP_str
│ │ │ │ -0000000000000498 r i1Ip_str
│ │ │ │ -00000000000004a0 r i1Iq_str
│ │ │ │ -00000000000004a8 r i1Ir_str
│ │ │ │ +0000000000000150 r i1FF_str
│ │ │ │ +0000000000000160 r i1FG_str
│ │ │ │ +00000000000001c8 r i1FU_str
│ │ │ │ +00000000000001d8 r i1FV_str
│ │ │ │ +00000000000000e8 r i1Fq_str
│ │ │ │ +00000000000000f8 r i1Fr_str
│ │ │ │ +0000000000000230 r i1Gl_str
│ │ │ │ +0000000000000238 r i1Gm_str
│ │ │ │ +0000000000000298 r i1Ib_str
│ │ │ │ +00000000000002a0 r i1Ic_str
│ │ │ │ +00000000000002f8 r i1Id_str
│ │ │ │ +0000000000000308 r i1Ie_str
│ │ │ │ +0000000000000360 r i1If_str
│ │ │ │ +0000000000000370 r i1Ig_str
│ │ │ │ +00000000000003d8 r i1JE_str
│ │ │ │ +00000000000003e8 r i1JF_str
│ │ │ │ +0000000000000440 r i1Km_str
│ │ │ │ +0000000000000448 r i1Kn_str
│ │ │ │ +0000000000000498 r i1L8_str
│ │ │ │ +00000000000004a0 r i1L9_str
│ │ │ │ +00000000000004f0 r i1LI_str
│ │ │ │ +00000000000004f8 r i1LJ_str
│ │ │ │ +0000000000000500 r i1LK_str
│ │ │ │ +00000000000004a8 r i1La_str
│ │ │ │                   U newCAF
│ │ │ │  0000000000000000 D numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_CAFs_cc
│ │ │ │  0000000000000040 D numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_CAFs_cc_ccs
│ │ │ │  0000000000000668 D numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_S_closure
│ │ │ │  00000000000005b0 T numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_S_con_info
│ │ │ │  0000000000000488 T numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_S_info
│ │ │ │  0000000000000650 D numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_ZZ_closure
│ │ │ ├── Integers.p_o
│ │ │ │ ├── strings --all --bytes=8 {}
│ │ │ │ │ @@ -59,147 +59,147 @@
│ │ │ │ │  Numeric.NumType.DK.Integers
│ │ │ │ │  <entire-module>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │  'Pos10Plus
│ │ │ │ │  'Neg10Minus
│ │ │ │ │  Numeric.NumType.DK.Integers
│ │ │ │ │  numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.toNum_rkB>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.toNum_rig>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.sat_s1Qg>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg9_$ctoNum_r1OV>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg9_r1kb>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg9_r1iL>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.sat_s1Qj>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg8_$ctoNum_r1OT>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg8_r1k5>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg8_r1iF>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.sat_s1Qm>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg7_$ctoNum_r1OR>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg7_r1jZ>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg7_r1iz>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.sat_s1Qp>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg6_$ctoNum_r1OP>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg6_r1jT>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg6_r1it>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.sat_s1Qs>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg5_$ctoNum_r1ON>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg5_r1jN>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg5_r1in>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.sat_s1Qv>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg4_$ctoNum_r1OL>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg4_r1jH>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg4_r1ih>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.sat_s1Qy>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg3_$ctoNum_r1OJ>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg3_r1jB>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg3_r1ib>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.sat_s1QB>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg2_$ctoNum_r1OH>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg2_r1jv>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg2_r1i5>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.sat_s1QE>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg1_$ctoNum_r1OD>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg1_r1jp>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg1_r1hZ>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntZero_$ctoNum_r1P8>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntZero_r1jj>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntZero_r1hT>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos1_$ctoNum_r1OX>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos1_r1jd>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos1_r1hN>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos2_$ctoNum_r1P0>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos2_r1j7>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos2_r1hH>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos3_$ctoNum_r1P1>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos3_r1j1>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos3_r1hB>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos4_$ctoNum_r1P2>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos4_r1iN>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos4_r1hv>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos5_$ctoNum_r1P3>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos5_r1iD>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos5_r1hp>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos6_$ctoNum_r1P4>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos6_r1iw>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos6_r1hj>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos7_$ctoNum_r1P5>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos7_r1iq>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos7_r1hd>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos8_$ctoNum_r1P6>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos8_r1ik>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos8_r1h7>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos9_$ctoNum_r1P7>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos9_r1ie>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos9_r1h1>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pred1_r1Q9>
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pred_rlc>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pred_riT>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos10Plus1_r1OZ>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.sat_s1R6>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.sat_s1R5>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.lvl_s1R4>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.sat_s1R8>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos10Plus_$ctoNum_r1OY>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos10Plus_r1i7>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos10Plus_r1gU>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.succ1_r1Qb>
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.succ_rld>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.succ_riU>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg10Minus1_r1OG>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.sat_s1Rg>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.sat_s1Rf>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.lvl_s1Re>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.sat_s1Ri>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg10Minus_$ctoNum_r1OF>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg10Minus_r1kp>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg10Minus_r1iZ>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.negate1_r1Q8>
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.negate_rle>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.negate_riV>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.abs1_r1Q7>
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.abs_rlf>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.abs_riW>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.signum1_r1Qa>
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.signum_rlg>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.signum_riX>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.+1_r1Q2>
│ │ │ │ │  ->>Proxy
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.+_rlh>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.+_riY>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.-2_r1Q4>
│ │ │ │ │  ->>Proxy
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.-1_r1Q3>
│ │ │ │ │  ->>Proxy
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.-_rli>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.-_riZ>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.*1_r1Q1>
│ │ │ │ │  ->>Proxy
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.*_rlj>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.*_rj0>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers./1_r1Q5>
│ │ │ │ │  ->>Proxy
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers./_rlk>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers./_rj1>
│ │ │ │ │  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.^1_r1Q6>
│ │ │ │ │  ->>Proxy
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.^_rll>
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.neg9_rlm>
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.neg8_rln>
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.neg7_rlo>
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.neg6_rlp>
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.neg5_rlq>
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.neg4_rlr>
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.neg3_rls>
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.neg2_rlt>
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.neg1_rlu>
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.zero_rlv>
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pos1_rlw>
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pos2_rlx>
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pos3_rly>
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pos4_rlz>
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pos5_rlA>
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pos6_rlB>
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pos7_rlC>
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pos8_rlD>
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pos9_rlE>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.^_rj2>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.neg9_rj3>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.neg8_rj4>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.neg7_rj5>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.neg6_rj6>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.neg5_rj7>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.neg4_rj8>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.neg3_rj9>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.neg2_rja>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.neg1_rjb>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.zero_rjc>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pos1_rjd>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pos2_rje>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pos3_rjf>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pos4_rjg>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pos5_rjh>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pos6_rji>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pos7_rjj>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pos8_rjk>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pos9_rjl>
│ │ │ │ │  ->TypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.Neg10Minus_rNM>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.Neg10Minus_rMy>
│ │ │ │ │  ->TypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.Pos10Plus_r128>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.Pos10Plus_rOq>
│ │ │ │ │  Neg10Minus
│ │ │ │ │  numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.Neg10Minus
│ │ │ │ │  numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.Neg9
│ │ │ │ │  numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.Neg8
│ │ │ │ │  numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.Neg7
│ │ │ │ │  numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.Neg6
│ │ │ │ │  numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.Neg5
│ │ │ │ ├── readelf --wide --decompress --string-dump=.rodata.str {}
│ │ │ │ │ @@ -112,221 +112,221 @@
│ │ │ │ │    [   a48]  'Neg7
│ │ │ │ │    [   a50]  'Neg8
│ │ │ │ │    [   a58]  'Neg9
│ │ │ │ │    [   a60]  TypeInt
│ │ │ │ │    [   a68]  Numeric.NumType.DK.Integers
│ │ │ │ │    [   a88]  numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG
│ │ │ │ │    [   ab8]  ->*
│ │ │ │ │ -  [   ac0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.toNum_rkB>
│ │ │ │ │ +  [   ac0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.toNum_rig>
│ │ │ │ │    [   b18]  *
│ │ │ │ │    [   b20]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.sat_s1Qg>
│ │ │ │ │    [   b78]  ->*
│ │ │ │ │    [   b80]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg9_$ctoNum_r1OV>
│ │ │ │ │    [   be8]  KnownTypeInt
│ │ │ │ │ -  [   bf8]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg9_r1kb>
│ │ │ │ │ +  [   bf8]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg9_r1iL>
│ │ │ │ │    [   c58]  *
│ │ │ │ │    [   c60]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.sat_s1Qj>
│ │ │ │ │    [   cb8]  ->*
│ │ │ │ │    [   cc0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg8_$ctoNum_r1OT>
│ │ │ │ │    [   d28]  KnownTypeInt
│ │ │ │ │ -  [   d38]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg8_r1k5>
│ │ │ │ │ +  [   d38]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg8_r1iF>
│ │ │ │ │    [   d98]  *
│ │ │ │ │    [   da0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.sat_s1Qm>
│ │ │ │ │    [   df8]  ->*
│ │ │ │ │    [   e00]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg7_$ctoNum_r1OR>
│ │ │ │ │    [   e68]  KnownTypeInt
│ │ │ │ │ -  [   e78]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg7_r1jZ>
│ │ │ │ │ +  [   e78]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg7_r1iz>
│ │ │ │ │    [   ed8]  *
│ │ │ │ │    [   ee0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.sat_s1Qp>
│ │ │ │ │    [   f38]  ->*
│ │ │ │ │    [   f40]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg6_$ctoNum_r1OP>
│ │ │ │ │    [   fa8]  KnownTypeInt
│ │ │ │ │ -  [   fb8]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg6_r1jT>
│ │ │ │ │ +  [   fb8]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg6_r1it>
│ │ │ │ │    [  1018]  *
│ │ │ │ │    [  1020]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.sat_s1Qs>
│ │ │ │ │    [  1078]  ->*
│ │ │ │ │    [  1080]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg5_$ctoNum_r1ON>
│ │ │ │ │    [  10e8]  KnownTypeInt
│ │ │ │ │ -  [  10f8]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg5_r1jN>
│ │ │ │ │ +  [  10f8]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg5_r1in>
│ │ │ │ │    [  1158]  *
│ │ │ │ │    [  1160]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.sat_s1Qv>
│ │ │ │ │    [  11b8]  ->*
│ │ │ │ │    [  11c0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg4_$ctoNum_r1OL>
│ │ │ │ │    [  1228]  KnownTypeInt
│ │ │ │ │ -  [  1238]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg4_r1jH>
│ │ │ │ │ +  [  1238]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg4_r1ih>
│ │ │ │ │    [  1298]  *
│ │ │ │ │    [  12a0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.sat_s1Qy>
│ │ │ │ │    [  12f8]  ->*
│ │ │ │ │    [  1300]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg3_$ctoNum_r1OJ>
│ │ │ │ │    [  1368]  KnownTypeInt
│ │ │ │ │ -  [  1378]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg3_r1jB>
│ │ │ │ │ +  [  1378]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg3_r1ib>
│ │ │ │ │    [  13d8]  *
│ │ │ │ │    [  13e0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.sat_s1QB>
│ │ │ │ │    [  1438]  ->*
│ │ │ │ │    [  1440]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg2_$ctoNum_r1OH>
│ │ │ │ │    [  14a8]  KnownTypeInt
│ │ │ │ │ -  [  14b8]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg2_r1jv>
│ │ │ │ │ +  [  14b8]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg2_r1i5>
│ │ │ │ │    [  1518]  *
│ │ │ │ │    [  1520]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.sat_s1QE>
│ │ │ │ │    [  1578]  ->*
│ │ │ │ │    [  1580]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg1_$ctoNum_r1OD>
│ │ │ │ │    [  15e8]  KnownTypeInt
│ │ │ │ │ -  [  15f8]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg1_r1jp>
│ │ │ │ │ +  [  15f8]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg1_r1hZ>
│ │ │ │ │    [  1658]  ->*
│ │ │ │ │    [  1660]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntZero_$ctoNum_r1P8>
│ │ │ │ │    [  16c8]  KnownTypeInt
│ │ │ │ │ -  [  16d8]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntZero_r1jj>
│ │ │ │ │ +  [  16d8]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntZero_r1hT>
│ │ │ │ │    [  1738]  ->*
│ │ │ │ │    [  1740]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos1_$ctoNum_r1OX>
│ │ │ │ │    [  17a8]  KnownTypeInt
│ │ │ │ │ -  [  17b8]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos1_r1jd>
│ │ │ │ │ +  [  17b8]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos1_r1hN>
│ │ │ │ │    [  1818]  ->*
│ │ │ │ │    [  1820]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos2_$ctoNum_r1P0>
│ │ │ │ │    [  1888]  KnownTypeInt
│ │ │ │ │ -  [  1898]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos2_r1j7>
│ │ │ │ │ +  [  1898]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos2_r1hH>
│ │ │ │ │    [  18f8]  ->*
│ │ │ │ │    [  1900]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos3_$ctoNum_r1P1>
│ │ │ │ │    [  1968]  KnownTypeInt
│ │ │ │ │ -  [  1978]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos3_r1j1>
│ │ │ │ │ +  [  1978]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos3_r1hB>
│ │ │ │ │    [  19d8]  ->*
│ │ │ │ │    [  19e0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos4_$ctoNum_r1P2>
│ │ │ │ │    [  1a48]  KnownTypeInt
│ │ │ │ │ -  [  1a58]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos4_r1iN>
│ │ │ │ │ +  [  1a58]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos4_r1hv>
│ │ │ │ │    [  1ab8]  ->*
│ │ │ │ │    [  1ac0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos5_$ctoNum_r1P3>
│ │ │ │ │    [  1b28]  KnownTypeInt
│ │ │ │ │ -  [  1b38]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos5_r1iD>
│ │ │ │ │ +  [  1b38]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos5_r1hp>
│ │ │ │ │    [  1b98]  ->*
│ │ │ │ │    [  1ba0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos6_$ctoNum_r1P4>
│ │ │ │ │    [  1c08]  KnownTypeInt
│ │ │ │ │ -  [  1c18]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos6_r1iw>
│ │ │ │ │ +  [  1c18]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos6_r1hj>
│ │ │ │ │    [  1c78]  ->*
│ │ │ │ │    [  1c80]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos7_$ctoNum_r1P5>
│ │ │ │ │    [  1ce8]  KnownTypeInt
│ │ │ │ │ -  [  1cf8]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos7_r1iq>
│ │ │ │ │ +  [  1cf8]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos7_r1hd>
│ │ │ │ │    [  1d58]  ->*
│ │ │ │ │    [  1d60]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos8_$ctoNum_r1P6>
│ │ │ │ │    [  1dc8]  KnownTypeInt
│ │ │ │ │ -  [  1dd8]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos8_r1ik>
│ │ │ │ │ +  [  1dd8]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos8_r1h7>
│ │ │ │ │    [  1e38]  ->*
│ │ │ │ │    [  1e40]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos9_$ctoNum_r1P7>
│ │ │ │ │    [  1ea8]  KnownTypeInt
│ │ │ │ │ -  [  1eb8]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos9_r1ie>
│ │ │ │ │ +  [  1eb8]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos9_r1h1>
│ │ │ │ │    [  1f18]  Proxy
│ │ │ │ │    [  1f20]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pred1_r1Q9>
│ │ │ │ │    [  1f78]  ->Proxy
│ │ │ │ │ -  [  1f80]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pred_rlc>
│ │ │ │ │ +  [  1f80]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pred_riT>
│ │ │ │ │    [  1fd8]  Proxy
│ │ │ │ │    [  1fe0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos10Plus1_r1OZ>
│ │ │ │ │    [  2048]  *
│ │ │ │ │    [  2050]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.sat_s1R6>
│ │ │ │ │    [  20a8]  *
│ │ │ │ │    [  20b0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.sat_s1R5>
│ │ │ │ │    [  2108]  *
│ │ │ │ │    [  2110]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.lvl_s1R4>
│ │ │ │ │    [  2168]  ->*
│ │ │ │ │    [  2170]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.sat_s1R8>
│ │ │ │ │    [  21c8]  ->*
│ │ │ │ │    [  21d0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos10Plus_$ctoNum_r1OY>
│ │ │ │ │    [  2240]  KnownTypeInt
│ │ │ │ │ -  [  2250]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos10Plus_r1i7>
│ │ │ │ │ +  [  2250]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntPos10Plus_r1gU>
│ │ │ │ │    [  22b8]  Proxy
│ │ │ │ │    [  22c0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.succ1_r1Qb>
│ │ │ │ │    [  2318]  ->Proxy
│ │ │ │ │ -  [  2320]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.succ_rld>
│ │ │ │ │ +  [  2320]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.succ_riU>
│ │ │ │ │    [  2378]  Proxy
│ │ │ │ │    [  2380]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg10Minus1_r1OG>
│ │ │ │ │    [  23e8]  *
│ │ │ │ │    [  23f0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.sat_s1Rg>
│ │ │ │ │    [  2448]  *
│ │ │ │ │    [  2450]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.sat_s1Rf>
│ │ │ │ │    [  24a8]  *
│ │ │ │ │    [  24b0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.lvl_s1Re>
│ │ │ │ │    [  2508]  ->*
│ │ │ │ │    [  2510]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.sat_s1Ri>
│ │ │ │ │    [  2568]  ->*
│ │ │ │ │    [  2570]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg10Minus_$ctoNum_r1OF>
│ │ │ │ │    [  25e0]  KnownTypeInt
│ │ │ │ │ -  [  25f0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg10Minus_r1kp>
│ │ │ │ │ +  [  25f0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg10Minus_r1iZ>
│ │ │ │ │    [  2658]  Proxy
│ │ │ │ │    [  2660]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.negate1_r1Q8>
│ │ │ │ │    [  26b8]  ->Proxy
│ │ │ │ │ -  [  26c0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.negate_rle>
│ │ │ │ │ +  [  26c0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.negate_riV>
│ │ │ │ │    [  2718]  Proxy
│ │ │ │ │    [  2720]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.abs1_r1Q7>
│ │ │ │ │    [  2778]  ->Proxy
│ │ │ │ │ -  [  2780]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.abs_rlf>
│ │ │ │ │ +  [  2780]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.abs_riW>
│ │ │ │ │    [  27d0]  Proxy
│ │ │ │ │    [  27d8]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.signum1_r1Qa>
│ │ │ │ │    [  2830]  ->Proxy
│ │ │ │ │ -  [  2838]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.signum_rlg>
│ │ │ │ │ +  [  2838]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.signum_riX>
│ │ │ │ │    [  2890]  Proxy
│ │ │ │ │    [  2898]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.+1_r1Q2>
│ │ │ │ │    [  28e8]  ->>Proxy
│ │ │ │ │ -  [  28f8]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.+_rlh>
│ │ │ │ │ +  [  28f8]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.+_riY>
│ │ │ │ │    [  2948]  Proxy
│ │ │ │ │    [  2950]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.-2_r1Q4>
│ │ │ │ │    [  29a0]  ->>Proxy
│ │ │ │ │    [  29b0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.-1_r1Q3>
│ │ │ │ │    [  2a00]  ->>Proxy
│ │ │ │ │ -  [  2a10]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.-_rli>
│ │ │ │ │ +  [  2a10]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.-_riZ>
│ │ │ │ │    [  2a60]  Proxy
│ │ │ │ │    [  2a68]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.*1_r1Q1>
│ │ │ │ │    [  2ab8]  ->>Proxy
│ │ │ │ │ -  [  2ac8]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.*_rlj>
│ │ │ │ │ +  [  2ac8]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.*_rj0>
│ │ │ │ │    [  2b18]  Proxy
│ │ │ │ │    [  2b20]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers./1_r1Q5>
│ │ │ │ │    [  2b70]  ->>Proxy
│ │ │ │ │ -  [  2b80]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers./_rlk>
│ │ │ │ │ +  [  2b80]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers./_rj1>
│ │ │ │ │    [  2bd0]  Proxy
│ │ │ │ │    [  2bd8]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.^1_r1Q6>
│ │ │ │ │    [  2c28]  ->>Proxy
│ │ │ │ │ -  [  2c38]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.^_rll>
│ │ │ │ │ +  [  2c38]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.^_rj2>
│ │ │ │ │    [  2c88]  Proxy
│ │ │ │ │ -  [  2c90]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.neg9_rlm>
│ │ │ │ │ +  [  2c90]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.neg9_rj3>
│ │ │ │ │    [  2ce8]  Proxy
│ │ │ │ │ -  [  2cf0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.neg8_rln>
│ │ │ │ │ +  [  2cf0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.neg8_rj4>
│ │ │ │ │    [  2d48]  Proxy
│ │ │ │ │ -  [  2d50]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.neg7_rlo>
│ │ │ │ │ +  [  2d50]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.neg7_rj5>
│ │ │ │ │    [  2da8]  Proxy
│ │ │ │ │ -  [  2db0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.neg6_rlp>
│ │ │ │ │ +  [  2db0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.neg6_rj6>
│ │ │ │ │    [  2e08]  Proxy
│ │ │ │ │ -  [  2e10]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.neg5_rlq>
│ │ │ │ │ +  [  2e10]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.neg5_rj7>
│ │ │ │ │    [  2e68]  Proxy
│ │ │ │ │ -  [  2e70]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.neg4_rlr>
│ │ │ │ │ +  [  2e70]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.neg4_rj8>
│ │ │ │ │    [  2ec8]  Proxy
│ │ │ │ │ -  [  2ed0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.neg3_rls>
│ │ │ │ │ +  [  2ed0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.neg3_rj9>
│ │ │ │ │    [  2f28]  Proxy
│ │ │ │ │ -  [  2f30]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.neg2_rlt>
│ │ │ │ │ +  [  2f30]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.neg2_rja>
│ │ │ │ │    [  2f88]  Proxy
│ │ │ │ │ -  [  2f90]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.neg1_rlu>
│ │ │ │ │ +  [  2f90]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.neg1_rjb>
│ │ │ │ │    [  2fe8]  Proxy
│ │ │ │ │ -  [  2ff0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.zero_rlv>
│ │ │ │ │ +  [  2ff0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.zero_rjc>
│ │ │ │ │    [  3048]  Proxy
│ │ │ │ │ -  [  3050]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pos1_rlw>
│ │ │ │ │ +  [  3050]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pos1_rjd>
│ │ │ │ │    [  30a8]  Proxy
│ │ │ │ │ -  [  30b0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pos2_rlx>
│ │ │ │ │ +  [  30b0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pos2_rje>
│ │ │ │ │    [  3108]  Proxy
│ │ │ │ │ -  [  3110]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pos3_rly>
│ │ │ │ │ +  [  3110]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pos3_rjf>
│ │ │ │ │    [  3168]  Proxy
│ │ │ │ │ -  [  3170]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pos4_rlz>
│ │ │ │ │ +  [  3170]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pos4_rjg>
│ │ │ │ │    [  31c8]  Proxy
│ │ │ │ │ -  [  31d0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pos5_rlA>
│ │ │ │ │ +  [  31d0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pos5_rjh>
│ │ │ │ │    [  3228]  Proxy
│ │ │ │ │ -  [  3230]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pos6_rlB>
│ │ │ │ │ +  [  3230]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pos6_rji>
│ │ │ │ │    [  3288]  Proxy
│ │ │ │ │ -  [  3290]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pos7_rlC>
│ │ │ │ │ +  [  3290]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pos7_rjj>
│ │ │ │ │    [  32e8]  Proxy
│ │ │ │ │ -  [  32f0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pos8_rlD>
│ │ │ │ │ +  [  32f0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pos8_rjk>
│ │ │ │ │    [  3348]  Proxy
│ │ │ │ │ -  [  3350]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pos9_rlE>
│ │ │ │ │ +  [  3350]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.pos9_rjl>
│ │ │ │ │    [  33a8]  ->TypeInt
│ │ │ │ │ -  [  33b8]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.Neg10Minus_rNM>
│ │ │ │ │ +  [  33b8]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.Neg10Minus_rMy>
│ │ │ │ │    [  3410]  ->TypeInt
│ │ │ │ │ -  [  3420]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.Pos10Plus_r128>
│ │ │ │ │ +  [  3420]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.Pos10Plus_rOq>
│ │ │ │ │    [  3478]  TypeInt
│ │ │ │ │    [  3480]  Neg10Minus
│ │ │ │ │    [  3490]  numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.Neg10Minus
│ │ │ │ │    [  34e8]  TypeInt
│ │ │ │ │    [  34f0]  Neg9
│ │ │ │ │    [  34f8]  numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Integers.Neg9
│ │ │ │ │    [  3548]  TypeInt
│ │ │ ├── Naturals.p_o
│ │ │ │ ├── readelf --wide --symbols {}
│ │ │ │ │ @@ -4,60 +4,60 @@
│ │ │ │ │       0: 0000000000000000     0 NOTYPE  LOCAL  DEFAULT  UND 
│ │ │ │ │       1: 0000000000000000     0 SECTION LOCAL  DEFAULT    1 .text
│ │ │ │ │       2: 0000000000000000     0 SECTION LOCAL  DEFAULT    3 .rodata.str
│ │ │ │ │       3: 0000000000000000     0 SECTION LOCAL  DEFAULT    7 .data
│ │ │ │ │       4: 0000000000000000     0 SECTION LOCAL  DEFAULT   11 .data.rel
│ │ │ │ │       5: 0000000000000000     0 NOTYPE  LOCAL  DEFAULT    3 $d
│ │ │ │ │       6: 0000000000000000     0 NOTYPE  LOCAL  DEFAULT    7 $d
│ │ │ │ │ -     7: 00000000000000e8     0 NOTYPE  LOCAL  DEFAULT    3 i1DV_str
│ │ │ │ │ -     8: 00000000000000f8     0 NOTYPE  LOCAL  DEFAULT    3 i1DW_str
│ │ │ │ │ +     7: 00000000000000e8     0 NOTYPE  LOCAL  DEFAULT    3 i1Fq_str
│ │ │ │ │ +     8: 00000000000000f8     0 NOTYPE  LOCAL  DEFAULT    3 i1Fr_str
│ │ │ │ │       9: 0000000000000000     0 NOTYPE  LOCAL  DEFAULT    1 $d
│ │ │ │ │      10: 0000000000000028     0 NOTYPE  LOCAL  DEFAULT    1 $x
│ │ │ │ │ -    11: 0000000000000150     0 NOTYPE  LOCAL  DEFAULT    3 i1Eb_str
│ │ │ │ │ -    12: 0000000000000160     0 NOTYPE  LOCAL  DEFAULT    3 i1Ec_str
│ │ │ │ │ +    11: 0000000000000150     0 NOTYPE  LOCAL  DEFAULT    3 i1FF_str
│ │ │ │ │ +    12: 0000000000000160     0 NOTYPE  LOCAL  DEFAULT    3 i1FG_str
│ │ │ │ │      13: 0000000000000030     0 NOTYPE  LOCAL  DEFAULT    1 $d
│ │ │ │ │      14: 0000000000000058     0 NOTYPE  LOCAL  DEFAULT    1 $x
│ │ │ │ │ -    15: 00000000000001c8     0 NOTYPE  LOCAL  DEFAULT    3 i1Eq_str
│ │ │ │ │ -    16: 00000000000001d8     0 NOTYPE  LOCAL  DEFAULT    3 i1Er_str
│ │ │ │ │ +    15: 00000000000001c8     0 NOTYPE  LOCAL  DEFAULT    3 i1FU_str
│ │ │ │ │ +    16: 00000000000001d8     0 NOTYPE  LOCAL  DEFAULT    3 i1FV_str
│ │ │ │ │      17: 0000000000000070     0 NOTYPE  LOCAL  DEFAULT    1 $d
│ │ │ │ │      18: 0000000000000098     0 NOTYPE  LOCAL  DEFAULT    1 $x
│ │ │ │ │ -    19: 0000000000000230     0 NOTYPE  LOCAL  DEFAULT    3 i1ER_str
│ │ │ │ │ -    20: 0000000000000238     0 NOTYPE  LOCAL  DEFAULT    3 i1ES_str
│ │ │ │ │ +    19: 0000000000000230     0 NOTYPE  LOCAL  DEFAULT    3 i1Gl_str
│ │ │ │ │ +    20: 0000000000000238     0 NOTYPE  LOCAL  DEFAULT    3 i1Gm_str
│ │ │ │ │      21: 00000000000000a0     0 NOTYPE  LOCAL  DEFAULT    1 $d
│ │ │ │ │      22: 00000000000000c0     0 NOTYPE  LOCAL  DEFAULT    1 $x
│ │ │ │ │ -    23: 0000000000000298     0 NOTYPE  LOCAL  DEFAULT    3 i1FS_str
│ │ │ │ │ -    24: 00000000000002a0     0 NOTYPE  LOCAL  DEFAULT    3 i1FT_str
│ │ │ │ │ +    23: 0000000000000298     0 NOTYPE  LOCAL  DEFAULT    3 i1Ib_str
│ │ │ │ │ +    24: 00000000000002a0     0 NOTYPE  LOCAL  DEFAULT    3 i1Ic_str
│ │ │ │ │      25: 0000000000000180     0 NOTYPE  LOCAL  DEFAULT    1 $d
│ │ │ │ │      26: 00000000000001a0     0 NOTYPE  LOCAL  DEFAULT    1 $x
│ │ │ │ │      27: 0000000000000238     0 NOTYPE  LOCAL  DEFAULT    1 $d
│ │ │ │ │      28: 0000000000000258     0 NOTYPE  LOCAL  DEFAULT    1 $x
│ │ │ │ │ -    29: 00000000000002f8     0 NOTYPE  LOCAL  DEFAULT    3 i1FU_str
│ │ │ │ │ -    30: 0000000000000308     0 NOTYPE  LOCAL  DEFAULT    3 i1FV_str
│ │ │ │ │ +    29: 00000000000002f8     0 NOTYPE  LOCAL  DEFAULT    3 i1Id_str
│ │ │ │ │ +    30: 0000000000000308     0 NOTYPE  LOCAL  DEFAULT    3 i1Ie_str
│ │ │ │ │      31: 0000000000000288     0 NOTYPE  LOCAL  DEFAULT    1 $d
│ │ │ │ │      32: 00000000000002b0     0 NOTYPE  LOCAL  DEFAULT    1 $x
│ │ │ │ │ -    33: 0000000000000360     0 NOTYPE  LOCAL  DEFAULT    3 i1FW_str
│ │ │ │ │ -    34: 0000000000000370     0 NOTYPE  LOCAL  DEFAULT    3 i1FX_str
│ │ │ │ │ +    33: 0000000000000360     0 NOTYPE  LOCAL  DEFAULT    3 i1If_str
│ │ │ │ │ +    34: 0000000000000370     0 NOTYPE  LOCAL  DEFAULT    3 i1Ig_str
│ │ │ │ │      35: 0000000000000328     0 NOTYPE  LOCAL  DEFAULT    1 $d
│ │ │ │ │      36: 0000000000000350     0 NOTYPE  LOCAL  DEFAULT    1 $x
│ │ │ │ │ -    37: 00000000000003d8     0 NOTYPE  LOCAL  DEFAULT    3 i1Hr_str
│ │ │ │ │ -    38: 00000000000003e8     0 NOTYPE  LOCAL  DEFAULT    3 i1Hs_str
│ │ │ │ │ +    37: 00000000000003d8     0 NOTYPE  LOCAL  DEFAULT    3 i1JE_str
│ │ │ │ │ +    38: 00000000000003e8     0 NOTYPE  LOCAL  DEFAULT    3 i1JF_str
│ │ │ │ │      39: 0000000000000430     0 NOTYPE  LOCAL  DEFAULT    1 $d
│ │ │ │ │      40: 0000000000000458     0 NOTYPE  LOCAL  DEFAULT    1 $x
│ │ │ │ │ -    41: 0000000000000440     0 NOTYPE  LOCAL  DEFAULT    3 i1HX_str
│ │ │ │ │ -    42: 0000000000000448     0 NOTYPE  LOCAL  DEFAULT    3 i1HY_str
│ │ │ │ │ +    41: 0000000000000440     0 NOTYPE  LOCAL  DEFAULT    3 i1Km_str
│ │ │ │ │ +    42: 0000000000000448     0 NOTYPE  LOCAL  DEFAULT    3 i1Kn_str
│ │ │ │ │      43: 0000000000000460     0 NOTYPE  LOCAL  DEFAULT    1 $d
│ │ │ │ │      44: 0000000000000488     0 NOTYPE  LOCAL  DEFAULT    1 $x
│ │ │ │ │ -    45: 0000000000000498     0 NOTYPE  LOCAL  DEFAULT    3 i1Ip_str
│ │ │ │ │ -    46: 00000000000004a0     0 NOTYPE  LOCAL  DEFAULT    3 i1Iq_str
│ │ │ │ │ -    47: 00000000000004a8     0 NOTYPE  LOCAL  DEFAULT    3 i1Ir_str
│ │ │ │ │ +    45: 0000000000000498     0 NOTYPE  LOCAL  DEFAULT    3 i1L8_str
│ │ │ │ │ +    46: 00000000000004a0     0 NOTYPE  LOCAL  DEFAULT    3 i1L9_str
│ │ │ │ │ +    47: 00000000000004a8     0 NOTYPE  LOCAL  DEFAULT    3 i1La_str
│ │ │ │ │      48: 0000000000000510     0 NOTYPE  LOCAL  DEFAULT    1 $d
│ │ │ │ │      49: 0000000000000538     0 NOTYPE  LOCAL  DEFAULT    1 $x
│ │ │ │ │ -    50: 00000000000004f0     0 NOTYPE  LOCAL  DEFAULT    3 i1IN_str
│ │ │ │ │ -    51: 00000000000004f8     0 NOTYPE  LOCAL  DEFAULT    3 i1IO_str
│ │ │ │ │ -    52: 0000000000000500     0 NOTYPE  LOCAL  DEFAULT    3 i1IP_str
│ │ │ │ │ +    50: 00000000000004f0     0 NOTYPE  LOCAL  DEFAULT    3 i1LI_str
│ │ │ │ │ +    51: 00000000000004f8     0 NOTYPE  LOCAL  DEFAULT    3 i1LJ_str
│ │ │ │ │ +    52: 0000000000000500     0 NOTYPE  LOCAL  DEFAULT    3 i1LK_str
│ │ │ │ │      53: 0000000000000588     0 NOTYPE  LOCAL  DEFAULT    1 $d
│ │ │ │ │      54: 00000000000005b0     0 NOTYPE  LOCAL  DEFAULT    1 $x
│ │ │ │ │      55: 0000000000000000     0 NOTYPE  LOCAL  DEFAULT    9 $d
│ │ │ │ │      56: 00000000000005fc     0 NOTYPE  LOCAL  DEFAULT    1 $x
│ │ │ │ │      57: 0000000000000000     0 NOTYPE  LOCAL  DEFAULT   11 $d
│ │ │ │ │      58: 0000000000000014     0 NOTYPE  LOCAL  DEFAULT    4 $d
│ │ │ │ │      59: 00000000000000f0     0 OBJECT  GLOBAL DEFAULT    7 numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_zdfKnownNatZZ_closure
│ │ │ │ ├── readelf --wide --relocs {}
│ │ │ │ │ @@ -1,35 +1,35 @@
│ │ │ │ │  
│ │ │ │ │  Relocation section '.rela.text' at offset 0x33f8 contains 98 entries:
│ │ │ │ │      Offset             Info             Type               Symbol's Value  Symbol's Name + Addend
│ │ │ │ │ -0000000000000008  0000000700000104 R_AARCH64_PREL64       00000000000000e8 i1DV_str - 20
│ │ │ │ │ -0000000000000010  0000000800000104 R_AARCH64_PREL64       00000000000000f8 i1DW_str - 18
│ │ │ │ │ +0000000000000008  0000000700000104 R_AARCH64_PREL64       00000000000000e8 i1Fq_str - 20
│ │ │ │ │ +0000000000000010  0000000800000104 R_AARCH64_PREL64       00000000000000f8 i1Fr_str - 18
│ │ │ │ │  000000000000002c  0000005d0000011a R_AARCH64_JUMP26       0000000000000000 stg_ap_0_fast + 0
│ │ │ │ │ -0000000000000038  0000000b00000104 R_AARCH64_PREL64       0000000000000150 i1Eb_str - 20
│ │ │ │ │ -0000000000000040  0000000c00000104 R_AARCH64_PREL64       0000000000000160 i1Ec_str - 18
│ │ │ │ │ +0000000000000038  0000000b00000104 R_AARCH64_PREL64       0000000000000150 i1FF_str - 20
│ │ │ │ │ +0000000000000040  0000000c00000104 R_AARCH64_PREL64       0000000000000160 i1FG_str - 18
│ │ │ │ │  0000000000000058  0000004500000113 R_AARCH64_ADR_PREL_PG_HI21 00000000000000b8 numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_zdfKnownNatZZ1_closure + 0
│ │ │ │ │  000000000000005c  0000004500000115 R_AARCH64_ADD_ABS_LO12_NC 00000000000000b8 numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_zdfKnownNatZZ1_closure + 0
│ │ │ │ │ -0000000000000078  0000000f00000104 R_AARCH64_PREL64       00000000000001c8 i1Eq_str - 20
│ │ │ │ │ -0000000000000080  0000001000000104 R_AARCH64_PREL64       00000000000001d8 i1Er_str - 18
│ │ │ │ │ +0000000000000078  0000000f00000104 R_AARCH64_PREL64       00000000000001c8 i1FU_str - 20
│ │ │ │ │ +0000000000000080  0000001000000104 R_AARCH64_PREL64       00000000000001d8 i1FV_str - 18
│ │ │ │ │  0000000000000098  0000003e0000011a R_AARCH64_JUMP26       0000000000000058 numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_zdfKnownNatZZzuzdcnatVal_info + 0
│ │ │ │ │ -00000000000000a0  0000001300000104 R_AARCH64_PREL64       0000000000000230 i1ER_str - 20
│ │ │ │ │ -00000000000000a8  0000001400000104 R_AARCH64_PREL64       0000000000000238 i1ES_str - 18
│ │ │ │ │ +00000000000000a0  0000001300000104 R_AARCH64_PREL64       0000000000000230 i1Gl_str - 20
│ │ │ │ │ +00000000000000a8  0000001400000104 R_AARCH64_PREL64       0000000000000238 i1Gm_str - 18
│ │ │ │ │  00000000000000bc  0000000300000105 R_AARCH64_PREL32       0000000000000000 .data + 294
│ │ │ │ │  00000000000000c4  0000007200000137 R_AARCH64_ADR_GOT_PAGE 0000000000000000 era + 0
│ │ │ │ │  00000000000000c8  0000007200000138 R_AARCH64_LD64_GOT_LO12_NC 0000000000000000 era + 0
│ │ │ │ │  00000000000000e8  0000007200000137 R_AARCH64_ADR_GOT_PAGE 0000000000000000 era + 0
│ │ │ │ │  00000000000000ec  0000007200000138 R_AARCH64_LD64_GOT_LO12_NC 0000000000000000 era + 0
│ │ │ │ │  0000000000000124  0000007c0000011b R_AARCH64_CALL26       0000000000000000 newCAF + 0
│ │ │ │ │  0000000000000134  0000006200000137 R_AARCH64_ADR_GOT_PAGE 0000000000000000 stg_bh_upd_frame_info + 0
│ │ │ │ │  0000000000000138  0000006200000138 R_AARCH64_LD64_GOT_LO12_NC 0000000000000000 stg_bh_upd_frame_info + 0
│ │ │ │ │  0000000000000154  0000000300000113 R_AARCH64_ADR_PREL_PG_HI21 0000000000000000 .data + 260
│ │ │ │ │  0000000000000158  0000000300000115 R_AARCH64_ADD_ABS_LO12_NC 0000000000000000 .data + 260
│ │ │ │ │  0000000000000164  000000570000011a R_AARCH64_JUMP26       0000000000000000 ghczminternal_GHCziInternalziErr_undefined_info + 0
│ │ │ │ │ -0000000000000180  0000001700000104 R_AARCH64_PREL64       0000000000000298 i1FS_str - 20
│ │ │ │ │ -0000000000000188  0000001800000104 R_AARCH64_PREL64       00000000000002a0 i1FT_str - 18
│ │ │ │ │ +0000000000000180  0000001700000104 R_AARCH64_PREL64       0000000000000298 i1Ib_str - 20
│ │ │ │ │ +0000000000000188  0000001800000104 R_AARCH64_PREL64       00000000000002a0 i1Ic_str - 18
│ │ │ │ │  000000000000019c  0000000300000105 R_AARCH64_PREL32       0000000000000000 .data + 31c
│ │ │ │ │  00000000000001a4  0000007200000137 R_AARCH64_ADR_GOT_PAGE 0000000000000000 era + 0
│ │ │ │ │  00000000000001a8  0000007200000138 R_AARCH64_LD64_GOT_LO12_NC 0000000000000000 era + 0
│ │ │ │ │  00000000000001c8  0000007200000137 R_AARCH64_ADR_GOT_PAGE 0000000000000000 era + 0
│ │ │ │ │  00000000000001cc  0000007200000138 R_AARCH64_LD64_GOT_LO12_NC 0000000000000000 era + 0
│ │ │ │ │  00000000000001f0  0000004e00000137 R_AARCH64_ADR_GOT_PAGE 0000000000000000 stg_upd_frame_info + 0
│ │ │ │ │  00000000000001f4  0000004e00000138 R_AARCH64_LD64_GOT_LO12_NC 0000000000000000 stg_upd_frame_info + 0
│ │ │ │ │ @@ -38,23 +38,23 @@
│ │ │ │ │  000000000000021c  0000007600000113 R_AARCH64_ADR_PREL_PG_HI21 00000000000002c8 numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_zdfKnownNatS1_closure + 0
│ │ │ │ │  0000000000000220  0000007600000115 R_AARCH64_ADD_ABS_LO12_NC 00000000000002c8 numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_zdfKnownNatS1_closure + 0
│ │ │ │ │  0000000000000234  0000006f0000011a R_AARCH64_JUMP26       0000000000000000 stg_ap_p_fast + 0
│ │ │ │ │  0000000000000254  0000000300000105 R_AARCH64_PREL32       0000000000000000 .data + 2f4
│ │ │ │ │  0000000000000264  0000004f00000113 R_AARCH64_ADR_PREL_PG_HI21 0000000000000108 numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_zdfKnownNatS2_closure + 0
│ │ │ │ │  0000000000000268  0000004f00000115 R_AARCH64_ADD_ABS_LO12_NC 0000000000000108 numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_zdfKnownNatS2_closure + 0
│ │ │ │ │  0000000000000274  000000660000011a R_AARCH64_JUMP26       0000000000000000 ghczmbignum_GHCziNumziInteger_integerAdd_info + 0
│ │ │ │ │ -0000000000000290  0000001d00000104 R_AARCH64_PREL64       00000000000002f8 i1FU_str - 20
│ │ │ │ │ -0000000000000298  0000001e00000104 R_AARCH64_PREL64       0000000000000308 i1FV_str - 18
│ │ │ │ │ +0000000000000290  0000001d00000104 R_AARCH64_PREL64       00000000000002f8 i1Id_str - 20
│ │ │ │ │ +0000000000000298  0000001e00000104 R_AARCH64_PREL64       0000000000000308 i1Ie_str - 18
│ │ │ │ │  00000000000002b4  0000007200000137 R_AARCH64_ADR_GOT_PAGE 0000000000000000 era + 0
│ │ │ │ │  00000000000002b8  0000007200000138 R_AARCH64_LD64_GOT_LO12_NC 0000000000000000 era + 0
│ │ │ │ │  00000000000002d8  0000007200000137 R_AARCH64_ADR_GOT_PAGE 0000000000000000 era + 0
│ │ │ │ │  00000000000002dc  0000007200000138 R_AARCH64_LD64_GOT_LO12_NC 0000000000000000 era + 0
│ │ │ │ │  000000000000030c  0000007e0000011b R_AARCH64_CALL26       0000000000000000 enterFunCCS + 0
│ │ │ │ │ -0000000000000330  0000002100000104 R_AARCH64_PREL64       0000000000000360 i1FW_str - 20
│ │ │ │ │ -0000000000000338  0000002200000104 R_AARCH64_PREL64       0000000000000370 i1FX_str - 18
│ │ │ │ │ +0000000000000330  0000002100000104 R_AARCH64_PREL64       0000000000000360 i1If_str - 20
│ │ │ │ │ +0000000000000338  0000002200000104 R_AARCH64_PREL64       0000000000000370 i1Ig_str - 18
│ │ │ │ │  000000000000034c  0000000300000105 R_AARCH64_PREL32       0000000000000000 .data + 31c
│ │ │ │ │  0000000000000374  0000000100000113 R_AARCH64_ADR_PREL_PG_HI21 0000000000000000 .text + 1a0
│ │ │ │ │  0000000000000378  0000000100000115 R_AARCH64_ADD_ABS_LO12_NC 0000000000000000 .text + 1a0
│ │ │ │ │  0000000000000388  0000007200000137 R_AARCH64_ADR_GOT_PAGE 0000000000000000 era + 0
│ │ │ │ │  000000000000038c  0000007200000138 R_AARCH64_LD64_GOT_LO12_NC 0000000000000000 era + 0
│ │ │ │ │  000000000000039c  0000007a00000137 R_AARCH64_ADR_GOT_PAGE 0000000000000000 user_era + 0
│ │ │ │ │  00000000000003a0  0000007a00000138 R_AARCH64_LD64_GOT_LO12_NC 0000000000000000 user_era + 0
│ │ │ │ │ @@ -63,38 +63,38 @@
│ │ │ │ │  00000000000003dc  0000007200000137 R_AARCH64_ADR_GOT_PAGE 0000000000000000 era + 0
│ │ │ │ │  00000000000003e0  0000007200000138 R_AARCH64_LD64_GOT_LO12_NC 0000000000000000 era + 0
│ │ │ │ │  00000000000003f0  0000007a00000137 R_AARCH64_ADR_GOT_PAGE 0000000000000000 user_era + 0
│ │ │ │ │  00000000000003f4  0000007a00000138 R_AARCH64_LD64_GOT_LO12_NC 0000000000000000 user_era + 0
│ │ │ │ │  0000000000000410  0000005d0000011a R_AARCH64_JUMP26       0000000000000000 stg_ap_0_fast + 0
│ │ │ │ │  000000000000041c  0000007800000113 R_AARCH64_ADR_PREL_PG_HI21 0000000000000350 numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_zdfKnownNatSzuzdcnatVal_closure + 0
│ │ │ │ │  0000000000000420  0000007800000115 R_AARCH64_ADD_ABS_LO12_NC 0000000000000350 numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_zdfKnownNatSzuzdcnatVal_closure + 0
│ │ │ │ │ -0000000000000438  0000002500000104 R_AARCH64_PREL64       00000000000003d8 i1Hr_str - 20
│ │ │ │ │ -0000000000000440  0000002600000104 R_AARCH64_PREL64       00000000000003e8 i1Hs_str - 18
│ │ │ │ │ +0000000000000438  0000002500000104 R_AARCH64_PREL64       00000000000003d8 i1JE_str - 20
│ │ │ │ │ +0000000000000440  0000002600000104 R_AARCH64_PREL64       00000000000003e8 i1JF_str - 18
│ │ │ │ │  0000000000000454  0000007800000105 R_AARCH64_PREL32       0000000000000350 numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_zdfKnownNatSzuzdcnatVal_closure - 4
│ │ │ │ │  0000000000000458  000000680000011a R_AARCH64_JUMP26       0000000000000350 numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_zdfKnownNatSzuzdcnatVal_info + 0
│ │ │ │ │ -0000000000000468  0000002900000104 R_AARCH64_PREL64       0000000000000440 i1HX_str - 20
│ │ │ │ │ -0000000000000470  0000002a00000104 R_AARCH64_PREL64       0000000000000448 i1HY_str - 18
│ │ │ │ │ +0000000000000468  0000002900000104 R_AARCH64_PREL64       0000000000000440 i1Km_str - 20
│ │ │ │ │ +0000000000000470  0000002a00000104 R_AARCH64_PREL64       0000000000000448 i1Kn_str - 18
│ │ │ │ │  00000000000004ac  0000005200000113 R_AARCH64_ADR_PREL_PG_HI21 00000000000005b0 numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_S_con_info + 0
│ │ │ │ │  00000000000004b0  0000005200000115 R_AARCH64_ADD_ABS_LO12_NC 00000000000005b0 numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_S_con_info + 0
│ │ │ │ │  00000000000004c0  0000007200000137 R_AARCH64_ADR_GOT_PAGE 0000000000000000 era + 0
│ │ │ │ │  00000000000004c4  0000007200000138 R_AARCH64_LD64_GOT_LO12_NC 0000000000000000 era + 0
│ │ │ │ │  00000000000004d4  0000007a00000137 R_AARCH64_ADR_GOT_PAGE 0000000000000000 user_era + 0
│ │ │ │ │  00000000000004d8  0000007a00000138 R_AARCH64_LD64_GOT_LO12_NC 0000000000000000 user_era + 0
│ │ │ │ │  0000000000000500  0000007d00000113 R_AARCH64_ADR_PREL_PG_HI21 0000000000000668 numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_S_closure + 0
│ │ │ │ │  0000000000000504  0000007d00000115 R_AARCH64_ADD_ABS_LO12_NC 0000000000000668 numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_S_closure + 0
│ │ │ │ │ -0000000000000510  0000002f00000104 R_AARCH64_PREL64       00000000000004a8 i1Ir_str - 28
│ │ │ │ │ -0000000000000518  0000002d00000104 R_AARCH64_PREL64       0000000000000498 i1Ip_str - 20
│ │ │ │ │ -0000000000000520  0000002e00000104 R_AARCH64_PREL64       00000000000004a0 i1Iq_str - 18
│ │ │ │ │ +0000000000000510  0000002f00000104 R_AARCH64_PREL64       00000000000004a8 i1La_str - 28
│ │ │ │ │ +0000000000000518  0000002d00000104 R_AARCH64_PREL64       0000000000000498 i1L8_str - 20
│ │ │ │ │ +0000000000000520  0000002e00000104 R_AARCH64_PREL64       00000000000004a0 i1L9_str - 18
│ │ │ │ │  0000000000000538  0000007200000137 R_AARCH64_ADR_GOT_PAGE 0000000000000000 era + 0
│ │ │ │ │  000000000000053c  0000007200000138 R_AARCH64_LD64_GOT_LO12_NC 0000000000000000 era + 0
│ │ │ │ │  000000000000055c  0000007200000137 R_AARCH64_ADR_GOT_PAGE 0000000000000000 era + 0
│ │ │ │ │  0000000000000560  0000007200000138 R_AARCH64_LD64_GOT_LO12_NC 0000000000000000 era + 0
│ │ │ │ │ -0000000000000588  0000003400000104 R_AARCH64_PREL64       0000000000000500 i1IP_str - 28
│ │ │ │ │ -0000000000000590  0000003200000104 R_AARCH64_PREL64       00000000000004f0 i1IN_str - 20
│ │ │ │ │ -0000000000000598  0000003300000104 R_AARCH64_PREL64       00000000000004f8 i1IO_str - 18
│ │ │ │ │ +0000000000000588  0000003400000104 R_AARCH64_PREL64       0000000000000500 i1LK_str - 28
│ │ │ │ │ +0000000000000590  0000003200000104 R_AARCH64_PREL64       00000000000004f0 i1LI_str - 20
│ │ │ │ │ +0000000000000598  0000003300000104 R_AARCH64_PREL64       00000000000004f8 i1LJ_str - 18
│ │ │ │ │  00000000000005b0  0000007200000137 R_AARCH64_ADR_GOT_PAGE 0000000000000000 era + 0
│ │ │ │ │  00000000000005b4  0000007200000138 R_AARCH64_LD64_GOT_LO12_NC 0000000000000000 era + 0
│ │ │ │ │  00000000000005d4  0000007200000137 R_AARCH64_ADR_GOT_PAGE 0000000000000000 era + 0
│ │ │ │ │  00000000000005d8  0000007200000138 R_AARCH64_LD64_GOT_LO12_NC 0000000000000000 era + 0
│ │ │ │ │  0000000000000608  0000000400000113 R_AARCH64_ADR_PREL_PG_HI21 0000000000000000 .data.rel + 0
│ │ │ │ │  000000000000060c  0000000400000115 R_AARCH64_ADD_ABS_LO12_NC 0000000000000000 .data.rel + 0
│ │ │ │ │  0000000000000614  000000820000011b R_AARCH64_CALL26       0000000000000000 registerCcList + 0
│ │ │ │ ├── strings --all --bytes=8 {}
│ │ │ │ │ @@ -2,54 +2,54 @@
│ │ │ │ │  <entire-module>
│ │ │ │ │  KnownNat
│ │ │ │ │  ./Numeric/NumType/DK/Naturals.hs
│ │ │ │ │  Numeric.NumType.DK.Naturals
│ │ │ │ │  numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG
│ │ │ │ │  undefined
│ │ │ │ │  ->Integer
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.natVal_rh4>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.natVal_ri7>
│ │ │ │ │  ->Integer
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.$fKnownNatZ_$cnatVal_r1w6>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.$fKnownNatZ_$cnatVal_r1D7>
│ │ │ │ │  KnownNat
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.$fKnownNatZ_rLS>
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.$fKnownNatS1_r1vZ>
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.lvl11_s1Au>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.$fKnownNatZ_rPA>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.$fKnownNatS1_r1D5>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.lvl11_s1DX>
│ │ │ │ │  ->Integer
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.sat_s1AG>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.sat_s1E4>
│ │ │ │ │  ->Integer
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.$fKnownNatS_$cnatVal_r1vP>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.$fKnownNatS_$cnatVal_r1D4>
│ │ │ │ │  KnownNat
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.$fKnownNatS_rLL>
│ │ │ │ │ -<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.S_rJ9>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.$fKnownNatS_rPs>
│ │ │ │ │ +<numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.S_rJt>
│ │ │ │ │  numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.Z
│ │ │ │ │  numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.S
│ │ │ │ │ -i1DV_str
│ │ │ │ │ -i1DW_str
│ │ │ │ │ -i1Eb_str
│ │ │ │ │ -i1Ec_str
│ │ │ │ │ -i1Eq_str
│ │ │ │ │ -i1Er_str
│ │ │ │ │ -i1ER_str
│ │ │ │ │ -i1ES_str
│ │ │ │ │ -i1FS_str
│ │ │ │ │ -i1FT_str
│ │ │ │ │ +i1Fq_str
│ │ │ │ │ +i1Fr_str
│ │ │ │ │ +i1FF_str
│ │ │ │ │ +i1FG_str
│ │ │ │ │  i1FU_str
│ │ │ │ │  i1FV_str
│ │ │ │ │ -i1FW_str
│ │ │ │ │ -i1FX_str
│ │ │ │ │ -i1Hr_str
│ │ │ │ │ -i1Hs_str
│ │ │ │ │ -i1HX_str
│ │ │ │ │ -i1HY_str
│ │ │ │ │ -i1Ip_str
│ │ │ │ │ -i1Iq_str
│ │ │ │ │ -i1Ir_str
│ │ │ │ │ -i1IN_str
│ │ │ │ │ -i1IO_str
│ │ │ │ │ -i1IP_str
│ │ │ │ │ +i1Gl_str
│ │ │ │ │ +i1Gm_str
│ │ │ │ │ +i1Ib_str
│ │ │ │ │ +i1Ic_str
│ │ │ │ │ +i1Id_str
│ │ │ │ │ +i1Ie_str
│ │ │ │ │ +i1If_str
│ │ │ │ │ +i1Ig_str
│ │ │ │ │ +i1JE_str
│ │ │ │ │ +i1JF_str
│ │ │ │ │ +i1Km_str
│ │ │ │ │ +i1Kn_str
│ │ │ │ │ +i1L8_str
│ │ │ │ │ +i1L9_str
│ │ │ │ │ +i1La_str
│ │ │ │ │ +i1LI_str
│ │ │ │ │ +i1LJ_str
│ │ │ │ │ +i1LK_str
│ │ │ │ │  numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_zdfKnownNatZZ_closure
│ │ │ │ │  numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_zdtrModule_closure
│ │ │ │ │  numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_zdtczqZZ1_closure
│ │ │ │ │  numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_zdfKnownNatZZzuzdcnatVal_info
│ │ │ │ │  ghczmprim_GHCziTypes_KindRepTyConApp_con_info
│ │ │ │ │  ghczmprim_GHCziTypes_krepzdConstraint_closure
│ │ │ │ │  numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_init_arr
│ │ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}
│ │ │ │ │ @@ -3,29 +3,29 @@
│ │ │ │ │  
│ │ │ │ │  Disassembly of section .text:
│ │ │ │ │  
│ │ │ │ │  0000000000000000 <numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_natVal_info-0x28>:
│ │ │ │ │  	.word	0x00000005
│ │ │ │ │  	.word	0x00000001
│ │ │ │ │  	...
│ │ │ │ │ - R_AARCH64_PREL64	i1DV_str-0x20
│ │ │ │ │ - R_AARCH64_PREL64	i1DW_str-0x18
│ │ │ │ │ + R_AARCH64_PREL64	i1Fq_str-0x20
│ │ │ │ │ + R_AARCH64_PREL64	i1Fr_str-0x18
│ │ │ │ │  	.word	0x0000000e
│ │ │ │ │  	.word	0x00000000
│ │ │ │ │  
│ │ │ │ │  0000000000000028 <numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_natVal_info>:
│ │ │ │ │  numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_natVal_info():
│ │ │ │ │  	mov	x22, x23
│ │ │ │ │  	b	0 <stg_ap_0_fast>
│ │ │ │ │   R_AARCH64_JUMP26	stg_ap_0_fast
│ │ │ │ │  	.word	0x00000005
│ │ │ │ │  	.word	0x00000001
│ │ │ │ │  	...
│ │ │ │ │ - R_AARCH64_PREL64	i1Eb_str-0x20
│ │ │ │ │ - R_AARCH64_PREL64	i1Ec_str-0x18
│ │ │ │ │ + R_AARCH64_PREL64	i1FF_str-0x20
│ │ │ │ │ + R_AARCH64_PREL64	i1FG_str-0x18
│ │ │ │ │  	.word	0x0000000e
│ │ │ │ │  	.word	0x00000000
│ │ │ │ │  
│ │ │ │ │  0000000000000058 <numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_zdfKnownNatZZzuzdcnatVal_info>:
│ │ │ │ │  numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_zdfKnownNatZZzuzdcnatVal_info():
│ │ │ │ │  	adrp	x22, b8 <numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_zdfKnownNatZZ_info+0x20>
│ │ │ │ │   R_AARCH64_ADR_PREL_PG_HI21	numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_zdfKnownNatZZ1_closure
│ │ │ │ │ @@ -34,27 +34,27 @@
│ │ │ │ │  	add	x22, x22, #0x1
│ │ │ │ │  	ldr	x18, [x20]
│ │ │ │ │  	br	x18
│ │ │ │ │  	nop
│ │ │ │ │  	.word	0x00000005
│ │ │ │ │  	.word	0x00000001
│ │ │ │ │  	...
│ │ │ │ │ - R_AARCH64_PREL64	i1Eq_str-0x20
│ │ │ │ │ - R_AARCH64_PREL64	i1Er_str-0x18
│ │ │ │ │ + R_AARCH64_PREL64	i1FU_str-0x20
│ │ │ │ │ + R_AARCH64_PREL64	i1FV_str-0x18
│ │ │ │ │  	.word	0x0000000e
│ │ │ │ │  	.word	0x00000000
│ │ │ │ │  
│ │ │ │ │  0000000000000098 <numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_zdfKnownNatZZ_info>:
│ │ │ │ │  numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_zdfKnownNatZZ_info():
│ │ │ │ │  	b	58 <numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_zdfKnownNatZZzuzdcnatVal_info>
│ │ │ │ │   R_AARCH64_JUMP26	numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_zdfKnownNatZZzuzdcnatVal_info
│ │ │ │ │  	nop
│ │ │ │ │  	...
│ │ │ │ │ - R_AARCH64_PREL64	i1ER_str-0x20
│ │ │ │ │ - R_AARCH64_PREL64	i1ES_str-0x18
│ │ │ │ │ + R_AARCH64_PREL64	i1Gl_str-0x20
│ │ │ │ │ + R_AARCH64_PREL64	i1Gm_str-0x18
│ │ │ │ │  	.word	0x00000015
│ │ │ │ │  	.word	0x00000000
│ │ │ │ │   R_AARCH64_PREL32	.data+0x294
│ │ │ │ │  
│ │ │ │ │  00000000000000c0 <numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_zdfKnownNatS1_info>:
│ │ │ │ │  numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_zdfKnownNatS1_info():
│ │ │ │ │  	mov	x18, x22
│ │ │ │ │ @@ -112,16 +112,16 @@
│ │ │ │ │  	ldr	x18, [sp, #16]
│ │ │ │ │  	ldr	x18, [x18]
│ │ │ │ │  	br	x18
│ │ │ │ │  	mov	x22, x18
│ │ │ │ │  	ldur	x18, [x19, #-16]
│ │ │ │ │  	br	x18
│ │ │ │ │  	...
│ │ │ │ │ - R_AARCH64_PREL64	i1FS_str-0x20
│ │ │ │ │ - R_AARCH64_PREL64	i1FT_str-0x18
│ │ │ │ │ + R_AARCH64_PREL64	i1Ib_str-0x20
│ │ │ │ │ + R_AARCH64_PREL64	i1Ic_str-0x18
│ │ │ │ │  	.word	0x00000001
│ │ │ │ │  	.word	0x00000000
│ │ │ │ │  	.word	0x00000010
│ │ │ │ │  	.word	0x00000000
│ │ │ │ │   R_AARCH64_PREL32	.data+0x31c
│ │ │ │ │  	mov	x18, x22
│ │ │ │ │  	adrp	x17, 0 <era>
│ │ │ │ │ @@ -192,16 +192,16 @@
│ │ │ │ │  	mov	x22, x18
│ │ │ │ │  	ldur	x18, [x19, #-16]
│ │ │ │ │  	br	x18
│ │ │ │ │  	nop
│ │ │ │ │  	.word	0x00000005
│ │ │ │ │  	.word	0x00000001
│ │ │ │ │  	...
│ │ │ │ │ - R_AARCH64_PREL64	i1FU_str-0x20
│ │ │ │ │ - R_AARCH64_PREL64	i1FV_str-0x18
│ │ │ │ │ + R_AARCH64_PREL64	i1Id_str-0x20
│ │ │ │ │ + R_AARCH64_PREL64	i1Ie_str-0x18
│ │ │ │ │  	.word	0x00000001
│ │ │ │ │  	.word	0x00000000
│ │ │ │ │  	.word	0x00000009
│ │ │ │ │  	.word	0x00000000
│ │ │ │ │  	mov	x18, x22
│ │ │ │ │  	adrp	x17, 0 <era>
│ │ │ │ │   R_AARCH64_ADR_GOT_PAGE	era
│ │ │ │ │ @@ -236,16 +236,16 @@
│ │ │ │ │  	ldur	x18, [x18, #23]
│ │ │ │ │  	and	x22, x18, #0xfffffffffffffff8
│ │ │ │ │  	ldr	x18, [x22]
│ │ │ │ │  	br	x18
│ │ │ │ │  	.word	0x00000005
│ │ │ │ │  	.word	0x00000001
│ │ │ │ │  	...
│ │ │ │ │ - R_AARCH64_PREL64	i1FW_str-0x20
│ │ │ │ │ - R_AARCH64_PREL64	i1FX_str-0x18
│ │ │ │ │ + R_AARCH64_PREL64	i1If_str-0x20
│ │ │ │ │ + R_AARCH64_PREL64	i1Ig_str-0x18
│ │ │ │ │  	.word	0x0000000e
│ │ │ │ │  	.word	0x00000000
│ │ │ │ │   R_AARCH64_PREL32	.data+0x31c
│ │ │ │ │  
│ │ │ │ │  0000000000000350 <numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_zdfKnownNatSzuzdcnatVal_info>:
│ │ │ │ │  numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_zdfKnownNatSzuzdcnatVal_info():
│ │ │ │ │  	add	x21, x21, #0x48
│ │ │ │ │ @@ -318,30 +318,30 @@
│ │ │ │ │   R_AARCH64_ADD_ABS_LO12_NC	numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_zdfKnownNatSzuzdcnatVal_closure
│ │ │ │ │  	ldur	x18, [x19, #-8]
│ │ │ │ │  	br	x18
│ │ │ │ │  	nop
│ │ │ │ │  	.word	0x00000005
│ │ │ │ │  	.word	0x00000001
│ │ │ │ │  	...
│ │ │ │ │ - R_AARCH64_PREL64	i1Hr_str-0x20
│ │ │ │ │ - R_AARCH64_PREL64	i1Hs_str-0x18
│ │ │ │ │ + R_AARCH64_PREL64	i1JE_str-0x20
│ │ │ │ │ + R_AARCH64_PREL64	i1JF_str-0x18
│ │ │ │ │  	.word	0x0000000e
│ │ │ │ │  	.word	0x00000000
│ │ │ │ │   R_AARCH64_PREL32	numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_zdfKnownNatSzuzdcnatVal_closure-0x4
│ │ │ │ │  
│ │ │ │ │  0000000000000458 <numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_zdfKnownNatS_info>:
│ │ │ │ │  numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_zdfKnownNatS_info():
│ │ │ │ │  	b	350 <numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_zdfKnownNatSzuzdcnatVal_info>
│ │ │ │ │   R_AARCH64_JUMP26	numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_zdfKnownNatSzuzdcnatVal_info
│ │ │ │ │  	nop
│ │ │ │ │  	.word	0x00000005
│ │ │ │ │  	.word	0x00000001
│ │ │ │ │  	...
│ │ │ │ │ - R_AARCH64_PREL64	i1HX_str-0x20
│ │ │ │ │ - R_AARCH64_PREL64	i1HY_str-0x18
│ │ │ │ │ + R_AARCH64_PREL64	i1Km_str-0x20
│ │ │ │ │ + R_AARCH64_PREL64	i1Kn_str-0x18
│ │ │ │ │  	.word	0x0000000e
│ │ │ │ │  	.word	0x00000000
│ │ │ │ │  
│ │ │ │ │  0000000000000488 <numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_S_info>:
│ │ │ │ │  numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_S_info():
│ │ │ │ │  	add	x21, x21, #0x20
│ │ │ │ │  	ldr	x18, [x19, #856]
│ │ │ │ │ @@ -382,17 +382,17 @@
│ │ │ │ │  	adrp	x22, 668 <numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_S_closure>
│ │ │ │ │   R_AARCH64_ADR_PREL_PG_HI21	numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_S_closure
│ │ │ │ │  	add	x22, x22, #0x0
│ │ │ │ │   R_AARCH64_ADD_ABS_LO12_NC	numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_S_closure
│ │ │ │ │  	ldur	x18, [x19, #-8]
│ │ │ │ │  	br	x18
│ │ │ │ │  	...
│ │ │ │ │ - R_AARCH64_PREL64	i1Ir_str-0x28
│ │ │ │ │ - R_AARCH64_PREL64	i1Ip_str-0x20
│ │ │ │ │ - R_AARCH64_PREL64	i1Iq_str-0x18
│ │ │ │ │ + R_AARCH64_PREL64	i1La_str-0x28
│ │ │ │ │ + R_AARCH64_PREL64	i1L8_str-0x20
│ │ │ │ │ + R_AARCH64_PREL64	i1L9_str-0x18
│ │ │ │ │  	.word	0x00000001
│ │ │ │ │  	.word	0x00000003
│ │ │ │ │  	.word	0x00000000
│ │ │ │ │  
│ │ │ │ │  0000000000000538 <numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_ZZ_con_info>:
│ │ │ │ │  	....R.@.R.@.R~@.
│ │ │ │ │   R_AARCH64_ADR_GOT_PAGE	era
│ │ │ │ │ @@ -400,17 +400,17 @@
│ │ │ │ │  	...R_...I..T..@.
│ │ │ │ │  	Rvb.....1.@.1.@.
│ │ │ │ │   R_AARCH64_ADR_GOT_PAGE	era
│ │ │ │ │   R_AARCH64_LD64_GOT_LO12_NC	era
│ │ │ │ │  	1~@.1.D.R.......
│ │ │ │ │  	......@.@.... ..
│ │ │ │ │  	...
│ │ │ │ │ - R_AARCH64_PREL64	i1IP_str-0x28
│ │ │ │ │ - R_AARCH64_PREL64	i1IN_str-0x20
│ │ │ │ │ - R_AARCH64_PREL64	i1IO_str-0x18
│ │ │ │ │ + R_AARCH64_PREL64	i1LK_str-0x28
│ │ │ │ │ + R_AARCH64_PREL64	i1LI_str-0x20
│ │ │ │ │ + R_AARCH64_PREL64	i1LJ_str-0x18
│ │ │ │ │  	................
│ │ │ │ │  
│ │ │ │ │  00000000000005b0 <numtypezmdkzm0zi5zi0zi3zmA6CPsihRsr55psNCFCmeYG_NumericziNumTypeziDKziNaturals_S_con_info>:
│ │ │ │ │  	....R.@.R.@.R~@.
│ │ │ │ │   R_AARCH64_ADR_GOT_PAGE	era
│ │ │ │ │   R_AARCH64_LD64_GOT_LO12_NC	era
│ │ │ │ │  	...R_...I..T..@.
│ │ │ │ ├── readelf --wide --decompress --string-dump=.rodata.str {}
│ │ │ │ │ @@ -8,31 +8,31 @@
│ │ │ │ │    [    50]  'Z
│ │ │ │ │    [    58]  Nat
│ │ │ │ │    [    60]  ./Numeric/NumType/DK/Naturals.hs
│ │ │ │ │    [    88]  Numeric.NumType.DK.Naturals
│ │ │ │ │    [    a8]  numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG
│ │ │ │ │    [    d8]  undefined
│ │ │ │ │    [    e8]  ->Integer
│ │ │ │ │ -  [    f8]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.natVal_rh4>
│ │ │ │ │ +  [    f8]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.natVal_ri7>
│ │ │ │ │    [   150]  ->Integer
│ │ │ │ │ -  [   160]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.$fKnownNatZ_$cnatVal_r1w6>
│ │ │ │ │ +  [   160]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.$fKnownNatZ_$cnatVal_r1D7>
│ │ │ │ │    [   1c8]  KnownNat
│ │ │ │ │ -  [   1d8]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.$fKnownNatZ_rLS>
│ │ │ │ │ +  [   1d8]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.$fKnownNatZ_rPA>
│ │ │ │ │    [   230]  ->*
│ │ │ │ │ -  [   238]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.$fKnownNatS1_r1vZ>
│ │ │ │ │ +  [   238]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.$fKnownNatS1_r1D5>
│ │ │ │ │    [   298]  Integer
│ │ │ │ │ -  [   2a0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.lvl11_s1Au>
│ │ │ │ │ +  [   2a0]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.lvl11_s1DX>
│ │ │ │ │    [   2f8]  ->Integer
│ │ │ │ │ -  [   308]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.sat_s1AG>
│ │ │ │ │ +  [   308]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.sat_s1E4>
│ │ │ │ │    [   360]  ->Integer
│ │ │ │ │ -  [   370]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.$fKnownNatS_$cnatVal_r1vP>
│ │ │ │ │ +  [   370]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.$fKnownNatS_$cnatVal_r1D4>
│ │ │ │ │    [   3d8]  KnownNat
│ │ │ │ │ -  [   3e8]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.$fKnownNatS_rLL>
│ │ │ │ │ +  [   3e8]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.$fKnownNatS_rPs>
│ │ │ │ │    [   440]  ->Nat
│ │ │ │ │ -  [   448]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.S_rJ9>
│ │ │ │ │ +  [   448]  <numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.S_rJt>
│ │ │ │ │    [   498]  Nat
│ │ │ │ │    [   4a0]  Z
│ │ │ │ │    [   4a8]  numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.Z
│ │ │ │ │    [   4f0]  Nat
│ │ │ │ │    [   4f8]  S
│ │ │ │ │    [   500]  numtype-dk-0.5.0.3-A6CPsihRsr55psNCFCmeYG:Numeric.NumType.DK.Naturals.S
│ │ │ │ ├── readelf --wide --decompress --hex-dump=.strtab {}
│ │ │ │ │ @@ -1,23 +1,23 @@
│ │ │ │ │  
│ │ │ │ │  Hex dump of section '.strtab':
│ │ │ │ │ -  0x00000000 00246400 69314456 5f737472 00693144 .$d.i1DV_str.i1D
│ │ │ │ │ -  0x00000010 575f7374 72002478 00693145 625f7374 W_str.$x.i1Eb_st
│ │ │ │ │ -  0x00000020 72006931 45635f73 74720069 3145715f r.i1Ec_str.i1Eq_
│ │ │ │ │ -  0x00000030 73747200 69314572 5f737472 00693145 str.i1Er_str.i1E
│ │ │ │ │ -  0x00000040 525f7374 72006931 45535f73 74720069 R_str.i1ES_str.i
│ │ │ │ │ -  0x00000050 3146535f 73747200 69314654 5f737472 1FS_str.i1FT_str
│ │ │ │ │ -  0x00000060 00693146 555f7374 72006931 46565f73 .i1FU_str.i1FV_s
│ │ │ │ │ -  0x00000070 74720069 3146575f 73747200 69314658 tr.i1FW_str.i1FX
│ │ │ │ │ -  0x00000080 5f737472 00693148 725f7374 72006931 _str.i1Hr_str.i1
│ │ │ │ │ -  0x00000090 48735f73 74720069 3148585f 73747200 Hs_str.i1HX_str.
│ │ │ │ │ -  0x000000a0 69314859 5f737472 00693149 705f7374 i1HY_str.i1Ip_st
│ │ │ │ │ -  0x000000b0 72006931 49715f73 74720069 3149725f r.i1Iq_str.i1Ir_
│ │ │ │ │ -  0x000000c0 73747200 6931494e 5f737472 00693149 str.i1IN_str.i1I
│ │ │ │ │ -  0x000000d0 4f5f7374 72006931 49505f73 7472006e O_str.i1IP_str.n
│ │ │ │ │ +  0x00000000 00246400 69314671 5f737472 00693146 .$d.i1Fq_str.i1F
│ │ │ │ │ +  0x00000010 725f7374 72002478 00693146 465f7374 r_str.$x.i1FF_st
│ │ │ │ │ +  0x00000020 72006931 46475f73 74720069 3146555f r.i1FG_str.i1FU_
│ │ │ │ │ +  0x00000030 73747200 69314656 5f737472 00693147 str.i1FV_str.i1G
│ │ │ │ │ +  0x00000040 6c5f7374 72006931 476d5f73 74720069 l_str.i1Gm_str.i
│ │ │ │ │ +  0x00000050 3149625f 73747200 69314963 5f737472 1Ib_str.i1Ic_str
│ │ │ │ │ +  0x00000060 00693149 645f7374 72006931 49655f73 .i1Id_str.i1Ie_s
│ │ │ │ │ +  0x00000070 74720069 3149665f 73747200 69314967 tr.i1If_str.i1Ig
│ │ │ │ │ +  0x00000080 5f737472 0069314a 455f7374 72006931 _str.i1JE_str.i1
│ │ │ │ │ +  0x00000090 4a465f73 74720069 314b6d5f 73747200 JF_str.i1Km_str.
│ │ │ │ │ +  0x000000a0 69314b6e 5f737472 0069314c 385f7374 i1Kn_str.i1L8_st
│ │ │ │ │ +  0x000000b0 72006931 4c395f73 74720069 314c615f r.i1L9_str.i1La_
│ │ │ │ │ +  0x000000c0 73747200 69314c49 5f737472 0069314c str.i1LI_str.i1L
│ │ │ │ │ +  0x000000d0 4a5f7374 72006931 4c4b5f73 7472006e J_str.i1LK_str.n
│ │ │ │ │    0x000000e0 756d7479 70657a6d 646b7a6d 307a6935 umtypezmdkzm0zi5
│ │ │ │ │    0x000000f0 7a69307a 69337a6d 41364350 73696852 zi0zi3zmA6CPsihR
│ │ │ │ │    0x00000100 73723535 70734e43 46436d65 59475f4e sr55psNCFCmeYG_N
│ │ │ │ │    0x00000110 756d6572 69637a69 4e756d54 7970657a umericziNumTypez
│ │ │ │ │    0x00000120 69444b7a 694e6174 7572616c 735f7a64 iDKziNaturals_zd
│ │ │ │ │    0x00000130 664b6e6f 776e4e61 745a5a5f 636c6f73 fKnownNatZZ_clos
│ │ │ │ │    0x00000140 75726500 6e756d74 7970657a 6d646b7a ure.numtypezmdkz