Similarity

00140a10
00140a10camlHtmlMath.close_display_598:
00140a10lea r10, [rsp-352]
00140a18cmp r10, [r14+40]
00140a1cjb 0x14101e
00140a22
00140a22loc_140a22:
00140a22sub rsp, 32
00140a26mov [rsp+8], rax
00140a2blea rax, [rip+0x1e963e]
00140a32mov rax, [rax+80]
00140a36mov rax, [rax]
00140a39cmp rax, 5
00140a3djle 0x140a86
00140a3flea rax, [rip+0x197a3a]
00140a46call camlHtmlCommon.prerr_flags_1001
00140a4blea rax, [rip+0x19af5e]
00140a52mov rax, [rax+216]
00140a59call camlHtmlCommon.pretty_stack_778
00140a5elea rax, [rip+0x19af4b]
00140a65mov rax, [rax+168]
00140a6cmov rax, [rax]
00140a6fmov rbx, [rax+32]
00140a73lea rax, [rip+0x1ecb9e]
00140a7amov rax, [rax+312]
00140a81call camlDoOut.debug_683
00140a86
00140a86loc_140a86:
00140a86mov eax, 1
00140a8bcall camlHtmlCommon.flush_freeze_1483
00140a90cmp rax, 1
00140a94jne 0x140ff0
00140a9amov eax, 21
00140a9fcall camlHtmlCommon.close_flow_1403
00140aa4lea rax, [rip+0x1e95c5]
00140aabmov rax, [rax+80]
00140aafmov rax, [rax]
00140ab2cmp rax, 7
00140ab6jle 0x140b0d
00140ab8lea rbx, [rip+0x197971]
00140abflea rax, [rip+0x1ecb52]
00140ac6mov rax, [rax+312]
00140acdcall Stdlib.Printf.fprintf
00140ad2lea rax, [rip+0x19aed7]
00140ad9mov rax, [rax+216]
00140ae0call camlHtmlCommon.pretty_stack_778
00140ae5lea rax, [rip+0x19aec4]
00140aecmov rax, [rax+168]
00140af3mov rax, [rax]
00140af6mov rbx, [rax+32]
00140afalea rax, [rip+0x1ecb17]
00140b01mov rax, [rax+312]
00140b08call camlDoOut.debug_683
00140b0d
00140b0dloc_140b0d:
00140b0dlea rax, [rip+0x19ae9c]
00140b14mov rax, [rax+312]
00140b1bmov rax, [rax+16]
00140b1fmov [rsp], rax
00140b23lea rbx, [rip+0x1e9546]
00140b2amov rbx, [rbx+80]
00140b2emov rbx, [rbx]
00140b31cmp rbx, 5
00140b35jle 0x140b63
00140b37mov [rsp+16], rax
00140b3clea rbx, [rip+0x19781d]
00140b43lea rax, [rip+0x1ecace]
00140b4amov rax, [rax+312]
00140b51call Stdlib.Printf.fprintf
00140b56mov rbx, rax
00140b59mov rdi, [rbx]
00140b5cmov rax, [rsp+16]
00140b61call rdi
00140b63
00140b63loc_140b63:
00140b63mov rax, [rsp]
00140b67cmp rax, 1
00140b6bjne 0x140d80
00140b71lea rbx, [rip+0x19ae38]
00140b78mov rbx, [rbx+312]
00140b7fmov rbx, [rbx+32]
00140b83cmp rbx, 1
00140b87jne 0x140d80
00140b8dmov rbx, [rsp+8]
00140b92cmp rbx, 1
00140b96je 0x140ba4
00140b98mov [rsp+8], rbx
00140b9djmp 0x140d80
00140ba2
00140ba2 66 90 f.
00140ba4
00140ba4loc_140ba4:
00140ba4lea rax, [rip+0x1e94c5]
00140babmov rax, [rax+80]
00140bafmov rax, [rax]
00140bb2cmp rax, 5
00140bb6jle 0x140c06
00140bb8lea rbx, [rip+0x197789]
00140bbflea rax, [rip+0x1eca52]
00140bc6mov rax, [rax+312]
00140bcdcall camlStdlib.output_string_253
00140bd2lea rax, [rip+0x19add7]
00140bd9mov rax, [rax+168]
00140be0mov rax, [rax]
00140be3mov rbx, [rax+32]
00140be7lea rax, [rip+0x1eca2a]
00140beemov rax, [rax+312]
00140bf5call camlDoOut.debug_683
00140bfalea rax, [rip+0x1977df]
00140c01call camlStdlib.prerr_endline_390
00140c06
00140c06loc_140c06:
00140c06lea rax, [rip+0x19ada3]
00140c0dmov rax, [rax+168]
00140c14mov rax, [rax]
00140c17mov rbx, [rax+16]
00140c1bmov [rsp+16], rbx
00140c20mov rax, [rax+8]
00140c24mov [rsp+24], rax
00140c29mov eax, 1
00140c2ecall camlHtmlCommon.do_close_mods_1062
00140c33lea rax, [rip+0x19ad76]
00140c3amov rax, [rax+216]
00140c41call camlHtmlCommon.pop_out_784
00140c46mov rbx, [rax]
00140c49cmp rbx, 19
00140c4dje 0x140c60
00140c4fmov edi, 19
00140c54lea rax, [rip+0x1976d5]
00140c5bcall camlHtmlCommon.failclose_473
00140c60
00140c60loc_140c60:
00140c60mov eax, 1
00140c65call camlHtmlCommon.do_close_mods_1062
00140c6amov eax, 19
00140c6fcall camlHtmlCommon.try_close_block_1323
00140c74lea rax, [rip+0x19ad35]
00140c7bmov rax, [rax+216]
00140c82call camlHtmlCommon.pop_out_784
00140c87mov [rsp+8], rax
00140c8cmov rbx, [rax]
00140c8fmov [rsp], rbx
00140c93test bl, 1
00140c96jne 0x140ca2
00140c98movzx rax, [rbx-8]
00140c9dtest rax, rax
00140ca0je 0x140cb5
00140ca2
00140ca2loc_140ca2:
00140ca2lea rdi, [rip+0x197677]
00140ca9lea rax, [rip+0x197680]
00140cb0call camlHtmlCommon.failclose_473
00140cb5
00140cb5loc_140cb5:
00140cb5mov rax, [rsp]
00140cb9call camlHtmlCommon.try_close_block_1323
00140cbelea rax, [rip+0x19aceb]
00140cc5mov rdi, [rax+168]
00140cccmov rax, [rdi]
00140ccfmov [rsp], rax
00140cd3mov rax, [rsp+8]
00140cd8mov rsi, [rax+16]
00140cdcmov rbx, rsp
00140cdfmov rsp, [r14+64]
00140ce3call caml_modify
00140ce8mov rsp, rbx
00140cebmov eax, 1
00140cf0call camlHtmlCommon.do_close_mods_1062
00140cf5lea rax, [rip+0x19acb4]
00140cfcmov rax, [rax+168]
00140d03mov rax, [rax]
00140d06mov rbx, [rax+32]
00140d0amov rax, [rsp]
00140d0emov rax, [rax+32]
00140d12lea rdi, [rip+0x1e0cdf]
00140d19mov rdi, [rdi+136]
00140d20call camlDoOut.copy_923
00140d25lea rax, [rip+0x19ac84]
00140d2cmov rax, [rax+312]
00140d33mov [rax+24], 1
00140d3bmov [rax+32], 1
00140d43mov rax, [rsp+16]
00140d48mov rbx, [rsp+24]
00140d4dcall camlHtmlCommon.as_envs_683
00140d52lea rbx, [rip+0x19ac57]
00140d59mov rbx, [rbx+168]
00140d60mov rdi, [rbx]
00140d63add rdi, 8
00140d67mov rsi, rax
00140d6amov rbx, rsp
00140d6dmov rsp, [r14+64]
00140d71call caml_modify
00140d76mov rsp, rbx
00140d79jmp 0x140fe6
00140d7e
00140d7e 66 90 f.
00140d80
00140d80loc_140d80:
00140d80cmp rax, 3
00140d84jne 0x140f48
00140d8alea rbx, [rip+0x19ac1f]
00140d91mov rbx, [rbx+312]
00140d98mov rbx, [rbx+32]
00140d9ccmp rbx, 1
00140da0je 0x140f48
00140da6mov rbx, [rsp+8]
00140dabcmp rbx, 1
00140dafjne 0x140f48
00140db5lea rax, [rip+0x1e92b4]
00140dbcmov rax, [rax+80]
00140dc0mov rax, [rax]
00140dc3cmp rax, 5
00140dc7jle 0x140e17
00140dc9lea rbx, [rip+0x197538]
00140dd0lea rax, [rip+0x1ec841]
00140dd7mov rax, [rax+312]
00140ddecall camlStdlib.output_string_253
00140de3lea rax, [rip+0x19abc6]
00140deamov rax, [rax+168]
00140df1mov rax, [rax]
00140df4mov rbx, [rax+32]
00140df8lea rax, [rip+0x1ec819]
00140dffmov rax, [rax+312]
00140e06call camlDoOut.debug_683
00140e0blea rax, [rip+0x1975ce]
00140e12call camlStdlib.prerr_endline_390
00140e17
00140e17loc_140e17:
00140e17mov eax, 47
00140e1ccall camlHtmlCommon.close_flow_1403
00140e21lea rax, [rip+0x19ab88]
00140e28mov rbx, [rax+168]
00140e2fmov rbx, [rbx]
00140e32mov rdi, [rbx+16]
00140e36mov [rsp+16], rdi
00140e3bmov rbx, [rbx+8]
00140e3fmov [rsp+24], rbx
00140e44mov rax, [rax+216]
00140e4bcall camlHtmlCommon.pop_out_784
00140e50mov [rsp+8], rax
00140e55mov rbx, [rax]
00140e58mov [rsp], rbx
00140e5ctest bl, 1
00140e5fjne 0x140e6b
00140e61movzx rax, [rbx-8]
00140e66test rax, rax
00140e69je 0x140e7e
00140e6b
00140e6bloc_140e6b:
00140e6blea rdi, [rip+0x1974ae]
00140e72lea rax, [rip+0x1974b7]
00140e79call camlHtmlCommon.failclose_473
00140e7e
00140e7eloc_140e7e:
00140e7emov rax, [rsp]
00140e82call camlHtmlCommon.try_close_block_1323
00140e87lea rax, [rip+0x19ab22]
00140e8emov rdi, [rax+168]
00140e95mov rax, [rdi]
00140e98mov [rsp], rax
00140e9cmov rax, [rsp+8]
00140ea1mov rsi, [rax+16]
00140ea5mov rbx, rsp
00140ea8mov rsp, [r14+64]
00140eaccall caml_modify
00140eb1mov rsp, rbx
00140eb4mov eax, 1
00140eb9call camlHtmlCommon.do_close_mods_1062
00140ebelea rax, [rip+0x19aaeb]
00140ec5mov rax, [rax+168]
00140eccmov rax, [rax]
00140ecfmov rbx, [rax+32]
00140ed3mov rax, [rsp]
00140ed7mov rax, [rax+32]
00140edblea rdi, [rip+0x1e0b16]
00140ee2mov rdi, [rdi+152]
00140ee9call camlDoOut.copy_no_tag_934
00140eeelea rax, [rip+0x19aabb]
00140ef5mov rax, [rax+312]
00140efcmov [rax+24], 1
00140f04mov [rax+32], 1
00140f0cmov rax, [rsp+16]
00140f11mov rbx, [rsp+24]
00140f16call camlHtmlCommon.as_envs_683
00140f1blea rbx, [rip+0x19aa8e]
00140f22mov rbx, [rbx+168]
00140f29mov rdi, [rbx]
00140f2cadd rdi, 8
00140f30mov rsi, rax
00140f33mov rbx, rsp
00140f36mov rsp, [r14+64]
00140f3acall caml_modify
00140f3fmov rsp, rbx
00140f42jmp 0x140fe6
00140f47
00140f47 90 .
00140f48
00140f48loc_140f48:
00140f48lea rbx, [rip+0x1e9121]
00140f4fmov rbx, [rbx+80]
00140f53mov rbx, [rbx]
00140f56cmp rbx, 5
00140f5ajle 0x140fba
00140f5ccall camlStdlib.string_of_int_175
00140f61mov rbx, rax
00140f64lea rax, [rip+0x197385]
00140f6bcall camlStdlib.$5e_139
00140f70mov rbx, rax
00140f73lea rax, [rip+0x1ec69e]
00140f7amov rax, [rax+312]
00140f81call camlStdlib.output_string_253
00140f86lea rax, [rip+0x19aa23]
00140f8dmov rax, [rax+168]
00140f94mov rax, [rax]
00140f97mov rbx, [rax+32]
00140f9blea rax, [rip+0x1ec676]
00140fa2mov rax, [rax+312]
00140fa9call camlDoOut.debug_683
00140faelea rax, [rip+0x19742b]
00140fb5call camlStdlib.prerr_endline_390
00140fba
00140fbaloc_140fba:
00140fbalea rax, [rip+0x19a9ef]
00140fc1mov rax, [rax+312]
00140fc8mov rbx, [rax+32]
00140fccmov [rax+24], rbx
00140fd0mov eax, 19
00140fd5call camlHtmlCommon.close_flow_1403
00140fdalea rax, [rip+0x19733f]
00140fe1call camlHtmlCommon.close_flow_1403
00140fe6
00140fe6loc_140fe6:
00140fe6mov eax, 1
00140febcall camlHtmlCommon.try_close_display_1493
00140ff0
00140ff0loc_140ff0:
00140ff0lea rax, [rip+0x1e9079]
00140ff7mov rax, [rax+80]
00140ffbmov rax, [rax]
00140ffecmp rax, 5
00141002jle 0x141014
00141004lea rax, [rip+0x1972c5]
0014100badd rsp, 32
0014100fjmp 0x144a00
00141014
00141014loc_141014:
00141014mov eax, 1
00141019add rsp, 32
0014101dret
0014101e
0014101eloc_14101e:
0014101epush 37
00141020call caml_call_realloc_stack
00141025pop r10
00141027jmp 0x140a22
00140a10

0014102c
0014102c // align 0x10

00141030
00141030camlHtmlMath.do_item_display_614:
00141030lea r10, [rsp-344]
00141038cmp r10, [r14+40]
0014103cjb 0x141453
00141042
00141042loc_141042:
00141042sub rsp, 24
00141046mov [rsp], rax
0014104alea rbx, [rip+0x1e901f]
00141051mov rbx, [rbx+80]
00141055mov rbx, [rbx]
00141058cmp rbx, 5
0014105cjle 0x141114
00141062cmp rax, 1
00141066je 0x141074
00141068lea rbx, [rip+0x19be99]
0014106fjmp 0x14107b
00141071
00141071 0f 1f 00 ...
00141074
00141074loc_141074:
00141074lea rbx, [rip+0x19be7d]
0014107b
0014107bloc_14107b:
0014107blea rax, [rip+0x1971e6]
00141082call camlStdlib.$5e_139
00141087mov rbx, rax
0014108alea rax, [rip+0x19a91f]
00141091mov rax, [rax+312]
00141098mov rax, [rax]
0014109bcmp rax, 1
0014109fje 0x1410ac
001410a1lea rax, [rip+0x19be60]
001410a8jmp 0x1410b3
001410aa
001410aa 66 90 f.
001410ac
001410acloc_1410ac:
001410aclea rax, [rip+0x19be45]
001410b3
001410b3loc_1410b3:
001410b3call camlStdlib.$5e_139
001410b8mov rbx, rax
001410bblea rax, [rip+0x1971be]
001410c2call camlStdlib.$5e_139
001410c7mov [rsp+8], rax
001410cclea rax, [rip+0x19a8dd]
001410d3mov rax, [rax+312]
001410damov rax, [rax+16]
001410decall camlStdlib.string_of_int_175
001410e3mov rbx, [rsp+8]
001410e8call camlStdlib.$5e_139
001410edmov rbx, rax
001410f0lea rax, [rip+0x1971a1]
001410f7call camlStdlib.$5e_139
001410fccall camlStdlib.prerr_endline_390
00141101lea rax, [rip+0x19a8a8]
00141108mov rax, [rax+216]
0014110fcall camlHtmlCommon.pretty_stack_778
00141114
00141114loc_141114:
00141114mov rax, [rsp]
00141118cmp rax, 1
0014111cje 0x14113a
0014111elea rax, [rip+0x19a88b]
00141125mov rax, [rax+312]
0014112cmov rax, [rax+24]
00141130cmp rax, 1
00141134je 0x141224
0014113a
0014113aloc_14113a:
0014113alea rax, [rip+0x19a86f]
00141141mov rbx, [rax+312]
00141148mov rbx, [rbx]
0014114bcmp rbx, 1
0014114fjne 0x141224
00141155lea rbx, [rip+0x1e8f14]
0014115cmov rbx, [rbx+80]
00141160mov rbx, [rbx]
00141163cmp rbx, 5
00141167jle 0x141218
0014116dmov rax, [rax+168]
00141174mov rax, [rax]
00141177mov rbx, [rax+32]
0014117blea rax, [rip+0x1ec496]
00141182mov rax, [rax+312]
00141189call camlDoOut.debug_683
0014118elea rax, [rip+0x1970a3]
00141195call camlStdlib.prerr_endline_390
0014119alea rax, [rip+0x19a80f]
001411a1mov rax, [rax+312]
001411a8mov rax, [rax+32]
001411accmp rax, 1
001411b0je 0x1411bc
001411b2lea rbx, [rip+0x19bd4f]
001411b9jmp 0x1411c3
001411bb
001411bb 90 .
001411bc
001411bcloc_1411bc:
001411bclea rbx, [rip+0x19bd35]
001411c3
001411c3loc_1411c3:
001411c3lea rax, [rip+0x197046]
001411cacall camlStdlib.$5e_139
001411cfmov rbx, rax
001411d2lea rax, [rip+0x19a7d7]
001411d9mov rax, [rax+312]
001411e0mov rax, [rax+24]
001411e4cmp rax, 1
001411e8je 0x1411f4
001411ealea rax, [rip+0x19bd17]
001411f1jmp 0x1411fb
001411f3
001411f3 90 .
001411f4
001411f4loc_1411f4:
001411f4lea rax, [rip+0x19bcfd]
001411fb
001411fbloc_1411fb:
001411fbcall camlStdlib.$5e_139
00141200mov rbx, rax
00141203lea rax, [rip+0x197016]
0014120acall camlStdlib.$5e_139
0014120fadd rsp, 24
00141213jmp 0x196d50
00141218
00141218loc_141218:
00141218mov eax, 1
0014121dadd rsp, 24
00141221ret
00141222
00141222 66 90 f.
00141224
00141224loc_141224:
00141224mov eax, 1
00141229call camlHtmlCommon.pop_freeze_1487
0014122emov [rsp+16], rax
00141233lea rax, [rip+0x19a776]
0014123amov rax, [rax+336]
00141241mov rax, [rax+8]
00141245call camlMyStack.pop_292
0014124acmp rax, 1
0014124ejne 0x141264
00141250lea rax, [rip+0x19a759]
00141257mov rax, [rax+312]
0014125emov rax, [rax]
00141261jmp 0x141269
00141263
00141263 90 .
00141264
00141264loc_141264:
00141264mov eax, 3
00141269
00141269loc_141269:
00141269lea rbx, [rip+0x19a740]
00141270mov rbx, [rbx+336]
00141277mov rdi, [rbx+8]
0014127bsub r15, 24
0014127fcmp r15, [r14]
00141282jb 0x141449
00141288
00141288loc_141288:
00141288lea rsi, [r15+8]
0014128cmov [rsi-8], 2048
00141294mov [rsi], rax
00141297mov rax, [rdi]
0014129amov [rsi+8], rax
0014129emov rbx, rsp
001412a1mov rsp, [r14+64]
001412a5call caml_modify
001412aamov rsp, rbx
001412adlea rax, [rip+0x19a6fc]
001412b4mov rbx, [rax+312]
001412bbmov [rbx], 1
001412c2mov rax, [rax+168]
001412c9mov rax, [rax]
001412ccmov rdi, [rax+16]
001412d0mov [rsp], rdi
001412d4mov rax, [rax+8]
001412d8mov [rsp+8], rax
001412ddmov rax, [rbx+16]
001412e1add rax, 2
001412e5mov [rbx+16], rax
001412e9mov eax, 21
001412eecall camlHtmlCommon.close_flow_1403
001412f3mov eax, 19
001412f8call camlHtmlCommon.close_flow_1403
001412fdlea rax, [rip+0x1e8d6c]
00141304mov rax, [rax+80]
00141308mov rax, [rax]
0014130bcmp rax, 5
0014130fjle 0x141345
00141311lea rax, [rip+0x196f30]
00141318call camlStdlib.prerr_endline_390
0014131dlea rax, [rip+0x19a68c]
00141324mov rax, [rax+168]
0014132bmov rax, [rax]
0014132emov rbx, [rax+32]
00141332lea rax, [rip+0x1ec2df]
00141339mov rax, [rax+312]
00141340call camlDoOut.debug_683
00141345
00141345loc_141345:
00141345lea rax, [rip+0x197094]
0014134ccall camlHtmlMath.display_cell_arg_539
00141351mov rbx, rax
00141354mov eax, 19
00141359call camlHtmlCommon.open_block_1363
0014135elea rbx, [rip+0x19707b]
00141365mov eax, 21
0014136acall camlHtmlCommon.open_block_1363
0014136fmov rax, [rsp]
00141373mov rbx, [rsp+8]
00141378call camlHtmlCommon.as_envs_683
0014137dlea rbx, [rip+0x19a62c]
00141384mov rbx, [rbx+168]
0014138bmov rdi, [rbx]
0014138eadd rdi, 8
00141392mov rsi, rax
00141395mov rbx, rsp
00141398mov rsp, [r14+64]
0014139ccall caml_modify
001413a1mov rsp, rbx
001413a4mov esi, 1
001413a9lea rax, [rip+0x19a600]
001413b0mov rax, [rax+168]
001413b7mov rdi, [rax]
001413baadd rdi, 16
001413bemov rbx, rsp
001413c1mov rsp, [r14+64]
001413c5call caml_modify
001413camov rsp, rbx
001413cdmov rbx, [rsp+16]
001413d2mov rax, [rbx+8]
001413d6cmp rax, 1
001413daje 0x141438
001413dcsub r15, 40
001413e0cmp r15, [r14]
001413e3jb 0x141442
001413e5
001413e5loc_1413e5:
001413e5lea rax, [r15+8]
001413e9add rax, 24
001413edmov [rax-8], 1025
001413f5mov rbx, [rbx]
001413f8mov [rax], rbx
001413fblea rbx, [rip+0x19a5ae]
00141402mov rdi, [rbx+216]
00141409lea rsi, [rax-24]
0014140dmov [rsi-8], 2048
00141415mov [rsi], rax
00141418mov rax, [rdi]
0014141bmov [rsi+8], rax
0014141fmov rbx, rsp
00141422mov rsp, [r14+64]
00141426call caml_modify
0014142bmov rsp, rbx
0014142emov eax, 1
00141433add rsp, 24
00141437ret
00141438
00141438loc_141438:
00141438mov eax, 1
0014143dadd rsp, 24
00141441ret
00141442
00141442loc_141442:
00141442call caml_call_gc
00141447jmp 0x1413e5
00141449
00141449loc_141449:
00141449call caml_call_gc
0014144ejmp 0x141288
00141453
00141453loc_141453:
00141453push 36
00141455call caml_call_realloc_stack
0014145apop r10
0014145cjmp 0x141042
00141030

00141461
00141461 // align 0x10

00141470
00141470camlHtmlMath.item_display_621:
00141470mov eax, 1
00141475jmp 0x141030
00141470

0014147a
0014147a // align 0x10

00141480
00141480camlHtmlMath.force_item_display_622:
00141480mov eax, 3
00141485jmp 0x141030
00141480

0014148a
0014148a // align 0x10

00141490
00141490camlHtmlMath.erase_display_627:
00141490lea r10, [rsp-320]
00141498cmp r10, [r14+40]
0014149cjb 0x1414c8
0014149e
0014149eloc_14149e:
0014149emov eax, 21
001414a3call camlHtmlCommon.erase_block_1425
001414a8mov eax, 19
001414adcall camlHtmlCommon.erase_block_1425
001414b2lea rax, [rip+0x196e67]
001414b9call camlHtmlCommon.erase_block_1425
001414bemov eax, 1
001414c3jmp 0x14ac20
001414c8
001414c8loc_1414c8:
001414c8push 33
001414cacall caml_call_realloc_stack
001414cfpop r10
001414d1jmp 0x14149e
00141490

001414d3
001414d3 // align 0x10

001414e0
001414e0camlHtmlMath.open_maths_630:
001414e0lea r10, [rsp-328]
001414e8cmp r10, [r14+40]
001414ecjb 0x141599
001414f2
001414f2loc_1414f2:
001414f2sub rsp, 8
001414f6mov [rsp], rax
001414falea rax, [rip+0x19a4af]
00141501mov rbx, [rax+312]
00141508mov rbx, [rbx+8]
0014150cmov rax, [rax+336]
00141513mov rdi, [rax+16]
00141517sub r15, 24
0014151bcmp r15, [r14]
0014151ejb 0x141592
00141520
00141520loc_141520:
00141520lea rsi, [r15+8]
00141524mov [rsi-8], 2048
0014152cmov [rsi], rbx
0014152fmov rax, [rdi]
00141532mov [rsi+8], rax
00141536mov rbx, rsp
00141539mov rsp, [r14+64]
0014153dcall caml_modify
00141542mov rsp, rbx
00141545lea rax, [rip+0x19a464]
0014154cmov rax, [rax+312]
00141553mov [rax+8], 3
0014155blea rax, [rip+0x196e7e]
00141562call camlHtmlCommon.open_group_1430
00141567mov rax, [rsp]
0014156bcmp rax, 1
0014156fje 0x141588
00141571lea rbx, [rip+0x196f28]
00141578mov eax, 3
0014157dadd rsp, 8
00141581jmp 0x1408f0
00141586
00141586 66 90 f.
00141588
00141588loc_141588:
00141588mov eax, 1
0014158dadd rsp, 8
00141591ret
00141592
00141592loc_141592:
00141592call caml_call_gc
00141597jmp 0x141520
00141599
00141599loc_141599:
00141599push 34
0014159bcall caml_call_realloc_stack
001415a0pop r10
001415a2jmp 0x1414f2
001414e0

001415a7
001415a7 // align 0x10

001415b0
001415b0camlHtmlMath.close_maths_633:
001415b0lea r10, [rsp-320]
001415b8cmp r10, [r14+40]
001415bcjb 0x141607
001415be
001415beloc_1415be:
001415becmp rax, 1
001415c2je 0x1415ce
001415c4mov eax, 3
001415c9call camlHtmlMath.close_display_598
001415ce
001415celoc_1415ce:
001415cemov eax, 1
001415d3call camlHtmlCommon.close_group_1432
001415d8lea rax, [rip+0x19a3d1]
001415dfmov rax, [rax+336]
001415e6mov rax, [rax+16]
001415eacall camlMyStack.pop_292
001415eflea rbx, [rip+0x19a3ba]
001415f6mov rbx, [rbx+312]
001415fdmov [rbx+8], rax
00141601mov eax, 1
00141606ret
00141607
00141607loc_141607:
00141607push 33
00141609call caml_call_realloc_stack
0014160epop r10
00141610jmp 0x1415be
001415b0

00141612
00141612 // align 0x10

00141620
00141620camlHtmlMath.open_vdisplay_636:
00141620lea r10, [rsp-336]
00141628cmp r10, [r14+40]
0014162cjb 0x1416d4
00141632
00141632loc_141632:
00141632sub rsp, 16
00141636mov [rsp+8], rax
0014163bmov [rsp], rbx
0014163flea rax, [rip+0x1e8a2a]
00141646mov rax, [rax+80]
0014164amov rax, [rax]
0014164dcmp rax, 3
00141651jle 0x14165f
00141653lea rax, [rip+0x196b9e]
0014165acall camlStdlib.prerr_endline_390
0014165f
0014165floc_14165f:
0014165fmov rax, [rsp]
00141663cmp rax, 1
00141667jne 0x1416a4
00141669sub r15, 24
0014166dcmp r15, [r14]
00141670jb 0x1416cd
00141672
00141672loc_141672:
00141672lea rax, [r15+8]
00141676mov [rax-8], 2048
0014167elea rbx, [rip+0x1e89eb]
00141685mov rbx, [rbx]
00141688mov [rax], rbx
0014168blea rbx, [rip+0x196b3e]
00141692mov [rax+8], rbx
00141696mov rsp, [r14+48]
0014169apop [r14+48]
0014169epop r11
001416a0jmp r11
001416a3nop
001416a4
001416a4loc_1416a4:
001416a4lea rax, [rip+0x1e89c5]
001416abmov rax, [rax+80]
001416afmov rbx, [rax]
001416b2mov rax, [rsp+8]
001416b7call camlHtmlCommon.display_arg_559
001416bcmov rbx, rax
001416bfmov eax, 15
001416c4add rsp, 16
001416c8jmp 0x149640
001416cd
001416cdloc_1416cd:
001416cdcall caml_call_gc
001416d2jmp 0x141672
001416d4
001416d4loc_1416d4:
001416d4push 35
001416d6call caml_call_realloc_stack
001416dbpop r10
001416ddjmp 0x141632
00141620

001416e2
001416e2 // align 0x10

001416f0
001416f0camlHtmlMath.close_vdisplay_637:
001416f0lea r10, [rsp-320]
001416f8cmp r10, [r14+40]
001416fcjb 0x14173c
001416fe
001416feloc_1416fe:
001416felea rax, [rip+0x1e896b]
00141705mov rax, [rax+80]
00141709mov rax, [rax]
0014170ccmp rax, 3
00141710jle 0x14171e
00141712lea rax, [rip+0x196a9f]
00141719call camlStdlib.prerr_endline_390
0014171e
0014171eloc_14171e:
0014171emov ebx, 15
00141723lea rax, [rip+0x19a286]
0014172amov rax, [rax+856]
00141731call camlHtmlCommon.close_block_loc_1362
00141736mov eax, 1
0014173bret
0014173c
0014173cloc_14173c:
0014173cpush 33
0014173ecall caml_call_realloc_stack
00141743pop r10
00141745jmp 0x1416fe
001416f0

00141747
00141747 // align 0x10

00141750
00141750camlHtmlMath.open_vdisplay_row_638:
00141750lea r10, [rsp-336]
00141758cmp r10, [r14+40]
0014175cjb 0x1417c5
0014175e
0014175eloc_14175e:
0014175esub rsp, 16
00141762mov [rsp], rax
00141766mov [rsp+8], rbx
0014176blea rax, [rip+0x1e88fe]
00141772mov rax, [rax+80]
00141776mov rax, [rax]
00141779cmp rax, 3
0014177djle 0x14178b
0014177flea rax, [rip+0x1969f2]
00141786call camlStdlib.prerr_endline_390
0014178b
0014178bloc_14178b:
0014178bmov eax, 17
00141790mov rbx, [rsp]
00141794call camlHtmlCommon.open_block_1363
00141799mov rax, [rsp+8]
0014179ecall camlHtmlMath.display_cell_arg_539
001417a3mov rbx, rax
001417a6mov eax, 19
001417abcall camlHtmlCommon.open_block_1363
001417b0lea rbx, [rip+0x196ce9]
001417b7mov eax, 1
001417bcadd rsp, 16
001417c0jmp 0x1408f0
001417c5
001417c5loc_1417c5:
001417c5push 35
001417c7call caml_call_realloc_stack
001417ccpop r10
001417cejmp 0x14175e
00141750

001417d0
001417d0camlHtmlMath.close_vdisplay_row_639:
001417d0lea r10, [rsp-320]
001417d8cmp r10, [r14+40]
001417dcjb 0x141837
001417de
001417deloc_1417de:
001417delea rax, [rip+0x1e888b]
001417e5mov rax, [rax+80]
001417e9mov rax, [rax]
001417eccmp rax, 3
001417f0jle 0x1417fe
001417f2lea rax, [rip+0x19695f]
001417f9call camlStdlib.prerr_endline_390
001417fe
001417feloc_1417fe:
001417femov eax, 1
00141803call camlHtmlMath.close_display_598
00141808lea rbx, [rip+0x196939]
0014180fmov eax, 19
00141814call camlHtmlCommon.force_block_1361
00141819mov ebx, 17
0014181elea rax, [rip+0x19a18b]
00141825mov rax, [rax+856]
0014182ccall camlHtmlCommon.close_block_loc_1362
00141831mov eax, 1
00141836ret
00141837
00141837loc_141837:
00141837push 33
00141839call caml_call_realloc_stack
0014183epop r10
00141840jmp 0x1417de
001417d0

00141842
00141842 // align 0x10

00141850
00141850camlHtmlMath.put_sup_sub_650:
00141850lea r10, [rsp-344]
00141858cmp r10, [r14+40]
0014185cjb 0x1418ea
00141862
00141862loc_141862:
00141862sub rsp, 24
00141866mov [rsp+16], rax
0014186bmov [rsp], rbx
0014186fmov [rsp+8], rdi
00141874cmp rax, 1
00141878je 0x141890
0014187alea rbx, [rip+0x196c1f]
00141881mov eax, 1
00141886call camlHtmlMath.open_display_varg_591
0014188bjmp 0x1418a1
0014188d
0014188d 0f 1f 00 ...
00141890
00141890loc_141890:
00141890lea rbx, [rip+0x196b49]
00141897mov eax, 49
0014189ccall camlHtmlCommon.open_block_1363
001418a1
001418a1loc_1418a1:
001418a1mov rbx, [rsp]
001418a5mov rdi, [rbx]
001418a8mov rax, [rsp+8]
001418adcall rdi
001418afmov rax, [rsp+16]
001418b4cmp rax, 1
001418b8je 0x1418c8
001418bamov eax, 1
001418bfadd rsp, 24
001418c3jmp 0x140a10
001418c8
001418c8loc_1418c8:
001418c8mov ebx, 49
001418cdlea rax, [rip+0x19a0dc]
001418d4mov rax, [rax+856]
001418dbcall camlHtmlCommon.close_block_loc_1362
001418e0mov eax, 1
001418e5add rsp, 24
001418e9ret
001418ea
001418ealoc_1418ea:
001418eapush 36
001418eccall caml_call_realloc_stack
001418f1pop r10
001418f3jmp 0x141862
00141850

001418f8
001418f8 // align 0x10

00141900
00141900camlHtmlMath.reput_sup_sub_758:
00141900lea r10, [rsp-336]
00141908cmp r10, [r14+40]
0014190cjb 0x141a31
00141912
00141912loc_141912:
00141912sub rsp, 16
00141916mov rdi, [rbx-8]
0014191ashr rdi, 10
0014191ecmp rdi, 2
00141922jl 0x141930
00141924mov [rsp], rbx
00141928mov [rsp+8], rax
0014192djmp 0x141955
0014192f
0014192f 90 .
00141930
00141930loc_141930:
00141930mov rdi, [rbx]
00141933mov rsi, 0x700000000000000
0014193dcmp rdi, rsi
00141940jne 0x14194c
00141942mov eax, 1
00141947add rsp, 16
0014194bret
0014194c
0014194cloc_14194c:
0014194cmov [rsp], rbx
00141950mov [rsp+8], rax
00141955
00141955loc_141955:
00141955lea rbx, [rip+0x196a84]
0014195cmov eax, 49
00141961call camlHtmlCommon.open_block_1363
00141966mov eax, 1
0014196bcall camlHtmlCommon.clearstyle_1151
00141970lea rax, [rip+0x19a039]
00141977mov rax, [rax+312]
0014197emov rax, [rax+96]
00141982cmp rax, 1
00141986je 0x14199c
00141988lea rax, [rip+0x1e6cb1]
0014198fmov rax, [rax+32]
00141993mov rax, [rax]
00141996cmp rax, 1
0014199ajne 0x1419ba
0014199c
0014199cloc_14199c:
0014199cmov eax, 121
001419a1call camlHtmlCommon.put_char_1453
001419a6mov rax, [rsp+8]
001419abcall camlHtmlCommon.put_1446
001419b0mov eax, 125
001419b5call camlHtmlCommon.put_char_1453
001419ba
001419baloc_1419ba:
001419bamov rax, [rsp]
001419becall camlHtmlCommon.put_1446
001419c3lea rax, [rip+0x199fe6]
001419camov rax, [rax+312]
001419d1mov rax, [rax+96]
001419d5cmp rax, 1
001419d9je 0x1419ef
001419dblea rax, [rip+0x1e6c5e]
001419e2mov rax, [rax+32]
001419e6mov rax, [rax]
001419e9cmp rax, 1
001419edjne 0x141a0f
001419ef
001419efloc_1419ef:
001419eflea rax, [rip+0x196742]
001419f6call camlHtmlCommon.put_1446
001419fbmov rax, [rsp+8]
00141a00call camlHtmlCommon.put_1446
00141a05mov eax, 125
00141a0acall camlHtmlCommon.put_char_1453
00141a0f
00141a0floc_141a0f:
00141a0fmov ebx, 49
00141a14lea rax, [rip+0x199f95]
00141a1bmov rax, [rax+856]
00141a22call camlHtmlCommon.close_block_loc_1362
00141a27mov eax, 1
00141a2cadd rsp, 16
00141a30ret
00141a31
00141a31loc_141a31:
00141a31push 35
00141a33call caml_call_realloc_stack
00141a38pop r10
00141a3ajmp 0x141912
00141900

00141a3f
00141a3f // align 0x10

00141a40
00141a40camlHtmlMath.standard_sup_sub_762:
00141a40lea r10, [rsp-368]
00141a48cmp r10, [r14+40]
00141a4cjb 0x141c90
00141a52
00141a52loc_141a52:
00141a52sub rsp, 48
00141a56mov [rsp], rax
00141a5amov [rsp+24], rbx
00141a5fmov [rsp+8], rsi
00141a64mov [rsp+16], rdx
00141a69sub r15, 48
00141a6dcmp r15, [r14]
00141a70jb 0x141c86
00141a76
00141a76loc_141a76:
00141a76lea rbx, [r15+8]
00141a7amov [rbx-8], 5367
00141a82lea rsi, [rip+535]
00141a89mov [rbx], rsi
00141a8cmov rsi, 0x100000000000005
00141a96mov [rbx+8], rsi
00141a9amov [rbx+16], rax
00141a9emov [rbx+24], rdi
00141aa2mov [rbx+32], rdx
00141aa6mov rax, rbx
00141aa9call camlHtmlCommon.hidden_to_string_1509
00141aaemov [rsp+40], rax
00141ab3mov rax, [rax]
00141ab6mov [rsp+32], rax
00141abbsub r15, 48
00141abfcmp r15, [r14]
00141ac2jb 0x141c7c
00141ac8
00141ac8loc_141ac8:
00141ac8lea rax, [r15+8]
00141accmov [rax-8], 5367
00141ad4lea rbx, [rip+485]
00141adbmov [rax], rbx
00141ademov rbx, 0x100000000000005
00141ae8mov [rax+8], rbx
00141aecmov rbx, [rsp]
00141af0mov [rax+16], rbx
00141af4mov rbx, [rsp+8]
00141af9mov [rax+24], rbx
00141afdmov rbx, [rsp+16]
00141b02mov [rax+32], rbx
00141b06call camlHtmlCommon.hidden_to_string_1509
00141b0bmov rbx, [rax]
00141b0emov [rsp], rbx
00141b12mov rbx, [rsp+16]
00141b17cmp rbx, 1
00141b1bje 0x141c48
00141b21mov rax, [rax+8]
00141b25mov rax, [rax]
00141b28cmp rax, 1
00141b2cje 0x141b38
00141b2emov [rsp+16], rbx
00141b33jmp 0x141b53
00141b35
00141b35 0f 1f 00 ...
00141b38
00141b38loc_141b38:
00141b38mov rax, [rsp+40]
00141b3dmov rax, [rax+8]
00141b41mov rax, [rax]
00141b44cmp rax, 1
00141b48je 0x141c48
00141b4emov [rsp+16], rbx
00141b53
00141b53loc_141b53:
00141b53mov eax, 3
00141b58call camlHtmlMath.do_item_display_614
00141b5dmov eax, 1
00141b62mov rbx, [rsp+16]
00141b67call camlHtmlMath.open_vdisplay_636
00141b6clea rsi, [rip+0x19686d]
00141b73mov rdi, [rsp+32]
00141b78mov rbx, rsp
00141b7bmov rsp, [r14+64]
00141b7fcall caml_string_notequal
00141b84mov rsp, rbx
00141b87cmp rax, 1
00141b8bje 0x141bba
00141b8dlea rbx, [rip+0x19684c]
00141b94mov rax, rbx
00141b97call camlHtmlMath.open_vdisplay_row_638
00141b9cmov eax, 1
00141ba1call camlHtmlCommon.clearstyle_1151
00141ba6mov rax, [rsp+32]
00141babcall camlHtmlCommon.put_1446
00141bb0mov eax, 1
00141bb5call camlHtmlMath.close_vdisplay_row_639
00141bba
00141bbaloc_141bba:
00141bbalea rbx, [rip+0x19681f]
00141bc1mov rax, rbx
00141bc4call camlHtmlMath.open_vdisplay_row_638
00141bc9mov eax, 1
00141bcemov rbx, [rsp+24]
00141bd3mov rdi, [rbx]
00141bd6call rdi
00141bd8mov eax, 1
00141bddcall camlHtmlMath.close_vdisplay_row_639
00141be2lea rsi, [rip+0x1967f7]
00141be9mov rdi, [rsp]
00141bedmov rbx, rsp
00141bf0mov rsp, [r14+64]
00141bf4call caml_string_notequal
00141bf9mov rsp, rbx
00141bfccmp rax, 1
00141c00je 0x141c2e
00141c02lea rbx, [rip+0x1967d7]
00141c09mov rax, rbx
00141c0ccall camlHtmlMath.open_vdisplay_row_638
00141c11mov eax, 1
00141c16call camlHtmlCommon.clearstyle_1151
00141c1bmov rax, [rsp]
00141c1fcall camlHtmlCommon.put_1446
00141c24mov eax, 1
00141c29call camlHtmlMath.close_vdisplay_row_639
00141c2e
00141c2eloc_141c2e:
00141c2emov eax, 1
00141c33call camlHtmlMath.close_vdisplay_637
00141c38mov eax, 3
00141c3dadd rsp, 48
00141c41jmp 0x141030
00141c46
00141c46 66 90 f.
00141c48
00141c48loc_141c48:
00141c48mov eax, 1
00141c4dmov rbx, [rsp+24]
00141c52mov rdi, [rbx]
00141c55call rdi
00141c57lea rax, [rip+0x1964ca]
00141c5emov rbx, [rsp]
00141c62call camlHtmlMath.reput_sup_sub_758
00141c67lea rax, [rip+0x1964aa]
00141c6emov rbx, [rsp+32]
00141c73add rsp, 48
00141c77jmp 0x141900
00141c7c
00141c7cloc_141c7c:
00141c7ccall caml_call_gc
00141c81jmp 0x141ac8
00141c86
00141c86loc_141c86:
00141c86call caml_call_gc
00141c8bjmp 0x141a76
00141c90
00141c90loc_141c90:
00141c90push 39
00141c92call caml_call_realloc_stack
00141c97pop r10
00141c99jmp 0x141a52
00141a40

00141c9e
00141c9e // align 0x10

00141ca0
00141ca0camlHtmlMath.fun_1003:
00141ca0mov rdi, [rbx+24]
00141ca4mov rsi, [rbx+16]
00141ca8mov rax, [rbx+32]
00141cacmov rbx, rsi
00141cafjmp 0x141850
00141ca0

00141cb4
00141cb4 // align 0x10

00141cc0
00141cc0camlHtmlMath.fun_1006:
00141cc0mov rdi, [rbx+24]
00141cc4mov rsi, [rbx+16]
00141cc8mov rax, [rbx+32]
00141cccmov rbx, rsi
00141ccfjmp 0x141850
00141cc0

00141cd4
00141cd4 // align 0x10

00141ce0
00141ce0camlHtmlMath.limit_sup_sub_775:
00141ce0lea r10, [rsp-360]
00141ce8cmp r10, [r14+40]
00141cecjb 0x141ed3
00141cf2
00141cf2loc_141cf2:
00141cf2sub rsp, 40
00141cf6mov [rsp], rax
00141cfamov [rsp+32], rbx
00141cffmov [rsp+8], rsi
00141d04mov [rsp+16], rdx
00141d09sub r15, 48
00141d0dcmp r15, [r14]
00141d10jb 0x141ec9
00141d16
00141d16loc_141d16:
00141d16lea rbx, [r15+8]
00141d1amov [rbx-8], 5367
00141d22lea rsi, [rip+455]
00141d29mov [rbx], rsi
00141d2cmov rsi, 0x100000000000005
00141d36mov [rbx+8], rsi
00141d3amov [rbx+16], rax
00141d3emov [rbx+24], rdi
00141d42mov [rbx+32], rdx
00141d46mov rax, rbx
00141d49call camlHtmlCommon.hidden_to_string_1509
00141d4emov rax, [rax]
00141d51mov [rsp+24], rax
00141d56sub r15, 48
00141d5acmp r15, [r14]
00141d5djb 0x141ebf
00141d63
00141d63loc_141d63:
00141d63lea rax, [r15+8]
00141d67mov [rax-8], 5367
00141d6flea rbx, [rip+410]
00141d76mov [rax], rbx
00141d79mov rbx, 0x100000000000005
00141d83mov [rax+8], rbx
00141d87mov rbx, [rsp]
00141d8bmov [rax+16], rbx
00141d8fmov rbx, [rsp+8]
00141d94mov [rax+24], rbx
00141d98mov rbx, [rsp+16]
00141d9dmov [rax+32], rbx
00141da1call camlHtmlCommon.hidden_to_string_1509
00141da6mov r12, [rax]
00141da9lea rsi, [rip+0x196630]
00141db0mov r13, [rsp+24]
00141db5mov rdi, r13
00141db8mov rbx, rsp
00141dbbmov rsp, [r14+64]
00141dbfcall caml_string_equal
00141dc4mov rsp, rbx
00141dc7cmp rax, 1
00141dcbje 0x141e0c
00141dcdlea rsi, [rip+0x19660c]
00141dd4mov rdi, r12
00141dd7mov rbx, rsp
00141ddamov rsp, [r14+64]
00141ddecall caml_string_equal
00141de3mov rsp, rbx
00141de6cmp rax, 1
00141deaje 0x141e00
00141decmov eax, 1
00141df1mov rbx, [rsp+32]
00141df6mov rdi, [rbx]
00141df9add rsp, 40
00141dfdjmp rdi
00141dffnop
00141e00
00141e00loc_141e00:
00141e00mov [rsp], r12
00141e04mov [rsp+24], r13
00141e09jmp 0x141e15
00141e0bnop
00141e0c
00141e0cloc_141e0c:
00141e0cmov [rsp], r12
00141e10mov [rsp+24], r13
00141e15
00141e15loc_141e15:
00141e15mov eax, 3
00141e1acall camlHtmlMath.do_item_display_614
00141e1fmov eax, 1
00141e24mov rbx, [rsp+16]
00141e29call camlHtmlMath.open_vdisplay_636
00141e2elea rbx, [rip+0x1962bb]
00141e35lea rax, [rip+0x1965a4]
00141e3ccall camlHtmlMath.open_vdisplay_row_638
00141e41mov rax, [rsp+24]
00141e46call camlHtmlCommon.put_1446
00141e4bmov eax, 1
00141e50call camlHtmlMath.close_vdisplay_row_639
00141e55lea rbx, [rip+0x196294]
00141e5clea rax, [rip+0x19657d]
00141e63call camlHtmlMath.open_vdisplay_row_638
00141e68mov eax, 1
00141e6dmov rbx, [rsp+32]
00141e72mov rdi, [rbx]
00141e75call rdi
00141e77mov eax, 1
00141e7ccall camlHtmlMath.close_vdisplay_row_639
00141e81lea rbx, [rip+0x196268]
00141e88lea rax, [rip+0x196551]
00141e8fcall camlHtmlMath.open_vdisplay_row_638
00141e94mov rax, [rsp]
00141e98call camlHtmlCommon.put_1446
00141e9dmov eax, 1
00141ea2call camlHtmlMath.close_vdisplay_row_639
00141ea7mov eax, 1
00141eaccall camlHtmlMath.close_vdisplay_637
00141eb1mov eax, 3
00141eb6add rsp, 40
00141ebajmp 0x141030
00141ebf
00141ebfloc_141ebf:
00141ebfcall caml_call_gc
00141ec4jmp 0x141d63
00141ec9
00141ec9loc_141ec9:
00141ec9call caml_call_gc
00141ecejmp 0x141d16
00141ed3
00141ed3loc_141ed3:
00141ed3push 38
00141ed5call caml_call_realloc_stack
00141edapop r10
00141edcjmp 0x141cf2
00141ce0

00141ee1
00141ee1 // align 0x10

00141ef0
00141ef0camlHtmlMath.fun_1010:
00141ef0mov rdi, [rbx+24]
00141ef4mov rsi, [rbx+16]
00141ef8mov rax, [rbx+32]
00141efcmov rbx, rsi
00141effjmp 0x141850
00141ef0

00141f04
00141f04 // align 0x10

00141f10
00141f10camlHtmlMath.fun_1015:
00141f10mov rdi, [rbx+24]
00141f14mov rsi, [rbx+16]
00141f18mov rax, [rbx+32]
00141f1cmov rbx, rsi
00141f1fjmp 0x141850
00141f10

00141f24
00141f24 // align 0x10

00141f30
00141f30camlHtmlMath.int_sup_sub_786:
00141f30lea r10, [rsp-384]
00141f38cmp r10, [r14+40]
00141f3cjb 0x14218b
00141f42
00141f42loc_141f42:
00141f42sub rsp, 64
00141f46mov [rsp+16], rax
00141f4bmov [rsp+32], rbx
00141f50mov [rsp], rdi
00141f54mov [rsp+56], rsi
00141f59mov [rsp+8], rcx
00141f5emov [rsp+24], r8
00141f63sub r15, 48
00141f67cmp r15, [r14]
00141f6ajb 0x142181
00141f70
00141f70loc_141f70:
00141f70lea rax, [r15+8]
00141f74mov [rax-8], 5367
00141f7clea rbx, [rip+541]
00141f83mov [rax], rbx
00141f86mov rbx, 0x100000000000005
00141f90mov [rax+8], rbx
00141f94mov [rax+16], rdi
00141f98mov [rax+24], rdx
00141f9cmov [rax+32], r8
00141fa0call camlHtmlCommon.hidden_to_string_1509
00141fa5mov rax, [rax]
00141fa8mov [rsp+40], rax
00141fadsub r15, 48
00141fb1cmp r15, [r14]
00141fb4jb 0x142177
00141fba
00141fbaloc_141fba:
00141fbalea rax, [r15+8]
00141fbemov [rax-8], 5367
00141fc6lea rbx, [rip+499]
00141fcdmov [rax], rbx
00141fd0mov rbx, 0x100000000000005
00141fdamov [rax+8], rbx
00141fdemov rbx, [rsp]
00141fe2mov [rax+16], rbx
00141fe6mov rbx, [rsp+8]
00141febmov [rax+24], rbx
00141fefmov rbx, [rsp+24]
00141ff4mov [rax+32], rbx
00141ff8call camlHtmlCommon.hidden_to_string_1509
00141ffdmov rax, [rax]
00142000mov [rsp+48], rax
00142005mov rax, [rsp+16]
0014200acmp rax, 1
0014200eje 0x142033
00142010mov eax, 3
00142015call camlHtmlMath.do_item_display_614
0014201amov eax, 1
0014201fmov rbx, [rsp+56]
00142024mov rdi, [rbx]
00142027call rdi
00142029mov eax, 3
0014202ecall camlHtmlMath.do_item_display_614
00142033
00142033loc_142033:
00142033lea rsi, [rip+0x1963a6]
0014203amov r12, [rsp+40]
0014203fmov rdi, r12
00142042mov rbx, rsp
00142045mov rsp, [r14+64]
00142049call caml_string_notequal
0014204emov rsp, rbx
00142051cmp rax, 1
00142055je 0x142060
00142057mov [rsp+40], r12
0014205cjmp 0x14209c
0014205e
0014205e 66 90 f.
00142060
00142060loc_142060:
00142060lea rsi, [rip+0x196379]
00142067mov r13, [rsp+48]
0014206cmov rdi, r13
0014206fmov rbx, rsp
00142072mov rsp, [r14+64]
00142076call caml_string_notequal
0014207bmov rsp, rbx
0014207ecmp rax, 1
00142082je 0x142090
00142084mov [rsp+48], r13
00142089mov [rsp+40], r12
0014208ejmp 0x14209c
00142090
00142090loc_142090:
00142090mov eax, 1
00142095add rsp, 64
00142099ret
0014209a
0014209a 66 90 f.
0014209c
0014209cloc_14209c:
0014209cmov eax, 1
001420a1mov rbx, [rsp+24]
001420a6call camlHtmlMath.open_vdisplay_636
001420ablea rbx, [rip+0x19601e]
001420b2lea rax, [rip+0x196327]
001420b9call camlHtmlMath.open_vdisplay_row_638
001420bemov rax, [rsp+40]
001420c3call camlHtmlCommon.put_1446
001420c8mov eax, 1
001420cdcall camlHtmlMath.close_vdisplay_row_639
001420d2lea rbx, [rip+0x195ff7]
001420d9lea rax, [rip+0x196300]
001420e0call camlHtmlMath.open_vdisplay_row_638
001420e5mov eax, 5
001420eamov [rsp], rax
001420eemov rbx, [rsp+32]
001420f3mov [rsp+8], rbx
001420f8cmp rax, rbx
001420fbjg 0x142127
001420fd
001420fdloc_1420fd:
001420fdmov eax, 1
00142102call camlHtmlCommon.skip_line_1461
00142107mov rbx, [rsp]
0014210bmov rax, rbx
0014210eadd rbx, 2
00142112mov [rsp], rbx
00142116mov rbx, [rsp+8]
0014211bcmp rax, rbx
0014211eje 0x142127
00142120cmp r15, [r14]
00142123ja 0x1420fd
00142125jmp 0x142170
00142127
00142127loc_142127:
00142127mov eax, 1
0014212ccall camlHtmlMath.close_vdisplay_row_639
00142131lea rbx, [rip+0x195f98]
00142138lea rax, [rip+0x1962a1]
0014213fcall camlHtmlMath.open_vdisplay_row_638
00142144mov rax, [rsp+48]
00142149call camlHtmlCommon.put_1446
0014214emov eax, 1
00142153call camlHtmlMath.close_vdisplay_row_639
00142158mov eax, 1
0014215dcall camlHtmlMath.close_vdisplay_637
00142162mov eax, 3
00142167add rsp, 64
0014216bjmp 0x141030
00142170
00142170loc_142170:
00142170call caml_call_gc
00142175jmp 0x1420fd
00142177
00142177loc_142177:
00142177call caml_call_gc
0014217cjmp 0x141fba
00142181
00142181loc_142181:
00142181call caml_call_gc
00142186jmp 0x141f70
0014218b
0014218bloc_14218b:
0014218bpush 41
0014218dcall caml_call_realloc_stack
00142192pop r10
00142194jmp 0x141f42
00141f30

00142199
00142199 // align 0x10

001421a0
001421a0camlHtmlMath.fun_1021:
001421a0mov rdi, [rbx+24]
001421a4mov rsi, [rbx+16]
001421a8mov rax, [rbx+32]
001421acmov rbx, rsi
001421afjmp 0x141850
001421a0

001421b4
001421b4 // align 0x10

001421c0
001421c0camlHtmlMath.fun_1026:
001421c0mov rdi, [rbx+24]
001421c4mov rsi, [rbx+16]
001421c8mov rax, [rbx+32]
001421ccmov rbx, rsi
001421cfjmp 0x141850
001421c0

001421d4
001421d4 // align 0x10

001421e0
001421e0camlHtmlMath.insert_vdisplay_800:
001421e0lea r10, [rsp-408]
001421e8cmp r10, [r14+40]
001421ecjb 0x14259b
001421f2
001421f2loc_1421f2:
001421f2sub rsp, 72
001421f6mov [rsp+40], rax
001421fblea rax, [rip+0x1e7e6e]
00142202mov rax, [rax+80]
00142206mov rax, [rax]
00142209cmp rax, 5
0014220djle 0x14221b
0014220flea rax, [rip+0x195e9a]
00142216call camlHtmlCommon.prerr_flags_1001
0014221b
0014221bloc_14221b:
0014221blea r11, [rip+746]
00142222push r11
00142224push [r14+48]
00142228mov [r14+48], rsp
0014222clea rax, [rip+0x19977d]
00142233mov rax, [rax+168]
0014223amov rbx, [rax]
0014223dmov rax, [rbx+16]
00142241mov rbx, [rbx+8]
00142245mov [rsp+16], rbx
0014224amov ebx, 1
0014224fcall camlHtmlCommon.as_envs_683
00142254mov rbx, rax
00142257mov rax, [rsp+16]
0014225ccall camlStdlib.$40_196
00142261mov [rsp+80], rax
00142266lea rax, [rip+0x199743]
0014226dmov rax, [rax+216]
00142274call camlHtmlCommon.pop_out_784
00142279mov [rsp+40], rax
0014227emov rbx, [rax]
00142281mov [rsp+32], rbx
00142286cmp rbx, 21
0014228aje 0x14229d
0014228cmov edi, 21
00142291lea rax, [rip+0x195e00]
00142298call camlHtmlCommon.failclose_473
0014229d
0014229dloc_14229d:
0014229dlea rax, [rip+0x19970c]
001422a4mov rax, [rax+216]
001422abcall camlHtmlCommon.pop_out_784
001422b0mov [rsp+24], rax
001422b5mov rbx, [rax]
001422b8mov [rsp+16], rbx
001422bdcmp rbx, 19
001422c1je 0x1422d4
001422c3mov edi, 19
001422c8lea rax, [rip+0x195dc9]
001422cfcall camlHtmlCommon.failclose_473
001422d4
001422d4loc_1422d4:
001422d4lea rax, [rip+0x1996d5]
001422dbmov rax, [rax+216]
001422e2call camlHtmlCommon.pop_out_784
001422e7mov [rsp+48], rax
001422ecmov rbx, [rax]
001422eftest bl, 1
001422f2jne 0x142308
001422f4movzx rax, [rbx-8]
001422f9test rax, rax
001422fcjne 0x142308
001422femov rax, [rbx]
00142301mov [rsp+64], rax
00142306jmp 0x142320
00142308
00142308loc_142308:
00142308lea rdi, [rip+0x196011]
0014230flea rax, [rip+0x195d82]
00142316call camlHtmlCommon.failclose_473
0014231bmov [rsp+64], rax
00142320
00142320loc_142320:
00142320mov ebx, 1
00142325mov eax, 1
0014232acall camlHtmlCommon.create_status_from_scratch_1164
0014232fmov [rsp+72], rax
00142334sub r15, 32
00142338cmp r15, [r14]
0014233bjb 0x142591
00142341
00142341loc_142341:
00142341lea rbx, [r15+8]
00142345mov [rbx-8], 3072
0014234dlea rdi, [rip+0x195fcc]
00142354mov [rbx], rdi
00142357mov rdi, [rsp+48]
0014235cmov rdi, [rdi+8]
00142360mov [rbx+8], rdi
00142364mov [rbx+16], rax
00142368lea rax, [rip+0x199641]
0014236fmov rax, [rax+216]
00142376call camlHtmlCommon.push_out_771
0014237bsub r15, 32
0014237fcmp r15, [r14]
00142382jb 0x142587
00142388
00142388loc_142388:
00142388lea rbx, [r15+8]
0014238cmov [rbx-8], 3072
00142394mov rax, [rsp+16]
00142399mov [rbx], rax
0014239cmov rdi, [rsp+24]
001423a1mov rax, [rdi+8]
001423a5mov [rbx+8], rax
001423a9mov rax, [rdi+16]
001423admov [rbx+16], rax
001423b1lea rax, [rip+0x1995f8]
001423b8mov rax, [rax+216]
001423bfcall camlHtmlCommon.push_out_771
001423c4sub r15, 32
001423c8cmp r15, [r14]
001423cbjb 0x14257d
001423d1
001423d1loc_1423d1:
001423d1lea rbx, [r15+8]
001423d5mov [rbx-8], 3072
001423ddmov rax, [rsp+32]
001423e2mov [rbx], rax
001423e5mov rdi, [rsp+40]
001423eamov rax, [rdi+8]
001423eemov [rbx+8], rax
001423f2mov rax, [rdi+16]
001423f6mov [rbx+16], rax
001423falea rax, [rip+0x1995af]
00142401mov rax, [rax+216]
00142408call camlHtmlCommon.push_out_771
0014240dmov eax, 1
00142412call camlHtmlMath.close_display_598
00142417mov rax, [rsp+48]
0014241cmov rsi, [rax+16]
00142420lea rax, [rip+0x199589]
00142427mov rdi, [rax+168]
0014242emov rbx, rsp
00142431mov rsp, [r14+64]
00142435call caml_modify
0014243amov rsp, rbx
0014243dmov rbx, [rsp+56]
00142442mov rdi, [rbx]
00142445mov rax, [rsp+64]
0014244acall rdi
0014244cmov rax, [rsp+72]
00142451mov rax, [rax+32]
00142455call camlDoOut.to_string_830
0014245acall camlHtmlCommon.do_put_818
0014245flea rax, [rip+0x19954a]
00142466mov rax, [rax+312]
0014246dmov [rax+24], 1
00142475mov [rax+32], 1
0014247dlea rax, [rip+0x1e7bec]
00142484mov rax, [rax+80]
00142488mov rax, [rax]
0014248bcmp rax, 5
0014248fjle 0x1424df
00142491lea rbx, [rip+0x195bd0]
00142498lea rax, [rip+0x1eb179]
0014249fmov rax, [rax+312]
001424a6call camlStdlib.output_string_253
001424abmov rax, [rsp+80]
001424b0mov [rsp+16], rax
001424b5lea rax, [rip+0x1eb15c]
001424bcmov rax, [rax+312]
001424c3call camlHtmlCommon.pretty_mods_621
001424c8mov rbx, rax
001424cbmov rdi, [rbx]
001424cemov rax, [rsp+16]
001424d3call rdi
001424d5mov eax, 1
001424dacall camlStdlib.prerr_newline_393
001424df
001424dfloc_1424df:
001424dflea rax, [rip+0x1e7b8a]
001424e6mov rax, [rax+80]
001424eamov rax, [rax]
001424edcmp rax, 5
001424f1jle 0x1424ff
001424f3lea rax, [rip+0x195b4e]
001424facall camlHtmlCommon.prerr_flags_1001
001424ff
001424ffloc_1424ff:
001424ffpop [r14+48]
00142503add rsp, 8
00142507jmp 0x14256c
00142509nop [rax]
0014250clea rbx, [rip+0x19949d]
00142513mov rbx, [rbx+176]
0014251acmp rax, rbx
0014251djne 0x14255c
0014251fsub r15, 24
00142523cmp r15, [r14]
00142526jb 0x142576
00142528
00142528loc_142528:
00142528lea rax, [r15+8]
0014252cmov [rax-8], 2048
00142534lea rbx, [rip+0x1e7b35]
0014253bmov rbx, [rbx+32]
0014253fmov [rax], rbx
00142542lea rbx, [rip+0x195acf]
00142549mov [rax+8], rbx
0014254dmov rsp, [r14+48]
00142551pop [r14+48]
00142555pop r11
00142557jmp r11
0014255anop
0014255c
0014255cloc_14255c:
0014255cmov rsp, [r14+48]
00142560pop [r14+48]
00142564pop r11
00142566jmp r11
00142569nop [rax]
0014256c
0014256cloc_14256c:
0014256cmov rax, [rsp+64]
00142571add rsp, 72
00142575ret
00142576
00142576loc_142576:
00142576call caml_call_gc
0014257bjmp 0x142528
0014257d
0014257dloc_14257d:
0014257dcall caml_call_gc
00142582jmp 0x1423d1
00142587
00142587loc_142587:
00142587call caml_call_gc
0014258cjmp 0x142388
00142591
00142591loc_142591:
00142591call caml_call_gc
00142596jmp 0x142341
0014259b
0014259bloc_14259b:
0014259bpush 44
0014259dcall caml_call_realloc_stack
001425a2pop r10
001425a4jmp 0x1421f2
001421e0

001425a9
001425a9 // align 0x10

001425b0
001425b0camlHtmlMath.line_in_vdisplay_row_816:
001425b0lea r10, [rsp-320]
001425b8cmp r10, [r14+40]
001425bcjb 0x142602
001425be
001425beloc_1425be:
001425belea rbx, [rip+0x195e1b]
001425c5mov eax, 17
001425cacall camlHtmlCommon.open_block_1363
001425cflea rbx, [rip+0x195a2a]
001425d6mov eax, 19
001425dbcall camlHtmlCommon.open_block_1363
001425e0lea rbx, [rip+0x195df9]
001425e7mov eax, 19
001425eccall camlHtmlCommon.force_block_1361
001425f1lea rbx, [rip+0x195de8]
001425f8mov eax, 17
001425fdjmp 0x148c50
00142602
00142602loc_142602:
00142602push 33
00142604call caml_call_realloc_stack
00142609pop r10
0014260bjmp 0x1425be
001425b0

0014260d
0014260d // align 0x10

00142610
00142610camlHtmlMath.over_819:
00142610lea r10, [rsp-328]
00142618cmp r10, [r14+40]
0014261cjb 0x14267c
0014261e
0014261eloc_14261e:
0014261esub rsp, 8
00142622lea rax, [rip+0x1957df]
00142629call camlHtmlMath.insert_vdisplay_800
0014262emov [rsp], rax
00142632mov eax, 1
00142637call camlHtmlMath.close_vdisplay_row_639
0014263cmov eax, 1
00142641call camlHtmlMath.line_in_vdisplay_row_816
00142646lea rbx, [rip+0x195aa3]
0014264dlea rax, [rip+0x195d8c]
00142654call camlHtmlMath.open_vdisplay_row_638
00142659mov eax, 1
0014265ecall camlHtmlCommon.do_close_mods_1062
00142663mov rax, [rsp]
00142667call camlHtmlCommon.open_mods_1274
0014266clea rax, [rip+0x19577d]
00142673add rsp, 8
00142677jmp 0x14a860
0014267c
0014267cloc_14267c:
0014267cpush 34
0014267ecall caml_call_realloc_stack
00142683pop r10
00142685jmp 0x14261e
00142610

00142687
00142687 // align 0x10

00142690
00142690camlHtmlMath.fun_1038:
00142690lea r10, [rsp-320]
00142698cmp r10, [r14+40]
0014269cjb 0x1426bb
0014269e
0014269eloc_14269e:
0014269emov ebx, 3
001426a3call camlHtmlMath.open_vdisplay_636
001426a8lea rbx, [rip+0x195a41]
001426aflea rax, [rip+0x195d2a]
001426b6jmp 0x141750
001426bb
001426bbloc_1426bb:
001426bbpush 33
001426bdcall caml_call_realloc_stack
001426c2pop r10
001426c4jmp 0x14269e
00142690

001426c6
001426c6 // align 0x10

001426d0
001426d0camlHtmlMath.fun_1040:
001426d0lea r10, [rsp-320]
001426d8cmp r10, [r14+40]
001426dcjb 0x1426f2
001426de
001426deloc_1426de:
001426demov eax, 1
001426e3call camlHtmlMath.close_vdisplay_row_639
001426e8mov eax, 1
001426edjmp 0x1416f0
001426f2
001426f2loc_1426f2:
001426f2push 33
001426f4call caml_call_realloc_stack
001426f9pop r10
001426fbjmp 0x1426de
001426d0

001426fd
001426fd // align 0x10

00142700
00142700camlHtmlMath.left_825:
00142700lea r10, [rsp-344]
00142708cmp r10, [r14+40]
0014270cjb 0x14278a
0014270e
0014270eloc_14270e:
0014270esub rsp, 24
00142712mov [rsp], rbx
00142716mov [rsp+8], rdi
0014271bmov eax, 1
00142720call camlHtmlMath.end_item_display_547
00142725mov [rsp+16], rax
0014272asub r15, 40
0014272ecmp r15, [r14]
00142731jb 0x142783
00142733
00142733loc_142733:
00142733lea rax, [r15+8]
00142737mov [rax-8], 4343
0014273flea rbx, [rip+90]
00142746mov [rax], rbx
00142749mov rbx, 0x100000000000005
00142753mov [rax+8], rbx
00142757mov rbx, [rsp]
0014275bmov [rax+16], rbx
0014275fmov rbx, [rsp+8]
00142764mov [rax+24], rbx
00142768call camlHtmlMath.delay_500
0014276dmov rax, [rsp+16]
00142772mov rbx, [rax+16]
00142776mov rax, [rax+8]
0014277aadd rsp, 24
0014277ejmp 0x1406a0
00142783
00142783loc_142783:
00142783call caml_call_gc
00142788jmp 0x142733
0014278a
0014278aloc_14278a:
0014278apush 36
0014278ccall caml_call_realloc_stack
00142791pop r10
00142793jmp 0x14270e
00142700

00142798
00142798 // align 0x10

001427a0
001427a0camlHtmlMath.fun_1043:
001427a0lea r10, [rsp-336]
001427a8cmp r10, [r14+40]
001427acjb 0x14281f
001427ae
001427aeloc_1427ae:
001427aesub rsp, 16
001427b2mov [rsp+8], rax
001427b7mov [rsp], rbx
001427bbmov ebx, 1
001427c0lea rax, [rip+0x1955f9]
001427c7call camlHtmlMath.begin_item_display_546
001427ccmov rax, [rsp]
001427d0mov rbx, [rax+16]
001427d4mov rdi, [rbx]
001427d7mov rax, [rsp+8]
001427dccall rdi
001427demov eax, 1
001427e3call camlHtmlMath.end_item_display_547
001427e8mov ebx, 1
001427edlea rax, [rip+0x1955e4]
001427f4call camlHtmlMath.begin_item_display_546
001427f9mov rax, [rsp]
001427fdmov rbx, [rax+24]
00142801mov rdi, [rbx]
00142804mov rax, [rsp+8]
00142809call rdi
0014280bmov eax, 1
00142810call camlHtmlMath.end_item_display_547
00142815mov eax, 1
0014281aadd rsp, 16
0014281eret
0014281f
0014281floc_14281f:
0014281fpush 35
00142821call caml_call_realloc_stack
00142826pop r10
00142828jmp 0x1427ae
001427a0

0014282a
0014282a // align 0x10

00142830
00142830camlHtmlMath.fun_1050:
00142830mov eax, 1
00142835ret
00142830

00142836
00142836 // align 0x10

00142840
00142840camlHtmlMath.fun_1052:
00142840mov eax, 1
00142845ret
00142840

00142846
00142846 // align 0x10

00142850
00142850camlHtmlMath.right_835:
00142850lea r10, [rsp-344]
00142858cmp r10, [r14+40]
0014285cjb 0x1428cc
0014285e
0014285eloc_14285e:
0014285esub rsp, 24
00142862mov [rsp], rbx
00142866mov eax, 1
0014286bcall camlHtmlMath.end_item_display_547
00142870mov [rsp+8], rax
00142875mov rax, [rax]
00142878mov [rsp+16], rax
0014287dmov ebx, 1
00142882lea rax, [rip+0x195597]
00142889call camlHtmlMath.begin_item_display_546
0014288emov rbx, [rsp]
00142892mov rdi, [rbx]
00142895mov rax, [rsp+16]
0014289acall rdi
0014289cmov eax, 1
001428a1call camlHtmlMath.end_item_display_547
001428a6mov rax, [rsp+16]
001428abcall camlHtmlMath.flush_503
001428b0mov rax, [rsp+8]
001428b5mov rbx, [rax+16]
001428b9mov rax, [rax+8]
001428bdcall camlHtmlMath.begin_item_display_546
001428c2mov rax, [rsp+16]
001428c7add rsp, 24
001428cbret
001428cc
001428ccloc_1428cc:
001428ccpush 36
001428cecall caml_call_realloc_stack
001428d3pop r10
001428d5jmp 0x14285e
00142850

001428d7
001428d7 // align 0x10

001428e0
001428e0camlHtmlMath.fun_1055:
001428e0mov eax, 1
001428e5ret
001428e0

001428e6
001428e6 // align 0x10

001428f0
001428f0camlHtmlMath.entry:
001428f0lea rsi, [rip+0x195e71]
001428f7lea rdi, [rip+0x19559a]
001428femov rbx, rsp
00142901mov rsp, [r14+64]
00142905call caml_initialize
0014290amov rsp, rbx
0014290dcall caml_alloc3
00142912lea rsi, [r15+8]
00142916mov [rsi-8], 3072
0014291emov [rsi], 1
00142925lea rax, [rip+0x195d34]
0014292cmov [rsi+8], rax
00142930mov [rsi+16], 1
00142938lea rdi, [rip+0x195559]
0014293fadd rdi, 8
00142943mov rbx, rsp
00142946mov rsp, [r14+64]
0014294acall caml_initialize
0014294fmov rsp, rbx
00142952lea rsi, [rip+0x1954df]
00142959lea rdi, [rip+0x195538]
00142960add rdi, 16
00142964mov rbx, rsp
00142967mov rsp, [r14+64]
0014296bcall caml_initialize
00142970mov rsp, rbx
00142973lea rsi, [rip+0x1954d6]
0014297alea rdi, [rip+0x195517]
00142981add rdi, 24
00142985mov rbx, rsp
00142988mov rsp, [r14+64]
0014298ccall caml_initialize
00142991mov rsp, rbx
00142994lea rax, [rip+0x199015]
0014299bmov rsi, [rax+1008]
001429a2mov r12, [rax+1016]
001429a9lea rdi, [rip+0x1954e8]
001429b0add rdi, 32
001429b4mov rbx, rsp
001429b7mov rsp, [r14+64]
001429bbcall caml_initialize
001429c0mov rsp, rbx
001429c3lea rdi, [rip+0x1954ce]
001429caadd rdi, 40
001429cemov rsi, r12
001429d1mov rbx, rsp
001429d4mov rsp, [r14+64]
001429d8call caml_initialize
001429ddmov rsp, rbx
001429e0lea rsi, [rip+0x195481]
001429e7lea rdi, [rip+0x1954aa]
001429eeadd rdi, 48
001429f2mov rbx, rsp
001429f5mov rsp, [r14+64]
001429f9call caml_initialize
001429femov rsp, rbx
00142a01lea rsi, [rip+0x195478]
00142a08lea rdi, [rip+0x195489]
00142a0fadd rdi, 56
00142a13mov rbx, rsp
00142a16mov rsp, [r14+64]
00142a1acall caml_initialize
00142a1fmov rsp, rbx
00142a22lea rsi, [rip+0x1950cf]
00142a29lea rdi, [rip+0x195468]
00142a30add rdi, 64
00142a34mov rbx, rsp
00142a37mov rsp, [r14+64]
00142a3bcall caml_initialize
00142a40mov rsp, rbx
00142a43lea rsi, [rip+0x1950de]
00142a4alea r12, [rip+0x1950bf]
00142a51lea rdi, [rip+0x195440]
00142a58add rdi, 72
00142a5cmov rbx, rsp
00142a5fmov rsp, [r14+64]
00142a63call caml_initialize
00142a68mov rsp, rbx
00142a6blea rdi, [rip+0x195426]
00142a72add rdi, 80
00142a76mov rsi, r12
00142a79mov rbx, rsp
00142a7cmov rsp, [r14+64]
00142a80call caml_initialize
00142a85mov rsp, rbx
00142a88lea rsi, [rip+0x1950b9]
00142a8flea rdi, [rip+0x195402]
00142a96add rdi, 88
00142a9amov rbx, rsp
00142a9dmov rsp, [r14+64]
00142aa1call caml_initialize
00142aa6mov rsp, rbx
00142aa9lea rsi, [rip+0x1950b8]
00142ab0lea rdi, [rip+0x1953e1]
00142ab7add rdi, 96
00142abbmov rbx, rsp
00142abemov rsp, [r14+64]
00142ac2call caml_initialize
00142ac7mov rsp, rbx
00142acalea rsi, [rip+0x1950af]
00142ad1lea rdi, [rip+0x1953c0]
00142ad8add rdi, 104
00142adcmov rbx, rsp
00142adfmov rsp, [r14+64]
00142ae3call caml_initialize
00142ae8mov rsp, rbx
00142aeblea rsi, [rip+0x1950a6]
00142af2lea rdi, [rip+0x19539f]
00142af9add rdi, 112
00142afdmov rbx, rsp
00142b00mov rsp, [r14+64]
00142b04call caml_initialize
00142b09mov rsp, rbx
00142b0clea rsi, [rip+0x1950b5]
00142b13lea r12, [rip+0x195096]
00142b1alea rdi, [rip+0x195377]
00142b21add rdi, 120
00142b25mov rbx, rsp
00142b28mov rsp, [r14+64]
00142b2ccall caml_initialize
00142b31mov rsp, rbx
00142b34lea rdi, [rip+0x19535d]
00142b3badd rdi, 128
00142b42mov rsi, r12
00142b45mov rbx, rsp
00142b48mov rsp, [r14+64]
00142b4ccall caml_initialize
00142b51mov rsp, rbx
00142b54lea rsi, [rip+0x195085]
00142b5blea rdi, [rip+0x195336]
00142b62add rdi, 136
00142b69mov rbx, rsp
00142b6cmov rsp, [r14+64]
00142b70call caml_initialize
00142b75mov rsp, rbx
00142b78lea rsi, [rip+0x195079]
00142b7flea rdi, [rip+0x195312]
00142b86add rdi, 144
00142b8dmov rbx, rsp
00142b90mov rsp, [r14+64]
00142b94call caml_initialize
00142b99mov rsp, rbx
00142b9clea rsi, [rip+0x19506d]
00142ba3lea rdi, [rip+0x1952ee]
00142baaadd rdi, 152
00142bb1mov rbx, rsp
00142bb4mov rsp, [r14+64]
00142bb8call caml_initialize
00142bbdmov rsp, rbx
00142bc0lea rsi, [rip+0x1950b1]
00142bc7lea r12, [rip+0x195092]
00142bcelea r13, [rip+0x19506b]
00142bd5lea rbp, [rip+0x19504c]
00142bdclea rdi, [rip+0x1952b5]
00142be3add rdi, 160
00142beamov rbx, rsp
00142bedmov rsp, [r14+64]
00142bf1call caml_initialize
00142bf6mov rsp, rbx
00142bf9lea rdi, [rip+0x195298]
00142c00add rdi, 168
00142c07mov rsi, r12
00142c0amov rbx, rsp
00142c0dmov rsp, [r14+64]
00142c11call caml_initialize
00142c16mov rsp, rbx
00142c19lea rdi, [rip+0x195278]
00142c20add rdi, 176
00142c27mov rsi, r13
00142c2amov rbx, rsp
00142c2dmov rsp, [r14+64]
00142c31call caml_initialize
00142c36mov rsp, rbx
00142c39lea rdi, [rip+0x195258]
00142c40add rdi, 184
00142c47mov rsi, rbp
00142c4amov rbx, rsp
00142c4dmov rsp, [r14+64]
00142c51call caml_initialize
00142c56mov rsp, rbx
00142c59lea rsi, [rip+0x195038]
00142c60lea rdi, [rip+0x195231]
00142c67add rdi, 192
00142c6emov rbx, rsp
00142c71mov rsp, [r14+64]
00142c75call caml_initialize
00142c7amov rsp, rbx
00142c7dlea rsi, [rip+0x195034]
00142c84lea rdi, [rip+0x19520d]
00142c8badd rdi, 200
00142c92mov rbx, rsp
00142c95mov rsp, [r14+64]
00142c99call caml_initialize
00142c9emov rsp, rbx
00142ca1lea rsi, [rip+0x195030]
00142ca8lea rdi, [rip+0x1951e9]
00142cafadd rdi, 208
00142cb6mov rbx, rsp
00142cb9mov rsp, [r14+64]
00142cbdcall caml_initialize
00142cc2mov rsp, rbx
00142cc5lea rsi, [rip+0x19502c]
00142ccclea rdi, [rip+0x1951c5]
00142cd3add rdi, 216
00142cdamov rbx, rsp
00142cddmov rsp, [r14+64]
00142ce1call caml_initialize
00142ce6mov rsp, rbx
00142ce9lea rsi, [rip+0x195028]
00142cf0lea rdi, [rip+0x1951a1]
00142cf7add rdi, 224
00142cfemov rbx, rsp
00142d01mov rsp, [r14+64]
00142d05call caml_initialize
00142d0amov rsp, rbx
00142d0dlea rsi, [rip+0x195024]
00142d14lea rdi, [rip+0x19517d]
00142d1badd rdi, 232
00142d22mov rbx, rsp
00142d25mov rsp, [r14+64]
00142d29call caml_initialize
00142d2emov rsp, rbx
00142d31lea rsi, [rip+0x195018]
00142d38lea rdi, [rip+0x195159]
00142d3fadd rdi, 240
00142d46mov rbx, rsp
00142d49mov rsp, [r14+64]
00142d4dcall caml_initialize
00142d52mov rsp, rbx
00142d55lea rsi, [rip+0x19500c]
00142d5clea rdi, [rip+0x195135]
00142d63add rdi, 248
00142d6amov rbx, rsp
00142d6dmov rsp, [r14+64]
00142d71call caml_initialize
00142d76mov rsp, rbx
00142d79lea rsi, [rip+0x195000]
00142d80lea rdi, [rip+0x195111]
00142d87add rdi, 256
00142d8emov rbx, rsp
00142d91mov rsp, [r14+64]
00142d95call caml_initialize
00142d9amov rsp, rbx
00142d9dlea rsi, [rip+0x194ffc]
00142da4lea rdi, [rip+0x1950ed]
00142dabadd rdi, 264
00142db2mov rbx, rsp
00142db5mov rsp, [r14+64]
00142db9call caml_initialize
00142dbemov rsp, rbx
00142dc1mov eax, 1
00142dc6ret
001428f0

00142dc7
00142dc7 // align 0x10

00142dd0
00142dd0camlHtmlCommon.string_of_block_380:
00142dd0test al, 1
00142dd2je 0x142de4
00142dd4sar rax, 1
00142dd7lea rbx, [rip+0x197bf2]
00142ddemov rax, [rbx+8*rax]
00142de2ret
00142de3
00142de3 90 .
00142de4
00142de4loc_142de4:
00142de4movzx rbx, [rax-8]
00142de9test rbx, rbx
00142decje 0x142df4
00142deemov rax, [rax]
00142df1ret
00142df2
00142df2 66 90 f.
00142df4
00142df4loc_142df4:
00142df4mov rax, [rax]
00142df7cmp rax, 1
00142dfbje 0x142e08
00142dfdlea rax, [rip+0x199614]
00142e04ret
00142e05
00142e05 0f 1f 00 ...
00142e08
00142e08loc_142e08:
00142e08lea rax, [rip+0x1995f9]
00142e0fret
00142dd0

00142e10
00142e10camlHtmlCommon.add_466:
00142e10lea r10, [rsp-328]
00142e18cmp r10, [r14+40]
00142e1cjb 0x142e46
00142e1e
00142e1eloc_142e1e:
00142e1esub rsp, 8
00142e22mov [rsp], rax
00142e26call camlHtmlCommon.string_of_block_380
00142e2bmov rbx, rax
00142e2elea rax, [rip+0x198b7b]
00142e35mov rax, [rax+8]
00142e39mov rdi, [rsp]
00142e3dadd rsp, 8
00142e41jmp 0x1e7690
00142e46
00142e46loc_142e46:
00142e46push 34
00142e48call caml_call_realloc_stack
00142e4dpop r10
00142e4fjmp 0x142e1e
00142e10

00142e51
00142e51 // align 0x10

00142e60
00142e60camlHtmlCommon.add_verb_467:
00142e60mov rsi, rax
00142e63mov rdi, rbx
00142e66lea rax, [rip+0x198b43]
00142e6dmov rax, [rax+8]
00142e71mov rbx, rsi
00142e74jmp 0x1e7690
00142e60

00142e79
00142e79 // align 0x10

00142e80
00142e80camlHtmlCommon.failclose_473:
00142e80lea r10, [rsp-344]
00142e88cmp r10, [r14+40]
00142e8cjb 0x142f34
00142e92
00142e92loc_142e92:
00142e92sub rsp, 24
00142e96mov [rsp+16], rax
00142e9bmov [rsp], rbx
00142e9fmov rax, rdi
00142ea2call camlHtmlCommon.string_of_block_380
00142ea7lea rbx, [rip+0x199502]
00142eaecall camlStdlib.$5e_139
00142eb3mov rbx, rax
00142eb6lea rax, [rip+0x199503]
00142ebdcall camlStdlib.$5e_139
00142ec2mov [rsp+8], rax
00142ec7mov rax, [rsp]
00142ecbcall camlHtmlCommon.string_of_block_380
00142ed0mov rbx, [rsp+8]
00142ed5call camlStdlib.$5e_139
00142edamov rbx, rax
00142eddlea rax, [rip+0x1994f4]
00142ee4call camlStdlib.$5e_139
00142ee9mov rbx, rax
00142eecmov rax, [rsp+16]
00142ef1call camlStdlib.$5e_139
00142ef6sub r15, 24
00142efacmp r15, [r14]
00142efdjb 0x142f2d
00142eff
00142effloc_142eff:
00142efflea rbx, [r15+8]
00142f03mov [rbx-8], 2048
00142f0blea rdi, [rip+0x1e715e]
00142f12mov rdi, [rdi+40]
00142f16mov [rbx], rdi
00142f19mov [rbx+8], rax
00142f1dmov rax, rbx
00142f20mov rsp, [r14+48]
00142f24pop [r14+48]
00142f28pop r11
00142f2ajmp r11
00142f2d
00142f2dloc_142f2d:
00142f2dcall caml_call_gc
00142f32jmp 0x142eff
00142f34
00142f34loc_142f34:
00142f34push 36
00142f36call caml_call_realloc_stack
00142f3bpop r10
00142f3djmp 0x142e92
00142e80