Similarity

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

0013e617
0013e617 // align 0x10

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

0013e93b
0013e93b // align 0x10

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

0013eb50
0013eb50camlMathML.put_in_math_848:
0013eb50lea r10, [rsp-328]
0013eb58cmp r10, [r14+40]
0013eb5cjb 0x13ec1c
0013eb62
0013eb62loc_13eb62:
0013eb62sub rsp, 8
0013eb66lea rbx, [rip+0x19ce43]
0013eb6dmov rbx, [rbx+312]
0013eb74mov rbx, [rbx+96]
0013eb78cmp rbx, 1
0013eb7cje 0x13eba4
0013eb7elea rbx, [rip+0x1e9abb]
0013eb85mov rbx, [rbx+32]
0013eb89mov rbx, [rbx]
0013eb8ccmp rbx, 1
0013eb90je 0x13eb9c
0013eb92add rsp, 8
0013eb96jmp 0x13e620
0013eb9b
0013eb9b 90 .
0013eb9c
0013eb9cloc_13eb9c:
0013eb9cmov [rsp], rax
0013eba0jmp 0x13eba8
0013eba2
0013eba2 66 90 f.
0013eba4
0013eba4loc_13eba4:
0013eba4mov [rsp], rax
0013eba8
0013eba8loc_13eba8:
0013eba8lea rax, [rip+0x1d7df1]
0013ebafmov rax, [rax+136]
0013ebb6mov rax, [rax]
0013ebb9cmp rax, 1
0013ebbdje 0x13ebc9
0013ebbfmov eax, 3
0013ebc4call camlMathML.do_item_display_590
0013ebc9
0013ebc9loc_13ebc9:
0013ebc9mov eax, 1
0013ebcecall camlHtmlCommon.do_open_mods_1168
0013ebd3lea rax, [rip+0x196626]
0013ebdacall camlHtmlCommon.do_put_818
0013ebdfmov rax, [rsp]
0013ebe3call camlHtmlCommon.do_put_818
0013ebe8lea rax, [rip+0x196601]
0013ebefcall camlHtmlCommon.do_put_818
0013ebf4lea rax, [rip+0x19cdb5]
0013ebfbmov rax, [rax+312]
0013ec02mov [rax+24], 1
0013ec0amov [rax+32], 1
0013ec12mov eax, 1
0013ec17add rsp, 8
0013ec1bret
0013ec1c
0013ec1cloc_13ec1c:
0013ec1cpush 34
0013ec1ecall caml_call_realloc_stack
0013ec23pop r10
0013ec25jmp 0x13eb62
0013eb50

0013ec2a
0013ec2a // align 0x10

0013ec30
0013ec30camlMathML.put_sup_sub_851:
0013ec30lea r10, [rsp-344]
0013ec38cmp r10, [r14+40]
0013ec3cjb 0x13ecc2
0013ec42
0013ec42loc_13ec42:
0013ec42sub rsp, 24
0013ec46mov [rsp+16], rax
0013ec4bmov [rsp], rbx
0013ec4fmov [rsp+8], rdi
0013ec54cmp rax, 1
0013ec58je 0x13ec68
0013ec5amov eax, 1
0013ec5fcall camlMathML.open_display_503
0013ec64jmp 0x13ec79
0013ec66
0013ec66 66 90 f.
0013ec68
0013ec68loc_13ec68:
0013ec68lea rbx, [rip+0x196a81]
0013ec6fmov eax, 49
0013ec74call camlHtmlCommon.open_block_1363
0013ec79
0013ec79loc_13ec79:
0013ec79mov rbx, [rsp]
0013ec7dmov rdi, [rbx]
0013ec80mov rax, [rsp+8]
0013ec85call rdi
0013ec87mov rax, [rsp+16]
0013ec8ccmp rax, 1
0013ec90je 0x13eca0
0013ec92mov eax, 1
0013ec97add rsp, 24
0013ec9bjmp 0x13d310
0013eca0
0013eca0loc_13eca0:
0013eca0mov ebx, 49
0013eca5lea rax, [rip+0x19cd04]
0013ecacmov rax, [rax+856]
0013ecb3call camlHtmlCommon.close_block_loc_1362
0013ecb8mov eax, 1
0013ecbdadd rsp, 24
0013ecc1ret
0013ecc2
0013ecc2loc_13ecc2:
0013ecc2push 36
0013ecc4call caml_call_realloc_stack
0013ecc9pop r10
0013eccbjmp 0x13ec42
0013ec30

0013ecd0
0013ecd0camlMathML.standard_sup_sub_856:
0013ecd0lea r10, [rsp-384]
0013ecd8cmp r10, [r14+40]
0013ecdcjb 0x13f133
0013ece2
0013ece2loc_13ece2:
0013ece2sub rsp, 64
0013ece6mov [rsp+8], rax
0013ecebmov [rsp+32], rbx
0013ecf0mov [rsp], rdi
0013ecf4mov [rsp+16], rsi
0013ecf9mov [rsp+24], rdx
0013ecfelea rax, [rip+0x1eb36b]
0013ed05mov rax, [rax+80]
0013ed09mov rax, [rax]
0013ed0ccmp rax, 3
0013ed10jle 0x13ed58
0013ed12mov [rsp+56], rdx
0013ed17mov rax, [rsi]
0013ed1amov [rsp+48], rax
0013ed1fmov rax, [rdi]
0013ed22mov [rsp+40], rax
0013ed27lea rbx, [rip+0x196312]
0013ed2elea rax, [rip+0x1ee8e3]
0013ed35mov rax, [rax+312]
0013ed3ccall Stdlib.Printf.fprintf
0013ed41mov rsi, rax
0013ed44mov rax, [rsp+40]
0013ed49mov rbx, [rsp+48]
0013ed4emov rdi, [rsp+56]
0013ed53call caml_apply3
0013ed58
0013ed58loc_13ed58:
0013ed58sub r15, 48
0013ed5ccmp r15, [r14]
0013ed5fjb 0x13f129
0013ed65
0013ed65loc_13ed65:
0013ed65lea rax, [r15+8]
0013ed69mov [rax-8], 5367
0013ed71lea rbx, [rip+984]
0013ed78mov [rax], rbx
0013ed7bmov rbx, 0x100000000000005
0013ed85mov [rax+8], rbx
0013ed89mov rbx, [rsp+8]
0013ed8emov [rax+16], rbx
0013ed92mov rbx, [rsp]
0013ed96mov [rax+24], rbx
0013ed9amov rbx, [rsp+24]
0013ed9fmov [rax+32], rbx
0013eda3call camlHtmlCommon.hidden_to_string_1509
0013eda8mov rax, [rax]
0013edabmov [rsp+40], rax
0013edb0sub r15, 48
0013edb4cmp r15, [r14]
0013edb7jb 0x13f11f
0013edbd
0013edbdloc_13edbd:
0013edbdlea rax, [r15+8]
0013edc1mov [rax-8], 5367
0013edc9lea rbx, [rip+928]
0013edd0mov [rax], rbx
0013edd3mov rbx, 0x100000000000005
0013edddmov [rax+8], rbx
0013ede1mov rbx, [rsp+8]
0013ede6mov [rax+16], rbx
0013edeamov rbx, [rsp+16]
0013edefmov [rax+24], rbx
0013edf3mov rbx, [rsp+24]
0013edf8mov [rax+32], rbx
0013edfccall camlHtmlCommon.hidden_to_string_1509
0013ee01mov rax, [rax]
0013ee04mov [rsp], rax
0013ee08lea rbx, [rip+0x1eb261]
0013ee0fmov rbx, [rbx+80]
0013ee13mov rbx, [rbx]
0013ee16cmp rbx, 3
0013ee1ajle 0x13ee57
0013ee1cmov [rsp+16], rax
0013ee21mov rax, [rsp+40]
0013ee26mov [rsp+8], rax
0013ee2blea rbx, [rip+0x196136]
0013ee32lea rax, [rip+0x1ee7df]
0013ee39mov rax, [rax+312]
0013ee40call Stdlib.Printf.fprintf
0013ee45mov rdi, rax
0013ee48mov rax, [rsp+8]
0013ee4dmov rbx, [rsp+16]
0013ee52call caml_apply2
0013ee57
0013ee57loc_13ee57:
0013ee57mov rax, [rsp]
0013ee5bmov rbx, [rax-8]
0013ee5fshr rbx, 10
0013ee63cmp rbx, 2
0013ee67jl 0x13ee70
0013ee69mov [rsp], rax
0013ee6djmp 0x13eed8
0013ee6fnop
0013ee70
0013ee70loc_13ee70:
0013ee70mov rbx, [rax]
0013ee73mov rdi, 0x700000000000000
0013ee7dcmp rbx, rdi
0013ee80jne 0x13eed4
0013ee82mov rsi, [rsp+40]
0013ee87mov rbx, [rsi-8]
0013ee8bshr rbx, 10
0013ee8fcmp rbx, 2
0013ee93jl 0x13eea0
0013ee95mov [rsp], rax
0013ee99mov [rsp+40], rsi
0013ee9ejmp 0x13eed8
0013eea0
0013eea0loc_13eea0:
0013eea0mov rbx, [rsi]
0013eea3mov rdi, 0x700000000000000
0013eeadcmp rbx, rdi
0013eeb0jne 0x13eec8
0013eeb2mov eax, 1
0013eeb7mov rbx, [rsp+32]
0013eebcmov rdi, [rbx]
0013eebfadd rsp, 64
0013eec3jmp rdi
0013eec5nop [rax]
0013eec8
0013eec8loc_13eec8:
0013eec8mov [rsp], rax
0013eeccmov [rsp+40], rsi
0013eed1jmp 0x13eed8
0013eed3nop
0013eed4
0013eed4loc_13eed4:
0013eed4mov [rsp], rax
0013eed8
0013eed8loc_13eed8:
0013eed8mov rdi, [rsp+40]
0013eeddmov rbx, [rdi-8]
0013eee1shr rbx, 10
0013eee5cmp rbx, 2
0013eee9jge 0x13efa4
0013eeefmov rbx, [rdi]
0013eef2mov rdi, 0x700000000000000
0013eefccmp rbx, rdi
0013eeffjne 0x13efa4
0013ef05lea rbx, [rip+0x1967e4]
0013ef0clea rax, [rip+0x196035]
0013ef13call camlHtmlCommon.open_block_1363
0013ef18mov rax, [rsp+24]
0013ef1dcmp rax, 1
0013ef21je 0x13ef2d
0013ef23mov eax, 1
0013ef28call camlMathML.open_display_503
0013ef2d
0013ef2dloc_13ef2d:
0013ef2dmov eax, 1
0013ef32mov rbx, [rsp+32]
0013ef37mov rdi, [rbx]
0013ef3acall rdi
0013ef3clea rax, [rip+0x19ca6d]
0013ef43mov rax, [rax+312]
0013ef4amov rax, [rax+24]
0013ef4ecmp rax, 1
0013ef52je 0x13ef60
0013ef54lea rax, [rip+0x195fc5]
0013ef5bcall camlHtmlCommon.do_put_818
0013ef60
0013ef60loc_13ef60:
0013ef60mov rax, [rsp+24]
0013ef65cmp rax, 1
0013ef69je 0x13ef75
0013ef6bmov eax, 1
0013ef70call camlMathML.close_display_504
0013ef75
0013ef75loc_13ef75:
0013ef75mov rax, [rsp]
0013ef79call camlMathML.put_730
0013ef7elea rbx, [rip+0x195fc3]
0013ef85lea rax, [rip+0x19ca24]
0013ef8cmov rax, [rax+856]
0013ef93call camlHtmlCommon.close_block_loc_1362
0013ef98mov eax, 1
0013ef9dadd rsp, 64
0013efa1ret
0013efa2nop
0013efa4
0013efa4loc_13efa4:
0013efa4mov rbx, [rax-8]
0013efa8shr rbx, 10
0013efaccmp rbx, 2
0013efb0jge 0x13f06c
0013efb6mov rax, [rax]
0013efb9mov rbx, 0x700000000000000
0013efc3cmp rax, rbx
0013efc6jne 0x13f06c
0013efcclea rbx, [rip+0x19671d]
0013efd3lea rax, [rip+0x195f26]
0013efdacall camlHtmlCommon.open_block_1363
0013efdfmov rax, [rsp+24]
0013efe4cmp rax, 1
0013efe8je 0x13eff4
0013efeamov eax, 1
0013efefcall camlMathML.open_display_503
0013eff4
0013eff4loc_13eff4:
0013eff4mov eax, 1
0013eff9mov rbx, [rsp+32]
0013effemov rdi, [rbx]
0013f001call rdi
0013f003lea rax, [rip+0x19c9a6]
0013f00amov rax, [rax+312]
0013f011mov rax, [rax+24]
0013f015cmp rax, 1
0013f019je 0x13f027
0013f01blea rax, [rip+0x195efe]
0013f022call camlHtmlCommon.do_put_818
0013f027
0013f027loc_13f027:
0013f027mov rax, [rsp+24]
0013f02ccmp rax, 1
0013f030je 0x13f03c
0013f032mov eax, 1
0013f037call camlMathML.close_display_504
0013f03c
0013f03cloc_13f03c:
0013f03cmov rax, [rsp+40]
0013f041call camlMathML.put_730
0013f046lea rbx, [rip+0x195eb3]
0013f04dlea rax, [rip+0x19c95c]
0013f054mov rax, [rax+856]
0013f05bcall camlHtmlCommon.close_block_loc_1362
0013f060mov eax, 1
0013f065add rsp, 64
0013f069ret
0013f06anop
0013f06c
0013f06cloc_13f06c:
0013f06clea rbx, [rip+0x19667d]
0013f073lea rax, [rip+0x195e66]
0013f07acall camlHtmlCommon.open_block_1363
0013f07fmov rax, [rsp+24]
0013f084cmp rax, 1
0013f088je 0x13f094
0013f08amov eax, 1
0013f08fcall camlMathML.open_display_503
0013f094
0013f094loc_13f094:
0013f094mov eax, 1
0013f099mov rbx, [rsp+32]
0013f09emov rdi, [rbx]
0013f0a1call rdi
0013f0a3lea rax, [rip+0x19c906]
0013f0aamov rax, [rax+312]
0013f0b1mov rax, [rax+24]
0013f0b5cmp rax, 1
0013f0b9je 0x13f0c7
0013f0bblea rax, [rip+0x195e5e]
0013f0c2call camlHtmlCommon.do_put_818
0013f0c7
0013f0c7loc_13f0c7:
0013f0c7mov rax, [rsp+24]
0013f0cccmp rax, 1
0013f0d0je 0x13f0dc
0013f0d2mov eax, 1
0013f0d7call camlMathML.close_display_504
0013f0dc
0013f0dcloc_13f0dc:
0013f0dcmov rax, [rsp]
0013f0e0call camlMathML.put_730
0013f0e5lea rax, [rip+0x195de4]
0013f0eccall camlMathML.put_730
0013f0f1mov rax, [rsp+40]
0013f0f6call camlMathML.put_730
0013f0fblea rbx, [rip+0x195dde]
0013f102lea rax, [rip+0x19c8a7]
0013f109mov rax, [rax+856]
0013f110call camlHtmlCommon.close_block_loc_1362
0013f115mov eax, 1
0013f11aadd rsp, 64
0013f11eret
0013f11f
0013f11floc_13f11f:
0013f11fcall caml_call_gc
0013f124jmp 0x13edbd
0013f129
0013f129loc_13f129:
0013f129call caml_call_gc
0013f12ejmp 0x13ed65
0013f133
0013f133loc_13f133:
0013f133push 41
0013f135call caml_call_realloc_stack
0013f13apop r10
0013f13cjmp 0x13ece2
0013ecd0

0013f141
0013f141 // align 0x10

0013f150
0013f150camlMathML.fun_1108:
0013f150mov rdi, [rbx+24]
0013f154mov rsi, [rbx+16]
0013f158mov rax, [rbx+32]
0013f15cmov rbx, rsi
0013f15fjmp 0x13ec30
0013f150

0013f164
0013f164 // align 0x10

0013f170
0013f170camlMathML.fun_1111:
0013f170mov rdi, [rbx+24]
0013f174mov rsi, [rbx+16]
0013f178mov rax, [rbx+32]
0013f17cmov rbx, rsi
0013f17fjmp 0x13ec30
0013f170

0013f184
0013f184 // align 0x10

0013f190
0013f190camlMathML.limit_sup_sub_871:
0013f190lea r10, [rsp-376]
0013f198cmp r10, [r14+40]
0013f19cjb 0x13f593
0013f1a2
0013f1a2loc_13f1a2:
0013f1a2sub rsp, 56
0013f1a6mov [rsp+8], rax
0013f1abmov [rsp+40], rbx
0013f1b0mov [rsp], rdi
0013f1b4mov [rsp+16], rsi
0013f1b9mov [rsp+24], rdx
0013f1belea rax, [rip+0x1eaeab]
0013f1c5mov rax, [rax+80]
0013f1c9mov rax, [rax]
0013f1cccmp rax, 3
0013f1d0jle 0x13f20e
0013f1d2mov rax, [rsi]
0013f1d5mov [rsp+48], rax
0013f1damov rax, [rdi]
0013f1ddmov [rsp+32], rax
0013f1e2lea rbx, [rip+0x195c7f]
0013f1e9lea rax, [rip+0x1ee428]
0013f1f0mov rax, [rax+312]
0013f1f7call Stdlib.Printf.fprintf
0013f1fcmov rdi, rax
0013f1ffmov rax, [rsp+32]
0013f204mov rbx, [rsp+48]
0013f209call caml_apply2
0013f20e
0013f20eloc_13f20e:
0013f20esub r15, 48
0013f212cmp r15, [r14]
0013f215jb 0x13f589
0013f21b
0013f21bloc_13f21b:
0013f21blea rax, [r15+8]
0013f21fmov [rax-8], 5367
0013f227lea rbx, [rip+898]
0013f22emov [rax], rbx
0013f231mov rbx, 0x100000000000005
0013f23bmov [rax+8], rbx
0013f23fmov rbx, [rsp+8]
0013f244mov [rax+16], rbx
0013f248mov rbx, [rsp]
0013f24cmov [rax+24], rbx
0013f250mov rbx, [rsp+24]
0013f255mov [rax+32], rbx
0013f259call camlHtmlCommon.hidden_to_string_1509
0013f25emov rax, [rax]
0013f261mov [rsp+32], rax
0013f266sub r15, 48
0013f26acmp r15, [r14]
0013f26djb 0x13f57f
0013f273
0013f273loc_13f273:
0013f273lea rax, [r15+8]
0013f277mov [rax-8], 5367
0013f27flea rbx, [rip+842]
0013f286mov [rax], rbx
0013f289mov rbx, 0x100000000000005
0013f293mov [rax+8], rbx
0013f297mov rbx, [rsp+8]
0013f29cmov [rax+16], rbx
0013f2a0mov rbx, [rsp+16]
0013f2a5mov [rax+24], rbx
0013f2a9mov rbx, [rsp+24]
0013f2aemov [rax+32], rbx
0013f2b2call camlHtmlCommon.hidden_to_string_1509
0013f2b7mov rax, [rax]
0013f2bamov rbx, [rax-8]
0013f2beshr rbx, 10
0013f2c2cmp rbx, 2
0013f2c6jl 0x13f2d0
0013f2c8mov [rsp], rax
0013f2ccjmp 0x13f338
0013f2cenop
0013f2d0
0013f2d0loc_13f2d0:
0013f2d0mov rbx, [rax]
0013f2d3mov rdi, 0x700000000000000
0013f2ddcmp rbx, rdi
0013f2e0jne 0x13f334
0013f2e2mov rsi, [rsp+32]
0013f2e7mov rbx, [rsi-8]
0013f2ebshr rbx, 10
0013f2efcmp rbx, 2
0013f2f3jl 0x13f300
0013f2f5mov [rsp], rax
0013f2f9mov [rsp+32], rsi
0013f2fejmp 0x13f338
0013f300
0013f300loc_13f300:
0013f300mov rbx, [rsi]
0013f303mov rdi, 0x700000000000000
0013f30dcmp rbx, rdi
0013f310jne 0x13f328
0013f312mov eax, 1
0013f317mov rbx, [rsp+40]
0013f31cmov rdi, [rbx]
0013f31fadd rsp, 56
0013f323jmp rdi
0013f325nop [rax]
0013f328
0013f328loc_13f328:
0013f328mov [rsp], rax
0013f32cmov [rsp+32], rsi
0013f331jmp 0x13f338
0013f333nop
0013f334
0013f334loc_13f334:
0013f334mov [rsp], rax
0013f338
0013f338loc_13f338:
0013f338mov rdi, [rsp+32]
0013f33dmov rbx, [rdi-8]
0013f341shr rbx, 10
0013f345cmp rbx, 2
0013f349jge 0x13f404
0013f34fmov rbx, [rdi]
0013f352mov rdi, 0x700000000000000
0013f35ccmp rbx, rdi
0013f35fjne 0x13f404
0013f365lea rbx, [rip+0x196384]
0013f36clea rax, [rip+0x195ad5]
0013f373call camlHtmlCommon.open_block_1363
0013f378mov rax, [rsp+24]
0013f37dcmp rax, 1
0013f381je 0x13f38d
0013f383mov eax, 1
0013f388call camlMathML.open_display_503
0013f38d
0013f38dloc_13f38d:
0013f38dmov eax, 1
0013f392mov rbx, [rsp+40]
0013f397mov rdi, [rbx]
0013f39acall rdi
0013f39clea rax, [rip+0x19c60d]
0013f3a3mov rax, [rax+312]
0013f3aamov rax, [rax+24]
0013f3aecmp rax, 1
0013f3b2je 0x13f3c0
0013f3b4lea rax, [rip+0x195b65]
0013f3bbcall camlHtmlCommon.do_put_818
0013f3c0
0013f3c0loc_13f3c0:
0013f3c0mov rax, [rsp+24]
0013f3c5cmp rax, 1
0013f3c9je 0x13f3d5
0013f3cbmov eax, 1
0013f3d0call camlMathML.close_display_504
0013f3d5
0013f3d5loc_13f3d5:
0013f3d5mov rax, [rsp]
0013f3d9call camlHtmlCommon.do_put_818
0013f3delea rbx, [rip+0x195a63]
0013f3e5lea rax, [rip+0x19c5c4]
0013f3ecmov rax, [rax+856]
0013f3f3call camlHtmlCommon.close_block_loc_1362
0013f3f8mov eax, 1
0013f3fdadd rsp, 56
0013f401ret
0013f402nop
0013f404
0013f404loc_13f404:
0013f404mov rbx, [rax-8]
0013f408shr rbx, 10
0013f40ccmp rbx, 2
0013f410jge 0x13f4cc
0013f416mov rax, [rax]
0013f419mov rbx, 0x700000000000000
0013f423cmp rax, rbx
0013f426jne 0x13f4cc
0013f42clea rbx, [rip+0x1962bd]
0013f433lea rax, [rip+0x1959ee]
0013f43acall camlHtmlCommon.open_block_1363
0013f43fmov rax, [rsp+24]
0013f444cmp rax, 1
0013f448je 0x13f454
0013f44amov eax, 1
0013f44fcall camlMathML.open_display_503
0013f454
0013f454loc_13f454:
0013f454mov eax, 1
0013f459mov rbx, [rsp+40]
0013f45emov rdi, [rbx]
0013f461call rdi
0013f463lea rax, [rip+0x19c546]
0013f46amov rax, [rax+312]
0013f471mov rax, [rax+24]
0013f475cmp rax, 1
0013f479je 0x13f487
0013f47blea rax, [rip+0x195a9e]
0013f482call camlHtmlCommon.do_put_818
0013f487
0013f487loc_13f487:
0013f487mov rax, [rsp+24]
0013f48ccmp rax, 1
0013f490je 0x13f49c
0013f492mov eax, 1
0013f497call camlMathML.close_display_504
0013f49c
0013f49cloc_13f49c:
0013f49cmov rax, [rsp+32]
0013f4a1call camlHtmlCommon.do_put_818
0013f4a6lea rbx, [rip+0x19597b]
0013f4adlea rax, [rip+0x19c4fc]
0013f4b4mov rax, [rax+856]
0013f4bbcall camlHtmlCommon.close_block_loc_1362
0013f4c0mov eax, 1
0013f4c5add rsp, 56
0013f4c9ret
0013f4canop
0013f4cc
0013f4ccloc_13f4cc:
0013f4cclea rbx, [rip+0x19621d]
0013f4d3lea rax, [rip+0x195926]
0013f4dacall camlHtmlCommon.open_block_1363
0013f4dfmov rax, [rsp+24]
0013f4e4cmp rax, 1
0013f4e8je 0x13f4f4
0013f4eamov eax, 1
0013f4efcall camlMathML.open_display_503
0013f4f4
0013f4f4loc_13f4f4:
0013f4f4mov eax, 1
0013f4f9mov rbx, [rsp+40]
0013f4femov rdi, [rbx]
0013f501call rdi
0013f503lea rax, [rip+0x19c4a6]
0013f50amov rax, [rax+312]
0013f511mov rax, [rax+24]
0013f515cmp rax, 1
0013f519je 0x13f527
0013f51blea rax, [rip+0x1959fe]
0013f522call camlHtmlCommon.do_put_818
0013f527
0013f527loc_13f527:
0013f527mov rax, [rsp+24]
0013f52ccmp rax, 1
0013f530je 0x13f53c
0013f532mov eax, 1
0013f537call camlMathML.close_display_504
0013f53c
0013f53cloc_13f53c:
0013f53cmov rax, [rsp]
0013f540call camlHtmlCommon.do_put_818
0013f545lea rax, [rip+0x195984]
0013f54ccall camlHtmlCommon.do_put_818
0013f551mov rax, [rsp+32]
0013f556call camlHtmlCommon.do_put_818
0013f55blea rbx, [rip+0x19589e]
0013f562lea rax, [rip+0x19c447]
0013f569mov rax, [rax+856]
0013f570call camlHtmlCommon.close_block_loc_1362
0013f575mov eax, 1
0013f57aadd rsp, 56
0013f57eret
0013f57f
0013f57floc_13f57f:
0013f57fcall caml_call_gc
0013f584jmp 0x13f273
0013f589
0013f589loc_13f589:
0013f589call caml_call_gc
0013f58ejmp 0x13f21b
0013f593
0013f593loc_13f593:
0013f593push 40
0013f595call caml_call_realloc_stack
0013f59apop r10
0013f59cjmp 0x13f1a2
0013f190

0013f5a1
0013f5a1 // align 0x10

0013f5b0
0013f5b0camlMathML.fun_1121:
0013f5b0mov rdi, [rbx+24]
0013f5b4mov rsi, [rbx+16]
0013f5b8mov rax, [rbx+32]
0013f5bcmov rbx, rsi
0013f5bfjmp 0x13ec30
0013f5b0

0013f5c4
0013f5c4 // align 0x10

0013f5d0
0013f5d0camlMathML.fun_1124:
0013f5d0mov rdi, [rbx+24]
0013f5d4mov rsi, [rbx+16]
0013f5d8mov rax, [rbx+32]
0013f5dcmov rbx, rsi
0013f5dfjmp 0x13ec30
0013f5d0

0013f5e4
0013f5e4 // align 0x10

0013f5f0
0013f5f0camlMathML.int_sup_sub_886:
0013f5f0mov rax, rdi
0013f5f3mov rbx, rsi
0013f5f6mov rdi, rdx
0013f5f9mov rsi, rcx
0013f5fcmov rdx, r8
0013f5ffjmp 0x13ecd0
0013f5f0

0013f604
0013f604 // align 0x10

0013f610
0013f610camlMathML.over_895:
0013f610lea r10, [rsp-320]
0013f618cmp r10, [r14+40]
0013f61cjb 0x13f678
0013f61e
0013f61eloc_13f61e:
0013f61emov eax, 3
0013f623call camlMathML.do_item_display_590
0013f628lea rax, [rip+0x1952b9]
0013f62fcall camlMathML.insert_vdisplay_612
0013f634mov eax, 3
0013f639call camlMathML.do_item_display_590
0013f63elea rax, [rip+0x19c36b]
0013f645mov rax, [rax+312]
0013f64cmov rbx, [rax+16]
0013f650add rbx, 2
0013f654mov [rax+16], rbx
0013f658mov eax, 1
0013f65dcall camlMathML.close_display_504
0013f662mov eax, 1
0013f667call camlMathML.open_display_503
0013f66clea rax, [rip+0x19525d]
0013f673jmp 0x14a860
0013f678
0013f678loc_13f678:
0013f678push 33
0013f67acall caml_call_realloc_stack
0013f67fpop r10
0013f681jmp 0x13f61e
0013f610

0013f683
0013f683 // align 0x10

0013f690
0013f690camlMathML.fun_1129:
0013f690lea r10, [rsp-320]
0013f698cmp r10, [r14+40]
0013f69cjb 0x13f6bb
0013f69e
0013f69eloc_13f69e:
0013f69elea rbx, [rip+0x19604b]
0013f6a5lea rax, [rip+0x195734]
0013f6accall camlHtmlCommon.open_block_1363
0013f6b1mov eax, 1
0013f6b6jmp 0x13d240
0013f6bb
0013f6bbloc_13f6bb:
0013f6bbpush 33
0013f6bdcall caml_call_realloc_stack
0013f6c2pop r10
0013f6c4jmp 0x13f69e
0013f690

0013f6c6
0013f6c6 // align 0x10

0013f6d0
0013f6d0camlMathML.fun_1131:
0013f6d0lea r10, [rsp-320]
0013f6d8cmp r10, [r14+40]
0013f6dcjb 0x13f72c
0013f6de
0013f6deloc_13f6de:
0013f6demov eax, 3
0013f6e3call camlMathML.do_item_display_590
0013f6e8lea rax, [rip+0x19c2c1]
0013f6efmov rax, [rax+312]
0013f6f6mov rbx, [rax+16]
0013f6faadd rbx, 2
0013f6femov [rax+16], rbx
0013f702mov eax, 1
0013f707call camlMathML.close_display_504
0013f70clea rbx, [rip+0x1956cd]
0013f713lea rax, [rip+0x19c296]
0013f71amov rax, [rax+856]
0013f721call camlHtmlCommon.close_block_loc_1362
0013f726mov eax, 1
0013f72bret
0013f72c
0013f72cloc_13f72c:
0013f72cpush 33
0013f72ecall caml_call_realloc_stack
0013f733pop r10
0013f735jmp 0x13f6de
0013f6d0

0013f737
0013f737 // align 0x10

0013f740
0013f740camlMathML.box_around_display_901:
0013f740mov eax, 1
0013f745ret
0013f740

0013f746
0013f746 // align 0x10

0013f750
0013f750camlMathML.over_align_905:
0013f750mov rax, rsi
0013f753jmp 0x13f610
0013f750

0013f758
0013f758 // align 0x10

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

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

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

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

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

00140187
00140187 // align 0x10

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

001402cd
001402cd // align 0x10

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

00140512
00140512 // align 0x10

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

001405cf
001405cf // align 0x10