--- /srv/rebuilderd/tmp/rebuilderdXGbApV/inputs/libghc-numtype-dk-prof_0.5.0.3-4_i386.deb
+++ /srv/rebuilderd/tmp/rebuilderdXGbApV/out/libghc-numtype-dk-prof_0.5.0.3-4_i386.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    25452 2026-01-04 15:08:30.000000 data.tar.xz
│ +-rw-r--r--   0        0        0    25540 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/i386-linux-ghc-9.10.3-7193/numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8/libHSnumtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8_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
│ │ │ │ -00000111 r i1FH_str
│ │ │ │ -0000011b r i1FI_str
│ │ │ │ -0000017d r i1FV_str
│ │ │ │ -00000186 r i1FW_str
│ │ │ │ -000000b4 r i1Fs_str
│ │ │ │ -000000be r i1Ft_str
│ │ │ │ -000001de r i1Gn_str
│ │ │ │ -000001e2 r i1Go_str
│ │ │ │ -0000023c r i1I3_str
│ │ │ │ -00000244 r i1I4_str
│ │ │ │ -00000297 r i1I5_str
│ │ │ │ -000002a1 r i1I6_str
│ │ │ │ -000002f2 r i1I7_str
│ │ │ │ -000002fc r i1I8_str
│ │ │ │ -0000035e r i1J2_str
│ │ │ │ -00000367 r i1J3_str
│ │ │ │ +000000b4 r i1G7_str
│ │ │ │ +000000be r i1G8_str
│ │ │ │ +0000017d r i1GK_str
│ │ │ │ +00000186 r i1GL_str
│ │ │ │ +00000111 r i1Gw_str
│ │ │ │ +0000011b r i1Gx_str
│ │ │ │ +000001de r i1Hb_str
│ │ │ │ +000001e2 r i1Hc_str
│ │ │ │ +0000023c r i1IO_str
│ │ │ │ +00000244 r i1IP_str
│ │ │ │ +00000297 r i1IQ_str
│ │ │ │ +000002a1 r i1IR_str
│ │ │ │ +000002f2 r i1IS_str
│ │ │ │ +000002fc r i1IT_str
│ │ │ │ +0000035e r i1JN_str
│ │ │ │ +00000367 r i1JO_str
│ │ │ │  00000413 r i1KB_str
│ │ │ │  00000417 r i1KC_str
│ │ │ │  00000419 r i1KD_str
│ │ │ │  00000461 r i1KS_str
│ │ │ │  00000465 r i1KT_str
│ │ │ │  00000467 r i1KU_str
│ │ │ │ -000003bf r i1Ki_str
│ │ │ │ -000003c5 r i1Kj_str
│ │ │ │ +000003bf r i1Kj_str
│ │ │ │ +000003c5 r i1Kk_str
│ │ │ │           U newCAF
│ │ │ │  00000000 D numtypezmdkzm0zi5zi0zi3zm2GDsWRM7LCZZCuFAyvFqjx8_NumericziNumTypeziDKziNaturals_CAFs_cc
│ │ │ │  00000024 D numtypezmdkzm0zi5zi0zi3zm2GDsWRM7LCZZCuFAyvFqjx8_NumericziNumTypeziDKziNaturals_CAFs_cc_ccs
│ │ │ │  00000350 D numtypezmdkzm0zi5zi0zi3zm2GDsWRM7LCZZCuFAyvFqjx8_NumericziNumTypeziDKziNaturals_S_closure
│ │ │ │  000003d4 T numtypezmdkzm0zi5zi0zi3zm2GDsWRM7LCZZCuFAyvFqjx8_NumericziNumTypeziDKziNaturals_S_con_info
│ │ │ │  00000310 T numtypezmdkzm0zi5zi0zi3zm2GDsWRM7LCZZCuFAyvFqjx8_NumericziNumTypeziDKziNaturals_S_info
│ │ │ │  00000344 D numtypezmdkzm0zi5zi0zi3zm2GDsWRM7LCZZCuFAyvFqjx8_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-2GDsWRM7LCZCuFAyvFqjx8
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.toNum_rii>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.toNum_rk8>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.sat_s1Pg>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg9_$ctoNum_r1NV>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg9_r1iN>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg9_r1iL>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.sat_s1Pj>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg8_$ctoNum_r1NT>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg8_r1iH>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg8_r1iF>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.sat_s1Pm>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg7_$ctoNum_r1NR>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg7_r1iB>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg7_r1iy>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.sat_s1Pp>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg6_$ctoNum_r1NP>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg6_r1iv>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg6_r1ir>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.sat_s1Ps>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg5_$ctoNum_r1NN>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg5_r1ip>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg5_r1il>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.sat_s1Pv>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg4_$ctoNum_r1NL>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg4_r1ij>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg4_r1if>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.sat_s1Py>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg3_$ctoNum_r1NJ>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg3_r1id>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg3_r1i9>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.sat_s1PB>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg2_$ctoNum_r1NH>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg2_r1i7>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg2_r1i2>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.sat_s1PE>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg1_$ctoNum_r1ND>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg1_r1i1>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg1_r1hV>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntZero_$ctoNum_r1O8>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntZero_r1hV>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntZero_r1hP>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos1_$ctoNum_r1NX>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos1_r1hP>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos1_r1hJ>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos2_$ctoNum_r1O0>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos2_r1hJ>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos2_r1hD>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos3_$ctoNum_r1O1>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos3_r1hD>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos3_r1hx>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos4_$ctoNum_r1O2>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos4_r1hx>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos4_r1hr>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos5_$ctoNum_r1O3>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos5_r1hr>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos5_r1hl>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos6_$ctoNum_r1O4>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos6_r1hl>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos6_r1hf>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos7_$ctoNum_r1O5>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos7_r1hf>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos7_r1h9>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos8_$ctoNum_r1O6>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos8_r1h9>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos8_r1h3>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos9_$ctoNum_r1O7>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos9_r1h3>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos9_r1gX>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pred1_r1P9>
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pred_riV>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pred_rl3>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos10Plus1_r1NZ>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.sat_s1Q6>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.sat_s1Q5>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.lvl_s1Q4>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.sat_s1Q8>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos10Plus_$ctoNum_r1NY>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos10Plus_r1gW>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos10Plus_r1gQ>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.succ1_r1Pb>
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.succ_riW>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.succ_rl4>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg10Minus1_r1NG>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.sat_s1Qg>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.sat_s1Qf>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.lvl_s1Qe>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.sat_s1Qi>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg10Minus_$ctoNum_r1NF>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg10Minus_r1j1>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg10Minus_r1j0>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.negate1_r1P8>
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.negate_riX>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.negate_rl5>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.abs1_r1P7>
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.abs_riY>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.abs_rl6>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.signum1_r1Pa>
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.signum_riZ>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.signum_rl7>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.+1_r1P2>
│ │ │ │ │  ->>Proxy
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.+_rj0>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.+_rl8>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.-2_r1P4>
│ │ │ │ │  ->>Proxy
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.-1_r1P3>
│ │ │ │ │  ->>Proxy
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.-_rj1>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.-_rl9>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.*1_r1P1>
│ │ │ │ │  ->>Proxy
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.*_rj2>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.*_rla>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers./1_r1P5>
│ │ │ │ │  ->>Proxy
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers./_rj3>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers./_rlb>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.^1_r1P6>
│ │ │ │ │  ->>Proxy
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.^_rj4>
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.neg9_rj5>
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.neg8_rj6>
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.neg7_rj7>
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.neg6_rj8>
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.neg5_rj9>
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.neg4_rja>
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.neg3_rjb>
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.neg2_rjc>
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.neg1_rjd>
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.zero_rje>
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pos1_rjf>
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pos2_rjg>
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pos3_rjh>
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pos4_rji>
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pos5_rjj>
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pos6_rjk>
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pos7_rjl>
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pos8_rjm>
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pos9_rjn>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.^_rlc>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.neg9_rld>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.neg8_rle>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.neg7_rlf>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.neg6_rlg>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.neg5_rlh>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.neg4_rli>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.neg3_rlj>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.neg2_rlk>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.neg1_rll>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.zero_rlm>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pos1_rln>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pos2_rlo>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pos3_rlq>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pos4_rlr>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pos5_rls>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pos6_rlt>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pos7_rlu>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pos8_rlv>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pos9_rlw>
│ │ │ │ │  ->TypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.Neg10Minus_rNv>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.Neg10Minus_rNy>
│ │ │ │ │  ->TypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.Pos10Plus_rPp>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.Pos10Plus_rPr>
│ │ │ │ │  Neg10Minus
│ │ │ │ │  numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.Neg10Minus
│ │ │ │ │  numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.Neg9
│ │ │ │ │  numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.Neg8
│ │ │ │ │  numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.Neg7
│ │ │ │ │  numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.Neg6
│ │ │ │ │  numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.Neg5
│ │ │ │ ├── readelf --wide --decompress --string-dump=.rodata.str {}
│ │ │ │ │ @@ -112,221 +112,221 @@
│ │ │ │ │    [   8f7]  'Neg7
│ │ │ │ │    [   8fd]  'Neg8
│ │ │ │ │    [   903]  'Neg9
│ │ │ │ │    [   909]  TypeInt
│ │ │ │ │    [   911]  Numeric.NumType.DK.Integers
│ │ │ │ │    [   92d]  numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8
│ │ │ │ │    [   957]  ->*
│ │ │ │ │ -  [   95b]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.toNum_rii>
│ │ │ │ │ +  [   95b]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.toNum_rk8>
│ │ │ │ │    [   9ad]  *
│ │ │ │ │    [   9af]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.sat_s1Pg>
│ │ │ │ │    [   a00]  ->*
│ │ │ │ │    [   a04]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg9_$ctoNum_r1NV>
│ │ │ │ │    [   a6c]  KnownTypeInt
│ │ │ │ │ -  [   a79]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg9_r1iN>
│ │ │ │ │ +  [   a79]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg9_r1iL>
│ │ │ │ │    [   ad9]  *
│ │ │ │ │    [   adb]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.sat_s1Pj>
│ │ │ │ │    [   b2c]  ->*
│ │ │ │ │    [   b30]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg8_$ctoNum_r1NT>
│ │ │ │ │    [   b98]  KnownTypeInt
│ │ │ │ │ -  [   ba5]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg8_r1iH>
│ │ │ │ │ +  [   ba5]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg8_r1iF>
│ │ │ │ │    [   c05]  *
│ │ │ │ │    [   c07]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.sat_s1Pm>
│ │ │ │ │    [   c58]  ->*
│ │ │ │ │    [   c5c]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg7_$ctoNum_r1NR>
│ │ │ │ │    [   cc4]  KnownTypeInt
│ │ │ │ │ -  [   cd1]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg7_r1iB>
│ │ │ │ │ +  [   cd1]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg7_r1iy>
│ │ │ │ │    [   d31]  *
│ │ │ │ │    [   d33]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.sat_s1Pp>
│ │ │ │ │    [   d84]  ->*
│ │ │ │ │    [   d88]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg6_$ctoNum_r1NP>
│ │ │ │ │    [   df0]  KnownTypeInt
│ │ │ │ │ -  [   dfd]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg6_r1iv>
│ │ │ │ │ +  [   dfd]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg6_r1ir>
│ │ │ │ │    [   e5d]  *
│ │ │ │ │    [   e5f]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.sat_s1Ps>
│ │ │ │ │    [   eb0]  ->*
│ │ │ │ │    [   eb4]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg5_$ctoNum_r1NN>
│ │ │ │ │    [   f1c]  KnownTypeInt
│ │ │ │ │ -  [   f29]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg5_r1ip>
│ │ │ │ │ +  [   f29]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg5_r1il>
│ │ │ │ │    [   f89]  *
│ │ │ │ │    [   f8b]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.sat_s1Pv>
│ │ │ │ │    [   fdc]  ->*
│ │ │ │ │    [   fe0]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg4_$ctoNum_r1NL>
│ │ │ │ │    [  1048]  KnownTypeInt
│ │ │ │ │ -  [  1055]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg4_r1ij>
│ │ │ │ │ +  [  1055]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg4_r1if>
│ │ │ │ │    [  10b5]  *
│ │ │ │ │    [  10b7]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.sat_s1Py>
│ │ │ │ │    [  1108]  ->*
│ │ │ │ │    [  110c]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg3_$ctoNum_r1NJ>
│ │ │ │ │    [  1174]  KnownTypeInt
│ │ │ │ │ -  [  1181]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg3_r1id>
│ │ │ │ │ +  [  1181]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg3_r1i9>
│ │ │ │ │    [  11e1]  *
│ │ │ │ │    [  11e3]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.sat_s1PB>
│ │ │ │ │    [  1234]  ->*
│ │ │ │ │    [  1238]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg2_$ctoNum_r1NH>
│ │ │ │ │    [  12a0]  KnownTypeInt
│ │ │ │ │ -  [  12ad]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg2_r1i7>
│ │ │ │ │ +  [  12ad]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg2_r1i2>
│ │ │ │ │    [  130d]  *
│ │ │ │ │    [  130f]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.sat_s1PE>
│ │ │ │ │    [  1360]  ->*
│ │ │ │ │    [  1364]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg1_$ctoNum_r1ND>
│ │ │ │ │    [  13cc]  KnownTypeInt
│ │ │ │ │ -  [  13d9]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg1_r1i1>
│ │ │ │ │ +  [  13d9]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg1_r1hV>
│ │ │ │ │    [  1439]  ->*
│ │ │ │ │    [  143d]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntZero_$ctoNum_r1O8>
│ │ │ │ │    [  14a5]  KnownTypeInt
│ │ │ │ │ -  [  14b2]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntZero_r1hV>
│ │ │ │ │ +  [  14b2]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntZero_r1hP>
│ │ │ │ │    [  1512]  ->*
│ │ │ │ │    [  1516]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos1_$ctoNum_r1NX>
│ │ │ │ │    [  157e]  KnownTypeInt
│ │ │ │ │ -  [  158b]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos1_r1hP>
│ │ │ │ │ +  [  158b]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos1_r1hJ>
│ │ │ │ │    [  15eb]  ->*
│ │ │ │ │    [  15ef]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos2_$ctoNum_r1O0>
│ │ │ │ │    [  1657]  KnownTypeInt
│ │ │ │ │ -  [  1664]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos2_r1hJ>
│ │ │ │ │ +  [  1664]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos2_r1hD>
│ │ │ │ │    [  16c4]  ->*
│ │ │ │ │    [  16c8]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos3_$ctoNum_r1O1>
│ │ │ │ │    [  1730]  KnownTypeInt
│ │ │ │ │ -  [  173d]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos3_r1hD>
│ │ │ │ │ +  [  173d]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos3_r1hx>
│ │ │ │ │    [  179d]  ->*
│ │ │ │ │    [  17a1]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos4_$ctoNum_r1O2>
│ │ │ │ │    [  1809]  KnownTypeInt
│ │ │ │ │ -  [  1816]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos4_r1hx>
│ │ │ │ │ +  [  1816]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos4_r1hr>
│ │ │ │ │    [  1876]  ->*
│ │ │ │ │    [  187a]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos5_$ctoNum_r1O3>
│ │ │ │ │    [  18e2]  KnownTypeInt
│ │ │ │ │ -  [  18ef]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos5_r1hr>
│ │ │ │ │ +  [  18ef]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos5_r1hl>
│ │ │ │ │    [  194f]  ->*
│ │ │ │ │    [  1953]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos6_$ctoNum_r1O4>
│ │ │ │ │    [  19bb]  KnownTypeInt
│ │ │ │ │ -  [  19c8]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos6_r1hl>
│ │ │ │ │ +  [  19c8]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos6_r1hf>
│ │ │ │ │    [  1a28]  ->*
│ │ │ │ │    [  1a2c]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos7_$ctoNum_r1O5>
│ │ │ │ │    [  1a94]  KnownTypeInt
│ │ │ │ │ -  [  1aa1]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos7_r1hf>
│ │ │ │ │ +  [  1aa1]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos7_r1h9>
│ │ │ │ │    [  1b01]  ->*
│ │ │ │ │    [  1b05]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos8_$ctoNum_r1O6>
│ │ │ │ │    [  1b6d]  KnownTypeInt
│ │ │ │ │ -  [  1b7a]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos8_r1h9>
│ │ │ │ │ +  [  1b7a]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos8_r1h3>
│ │ │ │ │    [  1bda]  ->*
│ │ │ │ │    [  1bde]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos9_$ctoNum_r1O7>
│ │ │ │ │    [  1c46]  KnownTypeInt
│ │ │ │ │ -  [  1c53]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos9_r1h3>
│ │ │ │ │ +  [  1c53]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos9_r1gX>
│ │ │ │ │    [  1cb3]  Proxy
│ │ │ │ │    [  1cb9]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pred1_r1P9>
│ │ │ │ │    [  1d0c]  ->Proxy
│ │ │ │ │ -  [  1d14]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pred_riV>
│ │ │ │ │ +  [  1d14]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pred_rl3>
│ │ │ │ │    [  1d65]  Proxy
│ │ │ │ │    [  1d6b]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos10Plus1_r1NZ>
│ │ │ │ │    [  1dd1]  *
│ │ │ │ │    [  1dd3]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.sat_s1Q6>
│ │ │ │ │    [  1e24]  *
│ │ │ │ │    [  1e26]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.sat_s1Q5>
│ │ │ │ │    [  1e77]  *
│ │ │ │ │    [  1e79]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.lvl_s1Q4>
│ │ │ │ │    [  1eca]  ->*
│ │ │ │ │    [  1ece]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.sat_s1Q8>
│ │ │ │ │    [  1f1f]  ->*
│ │ │ │ │    [  1f23]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos10Plus_$ctoNum_r1NY>
│ │ │ │ │    [  1f90]  KnownTypeInt
│ │ │ │ │ -  [  1f9d]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos10Plus_r1gW>
│ │ │ │ │ +  [  1f9d]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntPos10Plus_r1gQ>
│ │ │ │ │    [  2002]  Proxy
│ │ │ │ │    [  2008]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.succ1_r1Pb>
│ │ │ │ │    [  205b]  ->Proxy
│ │ │ │ │ -  [  2063]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.succ_riW>
│ │ │ │ │ +  [  2063]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.succ_rl4>
│ │ │ │ │    [  20b4]  Proxy
│ │ │ │ │    [  20ba]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg10Minus1_r1NG>
│ │ │ │ │    [  2121]  *
│ │ │ │ │    [  2123]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.sat_s1Qg>
│ │ │ │ │    [  2174]  *
│ │ │ │ │    [  2176]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.sat_s1Qf>
│ │ │ │ │    [  21c7]  *
│ │ │ │ │    [  21c9]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.lvl_s1Qe>
│ │ │ │ │    [  221a]  ->*
│ │ │ │ │    [  221e]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.sat_s1Qi>
│ │ │ │ │    [  226f]  ->*
│ │ │ │ │    [  2273]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg10Minus_$ctoNum_r1NF>
│ │ │ │ │    [  22e1]  KnownTypeInt
│ │ │ │ │ -  [  22ee]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg10Minus_r1j1>
│ │ │ │ │ +  [  22ee]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg10Minus_r1j0>
│ │ │ │ │    [  2354]  Proxy
│ │ │ │ │    [  235a]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.negate1_r1P8>
│ │ │ │ │    [  23af]  ->Proxy
│ │ │ │ │ -  [  23b7]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.negate_riX>
│ │ │ │ │ +  [  23b7]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.negate_rl5>
│ │ │ │ │    [  240a]  Proxy
│ │ │ │ │    [  2410]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.abs1_r1P7>
│ │ │ │ │    [  2462]  ->Proxy
│ │ │ │ │ -  [  246a]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.abs_riY>
│ │ │ │ │ +  [  246a]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.abs_rl6>
│ │ │ │ │    [  24ba]  Proxy
│ │ │ │ │    [  24c0]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.signum1_r1Pa>
│ │ │ │ │    [  2515]  ->Proxy
│ │ │ │ │ -  [  251d]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.signum_riZ>
│ │ │ │ │ +  [  251d]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.signum_rl7>
│ │ │ │ │    [  2570]  Proxy
│ │ │ │ │    [  2576]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.+1_r1P2>
│ │ │ │ │    [  25c6]  ->>Proxy
│ │ │ │ │ -  [  25cf]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.+_rj0>
│ │ │ │ │ +  [  25cf]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.+_rl8>
│ │ │ │ │    [  261d]  Proxy
│ │ │ │ │    [  2623]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.-2_r1P4>
│ │ │ │ │    [  2673]  ->>Proxy
│ │ │ │ │    [  267c]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.-1_r1P3>
│ │ │ │ │    [  26cc]  ->>Proxy
│ │ │ │ │ -  [  26d5]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.-_rj1>
│ │ │ │ │ +  [  26d5]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.-_rl9>
│ │ │ │ │    [  2723]  Proxy
│ │ │ │ │    [  2729]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.*1_r1P1>
│ │ │ │ │    [  2779]  ->>Proxy
│ │ │ │ │ -  [  2782]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.*_rj2>
│ │ │ │ │ +  [  2782]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.*_rla>
│ │ │ │ │    [  27d0]  Proxy
│ │ │ │ │    [  27d6]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers./1_r1P5>
│ │ │ │ │    [  2826]  ->>Proxy
│ │ │ │ │ -  [  282f]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers./_rj3>
│ │ │ │ │ +  [  282f]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers./_rlb>
│ │ │ │ │    [  287d]  Proxy
│ │ │ │ │    [  2883]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.^1_r1P6>
│ │ │ │ │    [  28d3]  ->>Proxy
│ │ │ │ │ -  [  28dc]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.^_rj4>
│ │ │ │ │ +  [  28dc]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.^_rlc>
│ │ │ │ │    [  292a]  Proxy
│ │ │ │ │ -  [  2930]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.neg9_rj5>
│ │ │ │ │ +  [  2930]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.neg9_rld>
│ │ │ │ │    [  2981]  Proxy
│ │ │ │ │ -  [  2987]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.neg8_rj6>
│ │ │ │ │ +  [  2987]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.neg8_rle>
│ │ │ │ │    [  29d8]  Proxy
│ │ │ │ │ -  [  29de]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.neg7_rj7>
│ │ │ │ │ +  [  29de]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.neg7_rlf>
│ │ │ │ │    [  2a2f]  Proxy
│ │ │ │ │ -  [  2a35]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.neg6_rj8>
│ │ │ │ │ +  [  2a35]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.neg6_rlg>
│ │ │ │ │    [  2a86]  Proxy
│ │ │ │ │ -  [  2a8c]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.neg5_rj9>
│ │ │ │ │ +  [  2a8c]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.neg5_rlh>
│ │ │ │ │    [  2add]  Proxy
│ │ │ │ │ -  [  2ae3]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.neg4_rja>
│ │ │ │ │ +  [  2ae3]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.neg4_rli>
│ │ │ │ │    [  2b34]  Proxy
│ │ │ │ │ -  [  2b3a]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.neg3_rjb>
│ │ │ │ │ +  [  2b3a]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.neg3_rlj>
│ │ │ │ │    [  2b8b]  Proxy
│ │ │ │ │ -  [  2b91]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.neg2_rjc>
│ │ │ │ │ +  [  2b91]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.neg2_rlk>
│ │ │ │ │    [  2be2]  Proxy
│ │ │ │ │ -  [  2be8]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.neg1_rjd>
│ │ │ │ │ +  [  2be8]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.neg1_rll>
│ │ │ │ │    [  2c39]  Proxy
│ │ │ │ │ -  [  2c3f]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.zero_rje>
│ │ │ │ │ +  [  2c3f]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.zero_rlm>
│ │ │ │ │    [  2c90]  Proxy
│ │ │ │ │ -  [  2c96]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pos1_rjf>
│ │ │ │ │ +  [  2c96]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pos1_rln>
│ │ │ │ │    [  2ce7]  Proxy
│ │ │ │ │ -  [  2ced]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pos2_rjg>
│ │ │ │ │ +  [  2ced]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pos2_rlo>
│ │ │ │ │    [  2d3e]  Proxy
│ │ │ │ │ -  [  2d44]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pos3_rjh>
│ │ │ │ │ +  [  2d44]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pos3_rlq>
│ │ │ │ │    [  2d95]  Proxy
│ │ │ │ │ -  [  2d9b]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pos4_rji>
│ │ │ │ │ +  [  2d9b]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pos4_rlr>
│ │ │ │ │    [  2dec]  Proxy
│ │ │ │ │ -  [  2df2]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pos5_rjj>
│ │ │ │ │ +  [  2df2]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pos5_rls>
│ │ │ │ │    [  2e43]  Proxy
│ │ │ │ │ -  [  2e49]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pos6_rjk>
│ │ │ │ │ +  [  2e49]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pos6_rlt>
│ │ │ │ │    [  2e9a]  Proxy
│ │ │ │ │ -  [  2ea0]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pos7_rjl>
│ │ │ │ │ +  [  2ea0]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pos7_rlu>
│ │ │ │ │    [  2ef1]  Proxy
│ │ │ │ │ -  [  2ef7]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pos8_rjm>
│ │ │ │ │ +  [  2ef7]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pos8_rlv>
│ │ │ │ │    [  2f48]  Proxy
│ │ │ │ │ -  [  2f4e]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pos9_rjn>
│ │ │ │ │ +  [  2f4e]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.pos9_rlw>
│ │ │ │ │    [  2f9f]  ->TypeInt
│ │ │ │ │ -  [  2fa9]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.Neg10Minus_rNv>
│ │ │ │ │ +  [  2fa9]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.Neg10Minus_rNy>
│ │ │ │ │    [  3000]  ->TypeInt
│ │ │ │ │ -  [  300a]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.Pos10Plus_rPp>
│ │ │ │ │ +  [  300a]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.Pos10Plus_rPr>
│ │ │ │ │    [  3060]  TypeInt
│ │ │ │ │    [  3068]  Neg10Minus
│ │ │ │ │    [  3073]  numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.Neg10Minus
│ │ │ │ │    [  30c4]  TypeInt
│ │ │ │ │    [  30cc]  Neg9
│ │ │ │ │    [  30d1]  numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Integers.Neg9
│ │ │ │ │    [  311c]  TypeInt
│ │ │ ├── Naturals.p_o
│ │ │ │ ├── readelf --wide --symbols {}
│ │ │ │ │ @@ -1,32 +1,32 @@
│ │ │ │ │  
│ │ │ │ │  Symbol table '.symtab' contains 101 entries:
│ │ │ │ │     Num:    Value  Size Type    Bind   Vis      Ndx Name
│ │ │ │ │       0: 00000000     0 NOTYPE  LOCAL  DEFAULT  UND 
│ │ │ │ │       1: 00000000     0 SECTION LOCAL  DEFAULT    1 .text
│ │ │ │ │       2: 00000000     0 SECTION LOCAL  DEFAULT    3 .rodata.str
│ │ │ │ │       3: 00000000     0 SECTION LOCAL  DEFAULT    7 .data
│ │ │ │ │ -     4: 000000b4     0 NOTYPE  LOCAL  DEFAULT    3 i1Fs_str
│ │ │ │ │ -     5: 000000be     0 NOTYPE  LOCAL  DEFAULT    3 i1Ft_str
│ │ │ │ │ -     6: 00000111     0 NOTYPE  LOCAL  DEFAULT    3 i1FH_str
│ │ │ │ │ -     7: 0000011b     0 NOTYPE  LOCAL  DEFAULT    3 i1FI_str
│ │ │ │ │ -     8: 0000017d     0 NOTYPE  LOCAL  DEFAULT    3 i1FV_str
│ │ │ │ │ -     9: 00000186     0 NOTYPE  LOCAL  DEFAULT    3 i1FW_str
│ │ │ │ │ -    10: 000001de     0 NOTYPE  LOCAL  DEFAULT    3 i1Gn_str
│ │ │ │ │ -    11: 000001e2     0 NOTYPE  LOCAL  DEFAULT    3 i1Go_str
│ │ │ │ │ -    12: 0000023c     0 NOTYPE  LOCAL  DEFAULT    3 i1I3_str
│ │ │ │ │ -    13: 00000244     0 NOTYPE  LOCAL  DEFAULT    3 i1I4_str
│ │ │ │ │ -    14: 00000297     0 NOTYPE  LOCAL  DEFAULT    3 i1I5_str
│ │ │ │ │ -    15: 000002a1     0 NOTYPE  LOCAL  DEFAULT    3 i1I6_str
│ │ │ │ │ -    16: 000002f2     0 NOTYPE  LOCAL  DEFAULT    3 i1I7_str
│ │ │ │ │ -    17: 000002fc     0 NOTYPE  LOCAL  DEFAULT    3 i1I8_str
│ │ │ │ │ -    18: 0000035e     0 NOTYPE  LOCAL  DEFAULT    3 i1J2_str
│ │ │ │ │ -    19: 00000367     0 NOTYPE  LOCAL  DEFAULT    3 i1J3_str
│ │ │ │ │ -    20: 000003bf     0 NOTYPE  LOCAL  DEFAULT    3 i1Ki_str
│ │ │ │ │ -    21: 000003c5     0 NOTYPE  LOCAL  DEFAULT    3 i1Kj_str
│ │ │ │ │ +     4: 000000b4     0 NOTYPE  LOCAL  DEFAULT    3 i1G7_str
│ │ │ │ │ +     5: 000000be     0 NOTYPE  LOCAL  DEFAULT    3 i1G8_str
│ │ │ │ │ +     6: 00000111     0 NOTYPE  LOCAL  DEFAULT    3 i1Gw_str
│ │ │ │ │ +     7: 0000011b     0 NOTYPE  LOCAL  DEFAULT    3 i1Gx_str
│ │ │ │ │ +     8: 0000017d     0 NOTYPE  LOCAL  DEFAULT    3 i1GK_str
│ │ │ │ │ +     9: 00000186     0 NOTYPE  LOCAL  DEFAULT    3 i1GL_str
│ │ │ │ │ +    10: 000001de     0 NOTYPE  LOCAL  DEFAULT    3 i1Hb_str
│ │ │ │ │ +    11: 000001e2     0 NOTYPE  LOCAL  DEFAULT    3 i1Hc_str
│ │ │ │ │ +    12: 0000023c     0 NOTYPE  LOCAL  DEFAULT    3 i1IO_str
│ │ │ │ │ +    13: 00000244     0 NOTYPE  LOCAL  DEFAULT    3 i1IP_str
│ │ │ │ │ +    14: 00000297     0 NOTYPE  LOCAL  DEFAULT    3 i1IQ_str
│ │ │ │ │ +    15: 000002a1     0 NOTYPE  LOCAL  DEFAULT    3 i1IR_str
│ │ │ │ │ +    16: 000002f2     0 NOTYPE  LOCAL  DEFAULT    3 i1IS_str
│ │ │ │ │ +    17: 000002fc     0 NOTYPE  LOCAL  DEFAULT    3 i1IT_str
│ │ │ │ │ +    18: 0000035e     0 NOTYPE  LOCAL  DEFAULT    3 i1JN_str
│ │ │ │ │ +    19: 00000367     0 NOTYPE  LOCAL  DEFAULT    3 i1JO_str
│ │ │ │ │ +    20: 000003bf     0 NOTYPE  LOCAL  DEFAULT    3 i1Kj_str
│ │ │ │ │ +    21: 000003c5     0 NOTYPE  LOCAL  DEFAULT    3 i1Kk_str
│ │ │ │ │      22: 00000413     0 NOTYPE  LOCAL  DEFAULT    3 i1KB_str
│ │ │ │ │      23: 00000417     0 NOTYPE  LOCAL  DEFAULT    3 i1KC_str
│ │ │ │ │      24: 00000419     0 NOTYPE  LOCAL  DEFAULT    3 i1KD_str
│ │ │ │ │      25: 00000461     0 NOTYPE  LOCAL  DEFAULT    3 i1KS_str
│ │ │ │ │      26: 00000465     0 NOTYPE  LOCAL  DEFAULT    3 i1KT_str
│ │ │ │ │      27: 00000467     0 NOTYPE  LOCAL  DEFAULT    3 i1KU_str
│ │ │ │ │      28: 000002f4     5 FUNC    GLOBAL DEFAULT    1 numtypezmdkzm0zi5zi0zi3zm2GDsWRM7LCZZCuFAyvFqjx8_NumericziNumTypeziDKziNaturals_zdfKnownNatS_info
│ │ │ │ ├── readelf --wide --relocs {}
│ │ │ │ │ @@ -1,60 +1,60 @@
│ │ │ │ │  
│ │ │ │ │  Relocation section '.rel.text' at offset 0x27f0 contains 68 entries:
│ │ │ │ │   Offset     Info    Type                Sym. Value  Symbol's Name
│ │ │ │ │ -00000004  00000402 R_386_PC32             000000b4   i1Fs_str
│ │ │ │ │ -00000008  00000502 R_386_PC32             000000be   i1Ft_str
│ │ │ │ │ +00000004  00000402 R_386_PC32             000000b4   i1G7_str
│ │ │ │ │ +00000008  00000502 R_386_PC32             000000be   i1G8_str
│ │ │ │ │  0000001b  00003e02 R_386_PC32             00000000   stg_ap_0_fast
│ │ │ │ │ -00000024  00000602 R_386_PC32             00000111   i1FH_str
│ │ │ │ │ -00000028  00000702 R_386_PC32             0000011b   i1FI_str
│ │ │ │ │ +00000024  00000602 R_386_PC32             00000111   i1Gw_str
│ │ │ │ │ +00000028  00000702 R_386_PC32             0000011b   i1Gx_str
│ │ │ │ │  00000035  00003401 R_386_32               0000006c   numtypezmdkzm0zi5zi0zi3zm2GDsWRM7LCZZCuFAyvFqjx8_NumericziNumTypeziDKziNaturals_zdfKnownNatZZ1_closure
│ │ │ │ │ -00000044  00000802 R_386_PC32             0000017d   i1FV_str
│ │ │ │ │ -00000048  00000902 R_386_PC32             00000186   i1FW_str
│ │ │ │ │ +00000044  00000802 R_386_PC32             0000017d   i1GK_str
│ │ │ │ │ +00000048  00000902 R_386_PC32             00000186   i1GL_str
│ │ │ │ │  00000058  00000302 R_386_PC32             00000000   .data
│ │ │ │ │ -0000005c  00000a02 R_386_PC32             000001de   i1Gn_str
│ │ │ │ │ -00000060  00000b02 R_386_PC32             000001e2   i1Go_str
│ │ │ │ │ +0000005c  00000a02 R_386_PC32             000001de   i1Hb_str
│ │ │ │ │ +00000060  00000b02 R_386_PC32             000001e2   i1Hc_str
│ │ │ │ │  00000070  00005501 R_386_32               00000000   era
│ │ │ │ │  00000079  00005501 R_386_32               00000000   era
│ │ │ │ │  000000a6  00005f02 R_386_PC32             00000000   newCAF
│ │ │ │ │  000000b4  00004401 R_386_32               00000000   stg_bh_upd_frame_info
│ │ │ │ │  000000d0  00000301 R_386_32               00000000   .data
│ │ │ │ │  000000d8  00003202 R_386_PC32             00000000   ghczminternal_GHCziInternalziErr_undefined_info
│ │ │ │ │  000000ec  00000302 R_386_PC32             00000000   .data
│ │ │ │ │ -000000f0  00000c02 R_386_PC32             0000023c   i1I3_str
│ │ │ │ │ -000000f4  00000d02 R_386_PC32             00000244   i1I4_str
│ │ │ │ │ +000000f0  00000c02 R_386_PC32             0000023c   i1IO_str
│ │ │ │ │ +000000f4  00000d02 R_386_PC32             00000244   i1IP_str
│ │ │ │ │  00000104  00005501 R_386_32               00000000   era
│ │ │ │ │  0000010d  00005501 R_386_32               00000000   era
│ │ │ │ │  00000133  00002b01 R_386_32               00000000   stg_upd_frame_info
│ │ │ │ │  0000014f  00000101 R_386_32               00000000   .text
│ │ │ │ │  00000159  00002a01 R_386_32               00000174   numtypezmdkzm0zi5zi0zi3zm2GDsWRM7LCZZCuFAyvFqjx8_NumericziNumTypeziDKziNaturals_zdfKnownNatS1_closure
│ │ │ │ │  0000016a  00005002 R_386_PC32             00000000   stg_ap_p_fast
│ │ │ │ │  00000170  00004c02 R_386_PC32             00000000   ghczmbignum_GHCziNumziInteger_integerAdd_closure
│ │ │ │ │  00000190  00004001 R_386_32               00000094   numtypezmdkzm0zi5zi0zi3zm2GDsWRM7LCZZCuFAyvFqjx8_NumericziNumTypeziDKziNaturals_zdfKnownNatS2_closure
│ │ │ │ │  00000198  00004702 R_386_PC32             00000000   ghczmbignum_GHCziNumziInteger_integerAdd_info
│ │ │ │ │ -000001a8  00000e02 R_386_PC32             00000297   i1I5_str
│ │ │ │ │ -000001ac  00000f02 R_386_PC32             000002a1   i1I6_str
│ │ │ │ │ +000001a8  00000e02 R_386_PC32             00000297   i1IQ_str
│ │ │ │ │ +000001ac  00000f02 R_386_PC32             000002a1   i1IR_str
│ │ │ │ │  000001bc  00005501 R_386_32               00000000   era
│ │ │ │ │  000001c5  00005501 R_386_32               00000000   era
│ │ │ │ │  000001ec  00006002 R_386_PC32             00000000   enterFunCCS
│ │ │ │ │  00000204  00000302 R_386_PC32             00000000   .data
│ │ │ │ │ -0000020c  00001002 R_386_PC32             000002f2   i1I7_str
│ │ │ │ │ -00000210  00001102 R_386_PC32             000002fc   i1I8_str
│ │ │ │ │ +0000020c  00001002 R_386_PC32             000002f2   i1IS_str
│ │ │ │ │ +00000210  00001102 R_386_PC32             000002fc   i1IT_str
│ │ │ │ │  00000257  00000101 R_386_32               00000000   .text
│ │ │ │ │  00000266  00005501 R_386_32               00000000   era
│ │ │ │ │  0000026f  00005d01 R_386_32               00000000   user_era
│ │ │ │ │  0000029a  00000101 R_386_32               00000000   .text
│ │ │ │ │  000002a8  00005501 R_386_32               00000000   era
│ │ │ │ │  000002b1  00005d01 R_386_32               00000000   user_era
│ │ │ │ │  000002c4  00003e02 R_386_PC32             00000000   stg_ap_0_fast
│ │ │ │ │  000002d3  00005c01 R_386_32               000001a4   numtypezmdkzm0zi5zi0zi3zm2GDsWRM7LCZZCuFAyvFqjx8_NumericziNumTypeziDKziNaturals_zdfKnownNatSzuzdcnatVal_closure
│ │ │ │ │  000002dc  00005c02 R_386_PC32             000001a4   numtypezmdkzm0zi5zi0zi3zm2GDsWRM7LCZZCuFAyvFqjx8_NumericziNumTypeziDKziNaturals_zdfKnownNatSzuzdcnatVal_closure
│ │ │ │ │ -000002e4  00001202 R_386_PC32             0000035e   i1J2_str
│ │ │ │ │ -000002e8  00001302 R_386_PC32             00000367   i1J3_str
│ │ │ │ │ -00000300  00001402 R_386_PC32             000003bf   i1Ki_str
│ │ │ │ │ -00000304  00001502 R_386_PC32             000003c5   i1Kj_str
│ │ │ │ │ +000002e4  00001202 R_386_PC32             0000035e   i1JN_str
│ │ │ │ │ +000002e8  00001302 R_386_PC32             00000367   i1JO_str
│ │ │ │ │ +00000300  00001402 R_386_PC32             000003bf   i1Kj_str
│ │ │ │ │ +00000304  00001502 R_386_PC32             000003c5   i1Kk_str
│ │ │ │ │  00000343  00003f01 R_386_32               000003d4   numtypezmdkzm0zi5zi0zi3zm2GDsWRM7LCZZCuFAyvFqjx8_NumericziNumTypeziDKziNaturals_S_con_info
│ │ │ │ │  00000351  00005501 R_386_32               00000000   era
│ │ │ │ │  0000035a  00005d01 R_386_32               00000000   user_era
│ │ │ │ │  0000037b  00003901 R_386_32               00000350   numtypezmdkzm0zi5zi0zi3zm2GDsWRM7LCZZCuFAyvFqjx8_NumericziNumTypeziDKziNaturals_S_closure
│ │ │ │ │  00000384  00001802 R_386_PC32             00000419   i1KD_str
│ │ │ │ │  00000388  00001602 R_386_PC32             00000413   i1KB_str
│ │ │ │ │  0000038c  00001702 R_386_PC32             00000417   i1KC_str
│ │ │ │ ├── strings --all --bytes=8 {}
│ │ │ │ │ @@ -2,48 +2,48 @@
│ │ │ │ │  <entire-module>
│ │ │ │ │  KnownNat
│ │ │ │ │  ./Numeric/NumType/DK/Naturals.hs
│ │ │ │ │  Numeric.NumType.DK.Naturals
│ │ │ │ │  numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8
│ │ │ │ │  undefined
│ │ │ │ │  ->Integer
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Naturals.natVal_ri9>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Naturals.natVal_rh6>
│ │ │ │ │  ->Integer
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Naturals.$fKnownNatZ_$cnatVal_r1Ev>
│ │ │ │ │  KnownNat
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Naturals.$fKnownNatZ_rMP>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Naturals.$fKnownNatZ_rML>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Naturals.$fKnownNatS1_r1Et>
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Naturals.lvl11_s1F0>
│ │ │ │ │  ->Integer
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Naturals.sat_s1F4>
│ │ │ │ │  ->Integer
│ │ │ │ │  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Naturals.$fKnownNatS_$cnatVal_r1Es>
│ │ │ │ │  KnownNat
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Naturals.$fKnownNatS_rMG>
│ │ │ │ │ -<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Naturals.S_rJe>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Naturals.$fKnownNatS_rMA>
│ │ │ │ │ +<numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Naturals.S_rJr>
│ │ │ │ │  numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Naturals.Z
│ │ │ │ │  numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Naturals.S
│ │ │ │ │ -i1Fs_str
│ │ │ │ │ -i1Ft_str
│ │ │ │ │ -i1FH_str
│ │ │ │ │ -i1FI_str
│ │ │ │ │ -i1FV_str
│ │ │ │ │ -i1FW_str
│ │ │ │ │ -i1Gn_str
│ │ │ │ │ -i1Go_str
│ │ │ │ │ -i1I3_str
│ │ │ │ │ -i1I4_str
│ │ │ │ │ -i1I5_str
│ │ │ │ │ -i1I6_str
│ │ │ │ │ -i1I7_str
│ │ │ │ │ -i1I8_str
│ │ │ │ │ -i1J2_str
│ │ │ │ │ -i1J3_str
│ │ │ │ │ -i1Ki_str
│ │ │ │ │ +i1G7_str
│ │ │ │ │ +i1G8_str
│ │ │ │ │ +i1Gw_str
│ │ │ │ │ +i1Gx_str
│ │ │ │ │ +i1GK_str
│ │ │ │ │ +i1GL_str
│ │ │ │ │ +i1Hb_str
│ │ │ │ │ +i1Hc_str
│ │ │ │ │ +i1IO_str
│ │ │ │ │ +i1IP_str
│ │ │ │ │ +i1IQ_str
│ │ │ │ │ +i1IR_str
│ │ │ │ │ +i1IS_str
│ │ │ │ │ +i1IT_str
│ │ │ │ │ +i1JN_str
│ │ │ │ │ +i1JO_str
│ │ │ │ │  i1Kj_str
│ │ │ │ │ +i1Kk_str
│ │ │ │ │  i1KB_str
│ │ │ │ │  i1KC_str
│ │ │ │ │  i1KD_str
│ │ │ │ │  i1KS_str
│ │ │ │ │  i1KT_str
│ │ │ │ │  i1KU_str
│ │ │ │ │  numtypezmdkzm0zi5zi0zi3zm2GDsWRM7LCZZCuFAyvFqjx8_NumericziNumTypeziDKziNaturals_zdfKnownNatS_info
│ │ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}
│ │ │ │ │ @@ -1,19 +1,19 @@
│ │ │ │ │  
│ │ │ │ │  
│ │ │ │ │  
│ │ │ │ │  Disassembly of section .text:
│ │ │ │ │  
│ │ │ │ │  00000000 <numtypezmdkzm0zi5zi0zi3zm2GDsWRM7LCZZCuFAyvFqjx8_NumericziNumTypeziDKziNaturals_natVal_info-0x14>:
│ │ │ │ │  	add    $0xf0000100,%eax
│ │ │ │ │ - R_386_PC32	i1Fs_str
│ │ │ │ │ + R_386_PC32	i1G7_str
│ │ │ │ │  	(bad)
│ │ │ │ │  	(bad)
│ │ │ │ │  	push   %esp
│ │ │ │ │ - R_386_PC32	i1Ft_str
│ │ │ │ │ + R_386_PC32	i1G8_str
│ │ │ │ │  	(bad)
│ │ │ │ │  	(bad)
│ │ │ │ │  	incl   (%eax)
│ │ │ │ │  	add    %al,(%eax)
│ │ │ │ │  	add    %cl,(%esi)
│ │ │ │ │  	add    %al,(%eax)
│ │ │ │ │  	...
│ │ │ │ │ @@ -22,19 +22,19 @@
│ │ │ │ │  numtypezmdkzm0zi5zi0zi3zm2GDsWRM7LCZZCuFAyvFqjx8_NumericziNumTypeziDKziNaturals_natVal_info():
│ │ │ │ │  	mov    0x0(%ebp),%esi
│ │ │ │ │  	add    $0x4,%ebp
│ │ │ │ │  	jmp    1b <numtypezmdkzm0zi5zi0zi3zm2GDsWRM7LCZZCuFAyvFqjx8_NumericziNumTypeziDKziNaturals_natVal_info+0x7>
│ │ │ │ │   R_386_PC32	stg_ap_0_fast
│ │ │ │ │  	nop
│ │ │ │ │  	add    $0xf0000100,%eax
│ │ │ │ │ - R_386_PC32	i1FH_str
│ │ │ │ │ + R_386_PC32	i1Gw_str
│ │ │ │ │  	(bad)
│ │ │ │ │  	(bad)
│ │ │ │ │  	push   %esp
│ │ │ │ │ - R_386_PC32	i1FI_str
│ │ │ │ │ + R_386_PC32	i1Gx_str
│ │ │ │ │  	(bad)
│ │ │ │ │  	(bad)
│ │ │ │ │  	incl   (%eax)
│ │ │ │ │  	add    %al,(%eax)
│ │ │ │ │  	add    %cl,(%esi)
│ │ │ │ │  	add    %al,(%eax)
│ │ │ │ │  	...
│ │ │ │ │ @@ -43,19 +43,19 @@
│ │ │ │ │  numtypezmdkzm0zi5zi0zi3zm2GDsWRM7LCZZCuFAyvFqjx8_NumericziNumTypeziDKziNaturals_zdfKnownNatZZzuzdcnatVal_info():
│ │ │ │ │  	mov    $0x1,%esi
│ │ │ │ │   R_386_32	numtypezmdkzm0zi5zi0zi3zm2GDsWRM7LCZZCuFAyvFqjx8_NumericziNumTypeziDKziNaturals_zdfKnownNatZZ1_closure
│ │ │ │ │  	add    $0x4,%ebp
│ │ │ │ │  	jmp    *0x0(%ebp)
│ │ │ │ │  	nop
│ │ │ │ │  	add    $0xf0000100,%eax
│ │ │ │ │ - R_386_PC32	i1FV_str
│ │ │ │ │ + R_386_PC32	i1GK_str
│ │ │ │ │  	(bad)
│ │ │ │ │  	(bad)
│ │ │ │ │  	push   %esp
│ │ │ │ │ - R_386_PC32	i1FW_str
│ │ │ │ │ + R_386_PC32	i1GL_str
│ │ │ │ │  	(bad)
│ │ │ │ │  	(bad)
│ │ │ │ │  	incl   (%eax)
│ │ │ │ │  	add    %al,(%eax)
│ │ │ │ │  	add    %cl,(%esi)
│ │ │ │ │  	add    %al,(%eax)
│ │ │ │ │  	...
│ │ │ │ │ @@ -64,19 +64,19 @@
│ │ │ │ │  numtypezmdkzm0zi5zi0zi3zm2GDsWRM7LCZZCuFAyvFqjx8_NumericziNumTypeziDKziNaturals_zdfKnownNatZZ_info():
│ │ │ │ │  	jmp    34 <numtypezmdkzm0zi5zi0zi3zm2GDsWRM7LCZZCuFAyvFqjx8_NumericziNumTypeziDKziNaturals_zdfKnownNatZZzuzdcnatVal_info>
│ │ │ │ │  	xchg   %ax,%ax
│ │ │ │ │  	dec    %eax
│ │ │ │ │   R_386_PC32	.data
│ │ │ │ │  	add    %eax,(%eax)
│ │ │ │ │  	add    %dh,%al
│ │ │ │ │ - R_386_PC32	i1Gn_str
│ │ │ │ │ + R_386_PC32	i1Hb_str
│ │ │ │ │  	(bad)
│ │ │ │ │  	(bad)
│ │ │ │ │  	push   %esp
│ │ │ │ │ - R_386_PC32	i1Go_str
│ │ │ │ │ + R_386_PC32	i1Hc_str
│ │ │ │ │  	(bad)
│ │ │ │ │  	(bad)
│ │ │ │ │  	incl   (%eax)
│ │ │ │ │  	add    %al,(%eax)
│ │ │ │ │  	.byte 0
│ │ │ │ │  	.byte 0x15
│ │ │ │ │  	add    %al,(%ecx)
│ │ │ │ │ @@ -125,18 +125,18 @@
│ │ │ │ │  	mov    %eax,%esi
│ │ │ │ │  	jmp    *-0x8(%ebx)
│ │ │ │ │  	lea    0x0(%esi),%esi
│ │ │ │ │  	js     ef <numtypezmdkzm0zi5zi0zi3zm2GDsWRM7LCZZCuFAyvFqjx8_NumericziNumTypeziDKziNaturals_zdfKnownNatS1_info+0x83>
│ │ │ │ │   R_386_PC32	.data
│ │ │ │ │  	add    %al,(%eax)
│ │ │ │ │  	lock (bad)
│ │ │ │ │ - R_386_PC32	i1I3_str
│ │ │ │ │ + R_386_PC32	i1IO_str
│ │ │ │ │  	(bad)
│ │ │ │ │  	push   %esp
│ │ │ │ │ - R_386_PC32	i1I4_str
│ │ │ │ │ + R_386_PC32	i1IP_str
│ │ │ │ │  	(bad)
│ │ │ │ │  	(bad)
│ │ │ │ │  	incl   (%ecx)
│ │ │ │ │  	add    %al,(%eax)
│ │ │ │ │  	add    %dl,(%eax)
│ │ │ │ │  	add    %al,(%ecx)
│ │ │ │ │  	add    %cl,0x3d83f0(%ecx)
│ │ │ │ │ @@ -192,19 +192,19 @@
│ │ │ │ │  	mov    %esi,0x4(%ebp)
│ │ │ │ │  	jmp    198 <numtypezmdkzm0zi5zi0zi3zm2GDsWRM7LCZZCuFAyvFqjx8_NumericziNumTypeziDKziNaturals_zdfKnownNatS1_info+0x12c>
│ │ │ │ │   R_386_PC32	ghczmbignum_GHCziNumziInteger_integerAdd_info
│ │ │ │ │  	mov    %eax,%esi
│ │ │ │ │  	jmp    *-0x8(%ebx)
│ │ │ │ │  	lea    0x0(%esi),%esi
│ │ │ │ │  	add    $0xf0000100,%eax
│ │ │ │ │ - R_386_PC32	i1I5_str
│ │ │ │ │ + R_386_PC32	i1IQ_str
│ │ │ │ │  	(bad)
│ │ │ │ │  	(bad)
│ │ │ │ │  	push   %esp
│ │ │ │ │ - R_386_PC32	i1I6_str
│ │ │ │ │ + R_386_PC32	i1IR_str
│ │ │ │ │  	(bad)
│ │ │ │ │  	(bad)
│ │ │ │ │  	incl   (%ecx)
│ │ │ │ │  	add    %al,(%eax)
│ │ │ │ │  	add    %cl,(%ecx)
│ │ │ │ │  	add    %al,(%eax)
│ │ │ │ │  	add    %cl,0x3d83f0(%ecx)
│ │ │ │ │ @@ -234,19 +234,19 @@
│ │ │ │ │  	add    $0x4,%ebp
│ │ │ │ │  	mov    (%esi),%eax
│ │ │ │ │  	jmp    *%eax
│ │ │ │ │  	je     207 <numtypezmdkzm0zi5zi0zi3zm2GDsWRM7LCZZCuFAyvFqjx8_NumericziNumTypeziDKziNaturals_zdfKnownNatS1_info+0x19b>
│ │ │ │ │   R_386_PC32	.data
│ │ │ │ │  	add    %al,(%eax)
│ │ │ │ │  	add    $0xf0000100,%eax
│ │ │ │ │ - R_386_PC32	i1I7_str
│ │ │ │ │ + R_386_PC32	i1IS_str
│ │ │ │ │  	(bad)
│ │ │ │ │  	(bad)
│ │ │ │ │  	push   %esp
│ │ │ │ │ - R_386_PC32	i1I8_str
│ │ │ │ │ + R_386_PC32	i1IT_str
│ │ │ │ │  	(bad)
│ │ │ │ │  	(bad)
│ │ │ │ │  	incl   (%eax)
│ │ │ │ │  	add    %al,(%eax)
│ │ │ │ │  	add    %cl,(%esi)
│ │ │ │ │  	add    %al,(%ecx)
│ │ │ │ │  	...
│ │ │ │ │ @@ -307,37 +307,37 @@
│ │ │ │ │   R_386_32	numtypezmdkzm0zi5zi0zi3zm2GDsWRM7LCZZCuFAyvFqjx8_NumericziNumTypeziDKziNaturals_zdfKnownNatSzuzdcnatVal_closure
│ │ │ │ │  	jmp    *-0x4(%ebx)
│ │ │ │ │  	xchg   %ax,%ax
│ │ │ │ │  	call   60002e0 <i1KU_str+0x5fffe79>
│ │ │ │ │   R_386_PC32	numtypezmdkzm0zi5zi0zi3zm2GDsWRM7LCZZCuFAyvFqjx8_NumericziNumTypeziDKziNaturals_zdfKnownNatSzuzdcnatVal_closure
│ │ │ │ │  	add    %al,(%ecx)
│ │ │ │ │  	add    %dh,%al
│ │ │ │ │ - R_386_PC32	i1J2_str
│ │ │ │ │ + R_386_PC32	i1JN_str
│ │ │ │ │  	(bad)
│ │ │ │ │  	(bad)
│ │ │ │ │  	push   %esp
│ │ │ │ │ - R_386_PC32	i1J3_str
│ │ │ │ │ + R_386_PC32	i1JO_str
│ │ │ │ │  	(bad)
│ │ │ │ │  	(bad)
│ │ │ │ │  	incl   (%eax)
│ │ │ │ │  	add    %al,(%eax)
│ │ │ │ │  	add    %cl,(%esi)
│ │ │ │ │  	add    %al,(%ecx)
│ │ │ │ │  	...
│ │ │ │ │  
│ │ │ │ │  000002f4 <numtypezmdkzm0zi5zi0zi3zm2GDsWRM7LCZZCuFAyvFqjx8_NumericziNumTypeziDKziNaturals_zdfKnownNatS_info>:
│ │ │ │ │  numtypezmdkzm0zi5zi0zi3zm2GDsWRM7LCZZCuFAyvFqjx8_NumericziNumTypeziDKziNaturals_zdfKnownNatS_info():
│ │ │ │ │  	jmp    21c <numtypezmdkzm0zi5zi0zi3zm2GDsWRM7LCZZCuFAyvFqjx8_NumericziNumTypeziDKziNaturals_zdfKnownNatSzuzdcnatVal_info>
│ │ │ │ │  	lea    0x0(%esi),%esi
│ │ │ │ │  	add    $0xf0000100,%eax
│ │ │ │ │ - R_386_PC32	i1Ki_str
│ │ │ │ │ + R_386_PC32	i1Kj_str
│ │ │ │ │  	(bad)
│ │ │ │ │  	(bad)
│ │ │ │ │  	push   %esp
│ │ │ │ │ - R_386_PC32	i1Kj_str
│ │ │ │ │ + R_386_PC32	i1Kk_str
│ │ │ │ │  	(bad)
│ │ │ │ │  	(bad)
│ │ │ │ │  	incl   (%eax)
│ │ │ │ │  	add    %al,(%eax)
│ │ │ │ │  	add    %cl,(%esi)
│ │ │ │ │  	add    %al,(%eax)
│ │ │ │ │  	...
│ │ │ │ ├── readelf --wide --decompress --string-dump=.rodata.str {}
│ │ │ │ │ @@ -8,31 +8,31 @@
│ │ │ │ │    [    3c]  'Z
│ │ │ │ │    [    3f]  Nat
│ │ │ │ │    [    43]  ./Numeric/NumType/DK/Naturals.hs
│ │ │ │ │    [    64]  Numeric.NumType.DK.Naturals
│ │ │ │ │    [    80]  numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8
│ │ │ │ │    [    aa]  undefined
│ │ │ │ │    [    b4]  ->Integer
│ │ │ │ │ -  [    be]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Naturals.natVal_ri9>
│ │ │ │ │ +  [    be]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Naturals.natVal_rh6>
│ │ │ │ │    [   111]  ->Integer
│ │ │ │ │    [   11b]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Naturals.$fKnownNatZ_$cnatVal_r1Ev>
│ │ │ │ │    [   17d]  KnownNat
│ │ │ │ │ -  [   186]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Naturals.$fKnownNatZ_rMP>
│ │ │ │ │ +  [   186]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Naturals.$fKnownNatZ_rML>
│ │ │ │ │    [   1de]  ->*
│ │ │ │ │    [   1e2]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Naturals.$fKnownNatS1_r1Et>
│ │ │ │ │    [   23c]  Integer
│ │ │ │ │    [   244]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Naturals.lvl11_s1F0>
│ │ │ │ │    [   297]  ->Integer
│ │ │ │ │    [   2a1]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Naturals.sat_s1F4>
│ │ │ │ │    [   2f2]  ->Integer
│ │ │ │ │    [   2fc]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Naturals.$fKnownNatS_$cnatVal_r1Es>
│ │ │ │ │    [   35e]  KnownNat
│ │ │ │ │ -  [   367]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Naturals.$fKnownNatS_rMG>
│ │ │ │ │ +  [   367]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Naturals.$fKnownNatS_rMA>
│ │ │ │ │    [   3bf]  ->Nat
│ │ │ │ │ -  [   3c5]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Naturals.S_rJe>
│ │ │ │ │ +  [   3c5]  <numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Naturals.S_rJr>
│ │ │ │ │    [   413]  Nat
│ │ │ │ │    [   417]  Z
│ │ │ │ │    [   419]  numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Naturals.Z
│ │ │ │ │    [   461]  Nat
│ │ │ │ │    [   465]  S
│ │ │ │ │    [   467]  numtype-dk-0.5.0.3-2GDsWRM7LCZCuFAyvFqjx8:Numeric.NumType.DK.Naturals.S
│ │ │ │ ├── readelf --wide --decompress --hex-dump=.strtab {}
│ │ │ │ │ @@ -1,19 +1,19 @@
│ │ │ │ │  
│ │ │ │ │  Hex dump of section '.strtab':
│ │ │ │ │ -  0x00000000 00693146 735f7374 72006931 46745f73 .i1Fs_str.i1Ft_s
│ │ │ │ │ -  0x00000010 74720069 3146485f 73747200 69314649 tr.i1FH_str.i1FI
│ │ │ │ │ -  0x00000020 5f737472 00693146 565f7374 72006931 _str.i1FV_str.i1
│ │ │ │ │ -  0x00000030 46575f73 74720069 31476e5f 73747200 FW_str.i1Gn_str.
│ │ │ │ │ -  0x00000040 6931476f 5f737472 00693149 335f7374 i1Go_str.i1I3_st
│ │ │ │ │ -  0x00000050 72006931 49345f73 74720069 3149355f r.i1I4_str.i1I5_
│ │ │ │ │ -  0x00000060 73747200 69314936 5f737472 00693149 str.i1I6_str.i1I
│ │ │ │ │ -  0x00000070 375f7374 72006931 49385f73 74720069 7_str.i1I8_str.i
│ │ │ │ │ -  0x00000080 314a325f 73747200 69314a33 5f737472 1J2_str.i1J3_str
│ │ │ │ │ -  0x00000090 0069314b 695f7374 72006931 4b6a5f73 .i1Ki_str.i1Kj_s
│ │ │ │ │ +  0x00000000 00693147 375f7374 72006931 47385f73 .i1G7_str.i1G8_s
│ │ │ │ │ +  0x00000010 74720069 3147775f 73747200 69314778 tr.i1Gw_str.i1Gx
│ │ │ │ │ +  0x00000020 5f737472 00693147 4b5f7374 72006931 _str.i1GK_str.i1
│ │ │ │ │ +  0x00000030 474c5f73 74720069 3148625f 73747200 GL_str.i1Hb_str.
│ │ │ │ │ +  0x00000040 69314863 5f737472 00693149 4f5f7374 i1Hc_str.i1IO_st
│ │ │ │ │ +  0x00000050 72006931 49505f73 74720069 3149515f r.i1IP_str.i1IQ_
│ │ │ │ │ +  0x00000060 73747200 69314952 5f737472 00693149 str.i1IR_str.i1I
│ │ │ │ │ +  0x00000070 535f7374 72006931 49545f73 74720069 S_str.i1IT_str.i
│ │ │ │ │ +  0x00000080 314a4e5f 73747200 69314a4f 5f737472 1JN_str.i1JO_str
│ │ │ │ │ +  0x00000090 0069314b 6a5f7374 72006931 4b6b5f73 .i1Kj_str.i1Kk_s
│ │ │ │ │    0x000000a0 74720069 314b425f 73747200 69314b43 tr.i1KB_str.i1KC
│ │ │ │ │    0x000000b0 5f737472 0069314b 445f7374 72006931 _str.i1KD_str.i1
│ │ │ │ │    0x000000c0 4b535f73 74720069 314b545f 73747200 KS_str.i1KT_str.
│ │ │ │ │    0x000000d0 69314b55 5f737472 006e756d 74797065 i1KU_str.numtype
│ │ │ │ │    0x000000e0 7a6d646b 7a6d307a 69357a69 307a6933 zmdkzm0zi5zi0zi3
│ │ │ │ │    0x000000f0 7a6d3247 44735752 4d374c43 5a5a4375 zm2GDsWRM7LCZZCu
│ │ │ │ │    0x00000100 46417976 46716a78 385f4e75 6d657269 FAyvFqjx8_Numeri