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

0013e106
0013e106 // align 0x10

0013e110
0013e110camlMathML.is_op_700:
0013e110mov rbx, [rax-8]
0013e114shr rbx, 10
0013e118cmp rbx, 2
0013e11cjge 0x13e359
0013e122mov rax, [rax]
0013e125mov rbx, 0x60000000000002f
0013e12fcmp rax, rbx
0013e132jge 0x13e254
0013e138mov rbx, 0x600000000000028
0013e142cmp rax, rbx
0013e145jge 0x13e1c4
0013e147mov rbx, 0x600000000000024
0013e151cmp rax, rbx
0013e154jge 0x13e184
0013e156mov rbx, 0x600000000000021
0013e160cmp rax, rbx
0013e163je 0x13e360
0013e169mov rbx, 0x600000000000023
0013e173cmp rax, rbx
0013e176je 0x13e360
0013e17cjmp 0x13e359
0013e181
0013e181 0f 1f 00 ...
0013e184
0013e184loc_13e184:
0013e184mov rbx, 0x600000000000024
0013e18ecmp rax, rbx
0013e191je 0x13e360
0013e197mov rbx, 0x600000000000025
0013e1a1cmp rax, rbx
0013e1a4je 0x13e360
0013e1aamov rbx, 0x600000000000026
0013e1b4cmp rax, rbx
0013e1b7je 0x13e360
0013e1bdjmp 0x13e359
0013e1c2
0013e1c2 66 90 f.
0013e1c4
0013e1c4loc_13e1c4:
0013e1c4mov rbx, 0x60000000000002b
0013e1cecmp rax, rbx
0013e1d1jge 0x13e214
0013e1d3mov rbx, 0x600000000000028
0013e1ddcmp rax, rbx
0013e1e0je 0x13e360
0013e1e6mov rbx, 0x600000000000029
0013e1f0cmp rax, rbx
0013e1f3je 0x13e360
0013e1f9mov rbx, 0x60000000000002a
0013e203cmp rax, rbx
0013e206je 0x13e360
0013e20cjmp 0x13e359
0013e211
0013e211 0f 1f 00 ...
0013e214
0013e214loc_13e214:
0013e214mov rbx, 0x60000000000002b
0013e21ecmp rax, rbx
0013e221je 0x13e360
0013e227mov rbx, 0x60000000000002c
0013e231cmp rax, rbx
0013e234je 0x13e360
0013e23amov rbx, 0x60000000000002d
0013e244cmp rax, rbx
0013e247je 0x13e360
0013e24djmp 0x13e359
0013e252
0013e252 66 90 f.
0013e254
0013e254loc_13e254:
0013e254mov rbx, 0x60000000000005b
0013e25ecmp rax, rbx
0013e261jge 0x13e2ec
0013e267mov rbx, 0x60000000000003c
0013e271cmp rax, rbx
0013e274jge 0x13e2b4
0013e276mov rbx, 0x60000000000002f
0013e280cmp rax, rbx
0013e283je 0x13e360
0013e289mov rbx, 0x60000000000003a
0013e293cmp rax, rbx
0013e296je 0x13e360
0013e29cmov rbx, 0x60000000000003b
0013e2a6cmp rax, rbx
0013e2a9je 0x13e360
0013e2afjmp 0x13e359
0013e2b4
0013e2b4loc_13e2b4:
0013e2b4mov rbx, 0x60000000000003c
0013e2becmp rax, rbx
0013e2c1je 0x13e360
0013e2c7mov rbx, 0x60000000000003d
0013e2d1cmp rax, rbx
0013e2d4je 0x13e360
0013e2damov rbx, 0x60000000000003e
0013e2e4cmp rax, rbx
0013e2e7je 0x13e360
0013e2e9jmp 0x13e359
0013e2eb
0013e2eb 90 .
0013e2ec
0013e2ecloc_13e2ec:
0013e2ecmov rbx, 0x60000000000007c
0013e2f6cmp rax, rbx
0013e2f9jge 0x13e32c
0013e2fbmov rbx, 0x60000000000005b
0013e305cmp rax, rbx
0013e308je 0x13e360
0013e30amov rbx, 0x60000000000005d
0013e314cmp rax, rbx
0013e317je 0x13e360
0013e319mov rbx, 0x60000000000007b
0013e323cmp rax, rbx
0013e326je 0x13e360
0013e328jmp 0x13e359
0013e32a
0013e32a 66 90 f.
0013e32c
0013e32cloc_13e32c:
0013e32cmov rbx, 0x60000000000007c
0013e336cmp rax, rbx
0013e339je 0x13e360
0013e33bmov rbx, 0x60000000000007d
0013e345cmp rax, rbx
0013e348je 0x13e360
0013e34amov rbx, 0x60000000000007e
0013e354cmp rax, rbx
0013e357je 0x13e360
0013e359
0013e359loc_13e359:
0013e359mov eax, 1
0013e35eret
0013e35f
0013e35f 90 .
0013e360
0013e360loc_13e360:
0013e360mov eax, 3
0013e365ret
0013e110

0013e366
0013e366 // align 0x10

0013e370
0013e370camlMathML.is_letter_703:
0013e370add rax, -130
0013e376cmp rax, 65
0013e37asetbe al
0013e37dmovzx rax, al
0013e381lea rax, [rax+rax+1]
0013e386ret
0013e370

0013e387
0013e387 // align 0x10

0013e390
0013e390camlMathML.is_ident_706:
0013e390mov rdi, rax
0013e393mov eax, 3
0013e398mov ebx, 1
0013e39dmov rsi, [rdi-8]
0013e3a1shr rsi, 10
0013e3a5lea rsi, [8*rsi-1]
0013e3admovzx rdx, [rdi+rsi]
0013e3b2sub rsi, rdx
0013e3b5lea rsi, [rsi+rsi-1]
0013e3bacmp rbx, rsi
0013e3bdjg 0x13e420
0013e3bf
0013e3bfloc_13e3bf:
0013e3bfcmp rax, 1
0013e3c3je 0x13e408
0013e3c5mov rax, rbx
0013e3c8sar rax, 1
0013e3cbmov rdx, [rdi-8]
0013e3cfshr rdx, 10
0013e3d3lea rdx, [8*rdx-1]
0013e3dbmovzx rcx, [rdi+rdx]
0013e3e0sub rdx, rcx
0013e3e3cmp rdx, rax
0013e3e6jbe 0x13e428
0013e3e8movzx rax, [rdi+rax]
0013e3edlea rax, [rax+rax+1]
0013e3f2add rax, -130
0013e3f8cmp rax, 65
0013e3fcja 0x13e408
0013e3femov eax, 3
0013e403jmp 0x13e40d
0013e405
0013e405 0f 1f 00 ...
0013e408
0013e408loc_13e408:
0013e408mov eax, 1
0013e40d
0013e40dloc_13e40d:
0013e40dmov rdx, rbx
0013e410add rbx, 2
0013e414cmp rdx, rsi
0013e417je 0x13e420
0013e419cmp r15, [r14]
0013e41cja 0x13e3bf
0013e41ejmp 0x13e421
0013e420
0013e420loc_13e420:
0013e420ret
0013e421
0013e421loc_13e421:
0013e421call caml_call_gc
0013e426jmp 0x13e3bf
0013e428
0013e428loc_13e428:
0013e428call caml_ml_array_bound_error
0013e390

0013e42d
0013e42d // align 0x10

0013e430
0013e430camlMathML.is_open_delim_711:
0013e430mov rbx, [rax-8]
0013e434shr rbx, 10
0013e438cmp rbx, 2
0013e43cjge 0x13e48e
0013e43emov rax, [rax]
0013e441mov rbx, 0x60000000000005b
0013e44bcmp rax, rbx
0013e44ejge 0x13e470
0013e450mov rbx, 0x600000000000028
0013e45acmp rax, rbx
0013e45dje 0x13e494
0013e45fmov rbx, 0x60000000000003c
0013e469cmp rax, rbx
0013e46cje 0x13e494
0013e46ejmp 0x13e48e
0013e470
0013e470loc_13e470:
0013e470mov rbx, 0x60000000000005b
0013e47acmp rax, rbx
0013e47dje 0x13e494
0013e47fmov rbx, 0x60000000000007b
0013e489cmp rax, rbx
0013e48cje 0x13e494
0013e48e
0013e48eloc_13e48e:
0013e48emov eax, 1
0013e493ret
0013e494
0013e494loc_13e494:
0013e494mov eax, 3
0013e499ret
0013e430

0013e49a
0013e49a // align 0x10

0013e4a0
0013e4a0camlMathML.is_close_delim_712:
0013e4a0mov rbx, [rax-8]
0013e4a4shr rbx, 10
0013e4a8cmp rbx, 2
0013e4acjge 0x13e4fe
0013e4aemov rax, [rax]
0013e4b1mov rbx, 0x60000000000005d
0013e4bbcmp rax, rbx
0013e4bejge 0x13e4e0
0013e4c0mov rbx, 0x600000000000029
0013e4cacmp rax, rbx
0013e4cdje 0x13e504
0013e4cfmov rbx, 0x60000000000003e
0013e4d9cmp rax, rbx
0013e4dcje 0x13e504
0013e4dejmp 0x13e4fe
0013e4e0
0013e4e0loc_13e4e0:
0013e4e0mov rbx, 0x60000000000005d
0013e4eacmp rax, rbx
0013e4edje 0x13e504
0013e4efmov rbx, 0x60000000000007d
0013e4f9cmp rax, rbx
0013e4fcje 0x13e504
0013e4fe
0013e4feloc_13e4fe:
0013e4femov eax, 1
0013e503ret
0013e504
0013e504loc_13e504:
0013e504mov eax, 3
0013e509ret
0013e4a0

0013e50a
0013e50a // align 0x10

0013e510
0013e510camlMathML.open_delim_717:
0013e510lea r10, [rsp-320]
0013e518cmp r10, [r14+40]
0013e51cjb 0x13e534
0013e51e
0013e51eloc_13e51e:
0013e51emov eax, 1
0013e523call camlMathML.open_display_503
0013e528lea rax, [rip+0x196389]
0013e52fjmp 0x14a860
0013e534
0013e534loc_13e534:
0013e534push 33
0013e536call caml_call_realloc_stack
0013e53bpop r10
0013e53djmp 0x13e51e
0013e510

0013e53f
0013e53f // align 0x10

0013e540
0013e540camlMathML.fun_1092:
0013e540lea r10, [rsp-320]
0013e548cmp r10, [r14+40]
0013e54cjb 0x13e562
0013e54e
0013e54eloc_13e54e:
0013e54emov eax, 1
0013e553call camlMathML.close_display_504
0013e558mov eax, 1
0013e55djmp 0x13d310
0013e562
0013e562loc_13e562:
0013e562push 33
0013e564call caml_call_realloc_stack
0013e569pop r10
0013e56bjmp 0x13e54e
0013e540

0013e56d
0013e56d // align 0x10

0013e570
0013e570camlMathML.is_close_718:
0013e570lea r10, [rsp-320]
0013e578cmp r10, [r14+40]
0013e57cjb 0x13e5a6
0013e57e
0013e57eloc_13e57e:
0013e57emov eax, 1
0013e583call camlHtmlCommon.pop_freeze_1487
0013e588mov rbx, [rax+8]
0013e58ccmp rbx, 1
0013e590je 0x13e5a0
0013e592mov rax, [rax]
0013e595call camlHtmlCommon.freeze_1480
0013e59amov eax, 1
0013e59fret
0013e5a0
0013e5a0loc_13e5a0:
0013e5a0mov eax, 3
0013e5a5ret
0013e5a6
0013e5a6loc_13e5a6:
0013e5a6push 33
0013e5a8call caml_call_realloc_stack
0013e5adpop r10
0013e5afjmp 0x13e57e
0013e570

0013e5b1
0013e5b1 // align 0x10

0013e5c0
0013e5c0camlMathML.close_delim_719:
0013e5c0lea r10, [rsp-320]
0013e5c8cmp r10, [r14+40]
0013e5ccjb 0x13e60c
0013e5ce
0013e5celoc_13e5ce:
0013e5cemov eax, 1
0013e5d3call camlHtmlCommon.pop_freeze_1487
0013e5d8mov rax, [rax+8]
0013e5dccmp rax, 1
0013e5e0je 0x13e5ec
0013e5e2mov eax, 1
0013e5e7jmp 0x13d310
0013e5ec
0013e5ecloc_13e5ec:
0013e5ecmov eax, 1
0013e5f1call camlMathML.close_display_504
0013e5f6mov eax, 1
0013e5fbcall camlMathML.open_display_503
0013e600lea rax, [rip+0x196ce1]
0013e607jmp 0x1919c0
0013e60c
0013e60cloc_13e60c:
0013e60cpush 33
0013e60ecall caml_call_realloc_stack
0013e613pop r10
0013e615jmp 0x13e5ce
0013e5c0

0013e617
0013e617 // align 0x10

0013e620
0013e620camlMathML.put_730:
0013e620lea r10, [rsp-360]
0013e628cmp r10, [r14+40]
0013e62cjb 0x13e92d
0013e632
0013e632loc_13e632:
0013e632sub rsp, 40
0013e636mov [rsp+32], rax
0013e63blea rbx, [rip+0x1eba2e]
0013e642mov rbx, [rbx+80]
0013e646mov rbx, [rbx]
0013e649cmp rbx, 3
0013e64djle 0x13e679
0013e64fmov [rsp], rax
0013e653lea rbx, [rip+0x196bd6]
0013e65alea rax, [rip+0x1eefb7]
0013e661mov rax, [rax+312]
0013e668call Stdlib.Printf.fprintf
0013e66dmov rbx, rax
0013e670mov rdi, [rbx]
0013e673mov rax, [rsp]
0013e677call rdi
0013e679
0013e679loc_13e679:
0013e679mov eax, 3
0013e67emov ebx, 1
0013e683mov rsi, [rsp+32]
0013e688mov rdi, [rsi-8]
0013e68cshr rdi, 10
0013e690lea rdi, [8*rdi-1]
0013e698movzx rsi, [rsi+rdi]
0013e69dsub rdi, rsi
0013e6a0lea rdi, [rdi+rdi-1]
0013e6a5cmp rbx, rdi
0013e6a8jg 0x13e71c
0013e6aamov [rsp+8], rdi
0013e6afmov [rsp], rbx
0013e6b3
0013e6b3loc_13e6b3:
0013e6b3cmp rax, 1
0013e6b7je 0x13e6f4
0013e6b9sar rbx, 1
0013e6bcmov rsi, [rsp+32]
0013e6c1mov rax, [rsi-8]
0013e6c5shr rax, 10
0013e6c9lea rax, [8*rax-1]
0013e6d1movzx rdi, [rsi+rax]
0013e6d6sub rax, rdi
0013e6d9cmp rax, rbx
0013e6dcjbe 0x13e928
0013e6e2movzx rax, [rsi+rbx]
0013e6e7lea rax, [rax+rax+1]
0013e6eccall camlHtmlCommon.is_blank_1443
0013e6f1jmp 0x13e6f9
0013e6f3
0013e6f3 90 .
0013e6f4
0013e6f4loc_13e6f4:
0013e6f4mov eax, 1
0013e6f9
0013e6f9loc_13e6f9:
0013e6f9mov rbx, [rsp]
0013e6fdmov rdi, rbx
0013e700add rbx, 2
0013e704mov [rsp], rbx
0013e708mov rsi, [rsp+8]
0013e70dcmp rdi, rsi
0013e710je 0x13e71c
0013e712cmp r15, [r14]
0013e715ja 0x13e6b3
0013e717jmp 0x13e91e
0013e71c
0013e71cloc_13e71c:
0013e71ccmp rax, 1
0013e720je 0x13e72c
0013e722mov eax, 1
0013e727add rsp, 40
0013e72bret
0013e72c
0013e72cloc_13e72c:
0013e72cmov [rsp+8], rax
0013e731mov rax, [rsp+32]
0013e736call camlMathML.is_op_700
0013e73bmov [rsp+16], rax
0013e740mov rax, [rsp+32]
0013e745call camlMathML.is_number_626
0013e74amov [rsp+24], rax
0013e74fmov rax, [rsp+32]
0013e754call camlMathML.is_open_delim_711
0013e759cmp rax, 1
0013e75dje 0x13e769
0013e75fmov eax, 1
0013e764call camlMathML.open_delim_717
0013e769
0013e769loc_13e769:
0013e769mov rax, [rsp+32]
0013e76ecall camlMathML.is_close_delim_712
0013e773cmp rax, 1
0013e777je 0x13e78c
0013e779mov eax, 1
0013e77ecall camlMathML.is_close_718
0013e783mov [rsp], rax
0013e787jmp 0x13e795
0013e789
0013e789 0f 1f 00 ...
0013e78c
0013e78cloc_13e78c:
0013e78cmov eax, 1
0013e791mov [rsp], rax
0013e795
0013e795loc_13e795:
0013e795mov rax, [rsp+16]
0013e79acmp rax, 1
0013e79ejne 0x13e7ab
0013e7a0mov rax, [rsp+24]
0013e7a5cmp rax, 1
0013e7a9je 0x13e7cc
0013e7ab
0013e7abloc_13e7ab:
0013e7ablea rax, [rip+0x1d81ee]
0013e7b2mov rax, [rax+136]
0013e7b9mov rax, [rax]
0013e7bccmp rax, 1
0013e7c0je 0x13e7cc
0013e7c2mov eax, 3
0013e7c7call camlMathML.do_item_display_590
0013e7cc
0013e7ccloc_13e7cc:
0013e7ccmov eax, 1
0013e7d1call camlHtmlCommon.do_open_mods_1168
0013e7d6lea rax, [rip+0x19d1d3]
0013e7ddmov rax, [rax+312]
0013e7e4mov [rax+24], 1
0013e7ecmov rbx, [rsp+8]
0013e7f1cmp rbx, 1
0013e7f5je 0x13e800
0013e7f7mov rax, [rax+32]
0013e7fbjmp 0x13e805
0013e7fd
0013e7fd 0f 1f 00 ...
0013e800
0013e800loc_13e800:
0013e800mov eax, 1
0013e805
0013e805loc_13e805:
0013e805lea rbx, [rip+0x19d1a4]
0013e80cmov rbx, [rbx+312]
0013e813mov [rbx+32], rax
0013e817mov rax, [rsp+24]
0013e81ccmp rax, 1
0013e820je 0x13e84c
0013e822lea rbx, [rip+0x1969e7]
0013e829mov rax, [rsp+32]
0013e82ecall camlStdlib.$5e_139
0013e833mov rbx, rax
0013e836lea rax, [rip+0x1969e3]
0013e83dcall camlStdlib.$5e_139
0013e842call camlHtmlCommon.do_put_818
0013e847jmp 0x13e8f6
0013e84c
0013e84cloc_13e84c:
0013e84cmov rax, [rsp+32]
0013e851call camlMathML.is_ident_706
0013e856cmp rax, 1
0013e85aje 0x13e884
0013e85clea rbx, [rip+0x19698d]
0013e863mov rax, [rsp+32]
0013e868call camlStdlib.$5e_139
0013e86dmov rbx, rax
0013e870lea rax, [rip+0x196989]
0013e877call camlStdlib.$5e_139
0013e87ccall camlHtmlCommon.do_put_818
0013e881jmp 0x13e8f6
0013e883
0013e883 90 .
0013e884
0013e884loc_13e884:
0013e884mov rax, [rsp]
0013e888cmp rax, 1
0013e88cje 0x13e8b8
0013e88elea rbx, [rip+0x19690b]
0013e895mov rax, [rsp+32]
0013e89acall camlStdlib.$5e_139
0013e89fmov rbx, rax
0013e8a2lea rax, [rip+0x196937]
0013e8a9call camlStdlib.$5e_139
0013e8aecall camlHtmlCommon.do_put_818
0013e8b3jmp 0x13e8f6
0013e8b5
0013e8b5 0f 1f 00 ...
0013e8b8
0013e8b8loc_13e8b8:
0013e8b8mov rax, [rsp+16]
0013e8bdcmp rax, 1
0013e8c1je 0x13e8ec
0013e8c3lea rbx, [rip+0x1968b6]
0013e8camov rax, [rsp+32]
0013e8cfcall camlStdlib.$5e_139
0013e8d4mov rbx, rax
0013e8d7lea rax, [rip+0x1968b2]
0013e8decall camlStdlib.$5e_139
0013e8e3call camlHtmlCommon.do_put_818
0013e8e8jmp 0x13e8f6
0013e8ea
0013e8ea 66 90 f.
0013e8ec
0013e8ecloc_13e8ec:
0013e8ecmov rax, [rsp+32]
0013e8f1call camlHtmlCommon.do_put_818
0013e8f6
0013e8f6loc_13e8f6:
0013e8f6mov rax, [rsp+32]
0013e8fbcall camlMathML.is_close_delim_712
0013e900cmp rax, 1
0013e904je 0x13e914
0013e906mov eax, 1
0013e90badd rsp, 40
0013e90fjmp 0x13e5c0
0013e914
0013e914loc_13e914:
0013e914mov eax, 1
0013e919add rsp, 40
0013e91dret
0013e91e
0013e91eloc_13e91e:
0013e91ecall caml_call_gc
0013e923jmp 0x13e6b3
0013e928
0013e928loc_13e928:
0013e928call caml_ml_array_bound_error
0013e92d
0013e92dloc_13e92d:
0013e92dpush 38
0013e92fcall caml_call_realloc_stack
0013e934pop r10
0013e936jmp 0x13e632
0013e620

0013e93b
0013e93b // align 0x10

0013e940
0013e940camlMathML.put_char_841:
0013e940lea r10, [rsp-368]
0013e948cmp r10, [r14+40]
0013e94cjb 0x13eb42
0013e952
0013e952loc_13e952:
0013e952sub rsp, 48
0013e956mov [rsp+8], rax
0013e95bcall camlHtmlCommon.is_blank_1443
0013e960mov rbx, [rsp+8]
0013e965cmp rbx, 65
0013e969je 0x13eb38
0013e96fmov [rsp+24], rax
0013e974mov [rsp+8], rbx
0013e979mov eax, 3
0013e97ecall Stdlib.Bytes.make
0013e983mov [rsp+16], rax
0013e988call camlMathML.is_op_700
0013e98dmov [rsp+32], rax
0013e992mov rax, [rsp+8]
0013e997call camlMathML.is_digit_623
0013e99cmov [rsp+40], rax
0013e9a1mov rax, [rsp+16]
0013e9a6call camlMathML.is_open_delim_711
0013e9abcmp rax, 1
0013e9afje 0x13e9bb
0013e9b1mov eax, 1
0013e9b6call camlMathML.open_delim_717
0013e9bb
0013e9bbloc_13e9bb:
0013e9bbmov rax, [rsp+16]
0013e9c0call camlMathML.is_close_delim_712
0013e9c5cmp rax, 1
0013e9c9je 0x13e9dc
0013e9cbmov eax, 1
0013e9d0call camlMathML.is_close_718
0013e9d5mov [rsp], rax
0013e9d9jmp 0x13e9e5
0013e9db
0013e9db 90 .
0013e9dc
0013e9dcloc_13e9dc:
0013e9dcmov eax, 1
0013e9e1mov [rsp], rax
0013e9e5
0013e9e5loc_13e9e5:
0013e9e5mov rax, [rsp+32]
0013e9eacmp rax, 1
0013e9eejne 0x13e9fb
0013e9f0mov rax, [rsp+40]
0013e9f5cmp rax, 1
0013e9f9je 0x13ea1c
0013e9fb
0013e9fbloc_13e9fb:
0013e9fblea rax, [rip+0x1d7f9e]
0013ea02mov rax, [rax+136]
0013ea09mov rax, [rax]
0013ea0ccmp rax, 1
0013ea10je 0x13ea1c
0013ea12mov eax, 3
0013ea17call camlMathML.do_item_display_590
0013ea1c
0013ea1cloc_13ea1c:
0013ea1cmov eax, 1
0013ea21call camlHtmlCommon.do_open_mods_1168
0013ea26lea rax, [rip+0x19cf83]
0013ea2dmov rax, [rax+312]
0013ea34mov [rax+24], 1
0013ea3cmov rbx, [rsp+24]
0013ea41cmp rbx, 1
0013ea45je 0x13ea50
0013ea47mov rax, [rax+32]
0013ea4bjmp 0x13ea55
0013ea4d
0013ea4d 0f 1f 00 ...
0013ea50
0013ea50loc_13ea50:
0013ea50mov eax, 1
0013ea55
0013ea55loc_13ea55:
0013ea55lea rbx, [rip+0x19cf54]
0013ea5cmov rbx, [rbx+312]
0013ea63mov [rbx+32], rax
0013ea67mov rax, [rsp+40]
0013ea6ccmp rax, 1
0013ea70je 0x13ea9c
0013ea72lea rbx, [rip+0x196797]
0013ea79mov rax, [rsp+16]
0013ea7ecall camlStdlib.$5e_139
0013ea83mov rbx, rax
0013ea86lea rax, [rip+0x196793]
0013ea8dcall camlStdlib.$5e_139
0013ea92call camlHtmlCommon.do_put_818
0013ea97jmp 0x13eb0e
0013ea99
0013ea99 0f 1f 00 ...
0013ea9c
0013ea9cloc_13ea9c:
0013ea9cmov rax, [rsp]
0013eaa0cmp rax, 1
0013eaa4je 0x13ead0
0013eaa6lea rbx, [rip+0x1966f3]
0013eaadmov rax, [rsp+16]
0013eab2call camlStdlib.$5e_139
0013eab7mov rbx, rax
0013eabalea rax, [rip+0x19671f]
0013eac1call camlStdlib.$5e_139
0013eac6call camlHtmlCommon.do_put_818
0013eacbjmp 0x13eb0e
0013eacd
0013eacd 0f 1f 00 ...
0013ead0
0013ead0loc_13ead0:
0013ead0mov rax, [rsp+32]
0013ead5cmp rax, 1
0013ead9je 0x13eb04
0013eadblea rbx, [rip+0x19669e]
0013eae2mov rax, [rsp+16]
0013eae7call camlStdlib.$5e_139
0013eaecmov rbx, rax
0013eaeflea rax, [rip+0x19669a]
0013eaf6call camlStdlib.$5e_139
0013eafbcall camlHtmlCommon.do_put_818
0013eb00jmp 0x13eb0e
0013eb02
0013eb02 66 90 f.
0013eb04
0013eb04loc_13eb04:
0013eb04mov rax, [rsp+8]
0013eb09call camlHtmlCommon.do_put_char_817
0013eb0e
0013eb0eloc_13eb0e:
0013eb0emov rax, [rsp+16]
0013eb13call camlMathML.is_close_delim_712
0013eb18cmp rax, 1
0013eb1cje 0x13eb2c
0013eb1emov eax, 1
0013eb23add rsp, 48
0013eb27jmp 0x13e5c0
0013eb2c
0013eb2cloc_13eb2c:
0013eb2cmov eax, 1
0013eb31add rsp, 48
0013eb35ret
0013eb36
0013eb36 66 90 f.
0013eb38
0013eb38loc_13eb38:
0013eb38mov eax, 1
0013eb3dadd rsp, 48
0013eb41ret
0013eb42
0013eb42loc_13eb42:
0013eb42push 39
0013eb44call caml_call_realloc_stack
0013eb49pop r10
0013eb4bjmp 0x13e952
0013e940