--- /srv/rebuilderd/tmp/rebuilderdpU1D62/inputs/libghc-ogma-language-lustre-dev_1.11.0-1_amd64.deb +++ /srv/rebuilderd/tmp/rebuilderdpU1D62/out/libghc-ogma-language-lustre-dev_1.11.0-1_amd64.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2025-12-18 00:23:36.000000 debian-binary │ -rw-r--r-- 0 0 0 1356 2025-12-18 00:23:36.000000 control.tar.xz │ --rw-r--r-- 0 0 0 193640 2025-12-18 00:23:36.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 193616 2025-12-18 00:23:36.000000 data.tar.xz ├── control.tar.xz │ ├── control.tar │ │ ├── ./md5sums │ │ │ ├── ./md5sums │ │ │ │┄ Files differ ├── data.tar.xz │ ├── data.tar │ │ ├── ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ogma-language-lustre-1.11.0-EzKYBYanDaUK3U1ZVzdh4U/libHSogma-language-lustre-1.11.0-EzKYBYanDaUK3U1ZVzdh4U.a │ │ │ ├── nm --print-armap {} │ │ │ │ @@ -1820,32 +1820,32 @@ │ │ │ │ ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziPrintLustre_printTree1_closure in PrintLustre.o │ │ │ │ ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziPrintLustre_render_info in PrintLustre.o │ │ │ │ ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziPrintLustre_render_closure in PrintLustre.o │ │ │ │ ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziPrintLustre_printTree_info in PrintLustre.o │ │ │ │ ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziPrintLustre_printTree_closure in PrintLustre.o │ │ │ │ │ │ │ │ AbsLustre.o: │ │ │ │ -000000000000040f r .Lr70J_bytes │ │ │ │ -0000000000000404 r .Lr70K_bytes │ │ │ │ -00000000000003f8 r .Lr70L_bytes │ │ │ │ -00000000000003ea r .Lr70M_bytes │ │ │ │ -00000000000005e5 r .Lr70s_bytes │ │ │ │ -00000000000005b6 r .Lr70t_bytes │ │ │ │ -0000000000000587 r .Lr70v_bytes │ │ │ │ -000000000000033c r .Lr71k_bytes │ │ │ │ -000000000000032c r .Lr71l_bytes │ │ │ │ -000000000000031c r .Lr71m_bytes │ │ │ │ -000000000000030c r .Lr71n_bytes │ │ │ │ -00000000000002fc r .Lr71o_bytes │ │ │ │ -00000000000002ef r .Lr71p_bytes │ │ │ │ -00000000000002e0 r .Lr71q_bytes │ │ │ │ -00000000000002d1 r .Lr71r_bytes │ │ │ │ -00000000000002c2 r .Lr71s_bytes │ │ │ │ -00000000000002b2 r .Lr71t_bytes │ │ │ │ -00000000000002a3 r .Lr71u_bytes │ │ │ │ +00000000000005e5 r .Lr7CK_bytes │ │ │ │ +00000000000005b6 r .Lr7CL_bytes │ │ │ │ +0000000000000587 r .Lr7CN_bytes │ │ │ │ +000000000000040f r .Lr7D1_bytes │ │ │ │ +0000000000000404 r .Lr7D2_bytes │ │ │ │ +00000000000003f8 r .Lr7D3_bytes │ │ │ │ +00000000000003ea r .Lr7D4_bytes │ │ │ │ +000000000000033c r .Lr7DC_bytes │ │ │ │ +000000000000032c r .Lr7DD_bytes │ │ │ │ +000000000000031c r .Lr7DE_bytes │ │ │ │ +000000000000030c r .Lr7DF_bytes │ │ │ │ +00000000000002fc r .Lr7DG_bytes │ │ │ │ +00000000000002ef r .Lr7DH_bytes │ │ │ │ +00000000000002e0 r .Lr7DI_bytes │ │ │ │ +00000000000002d1 r .Lr7DJ_bytes │ │ │ │ +00000000000002c2 r .Lr7DK_bytes │ │ │ │ +00000000000002b2 r .Lr7DL_bytes │ │ │ │ +00000000000002a3 r .Lr7DM_bytes │ │ │ │ U base_ControlziExceptionziBase_patError_closure │ │ │ │ U base_ControlziExceptionziBase_patError_info │ │ │ │ U base_GHCziBase_eqString_closure │ │ │ │ U base_GHCziBase_eqString_info │ │ │ │ U base_GHCziFloat_zdfShowDouble2_closure │ │ │ │ U base_GHCziFloat_zdfShowDoublezuzdsshowSignedFloat_info │ │ │ │ U base_GHCziRead_CZCRead_con_info │ │ │ │ @@ -2906,37 +2906,37 @@ │ │ │ │ U ghczmprim_GHCziTypes_ZMZN_closure │ │ │ │ U ghczmprim_GHCziTypes_krepzdztArrzt_closure │ │ │ │ U ghczmprim_GHCziTypes_krepzdzt_closure │ │ │ │ U ghczmprim_GHCziTypes_zdtcAddrzh_closure │ │ │ │ U ghczmprim_GHCziTypes_zdtcChar_closure │ │ │ │ U ghczmprim_GHCziTypes_zdtcInt_closure │ │ │ │ U ghczmprim_GHCziTypes_zdtcList_closure │ │ │ │ -0000000000000319 r i8uZ_str │ │ │ │ -000000000000036e r i8v7_str │ │ │ │ -00000000000004c8 r i8vG_str │ │ │ │ -0000000000000521 r i8vL_str │ │ │ │ -000000000000057b r i8vQ_str │ │ │ │ -00000000000005cb r i8vV_str │ │ │ │ -00000000000003c5 r i8vd_str │ │ │ │ -000000000000041b r i8vi_str │ │ │ │ -0000000000000472 r i8vw_str │ │ │ │ -000000000000061c r i8w0_str │ │ │ │ -000000000000066c r i8w5_str │ │ │ │ -000000000000084a r i8wD_str │ │ │ │ -00000000000006bb r i8wa_str │ │ │ │ -000000000000070a r i8wf_str │ │ │ │ -000000000000075a r i8wk_str │ │ │ │ -00000000000007aa r i8wp_str │ │ │ │ -00000000000007fa r i8wv_str │ │ │ │ -0000000000000941 r i8xC_str │ │ │ │ -000000000000099a r i8xH_str │ │ │ │ -00000000000009ef r i8xM_str │ │ │ │ -0000000000000a48 r i8xR_str │ │ │ │ -000000000000089a r i8xl_str │ │ │ │ -00000000000008ea r i8xw_str │ │ │ │ +000000000000036e r i7tE_str │ │ │ │ +00000000000003c5 r i7tJ_str │ │ │ │ +000000000000041b r i7tO_str │ │ │ │ +0000000000000472 r i7tT_str │ │ │ │ +00000000000004c8 r i7tY_str │ │ │ │ +0000000000000319 r i7tz_str │ │ │ │ +0000000000000521 r i7u3_str │ │ │ │ +000000000000057b r i7u8_str │ │ │ │ +000000000000075a r i7uC_str │ │ │ │ +00000000000007aa r i7uH_str │ │ │ │ +00000000000007fa r i7uM_str │ │ │ │ +000000000000084a r i7uR_str │ │ │ │ +000000000000089a r i7uW_str │ │ │ │ +00000000000005cb r i7ud_str │ │ │ │ +000000000000061c r i7ui_str │ │ │ │ +000000000000066c r i7un_str │ │ │ │ +00000000000006bb r i7us_str │ │ │ │ +000000000000070a r i7ux_str │ │ │ │ +00000000000008ea r i7v1_str │ │ │ │ +0000000000000941 r i7v6_str │ │ │ │ +000000000000099a r i7vb_str │ │ │ │ +00000000000009ef r i7vg_str │ │ │ │ +0000000000000a48 r i7vl_str │ │ │ │ U newCAF │ │ │ │ U nonmoving_write_barrier_enabled │ │ │ │ 0000000000002d20 D ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziLexLustre_AlexAccNone_closure │ │ │ │ 0000000000009a80 T ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziLexLustre_AlexAccNone_con_info │ │ │ │ 0000000000002d30 D ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziLexLustre_AlexAccSkip_closure │ │ │ │ 0000000000009ac0 T ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziLexLustre_AlexAccSkip_con_info │ │ │ │ 0000000000002d28 D ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziLexLustre_AlexAcc_closure │ │ │ │ @@ -3567,17 +3567,17 @@ │ │ │ │ U stg_sel_0_upd_info │ │ │ │ U stg_sel_1_upd_info │ │ │ │ U stg_unpack_cstring_info │ │ │ │ U stg_upd_frame_info │ │ │ │ U updateRemembSetPushClosure_ │ │ │ │ │ │ │ │ ParLustre.o: │ │ │ │ -00000000000001d8 r .Lrlnr_bytes │ │ │ │ -0000000000000195 r .Lrlnu_bytes │ │ │ │ -0000000000000152 r .Lrlnw_bytes │ │ │ │ +00000000000001d8 r .Lrmnc_bytes │ │ │ │ +0000000000000195 r .Lrmnf_bytes │ │ │ │ +0000000000000152 r .Lrmnh_bytes │ │ │ │ U base_ControlziExceptionziBase_patError_closure │ │ │ │ U base_ControlziExceptionziBase_patError_info │ │ │ │ U base_DataziEither_Left_con_info │ │ │ │ U base_DataziEither_Right_con_info │ │ │ │ U base_GHCziArr_Array_con_info │ │ │ │ U base_GHCziArr_arrEleBottom_closure │ │ │ │ U base_GHCziBase_zpzp_info │ │ │ │ @@ -3621,17 +3621,17 @@ │ │ │ │ U ghczmprim_GHCziTypes_ZC_con_info │ │ │ │ U ghczmprim_GHCziTypes_ZMZN_closure │ │ │ │ U ghczmprim_GHCziTypes_krepzdztArrzt_closure │ │ │ │ U ghczmprim_GHCziTypes_krepzdzt_closure │ │ │ │ U ghczmprim_GHCziTypes_zdtcAddrzh_closure │ │ │ │ U ghczmprim_GHCziTypes_zdtcDouble_closure │ │ │ │ U ghczmprim_GHCziTypes_zdtcIntzh_closure │ │ │ │ -00000000000002ed r inv5_str │ │ │ │ -0000000000000342 r inva_str │ │ │ │ -0000000000000398 r invf_str │ │ │ │ +0000000000000342 r iolC_str │ │ │ │ +0000000000000398 r iolH_str │ │ │ │ +00000000000002ed r iolx_str │ │ │ │ U newCAF │ │ │ │ U nonmoving_write_barrier_enabled │ │ │ │ U ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_BoolConstFTP_closure │ │ │ │ U ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_BoolConstFalse_closure │ │ │ │ U ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_BoolConstTrue_closure │ │ │ │ U ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_BoolNumOp2Eq_closure │ │ │ │ U ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_BoolNumOp2Ge_closure │ │ │ │ @@ -3842,20 +3842,20 @@ │ │ │ │ U stg_gc_unpt_r1 │ │ │ │ U stg_newArrayzh │ │ │ │ U stg_unpack_cstring_info │ │ │ │ U stg_upd_frame_info │ │ │ │ U updateRemembSetPushClosure_ │ │ │ │ │ │ │ │ PrintLustre.o: │ │ │ │ -000000000000004e r .LrkI9_bytes │ │ │ │ -000000000000004c r .LrkIb_bytes │ │ │ │ -0000000000000017 r .LrkId_bytes │ │ │ │ -0000000000000014 r .LrkIf_bytes │ │ │ │ -0000000000000011 r .LrkIh_bytes │ │ │ │ -0000000000000000 r .LrkIn_bytes │ │ │ │ +000000000000004e r .LrkEa_bytes │ │ │ │ +000000000000004c r .LrkEc_bytes │ │ │ │ +0000000000000017 r .LrkEe_bytes │ │ │ │ +0000000000000014 r .LrkEg_bytes │ │ │ │ +0000000000000011 r .LrkEi_bytes │ │ │ │ +0000000000000000 r .LrkEo_bytes │ │ │ │ U base_GHCziBase_id_closure │ │ │ │ U base_GHCziBase_map_info │ │ │ │ U base_GHCziBase_zpzp_info │ │ │ │ U base_GHCziFloat_zdfShowDouble2_closure │ │ │ │ U base_GHCziFloat_zdfShowDoublezuzdsshowSignedFloat_info │ │ │ │ U base_GHCziList_elem_info │ │ │ │ U base_GHCziList_zdwspan_info │ │ │ ├── AbsLustre.o │ │ │ │ ├── readelf --wide --symbols {} │ │ │ │ │ @@ -46,32 +46,32 @@ │ │ │ │ │ 42: 00000000000012e6 0 NOTYPE LOCAL DEFAULT 6 idOJ_str │ │ │ │ │ 43: 000000000000133a 0 NOTYPE LOCAL DEFAULT 6 idOO_str │ │ │ │ │ 44: 0000000000001391 0 NOTYPE LOCAL DEFAULT 6 idOT_str │ │ │ │ │ 45: 00000000000013e8 0 NOTYPE LOCAL DEFAULT 6 idOY_str │ │ │ │ │ 46: 000000000000143d 0 NOTYPE LOCAL DEFAULT 6 idP3_str │ │ │ │ │ 47: 000000000000148f 0 NOTYPE LOCAL DEFAULT 6 idP8_str │ │ │ │ │ 48: 00000000000014e3 0 NOTYPE LOCAL DEFAULT 6 idPd_str │ │ │ │ │ - 49: 00000000000005e5 0 NOTYPE LOCAL DEFAULT 6 .Lr70s_bytes │ │ │ │ │ - 50: 00000000000005b6 0 NOTYPE LOCAL DEFAULT 6 .Lr70t_bytes │ │ │ │ │ - 51: 0000000000000587 0 NOTYPE LOCAL DEFAULT 6 .Lr70v_bytes │ │ │ │ │ - 52: 00000000000003f8 0 NOTYPE LOCAL DEFAULT 6 .Lr70L_bytes │ │ │ │ │ - 53: 0000000000000404 0 NOTYPE LOCAL DEFAULT 6 .Lr70K_bytes │ │ │ │ │ - 54: 000000000000040f 0 NOTYPE LOCAL DEFAULT 6 .Lr70J_bytes │ │ │ │ │ - 55: 00000000000003ea 0 NOTYPE LOCAL DEFAULT 6 .Lr70M_bytes │ │ │ │ │ - 56: 00000000000002ef 0 NOTYPE LOCAL DEFAULT 6 .Lr71p_bytes │ │ │ │ │ - 57: 00000000000002fc 0 NOTYPE LOCAL DEFAULT 6 .Lr71o_bytes │ │ │ │ │ - 58: 000000000000030c 0 NOTYPE LOCAL DEFAULT 6 .Lr71n_bytes │ │ │ │ │ - 59: 000000000000031c 0 NOTYPE LOCAL DEFAULT 6 .Lr71m_bytes │ │ │ │ │ - 60: 000000000000032c 0 NOTYPE LOCAL DEFAULT 6 .Lr71l_bytes │ │ │ │ │ - 61: 000000000000033c 0 NOTYPE LOCAL DEFAULT 6 .Lr71k_bytes │ │ │ │ │ - 62: 00000000000002a3 0 NOTYPE LOCAL DEFAULT 6 .Lr71u_bytes │ │ │ │ │ - 63: 00000000000002b2 0 NOTYPE LOCAL DEFAULT 6 .Lr71t_bytes │ │ │ │ │ - 64: 00000000000002c2 0 NOTYPE LOCAL DEFAULT 6 .Lr71s_bytes │ │ │ │ │ - 65: 00000000000002d1 0 NOTYPE LOCAL DEFAULT 6 .Lr71r_bytes │ │ │ │ │ - 66: 00000000000002e0 0 NOTYPE LOCAL DEFAULT 6 .Lr71q_bytes │ │ │ │ │ + 49: 00000000000005e5 0 NOTYPE LOCAL DEFAULT 6 .Lr7CK_bytes │ │ │ │ │ + 50: 00000000000005b6 0 NOTYPE LOCAL DEFAULT 6 .Lr7CL_bytes │ │ │ │ │ + 51: 0000000000000587 0 NOTYPE LOCAL DEFAULT 6 .Lr7CN_bytes │ │ │ │ │ + 52: 00000000000003f8 0 NOTYPE LOCAL DEFAULT 6 .Lr7D3_bytes │ │ │ │ │ + 53: 0000000000000404 0 NOTYPE LOCAL DEFAULT 6 .Lr7D2_bytes │ │ │ │ │ + 54: 000000000000040f 0 NOTYPE LOCAL DEFAULT 6 .Lr7D1_bytes │ │ │ │ │ + 55: 00000000000003ea 0 NOTYPE LOCAL DEFAULT 6 .Lr7D4_bytes │ │ │ │ │ + 56: 00000000000002ef 0 NOTYPE LOCAL DEFAULT 6 .Lr7DH_bytes │ │ │ │ │ + 57: 00000000000002fc 0 NOTYPE LOCAL DEFAULT 6 .Lr7DG_bytes │ │ │ │ │ + 58: 000000000000030c 0 NOTYPE LOCAL DEFAULT 6 .Lr7DF_bytes │ │ │ │ │ + 59: 000000000000031c 0 NOTYPE LOCAL DEFAULT 6 .Lr7DE_bytes │ │ │ │ │ + 60: 000000000000032c 0 NOTYPE LOCAL DEFAULT 6 .Lr7DD_bytes │ │ │ │ │ + 61: 000000000000033c 0 NOTYPE LOCAL DEFAULT 6 .Lr7DC_bytes │ │ │ │ │ + 62: 00000000000002a3 0 NOTYPE LOCAL DEFAULT 6 .Lr7DM_bytes │ │ │ │ │ + 63: 00000000000002b2 0 NOTYPE LOCAL DEFAULT 6 .Lr7DL_bytes │ │ │ │ │ + 64: 00000000000002c2 0 NOTYPE LOCAL DEFAULT 6 .Lr7DK_bytes │ │ │ │ │ + 65: 00000000000002d1 0 NOTYPE LOCAL DEFAULT 6 .Lr7DJ_bytes │ │ │ │ │ + 66: 00000000000002e0 0 NOTYPE LOCAL DEFAULT 6 .Lr7DI_bytes │ │ │ │ │ 67: 0000000000000000 0 OBJECT GLOBAL DEFAULT 6 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdtczqBoolSpecSignal3_bytes │ │ │ │ │ 68: 0000000000000010 0 OBJECT GLOBAL DEFAULT 6 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdtczqBoolSpecConstI3_bytes │ │ │ │ │ 69: 0000000000000020 0 OBJECT GLOBAL DEFAULT 6 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdtczqBoolSpecOp2HT3_bytes │ │ │ │ │ 70: 000000000000002f 0 OBJECT GLOBAL DEFAULT 6 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdtczqBoolSpecOp2OT2_bytes │ │ │ │ │ 71: 000000000000003e 0 OBJECT GLOBAL DEFAULT 6 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdtczqBoolSpecOp2ST3_bytes │ │ │ │ │ 72: 000000000000004d 0 OBJECT GLOBAL DEFAULT 6 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdtczqBoolSpecOp2Pre3_bytes │ │ │ │ │ 73: 000000000000005d 0 OBJECT GLOBAL DEFAULT 6 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdtczqBoolSpecOp2In3_bytes │ │ │ │ ├── readelf --wide --relocs {} │ │ │ │ │ @@ -9,15 +9,15 @@ │ │ │ │ │ 000000000000019d 000000a30000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_Bool_closure_tbl + 0 │ │ │ │ │ 00000000000001ab 000000a400000002 R_X86_64_PC32 0000000000000028 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdfEqBoolConstzuzdczeze_closure - 4 │ │ │ │ │ 00000000000001b7 000000010000000b R_X86_64_32S 0000000000000000 .text + 1e0 │ │ │ │ │ 000000000000021b 000000010000000b R_X86_64_32S 0000000000000000 .text + 240 │ │ │ │ │ 0000000000000264 000000a600000002 R_X86_64_PC32 0000000000000000 base_ControlziExceptionziBase_patError_closure - 4 │ │ │ │ │ 0000000000000281 000000a800000004 R_X86_64_PLT32 0000000000000000 newCAF - 4 │ │ │ │ │ 0000000000000292 000000a90000000b R_X86_64_32S 0000000000000000 stg_bh_upd_frame_info + 0 │ │ │ │ │ -000000000000029d 0000003100000002 R_X86_64_PC32 00000000000005e5 .Lr70s_bytes - 4 │ │ │ │ │ +000000000000029d 0000003100000002 R_X86_64_PC32 00000000000005e5 .Lr7CK_bytes - 4 │ │ │ │ │ 00000000000002c4 000000ab00000002 R_X86_64_PC32 0000000000000050 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdfEqOp2In1_closure - 4 │ │ │ │ │ 0000000000000329 0000009f00000002 R_X86_64_PC32 0000000000000000 ghczmprim_GHCziTypes_False_closure - 3 │ │ │ │ │ 0000000000000338 000000010000000b R_X86_64_32S 0000000000000000 .text + 360 │ │ │ │ │ 000000000000035c 000000ab00000002 R_X86_64_PC32 0000000000000050 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdfEqOp2In1_closure - 4 │ │ │ │ │ 0000000000000382 000000010000000b R_X86_64_32S 0000000000000000 .text + 3a8 │ │ │ │ │ 00000000000003a4 000000ab00000002 R_X86_64_PC32 0000000000000050 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdfEqOp2In1_closure - 4 │ │ │ │ │ 0000000000000412 000000a30000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_Bool_closure_tbl + 0 │ │ │ │ │ @@ -34,15 +34,15 @@ │ │ │ │ │ 000000000000063c 000000010000000b R_X86_64_32S 0000000000000000 .text + 660 │ │ │ │ │ 0000000000000677 000000010000000b R_X86_64_32S 0000000000000000 .text + 6a0 │ │ │ │ │ 00000000000006c4 000000010000000b R_X86_64_32S 0000000000000000 .text + 6f0 │ │ │ │ │ 00000000000006ec 000000ab00000002 R_X86_64_PC32 0000000000000050 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdfEqOp2In1_closure - 4 │ │ │ │ │ 0000000000000714 000000a600000002 R_X86_64_PC32 0000000000000000 base_ControlziExceptionziBase_patError_closure - 4 │ │ │ │ │ 0000000000000731 000000a800000004 R_X86_64_PLT32 0000000000000000 newCAF - 4 │ │ │ │ │ 0000000000000742 000000a90000000b R_X86_64_32S 0000000000000000 stg_bh_upd_frame_info + 0 │ │ │ │ │ -000000000000074d 0000003200000002 R_X86_64_PC32 00000000000005b6 .Lr70t_bytes - 4 │ │ │ │ │ +000000000000074d 0000003200000002 R_X86_64_PC32 00000000000005b6 .Lr7CL_bytes - 4 │ │ │ │ │ 0000000000000774 0000000200000002 R_X86_64_PC32 0000000000000000 .data + 7c │ │ │ │ │ 00000000000007de 000000010000000b R_X86_64_32S 0000000000000000 .text + 800 │ │ │ │ │ 00000000000007fc 000000af00000002 R_X86_64_PC32 00000000000000a0 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdfEqNumExprzuzdczeze_closure - 4 │ │ │ │ │ 0000000000000822 000000010000000b R_X86_64_32S 0000000000000000 .text + 860 │ │ │ │ │ 000000000000085c 000000af00000002 R_X86_64_PC32 00000000000000a0 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdfEqNumExprzuzdczeze_closure - 4 │ │ │ │ │ 0000000000000870 000000010000000b R_X86_64_32S 0000000000000000 .text + a78 │ │ │ │ │ 000000000000089c 0000000200000002 R_X86_64_PC32 0000000000000000 .data + 7c │ │ │ │ │ @@ -67,15 +67,15 @@ │ │ │ │ │ 0000000000000c0d 000000010000000b R_X86_64_32S 0000000000000000 .text + c38 │ │ │ │ │ 0000000000000c1d 000000b300000002 R_X86_64_PC32 00000000000000b0 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdfEqNumExprzuzdczsze_closure - 4 │ │ │ │ │ 0000000000000c44 0000009f00000002 R_X86_64_PC32 0000000000000000 ghczmprim_GHCziTypes_False_closure - 3 │ │ │ │ │ 0000000000000c52 000000a000000002 R_X86_64_PC32 0000000000000000 ghczmprim_GHCziTypes_True_closure - 2 │ │ │ │ │ 0000000000000c6c 000000a600000002 R_X86_64_PC32 0000000000000000 base_ControlziExceptionziBase_patError_closure - 4 │ │ │ │ │ 0000000000000c89 000000a800000004 R_X86_64_PLT32 0000000000000000 newCAF - 4 │ │ │ │ │ 0000000000000c9a 000000a90000000b R_X86_64_32S 0000000000000000 stg_bh_upd_frame_info + 0 │ │ │ │ │ -0000000000000ca5 0000003300000002 R_X86_64_PC32 0000000000000587 .Lr70v_bytes - 4 │ │ │ │ │ +0000000000000ca5 0000003300000002 R_X86_64_PC32 0000000000000587 .Lr7CN_bytes - 4 │ │ │ │ │ 0000000000000d36 000000010000000b R_X86_64_32S 0000000000000000 .text + d58 │ │ │ │ │ 0000000000000d54 000000b600000002 R_X86_64_PC32 0000000000000100 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdfEqBoolSpeczuzdczeze_closure - 4 │ │ │ │ │ 0000000000000d65 0000000400000002 R_X86_64_PC32 0000000000000000 .rodata - 4 │ │ │ │ │ 0000000000000d73 000000010000000b R_X86_64_32S 0000000000000000 .text + da8 │ │ │ │ │ 0000000000000da4 000000b600000002 R_X86_64_PC32 0000000000000100 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdfEqBoolSpeczuzdczeze_closure - 4 │ │ │ │ │ 0000000000000e29 000000b600000002 R_X86_64_PC32 0000000000000100 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdfEqBoolSpeczuzdczeze_closure - 4 │ │ │ │ │ 0000000000000e44 000000b600000002 R_X86_64_PC32 0000000000000100 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdfEqBoolSpeczuzdczeze_closure - 4 │ │ │ │ │ @@ -637,35 +637,35 @@ │ │ │ │ │ 000000000000756f 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 0000000000007578 000001630000000b R_X86_64_32S 0000000000000000 base_GHCziShow_zdfShowZLz2cUZR1_closure + 1 │ │ │ │ │ 0000000000007584 000000010000000b R_X86_64_32S 0000000000000000 .text + 75b0 │ │ │ │ │ 00000000000075ac 000001dd00000002 R_X86_64_PC32 0000000000000000 base_GHCziShow_zdwzdcshowsPrec15_closure - 4 │ │ │ │ │ 00000000000075e4 000001dd00000002 R_X86_64_PC32 0000000000000000 base_GHCziShow_zdwzdcshowsPrec15_closure - 4 │ │ │ │ │ 0000000000007602 000001640000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 0000000000007617 000000010000000b R_X86_64_32S 0000000000000000 .text + 7548 │ │ │ │ │ -000000000000762c 0000003400000002 R_X86_64_PC32 00000000000003f8 .Lr70L_bytes - 4 │ │ │ │ │ +000000000000762c 0000003400000002 R_X86_64_PC32 00000000000003f8 .Lr7D3_bytes - 4 │ │ │ │ │ 0000000000007654 000001ca00000002 R_X86_64_PC32 0000000000000e98 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec2_closure - 4 │ │ │ │ │ 000000000000767c 000001ca00000002 R_X86_64_PC32 0000000000000e98 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec2_closure - 4 │ │ │ │ │ 000000000000769a 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 00000000000076a3 000001630000000b R_X86_64_32S 0000000000000000 base_GHCziShow_zdfShowZLz2cUZR1_closure + 1 │ │ │ │ │ 00000000000076dc 000001ca00000002 R_X86_64_PC32 0000000000000e98 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec2_closure - 4 │ │ │ │ │ 00000000000076fa 000001640000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 000000000000770f 000000010000000b R_X86_64_32S 0000000000000000 .text + 7680 │ │ │ │ │ -0000000000007724 0000003500000002 R_X86_64_PC32 0000000000000404 .Lr70K_bytes - 4 │ │ │ │ │ +0000000000007724 0000003500000002 R_X86_64_PC32 0000000000000404 .Lr7D2_bytes - 4 │ │ │ │ │ 000000000000774c 000001df00000002 R_X86_64_PC32 0000000000001080 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec3_closure - 4 │ │ │ │ │ 000000000000775d 000000010000000b R_X86_64_32S 0000000000000000 .text + 7788 │ │ │ │ │ 0000000000007784 000001df00000002 R_X86_64_PC32 0000000000001080 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec3_closure - 4 │ │ │ │ │ 00000000000077b4 000001df00000002 R_X86_64_PC32 0000000000001080 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec3_closure - 4 │ │ │ │ │ 00000000000077df 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 00000000000077e8 000001630000000b R_X86_64_32S 0000000000000000 base_GHCziShow_zdfShowZLz2cUZR1_closure + 1 │ │ │ │ │ 00000000000077f4 000000010000000b R_X86_64_32S 0000000000000000 .text + 7820 │ │ │ │ │ 000000000000781c 000001df00000002 R_X86_64_PC32 0000000000001080 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec3_closure - 4 │ │ │ │ │ 0000000000007854 000001df00000002 R_X86_64_PC32 0000000000001080 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec3_closure - 4 │ │ │ │ │ 0000000000007872 000001640000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 0000000000007887 000000010000000b R_X86_64_32S 0000000000000000 .text + 77b8 │ │ │ │ │ -000000000000789c 0000003600000002 R_X86_64_PC32 000000000000040f .Lr70J_bytes - 4 │ │ │ │ │ +000000000000789c 0000003600000002 R_X86_64_PC32 000000000000040f .Lr7D1_bytes - 4 │ │ │ │ │ 00000000000078dd 000000010000000b R_X86_64_32S 0000000000000000 .text + 7908 │ │ │ │ │ 0000000000007921 0000008e00000002 R_X86_64_PC32 0000000000000525 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdfReadNumOp2In13_bytes - 4 │ │ │ │ │ 0000000000007934 0000008f00000002 R_X86_64_PC32 0000000000000531 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdfReadNumOp2In17_bytes - 4 │ │ │ │ │ 0000000000007947 0000008d00000002 R_X86_64_PC32 000000000000051a ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdfReadNumOp2In9_bytes - 4 │ │ │ │ │ 0000000000007964 000001df00000002 R_X86_64_PC32 0000000000001080 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec3_closure - 4 │ │ │ │ │ 0000000000007975 000001640000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 0000000000007981 000000010000000b R_X86_64_32S 0000000000000000 .text + 79b0 │ │ │ │ │ @@ -697,39 +697,39 @@ │ │ │ │ │ 0000000000007cc3 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 0000000000007ccc 000001e10000000b R_X86_64_32S 0000000000000000 base_GHCziShow_showSpace1_closure + 1 │ │ │ │ │ 0000000000007cdd 000000010000000b R_X86_64_32S 0000000000000000 .text + 7d08 │ │ │ │ │ 0000000000007d04 000001df00000002 R_X86_64_PC32 0000000000001080 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec3_closure - 4 │ │ │ │ │ 0000000000007d3c 000001df00000002 R_X86_64_PC32 0000000000001080 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec3_closure - 4 │ │ │ │ │ 0000000000007d5a 000001640000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 0000000000007d77 000000010000000b R_X86_64_32S 0000000000000000 .text + 7c78 │ │ │ │ │ -0000000000007d96 0000003700000002 R_X86_64_PC32 00000000000003ea .Lr70M_bytes - 4 │ │ │ │ │ +0000000000007d96 0000003700000002 R_X86_64_PC32 00000000000003ea .Lr7D4_bytes - 4 │ │ │ │ │ 0000000000007e22 000000010000000b R_X86_64_32S 0000000000000000 .text + 78d0 │ │ │ │ │ 0000000000007e3b 000000010000000b R_X86_64_32S 0000000000000000 .text + 7d40 │ │ │ │ │ 0000000000007e58 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 0000000000007e61 000001660000000b R_X86_64_32S 0000000000000000 base_GHCziShow_zdfShowZLz2cUZR3_closure + 1 │ │ │ │ │ 0000000000007e7b 000000010000000b R_X86_64_32S 0000000000000000 .text + 7a70 │ │ │ │ │ -0000000000007ea2 0000003700000002 R_X86_64_PC32 00000000000003ea .Lr70M_bytes - 4 │ │ │ │ │ +0000000000007ea2 0000003700000002 R_X86_64_PC32 00000000000003ea .Lr7D4_bytes - 4 │ │ │ │ │ 0000000000007ede 000000010000000b R_X86_64_32S 0000000000000000 .text + 75e8 │ │ │ │ │ 0000000000007ef1 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 0000000000007efa 000001660000000b R_X86_64_32S 0000000000000000 base_GHCziShow_zdfShowZLz2cUZR3_closure + 1 │ │ │ │ │ 0000000000007f14 000000010000000b R_X86_64_32S 0000000000000000 .text + 74e0 │ │ │ │ │ -0000000000007f31 0000003400000002 R_X86_64_PC32 00000000000003f8 .Lr70L_bytes - 4 │ │ │ │ │ +0000000000007f31 0000003400000002 R_X86_64_PC32 00000000000003f8 .Lr7D3_bytes - 4 │ │ │ │ │ 0000000000007f3d 000001df00000002 R_X86_64_PC32 0000000000001080 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec3_closure - 4 │ │ │ │ │ 0000000000007f54 000001df00000002 R_X86_64_PC32 0000000000001080 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec3_closure - 4 │ │ │ │ │ 0000000000007f8d 000000010000000b R_X86_64_32S 0000000000000000 .text + 7858 │ │ │ │ │ 0000000000007fa0 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 0000000000007fa9 000001660000000b R_X86_64_32S 0000000000000000 base_GHCziShow_zdfShowZLz2cUZR3_closure + 1 │ │ │ │ │ 0000000000007fc3 000000010000000b R_X86_64_32S 0000000000000000 .text + 7750 │ │ │ │ │ -0000000000007fe0 0000003600000002 R_X86_64_PC32 000000000000040f .Lr70J_bytes - 4 │ │ │ │ │ +0000000000007fe0 0000003600000002 R_X86_64_PC32 000000000000040f .Lr7D1_bytes - 4 │ │ │ │ │ 0000000000007ffc 000001ca00000002 R_X86_64_PC32 0000000000000e98 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec2_closure - 4 │ │ │ │ │ 0000000000008035 000000010000000b R_X86_64_32S 0000000000000000 .text + 76e0 │ │ │ │ │ 0000000000008048 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 0000000000008051 000001660000000b R_X86_64_32S 0000000000000000 base_GHCziShow_zdfShowZLz2cUZR3_closure + 1 │ │ │ │ │ 000000000000806b 000000010000000b R_X86_64_32S 0000000000000000 .text + 7658 │ │ │ │ │ -0000000000008088 0000003500000002 R_X86_64_PC32 0000000000000404 .Lr70K_bytes - 4 │ │ │ │ │ +0000000000008088 0000003500000002 R_X86_64_PC32 0000000000000404 .Lr7D2_bytes - 4 │ │ │ │ │ 00000000000080a0 000000010000000b R_X86_64_32S 0000000000000000 .text + 8160 │ │ │ │ │ 00000000000080c4 000000010000000b R_X86_64_32S 0000000000000000 .text + 8138 │ │ │ │ │ 00000000000080e8 000000010000000b R_X86_64_32S 0000000000000000 .text + 7f58 │ │ │ │ │ 000000000000810f 000000010000000b R_X86_64_32S 0000000000000000 .text + 8000 │ │ │ │ │ 0000000000008134 000001df00000002 R_X86_64_PC32 0000000000001080 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec3_closure - 4 │ │ │ │ │ 000000000000815c 000001dd00000002 R_X86_64_PC32 0000000000000000 base_GHCziShow_zdwzdcshowsPrec15_closure - 4 │ │ │ │ │ 000000000000818c 000001df00000002 R_X86_64_PC32 0000000000001080 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec3_closure - 4 │ │ │ │ │ @@ -777,106 +777,106 @@ │ │ │ │ │ 00000000000088ed 000000010000000b R_X86_64_32S 0000000000000000 .text + 8920 │ │ │ │ │ 0000000000008905 000001fa00000002 R_X86_64_PC32 0000000000001138 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdfOrdNumExprzuzdcmin_closure - 4 │ │ │ │ │ 0000000000008954 000001fc00000002 R_X86_64_PC32 0000000000001450 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec1_closure - 4 │ │ │ │ │ 0000000000008965 000001640000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 0000000000008971 000000010000000b R_X86_64_32S 0000000000000000 .text + 8998 │ │ │ │ │ 0000000000008994 000001fc00000002 R_X86_64_PC32 0000000000001450 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec1_closure - 4 │ │ │ │ │ 00000000000089fe 000000010000000b R_X86_64_32S 0000000000000000 .text + 89c0 │ │ │ │ │ -0000000000008a13 0000003800000002 R_X86_64_PC32 00000000000002ef .Lr71p_bytes - 4 │ │ │ │ │ +0000000000008a13 0000003800000002 R_X86_64_PC32 00000000000002ef .Lr7DH_bytes - 4 │ │ │ │ │ 0000000000008a5a 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 0000000000008a63 000001630000000b R_X86_64_32S 0000000000000000 base_GHCziShow_zdfShowZLz2cUZR1_closure + 1 │ │ │ │ │ 0000000000008ab2 000001640000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 0000000000008ac7 000000010000000b R_X86_64_32S 0000000000000000 .text + 8a40 │ │ │ │ │ -0000000000008adc 0000003800000002 R_X86_64_PC32 00000000000002ef .Lr71p_bytes - 4 │ │ │ │ │ +0000000000008adc 0000003800000002 R_X86_64_PC32 00000000000002ef .Lr7DH_bytes - 4 │ │ │ │ │ 0000000000008b26 000000010000000b R_X86_64_32S 0000000000000000 .text + 8a98 │ │ │ │ │ 0000000000008b39 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 0000000000008b42 000001660000000b R_X86_64_32S 0000000000000000 base_GHCziShow_zdfShowZLz2cUZR3_closure + 1 │ │ │ │ │ 0000000000008b74 000001dd00000002 R_X86_64_PC32 0000000000000000 base_GHCziShow_zdwzdcshowsPrec15_closure - 4 │ │ │ │ │ 0000000000008b85 000000010000000b R_X86_64_32S 0000000000000000 .text + 8bb0 │ │ │ │ │ 0000000000008bac 000001dd00000002 R_X86_64_PC32 0000000000000000 base_GHCziShow_zdwzdcshowsPrec15_closure - 4 │ │ │ │ │ 0000000000008be4 000001dd00000002 R_X86_64_PC32 0000000000000000 base_GHCziShow_zdwzdcshowsPrec15_closure - 4 │ │ │ │ │ 0000000000008bfe 000000010000000b R_X86_64_32S 0000000000000000 .text + 8b78 │ │ │ │ │ -0000000000008c13 0000003900000002 R_X86_64_PC32 00000000000002fc .Lr71o_bytes - 4 │ │ │ │ │ +0000000000008c13 0000003900000002 R_X86_64_PC32 00000000000002fc .Lr7DG_bytes - 4 │ │ │ │ │ 0000000000008c3c 000001dd00000002 R_X86_64_PC32 0000000000000000 base_GHCziShow_zdwzdcshowsPrec15_closure - 4 │ │ │ │ │ 0000000000008c67 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 0000000000008c70 000001630000000b R_X86_64_32S 0000000000000000 base_GHCziShow_zdfShowZLz2cUZR1_closure + 1 │ │ │ │ │ 0000000000008c7c 000000010000000b R_X86_64_32S 0000000000000000 .text + 8ca8 │ │ │ │ │ 0000000000008ca4 000001dd00000002 R_X86_64_PC32 0000000000000000 base_GHCziShow_zdwzdcshowsPrec15_closure - 4 │ │ │ │ │ 0000000000008cdc 000001dd00000002 R_X86_64_PC32 0000000000000000 base_GHCziShow_zdwzdcshowsPrec15_closure - 4 │ │ │ │ │ 0000000000008cfa 000001640000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 0000000000008d0f 000000010000000b R_X86_64_32S 0000000000000000 .text + 8c40 │ │ │ │ │ -0000000000008d24 0000003900000002 R_X86_64_PC32 00000000000002fc .Lr71o_bytes - 4 │ │ │ │ │ +0000000000008d24 0000003900000002 R_X86_64_PC32 00000000000002fc .Lr7DG_bytes - 4 │ │ │ │ │ 0000000000008d54 000001dd00000002 R_X86_64_PC32 0000000000000000 base_GHCziShow_zdwzdcshowsPrec15_closure - 4 │ │ │ │ │ 0000000000008d6e 000000010000000b R_X86_64_32S 0000000000000000 .text + 8ce0 │ │ │ │ │ 0000000000008d81 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 0000000000008d8a 000001660000000b R_X86_64_32S 0000000000000000 base_GHCziShow_zdfShowZLz2cUZR3_closure + 1 │ │ │ │ │ 0000000000008dbc 000001fe00000002 R_X86_64_PC32 0000000000000000 base_GHCziFloat_zdfShowDouble2_closure - 4 │ │ │ │ │ 0000000000008dcd 000001640000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 0000000000008ddc 0000016b00000002 R_X86_64_PC32 0000000000000000 stg_INTLIKE_closure + 1ad │ │ │ │ │ 0000000000008de3 000001fe00000002 R_X86_64_PC32 0000000000000000 base_GHCziFloat_zdfShowDouble2_closure - 3 │ │ │ │ │ 0000000000008e46 000000010000000b R_X86_64_32S 0000000000000000 .text + 8e08 │ │ │ │ │ -0000000000008e5b 0000003a00000002 R_X86_64_PC32 000000000000030c .Lr71n_bytes - 4 │ │ │ │ │ +0000000000008e5b 0000003a00000002 R_X86_64_PC32 000000000000030c .Lr7DF_bytes - 4 │ │ │ │ │ 0000000000008ea2 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 0000000000008eab 000001630000000b R_X86_64_32S 0000000000000000 base_GHCziShow_zdfShowZLz2cUZR1_closure + 1 │ │ │ │ │ 0000000000008efa 000001640000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 0000000000008f0f 000000010000000b R_X86_64_32S 0000000000000000 .text + 8e88 │ │ │ │ │ -0000000000008f24 0000003a00000002 R_X86_64_PC32 000000000000030c .Lr71n_bytes - 4 │ │ │ │ │ +0000000000008f24 0000003a00000002 R_X86_64_PC32 000000000000030c .Lr7DF_bytes - 4 │ │ │ │ │ 0000000000008f6e 000000010000000b R_X86_64_32S 0000000000000000 .text + 8ee0 │ │ │ │ │ 0000000000008f81 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 0000000000008f8a 000001660000000b R_X86_64_32S 0000000000000000 base_GHCziShow_zdfShowZLz2cUZR3_closure + 1 │ │ │ │ │ 0000000000008fd5 000000010000000b R_X86_64_32S 0000000000000000 .text + 9000 │ │ │ │ │ 0000000000009019 0000007c00000002 R_X86_64_PC32 0000000000000462 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdfReadBoolConst13_bytes - 4 │ │ │ │ │ 000000000000902c 0000007d00000002 R_X86_64_PC32 0000000000000471 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdfReadBoolConst17_bytes - 4 │ │ │ │ │ 000000000000903f 0000007b00000002 R_X86_64_PC32 0000000000000455 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdfReadBoolConst9_bytes - 4 │ │ │ │ │ 000000000000909e 000000010000000b R_X86_64_32S 0000000000000000 .text + 9060 │ │ │ │ │ -00000000000090b3 0000003b00000002 R_X86_64_PC32 000000000000031c .Lr71m_bytes - 4 │ │ │ │ │ +00000000000090b3 0000003b00000002 R_X86_64_PC32 000000000000031c .Lr7DE_bytes - 4 │ │ │ │ │ 00000000000090fa 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 0000000000009103 000001630000000b R_X86_64_32S 0000000000000000 base_GHCziShow_zdfShowZLz2cUZR1_closure + 1 │ │ │ │ │ 0000000000009152 000001640000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 0000000000009167 000000010000000b R_X86_64_32S 0000000000000000 .text + 90e0 │ │ │ │ │ -000000000000917c 0000003b00000002 R_X86_64_PC32 000000000000031c .Lr71m_bytes - 4 │ │ │ │ │ +000000000000917c 0000003b00000002 R_X86_64_PC32 000000000000031c .Lr7DE_bytes - 4 │ │ │ │ │ 00000000000091c6 000000010000000b R_X86_64_32S 0000000000000000 .text + 9138 │ │ │ │ │ 00000000000091d9 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 00000000000091e2 000001660000000b R_X86_64_32S 0000000000000000 base_GHCziShow_zdfShowZLz2cUZR3_closure + 1 │ │ │ │ │ 0000000000009214 000001ca00000002 R_X86_64_PC32 0000000000000e98 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec2_closure - 4 │ │ │ │ │ 0000000000009244 000001ca00000002 R_X86_64_PC32 0000000000000e98 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec2_closure - 4 │ │ │ │ │ 000000000000925e 000000010000000b R_X86_64_32S 0000000000000000 .text + 9218 │ │ │ │ │ -0000000000009273 0000003c00000002 R_X86_64_PC32 000000000000032c .Lr71l_bytes - 4 │ │ │ │ │ +0000000000009273 0000003c00000002 R_X86_64_PC32 000000000000032c .Lr7DD_bytes - 4 │ │ │ │ │ 000000000000929c 000001ca00000002 R_X86_64_PC32 0000000000000e98 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec2_closure - 4 │ │ │ │ │ 00000000000092ba 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 00000000000092c3 000001630000000b R_X86_64_32S 0000000000000000 base_GHCziShow_zdfShowZLz2cUZR1_closure + 1 │ │ │ │ │ 00000000000092fc 000001ca00000002 R_X86_64_PC32 0000000000000e98 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec2_closure - 4 │ │ │ │ │ 000000000000931a 000001640000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 000000000000932f 000000010000000b R_X86_64_32S 0000000000000000 .text + 92a0 │ │ │ │ │ -0000000000009344 0000003c00000002 R_X86_64_PC32 000000000000032c .Lr71l_bytes - 4 │ │ │ │ │ +0000000000009344 0000003c00000002 R_X86_64_PC32 000000000000032c .Lr7DD_bytes - 4 │ │ │ │ │ 0000000000009374 000001ca00000002 R_X86_64_PC32 0000000000000e98 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec2_closure - 4 │ │ │ │ │ 000000000000938e 000000010000000b R_X86_64_32S 0000000000000000 .text + 9300 │ │ │ │ │ 00000000000093a1 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 00000000000093aa 000001660000000b R_X86_64_32S 0000000000000000 base_GHCziShow_zdfShowZLz2cUZR3_closure + 1 │ │ │ │ │ 00000000000093dc 000001fc00000002 R_X86_64_PC32 0000000000001450 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec1_closure - 4 │ │ │ │ │ 00000000000093ed 000001640000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 00000000000093f9 000000010000000b R_X86_64_32S 0000000000000000 .text + 9420 │ │ │ │ │ 000000000000941c 000001fc00000002 R_X86_64_PC32 0000000000001450 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec1_closure - 4 │ │ │ │ │ 0000000000009455 000001640000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 00000000000094b3 000000010000000b R_X86_64_32S 0000000000000000 .text + 9448 │ │ │ │ │ 00000000000094c6 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 00000000000094cf 000001e10000000b R_X86_64_32S 0000000000000000 base_GHCziShow_showSpace1_closure + 1 │ │ │ │ │ 00000000000094e0 000000010000000b R_X86_64_32S 0000000000000000 .text + 9510 │ │ │ │ │ 0000000000009562 000000010000000b R_X86_64_32S 0000000000000000 .text + 9488 │ │ │ │ │ -000000000000957c 0000003d00000002 R_X86_64_PC32 000000000000033c .Lr71k_bytes - 4 │ │ │ │ │ +000000000000957c 0000003d00000002 R_X86_64_PC32 000000000000033c .Lr7DC_bytes - 4 │ │ │ │ │ 00000000000095c2 000001640000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 00000000000095d7 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 00000000000095e0 000001630000000b R_X86_64_32S 0000000000000000 base_GHCziShow_zdfShowZLz2cUZR1_closure + 1 │ │ │ │ │ 0000000000009643 000000010000000b R_X86_64_32S 0000000000000000 .text + 95a8 │ │ │ │ │ 0000000000009656 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 000000000000965f 000001e10000000b R_X86_64_32S 0000000000000000 base_GHCziShow_showSpace1_closure + 1 │ │ │ │ │ 0000000000009670 000000010000000b R_X86_64_32S 0000000000000000 .text + 9698 │ │ │ │ │ 00000000000096e2 000001640000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 00000000000096fb 000000010000000b R_X86_64_32S 0000000000000000 .text + 9618 │ │ │ │ │ -0000000000009715 0000003d00000002 R_X86_64_PC32 000000000000033c .Lr71k_bytes - 4 │ │ │ │ │ +0000000000009715 0000003d00000002 R_X86_64_PC32 000000000000033c .Lr7DC_bytes - 4 │ │ │ │ │ 000000000000976a 000000010000000b R_X86_64_32S 0000000000000000 .text + 96c8 │ │ │ │ │ 0000000000009782 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 000000000000978b 000001660000000b R_X86_64_32S 0000000000000000 base_GHCziShow_zdfShowZLz2cUZR3_closure + 1 │ │ │ │ │ 00000000000097bc 000001fc00000002 R_X86_64_PC32 0000000000001450 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec1_closure - 4 │ │ │ │ │ 00000000000097cd 000001640000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 00000000000097d9 000000010000000b R_X86_64_32S 0000000000000000 .text + 9800 │ │ │ │ │ 00000000000097fc 000001fc00000002 R_X86_64_PC32 0000000000001450 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec1_closure - 4 │ │ │ │ │ @@ -890,29 +890,29 @@ │ │ │ │ │ 0000000000009916 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 000000000000991f 000001e10000000b R_X86_64_32S 0000000000000000 base_GHCziShow_showSpace1_closure + 1 │ │ │ │ │ 0000000000009937 0000016b00000002 R_X86_64_PC32 0000000000000000 stg_INTLIKE_closure + 1ad │ │ │ │ │ 000000000000998a 000000010000000b R_X86_64_32S 0000000000000000 .text + 98d0 │ │ │ │ │ 00000000000099a2 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 00000000000099ab 000001e10000000b R_X86_64_32S 0000000000000000 base_GHCziShow_showSpace1_closure + 1 │ │ │ │ │ 0000000000009a0e 000000010000000b R_X86_64_32S 0000000000000000 .text + 9968 │ │ │ │ │ -0000000000009a2d 0000003e00000002 R_X86_64_PC32 00000000000002a3 .Lr71u_bytes - 4 │ │ │ │ │ +0000000000009a2d 0000003e00000002 R_X86_64_PC32 00000000000002a3 .Lr7DM_bytes - 4 │ │ │ │ │ 0000000000009a72 000001640000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 0000000000009a87 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 0000000000009a90 000001630000000b R_X86_64_32S 0000000000000000 base_GHCziShow_zdfShowZLz2cUZR1_closure + 1 │ │ │ │ │ 0000000000009ae2 000001640000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 0000000000009afb 000000010000000b R_X86_64_32S 0000000000000000 .text + 9a58 │ │ │ │ │ 0000000000009b0e 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 0000000000009b17 000001e10000000b R_X86_64_32S 0000000000000000 base_GHCziShow_showSpace1_closure + 1 │ │ │ │ │ 0000000000009b2f 0000016b00000002 R_X86_64_PC32 0000000000000000 stg_INTLIKE_closure + 1ad │ │ │ │ │ 0000000000009b82 000000010000000b R_X86_64_32S 0000000000000000 .text + 9ac8 │ │ │ │ │ 0000000000009b9a 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 0000000000009ba3 000001e10000000b R_X86_64_32S 0000000000000000 base_GHCziShow_showSpace1_closure + 1 │ │ │ │ │ 0000000000009bfa 000001640000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 0000000000009c17 000000010000000b R_X86_64_32S 0000000000000000 .text + 9b60 │ │ │ │ │ -0000000000009c36 0000003e00000002 R_X86_64_PC32 00000000000002a3 .Lr71u_bytes - 4 │ │ │ │ │ +0000000000009c36 0000003e00000002 R_X86_64_PC32 00000000000002a3 .Lr7DM_bytes - 4 │ │ │ │ │ 0000000000009c8e 000000010000000b R_X86_64_32S 0000000000000000 .text + 9be0 │ │ │ │ │ 0000000000009cab 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 0000000000009cb4 000001660000000b R_X86_64_32S 0000000000000000 base_GHCziShow_zdfShowZLz2cUZR3_closure + 1 │ │ │ │ │ 0000000000009ce4 000001fc00000002 R_X86_64_PC32 0000000000001450 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec1_closure - 4 │ │ │ │ │ 0000000000009cf5 000001640000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 0000000000009d01 000000010000000b R_X86_64_32S 0000000000000000 .text + 9d28 │ │ │ │ │ 0000000000009d24 000001fc00000002 R_X86_64_PC32 0000000000001450 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec1_closure - 4 │ │ │ │ │ @@ -936,15 +936,15 @@ │ │ │ │ │ 0000000000009ff3 000001e10000000b R_X86_64_32S 0000000000000000 base_GHCziShow_showSpace1_closure + 1 │ │ │ │ │ 000000000000a008 0000009000000002 R_X86_64_PC32 000000000000053c ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdfReadOp2Pre8_bytes - 4 │ │ │ │ │ 000000000000a037 000000010000000b R_X86_64_32S 0000000000000000 .text + 9df8 │ │ │ │ │ 000000000000a04f 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 000000000000a058 000001e10000000b R_X86_64_32S 0000000000000000 base_GHCziShow_showSpace1_closure + 1 │ │ │ │ │ 000000000000a06d 0000009100000002 R_X86_64_PC32 0000000000000542 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdfReadOp2Pre12_bytes - 4 │ │ │ │ │ 000000000000a0b6 000000010000000b R_X86_64_32S 0000000000000000 .text + 9f58 │ │ │ │ │ -000000000000a0d5 0000003f00000002 R_X86_64_PC32 00000000000002b2 .Lr71t_bytes - 4 │ │ │ │ │ +000000000000a0d5 0000003f00000002 R_X86_64_PC32 00000000000002b2 .Lr7DL_bytes - 4 │ │ │ │ │ 000000000000a11a 000001640000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 000000000000a12f 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 000000000000a138 000001630000000b R_X86_64_32S 0000000000000000 base_GHCziShow_zdfShowZLz2cUZR1_closure + 1 │ │ │ │ │ 000000000000a18e 000000010000000b R_X86_64_32S 0000000000000000 .text + a100 │ │ │ │ │ 000000000000a1a1 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 000000000000a1aa 000001660000000b R_X86_64_32S 0000000000000000 base_GHCziShow_zdfShowZLz2cUZR3_closure + 1 │ │ │ │ │ 000000000000a1dc 000001fc00000002 R_X86_64_PC32 0000000000001450 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec1_closure - 4 │ │ │ │ │ @@ -963,15 +963,15 @@ │ │ │ │ │ 000000000000a38b 000000010000000b R_X86_64_32S 0000000000000000 .text + a288 │ │ │ │ │ 000000000000a3a3 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 000000000000a3ac 000001e10000000b R_X86_64_32S 0000000000000000 base_GHCziShow_showSpace1_closure + 1 │ │ │ │ │ 000000000000a3bd 000000010000000b R_X86_64_32S 0000000000000000 .text + a3e8 │ │ │ │ │ 000000000000a3e4 000001df00000002 R_X86_64_PC32 0000000000001080 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec3_closure - 4 │ │ │ │ │ 000000000000a424 000001df00000002 R_X86_64_PC32 0000000000001080 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec3_closure - 4 │ │ │ │ │ 000000000000a446 000000010000000b R_X86_64_32S 0000000000000000 .text + a358 │ │ │ │ │ -000000000000a465 0000004000000002 R_X86_64_PC32 00000000000002c2 .Lr71s_bytes - 4 │ │ │ │ │ +000000000000a465 0000004000000002 R_X86_64_PC32 00000000000002c2 .Lr7DK_bytes - 4 │ │ │ │ │ 000000000000a4aa 000001640000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 000000000000a4bf 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 000000000000a4c8 000001630000000b R_X86_64_32S 0000000000000000 base_GHCziShow_zdfShowZLz2cUZR1_closure + 1 │ │ │ │ │ 000000000000a4fc 000001df00000002 R_X86_64_PC32 0000000000001080 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec3_closure - 4 │ │ │ │ │ 000000000000a522 000001640000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 000000000000a53b 000000010000000b R_X86_64_32S 0000000000000000 .text + a490 │ │ │ │ │ 000000000000a54e 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ @@ -983,15 +983,15 @@ │ │ │ │ │ 000000000000a613 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 000000000000a61c 000001e10000000b R_X86_64_32S 0000000000000000 base_GHCziShow_showSpace1_closure + 1 │ │ │ │ │ 000000000000a62d 000000010000000b R_X86_64_32S 0000000000000000 .text + a658 │ │ │ │ │ 000000000000a654 000001df00000002 R_X86_64_PC32 0000000000001080 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec3_closure - 4 │ │ │ │ │ 000000000000a68c 000001df00000002 R_X86_64_PC32 0000000000001080 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec3_closure - 4 │ │ │ │ │ 000000000000a6aa 000001640000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 000000000000a6c7 000000010000000b R_X86_64_32S 0000000000000000 .text + a5c8 │ │ │ │ │ -000000000000a6e6 0000004000000002 R_X86_64_PC32 00000000000002c2 .Lr71s_bytes - 4 │ │ │ │ │ +000000000000a6e6 0000004000000002 R_X86_64_PC32 00000000000002c2 .Lr7DK_bytes - 4 │ │ │ │ │ 000000000000a71c 000001df00000002 R_X86_64_PC32 0000000000001080 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec3_closure - 4 │ │ │ │ │ 000000000000a73e 000000010000000b R_X86_64_32S 0000000000000000 .text + a690 │ │ │ │ │ 000000000000a75b 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 000000000000a764 000001660000000b R_X86_64_32S 0000000000000000 base_GHCziShow_zdfShowZLz2cUZR3_closure + 1 │ │ │ │ │ 000000000000a794 000001fc00000002 R_X86_64_PC32 0000000000001450 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec1_closure - 4 │ │ │ │ │ 000000000000a7a5 000001640000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 000000000000a7b1 000000010000000b R_X86_64_32S 0000000000000000 .text + a7d8 │ │ │ │ │ @@ -1008,15 +1008,15 @@ │ │ │ │ │ 000000000000a943 000000010000000b R_X86_64_32S 0000000000000000 .text + a840 │ │ │ │ │ 000000000000a95b 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 000000000000a964 000001e10000000b R_X86_64_32S 0000000000000000 base_GHCziShow_showSpace1_closure + 1 │ │ │ │ │ 000000000000a975 000000010000000b R_X86_64_32S 0000000000000000 .text + a9a0 │ │ │ │ │ 000000000000a99c 000001df00000002 R_X86_64_PC32 0000000000001080 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec3_closure - 4 │ │ │ │ │ 000000000000a9dc 000001df00000002 R_X86_64_PC32 0000000000001080 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec3_closure - 4 │ │ │ │ │ 000000000000a9fe 000000010000000b R_X86_64_32S 0000000000000000 .text + a910 │ │ │ │ │ -000000000000aa1d 0000004100000002 R_X86_64_PC32 00000000000002d1 .Lr71r_bytes - 4 │ │ │ │ │ +000000000000aa1d 0000004100000002 R_X86_64_PC32 00000000000002d1 .Lr7DJ_bytes - 4 │ │ │ │ │ 000000000000aa62 000001640000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 000000000000aa77 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 000000000000aa80 000001630000000b R_X86_64_32S 0000000000000000 base_GHCziShow_zdfShowZLz2cUZR1_closure + 1 │ │ │ │ │ 000000000000aab4 000001df00000002 R_X86_64_PC32 0000000000001080 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec3_closure - 4 │ │ │ │ │ 000000000000aada 000001640000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 000000000000aaf3 000000010000000b R_X86_64_32S 0000000000000000 .text + aa48 │ │ │ │ │ 000000000000ab06 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ @@ -1028,15 +1028,15 @@ │ │ │ │ │ 000000000000abcb 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 000000000000abd4 000001e10000000b R_X86_64_32S 0000000000000000 base_GHCziShow_showSpace1_closure + 1 │ │ │ │ │ 000000000000abe5 000000010000000b R_X86_64_32S 0000000000000000 .text + ac10 │ │ │ │ │ 000000000000ac0c 000001df00000002 R_X86_64_PC32 0000000000001080 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec3_closure - 4 │ │ │ │ │ 000000000000ac44 000001df00000002 R_X86_64_PC32 0000000000001080 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec3_closure - 4 │ │ │ │ │ 000000000000ac62 000001640000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 000000000000ac7f 000000010000000b R_X86_64_32S 0000000000000000 .text + ab80 │ │ │ │ │ -000000000000ac9e 0000004100000002 R_X86_64_PC32 00000000000002d1 .Lr71r_bytes - 4 │ │ │ │ │ +000000000000ac9e 0000004100000002 R_X86_64_PC32 00000000000002d1 .Lr7DJ_bytes - 4 │ │ │ │ │ 000000000000acd4 000001df00000002 R_X86_64_PC32 0000000000001080 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec3_closure - 4 │ │ │ │ │ 000000000000acf6 000000010000000b R_X86_64_32S 0000000000000000 .text + ac48 │ │ │ │ │ 000000000000ad13 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 000000000000ad1c 000001660000000b R_X86_64_32S 0000000000000000 base_GHCziShow_zdfShowZLz2cUZR3_closure + 1 │ │ │ │ │ 000000000000ad4c 000001fc00000002 R_X86_64_PC32 0000000000001450 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec1_closure - 4 │ │ │ │ │ 000000000000ad5d 000001640000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 000000000000ad69 000000010000000b R_X86_64_32S 0000000000000000 .text + ad90 │ │ │ │ │ @@ -1061,15 +1061,15 @@ │ │ │ │ │ 000000000000afff 000000010000000b R_X86_64_32S 0000000000000000 .text + aef0 │ │ │ │ │ 000000000000b01c 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 000000000000b025 000001e10000000b R_X86_64_32S 0000000000000000 base_GHCziShow_showSpace1_closure + 1 │ │ │ │ │ 000000000000b036 000000010000000b R_X86_64_32S 0000000000000000 .text + b060 │ │ │ │ │ 000000000000b05c 000001df00000002 R_X86_64_PC32 0000000000001080 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec3_closure - 4 │ │ │ │ │ 000000000000b09c 000001df00000002 R_X86_64_PC32 0000000000001080 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec3_closure - 4 │ │ │ │ │ 000000000000b0c2 000000010000000b R_X86_64_32S 0000000000000000 .text + afc8 │ │ │ │ │ -000000000000b0e6 0000004200000002 R_X86_64_PC32 00000000000002e0 .Lr71q_bytes - 4 │ │ │ │ │ +000000000000b0e6 0000004200000002 R_X86_64_PC32 00000000000002e0 .Lr7DI_bytes - 4 │ │ │ │ │ 000000000000b12a 000001640000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 000000000000b13f 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 000000000000b148 000001630000000b R_X86_64_32S 0000000000000000 base_GHCziShow_zdfShowZLz2cUZR1_closure + 1 │ │ │ │ │ 000000000000b19a 000001640000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 000000000000b1b3 000000010000000b R_X86_64_32S 0000000000000000 .text + b110 │ │ │ │ │ 000000000000b1c6 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 000000000000b1cf 000001e10000000b R_X86_64_32S 0000000000000000 base_GHCziShow_showSpace1_closure + 1 │ │ │ │ │ @@ -1085,15 +1085,15 @@ │ │ │ │ │ 000000000000b33c 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 000000000000b345 000001e10000000b R_X86_64_32S 0000000000000000 base_GHCziShow_showSpace1_closure + 1 │ │ │ │ │ 000000000000b356 000000010000000b R_X86_64_32S 0000000000000000 .text + b380 │ │ │ │ │ 000000000000b37c 000001df00000002 R_X86_64_PC32 0000000000001080 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec3_closure - 4 │ │ │ │ │ 000000000000b3b4 000001df00000002 R_X86_64_PC32 0000000000001080 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec3_closure - 4 │ │ │ │ │ 000000000000b3d2 000001640000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 000000000000b3f3 000000010000000b R_X86_64_32S 0000000000000000 .text + b2e8 │ │ │ │ │ -000000000000b417 0000004200000002 R_X86_64_PC32 00000000000002e0 .Lr71q_bytes - 4 │ │ │ │ │ +000000000000b417 0000004200000002 R_X86_64_PC32 00000000000002e0 .Lr7DI_bytes - 4 │ │ │ │ │ 000000000000b44c 000001df00000002 R_X86_64_PC32 0000000000001080 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec3_closure - 4 │ │ │ │ │ 000000000000b472 000000010000000b R_X86_64_32S 0000000000000000 .text + b3b8 │ │ │ │ │ 000000000000b494 000001620000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 000000000000b49d 000001660000000b R_X86_64_32S 0000000000000000 base_GHCziShow_zdfShowZLz2cUZR3_closure + 1 │ │ │ │ │ 000000000000b4f2 0000000400000002 R_X86_64_PC32 0000000000000000 .rodata + 134 │ │ │ │ │ 000000000000b519 000000010000000b R_X86_64_32S 0000000000000000 .text + 8958 │ │ │ │ │ 000000000000b532 000000010000000b R_X86_64_32S 0000000000000000 .text + 8b10 │ │ │ │ ├── strings --all --bytes=8 {} │ │ │ │ │ @@ -177,32 +177,32 @@ │ │ │ │ │ idOJ_str │ │ │ │ │ idOO_str │ │ │ │ │ idOT_str │ │ │ │ │ idOY_str │ │ │ │ │ idP3_str │ │ │ │ │ idP8_str │ │ │ │ │ idPd_str │ │ │ │ │ -.Lr70s_bytes │ │ │ │ │ -.Lr70t_bytes │ │ │ │ │ -.Lr70v_bytes │ │ │ │ │ -.Lr70L_bytes │ │ │ │ │ -.Lr70K_bytes │ │ │ │ │ -.Lr70J_bytes │ │ │ │ │ -.Lr70M_bytes │ │ │ │ │ -.Lr71p_bytes │ │ │ │ │ -.Lr71o_bytes │ │ │ │ │ -.Lr71n_bytes │ │ │ │ │ -.Lr71m_bytes │ │ │ │ │ -.Lr71l_bytes │ │ │ │ │ -.Lr71k_bytes │ │ │ │ │ -.Lr71u_bytes │ │ │ │ │ -.Lr71t_bytes │ │ │ │ │ -.Lr71s_bytes │ │ │ │ │ -.Lr71r_bytes │ │ │ │ │ -.Lr71q_bytes │ │ │ │ │ +.Lr7CK_bytes │ │ │ │ │ +.Lr7CL_bytes │ │ │ │ │ +.Lr7CN_bytes │ │ │ │ │ +.Lr7D3_bytes │ │ │ │ │ +.Lr7D2_bytes │ │ │ │ │ +.Lr7D1_bytes │ │ │ │ │ +.Lr7D4_bytes │ │ │ │ │ +.Lr7DH_bytes │ │ │ │ │ +.Lr7DG_bytes │ │ │ │ │ +.Lr7DF_bytes │ │ │ │ │ +.Lr7DE_bytes │ │ │ │ │ +.Lr7DD_bytes │ │ │ │ │ +.Lr7DC_bytes │ │ │ │ │ +.Lr7DM_bytes │ │ │ │ │ +.Lr7DL_bytes │ │ │ │ │ +.Lr7DK_bytes │ │ │ │ │ +.Lr7DJ_bytes │ │ │ │ │ +.Lr7DI_bytes │ │ │ │ │ ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdtczqBoolSpecSignal3_bytes │ │ │ │ │ ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdtczqBoolSpecConstI3_bytes │ │ │ │ │ ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdtczqBoolSpecOp2HT3_bytes │ │ │ │ │ ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdtczqBoolSpecOp2OT2_bytes │ │ │ │ │ ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdtczqBoolSpecOp2ST3_bytes │ │ │ │ │ ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdtczqBoolSpecOp2Pre3_bytes │ │ │ │ │ ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdtczqBoolSpecOp2In3_bytes │ │ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {} │ │ │ │ │ @@ -224,15 +224,15 @@ │ │ │ │ │ add $0x8,%rsp │ │ │ │ │ test %rax,%rax │ │ │ │ │ je 2aa │ │ │ │ │ movq $0x0,-0x10(%rbp) │ │ │ │ │ R_X86_64_32S stg_bh_upd_frame_info │ │ │ │ │ mov %rax,-0x8(%rbp) │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .Lr70s_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .Lr7CK_bytes-0x4 │ │ │ │ │ add $0xfffffffffffffff0,%rbp │ │ │ │ │ jmp 2aa │ │ │ │ │ R_X86_64_PLT32 base_ControlziExceptionziBase_patError_info-0x4 │ │ │ │ │ jmp *(%rbx) │ │ │ │ │ jmp *-0x10(%r13) │ │ │ │ │ sldt (%rax) │ │ │ │ │ add %al,(%rdx) │ │ │ │ │ @@ -603,15 +603,15 @@ │ │ │ │ │ add $0x8,%rsp │ │ │ │ │ test %rax,%rax │ │ │ │ │ je 75a │ │ │ │ │ movq $0x0,-0x10(%rbp) │ │ │ │ │ R_X86_64_32S stg_bh_upd_frame_info │ │ │ │ │ mov %rax,-0x8(%rbp) │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .Lr70t_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .Lr7CL_bytes-0x4 │ │ │ │ │ add $0xfffffffffffffff0,%rbp │ │ │ │ │ jmp 75a │ │ │ │ │ R_X86_64_PLT32 base_ControlziExceptionziBase_patError_info-0x4 │ │ │ │ │ jmp *(%rbx) │ │ │ │ │ jmp *-0x10(%r13) │ │ │ │ │ sldt (%rax) │ │ │ │ │ add %al,(%rdx) │ │ │ │ │ @@ -1059,15 +1059,15 @@ │ │ │ │ │ add $0x8,%rsp │ │ │ │ │ test %rax,%rax │ │ │ │ │ je cb2 │ │ │ │ │ movq $0x0,-0x10(%rbp) │ │ │ │ │ R_X86_64_32S stg_bh_upd_frame_info │ │ │ │ │ mov %rax,-0x8(%rbp) │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .Lr70v_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .Lr7CN_bytes-0x4 │ │ │ │ │ add $0xfffffffffffffff0,%rbp │ │ │ │ │ jmp cb2 │ │ │ │ │ R_X86_64_PLT32 base_ControlziExceptionziBase_patError_info-0x4 │ │ │ │ │ jmp *(%rbx) │ │ │ │ │ jmp *-0x10(%r13) │ │ │ │ │ sldt (%rax) │ │ │ │ │ add %al,(%rdx) │ │ │ │ │ @@ -9923,15 +9923,15 @@ │ │ │ │ │ mov 0x18(%rbx),%rbx │ │ │ │ │ movq $0x0,-0x18(%r12) │ │ │ │ │ R_X86_64_32S .text+0x7548 │ │ │ │ │ mov %rax,-0x8(%r12) │ │ │ │ │ mov %rbx,(%r12) │ │ │ │ │ lea -0x18(%r12),%rsi │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .Lr70L_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .Lr7D3_bytes-0x4 │ │ │ │ │ add $0xfffffffffffffff0,%rbp │ │ │ │ │ jmp 7639 │ │ │ │ │ R_X86_64_PLT32 ghczmprim_GHCziCString_unpackAppendCStringzh_info-0x4 │ │ │ │ │ movq $0x20,0x388(%r13) │ │ │ │ │ jmp *-0x10(%r13) │ │ │ │ │ add (%rax),%al │ │ │ │ │ add %al,(%rax) │ │ │ │ │ @@ -9995,15 +9995,15 @@ │ │ │ │ │ mov 0x18(%rbx),%rbx │ │ │ │ │ movq $0x0,-0x18(%r12) │ │ │ │ │ R_X86_64_32S .text+0x7680 │ │ │ │ │ mov %rax,-0x8(%r12) │ │ │ │ │ mov %rbx,(%r12) │ │ │ │ │ lea -0x18(%r12),%rsi │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .Lr70K_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .Lr7D2_bytes-0x4 │ │ │ │ │ add $0xfffffffffffffff0,%rbp │ │ │ │ │ jmp 7731 │ │ │ │ │ R_X86_64_PLT32 ghczmprim_GHCziCString_unpackAppendCStringzh_info-0x4 │ │ │ │ │ movq $0x20,0x388(%r13) │ │ │ │ │ jmp *-0x10(%r13) │ │ │ │ │ add (%rax),%al │ │ │ │ │ add %al,(%rax) │ │ │ │ │ @@ -10115,15 +10115,15 @@ │ │ │ │ │ mov 0x18(%rbx),%rbx │ │ │ │ │ movq $0x0,-0x18(%r12) │ │ │ │ │ R_X86_64_32S .text+0x77b8 │ │ │ │ │ mov %rax,-0x8(%r12) │ │ │ │ │ mov %rbx,(%r12) │ │ │ │ │ lea -0x18(%r12),%rsi │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .Lr70J_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .Lr7D1_bytes-0x4 │ │ │ │ │ add $0xfffffffffffffff0,%rbp │ │ │ │ │ jmp 78a9 │ │ │ │ │ R_X86_64_PLT32 ghczmprim_GHCziCString_unpackAppendCStringzh_info-0x4 │ │ │ │ │ movq $0x20,0x388(%r13) │ │ │ │ │ jmp *-0x10(%r13) │ │ │ │ │ add $0x1000000,%eax │ │ │ │ │ add %al,(%rax) │ │ │ │ │ @@ -10491,15 +10491,15 @@ │ │ │ │ │ R_X86_64_32S .text+0x7c78 │ │ │ │ │ mov %rax,-0x18(%r12) │ │ │ │ │ mov %rcx,-0x10(%r12) │ │ │ │ │ mov %rdx,-0x8(%r12) │ │ │ │ │ mov %rbx,(%r12) │ │ │ │ │ lea -0x28(%r12),%rsi │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .Lr70M_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .Lr7D4_bytes-0x4 │ │ │ │ │ add $0xfffffffffffffff0,%rbp │ │ │ │ │ jmp 7da3 │ │ │ │ │ R_X86_64_PLT32 ghczmprim_GHCziCString_unpackAppendCStringzh_info-0x4 │ │ │ │ │ movq $0x30,0x388(%r13) │ │ │ │ │ jmp *-0x10(%r13) │ │ │ │ │ nopw 0x0(%rax,%rax,1) │ │ │ │ │ adc (%rax),%eax │ │ │ │ │ @@ -10562,15 +10562,15 @@ │ │ │ │ │ mov %rbx,-0x28(%r12) │ │ │ │ │ mov %rcx,-0x20(%r12) │ │ │ │ │ mov %rdx,-0x18(%r12) │ │ │ │ │ lea -0x40(%r12),%rax │ │ │ │ │ add $0xffffffffffffffe8,%r12 │ │ │ │ │ mov %rax,%rsi │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .Lr70M_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .Lr7D4_bytes-0x4 │ │ │ │ │ jmp 7eab │ │ │ │ │ R_X86_64_PLT32 ghczmprim_GHCziCString_unpackAppendCStringzh_info-0x4 │ │ │ │ │ cmp $0x2,%rax │ │ │ │ │ jae 8015 │ │ │ │ │ mov %rsi,%rbx │ │ │ │ │ mov %rdi,%rcx │ │ │ │ │ mov %r14,%rax │ │ │ │ │ @@ -10596,15 +10596,15 @@ │ │ │ │ │ R_X86_64_32S .text+0x74e0 │ │ │ │ │ mov %rbx,-0x20(%r12) │ │ │ │ │ mov %rcx,-0x18(%r12) │ │ │ │ │ lea -0x30(%r12),%rax │ │ │ │ │ add $0xffffffffffffffe8,%r12 │ │ │ │ │ mov %rax,%rsi │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .Lr70L_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .Lr7D3_bytes-0x4 │ │ │ │ │ jmp 7f3a │ │ │ │ │ R_X86_64_PLT32 ghczmprim_GHCziCString_unpackAppendCStringzh_info-0x4 │ │ │ │ │ lea 0x0(%rip),%rbx │ │ │ │ │ R_X86_64_PC32 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_zdwzdcshowsPrec3_closure-0x4 │ │ │ │ │ jmp *-0x8(%r13) │ │ │ │ │ nopl (%rax) │ │ │ │ │ rex.X add %al,(%rax) │ │ │ │ │ @@ -10644,15 +10644,15 @@ │ │ │ │ │ R_X86_64_32S .text+0x7750 │ │ │ │ │ mov %rax,-0x20(%r12) │ │ │ │ │ mov %rdi,-0x18(%r12) │ │ │ │ │ lea -0x30(%r12),%rax │ │ │ │ │ add $0xffffffffffffffe8,%r12 │ │ │ │ │ mov %rax,%rsi │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .Lr70J_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .Lr7D1_bytes-0x4 │ │ │ │ │ jmp 7fe9 │ │ │ │ │ R_X86_64_PLT32 ghczmprim_GHCziCString_unpackAppendCStringzh_info-0x4 │ │ │ │ │ nopl 0x0(%rax) │ │ │ │ │ rex.X add %al,(%rax) │ │ │ │ │ add %al,(%rax) │ │ │ │ │ add %al,(%rax) │ │ │ │ │ add %bl,(%rsi) │ │ │ │ │ @@ -10689,15 +10689,15 @@ │ │ │ │ │ R_X86_64_32S .text+0x7658 │ │ │ │ │ mov %rax,-0x20(%r12) │ │ │ │ │ mov %rdi,-0x18(%r12) │ │ │ │ │ lea -0x30(%r12),%rax │ │ │ │ │ add $0xffffffffffffffe8,%r12 │ │ │ │ │ mov %rax,%rsi │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .Lr70K_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .Lr7D2_bytes-0x4 │ │ │ │ │ jmp 8091 │ │ │ │ │ R_X86_64_PLT32 ghczmprim_GHCziCString_unpackAppendCStringzh_info-0x4 │ │ │ │ │ movq $0x38,0x388(%r13) │ │ │ │ │ movq $0x0,-0x18(%rbp) │ │ │ │ │ R_X86_64_32S .text+0x8160 │ │ │ │ │ mov %rax,-0x10(%rbp) │ │ │ │ │ mov %rcx,-0x8(%rbp) │ │ │ │ │ @@ -11537,15 +11537,15 @@ │ │ │ │ │ mov 0x7(%rbx),%rax │ │ │ │ │ movq $0x0,-0x18(%r12) │ │ │ │ │ R_X86_64_32S .text+0x89c0 │ │ │ │ │ mov %r14,-0x8(%r12) │ │ │ │ │ mov %rax,(%r12) │ │ │ │ │ lea -0x18(%r12),%rsi │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .Lr71p_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .Lr7DH_bytes-0x4 │ │ │ │ │ jmp 8a1c │ │ │ │ │ R_X86_64_PLT32 ghczmprim_GHCziCString_unpackAppendCStringzh_info-0x4 │ │ │ │ │ movq $0x20,0x388(%r13) │ │ │ │ │ jmp *-0x8(%r13) │ │ │ │ │ nopl 0x0(%rax,%rax,1) │ │ │ │ │ add (%rax),%al │ │ │ │ │ add %al,(%rax) │ │ │ │ │ @@ -11593,15 +11593,15 @@ │ │ │ │ │ mov 0x18(%rbx),%rbx │ │ │ │ │ movq $0x0,-0x18(%r12) │ │ │ │ │ R_X86_64_32S .text+0x8a40 │ │ │ │ │ mov %rax,-0x8(%r12) │ │ │ │ │ mov %rbx,(%r12) │ │ │ │ │ lea -0x18(%r12),%rsi │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .Lr71p_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .Lr7DH_bytes-0x4 │ │ │ │ │ add $0xfffffffffffffff0,%rbp │ │ │ │ │ jmp 8ae9 │ │ │ │ │ R_X86_64_PLT32 ghczmprim_GHCziCString_unpackAppendCStringzh_info-0x4 │ │ │ │ │ movq $0x20,0x388(%r13) │ │ │ │ │ jmp *-0x10(%r13) │ │ │ │ │ add $0x1000000,%eax │ │ │ │ │ add %al,(%rax) │ │ │ │ │ @@ -11696,15 +11696,15 @@ │ │ │ │ │ mov 0x7(%rbx),%rax │ │ │ │ │ movq $0x0,-0x18(%r12) │ │ │ │ │ R_X86_64_32S .text+0x8b78 │ │ │ │ │ mov %rax,-0x8(%r12) │ │ │ │ │ mov %r14,(%r12) │ │ │ │ │ lea -0x18(%r12),%rsi │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .Lr71o_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .Lr7DG_bytes-0x4 │ │ │ │ │ jmp 8c1c │ │ │ │ │ R_X86_64_PLT32 ghczmprim_GHCziCString_unpackAppendCStringzh_info-0x4 │ │ │ │ │ movq $0x20,0x388(%r13) │ │ │ │ │ jmp *-0x8(%r13) │ │ │ │ │ nopl 0x0(%rax,%rax,1) │ │ │ │ │ add (%rax),%al │ │ │ │ │ add %al,(%rax) │ │ │ │ │ @@ -11779,15 +11779,15 @@ │ │ │ │ │ mov 0x18(%rbx),%rbx │ │ │ │ │ movq $0x0,-0x18(%r12) │ │ │ │ │ R_X86_64_32S .text+0x8c40 │ │ │ │ │ mov %rax,-0x8(%r12) │ │ │ │ │ mov %rbx,(%r12) │ │ │ │ │ lea -0x18(%r12),%rsi │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .Lr71o_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .Lr7DG_bytes-0x4 │ │ │ │ │ add $0xfffffffffffffff0,%rbp │ │ │ │ │ jmp 8d31 │ │ │ │ │ R_X86_64_PLT32 ghczmprim_GHCziCString_unpackAppendCStringzh_info-0x4 │ │ │ │ │ movq $0x20,0x388(%r13) │ │ │ │ │ jmp *-0x10(%r13) │ │ │ │ │ add $0x1000000,%eax │ │ │ │ │ add %al,(%rax) │ │ │ │ │ @@ -11881,15 +11881,15 @@ │ │ │ │ │ mov 0x7(%rbx),%rax │ │ │ │ │ movq $0x0,-0x18(%r12) │ │ │ │ │ R_X86_64_32S .text+0x8e08 │ │ │ │ │ mov %r14,-0x8(%r12) │ │ │ │ │ mov %rax,(%r12) │ │ │ │ │ lea -0x18(%r12),%rsi │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .Lr71n_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .Lr7DF_bytes-0x4 │ │ │ │ │ jmp 8e64 │ │ │ │ │ R_X86_64_PLT32 ghczmprim_GHCziCString_unpackAppendCStringzh_info-0x4 │ │ │ │ │ movq $0x20,0x388(%r13) │ │ │ │ │ jmp *-0x8(%r13) │ │ │ │ │ nopl 0x0(%rax,%rax,1) │ │ │ │ │ add (%rax),%al │ │ │ │ │ add %al,(%rax) │ │ │ │ │ @@ -11937,15 +11937,15 @@ │ │ │ │ │ mov 0x18(%rbx),%rbx │ │ │ │ │ movq $0x0,-0x18(%r12) │ │ │ │ │ R_X86_64_32S .text+0x8e88 │ │ │ │ │ mov %rax,-0x8(%r12) │ │ │ │ │ mov %rbx,(%r12) │ │ │ │ │ lea -0x18(%r12),%rsi │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .Lr71n_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .Lr7DF_bytes-0x4 │ │ │ │ │ add $0xfffffffffffffff0,%rbp │ │ │ │ │ jmp 8f31 │ │ │ │ │ R_X86_64_PLT32 ghczmprim_GHCziCString_unpackAppendCStringzh_info-0x4 │ │ │ │ │ movq $0x20,0x388(%r13) │ │ │ │ │ jmp *-0x10(%r13) │ │ │ │ │ add $0x1000000,%eax │ │ │ │ │ add %al,(%rax) │ │ │ │ │ @@ -12068,15 +12068,15 @@ │ │ │ │ │ mov 0x7(%rbx),%rax │ │ │ │ │ movq $0x0,-0x18(%r12) │ │ │ │ │ R_X86_64_32S .text+0x9060 │ │ │ │ │ mov %r14,-0x8(%r12) │ │ │ │ │ mov %rax,(%r12) │ │ │ │ │ lea -0x18(%r12),%rsi │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .Lr71m_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .Lr7DE_bytes-0x4 │ │ │ │ │ jmp 90bc │ │ │ │ │ R_X86_64_PLT32 ghczmprim_GHCziCString_unpackAppendCStringzh_info-0x4 │ │ │ │ │ movq $0x20,0x388(%r13) │ │ │ │ │ jmp *-0x8(%r13) │ │ │ │ │ nopl 0x0(%rax,%rax,1) │ │ │ │ │ add (%rax),%al │ │ │ │ │ add %al,(%rax) │ │ │ │ │ @@ -12123,15 +12123,15 @@ │ │ │ │ │ mov 0x18(%rbx),%rbx │ │ │ │ │ movq $0x0,-0x18(%r12) │ │ │ │ │ R_X86_64_32S .text+0x90e0 │ │ │ │ │ mov %rax,-0x8(%r12) │ │ │ │ │ mov %rbx,(%r12) │ │ │ │ │ lea -0x18(%r12),%rsi │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .Lr71m_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .Lr7DE_bytes-0x4 │ │ │ │ │ add $0xfffffffffffffff0,%rbp │ │ │ │ │ jmp 9189 │ │ │ │ │ R_X86_64_PLT32 ghczmprim_GHCziCString_unpackAppendCStringzh_info-0x4 │ │ │ │ │ movq $0x20,0x388(%r13) │ │ │ │ │ jmp *-0x10(%r13) │ │ │ │ │ add $0x1000000,%eax │ │ │ │ │ add %al,(%rax) │ │ │ │ │ @@ -12201,15 +12201,15 @@ │ │ │ │ │ mov 0x7(%rbx),%rax │ │ │ │ │ movq $0x0,-0x18(%r12) │ │ │ │ │ R_X86_64_32S .text+0x9218 │ │ │ │ │ mov %rax,-0x8(%r12) │ │ │ │ │ mov %r14,(%r12) │ │ │ │ │ lea -0x18(%r12),%rsi │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .Lr71l_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .Lr7DD_bytes-0x4 │ │ │ │ │ jmp 927c │ │ │ │ │ R_X86_64_PLT32 ghczmprim_GHCziCString_unpackAppendCStringzh_info-0x4 │ │ │ │ │ movq $0x20,0x388(%r13) │ │ │ │ │ jmp *-0x8(%r13) │ │ │ │ │ nopl 0x0(%rax,%rax,1) │ │ │ │ │ add (%rax),%al │ │ │ │ │ add %al,(%rax) │ │ │ │ │ @@ -12259,15 +12259,15 @@ │ │ │ │ │ mov 0x18(%rbx),%rbx │ │ │ │ │ movq $0x0,-0x18(%r12) │ │ │ │ │ R_X86_64_32S .text+0x92a0 │ │ │ │ │ mov %rax,-0x8(%r12) │ │ │ │ │ mov %rbx,(%r12) │ │ │ │ │ lea -0x18(%r12),%rsi │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .Lr71l_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .Lr7DD_bytes-0x4 │ │ │ │ │ add $0xfffffffffffffff0,%rbp │ │ │ │ │ jmp 9351 │ │ │ │ │ R_X86_64_PLT32 ghczmprim_GHCziCString_unpackAppendCStringzh_info-0x4 │ │ │ │ │ movq $0x20,0x388(%r13) │ │ │ │ │ jmp *-0x10(%r13) │ │ │ │ │ add $0x1000000,%eax │ │ │ │ │ add %al,(%rax) │ │ │ │ │ @@ -12436,15 +12436,15 @@ │ │ │ │ │ movq $0x0,-0x20(%r12) │ │ │ │ │ R_X86_64_32S .text+0x9488 │ │ │ │ │ mov %rax,-0x10(%r12) │ │ │ │ │ mov %r14,-0x8(%r12) │ │ │ │ │ mov %rbx,(%r12) │ │ │ │ │ lea -0x20(%r12),%rsi │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .Lr71k_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .Lr7DC_bytes-0x4 │ │ │ │ │ jmp 9585 │ │ │ │ │ R_X86_64_PLT32 ghczmprim_GHCziCString_unpackAppendCStringzh_info-0x4 │ │ │ │ │ movq $0x28,0x388(%r13) │ │ │ │ │ jmp *-0x8(%r13) │ │ │ │ │ nopl 0x0(%rax) │ │ │ │ │ add (%rax),%al │ │ │ │ │ add %al,(%rax) │ │ │ │ │ @@ -12551,15 +12551,15 @@ │ │ │ │ │ movq $0x0,-0x20(%r12) │ │ │ │ │ R_X86_64_32S .text+0x9618 │ │ │ │ │ mov %rax,-0x10(%r12) │ │ │ │ │ mov %rcx,-0x8(%r12) │ │ │ │ │ mov %rbx,(%r12) │ │ │ │ │ lea -0x20(%r12),%rsi │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .Lr71k_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .Lr7DC_bytes-0x4 │ │ │ │ │ add $0xfffffffffffffff0,%rbp │ │ │ │ │ jmp 9722 │ │ │ │ │ R_X86_64_PLT32 ghczmprim_GHCziCString_unpackAppendCStringzh_info-0x4 │ │ │ │ │ movq $0x28,0x388(%r13) │ │ │ │ │ jmp *-0x10(%r13) │ │ │ │ │ nopl 0x0(%rax) │ │ │ │ │ add $0x1000000,%eax │ │ │ │ │ @@ -12786,15 +12786,15 @@ │ │ │ │ │ R_X86_64_32S .text+0x9968 │ │ │ │ │ mov %rax,-0x18(%r12) │ │ │ │ │ mov %r14,-0x10(%r12) │ │ │ │ │ mov %rcx,-0x8(%r12) │ │ │ │ │ mov %rbx,(%r12) │ │ │ │ │ lea -0x28(%r12),%rsi │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .Lr71u_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .Lr7DM_bytes-0x4 │ │ │ │ │ jmp 9a36 │ │ │ │ │ R_X86_64_PLT32 ghczmprim_GHCziCString_unpackAppendCStringzh_info-0x4 │ │ │ │ │ movq $0x30,0x388(%r13) │ │ │ │ │ jmp *-0x8(%r13) │ │ │ │ │ nopl (%rax) │ │ │ │ │ add (%rax),%al │ │ │ │ │ add %al,(%rax) │ │ │ │ │ @@ -12924,15 +12924,15 @@ │ │ │ │ │ R_X86_64_32S .text+0x9b60 │ │ │ │ │ mov %rax,-0x18(%r12) │ │ │ │ │ mov %rcx,-0x10(%r12) │ │ │ │ │ mov %rdx,-0x8(%r12) │ │ │ │ │ mov %rbx,(%r12) │ │ │ │ │ lea -0x28(%r12),%rsi │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .Lr71u_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .Lr7DM_bytes-0x4 │ │ │ │ │ add $0xfffffffffffffff0,%rbp │ │ │ │ │ jmp 9c43 │ │ │ │ │ R_X86_64_PLT32 ghczmprim_GHCziCString_unpackAppendCStringzh_info-0x4 │ │ │ │ │ movq $0x30,0x388(%r13) │ │ │ │ │ jmp *-0x10(%r13) │ │ │ │ │ nopw 0x0(%rax,%rax,1) │ │ │ │ │ add $0x1000000,%eax │ │ │ │ │ @@ -13271,15 +13271,15 @@ │ │ │ │ │ R_X86_64_32S .text+0x9f58 │ │ │ │ │ mov %rax,-0x18(%r12) │ │ │ │ │ mov %r14,-0x10(%r12) │ │ │ │ │ mov %rcx,-0x8(%r12) │ │ │ │ │ mov %rbx,(%r12) │ │ │ │ │ lea -0x28(%r12),%rsi │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .Lr71t_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .Lr7DL_bytes-0x4 │ │ │ │ │ jmp a0de │ │ │ │ │ R_X86_64_PLT32 ghczmprim_GHCziCString_unpackAppendCStringzh_info-0x4 │ │ │ │ │ movq $0x30,0x388(%r13) │ │ │ │ │ jmp *-0x8(%r13) │ │ │ │ │ nopl (%rax) │ │ │ │ │ add (%rax),%al │ │ │ │ │ add %al,(%rax) │ │ │ │ │ @@ -13543,15 +13543,15 @@ │ │ │ │ │ R_X86_64_32S .text+0xa358 │ │ │ │ │ mov %rax,-0x18(%r12) │ │ │ │ │ mov %r14,-0x10(%r12) │ │ │ │ │ mov %rcx,-0x8(%r12) │ │ │ │ │ mov %rbx,(%r12) │ │ │ │ │ lea -0x28(%r12),%rsi │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .Lr71s_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .Lr7DK_bytes-0x4 │ │ │ │ │ jmp a46e │ │ │ │ │ R_X86_64_PLT32 ghczmprim_GHCziCString_unpackAppendCStringzh_info-0x4 │ │ │ │ │ movq $0x30,0x388(%r13) │ │ │ │ │ jmp *-0x8(%r13) │ │ │ │ │ nopl (%rax) │ │ │ │ │ add (%rax),%al │ │ │ │ │ add %al,(%rax) │ │ │ │ │ @@ -13724,15 +13724,15 @@ │ │ │ │ │ R_X86_64_32S .text+0xa5c8 │ │ │ │ │ mov %rax,-0x18(%r12) │ │ │ │ │ mov %rcx,-0x10(%r12) │ │ │ │ │ mov %rdx,-0x8(%r12) │ │ │ │ │ mov %rbx,(%r12) │ │ │ │ │ lea -0x28(%r12),%rsi │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .Lr71s_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .Lr7DK_bytes-0x4 │ │ │ │ │ add $0xfffffffffffffff0,%rbp │ │ │ │ │ jmp a6f3 │ │ │ │ │ R_X86_64_PLT32 ghczmprim_GHCziCString_unpackAppendCStringzh_info-0x4 │ │ │ │ │ movq $0x30,0x388(%r13) │ │ │ │ │ jmp *-0x10(%r13) │ │ │ │ │ nopw 0x0(%rax,%rax,1) │ │ │ │ │ add $0x1000000,%eax │ │ │ │ │ @@ -13969,15 +13969,15 @@ │ │ │ │ │ R_X86_64_32S .text+0xa910 │ │ │ │ │ mov %rax,-0x18(%r12) │ │ │ │ │ mov %r14,-0x10(%r12) │ │ │ │ │ mov %rcx,-0x8(%r12) │ │ │ │ │ mov %rbx,(%r12) │ │ │ │ │ lea -0x28(%r12),%rsi │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .Lr71r_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .Lr7DJ_bytes-0x4 │ │ │ │ │ jmp aa26 │ │ │ │ │ R_X86_64_PLT32 ghczmprim_GHCziCString_unpackAppendCStringzh_info-0x4 │ │ │ │ │ movq $0x30,0x388(%r13) │ │ │ │ │ jmp *-0x8(%r13) │ │ │ │ │ nopl (%rax) │ │ │ │ │ add (%rax),%al │ │ │ │ │ add %al,(%rax) │ │ │ │ │ @@ -14150,15 +14150,15 @@ │ │ │ │ │ R_X86_64_32S .text+0xab80 │ │ │ │ │ mov %rax,-0x18(%r12) │ │ │ │ │ mov %rcx,-0x10(%r12) │ │ │ │ │ mov %rdx,-0x8(%r12) │ │ │ │ │ mov %rbx,(%r12) │ │ │ │ │ lea -0x28(%r12),%rsi │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .Lr71r_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .Lr7DJ_bytes-0x4 │ │ │ │ │ add $0xfffffffffffffff0,%rbp │ │ │ │ │ jmp acab │ │ │ │ │ R_X86_64_PLT32 ghczmprim_GHCziCString_unpackAppendCStringzh_info-0x4 │ │ │ │ │ movq $0x30,0x388(%r13) │ │ │ │ │ jmp *-0x10(%r13) │ │ │ │ │ nopw 0x0(%rax,%rax,1) │ │ │ │ │ add $0x1000000,%eax │ │ │ │ │ @@ -14470,15 +14470,15 @@ │ │ │ │ │ mov %rax,-0x20(%r12) │ │ │ │ │ mov %r14,-0x18(%r12) │ │ │ │ │ mov %rcx,-0x10(%r12) │ │ │ │ │ mov %rdx,-0x8(%r12) │ │ │ │ │ mov %rbx,(%r12) │ │ │ │ │ lea -0x30(%r12),%rsi │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .Lr71q_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .Lr7DI_bytes-0x4 │ │ │ │ │ jmp b0ef │ │ │ │ │ R_X86_64_PLT32 ghczmprim_GHCziCString_unpackAppendCStringzh_info-0x4 │ │ │ │ │ movq $0x38,0x388(%r13) │ │ │ │ │ jmp *-0x8(%r13) │ │ │ │ │ xchg %ax,%ax │ │ │ │ │ add (%rax),%al │ │ │ │ │ add %al,(%rax) │ │ │ │ │ @@ -14693,15 +14693,15 @@ │ │ │ │ │ mov %rax,-0x20(%r12) │ │ │ │ │ mov %rcx,-0x18(%r12) │ │ │ │ │ mov %rdx,-0x10(%r12) │ │ │ │ │ mov %rsi,-0x8(%r12) │ │ │ │ │ mov %rbx,(%r12) │ │ │ │ │ lea -0x30(%r12),%rsi │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .Lr71q_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .Lr7DI_bytes-0x4 │ │ │ │ │ add $0xfffffffffffffff0,%rbp │ │ │ │ │ jmp b424 │ │ │ │ │ R_X86_64_PLT32 ghczmprim_GHCziCString_unpackAppendCStringzh_info-0x4 │ │ │ │ │ movq $0x38,0x388(%r13) │ │ │ │ │ jmp *-0x10(%r13) │ │ │ │ │ nopl 0x0(%rax,%rax,1) │ │ │ │ │ add $0x1000000,%eax │ │ │ │ ├── readelf --wide --decompress --hex-dump=.strtab {} │ │ │ │ │ @@ -21,28 +21,28 @@ │ │ │ │ │ 0x00000120 0069644f 695f7374 72006964 4f6e5f73 .idOi_str.idOn_s │ │ │ │ │ 0x00000130 74720069 644f745f 73747200 69644f79 tr.idOt_str.idOy │ │ │ │ │ 0x00000140 5f737472 0069644f 455f7374 72006964 _str.idOE_str.id │ │ │ │ │ 0x00000150 4f4a5f73 74720069 644f4f5f 73747200 OJ_str.idOO_str. │ │ │ │ │ 0x00000160 69644f54 5f737472 0069644f 595f7374 idOT_str.idOY_st │ │ │ │ │ 0x00000170 72006964 50335f73 74720069 6450385f r.idP3_str.idP8_ │ │ │ │ │ 0x00000180 73747200 69645064 5f737472 002e4c72 str.idPd_str..Lr │ │ │ │ │ - 0x00000190 3730735f 62797465 73002e4c 72373074 70s_bytes..Lr70t │ │ │ │ │ - 0x000001a0 5f627974 6573002e 4c723730 765f6279 _bytes..Lr70v_by │ │ │ │ │ - 0x000001b0 74657300 2e4c7237 304c5f62 79746573 tes..Lr70L_bytes │ │ │ │ │ - 0x000001c0 002e4c72 37304b5f 62797465 73002e4c ..Lr70K_bytes..L │ │ │ │ │ - 0x000001d0 7237304a 5f627974 6573002e 4c723730 r70J_bytes..Lr70 │ │ │ │ │ - 0x000001e0 4d5f6279 74657300 2e4c7237 31705f62 M_bytes..Lr71p_b │ │ │ │ │ - 0x000001f0 79746573 002e4c72 37316f5f 62797465 ytes..Lr71o_byte │ │ │ │ │ - 0x00000200 73002e4c 7237316e 5f627974 6573002e s..Lr71n_bytes.. │ │ │ │ │ - 0x00000210 4c723731 6d5f6279 74657300 2e4c7237 Lr71m_bytes..Lr7 │ │ │ │ │ - 0x00000220 316c5f62 79746573 002e4c72 37316b5f 1l_bytes..Lr71k_ │ │ │ │ │ - 0x00000230 62797465 73002e4c 72373175 5f627974 bytes..Lr71u_byt │ │ │ │ │ - 0x00000240 6573002e 4c723731 745f6279 74657300 es..Lr71t_bytes. │ │ │ │ │ - 0x00000250 2e4c7237 31735f62 79746573 002e4c72 .Lr71s_bytes..Lr │ │ │ │ │ - 0x00000260 3731725f 62797465 73002e4c 72373171 71r_bytes..Lr71q │ │ │ │ │ + 0x00000190 37434b5f 62797465 73002e4c 7237434c 7CK_bytes..Lr7CL │ │ │ │ │ + 0x000001a0 5f627974 6573002e 4c723743 4e5f6279 _bytes..Lr7CN_by │ │ │ │ │ + 0x000001b0 74657300 2e4c7237 44335f62 79746573 tes..Lr7D3_bytes │ │ │ │ │ + 0x000001c0 002e4c72 3744325f 62797465 73002e4c ..Lr7D2_bytes..L │ │ │ │ │ + 0x000001d0 72374431 5f627974 6573002e 4c723744 r7D1_bytes..Lr7D │ │ │ │ │ + 0x000001e0 345f6279 74657300 2e4c7237 44485f62 4_bytes..Lr7DH_b │ │ │ │ │ + 0x000001f0 79746573 002e4c72 3744475f 62797465 ytes..Lr7DG_byte │ │ │ │ │ + 0x00000200 73002e4c 72374446 5f627974 6573002e s..Lr7DF_bytes.. │ │ │ │ │ + 0x00000210 4c723744 455f6279 74657300 2e4c7237 Lr7DE_bytes..Lr7 │ │ │ │ │ + 0x00000220 44445f62 79746573 002e4c72 3744435f DD_bytes..Lr7DC_ │ │ │ │ │ + 0x00000230 62797465 73002e4c 7237444d 5f627974 bytes..Lr7DM_byt │ │ │ │ │ + 0x00000240 6573002e 4c723744 4c5f6279 74657300 es..Lr7DL_bytes. │ │ │ │ │ + 0x00000250 2e4c7237 444b5f62 79746573 002e4c72 .Lr7DK_bytes..Lr │ │ │ │ │ + 0x00000260 37444a5f 62797465 73002e4c 72374449 7DJ_bytes..Lr7DI │ │ │ │ │ 0x00000270 5f627974 6573006f 676d617a 6d6c616e _bytes.ogmazmlan │ │ │ │ │ 0x00000280 67756167 657a6d6c 75737472 657a6d31 guagezmlustrezm1 │ │ │ │ │ 0x00000290 7a693131 7a69307a 6d457a7a 4b594259 zi11zi0zmEzzKYBY │ │ │ │ │ 0x000002a0 616e4461 554b3355 315a5a56 7a7a6468 anDaUK3U1ZZVzzdh │ │ │ │ │ 0x000002b0 34555f4c 616e6775 6167657a 694c7573 4U_LanguageziLus │ │ │ │ │ 0x000002c0 7472657a 69416273 4c757374 72655f7a treziAbsLustre_z │ │ │ │ │ 0x000002d0 6474637a 71426f6f 6c537065 63536967 dtczqBoolSpecSig │ │ │ ├── LexLustre.o │ │ │ │ ├── readelf --wide --symbols {} │ │ │ │ │ @@ -2,37 +2,37 @@ │ │ │ │ │ Symbol table '.symtab' contains 736 entries: │ │ │ │ │ Num: Value Size Type Bind Vis Ndx Name │ │ │ │ │ 0: 0000000000000000 0 NOTYPE LOCAL DEFAULT UND │ │ │ │ │ 1: 0000000000000000 0 SECTION LOCAL DEFAULT 1 .text │ │ │ │ │ 2: 0000000000000000 0 SECTION LOCAL DEFAULT 3 .data │ │ │ │ │ 3: 0000000000000000 0 SECTION LOCAL DEFAULT 6 .rodata.str │ │ │ │ │ 4: 0000000000000000 0 SECTION LOCAL DEFAULT 7 .rodata │ │ │ │ │ - 5: 0000000000000319 0 NOTYPE LOCAL DEFAULT 6 i8uZ_str │ │ │ │ │ - 6: 000000000000036e 0 NOTYPE LOCAL DEFAULT 6 i8v7_str │ │ │ │ │ - 7: 00000000000003c5 0 NOTYPE LOCAL DEFAULT 6 i8vd_str │ │ │ │ │ - 8: 000000000000041b 0 NOTYPE LOCAL DEFAULT 6 i8vi_str │ │ │ │ │ - 9: 0000000000000472 0 NOTYPE LOCAL DEFAULT 6 i8vw_str │ │ │ │ │ - 10: 00000000000004c8 0 NOTYPE LOCAL DEFAULT 6 i8vG_str │ │ │ │ │ - 11: 0000000000000521 0 NOTYPE LOCAL DEFAULT 6 i8vL_str │ │ │ │ │ - 12: 000000000000057b 0 NOTYPE LOCAL DEFAULT 6 i8vQ_str │ │ │ │ │ - 13: 00000000000005cb 0 NOTYPE LOCAL DEFAULT 6 i8vV_str │ │ │ │ │ - 14: 000000000000061c 0 NOTYPE LOCAL DEFAULT 6 i8w0_str │ │ │ │ │ - 15: 000000000000066c 0 NOTYPE LOCAL DEFAULT 6 i8w5_str │ │ │ │ │ - 16: 00000000000006bb 0 NOTYPE LOCAL DEFAULT 6 i8wa_str │ │ │ │ │ - 17: 000000000000070a 0 NOTYPE LOCAL DEFAULT 6 i8wf_str │ │ │ │ │ - 18: 000000000000075a 0 NOTYPE LOCAL DEFAULT 6 i8wk_str │ │ │ │ │ - 19: 00000000000007aa 0 NOTYPE LOCAL DEFAULT 6 i8wp_str │ │ │ │ │ - 20: 00000000000007fa 0 NOTYPE LOCAL DEFAULT 6 i8wv_str │ │ │ │ │ - 21: 000000000000084a 0 NOTYPE LOCAL DEFAULT 6 i8wD_str │ │ │ │ │ - 22: 000000000000089a 0 NOTYPE LOCAL DEFAULT 6 i8xl_str │ │ │ │ │ - 23: 00000000000008ea 0 NOTYPE LOCAL DEFAULT 6 i8xw_str │ │ │ │ │ - 24: 0000000000000941 0 NOTYPE LOCAL DEFAULT 6 i8xC_str │ │ │ │ │ - 25: 000000000000099a 0 NOTYPE LOCAL DEFAULT 6 i8xH_str │ │ │ │ │ - 26: 00000000000009ef 0 NOTYPE LOCAL DEFAULT 6 i8xM_str │ │ │ │ │ - 27: 0000000000000a48 0 NOTYPE LOCAL DEFAULT 6 i8xR_str │ │ │ │ │ + 5: 0000000000000319 0 NOTYPE LOCAL DEFAULT 6 i7tz_str │ │ │ │ │ + 6: 000000000000036e 0 NOTYPE LOCAL DEFAULT 6 i7tE_str │ │ │ │ │ + 7: 00000000000003c5 0 NOTYPE LOCAL DEFAULT 6 i7tJ_str │ │ │ │ │ + 8: 000000000000041b 0 NOTYPE LOCAL DEFAULT 6 i7tO_str │ │ │ │ │ + 9: 0000000000000472 0 NOTYPE LOCAL DEFAULT 6 i7tT_str │ │ │ │ │ + 10: 00000000000004c8 0 NOTYPE LOCAL DEFAULT 6 i7tY_str │ │ │ │ │ + 11: 0000000000000521 0 NOTYPE LOCAL DEFAULT 6 i7u3_str │ │ │ │ │ + 12: 000000000000057b 0 NOTYPE LOCAL DEFAULT 6 i7u8_str │ │ │ │ │ + 13: 00000000000005cb 0 NOTYPE LOCAL DEFAULT 6 i7ud_str │ │ │ │ │ + 14: 000000000000061c 0 NOTYPE LOCAL DEFAULT 6 i7ui_str │ │ │ │ │ + 15: 000000000000066c 0 NOTYPE LOCAL DEFAULT 6 i7un_str │ │ │ │ │ + 16: 00000000000006bb 0 NOTYPE LOCAL DEFAULT 6 i7us_str │ │ │ │ │ + 17: 000000000000070a 0 NOTYPE LOCAL DEFAULT 6 i7ux_str │ │ │ │ │ + 18: 000000000000075a 0 NOTYPE LOCAL DEFAULT 6 i7uC_str │ │ │ │ │ + 19: 00000000000007aa 0 NOTYPE LOCAL DEFAULT 6 i7uH_str │ │ │ │ │ + 20: 00000000000007fa 0 NOTYPE LOCAL DEFAULT 6 i7uM_str │ │ │ │ │ + 21: 000000000000084a 0 NOTYPE LOCAL DEFAULT 6 i7uR_str │ │ │ │ │ + 22: 000000000000089a 0 NOTYPE LOCAL DEFAULT 6 i7uW_str │ │ │ │ │ + 23: 00000000000008ea 0 NOTYPE LOCAL DEFAULT 6 i7v1_str │ │ │ │ │ + 24: 0000000000000941 0 NOTYPE LOCAL DEFAULT 6 i7v6_str │ │ │ │ │ + 25: 000000000000099a 0 NOTYPE LOCAL DEFAULT 6 i7vb_str │ │ │ │ │ + 26: 00000000000009ef 0 NOTYPE LOCAL DEFAULT 6 i7vg_str │ │ │ │ │ + 27: 0000000000000a48 0 NOTYPE LOCAL DEFAULT 6 i7vl_str │ │ │ │ │ 28: 00000000000002eb 0 NOTYPE LOCAL DEFAULT 6 .Lr5h8_bytes │ │ │ │ │ 29: 00000000000002bd 0 NOTYPE LOCAL DEFAULT 6 .Lr5h9_bytes │ │ │ │ │ 30: 000000000000008d 0 NOTYPE LOCAL DEFAULT 6 .Lr5hU_bytes │ │ │ │ │ 31: 0000000000000089 0 NOTYPE LOCAL DEFAULT 6 .Lr5hV_bytes │ │ │ │ │ 32: 0000000000000085 0 NOTYPE LOCAL DEFAULT 6 .Lr5hW_bytes │ │ │ │ │ 33: 0000000000000081 0 NOTYPE LOCAL DEFAULT 6 .Lr5hX_bytes │ │ │ │ │ 34: 000000000000007d 0 NOTYPE LOCAL DEFAULT 6 .Lr5hY_bytes │ │ │ │ ├── readelf --wide --relocs {} │ │ │ │ │ @@ -1100,37 +1100,37 @@ │ │ │ │ │ 0000000000009714 000002cd00000002 R_X86_64_PC32 0000000000002d78 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziLexLustre_zdwalexzuscanzutkn_closure - 4 │ │ │ │ │ 0000000000009720 000000010000000b R_X86_64_32S 0000000000000000 .text + 9770 │ │ │ │ │ 000000000000973e 000002dc00000002 R_X86_64_PC32 0000000000002e28 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziLexLustre_alexzuscanzutkn_closure - 4 │ │ │ │ │ 0000000000009782 0000013b0000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTupleziPrim_Z2T_con_info + 0 │ │ │ │ │ 00000000000097aa 000000010000000b R_X86_64_32S 0000000000000000 .text + 9770 │ │ │ │ │ 00000000000097e2 000000cb0000000b R_X86_64_32S 0000000000009ae0 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziLexLustre_AlexAzh_con_info + 0 │ │ │ │ │ 0000000000009800 000002df00000002 R_X86_64_PC32 0000000000002e38 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziLexLustre_AlexAzh_closure - 4 │ │ │ │ │ -0000000000009808 0000000500000018 R_X86_64_PC64 0000000000000319 i8uZ_str - 18 │ │ │ │ │ -0000000000009828 0000000600000018 R_X86_64_PC64 000000000000036e i8v7_str - 18 │ │ │ │ │ -0000000000009848 0000000700000018 R_X86_64_PC64 00000000000003c5 i8vd_str - 18 │ │ │ │ │ -0000000000009868 0000000800000018 R_X86_64_PC64 000000000000041b i8vi_str - 18 │ │ │ │ │ -0000000000009888 0000000900000018 R_X86_64_PC64 0000000000000472 i8vw_str - 18 │ │ │ │ │ -00000000000098a8 0000000a00000018 R_X86_64_PC64 00000000000004c8 i8vG_str - 18 │ │ │ │ │ -00000000000098c8 0000000b00000018 R_X86_64_PC64 0000000000000521 i8vL_str - 18 │ │ │ │ │ -00000000000098e8 0000000c00000018 R_X86_64_PC64 000000000000057b i8vQ_str - 18 │ │ │ │ │ -0000000000009908 0000000d00000018 R_X86_64_PC64 00000000000005cb i8vV_str - 18 │ │ │ │ │ -0000000000009928 0000000e00000018 R_X86_64_PC64 000000000000061c i8w0_str - 18 │ │ │ │ │ -0000000000009948 0000000f00000018 R_X86_64_PC64 000000000000066c i8w5_str - 18 │ │ │ │ │ -0000000000009968 0000001000000018 R_X86_64_PC64 00000000000006bb i8wa_str - 18 │ │ │ │ │ -0000000000009988 0000001100000018 R_X86_64_PC64 000000000000070a i8wf_str - 18 │ │ │ │ │ -00000000000099a8 0000001200000018 R_X86_64_PC64 000000000000075a i8wk_str - 18 │ │ │ │ │ -00000000000099c8 0000001300000018 R_X86_64_PC64 00000000000007aa i8wp_str - 18 │ │ │ │ │ -00000000000099e8 0000001400000018 R_X86_64_PC64 00000000000007fa i8wv_str - 18 │ │ │ │ │ -0000000000009a08 0000001500000018 R_X86_64_PC64 000000000000084a i8wD_str - 18 │ │ │ │ │ -0000000000009a28 0000001600000018 R_X86_64_PC64 000000000000089a i8xl_str - 18 │ │ │ │ │ -0000000000009a48 0000001700000018 R_X86_64_PC64 00000000000008ea i8xw_str - 18 │ │ │ │ │ -0000000000009a68 0000001800000018 R_X86_64_PC64 0000000000000941 i8xC_str - 18 │ │ │ │ │ -0000000000009a88 0000001900000018 R_X86_64_PC64 000000000000099a i8xH_str - 18 │ │ │ │ │ -0000000000009aa8 0000001a00000018 R_X86_64_PC64 00000000000009ef i8xM_str - 18 │ │ │ │ │ -0000000000009ac8 0000001b00000018 R_X86_64_PC64 0000000000000a48 i8xR_str - 18 │ │ │ │ │ +0000000000009808 0000000500000018 R_X86_64_PC64 0000000000000319 i7tz_str - 18 │ │ │ │ │ +0000000000009828 0000000600000018 R_X86_64_PC64 000000000000036e i7tE_str - 18 │ │ │ │ │ +0000000000009848 0000000700000018 R_X86_64_PC64 00000000000003c5 i7tJ_str - 18 │ │ │ │ │ +0000000000009868 0000000800000018 R_X86_64_PC64 000000000000041b i7tO_str - 18 │ │ │ │ │ +0000000000009888 0000000900000018 R_X86_64_PC64 0000000000000472 i7tT_str - 18 │ │ │ │ │ +00000000000098a8 0000000a00000018 R_X86_64_PC64 00000000000004c8 i7tY_str - 18 │ │ │ │ │ +00000000000098c8 0000000b00000018 R_X86_64_PC64 0000000000000521 i7u3_str - 18 │ │ │ │ │ +00000000000098e8 0000000c00000018 R_X86_64_PC64 000000000000057b i7u8_str - 18 │ │ │ │ │ +0000000000009908 0000000d00000018 R_X86_64_PC64 00000000000005cb i7ud_str - 18 │ │ │ │ │ +0000000000009928 0000000e00000018 R_X86_64_PC64 000000000000061c i7ui_str - 18 │ │ │ │ │ +0000000000009948 0000000f00000018 R_X86_64_PC64 000000000000066c i7un_str - 18 │ │ │ │ │ +0000000000009968 0000001000000018 R_X86_64_PC64 00000000000006bb i7us_str - 18 │ │ │ │ │ +0000000000009988 0000001100000018 R_X86_64_PC64 000000000000070a i7ux_str - 18 │ │ │ │ │ +00000000000099a8 0000001200000018 R_X86_64_PC64 000000000000075a i7uC_str - 18 │ │ │ │ │ +00000000000099c8 0000001300000018 R_X86_64_PC64 00000000000007aa i7uH_str - 18 │ │ │ │ │ +00000000000099e8 0000001400000018 R_X86_64_PC64 00000000000007fa i7uM_str - 18 │ │ │ │ │ +0000000000009a08 0000001500000018 R_X86_64_PC64 000000000000084a i7uR_str - 18 │ │ │ │ │ +0000000000009a28 0000001600000018 R_X86_64_PC64 000000000000089a i7uW_str - 18 │ │ │ │ │ +0000000000009a48 0000001700000018 R_X86_64_PC64 00000000000008ea i7v1_str - 18 │ │ │ │ │ +0000000000009a68 0000001800000018 R_X86_64_PC64 0000000000000941 i7v6_str - 18 │ │ │ │ │ +0000000000009a88 0000001900000018 R_X86_64_PC64 000000000000099a i7vb_str - 18 │ │ │ │ │ +0000000000009aa8 0000001a00000018 R_X86_64_PC64 00000000000009ef i7vg_str - 18 │ │ │ │ │ +0000000000009ac8 0000001b00000018 R_X86_64_PC64 0000000000000a48 i7vl_str - 18 │ │ │ │ │ 000000000000007a 0000007a00000004 R_X86_64_PLT32 0000000000000000 stg_gc_unpt_r1 - 4 │ │ │ │ │ 000000000000014f 0000007a00000004 R_X86_64_PLT32 0000000000000000 stg_gc_unpt_r1 - 4 │ │ │ │ │ 0000000000000230 0000007a00000004 R_X86_64_PLT32 0000000000000000 stg_gc_unpt_r1 - 4 │ │ │ │ │ 0000000000000340 0000007a00000004 R_X86_64_PLT32 0000000000000000 stg_gc_unpt_r1 - 4 │ │ │ │ │ 000000000000040f 0000007a00000004 R_X86_64_PLT32 0000000000000000 stg_gc_unpt_r1 - 4 │ │ │ │ │ 0000000000000520 0000007a00000004 R_X86_64_PLT32 0000000000000000 stg_gc_unpt_r1 - 4 │ │ │ │ │ 00000000000005b7 0000007a00000004 R_X86_64_PLT32 0000000000000000 stg_gc_unpt_r1 - 4 │ │ │ │ ├── strings --all --bytes=8 {} │ │ │ │ │ @@ -44,37 +44,37 @@ │ │ │ │ │ ogma-language-lustre-1.11.0-EzKYBYanDaUK3U1ZVzdh4U:Language.Lustre.LexLustre.TD │ │ │ │ │ ogma-language-lustre-1.11.0-EzKYBYanDaUK3U1ZVzdh4U:Language.Lustre.LexLustre.TC │ │ │ │ │ ogma-language-lustre-1.11.0-EzKYBYanDaUK3U1ZVzdh4U:Language.Lustre.LexLustre.TokSymbol │ │ │ │ │ ogma-language-lustre-1.11.0-EzKYBYanDaUK3U1ZVzdh4U:Language.Lustre.LexLustre.AlexAccNone │ │ │ │ │ ogma-language-lustre-1.11.0-EzKYBYanDaUK3U1ZVzdh4U:Language.Lustre.LexLustre.AlexAcc │ │ │ │ │ ogma-language-lustre-1.11.0-EzKYBYanDaUK3U1ZVzdh4U:Language.Lustre.LexLustre.AlexAccSkip │ │ │ │ │ ogma-language-lustre-1.11.0-EzKYBYanDaUK3U1ZVzdh4U:Language.Lustre.LexLustre.AlexA# │ │ │ │ │ -i8uZ_str │ │ │ │ │ -i8v7_str │ │ │ │ │ -i8vd_str │ │ │ │ │ -i8vi_str │ │ │ │ │ -i8vw_str │ │ │ │ │ -i8vG_str │ │ │ │ │ -i8vL_str │ │ │ │ │ -i8vQ_str │ │ │ │ │ -i8vV_str │ │ │ │ │ -i8w0_str │ │ │ │ │ -i8w5_str │ │ │ │ │ -i8wa_str │ │ │ │ │ -i8wf_str │ │ │ │ │ -i8wk_str │ │ │ │ │ -i8wp_str │ │ │ │ │ -i8wv_str │ │ │ │ │ -i8wD_str │ │ │ │ │ -i8xl_str │ │ │ │ │ -i8xw_str │ │ │ │ │ -i8xC_str │ │ │ │ │ -i8xH_str │ │ │ │ │ -i8xM_str │ │ │ │ │ -i8xR_str │ │ │ │ │ +i7tz_str │ │ │ │ │ +i7tE_str │ │ │ │ │ +i7tJ_str │ │ │ │ │ +i7tO_str │ │ │ │ │ +i7tT_str │ │ │ │ │ +i7tY_str │ │ │ │ │ +i7u3_str │ │ │ │ │ +i7u8_str │ │ │ │ │ +i7ud_str │ │ │ │ │ +i7ui_str │ │ │ │ │ +i7un_str │ │ │ │ │ +i7us_str │ │ │ │ │ +i7ux_str │ │ │ │ │ +i7uC_str │ │ │ │ │ +i7uH_str │ │ │ │ │ +i7uM_str │ │ │ │ │ +i7uR_str │ │ │ │ │ +i7uW_str │ │ │ │ │ +i7v1_str │ │ │ │ │ +i7v6_str │ │ │ │ │ +i7vb_str │ │ │ │ │ +i7vg_str │ │ │ │ │ +i7vl_str │ │ │ │ │ .Lr5h8_bytes │ │ │ │ │ .Lr5h9_bytes │ │ │ │ │ .Lr5hU_bytes │ │ │ │ │ .Lr5hV_bytes │ │ │ │ │ .Lr5hW_bytes │ │ │ │ │ .Lr5hX_bytes │ │ │ │ │ .Lr5hY_bytes │ │ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {} │ │ │ │ │ @@ -12399,127 +12399,127 @@ │ │ │ │ │ lea -0x7(%r12),%rbx │ │ │ │ │ jmp *0x0(%rbp) │ │ │ │ │ movq $0x10,0x388(%r13) │ │ │ │ │ lea 0x0(%rip),%rbx │ │ │ │ │ R_X86_64_PC32 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziLexLustre_AlexAzh_closure-0x4 │ │ │ │ │ jmp *-0x8(%r13) │ │ │ │ │ ... │ │ │ │ │ - R_X86_64_PC64 i8uZ_str-0x18 │ │ │ │ │ + R_X86_64_PC64 i7tz_str-0x18 │ │ │ │ │ add %eax,(%rax) │ │ │ │ │ add %al,(%rax) │ │ │ │ │ add (%rax),%eax │ │ │ │ │ add %al,(%rax) │ │ │ │ │ add %al,(%rax) │ │ │ │ │ ... │ │ │ │ │ │ │ │ │ │ 0000000000009820 : │ │ │ │ │ H...e.f......... │ │ │ │ │ - R_X86_64_PC64 i8v7_str-0x18 │ │ │ │ │ + R_X86_64_PC64 i7tE_str-0x18 │ │ │ │ │ ................ │ │ │ │ │ │ │ │ │ │ 0000000000009840 : │ │ │ │ │ H....e.......... │ │ │ │ │ - R_X86_64_PC64 i8vd_str-0x18 │ │ │ │ │ + R_X86_64_PC64 i7tJ_str-0x18 │ │ │ │ │ ................ │ │ │ │ │ │ │ │ │ │ 0000000000009860 : │ │ │ │ │ H....e.......... │ │ │ │ │ - R_X86_64_PC64 i8vi_str-0x18 │ │ │ │ │ + R_X86_64_PC64 i7tO_str-0x18 │ │ │ │ │ ................ │ │ │ │ │ │ │ │ │ │ 0000000000009880 : │ │ │ │ │ H....e.......... │ │ │ │ │ - R_X86_64_PC64 i8vw_str-0x18 │ │ │ │ │ + R_X86_64_PC64 i7tT_str-0x18 │ │ │ │ │ ................ │ │ │ │ │ │ │ │ │ │ 00000000000098a0 : │ │ │ │ │ H...e.f......... │ │ │ │ │ - R_X86_64_PC64 i8vG_str-0x18 │ │ │ │ │ + R_X86_64_PC64 i7tY_str-0x18 │ │ │ │ │ ................ │ │ │ │ │ │ │ │ │ │ 00000000000098c0 : │ │ │ │ │ H....e.......... │ │ │ │ │ - R_X86_64_PC64 i8vL_str-0x18 │ │ │ │ │ + R_X86_64_PC64 i7u3_str-0x18 │ │ │ │ │ ................ │ │ │ │ │ │ │ │ │ │ 00000000000098e0 : │ │ │ │ │ H....e.......... │ │ │ │ │ - R_X86_64_PC64 i8vQ_str-0x18 │ │ │ │ │ + R_X86_64_PC64 i7u8_str-0x18 │ │ │ │ │ ................ │ │ │ │ │ │ │ │ │ │ 0000000000009900 : │ │ │ │ │ H...e.f......... │ │ │ │ │ - R_X86_64_PC64 i8vV_str-0x18 │ │ │ │ │ + R_X86_64_PC64 i7ud_str-0x18 │ │ │ │ │ ................ │ │ │ │ │ │ │ │ │ │ 0000000000009920 : │ │ │ │ │ H....e.......... │ │ │ │ │ - R_X86_64_PC64 i8w0_str-0x18 │ │ │ │ │ + R_X86_64_PC64 i7ui_str-0x18 │ │ │ │ │ ................ │ │ │ │ │ │ │ │ │ │ 0000000000009940 : │ │ │ │ │ H...e.f......... │ │ │ │ │ - R_X86_64_PC64 i8w5_str-0x18 │ │ │ │ │ + R_X86_64_PC64 i7un_str-0x18 │ │ │ │ │ ................ │ │ │ │ │ │ │ │ │ │ 0000000000009960 : │ │ │ │ │ H...e.f......... │ │ │ │ │ - R_X86_64_PC64 i8wa_str-0x18 │ │ │ │ │ + R_X86_64_PC64 i7us_str-0x18 │ │ │ │ │ ................ │ │ │ │ │ │ │ │ │ │ 0000000000009980 : │ │ │ │ │ H....e.......... │ │ │ │ │ - R_X86_64_PC64 i8wf_str-0x18 │ │ │ │ │ + R_X86_64_PC64 i7ux_str-0x18 │ │ │ │ │ ................ │ │ │ │ │ │ │ │ │ │ 00000000000099a0 : │ │ │ │ │ H...e.f......... │ │ │ │ │ - R_X86_64_PC64 i8wk_str-0x18 │ │ │ │ │ + R_X86_64_PC64 i7uC_str-0x18 │ │ │ │ │ ................ │ │ │ │ │ │ │ │ │ │ 00000000000099c0 : │ │ │ │ │ H....e.......... │ │ │ │ │ - R_X86_64_PC64 i8wp_str-0x18 │ │ │ │ │ + R_X86_64_PC64 i7uH_str-0x18 │ │ │ │ │ ................ │ │ │ │ │ │ │ │ │ │ 00000000000099e0 : │ │ │ │ │ H....e.......... │ │ │ │ │ - R_X86_64_PC64 i8wv_str-0x18 │ │ │ │ │ + R_X86_64_PC64 i7uM_str-0x18 │ │ │ │ │ ................ │ │ │ │ │ │ │ │ │ │ 0000000000009a00 : │ │ │ │ │ H....e.......... │ │ │ │ │ - R_X86_64_PC64 i8wD_str-0x18 │ │ │ │ │ + R_X86_64_PC64 i7uR_str-0x18 │ │ │ │ │ ................ │ │ │ │ │ │ │ │ │ │ 0000000000009a20 : │ │ │ │ │ H....e.......... │ │ │ │ │ - R_X86_64_PC64 i8xl_str-0x18 │ │ │ │ │ + R_X86_64_PC64 i7uW_str-0x18 │ │ │ │ │ ................ │ │ │ │ │ │ │ │ │ │ 0000000000009a40 : │ │ │ │ │ H....e.......... │ │ │ │ │ - R_X86_64_PC64 i8xw_str-0x18 │ │ │ │ │ + R_X86_64_PC64 i7v1_str-0x18 │ │ │ │ │ ................ │ │ │ │ │ │ │ │ │ │ 0000000000009a60 : │ │ │ │ │ H...e.f......... │ │ │ │ │ - R_X86_64_PC64 i8xC_str-0x18 │ │ │ │ │ + R_X86_64_PC64 i7v6_str-0x18 │ │ │ │ │ ................ │ │ │ │ │ │ │ │ │ │ 0000000000009a80 : │ │ │ │ │ H...e.f......... │ │ │ │ │ - R_X86_64_PC64 i8xH_str-0x18 │ │ │ │ │ + R_X86_64_PC64 i7vb_str-0x18 │ │ │ │ │ ................ │ │ │ │ │ │ │ │ │ │ 0000000000009aa0 : │ │ │ │ │ H....e.......... │ │ │ │ │ - R_X86_64_PC64 i8xM_str-0x18 │ │ │ │ │ + R_X86_64_PC64 i7vg_str-0x18 │ │ │ │ │ ................ │ │ │ │ │ │ │ │ │ │ 0000000000009ac0 : │ │ │ │ │ H....e.......... │ │ │ │ │ - R_X86_64_PC64 i8xR_str-0x18 │ │ │ │ │ + R_X86_64_PC64 i7vl_str-0x18 │ │ │ │ │ ................ │ │ │ │ │ │ │ │ │ │ 0000000000009ae0 : │ │ │ │ │ H...e. │ │ │ │ ├── readelf --wide --decompress --hex-dump=.strtab {} │ │ │ │ │ @@ -1,22 +1,22 @@ │ │ │ │ │ │ │ │ │ │ Hex dump of section '.strtab': │ │ │ │ │ - 0x00000000 00693875 5a5f7374 72006938 76375f73 .i8uZ_str.i8v7_s │ │ │ │ │ - 0x00000010 74720069 3876645f 73747200 69387669 tr.i8vd_str.i8vi │ │ │ │ │ - 0x00000020 5f737472 00693876 775f7374 72006938 _str.i8vw_str.i8 │ │ │ │ │ - 0x00000030 76475f73 74720069 38764c5f 73747200 vG_str.i8vL_str. │ │ │ │ │ - 0x00000040 69387651 5f737472 00693876 565f7374 i8vQ_str.i8vV_st │ │ │ │ │ - 0x00000050 72006938 77305f73 74720069 3877355f r.i8w0_str.i8w5_ │ │ │ │ │ - 0x00000060 73747200 69387761 5f737472 00693877 str.i8wa_str.i8w │ │ │ │ │ - 0x00000070 665f7374 72006938 776b5f73 74720069 f_str.i8wk_str.i │ │ │ │ │ - 0x00000080 3877705f 73747200 69387776 5f737472 8wp_str.i8wv_str │ │ │ │ │ - 0x00000090 00693877 445f7374 72006938 786c5f73 .i8wD_str.i8xl_s │ │ │ │ │ - 0x000000a0 74720069 3878775f 73747200 69387843 tr.i8xw_str.i8xC │ │ │ │ │ - 0x000000b0 5f737472 00693878 485f7374 72006938 _str.i8xH_str.i8 │ │ │ │ │ - 0x000000c0 784d5f73 74720069 3878525f 73747200 xM_str.i8xR_str. │ │ │ │ │ + 0x00000000 00693774 7a5f7374 72006937 74455f73 .i7tz_str.i7tE_s │ │ │ │ │ + 0x00000010 74720069 37744a5f 73747200 6937744f tr.i7tJ_str.i7tO │ │ │ │ │ + 0x00000020 5f737472 00693774 545f7374 72006937 _str.i7tT_str.i7 │ │ │ │ │ + 0x00000030 74595f73 74720069 3775335f 73747200 tY_str.i7u3_str. │ │ │ │ │ + 0x00000040 69377538 5f737472 00693775 645f7374 i7u8_str.i7ud_st │ │ │ │ │ + 0x00000050 72006937 75695f73 74720069 37756e5f r.i7ui_str.i7un_ │ │ │ │ │ + 0x00000060 73747200 69377573 5f737472 00693775 str.i7us_str.i7u │ │ │ │ │ + 0x00000070 785f7374 72006937 75435f73 74720069 x_str.i7uC_str.i │ │ │ │ │ + 0x00000080 3775485f 73747200 6937754d 5f737472 7uH_str.i7uM_str │ │ │ │ │ + 0x00000090 00693775 525f7374 72006937 75575f73 .i7uR_str.i7uW_s │ │ │ │ │ + 0x000000a0 74720069 3776315f 73747200 69377636 tr.i7v1_str.i7v6 │ │ │ │ │ + 0x000000b0 5f737472 00693776 625f7374 72006937 _str.i7vb_str.i7 │ │ │ │ │ + 0x000000c0 76675f73 74720069 37766c5f 73747200 vg_str.i7vl_str. │ │ │ │ │ 0x000000d0 2e4c7235 68385f62 79746573 002e4c72 .Lr5h8_bytes..Lr │ │ │ │ │ 0x000000e0 3568395f 62797465 73002e4c 72356855 5h9_bytes..Lr5hU │ │ │ │ │ 0x000000f0 5f627974 6573002e 4c723568 565f6279 _bytes..Lr5hV_by │ │ │ │ │ 0x00000100 74657300 2e4c7235 68575f62 79746573 tes..Lr5hW_bytes │ │ │ │ │ 0x00000110 002e4c72 3568585f 62797465 73002e4c ..Lr5hX_bytes..L │ │ │ │ │ 0x00000120 72356859 5f627974 6573002e 4c723568 r5hY_bytes..Lr5h │ │ │ │ │ 0x00000130 5a5f6279 74657300 2e4c7235 69315f62 Z_bytes..Lr5i1_b │ │ │ ├── ParLustre.o │ │ │ │ ├── readelf --wide --symbols {} │ │ │ │ │ @@ -2,20 +2,20 @@ │ │ │ │ │ Symbol table '.symtab' contains 278 entries: │ │ │ │ │ Num: Value Size Type Bind Vis Ndx Name │ │ │ │ │ 0: 0000000000000000 0 NOTYPE LOCAL DEFAULT UND │ │ │ │ │ 1: 0000000000000000 0 SECTION LOCAL DEFAULT 1 .text │ │ │ │ │ 2: 0000000000000000 0 SECTION LOCAL DEFAULT 3 .data │ │ │ │ │ 3: 0000000000000000 0 SECTION LOCAL DEFAULT 6 .rodata.str │ │ │ │ │ 4: 0000000000000000 0 SECTION LOCAL DEFAULT 7 .rodata │ │ │ │ │ - 5: 00000000000002ed 0 NOTYPE LOCAL DEFAULT 6 inv5_str │ │ │ │ │ - 6: 0000000000000342 0 NOTYPE LOCAL DEFAULT 6 inva_str │ │ │ │ │ - 7: 0000000000000398 0 NOTYPE LOCAL DEFAULT 6 invf_str │ │ │ │ │ - 8: 00000000000001d8 0 NOTYPE LOCAL DEFAULT 6 .Lrlnr_bytes │ │ │ │ │ - 9: 0000000000000195 0 NOTYPE LOCAL DEFAULT 6 .Lrlnu_bytes │ │ │ │ │ - 10: 0000000000000152 0 NOTYPE LOCAL DEFAULT 6 .Lrlnw_bytes │ │ │ │ │ + 5: 00000000000002ed 0 NOTYPE LOCAL DEFAULT 6 iolx_str │ │ │ │ │ + 6: 0000000000000342 0 NOTYPE LOCAL DEFAULT 6 iolC_str │ │ │ │ │ + 7: 0000000000000398 0 NOTYPE LOCAL DEFAULT 6 iolH_str │ │ │ │ │ + 8: 00000000000001d8 0 NOTYPE LOCAL DEFAULT 6 .Lrmnc_bytes │ │ │ │ │ + 9: 0000000000000195 0 NOTYPE LOCAL DEFAULT 6 .Lrmnf_bytes │ │ │ │ │ + 10: 0000000000000152 0 NOTYPE LOCAL DEFAULT 6 .Lrmnh_bytes │ │ │ │ │ 11: 0000000000000000 0 OBJECT GLOBAL DEFAULT 6 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziParLustre_zdtczqHappyAzh3_bytes │ │ │ │ │ 12: 0000000000000009 0 OBJECT GLOBAL DEFAULT 6 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziParLustre_zdtcHappyAddr2_bytes │ │ │ │ │ 13: 0000000000000013 0 OBJECT GLOBAL DEFAULT 6 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziParLustre_zdtczqHappyStk3_bytes │ │ │ │ │ 14: 000000000000001d 0 OBJECT GLOBAL DEFAULT 6 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziParLustre_zdtcHappyStk2_bytes │ │ │ │ │ 15: 0000000000000026 0 OBJECT GLOBAL DEFAULT 6 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziParLustre_zdtczqHappyCons3_bytes │ │ │ │ │ 16: 0000000000000031 0 OBJECT GLOBAL DEFAULT 6 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziParLustre_zdtcHappyzuIntList2_bytes │ │ │ │ │ 17: 000000000000003f 0 OBJECT GLOBAL DEFAULT 6 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziParLustre_zdtczqHappyWrap30_bytes │ │ │ │ ├── readelf --wide --relocs {} │ │ │ │ │ @@ -147,31 +147,31 @@ │ │ │ │ │ 00000000000014b5 0000008100000002 R_X86_64_PC32 0000000000000000 base_TextziRead_readEither7_closure - 3 │ │ │ │ │ 00000000000014bc 0000008200000002 R_X86_64_PC32 0000000000000000 base_TextziParserCombinatorsziReadPrec_minPrec_closure - 3 │ │ │ │ │ 00000000000014c3 0000008000000002 R_X86_64_PC32 0000000000000000 base_GHCziRead_zdfReadInteger2_closure - 1 │ │ │ │ │ 00000000000014fa 000000840000000b R_X86_64_32S 0000000000000000 base_TextziParserCombinatorsziReadP_Look_con_info + 0 │ │ │ │ │ 000000000000152c 0000008500000002 R_X86_64_PC32 0000000000000000 base_ControlziExceptionziBase_patError_closure - 4 │ │ │ │ │ 0000000000001549 0000005300000004 R_X86_64_PLT32 0000000000000000 newCAF - 4 │ │ │ │ │ 000000000000155a 000000540000000b R_X86_64_32S 0000000000000000 stg_bh_upd_frame_info + 0 │ │ │ │ │ -0000000000001565 0000000800000002 R_X86_64_PC32 00000000000001d8 .Lrlnr_bytes - 4 │ │ │ │ │ +0000000000001565 0000000800000002 R_X86_64_PC32 00000000000001d8 .Lrmnc_bytes - 4 │ │ │ │ │ 0000000000001584 0000000200000002 R_X86_64_PC32 0000000000000000 .data + 4d4 │ │ │ │ │ 00000000000015a1 0000005300000004 R_X86_64_PLT32 0000000000000000 newCAF - 4 │ │ │ │ │ 00000000000015b2 000000540000000b R_X86_64_32S 0000000000000000 stg_bh_upd_frame_info + 0 │ │ │ │ │ 00000000000015be 000000010000000b R_X86_64_32S 0000000000000000 .text + 15f8 │ │ │ │ │ 00000000000015c5 0000008100000002 R_X86_64_PC32 0000000000000000 base_TextziRead_readEither7_closure - 3 │ │ │ │ │ 00000000000015cc 0000008200000002 R_X86_64_PC32 0000000000000000 base_TextziParserCombinatorsziReadPrec_minPrec_closure - 3 │ │ │ │ │ 00000000000015d3 0000008800000002 R_X86_64_PC32 0000000000000000 base_GHCziRead_zdfReadDouble2_closure - 1 │ │ │ │ │ 000000000000160a 000000840000000b R_X86_64_32S 0000000000000000 base_TextziParserCombinatorsziReadP_Look_con_info + 0 │ │ │ │ │ 000000000000163c 0000008500000002 R_X86_64_PC32 0000000000000000 base_ControlziExceptionziBase_patError_closure - 4 │ │ │ │ │ 0000000000001659 0000005300000004 R_X86_64_PLT32 0000000000000000 newCAF - 4 │ │ │ │ │ 000000000000166a 000000540000000b R_X86_64_32S 0000000000000000 stg_bh_upd_frame_info + 0 │ │ │ │ │ -0000000000001675 0000000900000002 R_X86_64_PC32 0000000000000195 .Lrlnu_bytes - 4 │ │ │ │ │ +0000000000001675 0000000900000002 R_X86_64_PC32 0000000000000195 .Lrmnf_bytes - 4 │ │ │ │ │ 0000000000001694 0000008500000002 R_X86_64_PC32 0000000000000000 base_ControlziExceptionziBase_patError_closure - 4 │ │ │ │ │ 00000000000016b1 0000005300000004 R_X86_64_PLT32 0000000000000000 newCAF - 4 │ │ │ │ │ 00000000000016c2 000000540000000b R_X86_64_32S 0000000000000000 stg_bh_upd_frame_info + 0 │ │ │ │ │ -00000000000016cd 0000000a00000002 R_X86_64_PC32 0000000000000152 .Lrlnw_bytes - 4 │ │ │ │ │ +00000000000016cd 0000000a00000002 R_X86_64_PC32 0000000000000152 .Lrmnh_bytes - 4 │ │ │ │ │ 00000000000016fb 0000000200000002 R_X86_64_PC32 0000000000000000 .data + 30c │ │ │ │ │ 0000000000001742 0000008c0000000b R_X86_64_32S 0000000000000000 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_BoolSpecSignal_con_info + 0 │ │ │ │ │ 0000000000001760 0000000200000002 R_X86_64_PC32 0000000000000000 .data + 57c │ │ │ │ │ 0000000000001792 0000008d0000000b R_X86_64_32S 0000000000000000 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_BoolSpecConstB_con_info + 0 │ │ │ │ │ 00000000000017b0 0000000200000002 R_X86_64_PC32 0000000000000000 .data + 584 │ │ │ │ │ 00000000000017e2 0000008e0000000b R_X86_64_32S 0000000000000000 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziAbsLustre_BoolSpecConstD_con_info + 0 │ │ │ │ │ 0000000000001800 0000000200000002 R_X86_64_PC32 0000000000000000 .data + 58c │ │ │ │ │ @@ -552,17 +552,17 @@ │ │ │ │ │ 0000000000005af5 0000005600000002 R_X86_64_PC32 00000000000002f0 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziParLustre_notHappyAtAll_closure - 4 │ │ │ │ │ 0000000000005b32 0000002f0000000b R_X86_64_32S 0000000000005c20 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziParLustre_HappyAzh_con_info + 0 │ │ │ │ │ 0000000000005b50 0000011100000002 R_X86_64_PC32 00000000000026c8 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziParLustre_HappyAzh_closure - 4 │ │ │ │ │ 0000000000005b82 000000790000000b R_X86_64_32S 0000000000005c40 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziParLustre_HappyStk_con_info + 0 │ │ │ │ │ 0000000000005ba5 0000011300000002 R_X86_64_PC32 00000000000026d0 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziParLustre_HappyStk_closure - 4 │ │ │ │ │ 0000000000005bda 000000ab0000000b R_X86_64_32S 0000000000005c60 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziParLustre_HappyCons_con_info + 0 │ │ │ │ │ 0000000000005bfd 0000011500000002 R_X86_64_PC32 00000000000026d8 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziParLustre_HappyCons_closure - 4 │ │ │ │ │ -0000000000005c08 0000000500000018 R_X86_64_PC64 00000000000002ed inv5_str - 18 │ │ │ │ │ -0000000000005c28 0000000600000018 R_X86_64_PC64 0000000000000342 inva_str - 18 │ │ │ │ │ -0000000000005c48 0000000700000018 R_X86_64_PC64 0000000000000398 invf_str - 18 │ │ │ │ │ +0000000000005c08 0000000500000018 R_X86_64_PC64 00000000000002ed iolx_str - 18 │ │ │ │ │ +0000000000005c28 0000000600000018 R_X86_64_PC64 0000000000000342 iolC_str - 18 │ │ │ │ │ +0000000000005c48 0000000700000018 R_X86_64_PC64 0000000000000398 iolH_str - 18 │ │ │ │ │ 000000000000001c 0000003800000004 R_X86_64_PLT32 0000000000000000 base_GHCziShow_showLitString_info - 4 │ │ │ │ │ 00000000000000cb 0000003900000004 R_X86_64_PLT32 0000000000000000 base_GHCziBase_zpzp_info - 4 │ │ │ │ │ 00000000000000df 0000003900000004 R_X86_64_PLT32 0000000000000000 base_GHCziBase_zpzp_info - 4 │ │ │ │ │ 00000000000000f7 0000003900000004 R_X86_64_PLT32 0000000000000000 base_GHCziBase_zpzp_info - 4 │ │ │ │ │ 000000000000010b 0000003900000004 R_X86_64_PLT32 0000000000000000 base_GHCziBase_zpzp_info - 4 │ │ │ │ │ 0000000000000145 0000003b00000004 R_X86_64_PLT32 0000000000000000 base_GHCziBase_zpzpzuzdszpzp_info - 4 │ │ │ │ │ 0000000000000155 0000003c00000004 R_X86_64_PLT32 0000000000000000 stg_gc_unpt_r1 - 4 │ │ │ │ ├── strings --all --bytes=8 {} │ │ │ │ │ @@ -36,20 +36,20 @@ │ │ │ │ │ ogma-language-lustre-1.11.0-EzKYBYanDaUK3U1ZVzdh4U │ │ │ │ │ syntax error at │ │ │ │ │ due to lexer error │ │ │ │ │ before ` │ │ │ │ │ ogma-language-lustre-1.11.0-EzKYBYanDaUK3U1ZVzdh4U:Language.Lustre.ParLustre.HappyA# │ │ │ │ │ ogma-language-lustre-1.11.0-EzKYBYanDaUK3U1ZVzdh4U:Language.Lustre.ParLustre.HappyStk │ │ │ │ │ ogma-language-lustre-1.11.0-EzKYBYanDaUK3U1ZVzdh4U:Language.Lustre.ParLustre.HappyCons │ │ │ │ │ -inv5_str │ │ │ │ │ -inva_str │ │ │ │ │ -invf_str │ │ │ │ │ -.Lrlnr_bytes │ │ │ │ │ -.Lrlnu_bytes │ │ │ │ │ -.Lrlnw_bytes │ │ │ │ │ +iolx_str │ │ │ │ │ +iolC_str │ │ │ │ │ +iolH_str │ │ │ │ │ +.Lrmnc_bytes │ │ │ │ │ +.Lrmnf_bytes │ │ │ │ │ +.Lrmnh_bytes │ │ │ │ │ ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziParLustre_zdtczqHappyAzh3_bytes │ │ │ │ │ ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziParLustre_zdtcHappyAddr2_bytes │ │ │ │ │ ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziParLustre_zdtczqHappyStk3_bytes │ │ │ │ │ ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziParLustre_zdtcHappyStk2_bytes │ │ │ │ │ ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziParLustre_zdtczqHappyCons3_bytes │ │ │ │ │ ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziParLustre_zdtcHappyzuIntList2_bytes │ │ │ │ │ ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziParLustre_zdtczqHappyWrap30_bytes │ │ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {} │ │ │ │ │ @@ -1846,15 +1846,15 @@ │ │ │ │ │ add $0x8,%rsp │ │ │ │ │ test %rax,%rax │ │ │ │ │ je 1572 │ │ │ │ │ movq $0x0,-0x10(%rbp) │ │ │ │ │ R_X86_64_32S stg_bh_upd_frame_info │ │ │ │ │ mov %rax,-0x8(%rbp) │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .Lrlnr_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .Lrmnc_bytes-0x4 │ │ │ │ │ add $0xfffffffffffffff0,%rbp │ │ │ │ │ jmp 1572 │ │ │ │ │ R_X86_64_PLT32 base_ControlziExceptionziBase_patError_info-0x4 │ │ │ │ │ jmp *(%rbx) │ │ │ │ │ jmp *-0x10(%r13) │ │ │ │ │ ... │ │ │ │ │ adc $0x0,%eax │ │ │ │ │ @@ -1930,15 +1930,15 @@ │ │ │ │ │ add $0x8,%rsp │ │ │ │ │ test %rax,%rax │ │ │ │ │ je 1682 │ │ │ │ │ movq $0x0,-0x10(%rbp) │ │ │ │ │ R_X86_64_32S stg_bh_upd_frame_info │ │ │ │ │ mov %rax,-0x8(%rbp) │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .Lrlnu_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .Lrmnf_bytes-0x4 │ │ │ │ │ add $0xfffffffffffffff0,%rbp │ │ │ │ │ jmp 1682 │ │ │ │ │ R_X86_64_PLT32 base_ControlziExceptionziBase_patError_info-0x4 │ │ │ │ │ jmp *(%rbx) │ │ │ │ │ jmp *-0x10(%r13) │ │ │ │ │ ... │ │ │ │ │ adc $0x0,%eax │ │ │ │ │ @@ -1958,15 +1958,15 @@ │ │ │ │ │ add $0x8,%rsp │ │ │ │ │ test %rax,%rax │ │ │ │ │ je 16da │ │ │ │ │ movq $0x0,-0x10(%rbp) │ │ │ │ │ R_X86_64_32S stg_bh_upd_frame_info │ │ │ │ │ mov %rax,-0x8(%rbp) │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .Lrlnw_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .Lrmnh_bytes-0x4 │ │ │ │ │ add $0xfffffffffffffff0,%rbp │ │ │ │ │ jmp 16da │ │ │ │ │ R_X86_64_PLT32 base_ControlziExceptionziBase_patError_info-0x4 │ │ │ │ │ jmp *(%rbx) │ │ │ │ │ jmp *-0x10(%r13) │ │ │ │ │ adc %al,(%rax) │ │ │ │ │ add %al,(%rax) │ │ │ │ │ @@ -7289,27 +7289,27 @@ │ │ │ │ │ jmp *0x0(%rbp) │ │ │ │ │ movq $0x18,0x388(%r13) │ │ │ │ │ lea 0x0(%rip),%rbx │ │ │ │ │ R_X86_64_PC32 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziParLustre_HappyCons_closure-0x4 │ │ │ │ │ jmp *-0x8(%r13) │ │ │ │ │ nopl (%rax) │ │ │ │ │ ... │ │ │ │ │ - R_X86_64_PC64 inv5_str-0x18 │ │ │ │ │ + R_X86_64_PC64 iolx_str-0x18 │ │ │ │ │ add %eax,(%rax) │ │ │ │ │ add %al,(%rax) │ │ │ │ │ add (%rax),%eax │ │ │ │ │ add %al,(%rax) │ │ │ │ │ add %al,(%rax) │ │ │ │ │ ... │ │ │ │ │ │ │ │ │ │ 0000000000005c20 : │ │ │ │ │ H...e.f......... │ │ │ │ │ - R_X86_64_PC64 inva_str-0x18 │ │ │ │ │ + R_X86_64_PC64 iolC_str-0x18 │ │ │ │ │ ................ │ │ │ │ │ │ │ │ │ │ 0000000000005c40 : │ │ │ │ │ H...e.f......... │ │ │ │ │ - R_X86_64_PC64 invf_str-0x18 │ │ │ │ │ + R_X86_64_PC64 iolH_str-0x18 │ │ │ │ │ ................ │ │ │ │ │ │ │ │ │ │ 0000000000005c60 : │ │ │ │ │ H...e. │ │ │ │ ├── readelf --wide --decompress --hex-dump=.strtab {} │ │ │ │ │ @@ -1,13 +1,13 @@ │ │ │ │ │ │ │ │ │ │ Hex dump of section '.strtab': │ │ │ │ │ - 0x00000000 00696e76 355f7374 7200696e 76615f73 .inv5_str.inva_s │ │ │ │ │ - 0x00000010 74720069 6e76665f 73747200 2e4c726c tr.invf_str..Lrl │ │ │ │ │ - 0x00000020 6e725f62 79746573 002e4c72 6c6e755f nr_bytes..Lrlnu_ │ │ │ │ │ - 0x00000030 62797465 73002e4c 726c6e77 5f627974 bytes..Lrlnw_byt │ │ │ │ │ + 0x00000000 00696f6c 785f7374 7200696f 6c435f73 .iolx_str.iolC_s │ │ │ │ │ + 0x00000010 74720069 6f6c485f 73747200 2e4c726d tr.iolH_str..Lrm │ │ │ │ │ + 0x00000020 6e635f62 79746573 002e4c72 6d6e665f nc_bytes..Lrmnf_ │ │ │ │ │ + 0x00000030 62797465 73002e4c 726d6e68 5f627974 bytes..Lrmnh_byt │ │ │ │ │ 0x00000040 6573006f 676d617a 6d6c616e 67756167 es.ogmazmlanguag │ │ │ │ │ 0x00000050 657a6d6c 75737472 657a6d31 7a693131 ezmlustrezm1zi11 │ │ │ │ │ 0x00000060 7a69307a 6d457a7a 4b594259 616e4461 zi0zmEzzKYBYanDa │ │ │ │ │ 0x00000070 554b3355 315a5a56 7a7a6468 34555f4c UK3U1ZZVzzdh4U_L │ │ │ │ │ 0x00000080 616e6775 6167657a 694c7573 7472657a anguageziLustrez │ │ │ │ │ 0x00000090 69506172 4c757374 72655f7a 6474637a iParLustre_zdtcz │ │ │ │ │ 0x000000a0 71486170 7079417a 68335f62 79746573 qHappyAzh3_bytes │ │ │ ├── PrintLustre.o │ │ │ │ ├── readelf --wide --symbols {} │ │ │ │ │ @@ -2,20 +2,20 @@ │ │ │ │ │ Symbol table '.symtab' contains 266 entries: │ │ │ │ │ Num: Value Size Type Bind Vis Ndx Name │ │ │ │ │ 0: 0000000000000000 0 NOTYPE LOCAL DEFAULT UND │ │ │ │ │ 1: 0000000000000000 0 SECTION LOCAL DEFAULT 1 .text │ │ │ │ │ 2: 0000000000000000 0 SECTION LOCAL DEFAULT 3 .data │ │ │ │ │ 3: 0000000000000000 0 SECTION LOCAL DEFAULT 6 .rodata.str │ │ │ │ │ 4: 0000000000000000 0 SECTION LOCAL DEFAULT 7 .rodata │ │ │ │ │ - 5: 000000000000004e 0 NOTYPE LOCAL DEFAULT 6 .LrkI9_bytes │ │ │ │ │ - 6: 000000000000004c 0 NOTYPE LOCAL DEFAULT 6 .LrkIb_bytes │ │ │ │ │ - 7: 0000000000000017 0 NOTYPE LOCAL DEFAULT 6 .LrkId_bytes │ │ │ │ │ - 8: 0000000000000014 0 NOTYPE LOCAL DEFAULT 6 .LrkIf_bytes │ │ │ │ │ - 9: 0000000000000011 0 NOTYPE LOCAL DEFAULT 6 .LrkIh_bytes │ │ │ │ │ - 10: 0000000000000000 0 NOTYPE LOCAL DEFAULT 6 .LrkIn_bytes │ │ │ │ │ + 5: 000000000000004e 0 NOTYPE LOCAL DEFAULT 6 .LrkEa_bytes │ │ │ │ │ + 6: 000000000000004c 0 NOTYPE LOCAL DEFAULT 6 .LrkEc_bytes │ │ │ │ │ + 7: 0000000000000017 0 NOTYPE LOCAL DEFAULT 6 .LrkEe_bytes │ │ │ │ │ + 8: 0000000000000014 0 NOTYPE LOCAL DEFAULT 6 .LrkEg_bytes │ │ │ │ │ + 9: 0000000000000011 0 NOTYPE LOCAL DEFAULT 6 .LrkEi_bytes │ │ │ │ │ + 10: 0000000000000000 0 NOTYPE LOCAL DEFAULT 6 .LrkEo_bytes │ │ │ │ │ 11: 0000000000000008 0 OBJECT GLOBAL DEFAULT 6 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziPrintLustre_zdfPrintChar1_bytes │ │ │ │ │ 12: 000000000000000b 0 OBJECT GLOBAL DEFAULT 6 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziPrintLustre_zdfPrintChar2_bytes │ │ │ │ │ 13: 000000000000000e 0 OBJECT GLOBAL DEFAULT 6 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziPrintLustre_zdfPrintChar3_bytes │ │ │ │ │ 14: 0000000000000019 0 OBJECT GLOBAL DEFAULT 6 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziPrintLustre_zdfPrintOp1Pre2_bytes │ │ │ │ │ 15: 000000000000001b 0 OBJECT GLOBAL DEFAULT 6 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziPrintLustre_zdfPrintOp1Pre4_bytes │ │ │ │ │ 16: 000000000000001f 0 OBJECT GLOBAL DEFAULT 6 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziPrintLustre_zdfPrintOp1Pre6_bytes │ │ │ │ │ 17: 0000000000000021 0 OBJECT GLOBAL DEFAULT 6 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziPrintLustre_zdfPrintOp1Pre8_bytes │ │ │ │ ├── readelf --wide --relocs {} │ │ │ │ │ @@ -174,16 +174,16 @@ │ │ │ │ │ 000000000000149a 0000008d0000000b R_X86_64_32S 00000000000003d8 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziPrintLustre_zdfPrintNumOp2In3_closure + 1 │ │ │ │ │ 00000000000014c1 000000010000000b R_X86_64_32S 0000000000000000 .text + 1350 │ │ │ │ │ 00000000000014e8 000000010000000b R_X86_64_32S 0000000000000000 .text + 1538 │ │ │ │ │ 000000000000150c 000000010000000b R_X86_64_32S 0000000000000000 .text + 1410 │ │ │ │ │ 0000000000001575 000000010000000b R_X86_64_32S 0000000000000000 .text + 15a0 │ │ │ │ │ 00000000000015a4 000000010000000b R_X86_64_32S 0000000000000000 .text + 15d0 │ │ │ │ │ 00000000000015e7 0000009300000002 R_X86_64_PC32 00000000000003f0 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziPrintLustre_zdfPrintNumOp2Inzuzdcprt_closure - 4 │ │ │ │ │ -000000000000162e 0000000500000002 R_X86_64_PC32 000000000000004e .LrkI9_bytes - 4 │ │ │ │ │ -0000000000001656 0000000600000002 R_X86_64_PC32 000000000000004c .LrkIb_bytes - 4 │ │ │ │ │ +000000000000162e 0000000500000002 R_X86_64_PC32 000000000000004e .LrkEa_bytes - 4 │ │ │ │ │ +0000000000001656 0000000600000002 R_X86_64_PC32 000000000000004c .LrkEc_bytes - 4 │ │ │ │ │ 0000000000001674 0000004b00000002 R_X86_64_PC32 0000000000000000 base_GHCziShow_zdwzdcshowsPrec15_closure - 4 │ │ │ │ │ 0000000000001685 000000010000000b R_X86_64_32S 0000000000000000 .text + 16b0 │ │ │ │ │ 00000000000016ac 0000004b00000002 R_X86_64_PC32 0000000000000000 base_GHCziShow_zdwzdcshowsPrec15_closure - 4 │ │ │ │ │ 00000000000016dc 0000004b00000002 R_X86_64_PC32 0000000000000000 base_GHCziShow_zdwzdcshowsPrec15_closure - 4 │ │ │ │ │ 00000000000016ed 000000010000000b R_X86_64_32S 0000000000000000 .text + 1718 │ │ │ │ │ 0000000000001714 0000004b00000002 R_X86_64_PC32 0000000000000000 base_GHCziShow_zdwzdcshowsPrec15_closure - 4 │ │ │ │ │ 000000000000178c 0000009600000002 R_X86_64_PC32 0000000000000410 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziPrintLustre_zdwzdcprt4_closure - 4 │ │ │ │ │ @@ -447,17 +447,17 @@ │ │ │ │ │ 0000000000003565 000000010000000b R_X86_64_32S 0000000000000000 .text + 31d8 │ │ │ │ │ 000000000000358c 000000010000000b R_X86_64_32S 0000000000000000 .text + 3290 │ │ │ │ │ 00000000000035b3 000000010000000b R_X86_64_32S 0000000000000000 .text + 3348 │ │ │ │ │ 00000000000035da 000000010000000b R_X86_64_32S 0000000000000000 .text + 3418 │ │ │ │ │ 0000000000003645 000000010000000b R_X86_64_32S 0000000000000000 .text + 3670 │ │ │ │ │ 0000000000003674 000000010000000b R_X86_64_32S 0000000000000000 .text + 36a0 │ │ │ │ │ 00000000000036b7 000000c900000002 R_X86_64_PC32 00000000000004f0 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziPrintLustre_zdfPrintOp1Prezuzdcprt_closure - 4 │ │ │ │ │ -00000000000036fe 0000000700000002 R_X86_64_PC32 0000000000000017 .LrkId_bytes - 4 │ │ │ │ │ -0000000000003726 0000000800000002 R_X86_64_PC32 0000000000000014 .LrkIf_bytes - 4 │ │ │ │ │ -000000000000374e 0000000900000002 R_X86_64_PC32 0000000000000011 .LrkIh_bytes - 4 │ │ │ │ │ +00000000000036fe 0000000700000002 R_X86_64_PC32 0000000000000017 .LrkEe_bytes - 4 │ │ │ │ │ +0000000000003726 0000000800000002 R_X86_64_PC32 0000000000000014 .LrkEg_bytes - 4 │ │ │ │ │ +000000000000374e 0000000900000002 R_X86_64_PC32 0000000000000011 .LrkEi_bytes - 4 │ │ │ │ │ 0000000000003764 000000cc00000002 R_X86_64_PC32 0000000000000518 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziPrintLustre_zdwzdcprt2_closure - 4 │ │ │ │ │ 0000000000003775 0000003b0000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 0000000000003781 000000010000000b R_X86_64_32S 0000000000000000 .text + 37a8 │ │ │ │ │ 00000000000037a4 000000cc00000002 R_X86_64_PC32 0000000000000518 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziPrintLustre_zdwzdcprt2_closure - 4 │ │ │ │ │ 00000000000037ea 0000003b0000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 00000000000037ff 000000310000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 0000000000003808 000000020000000b R_X86_64_32S 0000000000000000 .data + 401 │ │ │ │ │ @@ -1068,15 +1068,15 @@ │ │ │ │ │ 00000000000087a3 000000010000000b R_X86_64_32S 0000000000000000 .text + 86d8 │ │ │ │ │ 00000000000087b4 000000fb00000002 R_X86_64_PC32 0000000000000000 ghczmprim_GHCziTypes_True_closure - 2 │ │ │ │ │ 00000000000087e4 000000f600000002 R_X86_64_PC32 0000000000000668 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziPrintLustre_printTreezurend_closure - 4 │ │ │ │ │ 0000000000008802 0000003b0000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 000000000000881b 000000010000000b R_X86_64_32S 0000000000000000 .text + 8770 │ │ │ │ │ 0000000000008833 000000310000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 000000000000883c 000000370000000b R_X86_64_32S 0000000000000000 stg_CHARLIKE_closure + a1 │ │ │ │ │ -0000000000008851 0000000a00000002 R_X86_64_PC32 0000000000000000 .LrkIn_bytes - 4 │ │ │ │ │ +0000000000008851 0000000a00000002 R_X86_64_PC32 0000000000000000 .LrkEo_bytes - 4 │ │ │ │ │ 000000000000887c 000000f600000002 R_X86_64_PC32 0000000000000668 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziPrintLustre_printTreezurend_closure - 4 │ │ │ │ │ 00000000000088a2 0000003b0000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 00000000000088bb 000000010000000b R_X86_64_32S 0000000000000000 .text + 87e8 │ │ │ │ │ 00000000000088d1 000000010000000b R_X86_64_32S 0000000000000000 .text + 8900 │ │ │ │ │ 000000000000895d 0000003b0000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 0000000000008969 000000010000000b R_X86_64_32S 0000000000000000 .text + 8990 │ │ │ │ │ 00000000000089a9 000000fc0000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_Izh_con_info + 0 │ │ │ │ │ @@ -1085,15 +1085,15 @@ │ │ │ │ │ 0000000000008a1b 000000010000000b R_X86_64_32S 0000000000000000 .text + 8950 │ │ │ │ │ 0000000000008a2c 000000fb00000002 R_X86_64_PC32 0000000000000000 ghczmprim_GHCziTypes_True_closure - 2 │ │ │ │ │ 0000000000008a5c 000000f600000002 R_X86_64_PC32 0000000000000668 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziPrintLustre_printTreezurend_closure - 4 │ │ │ │ │ 0000000000008a7a 0000003b0000000b R_X86_64_32S 0000000000000000 stg_upd_frame_info + 0 │ │ │ │ │ 0000000000008a93 000000010000000b R_X86_64_32S 0000000000000000 .text + 89e8 │ │ │ │ │ 0000000000008aab 000000310000000b R_X86_64_32S 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ 0000000000008ab4 000000370000000b R_X86_64_32S 0000000000000000 stg_CHARLIKE_closure + a1 │ │ │ │ │ -0000000000008ac9 0000000a00000002 R_X86_64_PC32 0000000000000000 .LrkIn_bytes - 4 │ │ │ │ │ +0000000000008ac9 0000000a00000002 R_X86_64_PC32 0000000000000000 .LrkEo_bytes - 4 │ │ │ │ │ 0000000000008b11 000000010000000b R_X86_64_32S 0000000000000000 .text + 8b40 │ │ │ │ │ 0000000000008b3c 000000f600000002 R_X86_64_PC32 0000000000000668 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziPrintLustre_printTreezurend_closure - 4 │ │ │ │ │ 0000000000008b54 000000010000000b R_X86_64_32S 0000000000000000 .text + 8b88 │ │ │ │ │ 0000000000008b84 000000f600000002 R_X86_64_PC32 0000000000000668 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziPrintLustre_printTreezurend_closure - 4 │ │ │ │ │ 0000000000008b9c 000000010000000b R_X86_64_32S 0000000000000000 .text + 8bc8 │ │ │ │ │ 0000000000008bc4 000000f600000002 R_X86_64_PC32 0000000000000668 ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziPrintLustre_printTreezurend_closure - 4 │ │ │ │ │ 0000000000008bfa 000000010000000b R_X86_64_32S 0000000000000000 .text + 8c18 │ │ │ │ ├── strings --all --bytes=8 {} │ │ │ │ │ @@ -1,16 +1,16 @@ │ │ │ │ │ 'C:Print │ │ │ │ │ Language.Lustre.PrintLustre │ │ │ │ │ ogma-language-lustre-1.11.0-EzKYBYanDaUK3U1ZVzdh4U │ │ │ │ │ -.LrkI9_bytes │ │ │ │ │ -.LrkIb_bytes │ │ │ │ │ -.LrkId_bytes │ │ │ │ │ -.LrkIf_bytes │ │ │ │ │ -.LrkIh_bytes │ │ │ │ │ -.LrkIn_bytes │ │ │ │ │ +.LrkEa_bytes │ │ │ │ │ +.LrkEc_bytes │ │ │ │ │ +.LrkEe_bytes │ │ │ │ │ +.LrkEg_bytes │ │ │ │ │ +.LrkEi_bytes │ │ │ │ │ +.LrkEo_bytes │ │ │ │ │ ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziPrintLustre_zdfPrintChar1_bytes │ │ │ │ │ ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziPrintLustre_zdfPrintChar2_bytes │ │ │ │ │ ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziPrintLustre_zdfPrintChar3_bytes │ │ │ │ │ ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziPrintLustre_zdfPrintOp1Pre2_bytes │ │ │ │ │ ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziPrintLustre_zdfPrintOp1Pre4_bytes │ │ │ │ │ ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziPrintLustre_zdfPrintOp1Pre6_bytes │ │ │ │ │ ogmazmlanguagezmlustrezm1zi11zi0zmEzzKYBYanDaUK3U1ZZVzzdh4U_LanguageziLustreziPrintLustre_zdfPrintOp1Pre8_bytes │ │ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {} │ │ │ │ │ @@ -1739,28 +1739,28 @@ │ │ │ │ │ add %al,(%rax) │ │ │ │ │ add %cl,(%rsi) │ │ │ │ │ add %al,(%rax) │ │ │ │ │ add %al,(%rax) │ │ │ │ │ add %al,(%rax) │ │ │ │ │ add %cl,-0xa(%rcx,%rcx,4) │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .LrkI9_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .LrkEa_bytes-0x4 │ │ │ │ │ jmp 1637 │ │ │ │ │ R_X86_64_PLT32 ghczmprim_GHCziCString_unpackAppendCStringzh_info-0x4 │ │ │ │ │ nop │ │ │ │ │ add $0x1000000,%eax │ │ │ │ │ ... │ │ │ │ │ add %al,(%rax) │ │ │ │ │ add %cl,(%rsi) │ │ │ │ │ add %al,(%rax) │ │ │ │ │ add %al,(%rax) │ │ │ │ │ add %al,(%rax) │ │ │ │ │ add %cl,-0xa(%rcx,%rcx,4) │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .LrkIb_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .LrkEc_bytes-0x4 │ │ │ │ │ jmp 165f │ │ │ │ │ R_X86_64_PLT32 ghczmprim_GHCziCString_unpackAppendCStringzh_info-0x4 │ │ │ │ │ nop │ │ │ │ │ add $0x1000000,%eax │ │ │ │ │ add %al,(%rax) │ │ │ │ │ add %al,(%rcx) │ │ │ │ │ add %al,(%rax) │ │ │ │ │ @@ -4245,41 +4245,41 @@ │ │ │ │ │ add %al,(%rax) │ │ │ │ │ add %cl,(%rsi) │ │ │ │ │ add %al,(%rax) │ │ │ │ │ add %al,(%rax) │ │ │ │ │ add %al,(%rax) │ │ │ │ │ add %cl,-0xa(%rcx,%rcx,4) │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .LrkId_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .LrkEe_bytes-0x4 │ │ │ │ │ jmp 3707 │ │ │ │ │ R_X86_64_PLT32 ghczmprim_GHCziCString_unpackAppendCStringzh_info-0x4 │ │ │ │ │ nop │ │ │ │ │ add $0x1000000,%eax │ │ │ │ │ ... │ │ │ │ │ add %al,(%rax) │ │ │ │ │ add %cl,(%rsi) │ │ │ │ │ add %al,(%rax) │ │ │ │ │ add %al,(%rax) │ │ │ │ │ add %al,(%rax) │ │ │ │ │ add %cl,-0xa(%rcx,%rcx,4) │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .LrkIf_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .LrkEg_bytes-0x4 │ │ │ │ │ jmp 372f │ │ │ │ │ R_X86_64_PLT32 ghczmprim_GHCziCString_unpackAppendCStringzh_info-0x4 │ │ │ │ │ nop │ │ │ │ │ add $0x1000000,%eax │ │ │ │ │ ... │ │ │ │ │ add %al,(%rax) │ │ │ │ │ add %cl,(%rsi) │ │ │ │ │ add %al,(%rax) │ │ │ │ │ add %al,(%rax) │ │ │ │ │ add %al,(%rax) │ │ │ │ │ add %cl,-0xa(%rcx,%rcx,4) │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .LrkIh_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .LrkEi_bytes-0x4 │ │ │ │ │ jmp 3757 │ │ │ │ │ R_X86_64_PLT32 ghczmprim_GHCziCString_unpackAppendCStringzh_info-0x4 │ │ │ │ │ nop │ │ │ │ │ add %eax,(%rax) │ │ │ │ │ add %al,(%rax) │ │ │ │ │ add %al,(%rax) │ │ │ │ │ add %al,(%rax) │ │ │ │ │ @@ -10341,15 +10341,15 @@ │ │ │ │ │ R_X86_64_32S ghczmprim_GHCziTypes_ZC_con_info │ │ │ │ │ movq $0x0,-0x8(%r12) │ │ │ │ │ R_X86_64_32S stg_CHARLIKE_closure+0xa1 │ │ │ │ │ lea -0x38(%r12),%rax │ │ │ │ │ mov %rax,(%r12) │ │ │ │ │ lea -0xe(%r12),%rsi │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .LrkIn_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .LrkEo_bytes-0x4 │ │ │ │ │ add $0xfffffffffffffff0,%rbp │ │ │ │ │ jmp 885e │ │ │ │ │ R_X86_64_PLT32 ghczmprim_GHCziCString_unpackAppendCStringzh_info-0x4 │ │ │ │ │ movq $0x40,0x388(%r13) │ │ │ │ │ jmp *-0x10(%r13) │ │ │ │ │ nopl (%rax) │ │ │ │ │ add (%rax),%eax │ │ │ │ │ @@ -10525,15 +10525,15 @@ │ │ │ │ │ R_X86_64_32S ghczmprim_GHCziTypes_ZC_con_info │ │ │ │ │ movq $0x0,-0x8(%r12) │ │ │ │ │ R_X86_64_32S stg_CHARLIKE_closure+0xa1 │ │ │ │ │ lea -0x38(%r12),%rax │ │ │ │ │ mov %rax,(%r12) │ │ │ │ │ lea -0xe(%r12),%rsi │ │ │ │ │ lea 0x0(%rip),%r14 │ │ │ │ │ - R_X86_64_PC32 .LrkIn_bytes-0x4 │ │ │ │ │ + R_X86_64_PC32 .LrkEo_bytes-0x4 │ │ │ │ │ add $0xfffffffffffffff0,%rbp │ │ │ │ │ jmp 8ad6 │ │ │ │ │ R_X86_64_PLT32 ghczmprim_GHCziCString_unpackAppendCStringzh_info-0x4 │ │ │ │ │ movq $0x40,0x388(%r13) │ │ │ │ │ jmp *-0x10(%r13) │ │ │ │ │ nopl (%rax) │ │ │ │ │ sbb %al,(%rax) │ │ │ │ ├── readelf --wide --decompress --hex-dump=.strtab {} │ │ │ │ │ @@ -1,14 +1,14 @@ │ │ │ │ │ │ │ │ │ │ Hex dump of section '.strtab': │ │ │ │ │ - 0x00000000 002e4c72 6b49395f 62797465 73002e4c ..LrkI9_bytes..L │ │ │ │ │ - 0x00000010 726b4962 5f627974 6573002e 4c726b49 rkIb_bytes..LrkI │ │ │ │ │ - 0x00000020 645f6279 74657300 2e4c726b 49665f62 d_bytes..LrkIf_b │ │ │ │ │ - 0x00000030 79746573 002e4c72 6b49685f 62797465 ytes..LrkIh_byte │ │ │ │ │ - 0x00000040 73002e4c 726b496e 5f627974 6573006f s..LrkIn_bytes.o │ │ │ │ │ + 0x00000000 002e4c72 6b45615f 62797465 73002e4c ..LrkEa_bytes..L │ │ │ │ │ + 0x00000010 726b4563 5f627974 6573002e 4c726b45 rkEc_bytes..LrkE │ │ │ │ │ + 0x00000020 655f6279 74657300 2e4c726b 45675f62 e_bytes..LrkEg_b │ │ │ │ │ + 0x00000030 79746573 002e4c72 6b45695f 62797465 ytes..LrkEi_byte │ │ │ │ │ + 0x00000040 73002e4c 726b456f 5f627974 6573006f s..LrkEo_bytes.o │ │ │ │ │ 0x00000050 676d617a 6d6c616e 67756167 657a6d6c gmazmlanguagezml │ │ │ │ │ 0x00000060 75737472 657a6d31 7a693131 7a69307a ustrezm1zi11zi0z │ │ │ │ │ 0x00000070 6d457a7a 4b594259 616e4461 554b3355 mEzzKYBYanDaUK3U │ │ │ │ │ 0x00000080 315a5a56 7a7a6468 34555f4c 616e6775 1ZZVzzdh4U_Langu │ │ │ │ │ 0x00000090 6167657a 694c7573 7472657a 69507269 ageziLustreziPri │ │ │ │ │ 0x000000a0 6e744c75 73747265 5f7a6466 5072696e ntLustre_zdfPrin │ │ │ │ │ 0x000000b0 74436861 72315f62 79746573 006f676d tChar1_bytes.ogm