Similarity

0013b9b0
0013b9b0camlHtml.entry:
0013b9b0sub rsp, 152
0013b9b7mov edi, 1
0013b9bcmov rbx, rsp
0013b9bfmov rsp, [r14+64]
0013b9c3call caml_fresh_oo_id
0013b9c8mov rsp, rbx
0013b9cbcall caml_alloc2
0013b9d0lea rsi, [r15+8]
0013b9d4mov [rsi-8], 2296
0013b9dclea rbx, [rip+0x196e65]
0013b9e3mov [rsi], rbx
0013b9e6mov [rsi+8], rax
0013b9ealea rdi, [rip+0x195ebf]
0013b9f1mov rbx, rsp
0013b9f4mov rsp, [r14+64]
0013b9f8call caml_initialize
0013b9fdmov rsp, rbx
0013ba00lea rsi, [rip+0x1955d1]
0013ba07lea rdi, [rip+0x195ea2]
0013ba0eadd rdi, 256
0013ba15mov rbx, rsp
0013ba18mov rsp, [r14+64]
0013ba1ccall caml_initialize
0013ba21mov rsp, rbx
0013ba24lea rax, [rip+0x1ecc15]
0013ba2bmov rax, [rax+24]
0013ba2fmov rax, [rax]
0013ba32cmp rax, 1
0013ba36je 0x13bba8
0013ba3clea rbp, [rip+0x199265]
0013ba43mov rax, [rbp+280]
0013ba4amov [rsp+16], rax
0013ba4fmov rax, [rbp+272]
0013ba56mov [rsp+8], rax
0013ba5bmov rax, [rbp+192]
0013ba62mov [rsp], rax
0013ba66mov r11, [rbp+184]
0013ba6dmov r10, [rbp+200]
0013ba74mov r13, [rbp+80]
0013ba78mov r12, [rbp+88]
0013ba7cmov r9, [rbp+24]
0013ba80mov r8, [rbp+40]
0013ba84mov rcx, [rbp+32]
0013ba88mov rdx, [rbp+56]
0013ba8cmov rsi, [rbp+64]
0013ba90mov rdi, [rbp+16]
0013ba94mov rbx, [rbp+8]
0013ba98mov rax, [rbp+72]
0013ba9cmov rbp, [rbp+240]
0013baa3mov [rsp+24], rbp
0013baa8mov [rsp+32], rax
0013baadmov [rsp+40], rbx
0013bab2mov [rsp+48], rdi
0013bab7mov [rsp+56], rsi
0013babcmov [rsp+64], rdx
0013bac1mov [rsp+72], rcx
0013bac6mov [rsp+80], r8
0013bacbmov [rsp+88], r9
0013bad0mov [rsp+96], r12
0013bad5mov [rsp+104], r13
0013badamov [rsp+112], r10
0013badfmov [rsp+120], r11
0013bae4mov rax, [rsp]
0013bae8mov [rsp+128], rax
0013baf0mov rax, [rsp+8]
0013baf5mov [rsp+136], rax
0013bafdmov rax, [rsp+16]
0013bb02mov [rsp+144], rax
0013bb0amov rax, [rsp+24]
0013bb0fmov [rsp], rax
0013bb13mov rax, [rsp+32]
0013bb18mov [rsp+8], rax
0013bb1dmov rax, [rsp+40]
0013bb22mov [rsp+16], rax
0013bb27mov rax, [rsp+48]
0013bb2cmov [rsp+24], rax
0013bb31mov rax, [rsp+56]
0013bb36mov [rsp+32], rax
0013bb3bmov rax, [rsp+64]
0013bb40mov [rsp+40], rax
0013bb45mov rax, [rsp+72]
0013bb4amov [rsp+48], rax
0013bb4fmov rax, [rsp+80]
0013bb54mov [rsp+56], rax
0013bb59mov rax, [rsp+88]
0013bb5emov [rsp+64], rax
0013bb63mov rax, [rsp+96]
0013bb68mov [rsp+72], rax
0013bb6dmov rax, [rsp+104]
0013bb72mov [rsp+80], rax
0013bb77mov rax, [rsp+112]
0013bb7cmov [rsp+88], rax
0013bb81mov r12, [rsp+120]
0013bb86mov r13, [rsp+128]
0013bb8emov rbp, [rsp+136]
0013bb96mov rax, [rsp+144]
0013bb9emov [rsp+96], rax
0013bba3jmp 0x13bd66
0013bba8
0013bba8loc_13bba8:
0013bba8lea rbp, [rip+0x19c2e9]
0013bbafmov rax, [rbp+264]
0013bbb6mov [rsp+16], rax
0013bbbbmov rax, [rbp+256]
0013bbc2mov [rsp+8], rax
0013bbc7mov rax, [rbp+40]
0013bbcbmov [rsp], rax
0013bbcfmov rax, [rbp+32]
0013bbd3mov [rsp+120], rax
0013bbd8mov rbx, [rbp+48]
0013bbdcmov [rsp+112], rbx
0013bbe1mov r13, [rbp+144]
0013bbe8mov r12, [rbp+152]
0013bbeflea r9, [rip+0x195412]
0013bbf6mov ebx, 1
0013bbfbmov rdi, [rbp+88]
0013bbffsub r15, 40
0013bc03call caml_allocN
0013bc08lea rax, [r15+8]
0013bc0cmov [rax-8], 4343
0013bc14lea rsi, [rip-13643]
0013bc1bmov [rax], rsi
0013bc1emov rsi, 0x100000000000005
0013bc28mov [rax+8], rsi
0013bc2cmov [rax+16], rbx
0013bc30mov [rax+24], rdi
0013bc34lea r8, [rip+0x1953b5]
0013bc3bmov rcx, [rbp+120]
0013bc3fmov rdx, [rbp+128]
0013bc46mov rsi, [rbp+80]
0013bc4amov rdi, [rbp+72]
0013bc4emov rbx, [rbp+136]
0013bc55mov r10, [rbp+248]
0013bc5cmov [rsp+24], r10
0013bc61mov [rsp+32], rbx
0013bc66mov [rsp+40], rdi
0013bc6bmov [rsp+48], rsi
0013bc70mov [rsp+56], rdx
0013bc75mov [rsp+64], rcx
0013bc7amov [rsp+72], r8
0013bc7fmov [rsp+80], rax
0013bc84mov [rsp+88], r9
0013bc89mov [rsp+96], r12
0013bc8emov [rsp+104], r13
0013bc93mov rax, [rsp+112]
0013bc98mov [rsp+112], rax
0013bc9dmov rax, [rsp+120]
0013bca2mov [rsp+120], rax
0013bca7mov rax, [rsp]
0013bcabmov [rsp+128], rax
0013bcb3mov rax, [rsp+8]
0013bcb8mov [rsp+136], rax
0013bcc0mov rax, [rsp+16]
0013bcc5mov [rsp+144], rax
0013bccdmov rax, [rsp+24]
0013bcd2mov [rsp], rax
0013bcd6mov rax, [rsp+32]
0013bcdbmov [rsp+8], rax
0013bce0mov rax, [rsp+40]
0013bce5mov [rsp+16], rax
0013bceamov rax, [rsp+48]
0013bcefmov [rsp+24], rax
0013bcf4mov rax, [rsp+56]
0013bcf9mov [rsp+32], rax
0013bcfemov rax, [rsp+64]
0013bd03mov [rsp+40], rax
0013bd08mov rax, [rsp+72]
0013bd0dmov [rsp+48], rax
0013bd12mov rax, [rsp+80]
0013bd17mov [rsp+56], rax
0013bd1cmov rax, [rsp+88]
0013bd21mov [rsp+64], rax
0013bd26mov rax, [rsp+96]
0013bd2bmov [rsp+72], rax
0013bd30mov rax, [rsp+104]
0013bd35mov [rsp+80], rax
0013bd3amov rax, [rsp+112]
0013bd3fmov [rsp+88], rax
0013bd44mov r12, [rsp+120]
0013bd49mov r13, [rsp+128]
0013bd51mov rbp, [rsp+136]
0013bd59mov rax, [rsp+144]
0013bd61mov [rsp+96], rax
0013bd66
0013bd66loc_13bd66:
0013bd66lea rdi, [rip+0x195b43]
0013bd6dadd rdi, 264
0013bd74mov rsi, [rsp]
0013bd78mov rbx, rsp
0013bd7bmov rsp, [r14+64]
0013bd7fcall caml_initialize
0013bd84mov rsp, rbx
0013bd87lea rdi, [rip+0x195b22]
0013bd8eadd rdi, 224
0013bd95mov rsi, [rsp+8]
0013bd9amov rbx, rsp
0013bd9dmov rsp, [r14+64]
0013bda1call caml_initialize
0013bda6mov rsp, rbx
0013bda9lea rdi, [rip+0x195b00]
0013bdb0add rdi, 680
0013bdb7mov rsi, [rsp+16]
0013bdbcmov rbx, rsp
0013bdbfmov rsp, [r14+64]
0013bdc3call caml_initialize
0013bdc8mov rsp, rbx
0013bdcblea rdi, [rip+0x195ade]
0013bdd2add rdi, 688
0013bdd9mov rsi, [rsp+24]
0013bddemov rbx, rsp
0013bde1mov rsp, [r14+64]
0013bde5call caml_initialize
0013bdeamov rsp, rbx
0013bdedlea rdi, [rip+0x195abc]
0013bdf4add rdi, 216
0013bdfbmov rsi, [rsp+32]
0013be00mov rbx, rsp
0013be03mov rsp, [r14+64]
0013be07call caml_initialize
0013be0cmov rsp, rbx
0013be0flea rdi, [rip+0x195a9a]
0013be16add rdi, 208
0013be1dmov rsi, [rsp+40]
0013be22mov rbx, rsp
0013be25mov rsp, [r14+64]
0013be29call caml_initialize
0013be2emov rsp, rbx
0013be31lea rdi, [rip+0x195a78]
0013be38add rdi, 696
0013be3fmov rsi, [rsp+48]
0013be44mov rbx, rsp
0013be47mov rsp, [r14+64]
0013be4bcall caml_initialize
0013be50mov rsp, rbx
0013be53lea rdi, [rip+0x195a56]
0013be5aadd rdi, 704
0013be61mov rsi, [rsp+56]
0013be66mov rbx, rsp
0013be69mov rsp, [r14+64]
0013be6dcall caml_initialize
0013be72mov rsp, rbx
0013be75lea rdi, [rip+0x195a34]
0013be7cadd rdi, 712
0013be83mov rsi, [rsp+64]
0013be88mov rbx, rsp
0013be8bmov rsp, [r14+64]
0013be8fcall caml_initialize
0013be94mov rsp, rbx
0013be97lea rdi, [rip+0x195a12]
0013be9eadd rdi, 720
0013bea5mov rsi, [rsp+72]
0013beaamov rbx, rsp
0013beadmov rsp, [r14+64]
0013beb1call caml_initialize
0013beb6mov rsp, rbx
0013beb9lea rdi, [rip+0x1959f0]
0013bec0add rdi, 728
0013bec7mov rsi, [rsp+80]
0013beccmov rbx, rsp
0013becfmov rsp, [r14+64]
0013bed3call caml_initialize
0013bed8mov rsp, rbx
0013bedblea rdi, [rip+0x1959ce]
0013bee2add rdi, 504
0013bee9mov rsi, [rsp+88]
0013beeemov rbx, rsp
0013bef1mov rsp, [r14+64]
0013bef5call caml_initialize
0013befamov rsp, rbx
0013befdlea rdi, [rip+0x1959ac]
0013bf04add rdi, 736
0013bf0bmov rsi, r12
0013bf0emov rbx, rsp
0013bf11mov rsp, [r14+64]
0013bf15call caml_initialize
0013bf1amov rsp, rbx
0013bf1dlea rdi, [rip+0x19598c]
0013bf24add rdi, 744
0013bf2bmov rsi, r13
0013bf2emov rbx, rsp
0013bf31mov rsp, [r14+64]
0013bf35call caml_initialize
0013bf3amov rsp, rbx
0013bf3dlea rdi, [rip+0x19596c]
0013bf44add rdi, 272
0013bf4bmov rsi, rbp
0013bf4emov rbx, rsp
0013bf51mov rsp, [r14+64]
0013bf55call caml_initialize
0013bf5amov rsp, rbx
0013bf5dlea rdi, [rip+0x19594c]
0013bf64add rdi, 280
0013bf6bmov rsi, [rsp+96]
0013bf70mov rbx, rsp
0013bf73mov rsp, [r14+64]
0013bf77call caml_initialize
0013bf7cmov rsp, rbx
0013bf7flea rax, [rip+0x1ec6ba]
0013bf86mov rax, [rax+24]
0013bf8amov rax, [rax]
0013bf8dcmp rax, 1
0013bf91je 0x13bfb1
0013bf93lea rax, [rip+0x198d0e]
0013bf9amov r13, [rax+216]
0013bfa1mov r12, [rax+224]
0013bfa8mov rsi, [rax+232]
0013bfafjmp 0x13bfcd
0013bfb1
0013bfb1loc_13bfb1:
0013bfb1lea rax, [rip+0x19bee0]
0013bfb8mov r13, [rax+208]
0013bfbfmov r12, [rax+216]
0013bfc6mov rsi, [rax+224]
0013bfcd
0013bfcdloc_13bfcd:
0013bfcdlea rdi, [rip+0x1958dc]
0013bfd4add rdi, 248
0013bfdbmov rbx, rsp
0013bfdemov rsp, [r14+64]
0013bfe2call caml_initialize
0013bfe7mov rsp, rbx
0013bfealea rdi, [rip+0x1958bf]
0013bff1add rdi, 240
0013bff8mov rsi, r12
0013bffbmov rbx, rsp
0013bffemov rsp, [r14+64]
0013c002call caml_initialize
0013c007mov rsp, rbx
0013c00alea rdi, [rip+0x19589f]
0013c011add rdi, 232
0013c018mov rsi, r13
0013c01bmov rbx, rsp
0013c01emov rsp, [r14+64]
0013c022call caml_initialize
0013c027mov rsp, rbx
0013c02alea rsi, [rip+0x19501f]
0013c031lea r12, [rip+0x195000]
0013c038lea r13, [rip+0x194fe1]
0013c03flea rdi, [rip+0x19586a]
0013c046add rdi, 8
0013c04amov rbx, rsp
0013c04dmov rsp, [r14+64]
0013c051call caml_initialize
0013c056mov rsp, rbx
0013c059lea rdi, [rip+0x195850]
0013c060add rdi, 16
0013c064mov rsi, r12
0013c067mov rbx, rsp
0013c06amov rsp, [r14+64]
0013c06ecall caml_initialize
0013c073mov rsp, rbx
0013c076lea rdi, [rip+0x195833]
0013c07dadd rdi, 24
0013c081mov rsi, r13
0013c084mov rbx, rsp
0013c087mov rsp, [r14+64]
0013c08bcall caml_initialize
0013c090mov rsp, rbx
0013c093lea rsi, [rip+0x194fce]
0013c09alea rdi, [rip+0x19580f]
0013c0a1add rdi, 32
0013c0a5mov rbx, rsp
0013c0a8mov rsp, [r14+64]
0013c0accall caml_initialize
0013c0b1mov rsp, rbx
0013c0b4lea rsi, [rip+0x194fc5]
0013c0bblea rdi, [rip+0x1957ee]
0013c0c2add rdi, 352
0013c0c9mov rbx, rsp
0013c0ccmov rsp, [r14+64]
0013c0d0call caml_initialize
0013c0d5mov rsp, rbx
0013c0d8lea rsi, [rip+0x194fb9]
0013c0dflea rdi, [rip+0x1957ca]
0013c0e6add rdi, 360
0013c0edmov rbx, rsp
0013c0f0mov rsp, [r14+64]
0013c0f4call caml_initialize
0013c0f9mov rsp, rbx
0013c0fclea rsi, [rip+0x194fad]
0013c103lea rdi, [rip+0x1957a6]
0013c10aadd rdi, 368
0013c111mov rbx, rsp
0013c114mov rsp, [r14+64]
0013c118call caml_initialize
0013c11dmov rsp, rbx
0013c120lea rsi, [rip+0x194fa1]
0013c127lea rdi, [rip+0x195782]
0013c12eadd rdi, 392
0013c135mov rbx, rsp
0013c138mov rsp, [r14+64]
0013c13ccall caml_initialize
0013c141mov rsp, rbx
0013c144lea rsi, [rip+0x194f95]
0013c14blea rdi, [rip+0x19575e]
0013c152add rdi, 400
0013c159mov rbx, rsp
0013c15cmov rsp, [r14+64]
0013c160call caml_initialize
0013c165mov rsp, rbx
0013c168lea rsi, [rip+0x194f89]
0013c16flea rdi, [rip+0x19573a]
0013c176add rdi, 408
0013c17dmov rbx, rsp
0013c180mov rsp, [r14+64]
0013c184call caml_initialize
0013c189mov rsp, rbx
0013c18clea rsi, [rip+0x194f7d]
0013c193lea rdi, [rip+0x195716]
0013c19aadd rdi, 424
0013c1a1mov rbx, rsp
0013c1a4mov rsp, [r14+64]
0013c1a8call caml_initialize
0013c1admov rsp, rbx
0013c1b0lea rsi, [rip+0x194f71]
0013c1b7lea rdi, [rip+0x1956f2]
0013c1beadd rdi, 432
0013c1c5mov rbx, rsp
0013c1c8mov rsp, [r14+64]
0013c1cccall caml_initialize
0013c1d1mov rsp, rbx
0013c1d4lea rsi, [rip+0x194f65]
0013c1dblea rdi, [rip+0x1956ce]
0013c1e2add rdi, 440
0013c1e9mov rbx, rsp
0013c1ecmov rsp, [r14+64]
0013c1f0call caml_initialize
0013c1f5mov rsp, rbx
0013c1f8lea rsi, [rip+0x194f59]
0013c1fflea rdi, [rip+0x1956aa]
0013c206add rdi, 456
0013c20dmov rbx, rsp
0013c210mov rsp, [r14+64]
0013c214call caml_initialize
0013c219mov rsp, rbx
0013c21clea rsi, [rip+0x194f4d]
0013c223lea rdi, [rip+0x195686]
0013c22aadd rdi, 464
0013c231mov rbx, rsp
0013c234mov rsp, [r14+64]
0013c238call caml_initialize
0013c23dmov rsp, rbx
0013c240lea rsi, [rip+0x194f41]
0013c247lea rdi, [rip+0x195662]
0013c24eadd rdi, 472
0013c255mov rbx, rsp
0013c258mov rsp, [r14+64]
0013c25ccall caml_initialize
0013c261mov rsp, rbx
0013c264lea rsi, [rip+0x196205]
0013c26blea rdi, [rip+0x19563e]
0013c272add rdi, 952
0013c279mov rbx, rsp
0013c27cmov rsp, [r14+64]
0013c280call caml_initialize
0013c285mov rsp, rbx
0013c288lea rsi, [rip+0x196161]
0013c28flea rdi, [rip+0x19561a]
0013c296add rdi, 960
0013c29dmov rbx, rsp
0013c2a0mov rsp, [r14+64]
0013c2a4call caml_initialize
0013c2a9mov rsp, rbx
0013c2aclea rsi, [rip+0x194eed]
0013c2b3lea rdi, [rip+0x1955f6]
0013c2baadd rdi, 968
0013c2c1mov rbx, rsp
0013c2c4mov rsp, [r14+64]
0013c2c8call caml_initialize
0013c2cdmov rsp, rbx
0013c2d0call caml_alloc3
0013c2d5lea rsi, [r15+8]
0013c2d9mov [rsi-8], 3072
0013c2e1lea rax, [rip+0x196188]
0013c2e8mov [rsi], rax
0013c2eblea rax, [rip+0x1960fe]
0013c2f2mov [rsi+8], rax
0013c2f6lea rdi, [rip+0x1955b3]
0013c2fdmov rax, [rdi+968]
0013c304mov [rsi+16], rax
0013c308add rdi, 752
0013c30fmov rbx, rsp
0013c312mov rsp, [r14+64]
0013c316call caml_initialize
0013c31bmov rsp, rbx
0013c31elea rsi, [rip+0x194e9b]
0013c325lea rdi, [rip+0x195584]
0013c32cadd rdi, 480
0013c333mov rbx, rsp
0013c336mov rsp, [r14+64]
0013c33acall caml_initialize
0013c33fmov rsp, rbx
0013c342lea rsi, [rip+0x194e97]
0013c349lea rdi, [rip+0x195560]
0013c350add rdi, 488
0013c357mov rbx, rsp
0013c35amov rsp, [r14+64]
0013c35ecall caml_initialize
0013c363mov rsp, rbx
0013c366lea rsi, [rip+0x194e8b]
0013c36dlea rdi, [rip+0x19553c]
0013c374add rdi, 496
0013c37bmov rbx, rsp
0013c37emov rsp, [r14+64]
0013c382call caml_initialize
0013c387mov rsp, rbx
0013c38alea rsi, [rip+0x194ebf]
0013c391lea r12, [rip+0x194e98]
0013c398lea r13, [rip+0x194e71]
0013c39flea rdi, [rip+0x19550a]
0013c3a6add rdi, 632
0013c3admov rbx, rsp
0013c3b0mov rsp, [r14+64]
0013c3b4call caml_initialize
0013c3b9mov rsp, rbx
0013c3bclea rdi, [rip+0x1954ed]
0013c3c3add rdi, 640
0013c3camov rsi, r12
0013c3cdmov rbx, rsp
0013c3d0mov rsp, [r14+64]
0013c3d4call caml_initialize
0013c3d9mov rsp, rbx
0013c3dclea rdi, [rip+0x1954cd]
0013c3e3add rdi, 648
0013c3eamov rsi, r13
0013c3edmov rbx, rsp
0013c3f0mov rsp, [r14+64]
0013c3f4call caml_initialize
0013c3f9mov rsp, rbx
0013c3fclea rsi, [rip+0x194e65]
0013c403lea rdi, [rip+0x1954a6]
0013c40aadd rdi, 656
0013c411mov rbx, rsp
0013c414mov rsp, [r14+64]
0013c418call caml_initialize
0013c41dmov rsp, rbx
0013c420lea rax, [rip+0x19f589]
0013c427mov rsi, [rax+376]
0013c42emov r12, [rax+384]
0013c435lea rdi, [rip+0x195474]
0013c43cadd rdi, 664
0013c443mov rbx, rsp
0013c446mov rsp, [r14+64]
0013c44acall caml_initialize
0013c44fmov rsp, rbx
0013c452lea rdi, [rip+0x195457]
0013c459add rdi, 672
0013c460mov rsi, r12
0013c463mov rbx, rsp
0013c466mov rsp, [r14+64]
0013c46acall caml_initialize
0013c46fmov rsp, rbx
0013c472lea rsi, [rip+0x194e0f]
0013c479lea rdi, [rip+0x195430]
0013c480add rdi, 88
0013c484mov rbx, rsp
0013c487mov rsp, [r14+64]
0013c48bcall caml_initialize
0013c490mov rsp, rbx
0013c493lea rsi, [rip+0x194e06]
0013c49alea rdi, [rip+0x19540f]
0013c4a1add rdi, 760
0013c4a8mov rbx, rsp
0013c4abmov rsp, [r14+64]
0013c4afcall caml_initialize
0013c4b4mov rsp, rbx
0013c4b7lea rsi, [rip+0x194e02]
0013c4belea rdi, [rip+0x1953eb]
0013c4c5add rdi, 104
0013c4c9mov rbx, rsp
0013c4ccmov rsp, [r14+64]
0013c4d0call caml_initialize
0013c4d5mov rsp, rbx
0013c4d8lea rsi, [rip+0x194e21]
0013c4dflea rdi, [rip+0x1953ca]
0013c4e6add rdi, 768
0013c4edmov rbx, rsp
0013c4f0mov rsp, [r14+64]
0013c4f4call caml_initialize
0013c4f9mov rsp, rbx
0013c4fclea rsi, [rip+0x194e15]
0013c503lea rdi, [rip+0x1953a6]
0013c50aadd rdi, 96
0013c50emov rbx, rsp
0013c511mov rsp, [r14+64]
0013c515call caml_initialize
0013c51amov rsp, rbx
0013c51dlea rsi, [rip+0x194e0c]
0013c524lea rdi, [rip+0x195385]
0013c52badd rdi, 776
0013c532mov rbx, rsp
0013c535mov rsp, [r14+64]
0013c539call caml_initialize
0013c53emov rsp, rbx
0013c541lea rsi, [rip+0x194e00]
0013c548lea rdi, [rip+0x195361]
0013c54fadd rdi, 784
0013c556mov rbx, rsp
0013c559mov rsp, [r14+64]
0013c55dcall caml_initialize
0013c562mov rsp, rbx
0013c565lea rsi, [rip+0x194df4]
0013c56clea rdi, [rip+0x19533d]
0013c573add rdi, 792
0013c57amov rbx, rsp
0013c57dmov rsp, [r14+64]
0013c581call caml_initialize
0013c586mov rsp, rbx
0013c589lea rsi, [rip+0x194de8]
0013c590lea rdi, [rip+0x195319]
0013c597add rdi, 800
0013c59emov rbx, rsp
0013c5a1mov rsp, [r14+64]
0013c5a5call caml_initialize
0013c5aamov rsp, rbx
0013c5adlea rsi, [rip+0x194ddc]
0013c5b4lea rdi, [rip+0x1952f5]
0013c5bbadd rdi, 112
0013c5bfmov rbx, rsp
0013c5c2mov rsp, [r14+64]
0013c5c6call caml_initialize
0013c5cbmov rsp, rbx
0013c5celea rax, [rip+0x19f3db]
0013c5d5mov rsi, [rax+912]
0013c5dclea rdi, [rip+0x1952cd]
0013c5e3add rdi, 808
0013c5eamov rbx, rsp
0013c5edmov rsp, [r14+64]
0013c5f1call caml_initialize
0013c5f6mov rsp, rbx
0013c5f9lea rsi, [rip+0x194da8]
0013c600lea rdi, [rip+0x1952a9]
0013c607add rdi, 816
0013c60emov rbx, rsp
0013c611mov rsp, [r14+64]
0013c615call caml_initialize
0013c61amov rsp, rbx
0013c61dlea rsi, [rip+0x194da4]
0013c624lea rdi, [rip+0x195285]
0013c62badd rdi, 120
0013c62fmov rbx, rsp
0013c632mov rsp, [r14+64]
0013c636call caml_initialize
0013c63bmov rsp, rbx
0013c63elea rsi, [rip+0x194df3]
0013c645lea r12, [rip+0x194dd4]
0013c64clea r13, [rip+0x194db5]
0013c653lea rdi, [rip+0x195256]
0013c65aadd rdi, 192
0013c661mov rbx, rsp
0013c664mov rsp, [r14+64]
0013c668call caml_initialize
0013c66dmov rsp, rbx
0013c670lea rdi, [rip+0x195239]
0013c677add rdi, 184
0013c67emov rsi, r12
0013c681mov rbx, rsp
0013c684mov rsp, [r14+64]
0013c688call caml_initialize
0013c68dmov rsp, rbx
0013c690lea rdi, [rip+0x195219]
0013c697add rdi, 200
0013c69emov rsi, r13
0013c6a1mov rbx, rsp
0013c6a4mov rsp, [r14+64]
0013c6a8call caml_initialize
0013c6admov rsp, rbx
0013c6b0lea rsi, [rip+0x194db1]
0013c6b7lea r12, [rip+0x194d92]
0013c6belea rdi, [rip+0x1951eb]
0013c6c5add rdi, 168
0013c6ccmov rbx, rsp
0013c6cfmov rsp, [r14+64]
0013c6d3call caml_initialize
0013c6d8mov rsp, rbx
0013c6dblea rdi, [rip+0x1951ce]
0013c6e2add rdi, 176
0013c6e9mov rsi, r12
0013c6ecmov rbx, rsp
0013c6efmov rsp, [r14+64]
0013c6f3call caml_initialize
0013c6f8mov rsp, rbx
0013c6fblea rsi, [rip+0x194d7e]
0013c702lea rdi, [rip+0x1951a7]
0013c709add rdi, 824
0013c710mov rbx, rsp
0013c713mov rsp, [r14+64]
0013c717call caml_initialize
0013c71cmov rsp, rbx
0013c71flea rsi, [rip+0x194e12]
0013c726lea rax, [rip+0x194df3]
0013c72dmov [rsp], rax
0013c731lea rax, [rip+0x194dd0]
0013c738mov [rsp+8], rax
0013c73dlea r12, [rip+0x194da4]
0013c744lea r13, [rip+0x194d85]
0013c74blea rbp, [rip+0x194d66]
0013c752lea rax, [rip+0x194d47]
0013c759mov [rsp+16], rax
0013c75elea rdi, [rip+0x19514b]
0013c765add rdi, 832
0013c76cmov rbx, rsp
0013c76fmov rsp, [r14+64]
0013c773call caml_initialize
0013c778mov rsp, rbx
0013c77blea rdi, [rip+0x19512e]
0013c782add rdi, 840
0013c789mov rsi, [rsp]
0013c78dmov rbx, rsp
0013c790mov rsp, [r14+64]
0013c794call caml_initialize
0013c799mov rsp, rbx
0013c79clea rdi, [rip+0x19510d]
0013c7a3add rdi, 848
0013c7aamov rsi, [rsp+8]
0013c7afmov rbx, rsp
0013c7b2mov rsp, [r14+64]
0013c7b6call caml_initialize
0013c7bbmov rsp, rbx
0013c7belea rdi, [rip+0x1950eb]
0013c7c5add rdi, 136
0013c7ccmov rsi, r12
0013c7cfmov rbx, rsp
0013c7d2mov rsp, [r14+64]
0013c7d6call caml_initialize
0013c7dbmov rsp, rbx
0013c7delea rdi, [rip+0x1950cb]
0013c7e5add rdi, 128
0013c7ecmov rsi, r13
0013c7efmov rbx, rsp
0013c7f2mov rsp, [r14+64]
0013c7f6call caml_initialize
0013c7fbmov rsp, rbx
0013c7felea rdi, [rip+0x1950ab]
0013c805add rdi, 320
0013c80cmov rsi, rbp
0013c80fmov rbx, rsp
0013c812mov rsp, [r14+64]
0013c816call caml_initialize
0013c81bmov rsp, rbx
0013c81elea rdi, [rip+0x19508b]
0013c825add rdi, 144
0013c82cmov rsi, [rsp+16]
0013c831mov rbx, rsp
0013c834mov rsp, [r14+64]
0013c838call caml_initialize
0013c83dmov rsp, rbx
0013c840lea rax, [rip+0x19f169]
0013c847mov rbx, [rax+1032]
0013c84emov [rsp], rbx
0013c852mov rbx, [rax+1024]
0013c859mov [rsp+8], rbx
0013c85emov rbx, [rax+984]
0013c865mov [rsp+16], rbx
0013c86amov rbx, [rax+976]
0013c871mov [rsp+24], rbx
0013c876mov rbx, [rax+968]
0013c87dmov [rsp+32], rbx
0013c882lea rbx, [rip+0x194ce7]
0013c889mov [rsp+40], rbx
0013c88elea rbx, [rip+0x194cc3]
0013c895mov [rsp+48], rbx
0013c89amov rbx, [rax+720]
0013c8a1mov [rsp+56], rbx
0013c8a6mov rbx, [rax+728]
0013c8admov [rsp+64], rbx
0013c8b2mov rbx, [rax+744]
0013c8b9mov [rsp+72], rbx
0013c8bemov r12, [rax+568]
0013c8c5mov r13, [rax+576]
0013c8ccmov rbp, [rax+680]
0013c8d3mov rax, [rax+1120]
0013c8damov [rsp+80], rax
0013c8dflea rdi, [rip+0x194fca]
0013c8e6add rdi, 384
0013c8edmov rsi, [rsp]
0013c8f1mov rbx, rsp
0013c8f4mov rsp, [r14+64]
0013c8f8call caml_initialize
0013c8fdmov rsp, rbx
0013c900lea rdi, [rip+0x194fa9]
0013c907add rdi, 376
0013c90emov rsi, [rsp+8]
0013c913mov rbx, rsp
0013c916mov rsp, [r14+64]
0013c91acall caml_initialize
0013c91fmov rsp, rbx
0013c922lea rdi, [rip+0x194f87]
0013c929add rdi, 344
0013c930mov rsi, [rsp+16]
0013c935mov rbx, rsp
0013c938mov rsp, [r14+64]
0013c93ccall caml_initialize
0013c941mov rsp, rbx
0013c944lea rdi, [rip+0x194f65]
0013c94badd rdi, 336
0013c952mov rsi, [rsp+24]
0013c957mov rbx, rsp
0013c95amov rsp, [r14+64]
0013c95ecall caml_initialize
0013c963mov rsp, rbx
0013c966lea rdi, [rip+0x194f43]
0013c96dadd rdi, 328
0013c974mov rsi, [rsp+32]
0013c979mov rbx, rsp
0013c97cmov rsp, [r14+64]
0013c980call caml_initialize
0013c985mov rsp, rbx
0013c988lea rdi, [rip+0x194f21]
0013c98fadd rdi, 152
0013c996mov rsi, [rsp+40]
0013c99bmov rbx, rsp
0013c99emov rsp, [r14+64]
0013c9a2call caml_initialize
0013c9a7mov rsp, rbx
0013c9aalea rdi, [rip+0x194eff]
0013c9b1add rdi, 160
0013c9b8mov rsi, [rsp+48]
0013c9bdmov rbx, rsp
0013c9c0mov rsp, [r14+64]
0013c9c4call caml_initialize
0013c9c9mov rsp, rbx
0013c9cclea rdi, [rip+0x194edd]
0013c9d3add rdi, 72
0013c9d7mov rsi, [rsp+56]
0013c9dcmov rbx, rsp
0013c9dfmov rsp, [r14+64]
0013c9e3call caml_initialize
0013c9e8mov rsp, rbx
0013c9eblea rdi, [rip+0x194ebe]
0013c9f2add rdi, 64
0013c9f6mov rsi, [rsp+64]
0013c9fbmov rbx, rsp
0013c9femov rsp, [r14+64]
0013ca02call caml_initialize
0013ca07mov rsp, rbx
0013ca0alea rdi, [rip+0x194e9f]
0013ca11add rdi, 80
0013ca15mov rsi, [rsp+72]
0013ca1amov rbx, rsp
0013ca1dmov rsp, [r14+64]
0013ca21call caml_initialize
0013ca26mov rsp, rbx
0013ca29lea rdi, [rip+0x194e80]
0013ca30add rdi, 56
0013ca34mov rsi, r12
0013ca37mov rbx, rsp
0013ca3amov rsp, [r14+64]
0013ca3ecall caml_initialize
0013ca43mov rsp, rbx
0013ca46lea rdi, [rip+0x194e63]
0013ca4dadd rdi, 48
0013ca51mov rsi, r13
0013ca54mov rbx, rsp
0013ca57mov rsp, [r14+64]
0013ca5bcall caml_initialize
0013ca60mov rsp, rbx
0013ca63lea rdi, [rip+0x194e46]
0013ca6aadd rdi, 40
0013ca6emov rsi, rbp
0013ca71mov rbx, rsp
0013ca74mov rsp, [r14+64]
0013ca78call caml_initialize
0013ca7dmov rsp, rbx
0013ca80lea rdi, [rip+0x194e29]
0013ca87add rdi, 416
0013ca8emov rsi, [rsp+80]
0013ca93mov rbx, rsp
0013ca96mov rsp, [r14+64]
0013ca9acall caml_initialize
0013ca9fmov rsp, rbx
0013caa2lea rsi, [rip+0x194ae7]
0013caa9lea rdi, [rip+0x194e00]
0013cab0add rdi, 512
0013cab7mov rbx, rsp
0013cabamov rsp, [r14+64]
0013cabecall caml_initialize
0013cac3mov rsp, rbx
0013cac6lea rsi, [rip+0x194ae3]
0013cacdlea rdi, [rip+0x194ddc]
0013cad4add rdi, 520
0013cadbmov rbx, rsp
0013cademov rsp, [r14+64]
0013cae2call caml_initialize
0013cae7mov rsp, rbx
0013caealea rsi, [rip+0x194b27]
0013caf1lea r12, [rip+0x194b08]
0013caf8lea r13, [rip+0x194ae9]
0013cafflea rbp, [rip+0x194ac2]
0013cb06lea rdi, [rip+0x194da3]
0013cb0dadd rdi, 856
0013cb14mov rbx, rsp
0013cb17mov rsp, [r14+64]
0013cb1bcall caml_initialize
0013cb20mov rsp, rbx
0013cb23lea rdi, [rip+0x194d86]
0013cb2aadd rdi, 864
0013cb31mov rsi, r12
0013cb34mov rbx, rsp
0013cb37mov rsp, [r14+64]
0013cb3bcall caml_initialize
0013cb40mov rsp, rbx
0013cb43lea rdi, [rip+0x194d66]
0013cb4aadd rdi, 872
0013cb51mov rsi, r13
0013cb54mov rbx, rsp
0013cb57mov rsp, [r14+64]
0013cb5bcall caml_initialize
0013cb60mov rsp, rbx
0013cb63lea rdi, [rip+0x194d46]
0013cb6aadd rdi, 880
0013cb71mov rsi, rbp
0013cb74mov rbx, rsp
0013cb77mov rsp, [r14+64]
0013cb7bcall caml_initialize
0013cb80mov rsp, rbx
0013cb83lea rsi, [rip+0x194aae]
0013cb8alea rdi, [rip+0x194d1f]
0013cb91add rdi, 888
0013cb98mov rbx, rsp
0013cb9bmov rsp, [r14+64]
0013cb9fcall caml_initialize
0013cba4mov rsp, rbx
0013cba7lea rsi, [rip+0x194aaa]
0013cbaelea rdi, [rip+0x194cfb]
0013cbb5add rdi, 896
0013cbbcmov rbx, rsp
0013cbbfmov rsp, [r14+64]
0013cbc3call caml_initialize
0013cbc8mov rsp, rbx
0013cbcblea rsi, [rip+0x194aa6]
0013cbd2lea rdi, [rip+0x194cd7]
0013cbd9add rdi, 904
0013cbe0mov rbx, rsp
0013cbe3mov rsp, [r14+64]
0013cbe7call caml_initialize
0013cbecmov rsp, rbx
0013cbeflea rsi, [rip+0x194aa2]
0013cbf6lea rdi, [rip+0x194cb3]
0013cbfdadd rdi, 528
0013cc04mov rbx, rsp
0013cc07mov rsp, [r14+64]
0013cc0bcall caml_initialize
0013cc10mov rsp, rbx
0013cc13lea rsi, [rip+0x194b16]
0013cc1alea rax, [rip+0x194af7]
0013cc21mov [rsp], rax
0013cc25lea r12, [rip+0x194ad4]
0013cc2clea r13, [rip+0x194ab5]
0013cc33lea rbp, [rip+0x194a96]
0013cc3alea rax, [rip+0x194a77]
0013cc41mov [rsp+8], rax
0013cc46lea rdi, [rip+0x194c63]
0013cc4dadd rdi, 536
0013cc54mov rbx, rsp
0013cc57mov rsp, [r14+64]
0013cc5bcall caml_initialize
0013cc60mov rsp, rbx
0013cc63lea rdi, [rip+0x194c46]
0013cc6aadd rdi, 544
0013cc71mov rsi, [rsp]
0013cc75mov rbx, rsp
0013cc78mov rsp, [r14+64]
0013cc7ccall caml_initialize
0013cc81mov rsp, rbx
0013cc84lea rdi, [rip+0x194c25]
0013cc8badd rdi, 552
0013cc92mov rsi, r12
0013cc95mov rbx, rsp
0013cc98mov rsp, [r14+64]
0013cc9ccall caml_initialize
0013cca1mov rsp, rbx
0013cca4lea rdi, [rip+0x194c05]
0013ccabadd rdi, 560
0013ccb2mov rsi, r13
0013ccb5mov rbx, rsp
0013ccb8mov rsp, [r14+64]
0013ccbccall caml_initialize
0013ccc1mov rsp, rbx
0013ccc4lea rdi, [rip+0x194be5]
0013cccbadd rdi, 568
0013ccd2mov rsi, rbp
0013ccd5mov rbx, rsp
0013ccd8mov rsp, [r14+64]
0013ccdccall caml_initialize
0013cce1mov rsp, rbx
0013cce4lea rdi, [rip+0x194bc5]
0013ccebadd rdi, 576
0013ccf2mov rsi, [rsp+8]
0013ccf7mov rbx, rsp
0013ccfamov rsp, [r14+64]
0013ccfecall caml_initialize
0013cd03mov rsp, rbx
0013cd06lea rsi, [rip+0x194a53]
0013cd0dlea r12, [rip+0x194a34]
0013cd14lea rdi, [rip+0x194b95]
0013cd1badd rdi, 592
0013cd22mov rbx, rsp
0013cd25mov rsp, [r14+64]
0013cd29call caml_initialize
0013cd2emov rsp, rbx
0013cd31lea rdi, [rip+0x194b78]
0013cd38add rdi, 584
0013cd3fmov rsi, r12
0013cd42mov rbx, rsp
0013cd45mov rsp, [r14+64]
0013cd49call caml_initialize
0013cd4emov rsp, rbx
0013cd51lea rsi, [rip+0x194a20]
0013cd58lea rdi, [rip+0x194b51]
0013cd5fadd rdi, 600
0013cd66mov rbx, rsp
0013cd69mov rsp, [r14+64]
0013cd6dcall caml_initialize
0013cd72mov rsp, rbx
0013cd75lea rsi, [rip+0x194a14]
0013cd7clea rdi, [rip+0x194b2d]
0013cd83add rdi, 608
0013cd8amov rbx, rsp
0013cd8dmov rsp, [r14+64]
0013cd91call caml_initialize
0013cd96mov rsp, rbx
0013cd99sub r15, 144
0013cda0call caml_allocN
0013cda5lea rax, [r15+8]
0013cda9add rax, 88
0013cdadmov [rax-8], 6144
0013cdb5lea rbx, [rip+0x195a44]
0013cdbcmov [rax], rbx
0013cdbflea rdi, [rip+0x1956e2]
0013cdc6mov [rax+8], rdi
0013cdcamov [rax+16], 1
0013cdd2mov [rax+24], rdi
0013cdd6mov [rax+32], rdi
0013cddamov [rax+40], 1
0013cde2lea rsi, [rax-16]
0013cde6mov [rsi-8], 1024
0013cdeemov [rsi], rax
0013cdf1lea rax, [rsi-56]
0013cdf5mov [rax-8], 6144
0013cdfdmov [rax], rbx
0013ce00lea rbx, [rip+0x1959e9]
0013ce07mov [rax+8], rbx
0013ce0bmov [rax+16], 1
0013ce13mov [rax+24], rdi
0013ce17mov [rax+32], rdi
0013ce1bmov [rax+40], 1
0013ce23lea r12, [rax-16]
0013ce27mov [r12-8], 1024
0013ce30mov [r12], rax
0013ce34lea rdi, [rip+0x194a75]
0013ce3badd rdi, 912
0013ce42mov rbx, rsp
0013ce45mov rsp, [r14+64]
0013ce49call caml_initialize
0013ce4emov rsp, rbx
0013ce51lea rdi, [rip+0x194a58]
0013ce58add rdi, 920
0013ce5fmov rsi, r12
0013ce62mov rbx, rsp
0013ce65mov rsp, [r14+64]
0013ce69call caml_initialize
0013ce6emov rsp, rbx
0013ce71lea rsi, [rip+0x194930]
0013ce78lea rdi, [rip+0x194a31]
0013ce7fadd rdi, 616
0013ce86mov rbx, rsp
0013ce89mov rsp, [r14+64]
0013ce8dcall caml_initialize
0013ce92mov rsp, rbx
0013ce95lea rsi, [rip+0x19492c]
0013ce9clea rdi, [rip+0x194a0d]
0013cea3add rdi, 624
0013ceaamov rbx, rsp
0013ceadmov rsp, [r14+64]
0013ceb1call caml_initialize
0013ceb6mov rsp, rbx
0013ceb9lea rsi, [rip+0x194928]
0013cec0lea rdi, [rip+0x1949e9]
0013cec7add rdi, 448
0013cecemov rbx, rsp
0013ced1mov rsp, [r14+64]
0013ced5call caml_initialize
0013cedamov rsp, rbx
0013ceddlea rsi, [rip+0x194924]
0013cee4lea rdi, [rip+0x1949c5]
0013ceebadd rdi, 928
0013cef2mov rbx, rsp
0013cef5mov rsp, [r14+64]
0013cef9call caml_initialize
0013cefemov rsp, rbx
0013cf01lea rsi, [rip+0x194918]
0013cf08lea rdi, [rip+0x1949a1]
0013cf0fadd rdi, 296
0013cf16mov rbx, rsp
0013cf19mov rsp, [r14+64]
0013cf1dcall caml_initialize
0013cf22mov rsp, rbx
0013cf25lea rdi, [rip+0x194984]
0013cf2cmov rsi, [rdi+296]
0013cf33lea r12, [rip+0x1948fe]
0013cf3aadd rdi, 304
0013cf41mov rbx, rsp
0013cf44mov rsp, [r14+64]
0013cf48call caml_initialize
0013cf4dmov rsp, rbx
0013cf50lea rdi, [rip+0x194959]
0013cf57add rdi, 288
0013cf5emov rsi, r12
0013cf61mov rbx, rsp
0013cf64mov rsp, [r14+64]
0013cf68call caml_initialize
0013cf6dmov rsp, rbx
0013cf70lea rsi, [rip+0x1948d9]
0013cf77lea rdi, [rip+0x194932]
0013cf7eadd rdi, 936
0013cf85mov rbx, rsp
0013cf88mov rsp, [r14+64]
0013cf8ccall caml_initialize
0013cf91mov rsp, rbx
0013cf94lea rsi, [rip+0x1948d5]
0013cf9blea rdi, [rip+0x19490e]
0013cfa2add rdi, 944
0013cfa9mov rbx, rsp
0013cfacmov rsp, [r14+64]
0013cfb0call caml_initialize
0013cfb5mov rsp, rbx
0013cfb8lea rsi, [rip+0x1948d1]
0013cfbflea rdi, [rip+0x1948ea]
0013cfc6add rdi, 312
0013cfcdmov rbx, rsp
0013cfd0mov rsp, [r14+64]
0013cfd4call caml_initialize
0013cfd9mov rsp, rbx
0013cfdcmov eax, 1
0013cfe1add rsp, 152
0013cfe8ret
0013b9b0

0013cfe9
0013cfe9 // align 0x10

0013cff0
0013cff0camlMathML.begin_item_display_501:
0013cff0lea r10, [rsp-352]
0013cff8cmp r10, [r14+40]
0013cffcjb 0x13d0f2
0013d002
0013d002loc_13d002:
0013d002sub rsp, 32
0013d006mov [rsp+8], rax
0013d00bmov [rsp], rbx
0013d00flea rax, [rip+0x1ed05a]
0013d016mov rax, [rax+80]
0013d01amov rax, [rax]
0013d01dcmp rax, 5
0013d021jle 0x13d0a9
0013d027lea rax, [rip+0x19e982]
0013d02emov rax, [rax+312]
0013d035mov rax, [rax+24]
0013d039cmp rax, 1
0013d03dje 0x13d050
0013d03flea rax, [rip+0x19fec2]
0013d046mov [rsp+24], rax
0013d04bjmp 0x13d05c
0013d04d
0013d04d 0f 1f 00 ...
0013d050
0013d050loc_13d050:
0013d050lea rax, [rip+0x19fea1]
0013d057mov [rsp+24], rax
0013d05c
0013d05cloc_13d05c:
0013d05clea rax, [rip+0x19e94d]
0013d063mov rax, [rax+312]
0013d06amov rax, [rax+16]
0013d06emov [rsp+16], rax
0013d073lea rbx, [rip+0x197e26]
0013d07alea rax, [rip+0x1f0597]
0013d081mov rax, [rax+312]
0013d088call Stdlib.Printf.fprintf
0013d08dmov rdi, rax
0013d090mov rax, [rsp+16]
0013d095mov rbx, [rsp+24]
0013d09acall caml_apply2
0013d09fmov eax, 1
0013d0a4call camlStdlib.prerr_newline_393
0013d0a9
0013d0a9loc_13d0a9:
0013d0a9lea rbx, [rip+0x198640]
0013d0b0lea rax, [rip+0x198649]
0013d0b7call camlHtmlCommon.open_block_1363
0013d0bclea rbx, [rip+0x19862d]
0013d0c3mov eax, 49
0013d0c8call camlHtmlCommon.open_block_1363
0013d0cdmov rax, [rsp]
0013d0d1cmp rax, 1
0013d0d5je 0x13d0e8
0013d0d7mov rax, [rsp+8]
0013d0dcadd rsp, 32
0013d0e0jmp 0x14a860
0013d0e5
0013d0e5 0f 1f 00 ...
0013d0e8
0013d0e8loc_13d0e8:
0013d0e8mov eax, 1
0013d0edadd rsp, 32
0013d0f1ret
0013d0f2
0013d0f2loc_13d0f2:
0013d0f2push 37
0013d0f4call caml_call_realloc_stack
0013d0f9pop r10
0013d0fbjmp 0x13d002
0013cff0

0013d100
0013d100camlMathML.end_item_display_502:
0013d100lea r10, [rsp-336]
0013d108cmp r10, [r14+40]
0013d10cjb 0x13d224
0013d112
0013d112loc_13d112:
0013d112sub rsp, 16
0013d116mov eax, 1
0013d11bcall camlHtmlCommon.pop_freeze_1487
0013d120mov [rsp], rax
0013d124mov ebx, 49
0013d129lea rax, [rip+0x19e880]
0013d130mov rax, [rax+856]
0013d137call camlHtmlCommon.close_flow_loc_1364
0013d13clea rbx, [rip+0x1985bd]
0013d143lea rax, [rip+0x19e866]
0013d14amov rax, [rax+856]
0013d151call camlHtmlCommon.close_flow_loc_1364
0013d156cmp rax, 1
0013d15aje 0x13d176
0013d15clea rax, [rip+0x19e84d]
0013d163mov rax, [rax+312]
0013d16amov rbx, [rax+16]
0013d16eadd rbx, 2
0013d172mov [rax+16], rbx
0013d176
0013d176loc_13d176:
0013d176lea rax, [rip+0x1ecef3]
0013d17dmov rax, [rax+80]
0013d181mov rax, [rax]
0013d184cmp rax, 5
0013d188jle 0x13d1db
0013d18alea rax, [rip+0x19e81f]
0013d191mov rax, [rax+312]
0013d198mov rax, [rax+16]
0013d19cmov [rsp+8], rax
0013d1a1lea rbx, [rip+0x198470]
0013d1a8lea rax, [rip+0x1f0469]
0013d1afmov rax, [rax+312]
0013d1b6call Stdlib.Printf.fprintf
0013d1bbmov rbx, rax
0013d1bemov rdi, [rbx]
0013d1c1mov rax, [rsp+8]
0013d1c6call rdi
0013d1c8lea rax, [rip+0x19e7e1]
0013d1cfmov rax, [rax+216]
0013d1d6call camlHtmlCommon.pretty_stack_778
0013d1db
0013d1dbloc_13d1db:
0013d1dbsub r15, 32
0013d1dfcmp r15, [r14]
0013d1e2jb 0x13d21d
0013d1e4
0013d1e4loc_13d1e4:
0013d1e4lea rax, [r15+8]
0013d1e8mov [rax-8], 3072
0013d1f0lea rbx, [rip+0x19e7b9]
0013d1f7mov rbx, [rbx+312]
0013d1femov rbx, [rbx+48]
0013d202mov [rax], rbx
0013d205mov rdi, [rsp]
0013d209mov rbx, [rdi]
0013d20cmov [rax+8], rbx
0013d210mov rbx, [rdi+8]
0013d214mov [rax+16], rbx
0013d218add rsp, 16
0013d21cret
0013d21d
0013d21dloc_13d21d:
0013d21dcall caml_call_gc
0013d222jmp 0x13d1e4
0013d224
0013d224loc_13d224:
0013d224push 35
0013d226call caml_call_realloc_stack
0013d22bpop r10
0013d22djmp 0x13d112
0013d100

0013d232
0013d232 // align 0x10

0013d240
0013d240camlMathML.open_display_503:
0013d240lea r10, [rsp-320]
0013d248cmp r10, [r14+40]
0013d24cjb 0x13d2f6
0013d252
0013d252loc_13d252:
0013d252lea rax, [rip+0x1ece17]
0013d259mov rax, [rax+80]
0013d25dmov rax, [rax]
0013d260cmp rax, 5
0013d264jle 0x13d280
0013d266lea rbx, [rip+0x19833b]
0013d26dlea rax, [rip+0x1f03a4]
0013d274mov rax, [rax+312]
0013d27bcall Stdlib.Printf.fprintf
0013d280
0013d280loc_13d280:
0013d280mov eax, 1
0013d285call camlHtmlCommon.try_open_display_1492
0013d28alea rbx, [rip+0x19845f]
0013d291lea rax, [rip+0x198468]
0013d298call camlHtmlCommon.open_block_1363
0013d29dmov eax, 21
0013d2a2call camlHtmlCommon.do_put_char_817
0013d2a7lea rbx, [rip+0x198442]
0013d2aemov eax, 49
0013d2b3call camlHtmlCommon.open_block_1363
0013d2b8lea rax, [rip+0x1ecdb1]
0013d2bfmov rax, [rax+80]
0013d2c3mov rax, [rax]
0013d2c6cmp rax, 5
0013d2cajle 0x13d2f0
0013d2cclea rax, [rip+0x19e6dd]
0013d2d3mov rax, [rax+168]
0013d2damov rax, [rax]
0013d2ddcall camlHtmlCommon.pretty_cur_839
0013d2e2lea rax, [rip+0x198407]
0013d2e9jmp 0x196d50
0013d2ee
0013d2ee 66 90 f.
0013d2f0
0013d2f0loc_13d2f0:
0013d2f0mov eax, 1
0013d2f5ret
0013d2f6
0013d2f6loc_13d2f6:
0013d2f6push 33
0013d2f8call caml_call_realloc_stack
0013d2fdpop r10
0013d2ffjmp 0x13d252
0013d240

0013d304
0013d304 // align 0x10

0013d310
0013d310camlMathML.close_display_504:
0013d310lea r10, [rsp-352]
0013d318cmp r10, [r14+40]
0013d31cjb 0x13d80e
0013d322
0013d322loc_13d322:
0013d322sub rsp, 32
0013d326lea rax, [rip+0x1ecd43]
0013d32dmov rax, [rax+80]
0013d331mov rax, [rax]
0013d334cmp rax, 5
0013d338jle 0x13d346
0013d33alea rax, [rip+0x198247]
0013d341call camlHtmlCommon.prerr_flags_1001
0013d346
0013d346loc_13d346:
0013d346mov eax, 1
0013d34bcall camlHtmlCommon.flush_freeze_1483
0013d350cmp rax, 1
0013d354jne 0x13d7e0
0013d35amov eax, 49
0013d35fcall camlHtmlCommon.close_flow_1403
0013d364lea rax, [rip+0x19e645]
0013d36bmov rbx, [rax+312]
0013d372mov rax, [rbx+16]
0013d376cmp rax, 1
0013d37ajne 0x13d548
0013d380mov rbx, [rbx+32]
0013d384cmp rbx, 1
0013d388jne 0x13d548
0013d38elea rax, [rip+0x1eccdb]
0013d395mov rax, [rax+80]
0013d399mov rax, [rax]
0013d39ccmp rax, 5
0013d3a0jle 0x13d3f0
0013d3a2lea rbx, [rip+0x1981c7]
0013d3a9lea rax, [rip+0x1f0268]
0013d3b0mov rax, [rax+312]
0013d3b7call camlStdlib.output_string_253
0013d3bclea rax, [rip+0x19e5ed]
0013d3c3mov rax, [rax+168]
0013d3camov rax, [rax]
0013d3cdmov rbx, [rax+32]
0013d3d1lea rax, [rip+0x1f0240]
0013d3d8mov rax, [rax+312]
0013d3dfcall camlDoOut.debug_683
0013d3e4lea rax, [rip+0x198305]
0013d3ebcall camlStdlib.prerr_endline_390
0013d3f0
0013d3f0loc_13d3f0:
0013d3f0lea rax, [rip+0x19e5b9]
0013d3f7mov rax, [rax+168]
0013d3femov rax, [rax]
0013d401mov rbx, [rax+16]
0013d405mov [rsp+16], rbx
0013d40amov rax, [rax+8]
0013d40emov [rsp+24], rax
0013d413mov eax, 1
0013d418call camlHtmlCommon.do_close_mods_1062
0013d41dlea rax, [rip+0x19e58c]
0013d424mov rax, [rax+216]
0013d42bcall camlHtmlCommon.pop_out_784
0013d430mov [rsp], rax
0013d434mov rdi, [rax]
0013d437mov [rsp+8], rdi
0013d43clea rsi, [rip+0x1982bd]
0013d443lea rax, [rip+0xc34c6]
0013d44acall caml_c_call
0013d44fcmp rax, 1
0013d453je 0x13d46d
0013d455lea rdi, [rip+0x1982a4]
0013d45clea rax, [rip+0x1980f5]
0013d463mov rbx, [rsp+8]
0013d468call camlHtmlCommon.failclose_473
0013d46d
0013d46dloc_13d46d:
0013d46dlea rax, [rip+0x19828c]
0013d474call camlHtmlCommon.try_close_block_1323
0013d479lea rax, [rip+0x19e530]
0013d480mov rdi, [rax+168]
0013d487mov rax, [rdi]
0013d48amov [rsp+8], rax
0013d48fmov rax, [rsp]
0013d493mov rsi, [rax+16]
0013d497mov rbx, rsp
0013d49amov rsp, [r14+64]
0013d49ecall caml_modify
0013d4a3mov rsp, rbx
0013d4a6mov eax, 1
0013d4abcall camlHtmlCommon.do_close_mods_1062
0013d4b0lea rax, [rip+0x19e4f9]
0013d4b7mov rax, [rax+168]
0013d4bemov rax, [rax]
0013d4c1mov rbx, [rax+32]
0013d4c5mov rax, [rsp+8]
0013d4camov rax, [rax+32]
0013d4celea rdi, [rip+0x1e4523]
0013d4d5mov rdi, [rdi+136]
0013d4dccall camlDoOut.copy_923
0013d4e1lea rax, [rip+0x19e4c8]
0013d4e8mov rax, [rax+312]
0013d4efmov [rax+24], 1
0013d4f7mov [rax+32], 1
0013d4ffmov ebx, 1
0013d504mov rax, [rsp+16]
0013d509call camlHtmlCommon.as_envs_683
0013d50emov rbx, rax
0013d511mov rax, [rsp+24]
0013d516call camlStdlib.$40_196
0013d51blea rbx, [rip+0x19e48e]
0013d522mov rbx, [rbx+168]
0013d529mov rdi, [rbx]
0013d52cadd rdi, 8
0013d530mov rsi, rax
0013d533mov rbx, rsp
0013d536mov rsp, [r14+64]
0013d53acall caml_modify
0013d53fmov rsp, rbx
0013d542jmp 0x13d7d6
0013d547
0013d547 90 .
0013d548
0013d548loc_13d548:
0013d548cmp rax, 3
0013d54cjne 0x13d738
0013d552lea rax, [rip+0x1ecb17]
0013d559mov rax, [rax+80]
0013d55dmov rax, [rax]
0013d560cmp rax, 5
0013d564jle 0x13d5b4
0013d566lea rbx, [rip+0x197fd3]
0013d56dlea rax, [rip+0x1f00a4]
0013d574mov rax, [rax+312]
0013d57bcall camlStdlib.output_string_253
0013d580lea rax, [rip+0x19e429]
0013d587mov rax, [rax+168]
0013d58emov rax, [rax]
0013d591mov rbx, [rax+32]
0013d595lea rax, [rip+0x1f007c]
0013d59cmov rax, [rax+312]
0013d5a3call camlDoOut.debug_683
0013d5a8lea rax, [rip+0x198141]
0013d5afcall camlStdlib.prerr_endline_390
0013d5b4
0013d5b4loc_13d5b4:
0013d5b4lea rax, [rip+0x19e3f5]
0013d5bbmov rbx, [rax+168]
0013d5c2mov rbx, [rbx]
0013d5c5mov rdi, [rbx+16]
0013d5c9mov [rsp+8], rdi
0013d5cemov rbx, [rbx+8]
0013d5d2mov [rsp+16], rbx
0013d5d7mov rax, [rax+216]
0013d5decall camlHtmlCommon.pop_out_784
0013d5e3mov [rsp], rax
0013d5e7mov rdi, [rax]
0013d5eamov [rsp+24], rdi
0013d5eflea rsi, [rip+0x19810a]
0013d5f6lea rax, [rip+0xc3313]
0013d5fdcall caml_c_call
0013d602cmp rax, 1
0013d606je 0x13d620
0013d608lea rdi, [rip+0x1980f1]
0013d60flea rax, [rip+0x197f42]
0013d616mov rbx, [rsp+24]
0013d61bcall camlHtmlCommon.failclose_473
0013d620
0013d620loc_13d620:
0013d620lea rax, [rip+0x1980d9]
0013d627call camlHtmlCommon.try_close_block_1323
0013d62clea rax, [rip+0x19e37d]
0013d633mov rdi, [rax+168]
0013d63amov rax, [rdi]
0013d63dmov [rsp+24], rax
0013d642mov rax, [rsp]
0013d646mov rsi, [rax+16]
0013d64amov rbx, rsp
0013d64dmov rsp, [r14+64]
0013d651call caml_modify
0013d656mov rsp, rbx
0013d659mov eax, 1
0013d65ecall camlHtmlCommon.do_close_mods_1062
0013d663lea rax, [rip+0x19e346]
0013d66amov rbx, [rax+312]
0013d671mov rbx, [rbx+32]
0013d675cmp rbx, 1
0013d679je 0x13d6a8
0013d67bmov rax, [rax+168]
0013d682mov rax, [rax]
0013d685mov rbx, [rax+32]
0013d689mov rax, [rsp+24]
0013d68emov rax, [rax+32]
0013d692lea rdi, [rip+0x1e435f]
0013d699mov rdi, [rdi+152]
0013d6a0call camlDoOut.copy_no_tag_934
0013d6a5jmp 0x13d6d2
0013d6a7
0013d6a7 90 .
0013d6a8
0013d6a8loc_13d6a8:
0013d6a8mov rax, [rax+168]
0013d6afmov rax, [rax]
0013d6b2mov rbx, [rax+32]
0013d6b6mov rax, [rsp+24]
0013d6bbmov rax, [rax+32]
0013d6bflea rdi, [rip+0x1e4332]
0013d6c6mov rdi, [rdi+136]
0013d6cdcall camlDoOut.copy_923
0013d6d2
0013d6d2loc_13d6d2:
0013d6d2lea rax, [rip+0x19e2d7]
0013d6d9mov rax, [rax+312]
0013d6e0mov [rax+24], 1
0013d6e8mov [rax+32], 1
0013d6f0mov ebx, 1
0013d6f5mov rax, [rsp+8]
0013d6facall camlHtmlCommon.as_envs_683
0013d6ffmov rbx, rax
0013d702mov rax, [rsp+16]
0013d707call camlStdlib.$40_196
0013d70clea rbx, [rip+0x19e29d]
0013d713mov rbx, [rbx+168]
0013d71amov rdi, [rbx]
0013d71dadd rdi, 8
0013d721mov rsi, rax
0013d724mov rbx, rsp
0013d727mov rsp, [r14+64]
0013d72bcall caml_modify
0013d730mov rsp, rbx
0013d733jmp 0x13d7d6
0013d738
0013d738loc_13d738:
0013d738lea rbx, [rip+0x1ec931]
0013d73fmov rbx, [rbx+80]
0013d743mov rbx, [rbx]
0013d746cmp rbx, 5
0013d74ajle 0x13d7aa
0013d74ccall camlStdlib.string_of_int_175
0013d751mov rbx, rax
0013d754lea rax, [rip+0x197dcd]
0013d75bcall camlStdlib.$5e_139
0013d760mov rbx, rax
0013d763lea rax, [rip+0x1efeae]
0013d76amov rax, [rax+312]
0013d771call camlStdlib.output_string_253
0013d776lea rax, [rip+0x19e233]
0013d77dmov rax, [rax+168]
0013d784mov rax, [rax]
0013d787mov rbx, [rax+32]
0013d78blea rax, [rip+0x1efe86]
0013d792mov rax, [rax+312]
0013d799call camlDoOut.debug_683
0013d79elea rax, [rip+0x197f4b]
0013d7a5call camlStdlib.prerr_endline_390
0013d7aa
0013d7aaloc_13d7aa:
0013d7aalea rax, [rip+0x19e1ff]
0013d7b1mov rax, [rax+312]
0013d7b8mov rbx, [rax+32]
0013d7bcmov [rax+24], rbx
0013d7c0lea rax, [rip+0x197f39]
0013d7c7call camlHtmlCommon.close_flow_1403
0013d7ccmov eax, 21
0013d7d1call camlHtmlCommon.do_put_char_817
0013d7d6
0013d7d6loc_13d7d6:
0013d7d6mov eax, 1
0013d7dbcall camlHtmlCommon.try_close_display_1493
0013d7e0
0013d7e0loc_13d7e0:
0013d7e0lea rax, [rip+0x1ec889]
0013d7e7mov rax, [rax+80]
0013d7ebmov rax, [rax]
0013d7eecmp rax, 5
0013d7f2jle 0x13d804
0013d7f4lea rax, [rip+0x197d0d]
0013d7fbadd rsp, 32
0013d7ffjmp 0x144a00
0013d804
0013d804loc_13d804:
0013d804mov eax, 1
0013d809add rsp, 32
0013d80dret
0013d80e
0013d80eloc_13d80e:
0013d80epush 37
0013d810call caml_call_realloc_stack
0013d815pop r10
0013d817jmp 0x13d322
0013d310

0013d81c
0013d81c // align 0x10

0013d820
0013d820camlMathML.open_display_varg_587:
0013d820mov eax, 1
0013d825jmp 0x13d240
0013d820

0013d82a
0013d82a // align 0x10

0013d830
0013d830camlMathML.do_item_display_590:
0013d830lea r10, [rsp-344]
0013d838cmp r10, [r14+40]
0013d83cjb 0x13da4e
0013d842
0013d842loc_13d842:
0013d842sub rsp, 24
0013d846lea rax, [rip+0x1ec823]
0013d84dmov rax, [rax+80]
0013d851mov rax, [rax]
0013d854cmp rax, 5
0013d858jle 0x13d8c7
0013d85alea rax, [rip+0x19e14f]
0013d861mov rax, [rax+312]
0013d868mov rax, [rax]
0013d86bcmp rax, 1
0013d86fje 0x13d87c
0013d871lea rbx, [rip+0x19f690]
0013d878jmp 0x13d883
0013d87a
0013d87a 66 90 f.
0013d87c
0013d87cloc_13d87c:
0013d87clea rbx, [rip+0x19f675]
0013d883
0013d883loc_13d883:
0013d883lea rax, [rip+0x197c2e]
0013d88acall camlStdlib.$5e_139
0013d88fmov [rsp], rax
0013d893lea rax, [rip+0x19e116]
0013d89amov rax, [rax+312]
0013d8a1mov rax, [rax+16]
0013d8a5call camlStdlib.string_of_int_175
0013d8aamov rbx, [rsp]
0013d8aecall camlStdlib.$5e_139
0013d8b3mov rbx, rax
0013d8b6lea rax, [rip+0x197c23]
0013d8bdcall camlStdlib.$5e_139
0013d8c2call camlStdlib.prerr_endline_390
0013d8c7
0013d8c7loc_13d8c7:
0013d8c7mov eax, 1
0013d8cccall camlHtmlCommon.pop_freeze_1487
0013d8d1mov [rsp+16], rax
0013d8d6lea rax, [rip+0x19e0d3]
0013d8ddmov rax, [rax+312]
0013d8e4mov rbx, [rax+24]
0013d8e8cmp rbx, 1
0013d8ecje 0x13d8f7
0013d8eemov rax, [rax]
0013d8f1cmp rax, 1
0013d8f5je 0x13d911
0013d8f7
0013d8f7loc_13d8f7:
0013d8f7lea rax, [rip+0x19e0b2]
0013d8femov rax, [rax+312]
0013d905mov rbx, [rax+16]
0013d909add rbx, 2
0013d90dmov [rax+16], rbx
0013d911
0013d911loc_13d911:
0013d911lea rax, [rip+0x19e098]
0013d918mov rax, [rax+168]
0013d91fmov rax, [rax]
0013d922mov rbx, [rax+16]
0013d926mov [rsp], rbx
0013d92amov rax, [rax+8]
0013d92emov [rsp+8], rax
0013d933mov eax, 49
0013d938call camlHtmlCommon.close_flow_1403
0013d93dlea rbx, [rip+0x197dac]
0013d944mov eax, 49
0013d949call camlHtmlCommon.open_block_1363
0013d94emov ebx, 1
0013d953mov rax, [rsp]
0013d957call camlHtmlCommon.as_envs_683
0013d95cmov rbx, rax
0013d95fmov rax, [rsp+8]
0013d964call camlStdlib.$40_196
0013d969lea rbx, [rip+0x19e040]
0013d970mov rbx, [rbx+168]
0013d977mov rdi, [rbx]
0013d97aadd rdi, 8
0013d97emov rsi, rax
0013d981mov rbx, rsp
0013d984mov rsp, [r14+64]
0013d988call caml_modify
0013d98dmov rsp, rbx
0013d990mov esi, 1
0013d995lea rax, [rip+0x19e014]
0013d99cmov rax, [rax+168]
0013d9a3mov rdi, [rax]
0013d9a6add rdi, 16
0013d9aamov rbx, rsp
0013d9admov rsp, [r14+64]
0013d9b1call caml_modify
0013d9b6mov rsp, rbx
0013d9b9mov rbx, [rsp+16]
0013d9bemov rax, [rbx+8]
0013d9c2cmp rax, 1
0013d9c6je 0x13d9d0
0013d9c8mov rax, [rbx]
0013d9cbcall camlHtmlCommon.freeze_1480
0013d9d0
0013d9d0loc_13d9d0:
0013d9d0lea rax, [rip+0x1ec699]
0013d9d7mov rax, [rax+80]
0013d9dbmov rax, [rax]
0013d9decmp rax, 5
0013d9e2jle 0x13da44
0013d9e4lea rax, [rip+0x19dfc5]
0013d9ebmov rax, [rax+312]
0013d9f2mov rax, [rax+16]
0013d9f6call camlStdlib.string_of_int_175
0013d9fblea rbx, [rip+0x197a7e]
0013da02call camlStdlib.$5e_139
0013da07mov rbx, rax
0013da0alea rax, [rip+0x197a7f]
0013da11call camlStdlib.$5e_139
0013da16mov rbx, rax
0013da19lea rax, [rip+0x1efbf8]
0013da20mov rax, [rax+312]
0013da27call camlStdlib.output_string_253
0013da2clea rax, [rip+0x19df7d]
0013da33mov rax, [rax+216]
0013da3aadd rsp, 24
0013da3ejmp 0x143880
0013da43
0013da43 90 .
0013da44
0013da44loc_13da44:
0013da44mov eax, 1
0013da49add rsp, 24
0013da4dret
0013da4e
0013da4eloc_13da4e:
0013da4epush 36
0013da50call caml_call_realloc_stack
0013da55pop r10
0013da57jmp 0x13d842
0013d830

0013da5c
0013da5c // align 0x10

0013da60
0013da60camlMathML.item_display_597:
0013da60mov eax, 1
0013da65jmp 0x13d830
0013da60

0013da6a
0013da6a // align 0x10

0013da70
0013da70camlMathML.force_item_display_598:
0013da70mov eax, 3
0013da75jmp 0x13d830
0013da70

0013da7a
0013da7a // align 0x10

0013da80
0013da80camlMathML.erase_display_603:
0013da80lea r10, [rsp-320]
0013da88cmp r10, [r14+40]
0013da8cjb 0x13daae
0013da8e
0013da8eloc_13da8e:
0013da8emov eax, 49
0013da93call camlHtmlCommon.erase_block_1425
0013da98lea rax, [rip+0x197c61]
0013da9fcall camlHtmlCommon.erase_block_1425
0013daa4mov eax, 1
0013daa9jmp 0x14ac20
0013daae
0013daaeloc_13daae:
0013daaepush 33
0013dab0call caml_call_realloc_stack
0013dab5pop r10
0013dab7jmp 0x13da8e
0013da80

0013dab9
0013dab9 // align 0x10

0013dac0
0013dac0camlMathML.open_maths_606:
0013dac0lea r10, [rsp-328]
0013dac8cmp r10, [r14+40]
0013daccjb 0x13dbdd
0013dad2
0013dad2loc_13dad2:
0013dad2sub rsp, 8
0013dad6mov [rsp], rax
0013dadalea rax, [rip+0x1ec58f]
0013dae1mov rax, [rax+80]
0013dae5mov rax, [rax]
0013dae8cmp rax, 3
0013daecjle 0x13dafa
0013daeelea rax, [rip+0x197973]
0013daf5call camlStdlib.prerr_endline_390
0013dafa
0013dafaloc_13dafa:
0013dafalea rax, [rip+0x19deaf]
0013db01mov rbx, [rax+312]
0013db08mov rbx, [rbx+8]
0013db0cmov rax, [rax+336]
0013db13mov rdi, [rax+16]
0013db17sub r15, 24
0013db1bcmp r15, [r14]
0013db1ejb 0x13dbd3
0013db24
0013db24loc_13db24:
0013db24lea rsi, [r15+8]
0013db28mov [rsi-8], 2048
0013db30mov [rsi], rbx
0013db33mov rax, [rdi]
0013db36mov [rsi+8], rax
0013db3amov rbx, rsp
0013db3dmov rsp, [r14+64]
0013db41call caml_modify
0013db46mov rsp, rbx
0013db49mov rax, [rsp]
0013db4dcmp rax, 1
0013db51je 0x13db5f
0013db53lea rax, [rip+0x1978fe]
0013db5acall camlHtmlCommon.do_put_818
0013db5f
0013db5floc_13db5f:
0013db5flea rax, [rip+0x19de4a]
0013db66mov rax, [rax+312]
0013db6dmov rax, [rax+8]
0013db71cmp rax, 1
0013db75je 0x13db88
0013db77lea rax, [rip+0x197852]
0013db7ecall camlHtmlCommon.erase_mods_1264
0013db83jmp 0x13db9b
0013db85
0013db85 0f 1f 00 ...
0013db88
0013db88loc_13db88:
0013db88lea rbx, [rip+0x197891]
0013db8flea rax, [rip+0x1978a2]
0013db96call camlHtmlCommon.open_block_1363
0013db9b
0013db9bloc_13db9b:
0013db9bmov eax, 21
0013dba0call camlHtmlCommon.do_put_char_817
0013dba5lea rax, [rip+0x19de04]
0013dbacmov rax, [rax+312]
0013dbb3mov [rax+8], 3
0013dbbbmov eax, 1
0013dbc0call camlMathML.open_display_503
0013dbc5mov eax, 1
0013dbcaadd rsp, 8
0013dbcejmp 0x13d240
0013dbd3
0013dbd3loc_13dbd3:
0013dbd3call caml_call_gc
0013dbd8jmp 0x13db24
0013dbdd
0013dbddloc_13dbdd:
0013dbddpush 34
0013dbdfcall caml_call_realloc_stack
0013dbe4pop r10
0013dbe6jmp 0x13dad2
0013dac0

0013dbeb
0013dbeb // align 0x10

0013dbf0
0013dbf0camlMathML.close_maths_609:
0013dbf0lea r10, [rsp-320]
0013dbf8cmp r10, [r14+40]
0013dbfcjb 0x13dca9
0013dc02
0013dc02loc_13dc02:
0013dc02lea rax, [rip+0x1ec467]
0013dc09mov rax, [rax+80]
0013dc0dmov rax, [rax]
0013dc10cmp rax, 3
0013dc14jle 0x13dc22
0013dc16lea rax, [rip+0x19779b]
0013dc1dcall camlStdlib.prerr_endline_390
0013dc22
0013dc22loc_13dc22:
0013dc22mov eax, 1
0013dc27call camlMathML.close_display_504
0013dc2cmov eax, 1
0013dc31call camlMathML.close_display_504
0013dc36lea rax, [rip+0x19dd73]
0013dc3dmov rax, [rax+336]
0013dc44mov rax, [rax+16]
0013dc48call camlMyStack.pop_292
0013dc4dlea rbx, [rip+0x19dd5c]
0013dc54mov rbx, [rbx+312]
0013dc5bmov [rbx+8], rax
0013dc5fmov eax, 21
0013dc64call camlHtmlCommon.do_put_char_817
0013dc69lea rax, [rip+0x19dd40]
0013dc70mov rbx, [rax+312]
0013dc77mov rbx, [rbx+8]
0013dc7bcmp rbx, 1
0013dc7fje 0x13dc90
0013dc81lea rax, [rip+0x197778]
0013dc88jmp 0x147340
0013dc8d
0013dc8d 0f 1f 00 ...
0013dc90
0013dc90loc_13dc90:
0013dc90lea rbx, [rip+0x1977a1]
0013dc97mov rax, [rax+856]
0013dc9ecall camlHtmlCommon.close_block_loc_1362
0013dca3mov eax, 1
0013dca8ret
0013dca9
0013dca9loc_13dca9:
0013dca9push 33
0013dcabcall caml_call_realloc_stack
0013dcb0pop r10
0013dcb2jmp 0x13dc02
0013dbf0

0013dcb7
0013dcb7 // align 0x10

0013dcc0
0013dcc0camlMathML.insert_vdisplay_612:
0013dcc0lea r10, [rsp-392]
0013dcc8cmp r10, [r14+40]
0013dcccjb 0x13dff1
0013dcd2
0013dcd2loc_13dcd2:
0013dcd2sub rsp, 56
0013dcd6mov [rsp+24], rax
0013dcdblea rax, [rip+0x1ec38e]
0013dce2mov rax, [rax+80]
0013dce6mov rax, [rax]
0013dce9cmp rax, 5
0013dcedjle 0x13dcfb
0013dceflea rax, [rip+0x1976a2]
0013dcf6call camlHtmlCommon.prerr_flags_1001
0013dcfb
0013dcfbloc_13dcfb:
0013dcfblea r11, [rip+618]
0013dd02push r11
0013dd04push [r14+48]
0013dd08mov [r14+48], rsp
0013dd0clea rax, [rip+0x19dc9d]
0013dd13mov rax, [rax+168]
0013dd1amov rbx, [rax]
0013dd1dmov rax, [rbx+16]
0013dd21mov rbx, [rbx+8]
0013dd25mov [rsp+16], rbx
0013dd2amov ebx, 1
0013dd2fcall camlHtmlCommon.as_envs_683
0013dd34mov rbx, rax
0013dd37mov rax, [rsp+16]
0013dd3ccall camlStdlib.$40_196
0013dd41mov [rsp+56], rax
0013dd46lea rax, [rip+0x19dc63]
0013dd4dmov rax, [rax+216]
0013dd54call camlHtmlCommon.pop_out_784
0013dd59mov [rsp+24], rax
0013dd5emov rbx, [rax]
0013dd61mov [rsp+16], rbx
0013dd66cmp rbx, 49
0013dd6aje 0x13dd7d
0013dd6cmov edi, 49
0013dd71lea rax, [rip+0x197608]
0013dd78call camlHtmlCommon.failclose_473
0013dd7d
0013dd7dloc_13dd7d:
0013dd7dlea rax, [rip+0x19dc2c]
0013dd84mov rax, [rax+216]
0013dd8bcall camlHtmlCommon.pop_out_784
0013dd90mov [rsp+32], rax
0013dd95mov rdi, [rax]
0013dd98mov [rsp+64], rdi
0013dd9dlea rsi, [rip+0x19795c]
0013dda4lea rax, [rip+0xc2b65]
0013ddabcall caml_c_call
0013ddb0cmp rax, 1
0013ddb4je 0x13ddce
0013ddb6lea rdi, [rip+0x197943]
0013ddbdlea rax, [rip+0x1975bc]
0013ddc4mov rbx, [rsp+64]
0013ddc9call camlHtmlCommon.failclose_473
0013ddce
0013ddceloc_13ddce:
0013ddcemov ebx, 1
0013ddd3mov eax, 1
0013ddd8call camlHtmlCommon.create_status_from_scratch_1164
0013ddddmov [rsp+48], rax
0013dde2sub r15, 32
0013dde6cmp r15, [r14]
0013dde9jb 0x13dfe7
0013ddef
0013ddefloc_13ddef:
0013ddeflea rbx, [r15+8]
0013ddf3mov [rbx-8], 3072
0013ddfbmov rdi, [rsp+64]
0013de00mov [rbx], rdi
0013de03mov rdi, [rsp+32]
0013de08mov rdi, [rdi+8]
0013de0cmov [rbx+8], rdi
0013de10mov [rbx+16], rax
0013de14lea rax, [rip+0x19db95]
0013de1bmov rax, [rax+216]
0013de22call camlHtmlCommon.push_out_771
0013de27sub r15, 32
0013de2bcmp r15, [r14]
0013de2ejb 0x13dfdd
0013de34
0013de34loc_13de34:
0013de34lea rbx, [r15+8]
0013de38mov [rbx-8], 3072
0013de40mov rax, [rsp+16]
0013de45mov [rbx], rax
0013de48mov rdi, [rsp+24]
0013de4dmov rax, [rdi+8]
0013de51mov [rbx+8], rax
0013de55mov rax, [rdi+16]
0013de59mov [rbx+16], rax
0013de5dlea rax, [rip+0x19db4c]
0013de64mov rax, [rax+216]
0013de6bcall camlHtmlCommon.push_out_771
0013de70mov eax, 1
0013de75call camlMathML.close_display_504
0013de7amov rax, [rsp+32]
0013de7fmov rsi, [rax+16]
0013de83lea rax, [rip+0x19db26]
0013de8amov rdi, [rax+168]
0013de91mov rbx, rsp
0013de94mov rsp, [r14+64]
0013de98call caml_modify
0013de9dmov rsp, rbx
0013dea0mov eax, 1
0013dea5mov rbx, [rsp+40]
0013deaamov rdi, [rbx]
0013deadcall rdi
0013deafmov rax, [rsp+48]
0013deb4mov rax, [rax+32]
0013deb8call camlDoOut.to_string_830
0013debdcall camlHtmlCommon.do_put_818
0013dec2lea rax, [rip+0x19dae7]
0013dec9mov rax, [rax+312]
0013ded0mov [rax+24], 1
0013ded8mov [rax+32], 1
0013dee0lea rax, [rip+0x1ec189]
0013dee7mov rax, [rax+80]
0013deebmov rax, [rax]
0013deeecmp rax, 5
0013def2jle 0x13df42
0013def4lea rbx, [rip+0x197465]
0013defblea rax, [rip+0x1ef716]
0013df02mov rax, [rax+312]
0013df09call camlStdlib.output_string_253
0013df0emov rax, [rsp+56]
0013df13mov [rsp+16], rax
0013df18lea rax, [rip+0x1ef6f9]
0013df1fmov rax, [rax+312]
0013df26call camlHtmlCommon.pretty_mods_621
0013df2bmov rbx, rax
0013df2emov rdi, [rbx]
0013df31mov rax, [rsp+16]
0013df36call rdi
0013df38mov eax, 1
0013df3dcall camlStdlib.prerr_newline_393
0013df42
0013df42loc_13df42:
0013df42lea rax, [rip+0x1ec127]
0013df49mov rax, [rax+80]
0013df4dmov rax, [rax]
0013df50cmp rax, 5
0013df54jle 0x13df62
0013df56lea rax, [rip+0x1973e3]
0013df5dcall camlHtmlCommon.prerr_flags_1001
0013df62
0013df62loc_13df62:
0013df62pop [r14+48]
0013df66add rsp, 8
0013df6ajmp 0x13dfcc
0013df6clea rbx, [rip+0x19da3d]
0013df73mov rbx, [rbx+176]
0013df7acmp rax, rbx
0013df7djne 0x13dfbc
0013df7fsub r15, 24
0013df83cmp r15, [r14]
0013df86jb 0x13dfd6
0013df88
0013df88loc_13df88:
0013df88lea rax, [r15+8]
0013df8cmov [rax-8], 2048
0013df94lea rbx, [rip+0x1ec0d5]
0013df9bmov rbx, [rbx+32]
0013df9fmov [rax], rbx
0013dfa2lea rbx, [rip+0x197377]
0013dfa9mov [rax+8], rbx
0013dfadmov rsp, [r14+48]
0013dfb1pop [r14+48]
0013dfb5pop r11
0013dfb7jmp r11
0013dfbanop
0013dfbc
0013dfbcloc_13dfbc:
0013dfbcmov rsp, [r14+48]
0013dfc0pop [r14+48]
0013dfc4pop r11
0013dfc6jmp r11
0013dfc9nop [rax]
0013dfcc
0013dfccloc_13dfcc:
0013dfccmov rax, [rsp+40]
0013dfd1add rsp, 56
0013dfd5ret
0013dfd6
0013dfd6loc_13dfd6:
0013dfd6call caml_call_gc
0013dfdbjmp 0x13df88
0013dfdd
0013dfddloc_13dfdd:
0013dfddcall caml_call_gc
0013dfe2jmp 0x13de34
0013dfe7
0013dfe7loc_13dfe7:
0013dfe7call caml_call_gc
0013dfecjmp 0x13ddef
0013dff1
0013dff1loc_13dff1:
0013dff1push 42
0013dff3call caml_call_realloc_stack
0013dff8pop r10
0013dffajmp 0x13dcd2
0013dcc0

0013dfff
0013dfff // align 0x10

0013e000
0013e000camlMathML.is_digit_623:
0013e000add rax, -92
0013e004cmp rax, 23
0013e008jbe 0x13e014
0013e00acmp rax, -3
0013e00eje 0x13e020
0013e010jmp 0x13e01a
0013e012
0013e012 66 90 f.
0013e014
0013e014loc_13e014:
0013e014cmp rax, 3
0013e018jne 0x13e020
0013e01a
0013e01aloc_13e01a:
0013e01amov eax, 1
0013e01fret
0013e020
0013e020loc_13e020:
0013e020mov eax, 3
0013e025ret
0013e000

0013e026
0013e026 // align 0x10

0013e030
0013e030camlMathML.is_number_626:
0013e030lea r10, [rsp-344]
0013e038cmp r10, [r14+40]
0013e03cjb 0x13e0f8
0013e042
0013e042loc_13e042:
0013e042sub rsp, 24
0013e046mov rbx, rax
0013e049mov eax, 3
0013e04emov edi, 1
0013e053mov rsi, [rbx-8]
0013e057shr rsi, 10
0013e05blea rsi, [8*rsi-1]
0013e063movzx rdx, [rbx+rsi]
0013e068sub rsi, rdx
0013e06blea rsi, [rsi+rsi-1]
0013e070cmp rdi, rsi
0013e073jg 0x13e0e7
0013e075mov [rsp+16], rsi
0013e07amov [rsp+8], rdi
0013e07fmov [rsp], rbx
0013e083
0013e083loc_13e083:
0013e083cmp rax, 1
0013e087je 0x13e0c0
0013e089sar rdi, 1
0013e08cmov rsi, [rsp]
0013e090mov rax, [rsi-8]
0013e094shr rax, 10
0013e098lea rax, [8*rax-1]
0013e0a0movzx rbx, [rsi+rax]
0013e0a5sub rax, rbx
0013e0a8cmp rax, rdi
0013e0abjbe 0x13e0f3
0013e0admovzx rax, [rsi+rdi]
0013e0b2lea rax, [rax+rax+1]
0013e0b7call camlMathML.is_digit_623
0013e0bcjmp 0x13e0c5
0013e0be
0013e0be 66 90 f.
0013e0c0
0013e0c0loc_13e0c0:
0013e0c0mov eax, 1
0013e0c5
0013e0c5loc_13e0c5:
0013e0c5mov rdi, [rsp+8]
0013e0camov rbx, rdi
0013e0cdadd rdi, 2
0013e0d1mov [rsp+8], rdi
0013e0d6mov rsi, [rsp+16]
0013e0dbcmp rbx, rsi
0013e0deje 0x13e0e7
0013e0e0cmp r15, [r14]
0013e0e3ja 0x13e083
0013e0e5jmp 0x13e0ec
0013e0e7
0013e0e7loc_13e0e7:
0013e0e7add rsp, 24
0013e0ebret
0013e0ec
0013e0ecloc_13e0ec:
0013e0eccall caml_call_gc
0013e0f1jmp 0x13e083
0013e0f3
0013e0f3loc_13e0f3:
0013e0f3call caml_ml_array_bound_error
0013e0f8
0013e0f8loc_13e0f8:
0013e0f8push 36
0013e0facall caml_call_realloc_stack
0013e0ffpop r10
0013e101jmp 0x13e042
0013e030