File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
Loading..
0013f760
0013f760camlMathML.tr_911:
0013f760mov rbx, [rax-8]
0013f764shr rbx, 10
0013f768cmp rbx, 2
0013f76cjge 0x13f7e0
0013f76emov rbx, [rax]
0013f771mov rdi, 0x60000000000003c
0013f77bcmp rbx, rdi
0013f77ejge 0x13f7b0
0013f780mov rdi, 0x500000000007b5c
0013f78acmp rbx, rdi
0013f78djne 0x13f798
0013f78flea rax, [rip+0x19606a]
0013f796ret
0013f797
0013f797 90 .
0013f798
0013f798loc_13f798:
0013f798mov rdi, 0x500000000007d5c
0013f7a2cmp rbx, rdi
0013f7a5jne 0x13f7e0
0013f7a7lea rax, [rip+0x196042]
0013f7aeret
0013f7af
0013f7af 90 .
0013f7b0
0013f7b0loc_13f7b0:
0013f7b0mov rdi, 0x60000000000003c
0013f7bacmp rbx, rdi
0013f7bdjne 0x13f7c8
0013f7bflea rax, [rip+0x19605a]
0013f7c6ret
0013f7c7
0013f7c7 90 .
0013f7c8
0013f7c8loc_13f7c8:
0013f7c8mov rdi, 0x60000000000003e
0013f7d2cmp rbx, rdi
0013f7d5jne 0x13f7e0
0013f7d7lea rax, [rip+0x196032]
0013f7deret
0013f7df
0013f7df 90 .
0013f7e0
0013f7e0loc_13f7e0:
0013f7e0ret
0013f760
0013f760camlMathML.tr_911:
0013f760mov rbx, [rax-8]
0013f764shr rbx, 10
0013f768cmp rbx, 2
0013f76cjge 0x13f7e0
0013f76emov rbx, [rax]
0013f771mov rdi, 0x60000000000003c
0013f77bcmp rbx, rdi
0013f77ejge 0x13f7b0
0013f780mov rdi, 0x500000000007b5c
0013f78acmp rbx, rdi
0013f78djne 0x13f798
0013f78flea rax, [rip+0x19606a]
0013f796ret
0013f797
0013f797 90 .
0013f798
0013f798loc_13f798:
0013f798mov rdi, 0x500000000007d5c
0013f7a2cmp rbx, rdi
0013f7a5jne 0x13f7e0
0013f7a7lea rax, [rip+0x196042]
0013f7aeret
0013f7af
0013f7af 90 .
0013f7b0
0013f7b0loc_13f7b0:
0013f7b0mov rdi, 0x60000000000003c
0013f7bacmp rbx, rdi
0013f7bdjne 0x13f7c8
0013f7bflea rax, [rip+0x19605a]
0013f7c6ret
0013f7c7
0013f7c7 90 .
0013f7c8
0013f7c8loc_13f7c8:
0013f7c8mov rdi, 0x60000000000003e
0013f7d2cmp rbx, rdi
0013f7d5jne 0x13f7e0
0013f7d7lea rax, [rip+0x196032]
0013f7deret
0013f7df
0013f7df 90 .
0013f7e0
0013f7e0loc_13f7e0:
0013f7e0ret
0013f760
0013f7e1
0013f7e1 // align 0x10
0013f7e1 // align 0x10
0013f7f0
0013f7f0camlMathML.left_914:
0013f7f0lea r10, [rsp-336]
0013f7f8cmp r10, [r14+40]
0013f7fcjb 0x13f897
0013f802
0013f802loc_13f802:
0013f802sub rsp, 16
0013f806mov [rsp], rax
0013f80amov [rsp+8], rdi
0013f80fmov eax, 3
0013f814call camlMathML.do_item_display_590
0013f819mov eax, 1
0013f81ecall camlMathML.open_display_503
0013f823lea rsi, [rip+0x195fb6]
0013f82amov r12, [rsp]
0013f82emov rdi, r12
0013f831mov rbx, rsp
0013f834mov rsp, [r14+64]
0013f838call caml_string_notequal
0013f83dmov rsp, rbx
0013f840cmp rax, 1
0013f844je 0x13f86e
0013f846mov rax, r12
0013f849call camlMathML.tr_911
0013f84elea rbx, [rip+0x195f7b]
0013f855call camlStdlib.$5e_139
0013f85amov rbx, rax
0013f85dlea rax, [rip+0x19592c]
0013f864call camlStdlib.$5e_139
0013f869call camlMathML.put_730
0013f86e
0013f86eloc_13f86e:
0013f86emov eax, 1
0013f873mov rbx, [rsp+8]
0013f878mov rdi, [rbx]
0013f87bcall rdi
0013f87dmov eax, 3
0013f882call camlMathML.do_item_display_590
0013f887lea rax, [rip+0x195072]
0013f88eadd rsp, 16
0013f892jmp 0x14a860
0013f897
0013f897loc_13f897:
0013f897push 35
0013f899call caml_call_realloc_stack
0013f89epop r10
0013f8a0jmp 0x13f802
0013f7f0
0013f7f0camlMathML.left_914:
0013f7f0lea r10, [rsp-336]
0013f7f8cmp r10, [r14+40]
0013f7fcjb 0x13f897
0013f802
0013f802loc_13f802:
0013f802sub rsp, 16
0013f806mov [rsp], rax
0013f80amov [rsp+8], rdi
0013f80fmov eax, 3
0013f814call camlMathML.do_item_display_590
0013f819mov eax, 1
0013f81ecall camlMathML.open_display_503
0013f823lea rsi, [rip+0x195fb6]
0013f82amov r12, [rsp]
0013f82emov rdi, r12
0013f831mov rbx, rsp
0013f834mov rsp, [r14+64]
0013f838call caml_string_notequal
0013f83dmov rsp, rbx
0013f840cmp rax, 1
0013f844je 0x13f86e
0013f846mov rax, r12
0013f849call camlMathML.tr_911
0013f84elea rbx, [rip+0x195f7b]
0013f855call camlStdlib.$5e_139
0013f85amov rbx, rax
0013f85dlea rax, [rip+0x19592c]
0013f864call camlStdlib.$5e_139
0013f869call camlMathML.put_730
0013f86e
0013f86eloc_13f86e:
0013f86emov eax, 1
0013f873mov rbx, [rsp+8]
0013f878mov rdi, [rbx]
0013f87bcall rdi
0013f87dmov eax, 3
0013f882call camlMathML.do_item_display_590
0013f887lea rax, [rip+0x195072]
0013f88eadd rsp, 16
0013f892jmp 0x14a860
0013f897
0013f897loc_13f897:
0013f897push 35
0013f899call caml_call_realloc_stack
0013f89epop r10
0013f8a0jmp 0x13f802
0013f7f0
0013f8a5
0013f8a5 // align 0x10
0013f8a5 // align 0x10
0013f8b0
0013f8b0camlMathML.fun_1137:
0013f8b0lea r10, [rsp-320]
0013f8b8cmp r10, [r14+40]
0013f8bcjb 0x13f8f2
0013f8be
0013f8beloc_13f8be:
0013f8bemov eax, 3
0013f8c3call camlMathML.do_item_display_590
0013f8c8mov eax, 1
0013f8cdcall camlMathML.close_display_504
0013f8d2lea rax, [rip+0x195ebf]
0013f8d9call camlMisc.warning_287
0013f8demov eax, 3
0013f8e3call camlMathML.do_item_display_590
0013f8e8mov eax, 1
0013f8edjmp 0x13d310
0013f8f2
0013f8f2loc_13f8f2:
0013f8f2push 33
0013f8f4call caml_call_realloc_stack
0013f8f9pop r10
0013f8fbjmp 0x13f8be
0013f8b0
0013f8b0camlMathML.fun_1137:
0013f8b0lea r10, [rsp-320]
0013f8b8cmp r10, [r14+40]
0013f8bcjb 0x13f8f2
0013f8be
0013f8beloc_13f8be:
0013f8bemov eax, 3
0013f8c3call camlMathML.do_item_display_590
0013f8c8mov eax, 1
0013f8cdcall camlMathML.close_display_504
0013f8d2lea rax, [rip+0x195ebf]
0013f8d9call camlMisc.warning_287
0013f8demov eax, 3
0013f8e3call camlMathML.do_item_display_590
0013f8e8mov eax, 1
0013f8edjmp 0x13d310
0013f8f2
0013f8f2loc_13f8f2:
0013f8f2push 33
0013f8f4call caml_call_realloc_stack
0013f8f9pop r10
0013f8fbjmp 0x13f8be
0013f8b0
0013f8fd
0013f8fd // align 0x10
0013f8fd // align 0x10
0013f900
0013f900camlMathML.right_920:
0013f900lea r10, [rsp-392]
0013f908cmp r10, [r14+40]
0013f90cjb 0x13fc75
0013f912
0013f912loc_13f912:
0013f912sub rsp, 56
0013f916mov [rsp], rax
0013f91alea rax, [rip+0x1d707f]
0013f921mov rax, [rax+136]
0013f928mov rax, [rax]
0013f92bcmp rax, 1
0013f92fje 0x13f93b
0013f931mov eax, 3
0013f936call camlMathML.do_item_display_590
0013f93b
0013f93bloc_13f93b:
0013f93blea rsi, [rip+0x195e9e]
0013f942mov r12, [rsp]
0013f946mov rdi, r12
0013f949mov rbx, rsp
0013f94cmov rsp, [r14+64]
0013f950call caml_string_notequal
0013f955mov rsp, rbx
0013f958cmp rax, 1
0013f95cje 0x13f986
0013f95emov rax, r12
0013f961call camlMathML.tr_911
0013f966lea rbx, [rip+0x195e63]
0013f96dcall camlStdlib.$5e_139
0013f972mov rbx, rax
0013f975lea rax, [rip+0x195814]
0013f97ccall camlStdlib.$5e_139
0013f981call camlMathML.put_730
0013f986
0013f986loc_13f986:
0013f986lea rax, [rip+0x1d7013]
0013f98dmov rax, [rax+136]
0013f994mov rax, [rax]
0013f997cmp rax, 1
0013f99bje 0x13f9a7
0013f99dmov eax, 3
0013f9a2call camlMathML.do_item_display_590
0013f9a7
0013f9a7loc_13f9a7:
0013f9a7mov eax, 1
0013f9accall camlHtmlCommon.pop_freeze_1487
0013f9b1mov rbx, [rax+8]
0013f9b5cmp rbx, 1
0013f9b9je 0x13fc1c
0013f9bfmov [rsp+48], rax
0013f9c4lea r11, [rip+497]
0013f9cbpush r11
0013f9cdpush [r14+48]
0013f9d1mov [r14+48], rsp
0013f9d5lea rax, [rip+0x19bfd4]
0013f9dcmov rax, [rax+216]
0013f9e3call camlHtmlCommon.pop_out_784
0013f9e8mov rbx, [rax+16]
0013f9ecmov [rsp+56], rbx
0013f9f1mov rbx, [rax+8]
0013f9f5mov [rsp+48], rbx
0013f9famov rax, [rax]
0013f9fdmov [rsp+40], rax
0013fa02lea rax, [rip+0x19bfa7]
0013fa09mov rax, [rax+216]
0013fa10call camlHtmlCommon.pop_out_784
0013fa15mov rbx, [rax+16]
0013fa19mov [rsp+32], rbx
0013fa1emov rbx, [rax+8]
0013fa22mov [rsp+24], rbx
0013fa27mov rax, [rax]
0013fa2amov [rsp+16], rax
0013fa2fmov eax, 1
0013fa34call camlHtmlCommon.pblock_810
0013fa39lea rsi, [rip+0x1953a0]
0013fa40mov rdi, rax
0013fa43lea rax, [rip+0xc0e96]
0013fa4acall caml_c_call
0013fa4fcmp rax, 1
0013fa53je 0x13fb18
0013fa59lea rax, [rip+0x195ce0]
0013fa60call camlMisc.warning_287
0013fa65sub r15, 32
0013fa69cmp r15, [r14]
0013fa6cjb 0x13fc6b
0013fa72
0013fa72loc_13fa72:
0013fa72lea rbx, [r15+8]
0013fa76mov [rbx-8], 3072
0013fa7emov rax, [rsp+16]
0013fa83mov [rbx], rax
0013fa86mov rax, [rsp+24]
0013fa8bmov [rbx+8], rax
0013fa8fmov rax, [rsp+32]
0013fa94mov [rbx+16], rax
0013fa98lea rax, [rip+0x19bf11]
0013fa9fmov rax, [rax+216]
0013faa6call camlHtmlCommon.push_out_771
0013faabsub r15, 32
0013faafcmp r15, [r14]
0013fab2jb 0x13fc61
0013fab8
0013fab8loc_13fab8:
0013fab8lea rbx, [r15+8]
0013fabcmov [rbx-8], 3072
0013fac4mov rax, [rsp+40]
0013fac9mov [rbx], rax
0013faccmov rax, [rsp+48]
0013fad1mov [rbx+8], rax
0013fad5mov rax, [rsp+56]
0013fadamov [rbx+16], rax
0013fadelea rax, [rip+0x19becb]
0013fae5mov rax, [rax+216]
0013faeccall camlHtmlCommon.push_out_771
0013faf1mov rax, [rsp+64]
0013faf6mov rax, [rax]
0013faf9call camlHtmlCommon.freeze_1480
0013fafemov eax, 1
0013fb03call camlMathML.close_display_504
0013fb08mov eax, 1
0013fb0dcall camlMathML.open_display_503
0013fb12jmp 0x13fbae
0013fb17nop
0013fb18
0013fb18loc_13fb18:
0013fb18sub r15, 32
0013fb1ccmp r15, [r14]
0013fb1fjb 0x13fc57
0013fb25
0013fb25loc_13fb25:
0013fb25lea rbx, [r15+8]
0013fb29mov [rbx-8], 3072
0013fb31mov rax, [rsp+16]
0013fb36mov [rbx], rax
0013fb39mov rax, [rsp+24]
0013fb3emov [rbx+8], rax
0013fb42mov rax, [rsp+32]
0013fb47mov [rbx+16], rax
0013fb4blea rax, [rip+0x19be5e]
0013fb52mov rax, [rax+216]
0013fb59call camlHtmlCommon.push_out_771
0013fb5esub r15, 32
0013fb62cmp r15, [r14]
0013fb65jb 0x13fc4d
0013fb6b
0013fb6bloc_13fb6b:
0013fb6blea rbx, [r15+8]
0013fb6fmov [rbx-8], 3072
0013fb77mov rax, [rsp+40]
0013fb7cmov [rbx], rax
0013fb7fmov rax, [rsp+48]
0013fb84mov [rbx+8], rax
0013fb88mov rax, [rsp+56]
0013fb8dmov [rbx+16], rax
0013fb91lea rax, [rip+0x19be18]
0013fb98mov rax, [rax+216]
0013fb9fcall camlHtmlCommon.push_out_771
0013fba4mov eax, 1
0013fba9call camlMathML.close_display_504
0013fbae
0013fbaeloc_13fbae:
0013fbaepop [r14+48]
0013fbb2add rsp, 8
0013fbb6jmp 0x13fc3c
0013fbbbnop
0013fbbclea rbx, [rip+0x19bded]
0013fbc3mov rbx, [rbx+176]
0013fbcacmp rax, rbx
0013fbcdjne 0x13fc0c
0013fbcfsub r15, 24
0013fbd3cmp r15, [r14]
0013fbd6jb 0x13fc46
0013fbd8
0013fbd8loc_13fbd8:
0013fbd8lea rax, [r15+8]
0013fbdcmov [rax-8], 2048
0013fbe4lea rbx, [rip+0x1ea485]
0013fbebmov rbx, [rbx+32]
0013fbefmov [rax], rbx
0013fbf2lea rbx, [rip+0x195b17]
0013fbf9mov [rax+8], rbx
0013fbfdmov rsp, [r14+48]
0013fc01pop [r14+48]
0013fc05pop r11
0013fc07jmp r11
0013fc0anop
0013fc0c
0013fc0cloc_13fc0c:
0013fc0cmov rsp, [r14+48]
0013fc10pop [r14+48]
0013fc14pop r11
0013fc16jmp r11
0013fc19nop [rax]
0013fc1c
0013fc1cloc_13fc1c:
0013fc1clea rax, [rip+0x195b55]
0013fc23call camlMisc.warning_287
0013fc28mov eax, 1
0013fc2dcall camlMathML.close_display_504
0013fc32mov eax, 1
0013fc37call camlMathML.open_display_503
0013fc3c
0013fc3cloc_13fc3c:
0013fc3cmov eax, 7
0013fc41add rsp, 56
0013fc45ret
0013fc46
0013fc46loc_13fc46:
0013fc46call caml_call_gc
0013fc4bjmp 0x13fbd8
0013fc4d
0013fc4dloc_13fc4d:
0013fc4dcall caml_call_gc
0013fc52jmp 0x13fb6b
0013fc57
0013fc57loc_13fc57:
0013fc57call caml_call_gc
0013fc5cjmp 0x13fb25
0013fc61
0013fc61loc_13fc61:
0013fc61call caml_call_gc
0013fc66jmp 0x13fab8
0013fc6b
0013fc6bloc_13fc6b:
0013fc6bcall caml_call_gc
0013fc70jmp 0x13fa72
0013fc75
0013fc75loc_13fc75:
0013fc75push 42
0013fc77call caml_call_realloc_stack
0013fc7cpop r10
0013fc7ejmp 0x13f912
0013f900
0013f900camlMathML.right_920:
0013f900lea r10, [rsp-392]
0013f908cmp r10, [r14+40]
0013f90cjb 0x13fc75
0013f912
0013f912loc_13f912:
0013f912sub rsp, 56
0013f916mov [rsp], rax
0013f91alea rax, [rip+0x1d707f]
0013f921mov rax, [rax+136]
0013f928mov rax, [rax]
0013f92bcmp rax, 1
0013f92fje 0x13f93b
0013f931mov eax, 3
0013f936call camlMathML.do_item_display_590
0013f93b
0013f93bloc_13f93b:
0013f93blea rsi, [rip+0x195e9e]
0013f942mov r12, [rsp]
0013f946mov rdi, r12
0013f949mov rbx, rsp
0013f94cmov rsp, [r14+64]
0013f950call caml_string_notequal
0013f955mov rsp, rbx
0013f958cmp rax, 1
0013f95cje 0x13f986
0013f95emov rax, r12
0013f961call camlMathML.tr_911
0013f966lea rbx, [rip+0x195e63]
0013f96dcall camlStdlib.$5e_139
0013f972mov rbx, rax
0013f975lea rax, [rip+0x195814]
0013f97ccall camlStdlib.$5e_139
0013f981call camlMathML.put_730
0013f986
0013f986loc_13f986:
0013f986lea rax, [rip+0x1d7013]
0013f98dmov rax, [rax+136]
0013f994mov rax, [rax]
0013f997cmp rax, 1
0013f99bje 0x13f9a7
0013f99dmov eax, 3
0013f9a2call camlMathML.do_item_display_590
0013f9a7
0013f9a7loc_13f9a7:
0013f9a7mov eax, 1
0013f9accall camlHtmlCommon.pop_freeze_1487
0013f9b1mov rbx, [rax+8]
0013f9b5cmp rbx, 1
0013f9b9je 0x13fc1c
0013f9bfmov [rsp+48], rax
0013f9c4lea r11, [rip+497]
0013f9cbpush r11
0013f9cdpush [r14+48]
0013f9d1mov [r14+48], rsp
0013f9d5lea rax, [rip+0x19bfd4]
0013f9dcmov rax, [rax+216]
0013f9e3call camlHtmlCommon.pop_out_784
0013f9e8mov rbx, [rax+16]
0013f9ecmov [rsp+56], rbx
0013f9f1mov rbx, [rax+8]
0013f9f5mov [rsp+48], rbx
0013f9famov rax, [rax]
0013f9fdmov [rsp+40], rax
0013fa02lea rax, [rip+0x19bfa7]
0013fa09mov rax, [rax+216]
0013fa10call camlHtmlCommon.pop_out_784
0013fa15mov rbx, [rax+16]
0013fa19mov [rsp+32], rbx
0013fa1emov rbx, [rax+8]
0013fa22mov [rsp+24], rbx
0013fa27mov rax, [rax]
0013fa2amov [rsp+16], rax
0013fa2fmov eax, 1
0013fa34call camlHtmlCommon.pblock_810
0013fa39lea rsi, [rip+0x1953a0]
0013fa40mov rdi, rax
0013fa43lea rax, [rip+0xc0e96]
0013fa4acall caml_c_call
0013fa4fcmp rax, 1
0013fa53je 0x13fb18
0013fa59lea rax, [rip+0x195ce0]
0013fa60call camlMisc.warning_287
0013fa65sub r15, 32
0013fa69cmp r15, [r14]
0013fa6cjb 0x13fc6b
0013fa72
0013fa72loc_13fa72:
0013fa72lea rbx, [r15+8]
0013fa76mov [rbx-8], 3072
0013fa7emov rax, [rsp+16]
0013fa83mov [rbx], rax
0013fa86mov rax, [rsp+24]
0013fa8bmov [rbx+8], rax
0013fa8fmov rax, [rsp+32]
0013fa94mov [rbx+16], rax
0013fa98lea rax, [rip+0x19bf11]
0013fa9fmov rax, [rax+216]
0013faa6call camlHtmlCommon.push_out_771
0013faabsub r15, 32
0013faafcmp r15, [r14]
0013fab2jb 0x13fc61
0013fab8
0013fab8loc_13fab8:
0013fab8lea rbx, [r15+8]
0013fabcmov [rbx-8], 3072
0013fac4mov rax, [rsp+40]
0013fac9mov [rbx], rax
0013faccmov rax, [rsp+48]
0013fad1mov [rbx+8], rax
0013fad5mov rax, [rsp+56]
0013fadamov [rbx+16], rax
0013fadelea rax, [rip+0x19becb]
0013fae5mov rax, [rax+216]
0013faeccall camlHtmlCommon.push_out_771
0013faf1mov rax, [rsp+64]
0013faf6mov rax, [rax]
0013faf9call camlHtmlCommon.freeze_1480
0013fafemov eax, 1
0013fb03call camlMathML.close_display_504
0013fb08mov eax, 1
0013fb0dcall camlMathML.open_display_503
0013fb12jmp 0x13fbae
0013fb17nop
0013fb18
0013fb18loc_13fb18:
0013fb18sub r15, 32
0013fb1ccmp r15, [r14]
0013fb1fjb 0x13fc57
0013fb25
0013fb25loc_13fb25:
0013fb25lea rbx, [r15+8]
0013fb29mov [rbx-8], 3072
0013fb31mov rax, [rsp+16]
0013fb36mov [rbx], rax
0013fb39mov rax, [rsp+24]
0013fb3emov [rbx+8], rax
0013fb42mov rax, [rsp+32]
0013fb47mov [rbx+16], rax
0013fb4blea rax, [rip+0x19be5e]
0013fb52mov rax, [rax+216]
0013fb59call camlHtmlCommon.push_out_771
0013fb5esub r15, 32
0013fb62cmp r15, [r14]
0013fb65jb 0x13fc4d
0013fb6b
0013fb6bloc_13fb6b:
0013fb6blea rbx, [r15+8]
0013fb6fmov [rbx-8], 3072
0013fb77mov rax, [rsp+40]
0013fb7cmov [rbx], rax
0013fb7fmov rax, [rsp+48]
0013fb84mov [rbx+8], rax
0013fb88mov rax, [rsp+56]
0013fb8dmov [rbx+16], rax
0013fb91lea rax, [rip+0x19be18]
0013fb98mov rax, [rax+216]
0013fb9fcall camlHtmlCommon.push_out_771
0013fba4mov eax, 1
0013fba9call camlMathML.close_display_504
0013fbae
0013fbaeloc_13fbae:
0013fbaepop [r14+48]
0013fbb2add rsp, 8
0013fbb6jmp 0x13fc3c
0013fbbbnop
0013fbbclea rbx, [rip+0x19bded]
0013fbc3mov rbx, [rbx+176]
0013fbcacmp rax, rbx
0013fbcdjne 0x13fc0c
0013fbcfsub r15, 24
0013fbd3cmp r15, [r14]
0013fbd6jb 0x13fc46
0013fbd8
0013fbd8loc_13fbd8:
0013fbd8lea rax, [r15+8]
0013fbdcmov [rax-8], 2048
0013fbe4lea rbx, [rip+0x1ea485]
0013fbebmov rbx, [rbx+32]
0013fbefmov [rax], rbx
0013fbf2lea rbx, [rip+0x195b17]
0013fbf9mov [rax+8], rbx
0013fbfdmov rsp, [r14+48]
0013fc01pop [r14+48]
0013fc05pop r11
0013fc07jmp r11
0013fc0anop
0013fc0c
0013fc0cloc_13fc0c:
0013fc0cmov rsp, [r14+48]
0013fc10pop [r14+48]
0013fc14pop r11
0013fc16jmp r11
0013fc19nop [rax]
0013fc1c
0013fc1cloc_13fc1c:
0013fc1clea rax, [rip+0x195b55]
0013fc23call camlMisc.warning_287
0013fc28mov eax, 1
0013fc2dcall camlMathML.close_display_504
0013fc32mov eax, 1
0013fc37call camlMathML.open_display_503
0013fc3c
0013fc3cloc_13fc3c:
0013fc3cmov eax, 7
0013fc41add rsp, 56
0013fc45ret
0013fc46
0013fc46loc_13fc46:
0013fc46call caml_call_gc
0013fc4bjmp 0x13fbd8
0013fc4d
0013fc4dloc_13fc4d:
0013fc4dcall caml_call_gc
0013fc52jmp 0x13fb6b
0013fc57
0013fc57loc_13fc57:
0013fc57call caml_call_gc
0013fc5cjmp 0x13fb25
0013fc61
0013fc61loc_13fc61:
0013fc61call caml_call_gc
0013fc66jmp 0x13fab8
0013fc6b
0013fc6bloc_13fc6b:
0013fc6bcall caml_call_gc
0013fc70jmp 0x13fa72
0013fc75
0013fc75loc_13fc75:
0013fc75push 42
0013fc77call caml_call_realloc_stack
0013fc7cpop r10
0013fc7ejmp 0x13f912
0013f900
0013fc83
0013fc83 // align 0x10
0013fc83 // align 0x10
0013fc90
0013fc90camlMathML.entry:
0013fc90lea rsi, [rip+0x195ba9]
0013fc97lea rdi, [rip+0x19500a]
0013fc9emov rbx, rsp
0013fca1mov rsp, [r14+64]
0013fca5call caml_initialize
0013fcaamov rsp, rbx
0013fcadlea rsi, [rip+0x194cac]
0013fcb4lea r12, [rip+0x194c8d]
0013fcbblea r13, [rip+0x194c6e]
0013fcc2lea rbp, [rip+0x194c4f]
0013fcc9lea rdi, [rip+0x194fd8]
0013fcd0add rdi, 8
0013fcd4mov rbx, rsp
0013fcd7mov rsp, [r14+64]
0013fcdbcall caml_initialize
0013fce0mov rsp, rbx
0013fce3lea rdi, [rip+0x194fbe]
0013fceaadd rdi, 16
0013fceemov rsi, r12
0013fcf1mov rbx, rsp
0013fcf4mov rsp, [r14+64]
0013fcf8call caml_initialize
0013fcfdmov rsp, rbx
0013fd00lea rdi, [rip+0x194fa1]
0013fd07add rdi, 24
0013fd0bmov rsi, r13
0013fd0emov rbx, rsp
0013fd11mov rsp, [r14+64]
0013fd15call caml_initialize
0013fd1amov rsp, rbx
0013fd1dlea rdi, [rip+0x194f84]
0013fd24add rdi, 32
0013fd28mov rsi, rbp
0013fd2bmov rbx, rsp
0013fd2emov rsp, [r14+64]
0013fd32call caml_initialize
0013fd37mov rsp, rbx
0013fd3alea rsi, [rip+0x194c3f]
0013fd41lea rdi, [rip+0x194f60]
0013fd48add rdi, 40
0013fd4cmov rbx, rsp
0013fd4fmov rsp, [r14+64]
0013fd53call caml_initialize
0013fd58mov rsp, rbx
0013fd5blea rsi, [rip+0x194c36]
0013fd62lea rdi, [rip+0x194f3f]
0013fd69add rdi, 48
0013fd6dmov rbx, rsp
0013fd70mov rsp, [r14+64]
0013fd74call caml_initialize
0013fd79mov rsp, rbx
0013fd7clea rsi, [rip+0x194c45]
0013fd83lea r12, [rip+0x194c26]
0013fd8alea rdi, [rip+0x194f17]
0013fd91add rdi, 56
0013fd95mov rbx, rsp
0013fd98mov rsp, [r14+64]
0013fd9ccall caml_initialize
0013fda1mov rsp, rbx
0013fda4lea rdi, [rip+0x194efd]
0013fdabadd rdi, 64
0013fdafmov rsi, r12
0013fdb2mov rbx, rsp
0013fdb5mov rsp, [r14+64]
0013fdb9call caml_initialize
0013fdbemov rsp, rbx
0013fdc1lea rsi, [rip+0x194c18]
0013fdc8lea rdi, [rip+0x194ed9]
0013fdcfadd rdi, 72
0013fdd3mov rbx, rsp
0013fdd6mov rsp, [r14+64]
0013fddacall caml_initialize
0013fddfmov rsp, rbx
0013fde2lea rsi, [rip+0x194c0f]
0013fde9lea rdi, [rip+0x194eb8]
0013fdf0add rdi, 80
0013fdf4mov rbx, rsp
0013fdf7mov rsp, [r14+64]
0013fdfbcall caml_initialize
0013fe00mov rsp, rbx
0013fe03lea rsi, [rip+0x194c06]
0013fe0alea rdi, [rip+0x194e97]
0013fe11add rdi, 88
0013fe15mov rbx, rsp
0013fe18mov rsp, [r14+64]
0013fe1ccall caml_initialize
0013fe21mov rsp, rbx
0013fe24lea rsi, [rip+0x194bfd]
0013fe2blea rdi, [rip+0x194e76]
0013fe32add rdi, 96
0013fe36mov rbx, rsp
0013fe39mov rsp, [r14+64]
0013fe3dcall caml_initialize
0013fe42mov rsp, rbx
0013fe45lea rsi, [rip+0x194bf4]
0013fe4clea rdi, [rip+0x194e55]
0013fe53add rdi, 104
0013fe57mov rbx, rsp
0013fe5amov rsp, [r14+64]
0013fe5ecall caml_initialize
0013fe63mov rsp, rbx
0013fe66lea rsi, [rip+0x194beb]
0013fe6dlea rdi, [rip+0x194e34]
0013fe74add rdi, 112
0013fe78mov rbx, rsp
0013fe7bmov rsp, [r14+64]
0013fe7fcall caml_initialize
0013fe84mov rsp, rbx
0013fe87lea rsi, [rip+0x194be2]
0013fe8elea rdi, [rip+0x194e13]
0013fe95add rdi, 120
0013fe99mov rbx, rsp
0013fe9cmov rsp, [r14+64]
0013fea0call caml_initialize
0013fea5mov rsp, rbx
0013fea8lea rsi, [rip+0x194bd9]
0013feaflea rdi, [rip+0x194df2]
0013feb6add rdi, 128
0013febdmov rbx, rsp
0013fec0mov rsp, [r14+64]
0013fec4call caml_initialize
0013fec9mov rsp, rbx
0013fecclea rsi, [rip+0x194bcd]
0013fed3lea rdi, [rip+0x194dce]
0013fedaadd rdi, 136
0013fee1mov rbx, rsp
0013fee4mov rsp, [r14+64]
0013fee8call caml_initialize
0013feedmov rsp, rbx
0013fef0lea rsi, [rip+0x194bd9]
0013fef7lea r12, [rip+0x194bba]
0013fefelea rdi, [rip+0x194da3]
0013ff05add rdi, 144
0013ff0cmov rbx, rsp
0013ff0fmov rsp, [r14+64]
0013ff13call caml_initialize
0013ff18mov rsp, rbx
0013ff1blea rdi, [rip+0x194d86]
0013ff22add rdi, 152
0013ff29mov rsi, r12
0013ff2cmov rbx, rsp
0013ff2fmov rsp, [r14+64]
0013ff33call caml_initialize
0013ff38mov rsp, rbx
0013ff3blea rsi, [rip+0x194bd6]
0013ff42lea r12, [rip+0x194bb7]
0013ff49lea r13, [rip+0x194b98]
0013ff50lea rdi, [rip+0x194d51]
0013ff57add rdi, 160
0013ff5emov rbx, rsp
0013ff61mov rsp, [r14+64]
0013ff65call caml_initialize
0013ff6amov rsp, rbx
0013ff6dlea rdi, [rip+0x194d34]
0013ff74add rdi, 168
0013ff7bmov rsi, r12
0013ff7emov rbx, rsp
0013ff81mov rsp, [r14+64]
0013ff85call caml_initialize
0013ff8amov rsp, rbx
0013ff8dlea rdi, [rip+0x194d14]
0013ff94add rdi, 176
0013ff9bmov rsi, r13
0013ff9emov rbx, rsp
0013ffa1mov rsp, [r14+64]
0013ffa5call caml_initialize
0013ffaamov rsp, rbx
0013ffadlea rsi, [rip+0x194b7c]
0013ffb4lea rdi, [rip+0x194ced]
0013ffbbadd rdi, 184
0013ffc2mov rbx, rsp
0013ffc5mov rsp, [r14+64]
0013ffc9call caml_initialize
0013ffcemov rsp, rbx
0013ffd1lea rsi, [rip+0x194b70]
0013ffd8lea rdi, [rip+0x194cc9]
0013ffdfadd rdi, 192
0013ffe6mov rbx, rsp
0013ffe9mov rsp, [r14+64]
0013ffedcall caml_initialize
0013fff2mov rsp, rbx
0013fff5lea rsi, [rip+0x194b64]
0013fffclea rdi, [rip+0x194ca5]
00140003add rdi, 200
0014000amov rbx, rsp
0014000dmov rsp, [r14+64]
00140011call caml_initialize
00140016mov rsp, rbx
00140019lea rsi, [rip+0x194b58]
00140020lea rdi, [rip+0x194c81]
00140027add rdi, 208
0014002emov rbx, rsp
00140031mov rsp, [r14+64]
00140035call caml_initialize
0014003amov rsp, rbx
0014003dlea rsi, [rip+0x194b54]
00140044lea rdi, [rip+0x194c5d]
0014004badd rdi, 216
00140052mov rbx, rsp
00140055mov rsp, [r14+64]
00140059call caml_initialize
0014005emov rsp, rbx
00140061lea rsi, [rip+0x194b50]
00140068lea rdi, [rip+0x194c39]
0014006fadd rdi, 224
00140076mov rbx, rsp
00140079mov rsp, [r14+64]
0014007dcall caml_initialize
00140082mov rsp, rbx
00140085lea rsi, [rip+0x194b4c]
0014008clea rdi, [rip+0x194c15]
00140093add rdi, 232
0014009amov rbx, rsp
0014009dmov rsp, [r14+64]
001400a1call caml_initialize
001400a6mov rsp, rbx
001400a9lea rsi, [rip+0x194b48]
001400b0lea rdi, [rip+0x194bf1]
001400b7add rdi, 240
001400bemov rbx, rsp
001400c1mov rsp, [r14+64]
001400c5call caml_initialize
001400camov rsp, rbx
001400cdlea rsi, [rip+0x194b3c]
001400d4lea rdi, [rip+0x194bcd]
001400dbadd rdi, 248
001400e2mov rbx, rsp
001400e5mov rsp, [r14+64]
001400e9call caml_initialize
001400eemov rsp, rbx
001400f1lea rsi, [rip+0x194b38]
001400f8lea rdi, [rip+0x194ba9]
001400ffadd rdi, 256
00140106mov rbx, rsp
00140109mov rsp, [r14+64]
0014010dcall caml_initialize
00140112mov rsp, rbx
00140115lea rsi, [rip+0x194b34]
0014011clea rdi, [rip+0x194b85]
00140123add rdi, 264
0014012amov rbx, rsp
0014012dmov rsp, [r14+64]
00140131call caml_initialize
00140136mov rsp, rbx
00140139lea rsi, [rip+0x194b28]
00140140lea rdi, [rip+0x194b61]
00140147add rdi, 272
0014014emov rbx, rsp
00140151mov rsp, [r14+64]
00140155call caml_initialize
0014015amov rsp, rbx
0014015dlea rsi, [rip+0x194b24]
00140164lea rdi, [rip+0x194b3d]
0014016badd rdi, 280
00140172mov rbx, rsp
00140175mov rsp, [r14+64]
00140179call caml_initialize
0014017emov rsp, rbx
00140181mov eax, 1
00140186ret
0013fc90
0013fc90camlMathML.entry:
0013fc90lea rsi, [rip+0x195ba9]
0013fc97lea rdi, [rip+0x19500a]
0013fc9emov rbx, rsp
0013fca1mov rsp, [r14+64]
0013fca5call caml_initialize
0013fcaamov rsp, rbx
0013fcadlea rsi, [rip+0x194cac]
0013fcb4lea r12, [rip+0x194c8d]
0013fcbblea r13, [rip+0x194c6e]
0013fcc2lea rbp, [rip+0x194c4f]
0013fcc9lea rdi, [rip+0x194fd8]
0013fcd0add rdi, 8
0013fcd4mov rbx, rsp
0013fcd7mov rsp, [r14+64]
0013fcdbcall caml_initialize
0013fce0mov rsp, rbx
0013fce3lea rdi, [rip+0x194fbe]
0013fceaadd rdi, 16
0013fceemov rsi, r12
0013fcf1mov rbx, rsp
0013fcf4mov rsp, [r14+64]
0013fcf8call caml_initialize
0013fcfdmov rsp, rbx
0013fd00lea rdi, [rip+0x194fa1]
0013fd07add rdi, 24
0013fd0bmov rsi, r13
0013fd0emov rbx, rsp
0013fd11mov rsp, [r14+64]
0013fd15call caml_initialize
0013fd1amov rsp, rbx
0013fd1dlea rdi, [rip+0x194f84]
0013fd24add rdi, 32
0013fd28mov rsi, rbp
0013fd2bmov rbx, rsp
0013fd2emov rsp, [r14+64]
0013fd32call caml_initialize
0013fd37mov rsp, rbx
0013fd3alea rsi, [rip+0x194c3f]
0013fd41lea rdi, [rip+0x194f60]
0013fd48add rdi, 40
0013fd4cmov rbx, rsp
0013fd4fmov rsp, [r14+64]
0013fd53call caml_initialize
0013fd58mov rsp, rbx
0013fd5blea rsi, [rip+0x194c36]
0013fd62lea rdi, [rip+0x194f3f]
0013fd69add rdi, 48
0013fd6dmov rbx, rsp
0013fd70mov rsp, [r14+64]
0013fd74call caml_initialize
0013fd79mov rsp, rbx
0013fd7clea rsi, [rip+0x194c45]
0013fd83lea r12, [rip+0x194c26]
0013fd8alea rdi, [rip+0x194f17]
0013fd91add rdi, 56
0013fd95mov rbx, rsp
0013fd98mov rsp, [r14+64]
0013fd9ccall caml_initialize
0013fda1mov rsp, rbx
0013fda4lea rdi, [rip+0x194efd]
0013fdabadd rdi, 64
0013fdafmov rsi, r12
0013fdb2mov rbx, rsp
0013fdb5mov rsp, [r14+64]
0013fdb9call caml_initialize
0013fdbemov rsp, rbx
0013fdc1lea rsi, [rip+0x194c18]
0013fdc8lea rdi, [rip+0x194ed9]
0013fdcfadd rdi, 72
0013fdd3mov rbx, rsp
0013fdd6mov rsp, [r14+64]
0013fddacall caml_initialize
0013fddfmov rsp, rbx
0013fde2lea rsi, [rip+0x194c0f]
0013fde9lea rdi, [rip+0x194eb8]
0013fdf0add rdi, 80
0013fdf4mov rbx, rsp
0013fdf7mov rsp, [r14+64]
0013fdfbcall caml_initialize
0013fe00mov rsp, rbx
0013fe03lea rsi, [rip+0x194c06]
0013fe0alea rdi, [rip+0x194e97]
0013fe11add rdi, 88
0013fe15mov rbx, rsp
0013fe18mov rsp, [r14+64]
0013fe1ccall caml_initialize
0013fe21mov rsp, rbx
0013fe24lea rsi, [rip+0x194bfd]
0013fe2blea rdi, [rip+0x194e76]
0013fe32add rdi, 96
0013fe36mov rbx, rsp
0013fe39mov rsp, [r14+64]
0013fe3dcall caml_initialize
0013fe42mov rsp, rbx
0013fe45lea rsi, [rip+0x194bf4]
0013fe4clea rdi, [rip+0x194e55]
0013fe53add rdi, 104
0013fe57mov rbx, rsp
0013fe5amov rsp, [r14+64]
0013fe5ecall caml_initialize
0013fe63mov rsp, rbx
0013fe66lea rsi, [rip+0x194beb]
0013fe6dlea rdi, [rip+0x194e34]
0013fe74add rdi, 112
0013fe78mov rbx, rsp
0013fe7bmov rsp, [r14+64]
0013fe7fcall caml_initialize
0013fe84mov rsp, rbx
0013fe87lea rsi, [rip+0x194be2]
0013fe8elea rdi, [rip+0x194e13]
0013fe95add rdi, 120
0013fe99mov rbx, rsp
0013fe9cmov rsp, [r14+64]
0013fea0call caml_initialize
0013fea5mov rsp, rbx
0013fea8lea rsi, [rip+0x194bd9]
0013feaflea rdi, [rip+0x194df2]
0013feb6add rdi, 128
0013febdmov rbx, rsp
0013fec0mov rsp, [r14+64]
0013fec4call caml_initialize
0013fec9mov rsp, rbx
0013fecclea rsi, [rip+0x194bcd]
0013fed3lea rdi, [rip+0x194dce]
0013fedaadd rdi, 136
0013fee1mov rbx, rsp
0013fee4mov rsp, [r14+64]
0013fee8call caml_initialize
0013feedmov rsp, rbx
0013fef0lea rsi, [rip+0x194bd9]
0013fef7lea r12, [rip+0x194bba]
0013fefelea rdi, [rip+0x194da3]
0013ff05add rdi, 144
0013ff0cmov rbx, rsp
0013ff0fmov rsp, [r14+64]
0013ff13call caml_initialize
0013ff18mov rsp, rbx
0013ff1blea rdi, [rip+0x194d86]
0013ff22add rdi, 152
0013ff29mov rsi, r12
0013ff2cmov rbx, rsp
0013ff2fmov rsp, [r14+64]
0013ff33call caml_initialize
0013ff38mov rsp, rbx
0013ff3blea rsi, [rip+0x194bd6]
0013ff42lea r12, [rip+0x194bb7]
0013ff49lea r13, [rip+0x194b98]
0013ff50lea rdi, [rip+0x194d51]
0013ff57add rdi, 160
0013ff5emov rbx, rsp
0013ff61mov rsp, [r14+64]
0013ff65call caml_initialize
0013ff6amov rsp, rbx
0013ff6dlea rdi, [rip+0x194d34]
0013ff74add rdi, 168
0013ff7bmov rsi, r12
0013ff7emov rbx, rsp
0013ff81mov rsp, [r14+64]
0013ff85call caml_initialize
0013ff8amov rsp, rbx
0013ff8dlea rdi, [rip+0x194d14]
0013ff94add rdi, 176
0013ff9bmov rsi, r13
0013ff9emov rbx, rsp
0013ffa1mov rsp, [r14+64]
0013ffa5call caml_initialize
0013ffaamov rsp, rbx
0013ffadlea rsi, [rip+0x194b7c]
0013ffb4lea rdi, [rip+0x194ced]
0013ffbbadd rdi, 184
0013ffc2mov rbx, rsp
0013ffc5mov rsp, [r14+64]
0013ffc9call caml_initialize
0013ffcemov rsp, rbx
0013ffd1lea rsi, [rip+0x194b70]
0013ffd8lea rdi, [rip+0x194cc9]
0013ffdfadd rdi, 192
0013ffe6mov rbx, rsp
0013ffe9mov rsp, [r14+64]
0013ffedcall caml_initialize
0013fff2mov rsp, rbx
0013fff5lea rsi, [rip+0x194b64]
0013fffclea rdi, [rip+0x194ca5]
00140003add rdi, 200
0014000amov rbx, rsp
0014000dmov rsp, [r14+64]
00140011call caml_initialize
00140016mov rsp, rbx
00140019lea rsi, [rip+0x194b58]
00140020lea rdi, [rip+0x194c81]
00140027add rdi, 208
0014002emov rbx, rsp
00140031mov rsp, [r14+64]
00140035call caml_initialize
0014003amov rsp, rbx
0014003dlea rsi, [rip+0x194b54]
00140044lea rdi, [rip+0x194c5d]
0014004badd rdi, 216
00140052mov rbx, rsp
00140055mov rsp, [r14+64]
00140059call caml_initialize
0014005emov rsp, rbx
00140061lea rsi, [rip+0x194b50]
00140068lea rdi, [rip+0x194c39]
0014006fadd rdi, 224
00140076mov rbx, rsp
00140079mov rsp, [r14+64]
0014007dcall caml_initialize
00140082mov rsp, rbx
00140085lea rsi, [rip+0x194b4c]
0014008clea rdi, [rip+0x194c15]
00140093add rdi, 232
0014009amov rbx, rsp
0014009dmov rsp, [r14+64]
001400a1call caml_initialize
001400a6mov rsp, rbx
001400a9lea rsi, [rip+0x194b48]
001400b0lea rdi, [rip+0x194bf1]
001400b7add rdi, 240
001400bemov rbx, rsp
001400c1mov rsp, [r14+64]
001400c5call caml_initialize
001400camov rsp, rbx
001400cdlea rsi, [rip+0x194b3c]
001400d4lea rdi, [rip+0x194bcd]
001400dbadd rdi, 248
001400e2mov rbx, rsp
001400e5mov rsp, [r14+64]
001400e9call caml_initialize
001400eemov rsp, rbx
001400f1lea rsi, [rip+0x194b38]
001400f8lea rdi, [rip+0x194ba9]
001400ffadd rdi, 256
00140106mov rbx, rsp
00140109mov rsp, [r14+64]
0014010dcall caml_initialize
00140112mov rsp, rbx
00140115lea rsi, [rip+0x194b34]
0014011clea rdi, [rip+0x194b85]
00140123add rdi, 264
0014012amov rbx, rsp
0014012dmov rsp, [r14+64]
00140131call caml_initialize
00140136mov rsp, rbx
00140139lea rsi, [rip+0x194b28]
00140140lea rdi, [rip+0x194b61]
00140147add rdi, 272
0014014emov rbx, rsp
00140151mov rsp, [r14+64]
00140155call caml_initialize
0014015amov rsp, rbx
0014015dlea rsi, [rip+0x194b24]
00140164lea rdi, [rip+0x194b3d]
0014016badd rdi, 280
00140172mov rbx, rsp
00140175mov rsp, [r14+64]
00140179call caml_initialize
0014017emov rsp, rbx
00140181mov eax, 1
00140186ret
0013fc90
00140187
00140187 // align 0x10
00140187 // align 0x10
00140190
00140190camlHtmlMath.delay_500:
00140190lea r10, [rsp-328]
00140198cmp r10, [r14+40]
0014019cjb 0x1402bf
001401a2
001401a2loc_1401a2:
001401a2sub rsp, 8
001401a6mov [rsp], rax
001401aalea rax, [rip+0x1e9ebf]
001401b1mov rax, [rax+80]
001401b5mov rax, [rax]
001401b8cmp rax, 5
001401bcjle 0x1401ca
001401belea rax, [rip+0x19834b]
001401c5call camlHtmlCommon.prerr_flags_1001
001401ca
001401caloc_1401ca:
001401calea rax, [rip+0x19b7df]
001401d1mov rbx, [rax+312]
001401d8mov rbx, [rbx+48]
001401dcmov rax, [rax+336]
001401e3mov rdi, [rax+56]
001401e7sub r15, 24
001401ebcmp r15, [r14]
001401eejb 0x1402b5
001401f4
001401f4loc_1401f4:
001401f4lea rsi, [r15+8]
001401f8mov [rsi-8], 2048
00140200mov [rsi], rbx
00140203mov rax, [rdi]
00140206mov [rsi+8], rax
0014020amov rbx, rsp
0014020dmov rsp, [r14+64]
00140211call caml_modify
00140216mov rsp, rbx
00140219lea rax, [rip+0x19b790]
00140220mov rax, [rax+312]
00140227mov [rax+48], 1
0014022flea rax, [rip+0x197c62]
00140236mov rdi, [rax+8]
0014023asub r15, 24
0014023ecmp r15, [r14]
00140241jb 0x1402ae
00140243
00140243loc_140243:
00140243lea rsi, [r15+8]
00140247mov [rsi-8], 2048
0014024fmov rax, [rsp]
00140253mov [rsi], rax
00140256mov rax, [rdi]
00140259mov [rsi+8], rax
0014025dmov rbx, rsp
00140260mov rsp, [r14+64]
00140264call caml_modify
00140269mov rsp, rbx
0014026clea rbx, [rip+0x19816d]
00140273mov eax, 45
00140278call camlHtmlCommon.open_block_1363
0014027dlea rax, [rip+0x1e9dec]
00140284mov rax, [rax+80]
00140288mov rax, [rax]
0014028bcmp rax, 5
0014028fjle 0x1402a4
00140291lea rax, [rip+0x198020]
00140298add rsp, 8
0014029cjmp 0x144a00
001402a1
001402a1 0f 1f 00 ...
001402a4
001402a4loc_1402a4:
001402a4mov eax, 1
001402a9add rsp, 8
001402adret
001402ae
001402aeloc_1402ae:
001402aecall caml_call_gc
001402b3jmp 0x140243
001402b5
001402b5loc_1402b5:
001402b5call caml_call_gc
001402bajmp 0x1401f4
001402bf
001402bfloc_1402bf:
001402bfpush 34
001402c1call caml_call_realloc_stack
001402c6pop r10
001402c8jmp 0x1401a2
00140190
00140190camlHtmlMath.delay_500:
00140190lea r10, [rsp-328]
00140198cmp r10, [r14+40]
0014019cjb 0x1402bf
001401a2
001401a2loc_1401a2:
001401a2sub rsp, 8
001401a6mov [rsp], rax
001401aalea rax, [rip+0x1e9ebf]
001401b1mov rax, [rax+80]
001401b5mov rax, [rax]
001401b8cmp rax, 5
001401bcjle 0x1401ca
001401belea rax, [rip+0x19834b]
001401c5call camlHtmlCommon.prerr_flags_1001
001401ca
001401caloc_1401ca:
001401calea rax, [rip+0x19b7df]
001401d1mov rbx, [rax+312]
001401d8mov rbx, [rbx+48]
001401dcmov rax, [rax+336]
001401e3mov rdi, [rax+56]
001401e7sub r15, 24
001401ebcmp r15, [r14]
001401eejb 0x1402b5
001401f4
001401f4loc_1401f4:
001401f4lea rsi, [r15+8]
001401f8mov [rsi-8], 2048
00140200mov [rsi], rbx
00140203mov rax, [rdi]
00140206mov [rsi+8], rax
0014020amov rbx, rsp
0014020dmov rsp, [r14+64]
00140211call caml_modify
00140216mov rsp, rbx
00140219lea rax, [rip+0x19b790]
00140220mov rax, [rax+312]
00140227mov [rax+48], 1
0014022flea rax, [rip+0x197c62]
00140236mov rdi, [rax+8]
0014023asub r15, 24
0014023ecmp r15, [r14]
00140241jb 0x1402ae
00140243
00140243loc_140243:
00140243lea rsi, [r15+8]
00140247mov [rsi-8], 2048
0014024fmov rax, [rsp]
00140253mov [rsi], rax
00140256mov rax, [rdi]
00140259mov [rsi+8], rax
0014025dmov rbx, rsp
00140260mov rsp, [r14+64]
00140264call caml_modify
00140269mov rsp, rbx
0014026clea rbx, [rip+0x19816d]
00140273mov eax, 45
00140278call camlHtmlCommon.open_block_1363
0014027dlea rax, [rip+0x1e9dec]
00140284mov rax, [rax+80]
00140288mov rax, [rax]
0014028bcmp rax, 5
0014028fjle 0x1402a4
00140291lea rax, [rip+0x198020]
00140298add rsp, 8
0014029cjmp 0x144a00
001402a1
001402a1 0f 1f 00 ...
001402a4
001402a4loc_1402a4:
001402a4mov eax, 1
001402a9add rsp, 8
001402adret
001402ae
001402aeloc_1402ae:
001402aecall caml_call_gc
001402b3jmp 0x140243
001402b5
001402b5loc_1402b5:
001402b5call caml_call_gc
001402bajmp 0x1401f4
001402bf
001402bfloc_1402bf:
001402bfpush 34
001402c1call caml_call_realloc_stack
001402c6pop r10
001402c8jmp 0x1401a2
00140190
001402cd
001402cd // align 0x10
001402cd // align 0x10
001402d0
001402d0camlHtmlMath.flush_503:
001402d0lea r10, [rsp-352]
001402d8cmp r10, [r14+40]
001402dcjb 0x140504
001402e2
001402e2loc_1402e2:
001402e2sub rsp, 32
001402e6mov [rsp+8], rax
001402eblea rbx, [rip+0x1e9d7e]
001402f2mov rbx, [rbx+80]
001402f6mov rbx, [rbx]
001402f9cmp rbx, 5
001402fdjle 0x140324
001402ffcall camlStdlib.string_of_int_175
00140304lea rbx, [rip+0x197d7d]
0014030bcall camlStdlib.$5e_139
00140310mov rbx, rax
00140313lea rax, [rip+0x197e7e]
0014031acall camlStdlib.$5e_139
0014031fcall camlHtmlCommon.prerr_flags_1001
00140324
00140324loc_140324:
00140324mov eax, 45
00140329call camlHtmlCommon.try_close_block_1323
0014032elea rax, [rip+0x19b67b]
00140335mov rax, [rax+216]
0014033ccall camlHtmlCommon.pop_out_784
00140341mov rbx, [rax]
00140344cmp rbx, 45
00140348je 0x14039c
0014034amov rax, rbx
0014034dcall camlHtmlCommon.string_of_block_380
00140352mov rbx, rax
00140355lea rax, [rip+0x197c7c]
0014035ccall camlStdlib.$5e_139
00140361sub r15, 24
00140365cmp r15, [r14]
00140368jb 0x1404fa
0014036e
0014036eloc_14036e:
0014036elea rbx, [r15+8]
00140372mov [rbx-8], 2048
0014037alea rdi, [rip+0x1e9cef]
00140381mov rdi, [rdi]
00140384mov [rbx], rdi
00140387mov [rbx+8], rax
0014038bmov rax, rbx
0014038emov rsp, [r14+48]
00140392pop [r14+48]
00140396pop r11
00140398jmp r11
0014039bnop
0014039c
0014039cloc_14039c:
0014039cmov [rsp], rax
001403a0lea rax, [rip+0x19b609]
001403a7mov rax, [rax+168]
001403aemov rax, [rax]
001403b1mov rbx, [rax+8]
001403b5mov rax, [rax+16]
001403b9call camlHtmlCommon.as_envs_683
001403bemov [rsp+24], rax
001403c3mov eax, 1
001403c8call camlHtmlCommon.do_close_mods_1062
001403cdlea rax, [rip+0x19b5dc]
001403d4mov rdi, [rax+168]
001403dbmov rax, [rdi]
001403demov [rsp+16], rax
001403e3mov rax, [rsp]
001403e7mov rsi, [rax+16]
001403ebmov rbx, rsp
001403eemov rsp, [r14+64]
001403f2call caml_modify
001403f7mov rsp, rbx
001403falea rax, [rip+0x197a97]
00140401mov rax, [rax+8]
00140405call camlMyStack.pop_292
0014040amov rbx, rax
0014040dmov rdi, [rbx]
00140410mov rax, [rsp+8]
00140415call rdi
00140417lea rax, [rip+0x19b592]
0014041emov rax, [rax+168]
00140425mov rax, [rax]
00140428mov rbx, [rax+32]
0014042cmov rax, [rsp+16]
00140431mov rax, [rax+32]
00140435lea rdi, [rip+0x1e15bc]
0014043cmov rdi, [rdi+136]
00140443call camlDoOut.copy_923
00140448lea rax, [rip+0x19b561]
0014044fmov rbx, [rax+312]
00140456mov [rbx+24], 1
0014045emov [rbx+32], 1
00140466mov rax, [rax+168]
0014046dmov rdi, [rax]
00140470add rdi, 8
00140474mov rsi, [rsp+24]
00140479mov rbx, rsp
0014047cmov rsp, [r14+64]
00140480call caml_modify
00140485mov rsp, rbx
00140488lea rax, [rip+0x19b521]
0014048fmov rbx, [rax+312]
00140496mov rbx, [rbx+48]
0014049amov [rsp], rbx
0014049emov rax, [rax+336]
001404a5mov rax, [rax+56]
001404a9call camlMyStack.pop_292
001404aemov rbx, [rsp]
001404b2call camlStdlib.max_48
001404b7lea rbx, [rip+0x19b4f2]
001404bemov rbx, [rbx+312]
001404c5mov [rbx+48], rax
001404c9lea rax, [rip+0x1e9ba0]
001404d0mov rax, [rax+80]
001404d4mov rax, [rax]
001404d7cmp rax, 5
001404dbjle 0x1404f0
001404ddlea rax, [rip+0x197adc]
001404e4add rsp, 32
001404e8jmp 0x144a00
001404ednop [rax]
001404f0
001404f0loc_1404f0:
001404f0mov eax, 1
001404f5add rsp, 32
001404f9ret
001404fa
001404faloc_1404fa:
001404facall caml_call_gc
001404ffjmp 0x14036e
00140504
00140504loc_140504:
00140504push 37
00140506call caml_call_realloc_stack
0014050bpop r10
0014050djmp 0x1402e2
001402d0
001402d0camlHtmlMath.flush_503:
001402d0lea r10, [rsp-352]
001402d8cmp r10, [r14+40]
001402dcjb 0x140504
001402e2
001402e2loc_1402e2:
001402e2sub rsp, 32
001402e6mov [rsp+8], rax
001402eblea rbx, [rip+0x1e9d7e]
001402f2mov rbx, [rbx+80]
001402f6mov rbx, [rbx]
001402f9cmp rbx, 5
001402fdjle 0x140324
001402ffcall camlStdlib.string_of_int_175
00140304lea rbx, [rip+0x197d7d]
0014030bcall camlStdlib.$5e_139
00140310mov rbx, rax
00140313lea rax, [rip+0x197e7e]
0014031acall camlStdlib.$5e_139
0014031fcall camlHtmlCommon.prerr_flags_1001
00140324
00140324loc_140324:
00140324mov eax, 45
00140329call camlHtmlCommon.try_close_block_1323
0014032elea rax, [rip+0x19b67b]
00140335mov rax, [rax+216]
0014033ccall camlHtmlCommon.pop_out_784
00140341mov rbx, [rax]
00140344cmp rbx, 45
00140348je 0x14039c
0014034amov rax, rbx
0014034dcall camlHtmlCommon.string_of_block_380
00140352mov rbx, rax
00140355lea rax, [rip+0x197c7c]
0014035ccall camlStdlib.$5e_139
00140361sub r15, 24
00140365cmp r15, [r14]
00140368jb 0x1404fa
0014036e
0014036eloc_14036e:
0014036elea rbx, [r15+8]
00140372mov [rbx-8], 2048
0014037alea rdi, [rip+0x1e9cef]
00140381mov rdi, [rdi]
00140384mov [rbx], rdi
00140387mov [rbx+8], rax
0014038bmov rax, rbx
0014038emov rsp, [r14+48]
00140392pop [r14+48]
00140396pop r11
00140398jmp r11
0014039bnop
0014039c
0014039cloc_14039c:
0014039cmov [rsp], rax
001403a0lea rax, [rip+0x19b609]
001403a7mov rax, [rax+168]
001403aemov rax, [rax]
001403b1mov rbx, [rax+8]
001403b5mov rax, [rax+16]
001403b9call camlHtmlCommon.as_envs_683
001403bemov [rsp+24], rax
001403c3mov eax, 1
001403c8call camlHtmlCommon.do_close_mods_1062
001403cdlea rax, [rip+0x19b5dc]
001403d4mov rdi, [rax+168]
001403dbmov rax, [rdi]
001403demov [rsp+16], rax
001403e3mov rax, [rsp]
001403e7mov rsi, [rax+16]
001403ebmov rbx, rsp
001403eemov rsp, [r14+64]
001403f2call caml_modify
001403f7mov rsp, rbx
001403falea rax, [rip+0x197a97]
00140401mov rax, [rax+8]
00140405call camlMyStack.pop_292
0014040amov rbx, rax
0014040dmov rdi, [rbx]
00140410mov rax, [rsp+8]
00140415call rdi
00140417lea rax, [rip+0x19b592]
0014041emov rax, [rax+168]
00140425mov rax, [rax]
00140428mov rbx, [rax+32]
0014042cmov rax, [rsp+16]
00140431mov rax, [rax+32]
00140435lea rdi, [rip+0x1e15bc]
0014043cmov rdi, [rdi+136]
00140443call camlDoOut.copy_923
00140448lea rax, [rip+0x19b561]
0014044fmov rbx, [rax+312]
00140456mov [rbx+24], 1
0014045emov [rbx+32], 1
00140466mov rax, [rax+168]
0014046dmov rdi, [rax]
00140470add rdi, 8
00140474mov rsi, [rsp+24]
00140479mov rbx, rsp
0014047cmov rsp, [r14+64]
00140480call caml_modify
00140485mov rsp, rbx
00140488lea rax, [rip+0x19b521]
0014048fmov rbx, [rax+312]
00140496mov rbx, [rbx+48]
0014049amov [rsp], rbx
0014049emov rax, [rax+336]
001404a5mov rax, [rax+56]
001404a9call camlMyStack.pop_292
001404aemov rbx, [rsp]
001404b2call camlStdlib.max_48
001404b7lea rbx, [rip+0x19b4f2]
001404bemov rbx, [rbx+312]
001404c5mov [rbx+48], rax
001404c9lea rax, [rip+0x1e9ba0]
001404d0mov rax, [rax+80]
001404d4mov rax, [rax]
001404d7cmp rax, 5
001404dbjle 0x1404f0
001404ddlea rax, [rip+0x197adc]
001404e4add rsp, 32
001404e8jmp 0x144a00
001404ednop [rax]
001404f0
001404f0loc_1404f0:
001404f0mov eax, 1
001404f5add rsp, 32
001404f9ret
001404fa
001404faloc_1404fa:
001404facall caml_call_gc
001404ffjmp 0x14036e
00140504
00140504loc_140504:
00140504push 37
00140506call caml_call_realloc_stack
0014050bpop r10
0014050djmp 0x1402e2
001402d0
00140512
00140512 // align 0x10
00140512 // align 0x10
00140520
00140520camlHtmlMath.put_in_math_536:
00140520lea r10, [rsp-328]
00140528cmp r10, [r14+40]
0014052cjb 0x1405c1
00140532
00140532loc_140532:
00140532sub rsp, 8
00140536lea rbx, [rip+0x19b473]
0014053dmov rbx, [rbx+312]
00140544mov rbx, [rbx+96]
00140548cmp rbx, 1
0014054cje 0x140574
0014054elea rbx, [rip+0x1e80eb]
00140555mov rbx, [rbx+32]
00140559mov rbx, [rbx]
0014055ccmp rbx, 1
00140560je 0x14056c
00140562add rsp, 8
00140566jmp 0x14a330
0014056b
0014056b 90 .
0014056c
0014056cloc_14056c:
0014056cmov [rsp], rax
00140570jmp 0x140578
00140572
00140572 66 90 f.
00140574
00140574loc_140574:
00140574mov [rsp], rax
00140578
00140578loc_140578:
00140578lea rax, [rip+0x1981d9]
0014057fcall camlHtmlCommon.put_1446
00140584mov rax, [rsp]
00140588call camlHtmlCommon.put_1446
0014058dlea rax, [rip+0x1981b4]
00140594call camlHtmlCommon.put_1446
00140599lea rax, [rip+0x19b410]
001405a0mov rax, [rax+312]
001405a7mov [rax+24], 1
001405afmov [rax+32], 1
001405b7mov eax, 1
001405bcadd rsp, 8
001405c0ret
001405c1
001405c1loc_1405c1:
001405c1push 34
001405c3call caml_call_realloc_stack
001405c8pop r10
001405cajmp 0x140532
00140520
00140520camlHtmlMath.put_in_math_536:
00140520lea r10, [rsp-328]
00140528cmp r10, [r14+40]
0014052cjb 0x1405c1
00140532
00140532loc_140532:
00140532sub rsp, 8
00140536lea rbx, [rip+0x19b473]
0014053dmov rbx, [rbx+312]
00140544mov rbx, [rbx+96]
00140548cmp rbx, 1
0014054cje 0x140574
0014054elea rbx, [rip+0x1e80eb]
00140555mov rbx, [rbx+32]
00140559mov rbx, [rbx]
0014055ccmp rbx, 1
00140560je 0x14056c
00140562add rsp, 8
00140566jmp 0x14a330
0014056b
0014056b 90 .
0014056c
0014056cloc_14056c:
0014056cmov [rsp], rax
00140570jmp 0x140578
00140572
00140572 66 90 f.
00140574
00140574loc_140574:
00140574mov [rsp], rax
00140578
00140578loc_140578:
00140578lea rax, [rip+0x1981d9]
0014057fcall camlHtmlCommon.put_1446
00140584mov rax, [rsp]
00140588call camlHtmlCommon.put_1446
0014058dlea rax, [rip+0x1981b4]
00140594call camlHtmlCommon.put_1446
00140599lea rax, [rip+0x19b410]
001405a0mov rax, [rax+312]
001405a7mov [rax+24], 1
001405afmov [rax+32], 1
001405b7mov eax, 1
001405bcadd rsp, 8
001405c0ret
001405c1
001405c1loc_1405c1:
001405c1push 34
001405c3call caml_call_realloc_stack
001405c8pop r10
001405cajmp 0x140532
00140520
001405cf
001405cf // align 0x10
001405cf // align 0x10
001405d0
001405d0camlHtmlMath.display_cell_arg_539:
001405d0lea r10, [rsp-328]
001405d8cmp r10, [r14+40]
001405dcjb 0x140658
001405de
001405deloc_1405de:
001405desub rsp, 8
001405e2mov rbx, rax
001405e5lea rax, [rip+0x1e9a84]
001405ecmov rax, [rax+96]
001405f0mov rax, [rax]
001405f3cmp rax, 1
001405f7je 0x140604
001405f9lea rax, [rip+0x198130]
00140600jmp 0x14060b
00140602
00140602 66 90 f.
00140604
00140604loc_140604:
00140604lea rax, [rip+0x19810d]
0014060b
0014060bloc_14060b:
0014060bmov rdi, [rbx-8]
0014060fshr rdi, 10
00140613cmp rdi, 2
00140617jl 0x140620
00140619mov [rsp], rax
0014061djmp 0x14063c
0014061f
0014061f 90 .
00140620
00140620loc_140620:
00140620mov rdi, [rbx]
00140623mov rsi, 0x700000000000000
0014062dcmp rdi, rsi
00140630jne 0x140638
00140632add rsp, 8
00140636ret
00140637
00140637 90 .
00140638
00140638loc_140638:
00140638mov [rsp], rax
0014063c
0014063cloc_14063c:
0014063clea rax, [rip+0x1980c5]
00140643call camlStdlib.$5e_139
00140648mov rbx, rax
0014064bmov rax, [rsp]
0014064fadd rsp, 8
00140653jmp 0x195ba0
00140658
00140658loc_140658:
00140658push 34
0014065acall caml_call_realloc_stack
0014065fpop r10
00140661jmp 0x1405de
001405d0
001405d0camlHtmlMath.display_cell_arg_539:
001405d0lea r10, [rsp-328]
001405d8cmp r10, [r14+40]
001405dcjb 0x140658
001405de
001405deloc_1405de:
001405desub rsp, 8
001405e2mov rbx, rax
001405e5lea rax, [rip+0x1e9a84]
001405ecmov rax, [rax+96]
001405f0mov rax, [rax]
001405f3cmp rax, 1
001405f7je 0x140604
001405f9lea rax, [rip+0x198130]
00140600jmp 0x14060b
00140602
00140602 66 90 f.
00140604
00140604loc_140604:
00140604lea rax, [rip+0x19810d]
0014060b
0014060bloc_14060b:
0014060bmov rdi, [rbx-8]
0014060fshr rdi, 10
00140613cmp rdi, 2
00140617jl 0x140620
00140619mov [rsp], rax
0014061djmp 0x14063c
0014061f
0014061f 90 .
00140620
00140620loc_140620:
00140620mov rdi, [rbx]
00140623mov rsi, 0x700000000000000
0014062dcmp rdi, rsi
00140630jne 0x140638
00140632add rsp, 8
00140636ret
00140637
00140637 90 .
00140638
00140638loc_140638:
00140638mov [rsp], rax
0014063c
0014063cloc_14063c:
0014063clea rax, [rip+0x1980c5]
00140643call camlStdlib.$5e_139
00140648mov rbx, rax
0014064bmov rax, [rsp]
0014064fadd rsp, 8
00140653jmp 0x195ba0
00140658
00140658loc_140658:
00140658push 34
0014065acall caml_call_realloc_stack
0014065fpop r10
00140661jmp 0x1405de
001405d0
00140666
00140666 // align 0x10
00140666 // align 0x10
00140670
00140670camlHtmlMath.open_display_cell_543:
00140670lea r10, [rsp-320]
00140678cmp r10, [r14+40]
0014067cjb 0x140690
0014067e
0014067eloc_14067e:
0014067ecall camlHtmlMath.display_cell_arg_539
00140683mov rbx, rax
00140686mov eax, 19
0014068bjmp 0x149640
00140690
00140690loc_140690:
00140690push 33
00140692call caml_call_realloc_stack
00140697pop r10
00140699jmp 0x14067e
00140670
00140670camlHtmlMath.open_display_cell_543:
00140670lea r10, [rsp-320]
00140678cmp r10, [r14+40]
0014067cjb 0x140690
0014067e
0014067eloc_14067e:
0014067ecall camlHtmlMath.display_cell_arg_539
00140683mov rbx, rax
00140686mov eax, 19
0014068bjmp 0x149640
00140690
00140690loc_140690:
00140690push 33
00140692call caml_call_realloc_stack
00140697pop r10
00140699jmp 0x14067e
00140670
0014069b
0014069b // align 0x10
0014069b // align 0x10
001406a0
001406a0camlHtmlMath.begin_item_display_546:
001406a0lea r10, [rsp-352]
001406a8cmp r10, [r14+40]
001406acjb 0x1407a6
001406b2
001406b2loc_1406b2:
001406b2sub rsp, 32
001406b6mov [rsp+8], rax
001406bbmov [rsp], rbx
001406bflea rax, [rip+0x1e99aa]
001406c6mov rax, [rax+80]
001406camov rax, [rax]
001406cdcmp rax, 5
001406d1jle 0x140759
001406d7lea rax, [rip+0x19b2d2]
001406demov rax, [rax+312]
001406e5mov rax, [rax+24]
001406e9cmp rax, 1
001406edje 0x140700
001406eflea rax, [rip+0x19c812]
001406f6mov [rsp+24], rax
001406fbjmp 0x14070c
001406fd
001406fd 0f 1f 00 ...
00140700
00140700loc_140700:
00140700lea rax, [rip+0x19c7f1]
00140707mov [rsp+24], rax
0014070c
0014070cloc_14070c:
0014070clea rax, [rip+0x19b29d]
00140713mov rax, [rax+312]
0014071amov rax, [rax+16]
0014071emov [rsp+16], rax
00140723lea rbx, [rip+0x197ed6]
0014072alea rax, [rip+0x1ecee7]
00140731mov rax, [rax+312]
00140738call Stdlib.Printf.fprintf
0014073dmov rdi, rax
00140740mov rax, [rsp+16]
00140745mov rbx, [rsp+24]
0014074acall caml_apply2
0014074fmov eax, 1
00140754call camlStdlib.prerr_newline_393
00140759
00140759loc_140759:
00140759lea rax, [rip+0x197c80]
00140760call camlHtmlMath.display_cell_arg_539
00140765mov rbx, rax
00140768mov eax, 19
0014076dcall camlHtmlCommon.open_block_1363
00140772lea rbx, [rip+0x197c67]
00140779mov eax, 21
0014077ecall camlHtmlCommon.open_block_1363
00140783mov rax, [rsp]
00140787cmp rax, 1
0014078bje 0x14079c
0014078dmov rax, [rsp+8]
00140792add rsp, 32
00140796jmp 0x14a860
0014079b
0014079b 90 .
0014079c
0014079cloc_14079c:
0014079cmov eax, 1
001407a1add rsp, 32
001407a5ret
001407a6
001407a6loc_1407a6:
001407a6push 37
001407a8call caml_call_realloc_stack
001407adpop r10
001407afjmp 0x1406b2
001406a0
001406a0camlHtmlMath.begin_item_display_546:
001406a0lea r10, [rsp-352]
001406a8cmp r10, [r14+40]
001406acjb 0x1407a6
001406b2
001406b2loc_1406b2:
001406b2sub rsp, 32
001406b6mov [rsp+8], rax
001406bbmov [rsp], rbx
001406bflea rax, [rip+0x1e99aa]
001406c6mov rax, [rax+80]
001406camov rax, [rax]
001406cdcmp rax, 5
001406d1jle 0x140759
001406d7lea rax, [rip+0x19b2d2]
001406demov rax, [rax+312]
001406e5mov rax, [rax+24]
001406e9cmp rax, 1
001406edje 0x140700
001406eflea rax, [rip+0x19c812]
001406f6mov [rsp+24], rax
001406fbjmp 0x14070c
001406fd
001406fd 0f 1f 00 ...
00140700
00140700loc_140700:
00140700lea rax, [rip+0x19c7f1]
00140707mov [rsp+24], rax
0014070c
0014070cloc_14070c:
0014070clea rax, [rip+0x19b29d]
00140713mov rax, [rax+312]
0014071amov rax, [rax+16]
0014071emov [rsp+16], rax
00140723lea rbx, [rip+0x197ed6]
0014072alea rax, [rip+0x1ecee7]
00140731mov rax, [rax+312]
00140738call Stdlib.Printf.fprintf
0014073dmov rdi, rax
00140740mov rax, [rsp+16]
00140745mov rbx, [rsp+24]
0014074acall caml_apply2
0014074fmov eax, 1
00140754call camlStdlib.prerr_newline_393
00140759
00140759loc_140759:
00140759lea rax, [rip+0x197c80]
00140760call camlHtmlMath.display_cell_arg_539
00140765mov rbx, rax
00140768mov eax, 19
0014076dcall camlHtmlCommon.open_block_1363
00140772lea rbx, [rip+0x197c67]
00140779mov eax, 21
0014077ecall camlHtmlCommon.open_block_1363
00140783mov rax, [rsp]
00140787cmp rax, 1
0014078bje 0x14079c
0014078dmov rax, [rsp+8]
00140792add rsp, 32
00140796jmp 0x14a860
0014079b
0014079b 90 .
0014079c
0014079cloc_14079c:
0014079cmov eax, 1
001407a1add rsp, 32
001407a5ret
001407a6
001407a6loc_1407a6:
001407a6push 37
001407a8call caml_call_realloc_stack
001407adpop r10
001407afjmp 0x1406b2
001406a0
001407b4
001407b4 // align 0x10
001407b4 // align 0x10
001407c0
001407c0camlHtmlMath.end_item_display_547:
001407c0lea r10, [rsp-336]
001407c8cmp r10, [r14+40]
001407ccjb 0x1408e2
001407d2
001407d2loc_1407d2:
001407d2sub rsp, 16
001407d6mov eax, 1
001407dbcall camlHtmlCommon.pop_freeze_1487
001407e0mov [rsp], rax
001407e4mov ebx, 21
001407e9lea rax, [rip+0x19b1c0]
001407f0mov rax, [rax+856]
001407f7call camlHtmlCommon.close_flow_loc_1364
001407fcmov ebx, 19
00140801lea rax, [rip+0x19b1a8]
00140808mov rax, [rax+856]
0014080fcall camlHtmlCommon.close_flow_loc_1364
00140814cmp rax, 1
00140818je 0x140834
0014081alea rax, [rip+0x19b18f]
00140821mov rax, [rax+312]
00140828mov rbx, [rax+16]
0014082cadd rbx, 2
00140830mov [rax+16], rbx
00140834
00140834loc_140834:
00140834lea rax, [rip+0x1e9835]
0014083bmov rax, [rax+80]
0014083fmov rax, [rax]
00140842cmp rax, 5
00140846jle 0x140899
00140848lea rax, [rip+0x19b161]
0014084fmov rax, [rax+312]
00140856mov rax, [rax+16]
0014085amov [rsp+8], rax
0014085flea rbx, [rip+0x197cc2]
00140866lea rax, [rip+0x1ecdab]
0014086dmov rax, [rax+312]
00140874call Stdlib.Printf.fprintf
00140879mov rbx, rax
0014087cmov rdi, [rbx]
0014087fmov rax, [rsp+8]
00140884call rdi
00140886lea rax, [rip+0x19b123]
0014088dmov rax, [rax+216]
00140894call camlHtmlCommon.pretty_stack_778
00140899
00140899loc_140899:
00140899sub r15, 32
0014089dcmp r15, [r14]
001408a0jb 0x1408db
001408a2
001408a2loc_1408a2:
001408a2lea rax, [r15+8]
001408a6mov [rax-8], 3072
001408aelea rbx, [rip+0x19b0fb]
001408b5mov rbx, [rbx+312]
001408bcmov rbx, [rbx+48]
001408c0mov [rax], rbx
001408c3mov rdi, [rsp]
001408c7mov rbx, [rdi]
001408camov [rax+8], rbx
001408cemov rbx, [rdi+8]
001408d2mov [rax+16], rbx
001408d6add rsp, 16
001408daret
001408db
001408dbloc_1408db:
001408dbcall caml_call_gc
001408e0jmp 0x1408a2
001408e2
001408e2loc_1408e2:
001408e2push 35
001408e4call caml_call_realloc_stack
001408e9pop r10
001408ebjmp 0x1407d2
001407c0
001407c0camlHtmlMath.end_item_display_547:
001407c0lea r10, [rsp-336]
001407c8cmp r10, [r14+40]
001407ccjb 0x1408e2
001407d2
001407d2loc_1407d2:
001407d2sub rsp, 16
001407d6mov eax, 1
001407dbcall camlHtmlCommon.pop_freeze_1487
001407e0mov [rsp], rax
001407e4mov ebx, 21
001407e9lea rax, [rip+0x19b1c0]
001407f0mov rax, [rax+856]
001407f7call camlHtmlCommon.close_flow_loc_1364
001407fcmov ebx, 19
00140801lea rax, [rip+0x19b1a8]
00140808mov rax, [rax+856]
0014080fcall camlHtmlCommon.close_flow_loc_1364
00140814cmp rax, 1
00140818je 0x140834
0014081alea rax, [rip+0x19b18f]
00140821mov rax, [rax+312]
00140828mov rbx, [rax+16]
0014082cadd rbx, 2
00140830mov [rax+16], rbx
00140834
00140834loc_140834:
00140834lea rax, [rip+0x1e9835]
0014083bmov rax, [rax+80]
0014083fmov rax, [rax]
00140842cmp rax, 5
00140846jle 0x140899
00140848lea rax, [rip+0x19b161]
0014084fmov rax, [rax+312]
00140856mov rax, [rax+16]
0014085amov [rsp+8], rax
0014085flea rbx, [rip+0x197cc2]
00140866lea rax, [rip+0x1ecdab]
0014086dmov rax, [rax+312]
00140874call Stdlib.Printf.fprintf
00140879mov rbx, rax
0014087cmov rdi, [rbx]
0014087fmov rax, [rsp+8]
00140884call rdi
00140886lea rax, [rip+0x19b123]
0014088dmov rax, [rax+216]
00140894call camlHtmlCommon.pretty_stack_778
00140899
00140899loc_140899:
00140899sub r15, 32
0014089dcmp r15, [r14]
001408a0jb 0x1408db
001408a2
001408a2loc_1408a2:
001408a2lea rax, [r15+8]
001408a6mov [rax-8], 3072
001408aelea rbx, [rip+0x19b0fb]
001408b5mov rbx, [rbx+312]
001408bcmov rbx, [rbx+48]
001408c0mov [rax], rbx
001408c3mov rdi, [rsp]
001408c7mov rbx, [rdi]
001408camov [rax+8], rbx
001408cemov rbx, [rdi+8]
001408d2mov [rax+16], rbx
001408d6add rsp, 16
001408daret
001408db
001408dbloc_1408db:
001408dbcall caml_call_gc
001408e0jmp 0x1408a2
001408e2
001408e2loc_1408e2:
001408e2push 35
001408e4call caml_call_realloc_stack
001408e9pop r10
001408ebjmp 0x1407d2
001407c0
001408f0
001408f0camlHtmlMath.open_display_varg_591:
001408f0lea r10, [rsp-336]
001408f8cmp r10, [r14+40]
001408fcjb 0x1409ec
00140902
00140902loc_140902:
00140902sub rsp, 16
00140906mov [rsp], rax
0014090amov [rsp+8], rbx
0014090flea rax, [rip+0x1e975a]
00140916mov rax, [rax+80]
0014091amov rax, [rax]
0014091dcmp rax, 5
00140921jle 0x14093d
00140923lea rbx, [rip+0x197b9e]
0014092alea rax, [rip+0x1ecce7]
00140931mov rax, [rax+312]
00140938call Stdlib.Printf.fprintf
0014093d
0014093dloc_14093d:
0014093dmov eax, 1
00140942call camlHtmlCommon.try_open_display_1492
00140947sub r15, 16
0014094bcmp r15, [r14]
0014094ejb 0x1409e2
00140954
00140954loc_140954:
00140954lea rax, [r15+8]
00140958mov [rax-8], 1024
00140960mov rbx, [rsp]
00140964mov [rax], rbx
00140967mov rbx, [rsp+8]
0014096ccall camlHtmlCommon.open_block_1363
00140971lea rax, [rip+0x197a68]
00140978call camlHtmlMath.display_cell_arg_539
0014097dmov rbx, rax
00140980mov eax, 19
00140985call camlHtmlCommon.open_block_1363
0014098alea rbx, [rip+0x197a4f]
00140991mov eax, 21
00140996call camlHtmlCommon.open_block_1363
0014099blea rax, [rip+0x1e96ce]
001409a2mov rax, [rax+80]
001409a6mov rax, [rax]
001409a9cmp rax, 5
001409adjle 0x1409d8
001409aflea rax, [rip+0x19affa]
001409b6mov rax, [rax+168]
001409bdmov rax, [rax]
001409c0call camlHtmlCommon.pretty_cur_839
001409c5lea rax, [rip+0x197a14]
001409ccadd rsp, 16
001409d0jmp 0x196d50
001409d5
001409d5 0f 1f 00 ...
001409d8
001409d8loc_1409d8:
001409d8mov eax, 1
001409ddadd rsp, 16
001409e1ret
001409e2
001409e2loc_1409e2:
001409e2call caml_call_gc
001409e7jmp 0x140954
001409ec
001409ecloc_1409ec:
001409ecpush 35
001409eecall caml_call_realloc_stack
001409f3pop r10
001409f5jmp 0x140902
001408f0
001408f0camlHtmlMath.open_display_varg_591:
001408f0lea r10, [rsp-336]
001408f8cmp r10, [r14+40]
001408fcjb 0x1409ec
00140902
00140902loc_140902:
00140902sub rsp, 16
00140906mov [rsp], rax
0014090amov [rsp+8], rbx
0014090flea rax, [rip+0x1e975a]
00140916mov rax, [rax+80]
0014091amov rax, [rax]
0014091dcmp rax, 5
00140921jle 0x14093d
00140923lea rbx, [rip+0x197b9e]
0014092alea rax, [rip+0x1ecce7]
00140931mov rax, [rax+312]
00140938call Stdlib.Printf.fprintf
0014093d
0014093dloc_14093d:
0014093dmov eax, 1
00140942call camlHtmlCommon.try_open_display_1492
00140947sub r15, 16
0014094bcmp r15, [r14]
0014094ejb 0x1409e2
00140954
00140954loc_140954:
00140954lea rax, [r15+8]
00140958mov [rax-8], 1024
00140960mov rbx, [rsp]
00140964mov [rax], rbx
00140967mov rbx, [rsp+8]
0014096ccall camlHtmlCommon.open_block_1363
00140971lea rax, [rip+0x197a68]
00140978call camlHtmlMath.display_cell_arg_539
0014097dmov rbx, rax
00140980mov eax, 19
00140985call camlHtmlCommon.open_block_1363
0014098alea rbx, [rip+0x197a4f]
00140991mov eax, 21
00140996call camlHtmlCommon.open_block_1363
0014099blea rax, [rip+0x1e96ce]
001409a2mov rax, [rax+80]
001409a6mov rax, [rax]
001409a9cmp rax, 5
001409adjle 0x1409d8
001409aflea rax, [rip+0x19affa]
001409b6mov rax, [rax+168]
001409bdmov rax, [rax]
001409c0call camlHtmlCommon.pretty_cur_839
001409c5lea rax, [rip+0x197a14]
001409ccadd rsp, 16
001409d0jmp 0x196d50
001409d5
001409d5 0f 1f 00 ...
001409d8
001409d8loc_1409d8:
001409d8mov eax, 1
001409ddadd rsp, 16
001409e1ret
001409e2
001409e2loc_1409e2:
001409e2call caml_call_gc
001409e7jmp 0x140954
001409ec
001409ecloc_1409ec:
001409ecpush 35
001409eecall caml_call_realloc_stack
001409f3pop r10
001409f5jmp 0x140902
001408f0
001409fa
001409fa // align 0x10
001409fa // align 0x10
00140a00
00140a00camlHtmlMath.open_display_595:
00140a00lea rbx, [rip+0x197a99]
00140a07jmp 0x1408f0
00140a00
00140a00camlHtmlMath.open_display_595:
00140a00lea rbx, [rip+0x197a99]
00140a07jmp 0x1408f0
00140a00
00140a0c
00140a0c // align 0x10
00140a0c // align 0x10
00140a10
00140a10camlHtmlMath.close_display_598:
00140a10lea r10, [rsp-352]
00140a18cmp r10, [r14+40]
00140a1cjb 0x14101e
00140a22
00140a22loc_140a22:
00140a22sub rsp, 32
00140a26mov [rsp+8], rax
00140a2blea rax, [rip+0x1e963e]
00140a32mov rax, [rax+80]
00140a36mov rax, [rax]
00140a39cmp rax, 5
00140a3djle 0x140a86
00140a3flea rax, [rip+0x197a3a]
00140a46call camlHtmlCommon.prerr_flags_1001
00140a4blea rax, [rip+0x19af5e]
00140a52mov rax, [rax+216]
00140a59call camlHtmlCommon.pretty_stack_778
00140a5elea rax, [rip+0x19af4b]
00140a65mov rax, [rax+168]
00140a6cmov rax, [rax]
00140a6fmov rbx, [rax+32]
00140a73lea rax, [rip+0x1ecb9e]
00140a7amov rax, [rax+312]
00140a81call camlDoOut.debug_683
00140a86
00140a86loc_140a86:
00140a86mov eax, 1
00140a8bcall camlHtmlCommon.flush_freeze_1483
00140a90cmp rax, 1
00140a94jne 0x140ff0
00140a9amov eax, 21
00140a9fcall camlHtmlCommon.close_flow_1403
00140aa4lea rax, [rip+0x1e95c5]
00140aabmov rax, [rax+80]
00140aafmov rax, [rax]
00140ab2cmp rax, 7
00140ab6jle 0x140b0d
00140ab8lea rbx, [rip+0x197971]
00140abflea rax, [rip+0x1ecb52]
00140ac6mov rax, [rax+312]
00140acdcall Stdlib.Printf.fprintf
00140ad2lea rax, [rip+0x19aed7]
00140ad9mov rax, [rax+216]
00140ae0call camlHtmlCommon.pretty_stack_778
00140ae5lea rax, [rip+0x19aec4]
00140aecmov rax, [rax+168]
00140af3mov rax, [rax]
00140af6mov rbx, [rax+32]
00140afalea rax, [rip+0x1ecb17]
00140b01mov rax, [rax+312]
00140b08call camlDoOut.debug_683
00140b0d
00140b0dloc_140b0d:
00140b0dlea rax, [rip+0x19ae9c]
00140b14mov rax, [rax+312]
00140b1bmov rax, [rax+16]
00140b1fmov [rsp], rax
00140b23lea rbx, [rip+0x1e9546]
00140b2amov rbx, [rbx+80]
00140b2emov rbx, [rbx]
00140b31cmp rbx, 5
00140b35jle 0x140b63
00140b37mov [rsp+16], rax
00140b3clea rbx, [rip+0x19781d]
00140b43lea rax, [rip+0x1ecace]
00140b4amov rax, [rax+312]
00140b51call Stdlib.Printf.fprintf
00140b56mov rbx, rax
00140b59mov rdi, [rbx]
00140b5cmov rax, [rsp+16]
00140b61call rdi
00140b63
00140b63loc_140b63:
00140b63mov rax, [rsp]
00140b67cmp rax, 1
00140b6bjne 0x140d80
00140b71lea rbx, [rip+0x19ae38]
00140b78mov rbx, [rbx+312]
00140b7fmov rbx, [rbx+32]
00140b83cmp rbx, 1
00140b87jne 0x140d80
00140b8dmov rbx, [rsp+8]
00140b92cmp rbx, 1
00140b96je 0x140ba4
00140b98mov [rsp+8], rbx
00140b9djmp 0x140d80
00140ba2
00140ba2 66 90 f.
00140ba4
00140ba4loc_140ba4:
00140ba4lea rax, [rip+0x1e94c5]
00140babmov rax, [rax+80]
00140bafmov rax, [rax]
00140bb2cmp rax, 5
00140bb6jle 0x140c06
00140bb8lea rbx, [rip+0x197789]
00140bbflea rax, [rip+0x1eca52]
00140bc6mov rax, [rax+312]
00140bcdcall camlStdlib.output_string_253
00140bd2lea rax, [rip+0x19add7]
00140bd9mov rax, [rax+168]
00140be0mov rax, [rax]
00140be3mov rbx, [rax+32]
00140be7lea rax, [rip+0x1eca2a]
00140beemov rax, [rax+312]
00140bf5call camlDoOut.debug_683
00140bfalea rax, [rip+0x1977df]
00140c01call camlStdlib.prerr_endline_390
00140c06
00140c06loc_140c06:
00140c06lea rax, [rip+0x19ada3]
00140c0dmov rax, [rax+168]
00140c14mov rax, [rax]
00140c17mov rbx, [rax+16]
00140c1bmov [rsp+16], rbx
00140c20mov rax, [rax+8]
00140c24mov [rsp+24], rax
00140c29mov eax, 1
00140c2ecall camlHtmlCommon.do_close_mods_1062
00140c33lea rax, [rip+0x19ad76]
00140c3amov rax, [rax+216]
00140c41call camlHtmlCommon.pop_out_784
00140c46mov rbx, [rax]
00140c49cmp rbx, 19
00140c4dje 0x140c60
00140c4fmov edi, 19
00140c54lea rax, [rip+0x1976d5]
00140c5bcall camlHtmlCommon.failclose_473
00140c60
00140c60loc_140c60:
00140c60mov eax, 1
00140c65call camlHtmlCommon.do_close_mods_1062
00140c6amov eax, 19
00140c6fcall camlHtmlCommon.try_close_block_1323
00140c74lea rax, [rip+0x19ad35]
00140c7bmov rax, [rax+216]
00140c82call camlHtmlCommon.pop_out_784
00140c87mov [rsp+8], rax
00140c8cmov rbx, [rax]
00140c8fmov [rsp], rbx
00140c93test bl, 1
00140c96jne 0x140ca2
00140c98movzx rax, [rbx-8]
00140c9dtest rax, rax
00140ca0je 0x140cb5
00140ca2
00140ca2loc_140ca2:
00140ca2lea rdi, [rip+0x197677]
00140ca9lea rax, [rip+0x197680]
00140cb0call camlHtmlCommon.failclose_473
00140cb5
00140cb5loc_140cb5:
00140cb5mov rax, [rsp]
00140cb9call camlHtmlCommon.try_close_block_1323
00140cbelea rax, [rip+0x19aceb]
00140cc5mov rdi, [rax+168]
00140cccmov rax, [rdi]
00140ccfmov [rsp], rax
00140cd3mov rax, [rsp+8]
00140cd8mov rsi, [rax+16]
00140cdcmov rbx, rsp
00140cdfmov rsp, [r14+64]
00140ce3call caml_modify
00140ce8mov rsp, rbx
00140cebmov eax, 1
00140cf0call camlHtmlCommon.do_close_mods_1062
00140cf5lea rax, [rip+0x19acb4]
00140cfcmov rax, [rax+168]
00140d03mov rax, [rax]
00140d06mov rbx, [rax+32]
00140d0amov rax, [rsp]
00140d0emov rax, [rax+32]
00140d12lea rdi, [rip+0x1e0cdf]
00140d19mov rdi, [rdi+136]
00140d20call camlDoOut.copy_923
00140d25lea rax, [rip+0x19ac84]
00140d2cmov rax, [rax+312]
00140d33mov [rax+24], 1
00140d3bmov [rax+32], 1
00140d43mov rax, [rsp+16]
00140d48mov rbx, [rsp+24]
00140d4dcall camlHtmlCommon.as_envs_683
00140d52lea rbx, [rip+0x19ac57]
00140d59mov rbx, [rbx+168]
00140d60mov rdi, [rbx]
00140d63add rdi, 8
00140d67mov rsi, rax
00140d6amov rbx, rsp
00140d6dmov rsp, [r14+64]
00140d71call caml_modify
00140d76mov rsp, rbx
00140d79jmp 0x140fe6
00140d7e
00140d7e 66 90 f.
00140d80
00140d80loc_140d80:
00140d80cmp rax, 3
00140d84jne 0x140f48
00140d8alea rbx, [rip+0x19ac1f]
00140d91mov rbx, [rbx+312]
00140d98mov rbx, [rbx+32]
00140d9ccmp rbx, 1
00140da0je 0x140f48
00140da6mov rbx, [rsp+8]
00140dabcmp rbx, 1
00140dafjne 0x140f48
00140db5lea rax, [rip+0x1e92b4]
00140dbcmov rax, [rax+80]
00140dc0mov rax, [rax]
00140dc3cmp rax, 5
00140dc7jle 0x140e17
00140dc9lea rbx, [rip+0x197538]
00140dd0lea rax, [rip+0x1ec841]
00140dd7mov rax, [rax+312]
00140ddecall camlStdlib.output_string_253
00140de3lea rax, [rip+0x19abc6]
00140deamov rax, [rax+168]
00140df1mov rax, [rax]
00140df4mov rbx, [rax+32]
00140df8lea rax, [rip+0x1ec819]
00140dffmov rax, [rax+312]
00140e06call camlDoOut.debug_683
00140e0blea rax, [rip+0x1975ce]
00140e12call camlStdlib.prerr_endline_390
00140e17
00140e17loc_140e17:
00140e17mov eax, 47
00140e1ccall camlHtmlCommon.close_flow_1403
00140e21lea rax, [rip+0x19ab88]
00140e28mov rbx, [rax+168]
00140e2fmov rbx, [rbx]
00140e32mov rdi, [rbx+16]
00140e36mov [rsp+16], rdi
00140e3bmov rbx, [rbx+8]
00140e3fmov [rsp+24], rbx
00140e44mov rax, [rax+216]
00140e4bcall camlHtmlCommon.pop_out_784
00140e50mov [rsp+8], rax
00140e55mov rbx, [rax]
00140e58mov [rsp], rbx
00140e5ctest bl, 1
00140e5fjne 0x140e6b
00140e61movzx rax, [rbx-8]
00140e66test rax, rax
00140e69je 0x140e7e
00140e6b
00140e6bloc_140e6b:
00140e6blea rdi, [rip+0x1974ae]
00140e72lea rax, [rip+0x1974b7]
00140e79call camlHtmlCommon.failclose_473
00140e7e
00140e7eloc_140e7e:
00140e7emov rax, [rsp]
00140e82call camlHtmlCommon.try_close_block_1323
00140e87lea rax, [rip+0x19ab22]
00140e8emov rdi, [rax+168]
00140e95mov rax, [rdi]
00140e98mov [rsp], rax
00140e9cmov rax, [rsp+8]
00140ea1mov rsi, [rax+16]
00140ea5mov rbx, rsp
00140ea8mov rsp, [r14+64]
00140eaccall caml_modify
00140eb1mov rsp, rbx
00140eb4mov eax, 1
00140eb9call camlHtmlCommon.do_close_mods_1062
00140ebelea rax, [rip+0x19aaeb]
00140ec5mov rax, [rax+168]
00140eccmov rax, [rax]
00140ecfmov rbx, [rax+32]
00140ed3mov rax, [rsp]
00140ed7mov rax, [rax+32]
00140edblea rdi, [rip+0x1e0b16]
00140ee2mov rdi, [rdi+152]
00140ee9call camlDoOut.copy_no_tag_934
00140eeelea rax, [rip+0x19aabb]
00140ef5mov rax, [rax+312]
00140efcmov [rax+24], 1
00140f04mov [rax+32], 1
00140f0cmov rax, [rsp+16]
00140f11mov rbx, [rsp+24]
00140f16call camlHtmlCommon.as_envs_683
00140f1blea rbx, [rip+0x19aa8e]
00140f22mov rbx, [rbx+168]
00140f29mov rdi, [rbx]
00140f2cadd rdi, 8
00140f30mov rsi, rax
00140f33mov rbx, rsp
00140f36mov rsp, [r14+64]
00140f3acall caml_modify
00140f3fmov rsp, rbx
00140f42jmp 0x140fe6
00140f47
00140f47 90 .
00140f48
00140f48loc_140f48:
00140f48lea rbx, [rip+0x1e9121]
00140f4fmov rbx, [rbx+80]
00140f53mov rbx, [rbx]
00140f56cmp rbx, 5
00140f5ajle 0x140fba
00140f5ccall camlStdlib.string_of_int_175
00140f61mov rbx, rax
00140f64lea rax, [rip+0x197385]
00140f6bcall camlStdlib.$5e_139
00140f70mov rbx, rax
00140f73lea rax, [rip+0x1ec69e]
00140f7amov rax, [rax+312]
00140f81call camlStdlib.output_string_253
00140f86lea rax, [rip+0x19aa23]
00140f8dmov rax, [rax+168]
00140f94mov rax, [rax]
00140f97mov rbx, [rax+32]
00140f9blea rax, [rip+0x1ec676]
00140fa2mov rax, [rax+312]
00140fa9call camlDoOut.debug_683
00140faelea rax, [rip+0x19742b]
00140fb5call camlStdlib.prerr_endline_390
00140fba
00140fbaloc_140fba:
00140fbalea rax, [rip+0x19a9ef]
00140fc1mov rax, [rax+312]
00140fc8mov rbx, [rax+32]
00140fccmov [rax+24], rbx
00140fd0mov eax, 19
00140fd5call camlHtmlCommon.close_flow_1403
00140fdalea rax, [rip+0x19733f]
00140fe1call camlHtmlCommon.close_flow_1403
00140fe6
00140fe6loc_140fe6:
00140fe6mov eax, 1
00140febcall camlHtmlCommon.try_close_display_1493
00140ff0
00140ff0loc_140ff0:
00140ff0lea rax, [rip+0x1e9079]
00140ff7mov rax, [rax+80]
00140ffbmov rax, [rax]
00140ffecmp rax, 5
00141002jle 0x141014
00141004lea rax, [rip+0x1972c5]
0014100badd rsp, 32
0014100fjmp 0x144a00
00141014
00141014loc_141014:
00141014mov eax, 1
00141019add rsp, 32
0014101dret
0014101e
0014101eloc_14101e:
0014101epush 37
00141020call caml_call_realloc_stack
00141025pop r10
00141027jmp 0x140a22
00140a10
00140a10camlHtmlMath.close_display_598:
00140a10lea r10, [rsp-352]
00140a18cmp r10, [r14+40]
00140a1cjb 0x14101e
00140a22
00140a22loc_140a22:
00140a22sub rsp, 32
00140a26mov [rsp+8], rax
00140a2blea rax, [rip+0x1e963e]
00140a32mov rax, [rax+80]
00140a36mov rax, [rax]
00140a39cmp rax, 5
00140a3djle 0x140a86
00140a3flea rax, [rip+0x197a3a]
00140a46call camlHtmlCommon.prerr_flags_1001
00140a4blea rax, [rip+0x19af5e]
00140a52mov rax, [rax+216]
00140a59call camlHtmlCommon.pretty_stack_778
00140a5elea rax, [rip+0x19af4b]
00140a65mov rax, [rax+168]
00140a6cmov rax, [rax]
00140a6fmov rbx, [rax+32]
00140a73lea rax, [rip+0x1ecb9e]
00140a7amov rax, [rax+312]
00140a81call camlDoOut.debug_683
00140a86
00140a86loc_140a86:
00140a86mov eax, 1
00140a8bcall camlHtmlCommon.flush_freeze_1483
00140a90cmp rax, 1
00140a94jne 0x140ff0
00140a9amov eax, 21
00140a9fcall camlHtmlCommon.close_flow_1403
00140aa4lea rax, [rip+0x1e95c5]
00140aabmov rax, [rax+80]
00140aafmov rax, [rax]
00140ab2cmp rax, 7
00140ab6jle 0x140b0d
00140ab8lea rbx, [rip+0x197971]
00140abflea rax, [rip+0x1ecb52]
00140ac6mov rax, [rax+312]
00140acdcall Stdlib.Printf.fprintf
00140ad2lea rax, [rip+0x19aed7]
00140ad9mov rax, [rax+216]
00140ae0call camlHtmlCommon.pretty_stack_778
00140ae5lea rax, [rip+0x19aec4]
00140aecmov rax, [rax+168]
00140af3mov rax, [rax]
00140af6mov rbx, [rax+32]
00140afalea rax, [rip+0x1ecb17]
00140b01mov rax, [rax+312]
00140b08call camlDoOut.debug_683
00140b0d
00140b0dloc_140b0d:
00140b0dlea rax, [rip+0x19ae9c]
00140b14mov rax, [rax+312]
00140b1bmov rax, [rax+16]
00140b1fmov [rsp], rax
00140b23lea rbx, [rip+0x1e9546]
00140b2amov rbx, [rbx+80]
00140b2emov rbx, [rbx]
00140b31cmp rbx, 5
00140b35jle 0x140b63
00140b37mov [rsp+16], rax
00140b3clea rbx, [rip+0x19781d]
00140b43lea rax, [rip+0x1ecace]
00140b4amov rax, [rax+312]
00140b51call Stdlib.Printf.fprintf
00140b56mov rbx, rax
00140b59mov rdi, [rbx]
00140b5cmov rax, [rsp+16]
00140b61call rdi
00140b63
00140b63loc_140b63:
00140b63mov rax, [rsp]
00140b67cmp rax, 1
00140b6bjne 0x140d80
00140b71lea rbx, [rip+0x19ae38]
00140b78mov rbx, [rbx+312]
00140b7fmov rbx, [rbx+32]
00140b83cmp rbx, 1
00140b87jne 0x140d80
00140b8dmov rbx, [rsp+8]
00140b92cmp rbx, 1
00140b96je 0x140ba4
00140b98mov [rsp+8], rbx
00140b9djmp 0x140d80
00140ba2
00140ba2 66 90 f.
00140ba4
00140ba4loc_140ba4:
00140ba4lea rax, [rip+0x1e94c5]
00140babmov rax, [rax+80]
00140bafmov rax, [rax]
00140bb2cmp rax, 5
00140bb6jle 0x140c06
00140bb8lea rbx, [rip+0x197789]
00140bbflea rax, [rip+0x1eca52]
00140bc6mov rax, [rax+312]
00140bcdcall camlStdlib.output_string_253
00140bd2lea rax, [rip+0x19add7]
00140bd9mov rax, [rax+168]
00140be0mov rax, [rax]
00140be3mov rbx, [rax+32]
00140be7lea rax, [rip+0x1eca2a]
00140beemov rax, [rax+312]
00140bf5call camlDoOut.debug_683
00140bfalea rax, [rip+0x1977df]
00140c01call camlStdlib.prerr_endline_390
00140c06
00140c06loc_140c06:
00140c06lea rax, [rip+0x19ada3]
00140c0dmov rax, [rax+168]
00140c14mov rax, [rax]
00140c17mov rbx, [rax+16]
00140c1bmov [rsp+16], rbx
00140c20mov rax, [rax+8]
00140c24mov [rsp+24], rax
00140c29mov eax, 1
00140c2ecall camlHtmlCommon.do_close_mods_1062
00140c33lea rax, [rip+0x19ad76]
00140c3amov rax, [rax+216]
00140c41call camlHtmlCommon.pop_out_784
00140c46mov rbx, [rax]
00140c49cmp rbx, 19
00140c4dje 0x140c60
00140c4fmov edi, 19
00140c54lea rax, [rip+0x1976d5]
00140c5bcall camlHtmlCommon.failclose_473
00140c60
00140c60loc_140c60:
00140c60mov eax, 1
00140c65call camlHtmlCommon.do_close_mods_1062
00140c6amov eax, 19
00140c6fcall camlHtmlCommon.try_close_block_1323
00140c74lea rax, [rip+0x19ad35]
00140c7bmov rax, [rax+216]
00140c82call camlHtmlCommon.pop_out_784
00140c87mov [rsp+8], rax
00140c8cmov rbx, [rax]
00140c8fmov [rsp], rbx
00140c93test bl, 1
00140c96jne 0x140ca2
00140c98movzx rax, [rbx-8]
00140c9dtest rax, rax
00140ca0je 0x140cb5
00140ca2
00140ca2loc_140ca2:
00140ca2lea rdi, [rip+0x197677]
00140ca9lea rax, [rip+0x197680]
00140cb0call camlHtmlCommon.failclose_473
00140cb5
00140cb5loc_140cb5:
00140cb5mov rax, [rsp]
00140cb9call camlHtmlCommon.try_close_block_1323
00140cbelea rax, [rip+0x19aceb]
00140cc5mov rdi, [rax+168]
00140cccmov rax, [rdi]
00140ccfmov [rsp], rax
00140cd3mov rax, [rsp+8]
00140cd8mov rsi, [rax+16]
00140cdcmov rbx, rsp
00140cdfmov rsp, [r14+64]
00140ce3call caml_modify
00140ce8mov rsp, rbx
00140cebmov eax, 1
00140cf0call camlHtmlCommon.do_close_mods_1062
00140cf5lea rax, [rip+0x19acb4]
00140cfcmov rax, [rax+168]
00140d03mov rax, [rax]
00140d06mov rbx, [rax+32]
00140d0amov rax, [rsp]
00140d0emov rax, [rax+32]
00140d12lea rdi, [rip+0x1e0cdf]
00140d19mov rdi, [rdi+136]
00140d20call camlDoOut.copy_923
00140d25lea rax, [rip+0x19ac84]
00140d2cmov rax, [rax+312]
00140d33mov [rax+24], 1
00140d3bmov [rax+32], 1
00140d43mov rax, [rsp+16]
00140d48mov rbx, [rsp+24]
00140d4dcall camlHtmlCommon.as_envs_683
00140d52lea rbx, [rip+0x19ac57]
00140d59mov rbx, [rbx+168]
00140d60mov rdi, [rbx]
00140d63add rdi, 8
00140d67mov rsi, rax
00140d6amov rbx, rsp
00140d6dmov rsp, [r14+64]
00140d71call caml_modify
00140d76mov rsp, rbx
00140d79jmp 0x140fe6
00140d7e
00140d7e 66 90 f.
00140d80
00140d80loc_140d80:
00140d80cmp rax, 3
00140d84jne 0x140f48
00140d8alea rbx, [rip+0x19ac1f]
00140d91mov rbx, [rbx+312]
00140d98mov rbx, [rbx+32]
00140d9ccmp rbx, 1
00140da0je 0x140f48
00140da6mov rbx, [rsp+8]
00140dabcmp rbx, 1
00140dafjne 0x140f48
00140db5lea rax, [rip+0x1e92b4]
00140dbcmov rax, [rax+80]
00140dc0mov rax, [rax]
00140dc3cmp rax, 5
00140dc7jle 0x140e17
00140dc9lea rbx, [rip+0x197538]
00140dd0lea rax, [rip+0x1ec841]
00140dd7mov rax, [rax+312]
00140ddecall camlStdlib.output_string_253
00140de3lea rax, [rip+0x19abc6]
00140deamov rax, [rax+168]
00140df1mov rax, [rax]
00140df4mov rbx, [rax+32]
00140df8lea rax, [rip+0x1ec819]
00140dffmov rax, [rax+312]
00140e06call camlDoOut.debug_683
00140e0blea rax, [rip+0x1975ce]
00140e12call camlStdlib.prerr_endline_390
00140e17
00140e17loc_140e17:
00140e17mov eax, 47
00140e1ccall camlHtmlCommon.close_flow_1403
00140e21lea rax, [rip+0x19ab88]
00140e28mov rbx, [rax+168]
00140e2fmov rbx, [rbx]
00140e32mov rdi, [rbx+16]
00140e36mov [rsp+16], rdi
00140e3bmov rbx, [rbx+8]
00140e3fmov [rsp+24], rbx
00140e44mov rax, [rax+216]
00140e4bcall camlHtmlCommon.pop_out_784
00140e50mov [rsp+8], rax
00140e55mov rbx, [rax]
00140e58mov [rsp], rbx
00140e5ctest bl, 1
00140e5fjne 0x140e6b
00140e61movzx rax, [rbx-8]
00140e66test rax, rax
00140e69je 0x140e7e
00140e6b
00140e6bloc_140e6b:
00140e6blea rdi, [rip+0x1974ae]
00140e72lea rax, [rip+0x1974b7]
00140e79call camlHtmlCommon.failclose_473
00140e7e
00140e7eloc_140e7e:
00140e7emov rax, [rsp]
00140e82call camlHtmlCommon.try_close_block_1323
00140e87lea rax, [rip+0x19ab22]
00140e8emov rdi, [rax+168]
00140e95mov rax, [rdi]
00140e98mov [rsp], rax
00140e9cmov rax, [rsp+8]
00140ea1mov rsi, [rax+16]
00140ea5mov rbx, rsp
00140ea8mov rsp, [r14+64]
00140eaccall caml_modify
00140eb1mov rsp, rbx
00140eb4mov eax, 1
00140eb9call camlHtmlCommon.do_close_mods_1062
00140ebelea rax, [rip+0x19aaeb]
00140ec5mov rax, [rax+168]
00140eccmov rax, [rax]
00140ecfmov rbx, [rax+32]
00140ed3mov rax, [rsp]
00140ed7mov rax, [rax+32]
00140edblea rdi, [rip+0x1e0b16]
00140ee2mov rdi, [rdi+152]
00140ee9call camlDoOut.copy_no_tag_934
00140eeelea rax, [rip+0x19aabb]
00140ef5mov rax, [rax+312]
00140efcmov [rax+24], 1
00140f04mov [rax+32], 1
00140f0cmov rax, [rsp+16]
00140f11mov rbx, [rsp+24]
00140f16call camlHtmlCommon.as_envs_683
00140f1blea rbx, [rip+0x19aa8e]
00140f22mov rbx, [rbx+168]
00140f29mov rdi, [rbx]
00140f2cadd rdi, 8
00140f30mov rsi, rax
00140f33mov rbx, rsp
00140f36mov rsp, [r14+64]
00140f3acall caml_modify
00140f3fmov rsp, rbx
00140f42jmp 0x140fe6
00140f47
00140f47 90 .
00140f48
00140f48loc_140f48:
00140f48lea rbx, [rip+0x1e9121]
00140f4fmov rbx, [rbx+80]
00140f53mov rbx, [rbx]
00140f56cmp rbx, 5
00140f5ajle 0x140fba
00140f5ccall camlStdlib.string_of_int_175
00140f61mov rbx, rax
00140f64lea rax, [rip+0x197385]
00140f6bcall camlStdlib.$5e_139
00140f70mov rbx, rax
00140f73lea rax, [rip+0x1ec69e]
00140f7amov rax, [rax+312]
00140f81call camlStdlib.output_string_253
00140f86lea rax, [rip+0x19aa23]
00140f8dmov rax, [rax+168]
00140f94mov rax, [rax]
00140f97mov rbx, [rax+32]
00140f9blea rax, [rip+0x1ec676]
00140fa2mov rax, [rax+312]
00140fa9call camlDoOut.debug_683
00140faelea rax, [rip+0x19742b]
00140fb5call camlStdlib.prerr_endline_390
00140fba
00140fbaloc_140fba:
00140fbalea rax, [rip+0x19a9ef]
00140fc1mov rax, [rax+312]
00140fc8mov rbx, [rax+32]
00140fccmov [rax+24], rbx
00140fd0mov eax, 19
00140fd5call camlHtmlCommon.close_flow_1403
00140fdalea rax, [rip+0x19733f]
00140fe1call camlHtmlCommon.close_flow_1403
00140fe6
00140fe6loc_140fe6:
00140fe6mov eax, 1
00140febcall camlHtmlCommon.try_close_display_1493
00140ff0
00140ff0loc_140ff0:
00140ff0lea rax, [rip+0x1e9079]
00140ff7mov rax, [rax+80]
00140ffbmov rax, [rax]
00140ffecmp rax, 5
00141002jle 0x141014
00141004lea rax, [rip+0x1972c5]
0014100badd rsp, 32
0014100fjmp 0x144a00
00141014
00141014loc_141014:
00141014mov eax, 1
00141019add rsp, 32
0014101dret
0014101e
0014101eloc_14101e:
0014101epush 37
00141020call caml_call_realloc_stack
00141025pop r10
00141027jmp 0x140a22
00140a10
0014102c
0014102c // align 0x10
0014102c // align 0x10
00141030
00141030camlHtmlMath.do_item_display_614:
00141030lea r10, [rsp-344]
00141038cmp r10, [r14+40]
0014103cjb 0x141453
00141042
00141042loc_141042:
00141042sub rsp, 24
00141046mov [rsp], rax
0014104alea rbx, [rip+0x1e901f]
00141051mov rbx, [rbx+80]
00141055mov rbx, [rbx]
00141058cmp rbx, 5
0014105cjle 0x141114
00141062cmp rax, 1
00141066je 0x141074
00141068lea rbx, [rip+0x19be99]
0014106fjmp 0x14107b
00141071
00141071 0f 1f 00 ...
00141074
00141074loc_141074:
00141074lea rbx, [rip+0x19be7d]
0014107b
0014107bloc_14107b:
0014107blea rax, [rip+0x1971e6]
00141082call camlStdlib.$5e_139
00141087mov rbx, rax
0014108alea rax, [rip+0x19a91f]
00141091mov rax, [rax+312]
00141098mov rax, [rax]
0014109bcmp rax, 1
0014109fje 0x1410ac
001410a1lea rax, [rip+0x19be60]
001410a8jmp 0x1410b3
001410aa
001410aa 66 90 f.
001410ac
001410acloc_1410ac:
001410aclea rax, [rip+0x19be45]
001410b3
001410b3loc_1410b3:
001410b3call camlStdlib.$5e_139
001410b8mov rbx, rax
001410bblea rax, [rip+0x1971be]
001410c2call camlStdlib.$5e_139
001410c7mov [rsp+8], rax
001410cclea rax, [rip+0x19a8dd]
001410d3mov rax, [rax+312]
001410damov rax, [rax+16]
001410decall camlStdlib.string_of_int_175
001410e3mov rbx, [rsp+8]
001410e8call camlStdlib.$5e_139
001410edmov rbx, rax
001410f0lea rax, [rip+0x1971a1]
001410f7call camlStdlib.$5e_139
001410fccall camlStdlib.prerr_endline_390
00141101lea rax, [rip+0x19a8a8]
00141108mov rax, [rax+216]
0014110fcall camlHtmlCommon.pretty_stack_778
00141114
00141114loc_141114:
00141114mov rax, [rsp]
00141118cmp rax, 1
0014111cje 0x14113a
0014111elea rax, [rip+0x19a88b]
00141125mov rax, [rax+312]
0014112cmov rax, [rax+24]
00141130cmp rax, 1
00141134je 0x141224
0014113a
0014113aloc_14113a:
0014113alea rax, [rip+0x19a86f]
00141141mov rbx, [rax+312]
00141148mov rbx, [rbx]
0014114bcmp rbx, 1
0014114fjne 0x141224
00141155lea rbx, [rip+0x1e8f14]
0014115cmov rbx, [rbx+80]
00141160mov rbx, [rbx]
00141163cmp rbx, 5
00141167jle 0x141218
0014116dmov rax, [rax+168]
00141174mov rax, [rax]
00141177mov rbx, [rax+32]
0014117blea rax, [rip+0x1ec496]
00141182mov rax, [rax+312]
00141189call camlDoOut.debug_683
0014118elea rax, [rip+0x1970a3]
00141195call camlStdlib.prerr_endline_390
0014119alea rax, [rip+0x19a80f]
001411a1mov rax, [rax+312]
001411a8mov rax, [rax+32]
001411accmp rax, 1
001411b0je 0x1411bc
001411b2lea rbx, [rip+0x19bd4f]
001411b9jmp 0x1411c3
001411bb
001411bb 90 .
001411bc
001411bcloc_1411bc:
001411bclea rbx, [rip+0x19bd35]
001411c3
001411c3loc_1411c3:
001411c3lea rax, [rip+0x197046]
001411cacall camlStdlib.$5e_139
001411cfmov rbx, rax
001411d2lea rax, [rip+0x19a7d7]
001411d9mov rax, [rax+312]
001411e0mov rax, [rax+24]
001411e4cmp rax, 1
001411e8je 0x1411f4
001411ealea rax, [rip+0x19bd17]
001411f1jmp 0x1411fb
001411f3
001411f3 90 .
001411f4
001411f4loc_1411f4:
001411f4lea rax, [rip+0x19bcfd]
001411fb
001411fbloc_1411fb:
001411fbcall camlStdlib.$5e_139
00141200mov rbx, rax
00141203lea rax, [rip+0x197016]
0014120acall camlStdlib.$5e_139
0014120fadd rsp, 24
00141213jmp 0x196d50
00141218
00141218loc_141218:
00141218mov eax, 1
0014121dadd rsp, 24
00141221ret
00141222
00141222 66 90 f.
00141224
00141224loc_141224:
00141224mov eax, 1
00141229call camlHtmlCommon.pop_freeze_1487
0014122emov [rsp+16], rax
00141233lea rax, [rip+0x19a776]
0014123amov rax, [rax+336]
00141241mov rax, [rax+8]
00141245call camlMyStack.pop_292
0014124acmp rax, 1
0014124ejne 0x141264
00141250lea rax, [rip+0x19a759]
00141257mov rax, [rax+312]
0014125emov rax, [rax]
00141261jmp 0x141269
00141263
00141263 90 .
00141264
00141264loc_141264:
00141264mov eax, 3
00141269
00141269loc_141269:
00141269lea rbx, [rip+0x19a740]
00141270mov rbx, [rbx+336]
00141277mov rdi, [rbx+8]
0014127bsub r15, 24
0014127fcmp r15, [r14]
00141282jb 0x141449
00141288
00141288loc_141288:
00141288lea rsi, [r15+8]
0014128cmov [rsi-8], 2048
00141294mov [rsi], rax
00141297mov rax, [rdi]
0014129amov [rsi+8], rax
0014129emov rbx, rsp
001412a1mov rsp, [r14+64]
001412a5call caml_modify
001412aamov rsp, rbx
001412adlea rax, [rip+0x19a6fc]
001412b4mov rbx, [rax+312]
001412bbmov [rbx], 1
001412c2mov rax, [rax+168]
001412c9mov rax, [rax]
001412ccmov rdi, [rax+16]
001412d0mov [rsp], rdi
001412d4mov rax, [rax+8]
001412d8mov [rsp+8], rax
001412ddmov rax, [rbx+16]
001412e1add rax, 2
001412e5mov [rbx+16], rax
001412e9mov eax, 21
001412eecall camlHtmlCommon.close_flow_1403
001412f3mov eax, 19
001412f8call camlHtmlCommon.close_flow_1403
001412fdlea rax, [rip+0x1e8d6c]
00141304mov rax, [rax+80]
00141308mov rax, [rax]
0014130bcmp rax, 5
0014130fjle 0x141345
00141311lea rax, [rip+0x196f30]
00141318call camlStdlib.prerr_endline_390
0014131dlea rax, [rip+0x19a68c]
00141324mov rax, [rax+168]
0014132bmov rax, [rax]
0014132emov rbx, [rax+32]
00141332lea rax, [rip+0x1ec2df]
00141339mov rax, [rax+312]
00141340call camlDoOut.debug_683
00141345
00141345loc_141345:
00141345lea rax, [rip+0x197094]
0014134ccall camlHtmlMath.display_cell_arg_539
00141351mov rbx, rax
00141354mov eax, 19
00141359call camlHtmlCommon.open_block_1363
0014135elea rbx, [rip+0x19707b]
00141365mov eax, 21
0014136acall camlHtmlCommon.open_block_1363
0014136fmov rax, [rsp]
00141373mov rbx, [rsp+8]
00141378call camlHtmlCommon.as_envs_683
0014137dlea rbx, [rip+0x19a62c]
00141384mov rbx, [rbx+168]
0014138bmov rdi, [rbx]
0014138eadd rdi, 8
00141392mov rsi, rax
00141395mov rbx, rsp
00141398mov rsp, [r14+64]
0014139ccall caml_modify
001413a1mov rsp, rbx
001413a4mov esi, 1
001413a9lea rax, [rip+0x19a600]
001413b0mov rax, [rax+168]
001413b7mov rdi, [rax]
001413baadd rdi, 16
001413bemov rbx, rsp
001413c1mov rsp, [r14+64]
001413c5call caml_modify
001413camov rsp, rbx
001413cdmov rbx, [rsp+16]
001413d2mov rax, [rbx+8]
001413d6cmp rax, 1
001413daje 0x141438
001413dcsub r15, 40
001413e0cmp r15, [r14]
001413e3jb 0x141442
001413e5
001413e5loc_1413e5:
001413e5lea rax, [r15+8]
001413e9add rax, 24
001413edmov [rax-8], 1025
001413f5mov rbx, [rbx]
001413f8mov [rax], rbx
001413fblea rbx, [rip+0x19a5ae]
00141402mov rdi, [rbx+216]
00141409lea rsi, [rax-24]
0014140dmov [rsi-8], 2048
00141415mov [rsi], rax
00141418mov rax, [rdi]
0014141bmov [rsi+8], rax
0014141fmov rbx, rsp
00141422mov rsp, [r14+64]
00141426call caml_modify
0014142bmov rsp, rbx
0014142emov eax, 1
00141433add rsp, 24
00141437ret
00141438
00141438loc_141438:
00141438mov eax, 1
0014143dadd rsp, 24
00141441ret
00141442
00141442loc_141442:
00141442call caml_call_gc
00141447jmp 0x1413e5
00141449
00141449loc_141449:
00141449call caml_call_gc
0014144ejmp 0x141288
00141453
00141453loc_141453:
00141453push 36
00141455call caml_call_realloc_stack
0014145apop r10
0014145cjmp 0x141042
00141030
00141030camlHtmlMath.do_item_display_614:
00141030lea r10, [rsp-344]
00141038cmp r10, [r14+40]
0014103cjb 0x141453
00141042
00141042loc_141042:
00141042sub rsp, 24
00141046mov [rsp], rax
0014104alea rbx, [rip+0x1e901f]
00141051mov rbx, [rbx+80]
00141055mov rbx, [rbx]
00141058cmp rbx, 5
0014105cjle 0x141114
00141062cmp rax, 1
00141066je 0x141074
00141068lea rbx, [rip+0x19be99]
0014106fjmp 0x14107b
00141071
00141071 0f 1f 00 ...
00141074
00141074loc_141074:
00141074lea rbx, [rip+0x19be7d]
0014107b
0014107bloc_14107b:
0014107blea rax, [rip+0x1971e6]
00141082call camlStdlib.$5e_139
00141087mov rbx, rax
0014108alea rax, [rip+0x19a91f]
00141091mov rax, [rax+312]
00141098mov rax, [rax]
0014109bcmp rax, 1
0014109fje 0x1410ac
001410a1lea rax, [rip+0x19be60]
001410a8jmp 0x1410b3
001410aa
001410aa 66 90 f.
001410ac
001410acloc_1410ac:
001410aclea rax, [rip+0x19be45]
001410b3
001410b3loc_1410b3:
001410b3call camlStdlib.$5e_139
001410b8mov rbx, rax
001410bblea rax, [rip+0x1971be]
001410c2call camlStdlib.$5e_139
001410c7mov [rsp+8], rax
001410cclea rax, [rip+0x19a8dd]
001410d3mov rax, [rax+312]
001410damov rax, [rax+16]
001410decall camlStdlib.string_of_int_175
001410e3mov rbx, [rsp+8]
001410e8call camlStdlib.$5e_139
001410edmov rbx, rax
001410f0lea rax, [rip+0x1971a1]
001410f7call camlStdlib.$5e_139
001410fccall camlStdlib.prerr_endline_390
00141101lea rax, [rip+0x19a8a8]
00141108mov rax, [rax+216]
0014110fcall camlHtmlCommon.pretty_stack_778
00141114
00141114loc_141114:
00141114mov rax, [rsp]
00141118cmp rax, 1
0014111cje 0x14113a
0014111elea rax, [rip+0x19a88b]
00141125mov rax, [rax+312]
0014112cmov rax, [rax+24]
00141130cmp rax, 1
00141134je 0x141224
0014113a
0014113aloc_14113a:
0014113alea rax, [rip+0x19a86f]
00141141mov rbx, [rax+312]
00141148mov rbx, [rbx]
0014114bcmp rbx, 1
0014114fjne 0x141224
00141155lea rbx, [rip+0x1e8f14]
0014115cmov rbx, [rbx+80]
00141160mov rbx, [rbx]
00141163cmp rbx, 5
00141167jle 0x141218
0014116dmov rax, [rax+168]
00141174mov rax, [rax]
00141177mov rbx, [rax+32]
0014117blea rax, [rip+0x1ec496]
00141182mov rax, [rax+312]
00141189call camlDoOut.debug_683
0014118elea rax, [rip+0x1970a3]
00141195call camlStdlib.prerr_endline_390
0014119alea rax, [rip+0x19a80f]
001411a1mov rax, [rax+312]
001411a8mov rax, [rax+32]
001411accmp rax, 1
001411b0je 0x1411bc
001411b2lea rbx, [rip+0x19bd4f]
001411b9jmp 0x1411c3
001411bb
001411bb 90 .
001411bc
001411bcloc_1411bc:
001411bclea rbx, [rip+0x19bd35]
001411c3
001411c3loc_1411c3:
001411c3lea rax, [rip+0x197046]
001411cacall camlStdlib.$5e_139
001411cfmov rbx, rax
001411d2lea rax, [rip+0x19a7d7]
001411d9mov rax, [rax+312]
001411e0mov rax, [rax+24]
001411e4cmp rax, 1
001411e8je 0x1411f4
001411ealea rax, [rip+0x19bd17]
001411f1jmp 0x1411fb
001411f3
001411f3 90 .
001411f4
001411f4loc_1411f4:
001411f4lea rax, [rip+0x19bcfd]
001411fb
001411fbloc_1411fb:
001411fbcall camlStdlib.$5e_139
00141200mov rbx, rax
00141203lea rax, [rip+0x197016]
0014120acall camlStdlib.$5e_139
0014120fadd rsp, 24
00141213jmp 0x196d50
00141218
00141218loc_141218:
00141218mov eax, 1
0014121dadd rsp, 24
00141221ret
00141222
00141222 66 90 f.
00141224
00141224loc_141224:
00141224mov eax, 1
00141229call camlHtmlCommon.pop_freeze_1487
0014122emov [rsp+16], rax
00141233lea rax, [rip+0x19a776]
0014123amov rax, [rax+336]
00141241mov rax, [rax+8]
00141245call camlMyStack.pop_292
0014124acmp rax, 1
0014124ejne 0x141264
00141250lea rax, [rip+0x19a759]
00141257mov rax, [rax+312]
0014125emov rax, [rax]
00141261jmp 0x141269
00141263
00141263 90 .
00141264
00141264loc_141264:
00141264mov eax, 3
00141269
00141269loc_141269:
00141269lea rbx, [rip+0x19a740]
00141270mov rbx, [rbx+336]
00141277mov rdi, [rbx+8]
0014127bsub r15, 24
0014127fcmp r15, [r14]
00141282jb 0x141449
00141288
00141288loc_141288:
00141288lea rsi, [r15+8]
0014128cmov [rsi-8], 2048
00141294mov [rsi], rax
00141297mov rax, [rdi]
0014129amov [rsi+8], rax
0014129emov rbx, rsp
001412a1mov rsp, [r14+64]
001412a5call caml_modify
001412aamov rsp, rbx
001412adlea rax, [rip+0x19a6fc]
001412b4mov rbx, [rax+312]
001412bbmov [rbx], 1
001412c2mov rax, [rax+168]
001412c9mov rax, [rax]
001412ccmov rdi, [rax+16]
001412d0mov [rsp], rdi
001412d4mov rax, [rax+8]
001412d8mov [rsp+8], rax
001412ddmov rax, [rbx+16]
001412e1add rax, 2
001412e5mov [rbx+16], rax
001412e9mov eax, 21
001412eecall camlHtmlCommon.close_flow_1403
001412f3mov eax, 19
001412f8call camlHtmlCommon.close_flow_1403
001412fdlea rax, [rip+0x1e8d6c]
00141304mov rax, [rax+80]
00141308mov rax, [rax]
0014130bcmp rax, 5
0014130fjle 0x141345
00141311lea rax, [rip+0x196f30]
00141318call camlStdlib.prerr_endline_390
0014131dlea rax, [rip+0x19a68c]
00141324mov rax, [rax+168]
0014132bmov rax, [rax]
0014132emov rbx, [rax+32]
00141332lea rax, [rip+0x1ec2df]
00141339mov rax, [rax+312]
00141340call camlDoOut.debug_683
00141345
00141345loc_141345:
00141345lea rax, [rip+0x197094]
0014134ccall camlHtmlMath.display_cell_arg_539
00141351mov rbx, rax
00141354mov eax, 19
00141359call camlHtmlCommon.open_block_1363
0014135elea rbx, [rip+0x19707b]
00141365mov eax, 21
0014136acall camlHtmlCommon.open_block_1363
0014136fmov rax, [rsp]
00141373mov rbx, [rsp+8]
00141378call camlHtmlCommon.as_envs_683
0014137dlea rbx, [rip+0x19a62c]
00141384mov rbx, [rbx+168]
0014138bmov rdi, [rbx]
0014138eadd rdi, 8
00141392mov rsi, rax
00141395mov rbx, rsp
00141398mov rsp, [r14+64]
0014139ccall caml_modify
001413a1mov rsp, rbx
001413a4mov esi, 1
001413a9lea rax, [rip+0x19a600]
001413b0mov rax, [rax+168]
001413b7mov rdi, [rax]
001413baadd rdi, 16
001413bemov rbx, rsp
001413c1mov rsp, [r14+64]
001413c5call caml_modify
001413camov rsp, rbx
001413cdmov rbx, [rsp+16]
001413d2mov rax, [rbx+8]
001413d6cmp rax, 1
001413daje 0x141438
001413dcsub r15, 40
001413e0cmp r15, [r14]
001413e3jb 0x141442
001413e5
001413e5loc_1413e5:
001413e5lea rax, [r15+8]
001413e9add rax, 24
001413edmov [rax-8], 1025
001413f5mov rbx, [rbx]
001413f8mov [rax], rbx
001413fblea rbx, [rip+0x19a5ae]
00141402mov rdi, [rbx+216]
00141409lea rsi, [rax-24]
0014140dmov [rsi-8], 2048
00141415mov [rsi], rax
00141418mov rax, [rdi]
0014141bmov [rsi+8], rax
0014141fmov rbx, rsp
00141422mov rsp, [r14+64]
00141426call caml_modify
0014142bmov rsp, rbx
0014142emov eax, 1
00141433add rsp, 24
00141437ret
00141438
00141438loc_141438:
00141438mov eax, 1
0014143dadd rsp, 24
00141441ret
00141442
00141442loc_141442:
00141442call caml_call_gc
00141447jmp 0x1413e5
00141449
00141449loc_141449:
00141449call caml_call_gc
0014144ejmp 0x141288
00141453
00141453loc_141453:
00141453push 36
00141455call caml_call_realloc_stack
0014145apop r10
0014145cjmp 0x141042
00141030
00141461
00141461 // align 0x10
00141461 // align 0x10
0014147a
0014147a // align 0x10
0014147a // align 0x10
0014148a
0014148a // align 0x10
0014148a // align 0x10
00141490
00141490camlHtmlMath.erase_display_627:
00141490lea r10, [rsp-320]
00141498cmp r10, [r14+40]
0014149cjb 0x1414c8
0014149e
0014149eloc_14149e:
0014149emov eax, 21
001414a3call camlHtmlCommon.erase_block_1425
001414a8mov eax, 19
001414adcall camlHtmlCommon.erase_block_1425
001414b2lea rax, [rip+0x196e67]
001414b9call camlHtmlCommon.erase_block_1425
001414bemov eax, 1
001414c3jmp 0x14ac20
001414c8
001414c8loc_1414c8:
001414c8push 33
001414cacall caml_call_realloc_stack
001414cfpop r10
001414d1jmp 0x14149e
00141490
00141490camlHtmlMath.erase_display_627:
00141490lea r10, [rsp-320]
00141498cmp r10, [r14+40]
0014149cjb 0x1414c8
0014149e
0014149eloc_14149e:
0014149emov eax, 21
001414a3call camlHtmlCommon.erase_block_1425
001414a8mov eax, 19
001414adcall camlHtmlCommon.erase_block_1425
001414b2lea rax, [rip+0x196e67]
001414b9call camlHtmlCommon.erase_block_1425
001414bemov eax, 1
001414c3jmp 0x14ac20
001414c8
001414c8loc_1414c8:
001414c8push 33
001414cacall caml_call_realloc_stack
001414cfpop r10
001414d1jmp 0x14149e
00141490
001414d3
001414d3 // align 0x10
001414d3 // align 0x10
001414e0
001414e0camlHtmlMath.open_maths_630:
001414e0lea r10, [rsp-328]
001414e8cmp r10, [r14+40]
001414ecjb 0x141599
001414f2
001414f2loc_1414f2:
001414f2sub rsp, 8
001414f6mov [rsp], rax
001414falea rax, [rip+0x19a4af]
00141501mov rbx, [rax+312]
00141508mov rbx, [rbx+8]
0014150cmov rax, [rax+336]
00141513mov rdi, [rax+16]
00141517sub r15, 24
0014151bcmp r15, [r14]
0014151ejb 0x141592
00141520
00141520loc_141520:
00141520lea rsi, [r15+8]
00141524mov [rsi-8], 2048
0014152cmov [rsi], rbx
0014152fmov rax, [rdi]
00141532mov [rsi+8], rax
00141536mov rbx, rsp
00141539mov rsp, [r14+64]
0014153dcall caml_modify
00141542mov rsp, rbx
00141545lea rax, [rip+0x19a464]
0014154cmov rax, [rax+312]
00141553mov [rax+8], 3
0014155blea rax, [rip+0x196e7e]
00141562call camlHtmlCommon.open_group_1430
00141567mov rax, [rsp]
0014156bcmp rax, 1
0014156fje 0x141588
00141571lea rbx, [rip+0x196f28]
00141578mov eax, 3
0014157dadd rsp, 8
00141581jmp 0x1408f0
00141586
00141586 66 90 f.
00141588
00141588loc_141588:
00141588mov eax, 1
0014158dadd rsp, 8
00141591ret
00141592
00141592loc_141592:
00141592call caml_call_gc
00141597jmp 0x141520
00141599
00141599loc_141599:
00141599push 34
0014159bcall caml_call_realloc_stack
001415a0pop r10
001415a2jmp 0x1414f2
001414e0
001414e0camlHtmlMath.open_maths_630:
001414e0lea r10, [rsp-328]
001414e8cmp r10, [r14+40]
001414ecjb 0x141599
001414f2
001414f2loc_1414f2:
001414f2sub rsp, 8
001414f6mov [rsp], rax
001414falea rax, [rip+0x19a4af]
00141501mov rbx, [rax+312]
00141508mov rbx, [rbx+8]
0014150cmov rax, [rax+336]
00141513mov rdi, [rax+16]
00141517sub r15, 24
0014151bcmp r15, [r14]
0014151ejb 0x141592
00141520
00141520loc_141520:
00141520lea rsi, [r15+8]
00141524mov [rsi-8], 2048
0014152cmov [rsi], rbx
0014152fmov rax, [rdi]
00141532mov [rsi+8], rax
00141536mov rbx, rsp
00141539mov rsp, [r14+64]
0014153dcall caml_modify
00141542mov rsp, rbx
00141545lea rax, [rip+0x19a464]
0014154cmov rax, [rax+312]
00141553mov [rax+8], 3
0014155blea rax, [rip+0x196e7e]
00141562call camlHtmlCommon.open_group_1430
00141567mov rax, [rsp]
0014156bcmp rax, 1
0014156fje 0x141588
00141571lea rbx, [rip+0x196f28]
00141578mov eax, 3
0014157dadd rsp, 8
00141581jmp 0x1408f0
00141586
00141586 66 90 f.
00141588
00141588loc_141588:
00141588mov eax, 1
0014158dadd rsp, 8
00141591ret
00141592
00141592loc_141592:
00141592call caml_call_gc
00141597jmp 0x141520
00141599
00141599loc_141599:
00141599push 34
0014159bcall caml_call_realloc_stack
001415a0pop r10
001415a2jmp 0x1414f2
001414e0
001415a7
001415a7 // align 0x10
001415a7 // align 0x10
001415b0
001415b0camlHtmlMath.close_maths_633:
001415b0lea r10, [rsp-320]
001415b8cmp r10, [r14+40]
001415bcjb 0x141607
001415be
001415beloc_1415be:
001415becmp rax, 1
001415c2je 0x1415ce
001415c4mov eax, 3
001415c9call camlHtmlMath.close_display_598
001415ce
001415celoc_1415ce:
001415cemov eax, 1
001415d3call camlHtmlCommon.close_group_1432
001415d8lea rax, [rip+0x19a3d1]
001415dfmov rax, [rax+336]
001415e6mov rax, [rax+16]
001415eacall camlMyStack.pop_292
001415eflea rbx, [rip+0x19a3ba]
001415f6mov rbx, [rbx+312]
001415fdmov [rbx+8], rax
00141601mov eax, 1
00141606ret
00141607
00141607loc_141607:
00141607push 33
00141609call caml_call_realloc_stack
0014160epop r10
00141610jmp 0x1415be
001415b0
001415b0camlHtmlMath.close_maths_633:
001415b0lea r10, [rsp-320]
001415b8cmp r10, [r14+40]
001415bcjb 0x141607
001415be
001415beloc_1415be:
001415becmp rax, 1
001415c2je 0x1415ce
001415c4mov eax, 3
001415c9call camlHtmlMath.close_display_598
001415ce
001415celoc_1415ce:
001415cemov eax, 1
001415d3call camlHtmlCommon.close_group_1432
001415d8lea rax, [rip+0x19a3d1]
001415dfmov rax, [rax+336]
001415e6mov rax, [rax+16]
001415eacall camlMyStack.pop_292
001415eflea rbx, [rip+0x19a3ba]
001415f6mov rbx, [rbx+312]
001415fdmov [rbx+8], rax
00141601mov eax, 1
00141606ret
00141607
00141607loc_141607:
00141607push 33
00141609call caml_call_realloc_stack
0014160epop r10
00141610jmp 0x1415be
001415b0
00141612
00141612 // align 0x10
00141612 // align 0x10
00141620
00141620camlHtmlMath.open_vdisplay_636:
00141620lea r10, [rsp-336]
00141628cmp r10, [r14+40]
0014162cjb 0x1416d4
00141632
00141632loc_141632:
00141632sub rsp, 16
00141636mov [rsp+8], rax
0014163bmov [rsp], rbx
0014163flea rax, [rip+0x1e8a2a]
00141646mov rax, [rax+80]
0014164amov rax, [rax]
0014164dcmp rax, 3
00141651jle 0x14165f
00141653lea rax, [rip+0x196b9e]
0014165acall camlStdlib.prerr_endline_390
0014165f
0014165floc_14165f:
0014165fmov rax, [rsp]
00141663cmp rax, 1
00141667jne 0x1416a4
00141669sub r15, 24
0014166dcmp r15, [r14]
00141670jb 0x1416cd
00141672
00141672loc_141672:
00141672lea rax, [r15+8]
00141676mov [rax-8], 2048
0014167elea rbx, [rip+0x1e89eb]
00141685mov rbx, [rbx]
00141688mov [rax], rbx
0014168blea rbx, [rip+0x196b3e]
00141692mov [rax+8], rbx
00141696mov rsp, [r14+48]
0014169apop [r14+48]
0014169epop r11
001416a0jmp r11
001416a3nop
001416a4
001416a4loc_1416a4:
001416a4lea rax, [rip+0x1e89c5]
001416abmov rax, [rax+80]
001416afmov rbx, [rax]
001416b2mov rax, [rsp+8]
001416b7call camlHtmlCommon.display_arg_559
001416bcmov rbx, rax
001416bfmov eax, 15
001416c4add rsp, 16
001416c8jmp 0x149640
001416cd
001416cdloc_1416cd:
001416cdcall caml_call_gc
001416d2jmp 0x141672
001416d4
001416d4loc_1416d4:
001416d4push 35
001416d6call caml_call_realloc_stack
001416dbpop r10
001416ddjmp 0x141632
00141620
00141620camlHtmlMath.open_vdisplay_636:
00141620lea r10, [rsp-336]
00141628cmp r10, [r14+40]
0014162cjb 0x1416d4
00141632
00141632loc_141632:
00141632sub rsp, 16
00141636mov [rsp+8], rax
0014163bmov [rsp], rbx
0014163flea rax, [rip+0x1e8a2a]
00141646mov rax, [rax+80]
0014164amov rax, [rax]
0014164dcmp rax, 3
00141651jle 0x14165f
00141653lea rax, [rip+0x196b9e]
0014165acall camlStdlib.prerr_endline_390
0014165f
0014165floc_14165f:
0014165fmov rax, [rsp]
00141663cmp rax, 1
00141667jne 0x1416a4
00141669sub r15, 24
0014166dcmp r15, [r14]
00141670jb 0x1416cd
00141672
00141672loc_141672:
00141672lea rax, [r15+8]
00141676mov [rax-8], 2048
0014167elea rbx, [rip+0x1e89eb]
00141685mov rbx, [rbx]
00141688mov [rax], rbx
0014168blea rbx, [rip+0x196b3e]
00141692mov [rax+8], rbx
00141696mov rsp, [r14+48]
0014169apop [r14+48]
0014169epop r11
001416a0jmp r11
001416a3nop
001416a4
001416a4loc_1416a4:
001416a4lea rax, [rip+0x1e89c5]
001416abmov rax, [rax+80]
001416afmov rbx, [rax]
001416b2mov rax, [rsp+8]
001416b7call camlHtmlCommon.display_arg_559
001416bcmov rbx, rax
001416bfmov eax, 15
001416c4add rsp, 16
001416c8jmp 0x149640
001416cd
001416cdloc_1416cd:
001416cdcall caml_call_gc
001416d2jmp 0x141672
001416d4
001416d4loc_1416d4:
001416d4push 35
001416d6call caml_call_realloc_stack
001416dbpop r10
001416ddjmp 0x141632
00141620
001416e2
001416e2 // align 0x10
001416e2 // align 0x10
001416f0
001416f0camlHtmlMath.close_vdisplay_637:
001416f0lea r10, [rsp-320]
001416f8cmp r10, [r14+40]
001416fcjb 0x14173c
001416fe
001416feloc_1416fe:
001416felea rax, [rip+0x1e896b]
00141705mov rax, [rax+80]
00141709mov rax, [rax]
0014170ccmp rax, 3
00141710jle 0x14171e
00141712lea rax, [rip+0x196a9f]
00141719call camlStdlib.prerr_endline_390
0014171e
0014171eloc_14171e:
0014171emov ebx, 15
00141723lea rax, [rip+0x19a286]
0014172amov rax, [rax+856]
00141731call camlHtmlCommon.close_block_loc_1362
00141736mov eax, 1
0014173bret
0014173c
0014173cloc_14173c:
0014173cpush 33
0014173ecall caml_call_realloc_stack
00141743pop r10
00141745jmp 0x1416fe
001416f0
001416f0camlHtmlMath.close_vdisplay_637:
001416f0lea r10, [rsp-320]
001416f8cmp r10, [r14+40]
001416fcjb 0x14173c
001416fe
001416feloc_1416fe:
001416felea rax, [rip+0x1e896b]
00141705mov rax, [rax+80]
00141709mov rax, [rax]
0014170ccmp rax, 3
00141710jle 0x14171e
00141712lea rax, [rip+0x196a9f]
00141719call camlStdlib.prerr_endline_390
0014171e
0014171eloc_14171e:
0014171emov ebx, 15
00141723lea rax, [rip+0x19a286]
0014172amov rax, [rax+856]
00141731call camlHtmlCommon.close_block_loc_1362
00141736mov eax, 1
0014173bret
0014173c
0014173cloc_14173c:
0014173cpush 33
0014173ecall caml_call_realloc_stack
00141743pop r10
00141745jmp 0x1416fe
001416f0
00141747
00141747 // align 0x10
00141747 // align 0x10
00141750
00141750camlHtmlMath.open_vdisplay_row_638:
00141750lea r10, [rsp-336]
00141758cmp r10, [r14+40]
0014175cjb 0x1417c5
0014175e
0014175eloc_14175e:
0014175esub rsp, 16
00141762mov [rsp], rax
00141766mov [rsp+8], rbx
0014176blea rax, [rip+0x1e88fe]
00141772mov rax, [rax+80]
00141776mov rax, [rax]
00141779cmp rax, 3
0014177djle 0x14178b
0014177flea rax, [rip+0x1969f2]
00141786call camlStdlib.prerr_endline_390
0014178b
0014178bloc_14178b:
0014178bmov eax, 17
00141790mov rbx, [rsp]
00141794call camlHtmlCommon.open_block_1363
00141799mov rax, [rsp+8]
0014179ecall camlHtmlMath.display_cell_arg_539
001417a3mov rbx, rax
001417a6mov eax, 19
001417abcall camlHtmlCommon.open_block_1363
001417b0lea rbx, [rip+0x196ce9]
001417b7mov eax, 1
001417bcadd rsp, 16
001417c0jmp 0x1408f0
001417c5
001417c5loc_1417c5:
001417c5push 35
001417c7call caml_call_realloc_stack
001417ccpop r10
001417cejmp 0x14175e
00141750
00141750camlHtmlMath.open_vdisplay_row_638:
00141750lea r10, [rsp-336]
00141758cmp r10, [r14+40]
0014175cjb 0x1417c5
0014175e
0014175eloc_14175e:
0014175esub rsp, 16
00141762mov [rsp], rax
00141766mov [rsp+8], rbx
0014176blea rax, [rip+0x1e88fe]
00141772mov rax, [rax+80]
00141776mov rax, [rax]
00141779cmp rax, 3
0014177djle 0x14178b
0014177flea rax, [rip+0x1969f2]
00141786call camlStdlib.prerr_endline_390
0014178b
0014178bloc_14178b:
0014178bmov eax, 17
00141790mov rbx, [rsp]
00141794call camlHtmlCommon.open_block_1363
00141799mov rax, [rsp+8]
0014179ecall camlHtmlMath.display_cell_arg_539
001417a3mov rbx, rax
001417a6mov eax, 19
001417abcall camlHtmlCommon.open_block_1363
001417b0lea rbx, [rip+0x196ce9]
001417b7mov eax, 1
001417bcadd rsp, 16
001417c0jmp 0x1408f0
001417c5
001417c5loc_1417c5:
001417c5push 35
001417c7call caml_call_realloc_stack
001417ccpop r10
001417cejmp 0x14175e
00141750
Loading..