Similarity

0014acf0
0014acf0camlHtmlCommon.get_block_1498:
0014acf0lea r10, [rsp-360]
0014acf8cmp r10, [r14+40]
0014acfcjb 0x14af93
0014ad02
0014ad02loc_14ad02:
0014ad02sub rsp, 40
0014ad06mov [rsp+24], rax
0014ad0bmov [rsp+32], rbx
0014ad10lea rax, [rip+0x1df359]
0014ad17mov rax, [rax+80]
0014ad1bmov rax, [rax]
0014ad1ecmp rax, 5
0014ad22jle 0x14ad30
0014ad24lea rax, [rip+0x191735]
0014ad2bcall camlHtmlCommon.prerr_flags_1001
0014ad30
0014ad30loc_14ad30:
0014ad30mov eax, 1
0014ad35call camlHtmlCommon.do_close_mods_1062
0014ad3alea rax, [rip+0x190c6f]
0014ad41mov rax, [rax+336]
0014ad48mov rbx, [rax+32]
0014ad4cmov rax, [rbx]
0014ad4ftest al, 1
0014ad51je 0x14ad68
0014ad53lea rax, [rip+0x1e0816]
0014ad5acall camlMyStack.bottom_285
0014ad5fmov [rsp], rax
0014ad63jmp 0x14ad6f
0014ad65
0014ad65 0f 1f 00 ...
0014ad68
0014ad68loc_14ad68:
0014ad68mov rax, [rax]
0014ad6bmov [rsp], rax
0014ad6f
0014ad6floc_14ad6f:
0014ad6flea rax, [rip+0x190c3a]
0014ad76mov rax, [rax+336]
0014ad7dmov rbx, [rax+40]
0014ad81mov rax, [rbx]
0014ad84test al, 1
0014ad86je 0x14ad9c
0014ad88lea rax, [rip+0x1e07e1]
0014ad8fcall camlMyStack.bottom_285
0014ad94mov [rsp+8], rax
0014ad99jmp 0x14ada4
0014ad9b
0014ad9b 90 .
0014ad9c
0014ad9cloc_14ad9c:
0014ad9cmov rax, [rax]
0014ad9fmov [rsp+8], rax
0014ada4
0014ada4loc_14ada4:
0014ada4lea rax, [rip+0x190c05]
0014adabmov rax, [rax+336]
0014adb2mov rbx, [rax+104]
0014adb6mov rax, [rbx]
0014adb9test al, 1
0014adbbje 0x14add0
0014adbdlea rax, [rip+0x1e07ac]
0014adc4call camlMyStack.bottom_285
0014adc9mov [rsp+16], rax
0014adcejmp 0x14add8
0014add0
0014add0loc_14add0:
0014add0mov rax, [rax]
0014add3mov [rsp+16], rax
0014add8
0014add8loc_14add8:
0014add8mov eax, 1
0014adddcall camlHtmlCommon.pblock_810
0014ade2call camlHtmlCommon.try_close_block_1323
0014ade7lea rax, [rip+0x190bc2]
0014adeemov rdi, [rax+312]
0014adf5mov rax, [rsp]
0014adf9mov [rdi+24], rax
0014adfdmov rax, [rsp+8]
0014ae02mov [rdi+32], rax
0014ae06add rdi, 104
0014ae0amov rsi, [rsp+16]
0014ae0fmov rbx, rsp
0014ae12mov rsp, [r14+64]
0014ae16call caml_modify
0014ae1bmov rsp, rbx
0014ae1emov eax, 1
0014ae23mov rbx, [rsp+24]
0014ae28call camlHtmlCommon.do_close_block_1331
0014ae2dlea rax, [rip+0x190b7c]
0014ae34mov rax, [rax+216]
0014ae3bcall camlHtmlCommon.pop_out_784
0014ae40mov rax, [rax+16]
0014ae44mov [rsp+16], rax
0014ae49lea rbx, [rip+0x190b60]
0014ae50mov rbx, [rbx+168]
0014ae57mov rbx, [rbx]
0014ae5amov [rsp], rbx
0014ae5ecall camlHtmlCommon.with_new_out_763
0014ae63lea rbx, [rip+0x190b46]
0014ae6amov rdi, [rbx+168]
0014ae71mov rsi, rax
0014ae74mov rbx, rsp
0014ae77mov rsp, [r14+64]
0014ae7bcall caml_modify
0014ae80mov rsp, rbx
0014ae83lea rax, [rip+0x190b26]
0014ae8amov rax, [rax+168]
0014ae91mov rax, [rax]
0014ae94mov rbx, [rax+8]
0014ae98mov rax, [rax+16]
0014ae9ccall camlHtmlCommon.as_envs_683
0014aea1mov [rsp+8], rax
0014aea6mov eax, 1
0014aeabcall camlHtmlCommon.do_close_mods_1062
0014aeb0mov eax, 1
0014aeb5mov rbx, [rsp+24]
0014aebamov rdi, [rsp+32]
0014aebfcall camlHtmlCommon.do_open_block_1306
0014aec4lea rax, [rip+0x190ae5]
0014aecbmov rax, [rax+168]
0014aed2mov rax, [rax]
0014aed5mov rbx, [rax+32]
0014aed9mov rax, [rsp]
0014aeddmov rax, [rax+32]
0014aee1lea rdi, [rip+0x1d6b10]
0014aee8mov rdi, [rdi+136]
0014aeefcall camlDoOut.copy_923
0014aef4lea rax, [rip+0x190ab5]
0014aefbmov rax, [rax+168]
0014af02mov rdi, [rax]
0014af05add rdi, 8
0014af09mov rsi, [rsp+8]
0014af0emov rbx, rsp
0014af11mov rsp, [r14+64]
0014af15call caml_modify
0014af1amov rsp, rbx
0014af1dlea rax, [rip+0x190a8c]
0014af24mov rdi, [rax+168]
0014af2bmov r12, [rdi]
0014af2emov [rsp], r12
0014af32mov rsi, [rsp+16]
0014af37mov rbx, rsp
0014af3amov rsp, [r14+64]
0014af3ecall caml_modify
0014af43mov rsp, rbx
0014af46lea rax, [rip+0x1df123]
0014af4dmov rax, [rax+80]
0014af51mov rax, [rax]
0014af54cmp rax, 5
0014af58jle 0x14af8a
0014af5amov rbx, [r12+32]
0014af5flea rax, [rip+0x1e26b2]
0014af66mov rax, [rax+312]
0014af6dcall camlDoOut.debug_683
0014af72lea rax, [rip+0x1919ff]
0014af79call camlStdlib.prerr_endline_390
0014af7elea rax, [rip+0x1914c3]
0014af85call camlHtmlCommon.prerr_flags_1001
0014af8a
0014af8aloc_14af8a:
0014af8amov rax, [rsp]
0014af8eadd rsp, 40
0014af92ret
0014af93
0014af93loc_14af93:
0014af93push 38
0014af95call caml_call_realloc_stack
0014af9apop r10
0014af9cjmp 0x14ad02
0014acf0

0014afa1
0014afa1 // align 0x10

0014afb0
0014afb0camlHtmlCommon.hidden_to_string_1509:
0014afb0lea r10, [rsp-344]
0014afb8cmp r10, [r14+40]
0014afbcjb 0x14b0b1
0014afc2
0014afc2loc_14afc2:
0014afc2sub rsp, 24
0014afc6mov [rsp], rax
0014afcalea rax, [rip+0x1909df]
0014afd1mov rax, [rax+312]
0014afd8call camlHtmlCommon.copy_flags_865
0014afddmov [rsp+8], rax
0014afe2lea rbx, [rip+0x19198f]
0014afe9mov eax, 49
0014afeecall camlHtmlCommon.open_block_1363
0014aff3mov eax, 1
0014aff8mov rbx, [rsp]
0014affcmov rdi, [rbx]
0014afffcall rdi
0014b001mov eax, 1
0014b006call camlHtmlCommon.do_close_mods_1062
0014b00blea rax, [rip+0x19099e]
0014b012mov rax, [rax+312]
0014b019call camlHtmlCommon.copy_flags_865
0014b01emov [rsp+16], rax
0014b023lea rax, [rip+0x190986]
0014b02amov rax, [rax+168]
0014b031mov rax, [rax]
0014b034mov rax, [rax+32]
0014b038call camlDoOut.to_string_830
0014b03dmov [rsp], rax
0014b041lea rax, [rip+0x190968]
0014b048mov rbx, [rax+312]
0014b04fmov [rbx+24], 3
0014b057mov ebx, 49
0014b05cmov rax, [rax+856]
0014b063call camlHtmlCommon.close_block_loc_1362
0014b068lea rax, [rip+0x190941]
0014b06fmov rax, [rax+312]
0014b076mov rbx, [rsp+8]
0014b07bcall camlHtmlCommon.set_flags_866
0014b080sub r15, 24
0014b084cmp r15, [r14]
0014b087jb 0x14b0aa
0014b089
0014b089loc_14b089:
0014b089lea rax, [r15+8]
0014b08dmov [rax-8], 2048
0014b095mov rbx, [rsp]
0014b099mov [rax], rbx
0014b09cmov rbx, [rsp+16]
0014b0a1mov [rax+8], rbx
0014b0a5add rsp, 24
0014b0a9ret
0014b0aa
0014b0aaloc_14b0aa:
0014b0aacall caml_call_gc
0014b0afjmp 0x14b089
0014b0b1
0014b0b1loc_14b0b1:
0014b0b1push 36
0014b0b3call caml_call_realloc_stack
0014b0b8pop r10
0014b0bajmp 0x14afc2
0014afb0

0014b0bf
0014b0bf // align 0x10

0014b0c0
0014b0c0camlHtmlCommon.to_string_1515:
0014b0c0lea r10, [rsp-320]
0014b0c8cmp r10, [r14+40]
0014b0ccjb 0x14b0d7
0014b0ce
0014b0celoc_14b0ce:
0014b0cecall camlHtmlCommon.hidden_to_string_1509
0014b0d3mov rax, [rax]
0014b0d6ret
0014b0d7
0014b0d7loc_14b0d7:
0014b0d7push 33
0014b0d9call caml_call_realloc_stack
0014b0depop r10
0014b0e0jmp 0x14b0ce
0014b0c0

0014b0e2
0014b0e2 // align 0x10

0014b0f0
0014b0f0camlHtmlCommon.entry:
0014b0f0lea r10, [rsp-432]
0014b0f8cmp r10, [r14+40]
0014b0fcjb 0x14cc3a
0014b102
0014b102loc_14b102:
0014b102sub rsp, 112
0014b106lea rsi, [rip+0x18facb]
0014b10dlea rdi, [rip+0x19089c]
0014b114mov rbx, rsp
0014b117mov rsp, [r14+64]
0014b11bcall caml_initialize
0014b120mov rsp, rbx
0014b123lea rax, [rip+0x21eede]
0014b12amov rax, [rax+272]
0014b131mov rax, [rax]
0014b134mov ebx, 35
0014b139call Stdlib.Hashtbl.create_inner
0014b13elea rdi, [rip+0x19086b]
0014b145add rdi, 8
0014b149mov rsi, rax
0014b14cmov rbx, rsp
0014b14fmov rsp, [r14+64]
0014b153call caml_initialize
0014b158mov rsp, rbx
0014b15bmov esi, 1
0014b160lea rdi, [rip+0x190849]
0014b167add rdi, 16
0014b16bmov rbx, rsp
0014b16emov rsp, [r14+64]
0014b172call caml_initialize
0014b177mov rsp, rbx
0014b17alea rsi, [rip+0x18fa8f]
0014b181lea r12, [rip+0x18fa68]
0014b188lea rdi, [rip+0x190821]
0014b18fadd rdi, 24
0014b193mov rbx, rsp
0014b196mov rsp, [r14+64]
0014b19acall caml_initialize
0014b19fmov rsp, rbx
0014b1a2lea rdi, [rip+0x190807]
0014b1a9add rdi, 32
0014b1admov rsi, r12
0014b1b0mov rbx, rsp
0014b1b3mov rsp, [r14+64]
0014b1b7call caml_initialize
0014b1bcmov rsp, rbx
0014b1bfmov eax, 1
0014b1c4call camlHtmlCommon.string_of_block_380
0014b1c9mov rbx, rax
0014b1ccmov edi, 1
0014b1d1lea rax, [rip+0x1907d8]
0014b1d8mov rax, [rax+8]
0014b1dccall Stdlib.Hashtbl.add
0014b1e1mov eax, 3
0014b1e6call camlHtmlCommon.string_of_block_380
0014b1ebmov rbx, rax
0014b1eemov edi, 3
0014b1f3lea rax, [rip+0x1907b6]
0014b1famov rax, [rax+8]
0014b1fecall Stdlib.Hashtbl.add
0014b203mov eax, 5
0014b208call camlHtmlCommon.string_of_block_380
0014b20dmov rbx, rax
0014b210mov edi, 5
0014b215lea rax, [rip+0x190794]
0014b21cmov rax, [rax+8]
0014b220call Stdlib.Hashtbl.add
0014b225mov eax, 7
0014b22acall camlHtmlCommon.string_of_block_380
0014b22fmov rbx, rax
0014b232mov edi, 7
0014b237lea rax, [rip+0x190772]
0014b23emov rax, [rax+8]
0014b242call Stdlib.Hashtbl.add
0014b247mov eax, 9
0014b24ccall camlHtmlCommon.string_of_block_380
0014b251mov rbx, rax
0014b254mov edi, 9
0014b259lea rax, [rip+0x190750]
0014b260mov rax, [rax+8]
0014b264call Stdlib.Hashtbl.add
0014b269mov eax, 11
0014b26ecall camlHtmlCommon.string_of_block_380
0014b273mov rbx, rax
0014b276mov edi, 11
0014b27blea rax, [rip+0x19072e]
0014b282mov rax, [rax+8]
0014b286call Stdlib.Hashtbl.add
0014b28bmov eax, 13
0014b290call camlHtmlCommon.string_of_block_380
0014b295mov rbx, rax
0014b298mov edi, 13
0014b29dlea rax, [rip+0x19070c]
0014b2a4mov rax, [rax+8]
0014b2a8call Stdlib.Hashtbl.add
0014b2admov eax, 15
0014b2b2call camlHtmlCommon.string_of_block_380
0014b2b7mov rbx, rax
0014b2bamov edi, 15
0014b2bflea rax, [rip+0x1906ea]
0014b2c6mov rax, [rax+8]
0014b2cacall Stdlib.Hashtbl.add
0014b2cfmov eax, 17
0014b2d4call camlHtmlCommon.string_of_block_380
0014b2d9mov rbx, rax
0014b2dcmov edi, 17
0014b2e1lea rax, [rip+0x1906c8]
0014b2e8mov rax, [rax+8]
0014b2eccall Stdlib.Hashtbl.add
0014b2f1mov eax, 19
0014b2f6call camlHtmlCommon.string_of_block_380
0014b2fbmov rbx, rax
0014b2femov edi, 19
0014b303lea rax, [rip+0x1906a6]
0014b30amov rax, [rax+8]
0014b30ecall Stdlib.Hashtbl.add
0014b313lea rax, [rip+0x1910ce]
0014b31acall camlHtmlCommon.string_of_block_380
0014b31fmov rbx, rax
0014b322lea rdi, [rip+0x1910bf]
0014b329lea rax, [rip+0x190680]
0014b330mov rax, [rax+8]
0014b334call Stdlib.Hashtbl.add
0014b339mov eax, 23
0014b33ecall camlHtmlCommon.string_of_block_380
0014b343mov rbx, rax
0014b346mov edi, 23
0014b34blea rax, [rip+0x19065e]
0014b352mov rax, [rax+8]
0014b356call Stdlib.Hashtbl.add
0014b35bmov eax, 25
0014b360call camlHtmlCommon.string_of_block_380
0014b365mov rbx, rax
0014b368mov edi, 25
0014b36dlea rax, [rip+0x19063c]
0014b374mov rax, [rax+8]
0014b378call Stdlib.Hashtbl.add
0014b37dmov eax, 27
0014b382call camlHtmlCommon.string_of_block_380
0014b387mov rbx, rax
0014b38amov edi, 27
0014b38flea rax, [rip+0x19061a]
0014b396mov rax, [rax+8]
0014b39acall Stdlib.Hashtbl.add
0014b39fmov eax, 29
0014b3a4call camlHtmlCommon.string_of_block_380
0014b3a9mov rbx, rax
0014b3acmov edi, 29
0014b3b1lea rax, [rip+0x1905f8]
0014b3b8mov rax, [rax+8]
0014b3bccall Stdlib.Hashtbl.add
0014b3c1mov eax, 31
0014b3c6call camlHtmlCommon.string_of_block_380
0014b3cbmov rbx, rax
0014b3cemov edi, 31
0014b3d3lea rax, [rip+0x1905d6]
0014b3damov rax, [rax+8]
0014b3decall Stdlib.Hashtbl.add
0014b3e3mov eax, 33
0014b3e8call camlHtmlCommon.string_of_block_380
0014b3edmov rbx, rax
0014b3f0mov edi, 33
0014b3f5lea rax, [rip+0x1905b4]
0014b3fcmov rax, [rax+8]
0014b400call Stdlib.Hashtbl.add
0014b405mov eax, 41
0014b40acall camlHtmlCommon.string_of_block_380
0014b40fmov rbx, rax
0014b412mov edi, 41
0014b417lea rax, [rip+0x190592]
0014b41emov rax, [rax+8]
0014b422call Stdlib.Hashtbl.add
0014b427mov eax, 43
0014b42ccall camlHtmlCommon.string_of_block_380
0014b431mov rbx, rax
0014b434mov edi, 43
0014b439lea rax, [rip+0x190570]
0014b440mov rax, [rax+8]
0014b444call Stdlib.Hashtbl.add
0014b449mov eax, 45
0014b44ecall camlHtmlCommon.string_of_block_380
0014b453mov rbx, rax
0014b456mov edi, 45
0014b45blea rax, [rip+0x19054e]
0014b462mov rax, [rax+8]
0014b466call Stdlib.Hashtbl.add
0014b46bmov eax, 47
0014b470call camlHtmlCommon.string_of_block_380
0014b475mov rbx, rax
0014b478mov edi, 47
0014b47dlea rax, [rip+0x19052c]
0014b484mov rax, [rax+8]
0014b488call Stdlib.Hashtbl.add
0014b48dmov eax, 51
0014b492call camlHtmlCommon.string_of_block_380
0014b497mov rbx, rax
0014b49amov edi, 51
0014b49flea rax, [rip+0x19050a]
0014b4a6mov rax, [rax+8]
0014b4aacall Stdlib.Hashtbl.add
0014b4afmov eax, 53
0014b4b4call camlHtmlCommon.string_of_block_380
0014b4b9mov rbx, rax
0014b4bcmov edi, 53
0014b4c1lea rax, [rip+0x1904e8]
0014b4c8mov rax, [rax+8]
0014b4cccall Stdlib.Hashtbl.add
0014b4d1lea rsi, [rip+0x18f750]
0014b4d8lea rdi, [rip+0x1904d1]
0014b4dfadd rdi, 40
0014b4e3mov rbx, rsp
0014b4e6mov rsp, [r14+64]
0014b4eacall caml_initialize
0014b4efmov rsp, rbx
0014b4f2lea rsi, [rip+0x18f74f]
0014b4f9lea rdi, [rip+0x1904b0]
0014b500add rdi, 48
0014b504mov rbx, rsp
0014b507mov rsp, [r14+64]
0014b50bcall caml_initialize
0014b510mov rsp, rbx
0014b513lea rsi, [rip+0x18f746]
0014b51alea rdi, [rip+0x19048f]
0014b521add rdi, 56
0014b525mov rbx, rsp
0014b528mov rsp, [r14+64]
0014b52ccall caml_initialize
0014b531mov rsp, rbx
0014b534lea rsi, [rip+0x18f745]
0014b53blea rdi, [rip+0x19046e]
0014b542add rdi, 64
0014b546mov rbx, rsp
0014b549mov rsp, [r14+64]
0014b54dcall caml_initialize
0014b552mov rsp, rbx
0014b555lea rsi, [rip+0x18f744]
0014b55clea rdi, [rip+0x19044d]
0014b563add rdi, 72
0014b567mov rbx, rsp
0014b56amov rsp, [r14+64]
0014b56ecall caml_initialize
0014b573mov rsp, rbx
0014b576lea rsi, [rip+0x18f743]
0014b57dlea rdi, [rip+0x19042c]
0014b584add rdi, 80
0014b588mov rbx, rsp
0014b58bmov rsp, [r14+64]
0014b58fcall caml_initialize
0014b594mov rsp, rbx
0014b597lea rsi, [rip+0x18f73a]
0014b59elea rdi, [rip+0x19040b]
0014b5a5add rdi, 88
0014b5a9mov rbx, rsp
0014b5acmov rsp, [r14+64]
0014b5b0call caml_initialize
0014b5b5mov rsp, rbx
0014b5b8lea rsi, [rip+0x18f739]
0014b5bflea rdi, [rip+0x1903ea]
0014b5c6add rdi, 1128
0014b5cdmov rbx, rsp
0014b5d0mov rsp, [r14+64]
0014b5d4call caml_initialize
0014b5d9mov rsp, rbx
0014b5dclea rsi, [rip+0x18f745]
0014b5e3lea r12, [rip+0x18f726]
0014b5ealea rdi, [rip+0x1903bf]
0014b5f1add rdi, 96
0014b5f5mov rbx, rsp
0014b5f8mov rsp, [r14+64]
0014b5fccall caml_initialize
0014b601mov rsp, rbx
0014b604lea rdi, [rip+0x1903a5]
0014b60badd rdi, 104
0014b60fmov rsi, r12
0014b612mov rbx, rsp
0014b615mov rsp, [r14+64]
0014b619call caml_initialize
0014b61emov rsp, rbx
0014b621lea rsi, [rip+0x18f718]
0014b628lea rdi, [rip+0x190381]
0014b62fadd rdi, 112
0014b633mov rbx, rsp
0014b636mov rsp, [r14+64]
0014b63acall caml_initialize
0014b63fmov rsp, rbx
0014b642lea rsi, [rip+0x18f717]
0014b649lea rdi, [rip+0x190360]
0014b650add rdi, 120
0014b654mov rbx, rsp
0014b657mov rsp, [r14+64]
0014b65bcall caml_initialize
0014b660mov rsp, rbx
0014b663lea rsi, [rip+0x18f70e]
0014b66alea rdi, [rip+0x19033f]
0014b671add rdi, 128
0014b678mov rbx, rsp
0014b67bmov rsp, [r14+64]
0014b67fcall caml_initialize
0014b684mov rsp, rbx
0014b687lea rsi, [rip+0x18f70a]
0014b68elea rdi, [rip+0x19031b]
0014b695add rdi, 136
0014b69cmov rbx, rsp
0014b69fmov rsp, [r14+64]
0014b6a3call caml_initialize
0014b6a8mov rsp, rbx
0014b6ablea rsi, [rip+0x18f6fe]
0014b6b2lea rdi, [rip+0x1902f7]
0014b6b9add rdi, 144
0014b6c0mov rbx, rsp
0014b6c3mov rsp, [r14+64]
0014b6c7call caml_initialize
0014b6ccmov rsp, rbx
0014b6cflea rsi, [rip+0x18f6fa]
0014b6d6lea rdi, [rip+0x1902d3]
0014b6ddadd rdi, 152
0014b6e4mov rbx, rsp
0014b6e7mov rsp, [r14+64]
0014b6ebcall caml_initialize
0014b6f0mov rsp, rbx
0014b6f3lea rsi, [rip+0x18f6f6]
0014b6falea rdi, [rip+0x1902af]
0014b701add rdi, 160
0014b708mov rbx, rsp
0014b70bmov rsp, [r14+64]
0014b70fcall caml_initialize
0014b714mov rsp, rbx
0014b717sub r15, 64
0014b71bcall caml_allocN
0014b720lea rax, [r15+8]
0014b724add rax, 16
0014b728mov [rax-8], 5120
0014b730mov [rax], 1
0014b737mov [rax+8], 1
0014b73fmov [rax+16], 1
0014b747mov [rax+24], 1
0014b74fmov [rax+32], 1
0014b757lea rsi, [rax-16]
0014b75bmov [rsi-8], 1024
0014b763mov [rsi], rax
0014b766lea rdi, [rip+0x190243]
0014b76dadd rdi, 168
0014b774mov rbx, rsp
0014b777mov rsp, [r14+64]
0014b77bcall caml_initialize
0014b780mov rsp, rbx
0014b783mov edi, 1
0014b788mov rbx, rsp
0014b78bmov rsp, [r14+64]
0014b78fcall caml_fresh_oo_id
0014b794mov rsp, rbx
0014b797call caml_alloc2
0014b79clea rsi, [r15+8]
0014b7a0mov [rsi-8], 2296
0014b7a8lea rbx, [rip+0x1906a9]
0014b7afmov [rsi], rbx
0014b7b2mov [rsi+8], rax
0014b7b6lea rdi, [rip+0x1901f3]
0014b7bdadd rdi, 176
0014b7c4mov rbx, rsp
0014b7c7mov rsp, [r14+64]
0014b7cbcall caml_initialize
0014b7d0mov rsp, rbx
0014b7d3lea rsi, [rip+0x18f62e]
0014b7dalea rdi, [rip+0x1901cf]
0014b7e1add rdi, 184
0014b7e8mov rbx, rsp
0014b7ebmov rsp, [r14+64]
0014b7efcall caml_initialize
0014b7f4mov rsp, rbx
0014b7f7lea rsi, [rip+0x18f62a]
0014b7felea rdi, [rip+0x1901ab]
0014b805add rdi, 192
0014b80cmov rbx, rsp
0014b80fmov rsp, [r14+64]
0014b813call caml_initialize
0014b818mov rsp, rbx
0014b81blea rsi, [rip+0x18f636]
0014b822lea r12, [rip+0x18f617]
0014b829lea rdi, [rip+0x190180]
0014b830add rdi, 200
0014b837mov rbx, rsp
0014b83amov rsp, [r14+64]
0014b83ecall caml_initialize
0014b843mov rsp, rbx
0014b846lea rdi, [rip+0x190163]
0014b84dadd rdi, 208
0014b854mov rsi, r12
0014b857mov rbx, rsp
0014b85amov rsp, [r14+64]
0014b85ecall caml_initialize
0014b863mov rsp, rbx
0014b866call caml_alloc3
0014b86blea rbx, [r15+8]
0014b86fmov [rbx-8], 3072
0014b877mov [rbx], 53
0014b87elea rax, [rip+0x1910f3]
0014b885mov [rbx+8], rax
0014b889lea rax, [rip+0x190120]
0014b890mov rax, [rax+168]
0014b897mov rax, [rax]
0014b89amov [rbx+16], rax
0014b89elea rax, [rip+0x191ae3]
0014b8a5call camlMyStack.create_init_278
0014b8aalea rdi, [rip+0x1900ff]
0014b8b1add rdi, 216
0014b8b8mov rsi, rax
0014b8bbmov rbx, rsp
0014b8bemov rsp, [r14+64]
0014b8c2call caml_initialize
0014b8c7mov rsp, rbx
0014b8calea rsi, [rip+0x18f5bf]
0014b8d1lea r12, [rip+0x18f598]
0014b8d8lea rdi, [rip+0x1900d1]
0014b8dfadd rdi, 224
0014b8e6mov rbx, rsp
0014b8e9mov rsp, [r14+64]
0014b8edcall caml_initialize
0014b8f2mov rsp, rbx
0014b8f5lea rdi, [rip+0x1900b4]
0014b8fcadd rdi, 232
0014b903mov rsi, r12
0014b906mov rbx, rsp
0014b909mov rsp, [r14+64]
0014b90dcall caml_initialize
0014b912mov rsp, rbx
0014b915lea rsi, [rip+0x18f5a4]
0014b91clea r12, [rip+0x18f585]
0014b923lea rdi, [rip+0x190086]
0014b92aadd rdi, 240
0014b931mov rbx, rsp
0014b934mov rsp, [r14+64]
0014b938call caml_initialize
0014b93dmov rsp, rbx
0014b940lea rdi, [rip+0x190069]
0014b947add rdi, 248
0014b94emov rsi, r12
0014b951mov rbx, rsp
0014b954mov rsp, [r14+64]
0014b958call caml_initialize
0014b95dmov rsp, rbx
0014b960lea rsi, [rip+0x18f589]
0014b967lea r12, [rip+0x18f56a]
0014b96elea rdi, [rip+0x19003b]
0014b975add rdi, 256
0014b97cmov rbx, rsp
0014b97fmov rsp, [r14+64]
0014b983call caml_initialize
0014b988mov rsp, rbx
0014b98blea rdi, [rip+0x19001e]
0014b992add rdi, 264
0014b999mov rsi, r12
0014b99cmov rbx, rsp
0014b99fmov rsp, [r14+64]
0014b9a3call caml_initialize
0014b9a8mov rsp, rbx
0014b9ablea rsi, [rip+0x18f556]
0014b9b2lea rdi, [rip+0x18fff7]
0014b9b9add rdi, 272
0014b9c0mov rbx, rsp
0014b9c3mov rsp, [r14+64]
0014b9c7call caml_initialize
0014b9ccmov rsp, rbx
0014b9cflea rsi, [rip+0x18f56a]
0014b9d6lea r12, [rip+0x18f543]
0014b9ddlea rdi, [rip+0x18ffcc]
0014b9e4add rdi, 280
0014b9ebmov rbx, rsp
0014b9eemov rsp, [r14+64]
0014b9f2call caml_initialize
0014b9f7mov rsp, rbx
0014b9falea rdi, [rip+0x18ffaf]
0014ba01add rdi, 288
0014ba08mov rsi, r12
0014ba0bmov rbx, rsp
0014ba0emov rsp, [r14+64]
0014ba12call caml_initialize
0014ba17mov rsp, rbx
0014ba1alea rsi, [rip+0x18f537]
0014ba21lea rdi, [rip+0x18ff88]
0014ba28add rdi, 296
0014ba2fmov rbx, rsp
0014ba32mov rsp, [r14+64]
0014ba36call caml_initialize
0014ba3bmov rsp, rbx
0014ba3elea rsi, [rip+0x18f533]
0014ba45lea rdi, [rip+0x18ff64]
0014ba4cadd rdi, 304
0014ba53mov rbx, rsp
0014ba56mov rsp, [r14+64]
0014ba5acall caml_initialize
0014ba5fmov rsp, rbx
0014ba62sub r15, 128
0014ba69call caml_allocN
0014ba6elea rsi, [r15+8]
0014ba72mov [rsi-8], 15360
0014ba7amov [rsi], 1
0014ba81mov [rsi+8], 1
0014ba89mov [rsi+16], 1
0014ba91mov [rsi+24], 3
0014ba99mov [rsi+32], 3
0014baa1mov [rsi+40], 1
0014baa9mov [rsi+48], 1
0014bab1mov [rsi+56], 1
0014bab9mov [rsi+64], 1
0014bac1mov [rsi+72], 1
0014bac9lea rax, [rip+0x190ea8]
0014bad0mov [rsi+80], rax
0014bad4mov [rsi+88], rax
0014bad8mov [rsi+96], 1
0014bae0mov [rsi+104], 1
0014bae8mov [rsi+112], 1
0014baf0lea rdi, [rip+0x18feb9]
0014baf7add rdi, 312
0014bafemov rbx, rsp
0014bb01mov rsp, [r14+64]
0014bb05call caml_initialize
0014bb0amov rsp, rbx
0014bb0dlea rsi, [rip+0x18f49c]
0014bb14lea r12, [rip+0x18f475]
0014bb1blea rdi, [rip+0x18fe8e]
0014bb22add rdi, 320
0014bb29mov rbx, rsp
0014bb2cmov rsp, [r14+64]
0014bb30call caml_initialize
0014bb35mov rsp, rbx
0014bb38lea rdi, [rip+0x18fe71]
0014bb3fadd rdi, 328
0014bb46mov rsi, r12
0014bb49mov rbx, rsp
0014bb4cmov rsp, [r14+64]
0014bb50call caml_initialize
0014bb55mov rsp, rbx
0014bb58sub r15, 64
0014bb5ccall caml_allocN
0014bb61lea rax, [r15+8]
0014bb65add rax, 32
0014bb69mov [rsp+104], rax
0014bb6emov [rax-8], 3072
0014bb76mov [rax], 1
0014bb7dlea rbx, [rip+0x1913e4]
0014bb84mov [rax+8], rbx
0014bb88mov [rax+16], 1
0014bb90add rax, -32
0014bb94mov [rsp+96], rax
0014bb99mov [rax-8], 3072
0014bba1mov [rax], 1
0014bba8lea rbx, [rip+0x1913d1]
0014bbafmov [rax+8], rbx
0014bbb3mov [rax+16], 1
0014bbbbmov ebx, 1
0014bbc0lea rax, [rip+0x1913d1]
0014bbc7call camlMyStack.create_init_278
0014bbccmov [rsp+88], rax
0014bbd1mov ebx, 1
0014bbd6lea rax, [rip+0x1913d3]
0014bbddcall camlMyStack.create_init_278
0014bbe2mov [rsp+80], rax
0014bbe7lea rbx, [rip+0x190d8a]
0014bbeelea rax, [rip+0x1913cb]
0014bbf5call camlMyStack.create_init_278
0014bbfamov [rsp+72], rax
0014bbfflea rbx, [rip+0x190d72]
0014bc06lea rax, [rip+0x190e6b]
0014bc0dcall camlMyStack.create_init_278
0014bc12mov [rsp+64], rax
0014bc17mov ebx, 1
0014bc1clea rax, [rip+0x1913ad]
0014bc23call camlMyStack.create_init_278
0014bc28mov [rsp+56], rax
0014bc2dmov ebx, 1
0014bc32lea rax, [rip+0x1913a7]
0014bc39call camlMyStack.create_init_278
0014bc3emov [rsp+48], rax
0014bc43mov ebx, 1
0014bc48lea rax, [rip+0x1913a9]
0014bc4fcall camlMyStack.create_init_278
0014bc54mov [rsp+40], rax
0014bc59sub r15, 64
0014bc5dcall caml_allocN
0014bc62lea rax, [r15+8]
0014bc66add rax, 32
0014bc6amov [rsp+32], rax
0014bc6fmov [rax-8], 3072
0014bc77mov [rax], 1
0014bc7elea rbx, [rip+0x191383]
0014bc85mov [rax+8], rbx
0014bc89mov [rax+16], 1
0014bc91add rax, -32
0014bc95mov [rsp+24], rax
0014bc9amov [rax-8], 3072
0014bca2mov [rax], 1
0014bca9lea rbx, [rip+0x191368]
0014bcb0mov [rax+8], rbx
0014bcb4mov [rax+16], 1
0014bcbcmov ebx, 1
0014bcc1lea rax, [rip+0x191370]
0014bcc8call camlMyStack.create_init_278
0014bccdmov [rsp+16], rax
0014bcd2mov ebx, 1
0014bcd7lea rax, [rip+0x19136a]
0014bcdecall camlMyStack.create_init_278
0014bce3mov [rsp+8], rax
0014bce8call caml_alloc3
0014bcedlea rax, [r15+8]
0014bcf1mov [rsp], rax
0014bcf5mov [rax-8], 3072
0014bcfdmov [rax], 1
0014bd04lea rbx, [rip+0x19134d]
0014bd0bmov [rax+8], rbx
0014bd0fmov [rax+16], 1
0014bd17mov ebx, 1
0014bd1clea rax, [rip+0x191345]
0014bd23call camlMyStack.create_init_278
0014bd28sub r15, 208
0014bd2fcall caml_allocN
0014bd34lea rbx, [r15+8]
0014bd38add rbx, 176
0014bd3fmov [rbx-8], 3072
0014bd47mov [rbx], 1
0014bd4elea rdi, [rip+0x191323]
0014bd55mov [rbx+8], rdi
0014bd59mov [rbx+16], 1
0014bd61lea rdi, [rbx-32]
0014bd65mov [rdi-8], 3072
0014bd6dmov [rdi], 1
0014bd74lea rsi, [rip+0x191315]
0014bd7bmov [rdi+8], rsi
0014bd7fmov [rdi+16], 1
0014bd87lea rsi, [rdi-144]
0014bd8emov [rsi-8], 17408
0014bd96mov [rsi], rdi
0014bd99mov [rsi+8], rbx
0014bd9dmov [rsi+16], rax
0014bda1mov rax, [rsp]
0014bda5mov [rsi+24], rax
0014bda9mov rax, [rsp+8]
0014bdaemov [rsi+32], rax
0014bdb2mov rax, [rsp+16]
0014bdb7mov [rsi+40], rax
0014bdbbmov rax, [rsp+24]
0014bdc0mov [rsi+48], rax
0014bdc4mov rax, [rsp+32]
0014bdc9mov [rsi+56], rax
0014bdcdmov rax, [rsp+40]
0014bdd2mov [rsi+64], rax
0014bdd6mov rax, [rsp+48]
0014bddbmov [rsi+72], rax
0014bddfmov rax, [rsp+56]
0014bde4mov [rsi+80], rax
0014bde8mov rax, [rsp+64]
0014bdedmov [rsi+88], rax
0014bdf1mov rax, [rsp+72]
0014bdf6mov [rsi+96], rax
0014bdfamov rax, [rsp+80]
0014bdffmov [rsi+104], rax
0014be03mov rax, [rsp+88]
0014be08mov [rsi+112], rax
0014be0cmov rax, [rsp+96]
0014be11mov [rsi+120], rax
0014be15mov rax, [rsp+104]
0014be1amov [rsi+128], rax
0014be21lea rdi, [rip+0x18fb88]
0014be28add rdi, 336
0014be2fmov rbx, rsp
0014be32mov rsp, [r14+64]
0014be36call caml_initialize
0014be3bmov rsp, rbx
0014be3elea rsi, [rip+0x18f19b]
0014be45lea r12, [rip+0x18f17c]
0014be4clea rdi, [rip+0x18fb5d]
0014be53add rdi, 344
0014be5amov rbx, rsp
0014be5dmov rsp, [r14+64]
0014be61call caml_initialize
0014be66mov rsp, rbx
0014be69lea rdi, [rip+0x18fb40]
0014be70add rdi, 352
0014be77mov rsi, r12
0014be7amov rbx, rsp
0014be7dmov rsp, [r14+64]
0014be81call caml_initialize
0014be86mov rsp, rbx
0014be89lea rsi, [rip+0x18f168]
0014be90lea rdi, [rip+0x18fb19]
0014be97add rdi, 360
0014be9emov rbx, rsp
0014bea1mov rsp, [r14+64]
0014bea5call caml_initialize
0014beaamov rsp, rbx
0014beadlea rsi, [rip+0x18f15c]
0014beb4lea rdi, [rip+0x18faf5]
0014bebbadd rdi, 368
0014bec2mov rbx, rsp
0014bec5mov rsp, [r14+64]
0014bec9call caml_initialize
0014becemov rsp, rbx
0014bed1lea rsi, [rip+0x18f170]
0014bed8lea r12, [rip+0x18f149]
0014bedflea rdi, [rip+0x18faca]
0014bee6add rdi, 376
0014beedmov rbx, rsp
0014bef0mov rsp, [r14+64]
0014bef4call caml_initialize
0014bef9mov rsp, rbx
0014befclea rdi, [rip+0x18faad]
0014bf03add rdi, 384
0014bf0amov rsi, r12
0014bf0dmov rbx, rsp
0014bf10mov rsp, [r14+64]
0014bf14call caml_initialize
0014bf19mov rsp, rbx
0014bf1clea rsi, [rip+0x18f13d]
0014bf23lea rdi, [rip+0x18fa86]
0014bf2aadd rdi, 392
0014bf31mov rbx, rsp
0014bf34mov rsp, [r14+64]
0014bf38call caml_initialize
0014bf3dmov rsp, rbx
0014bf40lea rsi, [rip+0x18f131]
0014bf47lea rdi, [rip+0x18fa62]
0014bf4eadd rdi, 400
0014bf55mov rbx, rsp
0014bf58mov rsp, [r14+64]
0014bf5ccall caml_initialize
0014bf61mov rsp, rbx
0014bf64lea rsi, [rip+0x18f125]
0014bf6blea rdi, [rip+0x18fa3e]
0014bf72add rdi, 408
0014bf79mov rbx, rsp
0014bf7cmov rsp, [r14+64]
0014bf80call caml_initialize
0014bf85mov rsp, rbx
0014bf88lea rsi, [rip+0x18f119]
0014bf8flea rdi, [rip+0x18fa1a]
0014bf96add rdi, 416
0014bf9dmov rbx, rsp
0014bfa0mov rsp, [r14+64]
0014bfa4call caml_initialize
0014bfa9mov rsp, rbx
0014bfaclea rsi, [rip+0x18f10d]
0014bfb3lea rdi, [rip+0x18f9f6]
0014bfbaadd rdi, 424
0014bfc1mov rbx, rsp
0014bfc4mov rsp, [r14+64]
0014bfc8call caml_initialize
0014bfcdmov rsp, rbx
0014bfd0lea rsi, [rip+0x18f101]
0014bfd7lea rdi, [rip+0x18f9d2]
0014bfdeadd rdi, 432
0014bfe5mov rbx, rsp
0014bfe8mov rsp, [r14+64]
0014bfeccall caml_initialize
0014bff1mov rsp, rbx
0014bff4lea rsi, [rip+0x18f0f5]
0014bffblea rdi, [rip+0x18f9ae]
0014c002add rdi, 440
0014c009mov rbx, rsp
0014c00cmov rsp, [r14+64]
0014c010call caml_initialize
0014c015mov rsp, rbx
0014c018lea rsi, [rip+0x18f101]
0014c01flea r12, [rip+0x18f0e2]
0014c026lea rdi, [rip+0x18f983]
0014c02dadd rdi, 448
0014c034mov rbx, rsp
0014c037mov rsp, [r14+64]
0014c03bcall caml_initialize
0014c040mov rsp, rbx
0014c043lea rdi, [rip+0x18f966]
0014c04aadd rdi, 456
0014c051mov rsi, r12
0014c054mov rbx, rsp
0014c057mov rsp, [r14+64]
0014c05bcall caml_initialize
0014c060mov rsp, rbx
0014c063lea rsi, [rip+0x18f0ce]
0014c06alea rdi, [rip+0x18f93f]
0014c071add rdi, 464
0014c078mov rbx, rsp
0014c07bmov rsp, [r14+64]
0014c07fcall caml_initialize
0014c084mov rsp, rbx
0014c087lea rsi, [rip+0x18f0c2]
0014c08elea rdi, [rip+0x18f91b]
0014c095add rdi, 472
0014c09cmov rbx, rsp
0014c09fmov rsp, [r14+64]
0014c0a3call caml_initialize
0014c0a8mov rsp, rbx
0014c0ablea rsi, [rip+0x18f0b6]
0014c0b2lea rdi, [rip+0x18f8f7]
0014c0b9add rdi, 480
0014c0c0mov rbx, rsp
0014c0c3mov rsp, [r14+64]
0014c0c7call caml_initialize
0014c0ccmov rsp, rbx
0014c0cflea rsi, [rip+0x18f0aa]
0014c0d6lea rdi, [rip+0x18f8d3]
0014c0ddadd rdi, 488
0014c0e4mov rbx, rsp
0014c0e7mov rsp, [r14+64]
0014c0ebcall caml_initialize
0014c0f0mov rsp, rbx
0014c0f3lea rsi, [rip+0x18f0a6]
0014c0falea rdi, [rip+0x18f8af]
0014c101add rdi, 496
0014c108mov rbx, rsp
0014c10bmov rsp, [r14+64]
0014c10fcall caml_initialize
0014c114mov rsp, rbx
0014c117lea rsi, [rip+0x18f0ca]
0014c11elea r12, [rip+0x18f0ab]
0014c125lea r13, [rip+0x18f08c]
0014c12clea rdi, [rip+0x18f87d]
0014c133add rdi, 504
0014c13amov rbx, rsp
0014c13dmov rsp, [r14+64]
0014c141call caml_initialize
0014c146mov rsp, rbx
0014c149lea rdi, [rip+0x18f860]
0014c150add rdi, 512
0014c157mov rsi, r12
0014c15amov rbx, rsp
0014c15dmov rsp, [r14+64]
0014c161call caml_initialize
0014c166mov rsp, rbx
0014c169lea rdi, [rip+0x18f840]
0014c170add rdi, 520
0014c177mov rsi, r13
0014c17amov rbx, rsp
0014c17dmov rsp, [r14+64]
0014c181call caml_initialize
0014c186mov rsp, rbx
0014c189lea rsi, [rip+0x18f070]
0014c190lea rdi, [rip+0x18f819]
0014c197add rdi, 528
0014c19emov rbx, rsp
0014c1a1mov rsp, [r14+64]
0014c1a5call caml_initialize
0014c1aamov rsp, rbx
0014c1adlea rsi, [rip+0x18f06c]
0014c1b4lea rdi, [rip+0x18f7f5]
0014c1bbadd rdi, 536
0014c1c2mov rbx, rsp
0014c1c5mov rsp, [r14+64]
0014c1c9call caml_initialize
0014c1cemov rsp, rbx
0014c1d1lea rsi, [rip+0x18f068]
0014c1d8lea rdi, [rip+0x18f7d1]
0014c1dfadd rdi, 544
0014c1e6mov rbx, rsp
0014c1e9mov rsp, [r14+64]
0014c1edcall caml_initialize
0014c1f2mov rsp, rbx
0014c1f5lea rsi, [rip+0x18f05c]
0014c1fclea rdi, [rip+0x18f7ad]
0014c203add rdi, 552
0014c20amov rbx, rsp
0014c20dmov rsp, [r14+64]
0014c211call caml_initialize
0014c216mov rsp, rbx
0014c219lea rsi, [rip+0x18f050]
0014c220lea rdi, [rip+0x18f789]
0014c227add rdi, 560
0014c22emov rbx, rsp
0014c231mov rsp, [r14+64]
0014c235call caml_initialize
0014c23amov rsp, rbx
0014c23dlea rsi, [rip+0x18f044]
0014c244lea rdi, [rip+0x18f765]
0014c24badd rdi, 568
0014c252mov rbx, rsp
0014c255mov rsp, [r14+64]
0014c259call caml_initialize
0014c25emov rsp, rbx
0014c261lea rsi, [rip+0x18f038]
0014c268lea rdi, [rip+0x18f741]
0014c26fadd rdi, 576
0014c276mov rbx, rsp
0014c279mov rsp, [r14+64]
0014c27dcall caml_initialize
0014c282mov rsp, rbx
0014c285lea rsi, [rip+0x18f02c]
0014c28clea rdi, [rip+0x18f71d]
0014c293add rdi, 584
0014c29amov rbx, rsp
0014c29dmov rsp, [r14+64]
0014c2a1call caml_initialize
0014c2a6mov rsp, rbx
0014c2a9lea rsi, [rip+0x18f020]
0014c2b0lea rdi, [rip+0x18f6f9]
0014c2b7add rdi, 592
0014c2bemov rbx, rsp
0014c2c1mov rsp, [r14+64]
0014c2c5call caml_initialize
0014c2camov rsp, rbx
0014c2cdlea rsi, [rip+0x18f01c]
0014c2d4lea rdi, [rip+0x18f6d5]
0014c2dbadd rdi, 600
0014c2e2mov rbx, rsp
0014c2e5mov rsp, [r14+64]
0014c2e9call caml_initialize
0014c2eemov rsp, rbx
0014c2f1lea rsi, [rip+0x18f010]
0014c2f8lea rdi, [rip+0x18f6b1]
0014c2ffadd rdi, 608
0014c306mov rbx, rsp
0014c309mov rsp, [r14+64]
0014c30dcall caml_initialize
0014c312mov rsp, rbx
0014c315lea rsi, [rip+0x18f004]
0014c31clea rdi, [rip+0x18f68d]
0014c323add rdi, 616
0014c32amov rbx, rsp
0014c32dmov rsp, [r14+64]
0014c331call caml_initialize
0014c336mov rsp, rbx
0014c339lea rsi, [rip+0x18f000]
0014c340lea rdi, [rip+0x18f669]
0014c347add rdi, 624
0014c34emov rbx, rsp
0014c351mov rsp, [r14+64]
0014c355call caml_initialize
0014c35amov rsp, rbx
0014c35dlea rsi, [rip+0x18eff4]
0014c364lea rdi, [rip+0x18f645]
0014c36badd rdi, 632
0014c372mov rbx, rsp
0014c375mov rsp, [r14+64]
0014c379call caml_initialize
0014c37emov rsp, rbx
0014c381lea rsi, [rip+0x18eff0]
0014c388lea rdi, [rip+0x18f621]
0014c38fadd rdi, 640
0014c396mov rbx, rsp
0014c399mov rsp, [r14+64]
0014c39dcall caml_initialize
0014c3a2mov rsp, rbx
0014c3a5lea rsi, [rip+0x18efec]
0014c3aclea rdi, [rip+0x18f5fd]
0014c3b3add rdi, 648
0014c3bamov rbx, rsp
0014c3bdmov rsp, [r14+64]
0014c3c1call caml_initialize
0014c3c6mov rsp, rbx
0014c3c9lea rsi, [rip+0x18efe0]
0014c3d0lea rdi, [rip+0x18f5d9]
0014c3d7add rdi, 656
0014c3demov rbx, rsp
0014c3e1mov rsp, [r14+64]
0014c3e5call caml_initialize
0014c3eamov rsp, rbx
0014c3edlea rsi, [rip+0x18efd4]
0014c3f4lea rdi, [rip+0x18f5b5]
0014c3fbadd rdi, 664
0014c402mov rbx, rsp
0014c405mov rsp, [r14+64]
0014c409call caml_initialize
0014c40emov rsp, rbx
0014c411lea rsi, [rip+0x18efc8]
0014c418lea rdi, [rip+0x18f591]
0014c41fadd rdi, 672
0014c426mov rbx, rsp
0014c429mov rsp, [r14+64]
0014c42dcall caml_initialize
0014c432mov rsp, rbx
0014c435lea rsi, [rip+0x18efbc]
0014c43clea rdi, [rip+0x18f56d]
0014c443add rdi, 680
0014c44amov rbx, rsp
0014c44dmov rsp, [r14+64]
0014c451call caml_initialize
0014c456mov rsp, rbx
0014c459lea rsi, [rip+0x18efb0]
0014c460lea rdi, [rip+0x18f549]
0014c467add rdi, 688
0014c46emov rbx, rsp
0014c471mov rsp, [r14+64]
0014c475call caml_initialize
0014c47amov rsp, rbx
0014c47dlea rsi, [rip+0x18efac]
0014c484lea rdi, [rip+0x18f525]
0014c48badd rdi, 696
0014c492mov rbx, rsp
0014c495mov rsp, [r14+64]
0014c499call caml_initialize
0014c49emov rsp, rbx
0014c4a1lea rsi, [rip+0x18efc0]
0014c4a8lea r12, [rip+0x18efa1]
0014c4aflea rdi, [rip+0x18f4fa]
0014c4b6add rdi, 704
0014c4bdmov rbx, rsp
0014c4c0mov rsp, [r14+64]
0014c4c4call caml_initialize
0014c4c9mov rsp, rbx
0014c4cclea rdi, [rip+0x18f4dd]
0014c4d3add rdi, 712
0014c4damov rsi, r12
0014c4ddmov rbx, rsp
0014c4e0mov rsp, [r14+64]
0014c4e4call caml_initialize
0014c4e9mov rsp, rbx
0014c4eclea rsi, [rip+0x18ef8d]
0014c4f3lea rdi, [rip+0x18f4b6]
0014c4faadd rdi, 720
0014c501mov rbx, rsp
0014c504mov rsp, [r14+64]
0014c508call caml_initialize
0014c50dmov rsp, rbx
0014c510lea rsi, [rip+0x18ef81]
0014c517lea rdi, [rip+0x18f492]
0014c51eadd rdi, 728
0014c525mov rbx, rsp
0014c528mov rsp, [r14+64]
0014c52ccall caml_initialize
0014c531mov rsp, rbx
0014c534lea rsi, [rip+0x18ef75]
0014c53blea rdi, [rip+0x18f46e]
0014c542add rdi, 736
0014c549mov rbx, rsp
0014c54cmov rsp, [r14+64]
0014c550call caml_initialize
0014c555mov rsp, rbx
0014c558lea rsi, [rip+0x18ef69]
0014c55flea rdi, [rip+0x18f44a]
0014c566add rdi, 744
0014c56dmov rbx, rsp
0014c570mov rsp, [r14+64]
0014c574call caml_initialize
0014c579mov rsp, rbx
0014c57clea rsi, [rip+0x18ef5d]
0014c583lea rdi, [rip+0x18f426]
0014c58aadd rdi, 752
0014c591mov rbx, rsp
0014c594mov rsp, [r14+64]
0014c598call caml_initialize
0014c59dmov rsp, rbx
0014c5a0lea rsi, [rip+0x18ef51]
0014c5a7lea rdi, [rip+0x18f402]
0014c5aeadd rdi, 760
0014c5b5mov rbx, rsp
0014c5b8mov rsp, [r14+64]
0014c5bccall caml_initialize
0014c5c1mov rsp, rbx
0014c5c4lea rsi, [rip+0x18ef75]
0014c5cblea r12, [rip+0x18ef56]
0014c5d2lea r13, [rip+0x18ef37]
0014c5d9lea rdi, [rip+0x18f3d0]
0014c5e0add rdi, 768
0014c5e7mov rbx, rsp
0014c5eamov rsp, [r14+64]
0014c5eecall caml_initialize
0014c5f3mov rsp, rbx
0014c5f6lea rdi, [rip+0x18f3b3]
0014c5fdadd rdi, 776
0014c604mov rsi, r12
0014c607mov rbx, rsp
0014c60amov rsp, [r14+64]
0014c60ecall caml_initialize
0014c613mov rsp, rbx
0014c616lea rdi, [rip+0x18f393]
0014c61dadd rdi, 784
0014c624mov rsi, r13
0014c627mov rbx, rsp
0014c62amov rsp, [r14+64]
0014c62ecall caml_initialize
0014c633mov rsp, rbx
0014c636lea rsi, [rip+0x18ef1b]
0014c63dlea rdi, [rip+0x18f36c]
0014c644add rdi, 792
0014c64bmov rbx, rsp
0014c64emov rsp, [r14+64]
0014c652call caml_initialize
0014c657mov rsp, rbx
0014c65alea rsi, [rip+0x18ef0f]
0014c661lea rdi, [rip+0x18f348]
0014c668add rdi, 800
0014c66fmov rbx, rsp
0014c672mov rsp, [r14+64]
0014c676call caml_initialize
0014c67bmov rsp, rbx
0014c67elea rsi, [rip+0x18ef0b]
0014c685lea rdi, [rip+0x18f324]
0014c68cadd rdi, 808
0014c693mov rbx, rsp
0014c696mov rsp, [r14+64]
0014c69acall caml_initialize
0014c69fmov rsp, rbx
0014c6a2lea rsi, [rip+0x18ef07]
0014c6a9lea rdi, [rip+0x18f300]
0014c6b0add rdi, 816
0014c6b7mov rbx, rsp
0014c6bamov rsp, [r14+64]
0014c6becall caml_initialize
0014c6c3mov rsp, rbx
0014c6c6lea rsi, [rip+0x18ef03]
0014c6cdlea rdi, [rip+0x18f2dc]
0014c6d4add rdi, 824
0014c6dbmov rbx, rsp
0014c6demov rsp, [r14+64]
0014c6e2call caml_initialize
0014c6e7mov rsp, rbx
0014c6ealea rsi, [rip+0x18eef7]
0014c6f1lea rdi, [rip+0x18f2b8]
0014c6f8add rdi, 832
0014c6ffmov rbx, rsp
0014c702mov rsp, [r14+64]
0014c706call caml_initialize
0014c70bmov rsp, rbx
0014c70elea rsi, [rip+0x18eeeb]
0014c715lea rdi, [rip+0x18f294]
0014c71cadd rdi, 840
0014c723mov rbx, rsp
0014c726mov rsp, [r14+64]
0014c72acall caml_initialize
0014c72fmov rsp, rbx
0014c732lea rsi, [rip+0x18eedf]
0014c739lea rdi, [rip+0x18f270]
0014c740add rdi, 848
0014c747mov rbx, rsp
0014c74amov rsp, [r14+64]
0014c74ecall caml_initialize
0014c753mov rsp, rbx
0014c756lea rsi, [rip+0x18eef3]
0014c75dlea r12, [rip+0x18eed4]
0014c764lea rdi, [rip+0x18f245]
0014c76badd rdi, 856
0014c772mov rbx, rsp
0014c775mov rsp, [r14+64]
0014c779call caml_initialize
0014c77emov rsp, rbx
0014c781lea rdi, [rip+0x18f228]
0014c788add rdi, 864
0014c78fmov rsi, r12
0014c792mov rbx, rsp
0014c795mov rsp, [r14+64]
0014c799call caml_initialize
0014c79emov rsp, rbx
0014c7a1lea rsi, [rip+0x18eec0]
0014c7a8lea rdi, [rip+0x18f201]
0014c7afadd rdi, 872
0014c7b6mov rbx, rsp
0014c7b9mov rsp, [r14+64]
0014c7bdcall caml_initialize
0014c7c2mov rsp, rbx
0014c7c5lea rsi, [rip+0x18eeb4]
0014c7cclea rdi, [rip+0x18f1dd]
0014c7d3add rdi, 880
0014c7damov rbx, rsp
0014c7ddmov rsp, [r14+64]
0014c7e1call caml_initialize
0014c7e6mov rsp, rbx
0014c7e9lea rsi, [rip+0x18eea8]
0014c7f0lea rdi, [rip+0x18f1b9]
0014c7f7add rdi, 888
0014c7femov rbx, rsp
0014c801mov rsp, [r14+64]
0014c805call caml_initialize
0014c80amov rsp, rbx
0014c80dlea r12, [rip+0x18ee9c]
0014c814lea rdi, [rip+0x18f195]
0014c81badd rdi, 896
0014c822mov rsi, r12
0014c825mov rbx, rsp
0014c828mov rsp, [r14+64]
0014c82ccall caml_initialize
0014c831mov rsp, rbx
0014c834mov rsi, r12
0014c837add rsi, 32
0014c83blea rdi, [rip+0x18f16e]
0014c842add rdi, 904
0014c849mov rbx, rsp
0014c84cmov rsp, [r14+64]
0014c850call caml_initialize
0014c855mov rsp, rbx
0014c858mov rsi, r12
0014c85badd rsi, 64
0014c85flea rdi, [rip+0x18f14a]
0014c866add rdi, 912
0014c86dmov rbx, rsp
0014c870mov rsp, [r14+64]
0014c874call caml_initialize
0014c879mov rsp, rbx
0014c87cmov rsi, r12
0014c87fadd rsi, 96
0014c883lea rdi, [rip+0x18f126]
0014c88aadd rdi, 920
0014c891mov rbx, rsp
0014c894mov rsp, [r14+64]
0014c898call caml_initialize
0014c89dmov rsp, rbx
0014c8a0lea rsi, [rip+0x18ee89]
0014c8a7lea rdi, [rip+0x18f102]
0014c8aeadd rdi, 928
0014c8b5mov rbx, rsp
0014c8b8mov rsp, [r14+64]
0014c8bccall caml_initialize
0014c8c1mov rsp, rbx
0014c8c4lea rsi, [rip+0x18ee7d]
0014c8cblea rdi, [rip+0x18f0de]
0014c8d2add rdi, 936
0014c8d9mov rbx, rsp
0014c8dcmov rsp, [r14+64]
0014c8e0call caml_initialize
0014c8e5mov rsp, rbx
0014c8e8lea rsi, [rip+0x18ee79]
0014c8eflea rdi, [rip+0x18f0ba]
0014c8f6add rdi, 944
0014c8fdmov rbx, rsp
0014c900mov rsp, [r14+64]
0014c904call caml_initialize
0014c909mov rsp, rbx
0014c90clea rsi, [rip+0x18ee75]
0014c913lea rdi, [rip+0x18f096]
0014c91aadd rdi, 952
0014c921mov rbx, rsp
0014c924mov rsp, [r14+64]
0014c928call caml_initialize
0014c92dmov rsp, rbx
0014c930lea rsi, [rip+0x18ee69]
0014c937lea rdi, [rip+0x18f072]
0014c93eadd rdi, 960
0014c945mov rbx, rsp
0014c948mov rsp, [r14+64]
0014c94ccall caml_initialize
0014c951mov rsp, rbx
0014c954lea rsi, [rip+0x18eea5]
0014c95blea r12, [rip+0x18ee86]
0014c962lea r13, [rip+0x18ee67]
0014c969lea rbp, [rip+0x18ee48]
0014c970lea rdi, [rip+0x18f039]
0014c977add rdi, 968
0014c97emov rbx, rsp
0014c981mov rsp, [r14+64]
0014c985call caml_initialize
0014c98amov rsp, rbx
0014c98dlea rdi, [rip+0x18f01c]
0014c994add rdi, 976
0014c99bmov rsi, r12
0014c99emov rbx, rsp
0014c9a1mov rsp, [r14+64]
0014c9a5call caml_initialize
0014c9aamov rsp, rbx
0014c9adlea rdi, [rip+0x18effc]
0014c9b4add rdi, 984
0014c9bbmov rsi, r13
0014c9bemov rbx, rsp
0014c9c1mov rsp, [r14+64]
0014c9c5call caml_initialize
0014c9camov rsp, rbx
0014c9cdlea rdi, [rip+0x18efdc]
0014c9d4add rdi, 992
0014c9dbmov rsi, rbp
0014c9demov rbx, rsp
0014c9e1mov rsp, [r14+64]
0014c9e5call caml_initialize
0014c9eamov rsp, rbx
0014c9edlea rsi, [rip+0x18ee24]
0014c9f4lea rdi, [rip+0x18efb5]
0014c9fbadd rdi, 1000
0014ca02mov rbx, rsp
0014ca05mov rsp, [r14+64]
0014ca09call caml_initialize
0014ca0emov rsp, rbx
0014ca11lea rsi, [rip+0x18ee18]
0014ca18lea rdi, [rip+0x18ef91]
0014ca1fadd rdi, 1008
0014ca26mov rbx, rsp
0014ca29mov rsp, [r14+64]
0014ca2dcall caml_initialize
0014ca32mov rsp, rbx
0014ca35lea rsi, [rip+0x18ee0c]
0014ca3clea rdi, [rip+0x18ef6d]
0014ca43add rdi, 1016
0014ca4amov rbx, rsp
0014ca4dmov rsp, [r14+64]
0014ca51call caml_initialize
0014ca56mov rsp, rbx
0014ca59lea rsi, [rip+0x18ee00]
0014ca60lea rdi, [rip+0x18ef49]
0014ca67add rdi, 1024
0014ca6emov rbx, rsp
0014ca71mov rsp, [r14+64]
0014ca75call caml_initialize
0014ca7amov rsp, rbx
0014ca7dlea rsi, [rip+0x18edf4]
0014ca84lea rdi, [rip+0x18ef25]
0014ca8badd rdi, 1032
0014ca92mov rbx, rsp
0014ca95mov rsp, [r14+64]
0014ca99call caml_initialize
0014ca9emov rsp, rbx
0014caa1lea rsi, [rip+0x18ede8]
0014caa8lea rdi, [rip+0x18ef01]
0014caafadd rdi, 1040
0014cab6mov rbx, rsp
0014cab9mov rsp, [r14+64]
0014cabdcall caml_initialize
0014cac2mov rsp, rbx
0014cac5lea rsi, [rip+0x18ede4]
0014cacclea rdi, [rip+0x18eedd]
0014cad3add rdi, 1048
0014cadamov rbx, rsp
0014caddmov rsp, [r14+64]
0014cae1call caml_initialize
0014cae6mov rsp, rbx
0014cae9lea rsi, [rip+0x18ede0]
0014caf0lea rdi, [rip+0x18eeb9]
0014caf7add rdi, 1056
0014cafemov rbx, rsp
0014cb01mov rsp, [r14+64]
0014cb05call caml_initialize
0014cb0amov rsp, rbx
0014cb0dlea rsi, [rip+0x18edd4]
0014cb14lea rdi, [rip+0x18ee95]
0014cb1badd rdi, 1064
0014cb22mov rbx, rsp
0014cb25mov rsp, [r14+64]
0014cb29call caml_initialize
0014cb2emov rsp, rbx
0014cb31lea rsi, [rip+0x18edc8]
0014cb38lea rdi, [rip+0x18ee71]
0014cb3fadd rdi, 1072
0014cb46mov rbx, rsp
0014cb49mov rsp, [r14+64]
0014cb4dcall caml_initialize
0014cb52mov rsp, rbx
0014cb55lea rsi, [rip+0x18edbc]
0014cb5clea rdi, [rip+0x18ee4d]
0014cb63add rdi, 1080
0014cb6amov rbx, rsp
0014cb6dmov rsp, [r14+64]
0014cb71call caml_initialize
0014cb76mov rsp, rbx
0014cb79lea rsi, [rip+0x18edc8]
0014cb80lea r12, [rip+0x18eda9]
0014cb87lea rdi, [rip+0x18ee22]
0014cb8eadd rdi, 1088
0014cb95mov rbx, rsp
0014cb98mov rsp, [r14+64]
0014cb9ccall caml_initialize
0014cba1mov rsp, rbx
0014cba4lea rdi, [rip+0x18ee05]
0014cbabadd rdi, 1096
0014cbb2mov rsi, r12
0014cbb5mov rbx, rsp
0014cbb8mov rsp, [r14+64]
0014cbbccall caml_initialize
0014cbc1mov rsp, rbx
0014cbc4lea rsi, [rip+0x18ed95]
0014cbcblea rdi, [rip+0x18edde]
0014cbd2add rdi, 1104
0014cbd9mov rbx, rsp
0014cbdcmov rsp, [r14+64]
0014cbe0call caml_initialize
0014cbe5mov rsp, rbx
0014cbe8lea rsi, [rip+0x18ed91]
0014cbeflea rdi, [rip+0x18edba]
0014cbf6add rdi, 1112
0014cbfdmov rbx, rsp
0014cc00mov rsp, [r14+64]
0014cc04call caml_initialize
0014cc09mov rsp, rbx
0014cc0clea rsi, [rip+0x18ed85]
0014cc13lea rdi, [rip+0x18ed96]
0014cc1aadd rdi, 1120
0014cc21mov rbx, rsp
0014cc24mov rsp, [r14+64]
0014cc28call caml_initialize
0014cc2dmov rsp, rbx
0014cc30mov eax, 1
0014cc35add rsp, 112
0014cc39ret
0014cc3a
0014cc3aloc_14cc3a:
0014cc3apush 47
0014cc3ccall caml_call_realloc_stack
0014cc41pop r10
0014cc43jmp 0x14b102
0014b0f0

0014cc48
0014cc48 // align 0x10

0014cc50
0014cc50camlHot.checkpoint_462:
0014cc50lea r10, [rsp-352]
0014cc58cmp r10, [r14+40]
0014cc5cjb 0x14cd0a
0014cc62
0014cc62loc_14cc62:
0014cc62sub rsp, 32
0014cc66mov eax, 1
0014cc6bcall camlFoot.checkpoint_377
0014cc70mov [rsp+24], rax
0014cc75mov eax, 1
0014cc7acall camlColor.checkpoint_356
0014cc7fmov [rsp+16], rax
0014cc84mov eax, 1
0014cc89call camlCounter.checkpoint_485
0014cc8emov [rsp+8], rax
0014cc93mov eax, 1
0014cc98call camlLatexmacros.checkpoint_884
0014cc9dmov [rsp], rax
0014cca1mov eax, 1
0014cca6call camlLexstate.checkpoint_1262
0014ccabsub r15, 56
0014ccafcmp r15, [r14]
0014ccb2jb 0x14cd03
0014ccb4
0014ccb4loc_14ccb4:
0014ccb4lea rbx, [r15+8]
0014ccb8mov [rbx-8], 6144
0014ccc0lea rdi, [rip+0x1dd3a9]
0014ccc7mov rdi, [rdi+272]
0014cccemov rdi, [rdi]
0014ccd1mov [rbx], rdi
0014ccd4mov [rbx+8], rax
0014ccd8mov rax, [rsp]
0014ccdcmov [rbx+16], rax
0014cce0mov rax, [rsp+8]
0014cce5mov [rbx+24], rax
0014cce9mov rax, [rsp+16]
0014cceemov [rbx+32], rax
0014ccf2mov rax, [rsp+24]
0014ccf7mov [rbx+40], rax
0014ccfbmov rax, rbx
0014ccfeadd rsp, 32
0014cd02ret
0014cd03
0014cd03loc_14cd03:
0014cd03call caml_call_gc
0014cd08jmp 0x14ccb4
0014cd0a
0014cd0aloc_14cd0a:
0014cd0apush 37
0014cd0ccall caml_call_realloc_stack
0014cd11pop r10
0014cd13jmp 0x14cc62
0014cc50