Similarity

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

0013e366
0013e366 // align 0x10

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

0013e387
0013e387 // align 0x10

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

0013e42d
0013e42d // align 0x10

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

0013e49a
0013e49a // align 0x10

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

0013e50a
0013e50a // align 0x10

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

0013e53f
0013e53f // align 0x10

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

0013e56d
0013e56d // align 0x10

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

0013e5b1
0013e5b1 // align 0x10

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

0013e617
0013e617 // align 0x10

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

0013e93b
0013e93b // align 0x10

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

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