Similarity

0013fc90
0013fc90camlMathML.entry:
0013fc90lea rsi, [rip+0x195ba9]
0013fc97lea rdi, [rip+0x19500a]
0013fc9emov rbx, rsp
0013fca1mov rsp, [r14+64]
0013fca5call caml_initialize
0013fcaamov rsp, rbx
0013fcadlea rsi, [rip+0x194cac]
0013fcb4lea r12, [rip+0x194c8d]
0013fcbblea r13, [rip+0x194c6e]
0013fcc2lea rbp, [rip+0x194c4f]
0013fcc9lea rdi, [rip+0x194fd8]
0013fcd0add rdi, 8
0013fcd4mov rbx, rsp
0013fcd7mov rsp, [r14+64]
0013fcdbcall caml_initialize
0013fce0mov rsp, rbx
0013fce3lea rdi, [rip+0x194fbe]
0013fceaadd rdi, 16
0013fceemov rsi, r12
0013fcf1mov rbx, rsp
0013fcf4mov rsp, [r14+64]
0013fcf8call caml_initialize
0013fcfdmov rsp, rbx
0013fd00lea rdi, [rip+0x194fa1]
0013fd07add rdi, 24
0013fd0bmov rsi, r13
0013fd0emov rbx, rsp
0013fd11mov rsp, [r14+64]
0013fd15call caml_initialize
0013fd1amov rsp, rbx
0013fd1dlea rdi, [rip+0x194f84]
0013fd24add rdi, 32
0013fd28mov rsi, rbp
0013fd2bmov rbx, rsp
0013fd2emov rsp, [r14+64]
0013fd32call caml_initialize
0013fd37mov rsp, rbx
0013fd3alea rsi, [rip+0x194c3f]
0013fd41lea rdi, [rip+0x194f60]
0013fd48add rdi, 40
0013fd4cmov rbx, rsp
0013fd4fmov rsp, [r14+64]
0013fd53call caml_initialize
0013fd58mov rsp, rbx
0013fd5blea rsi, [rip+0x194c36]
0013fd62lea rdi, [rip+0x194f3f]
0013fd69add rdi, 48
0013fd6dmov rbx, rsp
0013fd70mov rsp, [r14+64]
0013fd74call caml_initialize
0013fd79mov rsp, rbx
0013fd7clea rsi, [rip+0x194c45]
0013fd83lea r12, [rip+0x194c26]
0013fd8alea rdi, [rip+0x194f17]
0013fd91add rdi, 56
0013fd95mov rbx, rsp
0013fd98mov rsp, [r14+64]
0013fd9ccall caml_initialize
0013fda1mov rsp, rbx
0013fda4lea rdi, [rip+0x194efd]
0013fdabadd rdi, 64
0013fdafmov rsi, r12
0013fdb2mov rbx, rsp
0013fdb5mov rsp, [r14+64]
0013fdb9call caml_initialize
0013fdbemov rsp, rbx
0013fdc1lea rsi, [rip+0x194c18]
0013fdc8lea rdi, [rip+0x194ed9]
0013fdcfadd rdi, 72
0013fdd3mov rbx, rsp
0013fdd6mov rsp, [r14+64]
0013fddacall caml_initialize
0013fddfmov rsp, rbx
0013fde2lea rsi, [rip+0x194c0f]
0013fde9lea rdi, [rip+0x194eb8]
0013fdf0add rdi, 80
0013fdf4mov rbx, rsp
0013fdf7mov rsp, [r14+64]
0013fdfbcall caml_initialize
0013fe00mov rsp, rbx
0013fe03lea rsi, [rip+0x194c06]
0013fe0alea rdi, [rip+0x194e97]
0013fe11add rdi, 88
0013fe15mov rbx, rsp
0013fe18mov rsp, [r14+64]
0013fe1ccall caml_initialize
0013fe21mov rsp, rbx
0013fe24lea rsi, [rip+0x194bfd]
0013fe2blea rdi, [rip+0x194e76]
0013fe32add rdi, 96
0013fe36mov rbx, rsp
0013fe39mov rsp, [r14+64]
0013fe3dcall caml_initialize
0013fe42mov rsp, rbx
0013fe45lea rsi, [rip+0x194bf4]
0013fe4clea rdi, [rip+0x194e55]
0013fe53add rdi, 104
0013fe57mov rbx, rsp
0013fe5amov rsp, [r14+64]
0013fe5ecall caml_initialize
0013fe63mov rsp, rbx
0013fe66lea rsi, [rip+0x194beb]
0013fe6dlea rdi, [rip+0x194e34]
0013fe74add rdi, 112
0013fe78mov rbx, rsp
0013fe7bmov rsp, [r14+64]
0013fe7fcall caml_initialize
0013fe84mov rsp, rbx
0013fe87lea rsi, [rip+0x194be2]
0013fe8elea rdi, [rip+0x194e13]
0013fe95add rdi, 120
0013fe99mov rbx, rsp
0013fe9cmov rsp, [r14+64]
0013fea0call caml_initialize
0013fea5mov rsp, rbx
0013fea8lea rsi, [rip+0x194bd9]
0013feaflea rdi, [rip+0x194df2]
0013feb6add rdi, 128
0013febdmov rbx, rsp
0013fec0mov rsp, [r14+64]
0013fec4call caml_initialize
0013fec9mov rsp, rbx
0013fecclea rsi, [rip+0x194bcd]
0013fed3lea rdi, [rip+0x194dce]
0013fedaadd rdi, 136
0013fee1mov rbx, rsp
0013fee4mov rsp, [r14+64]
0013fee8call caml_initialize
0013feedmov rsp, rbx
0013fef0lea rsi, [rip+0x194bd9]
0013fef7lea r12, [rip+0x194bba]
0013fefelea rdi, [rip+0x194da3]
0013ff05add rdi, 144
0013ff0cmov rbx, rsp
0013ff0fmov rsp, [r14+64]
0013ff13call caml_initialize
0013ff18mov rsp, rbx
0013ff1blea rdi, [rip+0x194d86]
0013ff22add rdi, 152
0013ff29mov rsi, r12
0013ff2cmov rbx, rsp
0013ff2fmov rsp, [r14+64]
0013ff33call caml_initialize
0013ff38mov rsp, rbx
0013ff3blea rsi, [rip+0x194bd6]
0013ff42lea r12, [rip+0x194bb7]
0013ff49lea r13, [rip+0x194b98]
0013ff50lea rdi, [rip+0x194d51]
0013ff57add rdi, 160
0013ff5emov rbx, rsp
0013ff61mov rsp, [r14+64]
0013ff65call caml_initialize
0013ff6amov rsp, rbx
0013ff6dlea rdi, [rip+0x194d34]
0013ff74add rdi, 168
0013ff7bmov rsi, r12
0013ff7emov rbx, rsp
0013ff81mov rsp, [r14+64]
0013ff85call caml_initialize
0013ff8amov rsp, rbx
0013ff8dlea rdi, [rip+0x194d14]
0013ff94add rdi, 176
0013ff9bmov rsi, r13
0013ff9emov rbx, rsp
0013ffa1mov rsp, [r14+64]
0013ffa5call caml_initialize
0013ffaamov rsp, rbx
0013ffadlea rsi, [rip+0x194b7c]
0013ffb4lea rdi, [rip+0x194ced]
0013ffbbadd rdi, 184
0013ffc2mov rbx, rsp
0013ffc5mov rsp, [r14+64]
0013ffc9call caml_initialize
0013ffcemov rsp, rbx
0013ffd1lea rsi, [rip+0x194b70]
0013ffd8lea rdi, [rip+0x194cc9]
0013ffdfadd rdi, 192
0013ffe6mov rbx, rsp
0013ffe9mov rsp, [r14+64]
0013ffedcall caml_initialize
0013fff2mov rsp, rbx
0013fff5lea rsi, [rip+0x194b64]
0013fffclea rdi, [rip+0x194ca5]
00140003add rdi, 200
0014000amov rbx, rsp
0014000dmov rsp, [r14+64]
00140011call caml_initialize
00140016mov rsp, rbx
00140019lea rsi, [rip+0x194b58]
00140020lea rdi, [rip+0x194c81]
00140027add rdi, 208
0014002emov rbx, rsp
00140031mov rsp, [r14+64]
00140035call caml_initialize
0014003amov rsp, rbx
0014003dlea rsi, [rip+0x194b54]
00140044lea rdi, [rip+0x194c5d]
0014004badd rdi, 216
00140052mov rbx, rsp
00140055mov rsp, [r14+64]
00140059call caml_initialize
0014005emov rsp, rbx
00140061lea rsi, [rip+0x194b50]
00140068lea rdi, [rip+0x194c39]
0014006fadd rdi, 224
00140076mov rbx, rsp
00140079mov rsp, [r14+64]
0014007dcall caml_initialize
00140082mov rsp, rbx
00140085lea rsi, [rip+0x194b4c]
0014008clea rdi, [rip+0x194c15]
00140093add rdi, 232
0014009amov rbx, rsp
0014009dmov rsp, [r14+64]
001400a1call caml_initialize
001400a6mov rsp, rbx
001400a9lea rsi, [rip+0x194b48]
001400b0lea rdi, [rip+0x194bf1]
001400b7add rdi, 240
001400bemov rbx, rsp
001400c1mov rsp, [r14+64]
001400c5call caml_initialize
001400camov rsp, rbx
001400cdlea rsi, [rip+0x194b3c]
001400d4lea rdi, [rip+0x194bcd]
001400dbadd rdi, 248
001400e2mov rbx, rsp
001400e5mov rsp, [r14+64]
001400e9call caml_initialize
001400eemov rsp, rbx
001400f1lea rsi, [rip+0x194b38]
001400f8lea rdi, [rip+0x194ba9]
001400ffadd rdi, 256
00140106mov rbx, rsp
00140109mov rsp, [r14+64]
0014010dcall caml_initialize
00140112mov rsp, rbx
00140115lea rsi, [rip+0x194b34]
0014011clea rdi, [rip+0x194b85]
00140123add rdi, 264
0014012amov rbx, rsp
0014012dmov rsp, [r14+64]
00140131call caml_initialize
00140136mov rsp, rbx
00140139lea rsi, [rip+0x194b28]
00140140lea rdi, [rip+0x194b61]
00140147add rdi, 272
0014014emov rbx, rsp
00140151mov rsp, [r14+64]
00140155call caml_initialize
0014015amov rsp, rbx
0014015dlea rsi, [rip+0x194b24]
00140164lea rdi, [rip+0x194b3d]
0014016badd rdi, 280
00140172mov rbx, rsp
00140175mov rsp, [r14+64]
00140179call caml_initialize
0014017emov rsp, rbx
00140181mov eax, 1
00140186ret
0013fc90

00140187
00140187 // align 0x10

00140190
00140190camlHtmlMath.delay_500:
00140190lea r10, [rsp-328]
00140198cmp r10, [r14+40]
0014019cjb 0x1402bf
001401a2
001401a2loc_1401a2:
001401a2sub rsp, 8
001401a6mov [rsp], rax
001401aalea rax, [rip+0x1e9ebf]
001401b1mov rax, [rax+80]
001401b5mov rax, [rax]
001401b8cmp rax, 5
001401bcjle 0x1401ca
001401belea rax, [rip+0x19834b]
001401c5call camlHtmlCommon.prerr_flags_1001
001401ca
001401caloc_1401ca:
001401calea rax, [rip+0x19b7df]
001401d1mov rbx, [rax+312]
001401d8mov rbx, [rbx+48]
001401dcmov rax, [rax+336]
001401e3mov rdi, [rax+56]
001401e7sub r15, 24
001401ebcmp r15, [r14]
001401eejb 0x1402b5
001401f4
001401f4loc_1401f4:
001401f4lea rsi, [r15+8]
001401f8mov [rsi-8], 2048
00140200mov [rsi], rbx
00140203mov rax, [rdi]
00140206mov [rsi+8], rax
0014020amov rbx, rsp
0014020dmov rsp, [r14+64]
00140211call caml_modify
00140216mov rsp, rbx
00140219lea rax, [rip+0x19b790]
00140220mov rax, [rax+312]
00140227mov [rax+48], 1
0014022flea rax, [rip+0x197c62]
00140236mov rdi, [rax+8]
0014023asub r15, 24
0014023ecmp r15, [r14]
00140241jb 0x1402ae
00140243
00140243loc_140243:
00140243lea rsi, [r15+8]
00140247mov [rsi-8], 2048
0014024fmov rax, [rsp]
00140253mov [rsi], rax
00140256mov rax, [rdi]
00140259mov [rsi+8], rax
0014025dmov rbx, rsp
00140260mov rsp, [r14+64]
00140264call caml_modify
00140269mov rsp, rbx
0014026clea rbx, [rip+0x19816d]
00140273mov eax, 45
00140278call camlHtmlCommon.open_block_1363
0014027dlea rax, [rip+0x1e9dec]
00140284mov rax, [rax+80]
00140288mov rax, [rax]
0014028bcmp rax, 5
0014028fjle 0x1402a4
00140291lea rax, [rip+0x198020]
00140298add rsp, 8
0014029cjmp 0x144a00
001402a1
001402a1 0f 1f 00 ...
001402a4
001402a4loc_1402a4:
001402a4mov eax, 1
001402a9add rsp, 8
001402adret
001402ae
001402aeloc_1402ae:
001402aecall caml_call_gc
001402b3jmp 0x140243
001402b5
001402b5loc_1402b5:
001402b5call caml_call_gc
001402bajmp 0x1401f4
001402bf
001402bfloc_1402bf:
001402bfpush 34
001402c1call caml_call_realloc_stack
001402c6pop r10
001402c8jmp 0x1401a2
00140190

001402cd
001402cd // align 0x10

001402d0
001402d0camlHtmlMath.flush_503:
001402d0lea r10, [rsp-352]
001402d8cmp r10, [r14+40]
001402dcjb 0x140504
001402e2
001402e2loc_1402e2:
001402e2sub rsp, 32
001402e6mov [rsp+8], rax
001402eblea rbx, [rip+0x1e9d7e]
001402f2mov rbx, [rbx+80]
001402f6mov rbx, [rbx]
001402f9cmp rbx, 5
001402fdjle 0x140324
001402ffcall camlStdlib.string_of_int_175
00140304lea rbx, [rip+0x197d7d]
0014030bcall camlStdlib.$5e_139
00140310mov rbx, rax
00140313lea rax, [rip+0x197e7e]
0014031acall camlStdlib.$5e_139
0014031fcall camlHtmlCommon.prerr_flags_1001
00140324
00140324loc_140324:
00140324mov eax, 45
00140329call camlHtmlCommon.try_close_block_1323
0014032elea rax, [rip+0x19b67b]
00140335mov rax, [rax+216]
0014033ccall camlHtmlCommon.pop_out_784
00140341mov rbx, [rax]
00140344cmp rbx, 45
00140348je 0x14039c
0014034amov rax, rbx
0014034dcall camlHtmlCommon.string_of_block_380
00140352mov rbx, rax
00140355lea rax, [rip+0x197c7c]
0014035ccall camlStdlib.$5e_139
00140361sub r15, 24
00140365cmp r15, [r14]
00140368jb 0x1404fa
0014036e
0014036eloc_14036e:
0014036elea rbx, [r15+8]
00140372mov [rbx-8], 2048
0014037alea rdi, [rip+0x1e9cef]
00140381mov rdi, [rdi]
00140384mov [rbx], rdi
00140387mov [rbx+8], rax
0014038bmov rax, rbx
0014038emov rsp, [r14+48]
00140392pop [r14+48]
00140396pop r11
00140398jmp r11
0014039bnop
0014039c
0014039cloc_14039c:
0014039cmov [rsp], rax
001403a0lea rax, [rip+0x19b609]
001403a7mov rax, [rax+168]
001403aemov rax, [rax]
001403b1mov rbx, [rax+8]
001403b5mov rax, [rax+16]
001403b9call camlHtmlCommon.as_envs_683
001403bemov [rsp+24], rax
001403c3mov eax, 1
001403c8call camlHtmlCommon.do_close_mods_1062
001403cdlea rax, [rip+0x19b5dc]
001403d4mov rdi, [rax+168]
001403dbmov rax, [rdi]
001403demov [rsp+16], rax
001403e3mov rax, [rsp]
001403e7mov rsi, [rax+16]
001403ebmov rbx, rsp
001403eemov rsp, [r14+64]
001403f2call caml_modify
001403f7mov rsp, rbx
001403falea rax, [rip+0x197a97]
00140401mov rax, [rax+8]
00140405call camlMyStack.pop_292
0014040amov rbx, rax
0014040dmov rdi, [rbx]
00140410mov rax, [rsp+8]
00140415call rdi
00140417lea rax, [rip+0x19b592]
0014041emov rax, [rax+168]
00140425mov rax, [rax]
00140428mov rbx, [rax+32]
0014042cmov rax, [rsp+16]
00140431mov rax, [rax+32]
00140435lea rdi, [rip+0x1e15bc]
0014043cmov rdi, [rdi+136]
00140443call camlDoOut.copy_923
00140448lea rax, [rip+0x19b561]
0014044fmov rbx, [rax+312]
00140456mov [rbx+24], 1
0014045emov [rbx+32], 1
00140466mov rax, [rax+168]
0014046dmov rdi, [rax]
00140470add rdi, 8
00140474mov rsi, [rsp+24]
00140479mov rbx, rsp
0014047cmov rsp, [r14+64]
00140480call caml_modify
00140485mov rsp, rbx
00140488lea rax, [rip+0x19b521]
0014048fmov rbx, [rax+312]
00140496mov rbx, [rbx+48]
0014049amov [rsp], rbx
0014049emov rax, [rax+336]
001404a5mov rax, [rax+56]
001404a9call camlMyStack.pop_292
001404aemov rbx, [rsp]
001404b2call camlStdlib.max_48
001404b7lea rbx, [rip+0x19b4f2]
001404bemov rbx, [rbx+312]
001404c5mov [rbx+48], rax
001404c9lea rax, [rip+0x1e9ba0]
001404d0mov rax, [rax+80]
001404d4mov rax, [rax]
001404d7cmp rax, 5
001404dbjle 0x1404f0
001404ddlea rax, [rip+0x197adc]
001404e4add rsp, 32
001404e8jmp 0x144a00
001404ednop [rax]
001404f0
001404f0loc_1404f0:
001404f0mov eax, 1
001404f5add rsp, 32
001404f9ret
001404fa
001404faloc_1404fa:
001404facall caml_call_gc
001404ffjmp 0x14036e
00140504
00140504loc_140504:
00140504push 37
00140506call caml_call_realloc_stack
0014050bpop r10
0014050djmp 0x1402e2
001402d0

00140512
00140512 // align 0x10

00140520
00140520camlHtmlMath.put_in_math_536:
00140520lea r10, [rsp-328]
00140528cmp r10, [r14+40]
0014052cjb 0x1405c1
00140532
00140532loc_140532:
00140532sub rsp, 8
00140536lea rbx, [rip+0x19b473]
0014053dmov rbx, [rbx+312]
00140544mov rbx, [rbx+96]
00140548cmp rbx, 1
0014054cje 0x140574
0014054elea rbx, [rip+0x1e80eb]
00140555mov rbx, [rbx+32]
00140559mov rbx, [rbx]
0014055ccmp rbx, 1
00140560je 0x14056c
00140562add rsp, 8
00140566jmp 0x14a330
0014056b
0014056b 90 .
0014056c
0014056cloc_14056c:
0014056cmov [rsp], rax
00140570jmp 0x140578
00140572
00140572 66 90 f.
00140574
00140574loc_140574:
00140574mov [rsp], rax
00140578
00140578loc_140578:
00140578lea rax, [rip+0x1981d9]
0014057fcall camlHtmlCommon.put_1446
00140584mov rax, [rsp]
00140588call camlHtmlCommon.put_1446
0014058dlea rax, [rip+0x1981b4]
00140594call camlHtmlCommon.put_1446
00140599lea rax, [rip+0x19b410]
001405a0mov rax, [rax+312]
001405a7mov [rax+24], 1
001405afmov [rax+32], 1
001405b7mov eax, 1
001405bcadd rsp, 8
001405c0ret
001405c1
001405c1loc_1405c1:
001405c1push 34
001405c3call caml_call_realloc_stack
001405c8pop r10
001405cajmp 0x140532
00140520

001405cf
001405cf // align 0x10

001405d0
001405d0camlHtmlMath.display_cell_arg_539:
001405d0lea r10, [rsp-328]
001405d8cmp r10, [r14+40]
001405dcjb 0x140658
001405de
001405deloc_1405de:
001405desub rsp, 8
001405e2mov rbx, rax
001405e5lea rax, [rip+0x1e9a84]
001405ecmov rax, [rax+96]
001405f0mov rax, [rax]
001405f3cmp rax, 1
001405f7je 0x140604
001405f9lea rax, [rip+0x198130]
00140600jmp 0x14060b
00140602
00140602 66 90 f.
00140604
00140604loc_140604:
00140604lea rax, [rip+0x19810d]
0014060b
0014060bloc_14060b:
0014060bmov rdi, [rbx-8]
0014060fshr rdi, 10
00140613cmp rdi, 2
00140617jl 0x140620
00140619mov [rsp], rax
0014061djmp 0x14063c
0014061f
0014061f 90 .
00140620
00140620loc_140620:
00140620mov rdi, [rbx]
00140623mov rsi, 0x700000000000000
0014062dcmp rdi, rsi
00140630jne 0x140638
00140632add rsp, 8
00140636ret
00140637
00140637 90 .
00140638
00140638loc_140638:
00140638mov [rsp], rax
0014063c
0014063cloc_14063c:
0014063clea rax, [rip+0x1980c5]
00140643call camlStdlib.$5e_139
00140648mov rbx, rax
0014064bmov rax, [rsp]
0014064fadd rsp, 8
00140653jmp 0x195ba0
00140658
00140658loc_140658:
00140658push 34
0014065acall caml_call_realloc_stack
0014065fpop r10
00140661jmp 0x1405de
001405d0

00140666
00140666 // align 0x10

00140670
00140670camlHtmlMath.open_display_cell_543:
00140670lea r10, [rsp-320]
00140678cmp r10, [r14+40]
0014067cjb 0x140690
0014067e
0014067eloc_14067e:
0014067ecall camlHtmlMath.display_cell_arg_539
00140683mov rbx, rax
00140686mov eax, 19
0014068bjmp 0x149640
00140690
00140690loc_140690:
00140690push 33
00140692call caml_call_realloc_stack
00140697pop r10
00140699jmp 0x14067e
00140670

0014069b
0014069b // align 0x10

001406a0
001406a0camlHtmlMath.begin_item_display_546:
001406a0lea r10, [rsp-352]
001406a8cmp r10, [r14+40]
001406acjb 0x1407a6
001406b2
001406b2loc_1406b2:
001406b2sub rsp, 32
001406b6mov [rsp+8], rax
001406bbmov [rsp], rbx
001406bflea rax, [rip+0x1e99aa]
001406c6mov rax, [rax+80]
001406camov rax, [rax]
001406cdcmp rax, 5
001406d1jle 0x140759
001406d7lea rax, [rip+0x19b2d2]
001406demov rax, [rax+312]
001406e5mov rax, [rax+24]
001406e9cmp rax, 1
001406edje 0x140700
001406eflea rax, [rip+0x19c812]
001406f6mov [rsp+24], rax
001406fbjmp 0x14070c
001406fd
001406fd 0f 1f 00 ...
00140700
00140700loc_140700:
00140700lea rax, [rip+0x19c7f1]
00140707mov [rsp+24], rax
0014070c
0014070cloc_14070c:
0014070clea rax, [rip+0x19b29d]
00140713mov rax, [rax+312]
0014071amov rax, [rax+16]
0014071emov [rsp+16], rax
00140723lea rbx, [rip+0x197ed6]
0014072alea rax, [rip+0x1ecee7]
00140731mov rax, [rax+312]
00140738call Stdlib.Printf.fprintf
0014073dmov rdi, rax
00140740mov rax, [rsp+16]
00140745mov rbx, [rsp+24]
0014074acall caml_apply2
0014074fmov eax, 1
00140754call camlStdlib.prerr_newline_393
00140759
00140759loc_140759:
00140759lea rax, [rip+0x197c80]
00140760call camlHtmlMath.display_cell_arg_539
00140765mov rbx, rax
00140768mov eax, 19
0014076dcall camlHtmlCommon.open_block_1363
00140772lea rbx, [rip+0x197c67]
00140779mov eax, 21
0014077ecall camlHtmlCommon.open_block_1363
00140783mov rax, [rsp]
00140787cmp rax, 1
0014078bje 0x14079c
0014078dmov rax, [rsp+8]
00140792add rsp, 32
00140796jmp 0x14a860
0014079b
0014079b 90 .
0014079c
0014079cloc_14079c:
0014079cmov eax, 1
001407a1add rsp, 32
001407a5ret
001407a6
001407a6loc_1407a6:
001407a6push 37
001407a8call caml_call_realloc_stack
001407adpop r10
001407afjmp 0x1406b2
001406a0

001407b4
001407b4 // align 0x10

001407c0
001407c0camlHtmlMath.end_item_display_547:
001407c0lea r10, [rsp-336]
001407c8cmp r10, [r14+40]
001407ccjb 0x1408e2
001407d2
001407d2loc_1407d2:
001407d2sub rsp, 16
001407d6mov eax, 1
001407dbcall camlHtmlCommon.pop_freeze_1487
001407e0mov [rsp], rax
001407e4mov ebx, 21
001407e9lea rax, [rip+0x19b1c0]
001407f0mov rax, [rax+856]
001407f7call camlHtmlCommon.close_flow_loc_1364
001407fcmov ebx, 19
00140801lea rax, [rip+0x19b1a8]
00140808mov rax, [rax+856]
0014080fcall camlHtmlCommon.close_flow_loc_1364
00140814cmp rax, 1
00140818je 0x140834
0014081alea rax, [rip+0x19b18f]
00140821mov rax, [rax+312]
00140828mov rbx, [rax+16]
0014082cadd rbx, 2
00140830mov [rax+16], rbx
00140834
00140834loc_140834:
00140834lea rax, [rip+0x1e9835]
0014083bmov rax, [rax+80]
0014083fmov rax, [rax]
00140842cmp rax, 5
00140846jle 0x140899
00140848lea rax, [rip+0x19b161]
0014084fmov rax, [rax+312]
00140856mov rax, [rax+16]
0014085amov [rsp+8], rax
0014085flea rbx, [rip+0x197cc2]
00140866lea rax, [rip+0x1ecdab]
0014086dmov rax, [rax+312]
00140874call Stdlib.Printf.fprintf
00140879mov rbx, rax
0014087cmov rdi, [rbx]
0014087fmov rax, [rsp+8]
00140884call rdi
00140886lea rax, [rip+0x19b123]
0014088dmov rax, [rax+216]
00140894call camlHtmlCommon.pretty_stack_778
00140899
00140899loc_140899:
00140899sub r15, 32
0014089dcmp r15, [r14]
001408a0jb 0x1408db
001408a2
001408a2loc_1408a2:
001408a2lea rax, [r15+8]
001408a6mov [rax-8], 3072
001408aelea rbx, [rip+0x19b0fb]
001408b5mov rbx, [rbx+312]
001408bcmov rbx, [rbx+48]
001408c0mov [rax], rbx
001408c3mov rdi, [rsp]
001408c7mov rbx, [rdi]
001408camov [rax+8], rbx
001408cemov rbx, [rdi+8]
001408d2mov [rax+16], rbx
001408d6add rsp, 16
001408daret
001408db
001408dbloc_1408db:
001408dbcall caml_call_gc
001408e0jmp 0x1408a2
001408e2
001408e2loc_1408e2:
001408e2push 35
001408e4call caml_call_realloc_stack
001408e9pop r10
001408ebjmp 0x1407d2
001407c0

001408f0
001408f0camlHtmlMath.open_display_varg_591:
001408f0lea r10, [rsp-336]
001408f8cmp r10, [r14+40]
001408fcjb 0x1409ec
00140902
00140902loc_140902:
00140902sub rsp, 16
00140906mov [rsp], rax
0014090amov [rsp+8], rbx
0014090flea rax, [rip+0x1e975a]
00140916mov rax, [rax+80]
0014091amov rax, [rax]
0014091dcmp rax, 5
00140921jle 0x14093d
00140923lea rbx, [rip+0x197b9e]
0014092alea rax, [rip+0x1ecce7]
00140931mov rax, [rax+312]
00140938call Stdlib.Printf.fprintf
0014093d
0014093dloc_14093d:
0014093dmov eax, 1
00140942call camlHtmlCommon.try_open_display_1492
00140947sub r15, 16
0014094bcmp r15, [r14]
0014094ejb 0x1409e2
00140954
00140954loc_140954:
00140954lea rax, [r15+8]
00140958mov [rax-8], 1024
00140960mov rbx, [rsp]
00140964mov [rax], rbx
00140967mov rbx, [rsp+8]
0014096ccall camlHtmlCommon.open_block_1363
00140971lea rax, [rip+0x197a68]
00140978call camlHtmlMath.display_cell_arg_539
0014097dmov rbx, rax
00140980mov eax, 19
00140985call camlHtmlCommon.open_block_1363
0014098alea rbx, [rip+0x197a4f]
00140991mov eax, 21
00140996call camlHtmlCommon.open_block_1363
0014099blea rax, [rip+0x1e96ce]
001409a2mov rax, [rax+80]
001409a6mov rax, [rax]
001409a9cmp rax, 5
001409adjle 0x1409d8
001409aflea rax, [rip+0x19affa]
001409b6mov rax, [rax+168]
001409bdmov rax, [rax]
001409c0call camlHtmlCommon.pretty_cur_839
001409c5lea rax, [rip+0x197a14]
001409ccadd rsp, 16
001409d0jmp 0x196d50
001409d5
001409d5 0f 1f 00 ...
001409d8
001409d8loc_1409d8:
001409d8mov eax, 1
001409ddadd rsp, 16
001409e1ret
001409e2
001409e2loc_1409e2:
001409e2call caml_call_gc
001409e7jmp 0x140954
001409ec
001409ecloc_1409ec:
001409ecpush 35
001409eecall caml_call_realloc_stack
001409f3pop r10
001409f5jmp 0x140902
001408f0

001409fa
001409fa // align 0x10

00140a00
00140a00camlHtmlMath.open_display_595:
00140a00lea rbx, [rip+0x197a99]
00140a07jmp 0x1408f0
00140a00

00140a0c
00140a0c // align 0x10

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