File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
Loading..
001646c0
001646c0camlGet.fun_1181:
001646c0lea r10, [rsp-328]
001646c8cmp r10, [r14+40]
001646ccjb 0x16475e
001646d2
001646d2loc_1646d2:
001646d2sub rsp, 8
001646d6mov [rsp], rax
001646dasub r15, 56
001646decmp r15, [r14]
001646e1jb 0x164757
001646e3
001646e3loc_1646e3:
001646e3lea rdi, [r15+8]
001646e7add rdi, 40
001646ebmov [rdi-8], 1026
001646f3mov [rdi], rbx
001646f6lea rsi, [rdi-24]
001646famov [rsi-8], 2048
00164702lea rbx, [rip+0x1b2297]
00164709mov rbx, [rbx+56]
0016470dmov [rsi], rbx
00164710mov [rsi+8], rdi
00164714lea rbx, [rsi-16]
00164718mov [rbx-8], 1024
00164720mov [rbx], rsi
00164723call camlLatexmacros.replace_969
00164728sub r15, 24
0016472ccmp r15, [r14]
0016472fjb 0x164750
00164731
00164731loc_164731:
00164731lea rbx, [r15+8]
00164735mov [rbx-8], 2048
0016473dmov rdi, [rsp]
00164741mov [rbx], rdi
00164744mov [rbx+8], rax
00164748mov rax, rbx
0016474badd rsp, 8
0016474fret
00164750
00164750loc_164750:
00164750call caml_call_gc
00164755jmp 0x164731
00164757
00164757loc_164757:
00164757call caml_call_gc
0016475cjmp 0x1646e3
0016475e
0016475eloc_16475e:
0016475epush 34
00164760call caml_call_realloc_stack
00164765pop r10
00164767jmp 0x1646d2
001646c0
001646c0camlGet.fun_1181:
001646c0lea r10, [rsp-328]
001646c8cmp r10, [r14+40]
001646ccjb 0x16475e
001646d2
001646d2loc_1646d2:
001646d2sub rsp, 8
001646d6mov [rsp], rax
001646dasub r15, 56
001646decmp r15, [r14]
001646e1jb 0x164757
001646e3
001646e3loc_1646e3:
001646e3lea rdi, [r15+8]
001646e7add rdi, 40
001646ebmov [rdi-8], 1026
001646f3mov [rdi], rbx
001646f6lea rsi, [rdi-24]
001646famov [rsi-8], 2048
00164702lea rbx, [rip+0x1b2297]
00164709mov rbx, [rbx+56]
0016470dmov [rsi], rbx
00164710mov [rsi+8], rdi
00164714lea rbx, [rsi-16]
00164718mov [rbx-8], 1024
00164720mov [rbx], rsi
00164723call camlLatexmacros.replace_969
00164728sub r15, 24
0016472ccmp r15, [r14]
0016472fjb 0x164750
00164731
00164731loc_164731:
00164731lea rbx, [r15+8]
00164735mov [rbx-8], 2048
0016473dmov rdi, [rsp]
00164741mov [rbx], rdi
00164744mov [rbx+8], rax
00164748mov rax, rbx
0016474badd rsp, 8
0016474fret
00164750
00164750loc_164750:
00164750call caml_call_gc
00164755jmp 0x164731
00164757
00164757loc_164757:
00164757call caml_call_gc
0016475cjmp 0x1646e3
0016475e
0016475eloc_16475e:
0016475epush 34
00164760call caml_call_realloc_stack
00164765pop r10
00164767jmp 0x1646d2
001646c0
0016476c
0016476c // align 0x10
0016476c // align 0x10
00164770
00164770camlGet.def_commands_int_797:
00164770sub r15, 144
00164777cmp r15, [r14]
0016477ajb 0x164829
00164780
00164780loc_164780:
00164780lea rax, [r15+8]
00164784add rax, 120
00164788mov [rax-8], 2048
00164790lea rbx, [rip+0x191401]
00164797mov [rax], rbx
0016479alea rbx, [rip+0x190cbf]
001647a1mov [rax+8], rbx
001647a5lea rbx, [rax-24]
001647a9mov [rbx-8], 2048
001647b1mov [rbx], rax
001647b4mov [rbx+8], 1
001647bclea rax, [rbx-24]
001647c0mov [rax-8], 2048
001647c8lea rdi, [rip+0x1913e1]
001647cfmov [rax], rdi
001647d2lea rdi, [rip+0x190c9f]
001647d9mov [rax+8], rdi
001647ddlea rdi, [rax-24]
001647e1mov [rdi-8], 2048
001647e9mov [rdi], rax
001647ecmov [rdi+8], rbx
001647f0lea rbx, [rdi-24]
001647f4mov [rbx-8], 2048
001647fclea rax, [rip+0x1913c5]
00164803mov [rbx], rax
00164806lea rax, [rip+0x190c83]
0016480dmov [rbx+8], rax
00164811lea rax, [rbx-24]
00164815mov [rax-8], 2048
0016481dmov [rax], rbx
00164820mov [rax+8], rdi
00164824jmp 0x1646b0
00164829
00164829loc_164829:
00164829call caml_call_gc
0016482ejmp 0x164780
00164770
00164770camlGet.def_commands_int_797:
00164770sub r15, 144
00164777cmp r15, [r14]
0016477ajb 0x164829
00164780
00164780loc_164780:
00164780lea rax, [r15+8]
00164784add rax, 120
00164788mov [rax-8], 2048
00164790lea rbx, [rip+0x191401]
00164797mov [rax], rbx
0016479alea rbx, [rip+0x190cbf]
001647a1mov [rax+8], rbx
001647a5lea rbx, [rax-24]
001647a9mov [rbx-8], 2048
001647b1mov [rbx], rax
001647b4mov [rbx+8], 1
001647bclea rax, [rbx-24]
001647c0mov [rax-8], 2048
001647c8lea rdi, [rip+0x1913e1]
001647cfmov [rax], rdi
001647d2lea rdi, [rip+0x190c9f]
001647d9mov [rax+8], rdi
001647ddlea rdi, [rax-24]
001647e1mov [rdi-8], 2048
001647e9mov [rdi], rax
001647ecmov [rdi+8], rbx
001647f0lea rbx, [rdi-24]
001647f4mov [rbx-8], 2048
001647fclea rax, [rip+0x1913c5]
00164803mov [rbx], rax
00164806lea rax, [rip+0x190c83]
0016480dmov [rbx+8], rax
00164811lea rax, [rbx-24]
00164815mov [rax-8], 2048
0016481dmov [rax], rbx
00164820mov [rax+8], rdi
00164824jmp 0x1646b0
00164829
00164829loc_164829:
00164829call caml_call_gc
0016482ejmp 0x164780
00164770
00164833
00164833 // align 0x10
00164833 // align 0x10
00164840
00164840camlGet.fun_1184:
00164840lea r10, [rsp-328]
00164848cmp r10, [r14+40]
0016484cjb 0x164880
0016484e
0016484eloc_16484e:
0016484esub rsp, 8
00164852lea rbx, [rip+0x191007]
00164859mov rbx, [rbx+72]
0016485dmov rbx, [rbx]
00164860mov [rsp], rbx
00164864call camlLexstate.save_arg_1030
00164869mov rbx, [rsp]
0016486dmov rdi, [rbx]
00164870call rdi
00164872call camlCounter.value_counter_658
00164877add rsp, 8
0016487bjmp 0x163b90
00164880
00164880loc_164880:
00164880push 34
00164882call caml_call_realloc_stack
00164887pop r10
00164889jmp 0x16484e
00164840
00164840camlGet.fun_1184:
00164840lea r10, [rsp-328]
00164848cmp r10, [r14+40]
0016484cjb 0x164880
0016484e
0016484eloc_16484e:
0016484esub rsp, 8
00164852lea rbx, [rip+0x191007]
00164859mov rbx, [rbx+72]
0016485dmov rbx, [rbx]
00164860mov [rsp], rbx
00164864call camlLexstate.save_arg_1030
00164869mov rbx, [rsp]
0016486dmov rdi, [rbx]
00164870call rdi
00164872call camlCounter.value_counter_658
00164877add rsp, 8
0016487bjmp 0x163b90
00164880
00164880loc_164880:
00164880push 34
00164882call caml_call_realloc_stack
00164887pop r10
00164889jmp 0x16484e
00164840
0016488b
0016488b // align 0x10
0016488b // align 0x10
00164890
00164890camlGet.fun_1186:
00164890lea r10, [rsp-328]
00164898cmp r10, [r14+40]
0016489cjb 0x164932
001648a2
001648a2loc_1648a2:
001648a2sub rsp, 8
001648a6lea rbx, [rip+0x190fb3]
001648admov rbx, [rbx+72]
001648b1mov rbx, [rbx]
001648b4mov [rsp], rbx
001648b8call camlLexstate.save_arg_1030
001648bdmov rbx, [rsp]
001648c1mov rdi, [rbx]
001648c4call rdi
001648c6call camlMyLexing.from_string_309
001648cbcall camlLength.main_473
001648d0test al, 1
001648d2jne 0x164924
001648d4movzx rbx, [rax-8]
001648d9cmp rbx, 1
001648ddje 0x1648ec
001648dftest rbx, rbx
001648e2jne 0x164924
001648e4mov rax, [rax]
001648e7jmp 0x164929
001648e9
001648e9 0f 1f 00 ...
001648ec
001648ecloc_1648ec:
001648ecmov rbx, [rax]
001648efimul rbx, rbx, 100
001648f3inc rbx
001648f6sar rbx, 1
001648f9mov rdi, rbx
001648fcshr rdi, 63
00164900mov rsi, 0xa3d70a3d70a3d70b
0016490amov rax, rbx
0016490dimul rsi
00164910add rdx, rbx
00164913sar rdx, 10
00164917add rdx, rdi
0016491alea rax, [rdx+rdx+1]
0016491fjmp 0x164929
00164921
00164921 0f 1f 00 ...
00164924
00164924loc_164924:
00164924mov eax, 5
00164929
00164929loc_164929:
00164929add rsp, 8
0016492djmp 0x163b90
00164932
00164932loc_164932:
00164932push 34
00164934call caml_call_realloc_stack
00164939pop r10
0016493bjmp 0x1648a2
00164890
00164890camlGet.fun_1186:
00164890lea r10, [rsp-328]
00164898cmp r10, [r14+40]
0016489cjb 0x164932
001648a2
001648a2loc_1648a2:
001648a2sub rsp, 8
001648a6lea rbx, [rip+0x190fb3]
001648admov rbx, [rbx+72]
001648b1mov rbx, [rbx]
001648b4mov [rsp], rbx
001648b8call camlLexstate.save_arg_1030
001648bdmov rbx, [rsp]
001648c1mov rdi, [rbx]
001648c4call rdi
001648c6call camlMyLexing.from_string_309
001648cbcall camlLength.main_473
001648d0test al, 1
001648d2jne 0x164924
001648d4movzx rbx, [rax-8]
001648d9cmp rbx, 1
001648ddje 0x1648ec
001648dftest rbx, rbx
001648e2jne 0x164924
001648e4mov rax, [rax]
001648e7jmp 0x164929
001648e9
001648e9 0f 1f 00 ...
001648ec
001648ecloc_1648ec:
001648ecmov rbx, [rax]
001648efimul rbx, rbx, 100
001648f3inc rbx
001648f6sar rbx, 1
001648f9mov rdi, rbx
001648fcshr rdi, 63
00164900mov rsi, 0xa3d70a3d70a3d70b
0016490amov rax, rbx
0016490dimul rsi
00164910add rdx, rbx
00164913sar rdx, 10
00164917add rdx, rdi
0016491alea rax, [rdx+rdx+1]
0016491fjmp 0x164929
00164921
00164921 0f 1f 00 ...
00164924
00164924loc_164924:
00164924mov eax, 5
00164929
00164929loc_164929:
00164929add rsp, 8
0016492djmp 0x163b90
00164932
00164932loc_164932:
00164932push 34
00164934call caml_call_realloc_stack
00164939pop r10
0016493bjmp 0x1648a2
00164890
00164940
00164940camlGet.fun_1189:
00164940lea r10, [rsp-328]
00164948cmp r10, [r14+40]
0016494cjb 0x16498c
0016494e
0016494eloc_16494e:
0016494esub rsp, 8
00164952lea rbx, [rip+0x190f07]
00164959mov rbx, [rbx+72]
0016495dmov rbx, [rbx]
00164960mov [rsp], rbx
00164964call camlLexstate.save_arg_1030
00164969mov rbx, [rsp]
0016496dmov rdi, [rbx]
00164970call rdi
00164972mov rbx, rax
00164975lea rax, [rip+0x190ee4]
0016497cmov rax, [rax+208]
00164983add rsp, 8
00164987jmp 0x17f150
0016498c
0016498cloc_16498c:
0016498cpush 34
0016498ecall caml_call_realloc_stack
00164993pop r10
00164995jmp 0x16494e
00164940
00164940camlGet.fun_1189:
00164940lea r10, [rsp-328]
00164948cmp r10, [r14+40]
0016494cjb 0x16498c
0016494e
0016494eloc_16494e:
0016494esub rsp, 8
00164952lea rbx, [rip+0x190f07]
00164959mov rbx, [rbx+72]
0016495dmov rbx, [rbx]
00164960mov [rsp], rbx
00164964call camlLexstate.save_arg_1030
00164969mov rbx, [rsp]
0016496dmov rdi, [rbx]
00164970call rdi
00164972mov rbx, rax
00164975lea rax, [rip+0x190ee4]
0016497cmov rax, [rax+208]
00164983add rsp, 8
00164987jmp 0x17f150
0016498c
0016498cloc_16498c:
0016498cpush 34
0016498ecall caml_call_realloc_stack
00164993pop r10
00164995jmp 0x16494e
00164940
00164997
00164997 // align 0x10
00164997 // align 0x10
001649a0
001649a0camlGet.def_commands_bool_819:
001649a0lea r10, [rsp-352]
001649a8cmp r10, [r14+40]
001649acjb 0x164cb3
001649b2
001649b2loc_1649b2:
001649b2sub rsp, 16
001649b6mov eax, 1
001649bbcall camlGet.def_commands_int_797
001649c0mov [rsp], rax
001649c4sub r15, 432
001649cbcmp r15, [r14]
001649cejb 0x164ca9
001649d4
001649d4loc_1649d4:
001649d4lea rax, [r15+8]
001649d8add rax, 408
001649demov [rax-8], 2048
001649e6lea rbx, [rip+0x19106b]
001649edmov [rax], rbx
001649f0lea rbx, [rip+0x190ab1]
001649f7mov [rax+8], rbx
001649fblea rbx, [rax-24]
001649ffmov [rbx-8], 2048
00164a07mov [rbx], rax
00164a0amov [rbx+8], 1
00164a12lea rax, [rbx-24]
00164a16mov [rax-8], 2048
00164a1elea rdi, [rip+0x19108b]
00164a25mov [rax], rdi
00164a28lea rdi, [rip+0x190a91]
00164a2fmov [rax+8], rdi
00164a33lea rdi, [rax-24]
00164a37mov [rdi-8], 2048
00164a3fmov [rdi], rax
00164a42mov [rdi+8], rbx
00164a46lea rax, [rdi-24]
00164a4amov [rax-8], 2048
00164a52lea rbx, [rip+0x19107f]
00164a59mov [rax], rbx
00164a5clea rbx, [rip+0x190a75]
00164a63mov [rax+8], rbx
00164a67lea rbx, [rax-24]
00164a6bmov [rbx-8], 2048
00164a73mov [rbx], rax
00164a76mov [rbx+8], rdi
00164a7alea rax, [rbx-24]
00164a7emov [rax-8], 2048
00164a86lea rdi, [rip+0x19106b]
00164a8dmov [rax], rdi
00164a90lea rdi, [rip+0x190a59]
00164a97mov [rax+8], rdi
00164a9blea rdi, [rax-24]
00164a9fmov [rdi-8], 2048
00164aa7mov [rdi], rax
00164aaamov [rdi+8], rbx
00164aaelea rax, [rdi-24]
00164ab2mov [rax-8], 2048
00164abalea rbx, [rip+0x191077]
00164ac1mov [rax], rbx
00164ac4lea rbx, [rip+0x190a3d]
00164acbmov [rax+8], rbx
00164acflea rbx, [rax-24]
00164ad3mov [rbx-8], 2048
00164adbmov [rbx], rax
00164ademov [rbx+8], rdi
00164ae2lea rax, [rbx-24]
00164ae6mov [rax-8], 2048
00164aeelea rdi, [rip+0x191053]
00164af5mov [rax], rdi
00164af8lea rdi, [rip+0x190a21]
00164affmov [rax+8], rdi
00164b03lea rdi, [rax-24]
00164b07mov [rdi-8], 2048
00164b0fmov [rdi], rax
00164b12mov [rdi+8], rbx
00164b16lea rax, [rdi-24]
00164b1amov [rax-8], 2048
00164b22lea rbx, [rip+0x191037]
00164b29mov [rax], rbx
00164b2clea rbx, [rip+0x190a05]
00164b33mov [rax+8], rbx
00164b37lea rbx, [rax-24]
00164b3bmov [rbx-8], 2048
00164b43mov [rbx], rax
00164b46mov [rbx+8], rdi
00164b4alea rax, [rbx-24]
00164b4emov [rax-8], 2048
00164b56lea rdi, [rip+0x19101b]
00164b5dmov [rax], rdi
00164b60lea rdi, [rip+0x1909e9]
00164b67mov [rax+8], rdi
00164b6blea rdi, [rax-24]
00164b6fmov [rdi-8], 2048
00164b77mov [rdi], rax
00164b7amov [rdi+8], rbx
00164b7elea rbx, [rdi-24]
00164b82mov [rbx-8], 2048
00164b8alea rax, [rip+0x190ff7]
00164b91mov [rbx], rax
00164b94lea rax, [rip+0x1909cd]
00164b9bmov [rbx+8], rax
00164b9flea rax, [rbx-24]
00164ba3mov [rax-8], 2048
00164babmov [rax], rbx
00164baemov [rax+8], rdi
00164bb2call camlGet.def_commands_791
00164bb7mov [rsp+8], rax
00164bbclea r11, [rip+61]
00164bc3push r11
00164bc5push [r14+48]
00164bc9mov [r14+48], rsp
00164bcdlea rax, [rip+0x190e4c]
00164bd4call camlLatexmacros.find_fail_942
00164bd9sub r15, 16
00164bddcmp r15, [r14]
00164be0jb 0x164c9f
00164be6
00164be6loc_164be6:
00164be6lea rbx, [r15+8]
00164beamov [rbx-8], 1024
00164bf2mov [rbx], rax
00164bf5pop [r14+48]
00164bf9add rsp, 8
00164bfdjmp 0x164c28
00164bffnop
00164c00lea rbx, [rip+0x1afd61]
00164c07mov rbx, [rbx]
00164c0acmp rax, rbx
00164c0djne 0x164c18
00164c0fmov ebx, 1
00164c14jmp 0x164c28
00164c16nop
00164c18
00164c18loc_164c18:
00164c18mov rsp, [r14+48]
00164c1cpop [r14+48]
00164c20pop r11
00164c22jmp r11
00164c25nop [rax]
00164c28
00164c28loc_164c28:
00164c28sub r15, 64
00164c2ccmp r15, [r14]
00164c2fjb 0x164c98
00164c31
00164c31loc_164c31:
00164c31lea rax, [r15+8]
00164c35add rax, 16
00164c39mov [rax-8], 5367
00164c41lea rdi, [rip+2312]
00164c48mov [rax], rdi
00164c4bmov rdi, 0x100000000000005
00164c55mov [rax+8], rdi
00164c59mov rdi, [rsp]
00164c5dmov [rax+16], rdi
00164c61mov rdi, [rsp+8]
00164c66mov [rax+24], rdi
00164c6amov [rax+32], rbx
00164c6elea rdi, [rax-16]
00164c72mov [rdi-8], 1026
00164c7amov [rdi], rax
00164c7dlea rax, [rip+0x1b1d1c]
00164c84mov rbx, [rax+56]
00164c88lea rax, [rip+0x190d91]
00164c8fadd rsp, 16
00164c93jmp 0x17af20
00164c98
00164c98loc_164c98:
00164c98call caml_call_gc
00164c9djmp 0x164c31
00164c9f
00164c9floc_164c9f:
00164c9fcall caml_call_gc
00164ca4jmp 0x164be6
00164ca9
00164ca9loc_164ca9:
00164ca9call caml_call_gc
00164caejmp 0x1649d4
00164cb3
00164cb3loc_164cb3:
00164cb3push 37
00164cb5call caml_call_realloc_stack
00164cbapop r10
00164cbcjmp 0x1649b2
001649a0
001649a0camlGet.def_commands_bool_819:
001649a0lea r10, [rsp-352]
001649a8cmp r10, [r14+40]
001649acjb 0x164cb3
001649b2
001649b2loc_1649b2:
001649b2sub rsp, 16
001649b6mov eax, 1
001649bbcall camlGet.def_commands_int_797
001649c0mov [rsp], rax
001649c4sub r15, 432
001649cbcmp r15, [r14]
001649cejb 0x164ca9
001649d4
001649d4loc_1649d4:
001649d4lea rax, [r15+8]
001649d8add rax, 408
001649demov [rax-8], 2048
001649e6lea rbx, [rip+0x19106b]
001649edmov [rax], rbx
001649f0lea rbx, [rip+0x190ab1]
001649f7mov [rax+8], rbx
001649fblea rbx, [rax-24]
001649ffmov [rbx-8], 2048
00164a07mov [rbx], rax
00164a0amov [rbx+8], 1
00164a12lea rax, [rbx-24]
00164a16mov [rax-8], 2048
00164a1elea rdi, [rip+0x19108b]
00164a25mov [rax], rdi
00164a28lea rdi, [rip+0x190a91]
00164a2fmov [rax+8], rdi
00164a33lea rdi, [rax-24]
00164a37mov [rdi-8], 2048
00164a3fmov [rdi], rax
00164a42mov [rdi+8], rbx
00164a46lea rax, [rdi-24]
00164a4amov [rax-8], 2048
00164a52lea rbx, [rip+0x19107f]
00164a59mov [rax], rbx
00164a5clea rbx, [rip+0x190a75]
00164a63mov [rax+8], rbx
00164a67lea rbx, [rax-24]
00164a6bmov [rbx-8], 2048
00164a73mov [rbx], rax
00164a76mov [rbx+8], rdi
00164a7alea rax, [rbx-24]
00164a7emov [rax-8], 2048
00164a86lea rdi, [rip+0x19106b]
00164a8dmov [rax], rdi
00164a90lea rdi, [rip+0x190a59]
00164a97mov [rax+8], rdi
00164a9blea rdi, [rax-24]
00164a9fmov [rdi-8], 2048
00164aa7mov [rdi], rax
00164aaamov [rdi+8], rbx
00164aaelea rax, [rdi-24]
00164ab2mov [rax-8], 2048
00164abalea rbx, [rip+0x191077]
00164ac1mov [rax], rbx
00164ac4lea rbx, [rip+0x190a3d]
00164acbmov [rax+8], rbx
00164acflea rbx, [rax-24]
00164ad3mov [rbx-8], 2048
00164adbmov [rbx], rax
00164ademov [rbx+8], rdi
00164ae2lea rax, [rbx-24]
00164ae6mov [rax-8], 2048
00164aeelea rdi, [rip+0x191053]
00164af5mov [rax], rdi
00164af8lea rdi, [rip+0x190a21]
00164affmov [rax+8], rdi
00164b03lea rdi, [rax-24]
00164b07mov [rdi-8], 2048
00164b0fmov [rdi], rax
00164b12mov [rdi+8], rbx
00164b16lea rax, [rdi-24]
00164b1amov [rax-8], 2048
00164b22lea rbx, [rip+0x191037]
00164b29mov [rax], rbx
00164b2clea rbx, [rip+0x190a05]
00164b33mov [rax+8], rbx
00164b37lea rbx, [rax-24]
00164b3bmov [rbx-8], 2048
00164b43mov [rbx], rax
00164b46mov [rbx+8], rdi
00164b4alea rax, [rbx-24]
00164b4emov [rax-8], 2048
00164b56lea rdi, [rip+0x19101b]
00164b5dmov [rax], rdi
00164b60lea rdi, [rip+0x1909e9]
00164b67mov [rax+8], rdi
00164b6blea rdi, [rax-24]
00164b6fmov [rdi-8], 2048
00164b77mov [rdi], rax
00164b7amov [rdi+8], rbx
00164b7elea rbx, [rdi-24]
00164b82mov [rbx-8], 2048
00164b8alea rax, [rip+0x190ff7]
00164b91mov [rbx], rax
00164b94lea rax, [rip+0x1909cd]
00164b9bmov [rbx+8], rax
00164b9flea rax, [rbx-24]
00164ba3mov [rax-8], 2048
00164babmov [rax], rbx
00164baemov [rax+8], rdi
00164bb2call camlGet.def_commands_791
00164bb7mov [rsp+8], rax
00164bbclea r11, [rip+61]
00164bc3push r11
00164bc5push [r14+48]
00164bc9mov [r14+48], rsp
00164bcdlea rax, [rip+0x190e4c]
00164bd4call camlLatexmacros.find_fail_942
00164bd9sub r15, 16
00164bddcmp r15, [r14]
00164be0jb 0x164c9f
00164be6
00164be6loc_164be6:
00164be6lea rbx, [r15+8]
00164beamov [rbx-8], 1024
00164bf2mov [rbx], rax
00164bf5pop [r14+48]
00164bf9add rsp, 8
00164bfdjmp 0x164c28
00164bffnop
00164c00lea rbx, [rip+0x1afd61]
00164c07mov rbx, [rbx]
00164c0acmp rax, rbx
00164c0djne 0x164c18
00164c0fmov ebx, 1
00164c14jmp 0x164c28
00164c16nop
00164c18
00164c18loc_164c18:
00164c18mov rsp, [r14+48]
00164c1cpop [r14+48]
00164c20pop r11
00164c22jmp r11
00164c25nop [rax]
00164c28
00164c28loc_164c28:
00164c28sub r15, 64
00164c2ccmp r15, [r14]
00164c2fjb 0x164c98
00164c31
00164c31loc_164c31:
00164c31lea rax, [r15+8]
00164c35add rax, 16
00164c39mov [rax-8], 5367
00164c41lea rdi, [rip+2312]
00164c48mov [rax], rdi
00164c4bmov rdi, 0x100000000000005
00164c55mov [rax+8], rdi
00164c59mov rdi, [rsp]
00164c5dmov [rax+16], rdi
00164c61mov rdi, [rsp+8]
00164c66mov [rax+24], rdi
00164c6amov [rax+32], rbx
00164c6elea rdi, [rax-16]
00164c72mov [rdi-8], 1026
00164c7amov [rdi], rax
00164c7dlea rax, [rip+0x1b1d1c]
00164c84mov rbx, [rax+56]
00164c88lea rax, [rip+0x190d91]
00164c8fadd rsp, 16
00164c93jmp 0x17af20
00164c98
00164c98loc_164c98:
00164c98call caml_call_gc
00164c9djmp 0x164c31
00164c9f
00164c9floc_164c9f:
00164c9fcall caml_call_gc
00164ca4jmp 0x164be6
00164ca9
00164ca9loc_164ca9:
00164ca9call caml_call_gc
00164caejmp 0x1649d4
00164cb3
00164cb3loc_164cb3:
00164cb3push 37
00164cb5call caml_call_realloc_stack
00164cbapop r10
00164cbcjmp 0x1649b2
001649a0
00164cc1
00164cc1 // align 0x10
00164cc1 // align 0x10
00164cda
00164cda // align 0x10
00164cda // align 0x10
00164cea
00164cea // align 0x10
00164cea // align 0x10
00164cf0
00164cf0camlGet.fun_1196:
00164cf0lea r10, [rsp-360]
00164cf8cmp r10, [r14+40]
00164cfcjb 0x164e12
00164d02
00164d02loc_164d02:
00164d02sub rsp, 8
00164d06lea rbx, [rip+0x190b53]
00164d0dmov rbx, [rbx+72]
00164d11mov rbx, [rbx]
00164d14mov [rsp], rbx
00164d18call camlLexstate.save_arg_1030
00164d1dmov rbx, [rsp]
00164d21mov rdi, [rbx]
00164d24call rdi
00164d26lea r11, [rip+107]
00164d2dpush r11
00164d2fpush [r14+48]
00164d33mov [r14+48], rsp
00164d37call camlMyfiles.open_tex_528
00164d3clea r11, [rip+37]
00164d43push r11
00164d45push [r14+48]
00164d49mov [r14+48], rsp
00164d4dmov rdi, [rax+8]
00164d51lea rax, [rip+0xaacf8]
00164d58call caml_c_call
00164d5dpop [r14+48]
00164d61add rsp, 8
00164d65jmp 0x164d88
00164d67nop
00164d68lea rbx, [rip+0x1c88a9]
00164d6fmov rbx, [rbx+80]
00164d73mov rdi, [rax]
00164d76cmp rdi, rbx
00164d79je 0x164d88
00164d7bmov rsp, [r14+48]
00164d7fpop [r14+48]
00164d83pop r11
00164d85jmp r11
00164d88
00164d88loc_164d88:
00164d88mov eax, 3
00164d8dpop [r14+48]
00164d91add rsp, 8
00164d95jmp 0x164dc5
00164d97nop
00164d98lea rbx, [rip+0x1bcec1]
00164d9fmov rdi, [rbx+8]
00164da3cmp rax, rdi
00164da6je 0x164dc0
00164da8mov rbx, [rbx]
00164dabmov rdi, [rax]
00164daecmp rdi, rbx
00164db1je 0x164dc0
00164db3mov rsp, [r14+48]
00164db7pop [r14+48]
00164dbbpop r11
00164dbdjmp r11
00164dc0
00164dc0loc_164dc0:
00164dc0mov eax, 1
00164dc5
00164dc5loc_164dc5:
00164dc5lea rbx, [rip+0x190a94]
00164dccmov rdi, [rbx+144]
00164dd3sub r15, 24
00164dd7cmp r15, [r14]
00164ddajb 0x164e0b
00164ddc
00164ddcloc_164ddc:
00164ddclea rsi, [r15+8]
00164de0mov [rsi-8], 2048
00164de8mov [rsi], rax
00164debmov rax, [rdi]
00164deemov [rsi+8], rax
00164df2mov rbx, rsp
00164df5mov rsp, [r14+64]
00164df9call caml_modify
00164dfemov rsp, rbx
00164e01mov eax, 1
00164e06add rsp, 8
00164e0aret
00164e0b
00164e0bloc_164e0b:
00164e0bcall caml_call_gc
00164e10jmp 0x164ddc
00164e12
00164e12loc_164e12:
00164e12push 38
00164e14call caml_call_realloc_stack
00164e19pop r10
00164e1bjmp 0x164d02
00164cf0
00164cf0camlGet.fun_1196:
00164cf0lea r10, [rsp-360]
00164cf8cmp r10, [r14+40]
00164cfcjb 0x164e12
00164d02
00164d02loc_164d02:
00164d02sub rsp, 8
00164d06lea rbx, [rip+0x190b53]
00164d0dmov rbx, [rbx+72]
00164d11mov rbx, [rbx]
00164d14mov [rsp], rbx
00164d18call camlLexstate.save_arg_1030
00164d1dmov rbx, [rsp]
00164d21mov rdi, [rbx]
00164d24call rdi
00164d26lea r11, [rip+107]
00164d2dpush r11
00164d2fpush [r14+48]
00164d33mov [r14+48], rsp
00164d37call camlMyfiles.open_tex_528
00164d3clea r11, [rip+37]
00164d43push r11
00164d45push [r14+48]
00164d49mov [r14+48], rsp
00164d4dmov rdi, [rax+8]
00164d51lea rax, [rip+0xaacf8]
00164d58call caml_c_call
00164d5dpop [r14+48]
00164d61add rsp, 8
00164d65jmp 0x164d88
00164d67nop
00164d68lea rbx, [rip+0x1c88a9]
00164d6fmov rbx, [rbx+80]
00164d73mov rdi, [rax]
00164d76cmp rdi, rbx
00164d79je 0x164d88
00164d7bmov rsp, [r14+48]
00164d7fpop [r14+48]
00164d83pop r11
00164d85jmp r11
00164d88
00164d88loc_164d88:
00164d88mov eax, 3
00164d8dpop [r14+48]
00164d91add rsp, 8
00164d95jmp 0x164dc5
00164d97nop
00164d98lea rbx, [rip+0x1bcec1]
00164d9fmov rdi, [rbx+8]
00164da3cmp rax, rdi
00164da6je 0x164dc0
00164da8mov rbx, [rbx]
00164dabmov rdi, [rax]
00164daecmp rdi, rbx
00164db1je 0x164dc0
00164db3mov rsp, [r14+48]
00164db7pop [r14+48]
00164dbbpop r11
00164dbdjmp r11
00164dc0
00164dc0loc_164dc0:
00164dc0mov eax, 1
00164dc5
00164dc5loc_164dc5:
00164dc5lea rbx, [rip+0x190a94]
00164dccmov rdi, [rbx+144]
00164dd3sub r15, 24
00164dd7cmp r15, [r14]
00164ddajb 0x164e0b
00164ddc
00164ddcloc_164ddc:
00164ddclea rsi, [r15+8]
00164de0mov [rsi-8], 2048
00164de8mov [rsi], rax
00164debmov rax, [rdi]
00164deemov [rsi+8], rax
00164df2mov rbx, rsp
00164df5mov rsp, [r14+64]
00164df9call caml_modify
00164dfemov rsp, rbx
00164e01mov eax, 1
00164e06add rsp, 8
00164e0aret
00164e0b
00164e0bloc_164e0b:
00164e0bcall caml_call_gc
00164e10jmp 0x164ddc
00164e12
00164e12loc_164e12:
00164e12push 38
00164e14call caml_call_realloc_stack
00164e19pop r10
00164e1bjmp 0x164d02
00164cf0
00164e20
00164e20camlGet.fun_1201:
00164e20lea r10, [rsp-320]
00164e28cmp r10, [r14+40]
00164e2cjb 0x164e8f
00164e2e
00164e2eloc_164e2e:
00164e2elea rbx, [rip+0x190a2b]
00164e35mov rbx, [rbx+104]
00164e39mov rbx, [rbx]
00164e3cmov rdi, [rbx]
00164e3fcall rdi
00164e41call camlLatexmacros.exists_938
00164e46lea rbx, [rip+0x190a13]
00164e4dmov rdi, [rbx+144]
00164e54sub r15, 24
00164e58cmp r15, [r14]
00164e5bjb 0x164e88
00164e5d
00164e5dloc_164e5d:
00164e5dlea rsi, [r15+8]
00164e61mov [rsi-8], 2048
00164e69mov [rsi], rax
00164e6cmov rax, [rdi]
00164e6fmov [rsi+8], rax
00164e73mov rbx, rsp
00164e76mov rsp, [r14+64]
00164e7acall caml_modify
00164e7fmov rsp, rbx
00164e82mov eax, 1
00164e87ret
00164e88
00164e88loc_164e88:
00164e88call caml_call_gc
00164e8djmp 0x164e5d
00164e8f
00164e8floc_164e8f:
00164e8fpush 33
00164e91call caml_call_realloc_stack
00164e96pop r10
00164e98jmp 0x164e2e
00164e20
00164e20camlGet.fun_1201:
00164e20lea r10, [rsp-320]
00164e28cmp r10, [r14+40]
00164e2cjb 0x164e8f
00164e2e
00164e2eloc_164e2e:
00164e2elea rbx, [rip+0x190a2b]
00164e35mov rbx, [rbx+104]
00164e39mov rbx, [rbx]
00164e3cmov rdi, [rbx]
00164e3fcall rdi
00164e41call camlLatexmacros.exists_938
00164e46lea rbx, [rip+0x190a13]
00164e4dmov rdi, [rbx+144]
00164e54sub r15, 24
00164e58cmp r15, [r14]
00164e5bjb 0x164e88
00164e5d
00164e5dloc_164e5d:
00164e5dlea rsi, [r15+8]
00164e61mov [rsi-8], 2048
00164e69mov [rsi], rax
00164e6cmov rax, [rdi]
00164e6fmov [rsi+8], rax
00164e73mov rbx, rsp
00164e76mov rsp, [r14+64]
00164e7acall caml_modify
00164e7fmov rsp, rbx
00164e82mov eax, 1
00164e87ret
00164e88
00164e88loc_164e88:
00164e88call caml_call_gc
00164e8djmp 0x164e5d
00164e8f
00164e8floc_164e8f:
00164e8fpush 33
00164e91call caml_call_realloc_stack
00164e96pop r10
00164e98jmp 0x164e2e
00164e20
00164e9a
00164e9a // align 0x10
00164e9a // align 0x10
00164ea0
00164ea0camlGet.fun_1205:
00164ea0lea r10, [rsp-320]
00164ea8cmp r10, [r14+40]
00164eacjb 0x164ed5
00164eae
00164eaeloc_164eae:
00164eaemov eax, 15
00164eb3call camlGet.close_ngroups_544
00164eb8lea rbx, [rip+0x190c49]
00164ebflea rax, [rip+0x190532]
00164ec6call camlGet.open_aftergroup_550
00164ecbmov eax, 13
00164ed0jmp 0x163c50
00164ed5
00164ed5loc_164ed5:
00164ed5push 33
00164ed7call caml_call_realloc_stack
00164edcpop r10
00164edejmp 0x164eae
00164ea0
00164ea0camlGet.fun_1205:
00164ea0lea r10, [rsp-320]
00164ea8cmp r10, [r14+40]
00164eacjb 0x164ed5
00164eae
00164eaeloc_164eae:
00164eaemov eax, 15
00164eb3call camlGet.close_ngroups_544
00164eb8lea rbx, [rip+0x190c49]
00164ebflea rax, [rip+0x190532]
00164ec6call camlGet.open_aftergroup_550
00164ecbmov eax, 13
00164ed0jmp 0x163c50
00164ed5
00164ed5loc_164ed5:
00164ed5push 33
00164ed7call caml_call_realloc_stack
00164edcpop r10
00164edejmp 0x164eae
00164ea0
00164ee0
00164ee0camlGet.fun_1207:
00164ee0lea r10, [rsp-328]
00164ee8cmp r10, [r14+40]
00164eecjb 0x164fb3
00164ef2
00164ef2loc_164ef2:
00164ef2sub rsp, 8
00164ef6lea rax, [rip+0x1c5173]
00164efdmov rax, [rax+80]
00164f01mov rax, [rax]
00164f04cmp rax, 5
00164f08jle 0x164f2d
00164f0alea rax, [rip+0x190bf7]
00164f11call camlStdlib.prerr_endline_390
00164f16lea rax, [rip+0x190943]
00164f1dmov rbx, [rax+144]
00164f24mov rax, [rax+64]
00164f28call camlMyStack.pretty_387
00164f2d
00164f2dloc_164f2d:
00164f2dlea rax, [rip+0x19092c]
00164f34mov rax, [rax+144]
00164f3bcall camlMyStack.pop_292
00164f40mov [rsp], rax
00164f44lea rax, [rip+0x190915]
00164f4bmov rax, [rax+144]
00164f52call camlMyStack.pop_292
00164f57mov rbx, [rsp]
00164f5bcmp rbx, 1
00164f5fje 0x164f66
00164f61mov eax, 3
00164f66
00164f66loc_164f66:
00164f66lea rbx, [rip+0x1908f3]
00164f6dmov rdi, [rbx+144]
00164f74sub r15, 24
00164f78cmp r15, [r14]
00164f7bjb 0x164fac
00164f7d
00164f7dloc_164f7d:
00164f7dlea rsi, [r15+8]
00164f81mov [rsi-8], 2048
00164f89mov [rsi], rax
00164f8cmov rax, [rdi]
00164f8fmov [rsi+8], rax
00164f93mov rbx, rsp
00164f96mov rsp, [r14+64]
00164f9acall caml_modify
00164f9fmov rsp, rbx
00164fa2mov eax, 1
00164fa7add rsp, 8
00164fabret
00164fac
00164facloc_164fac:
00164faccall caml_call_gc
00164fb1jmp 0x164f7d
00164fb3
00164fb3loc_164fb3:
00164fb3push 34
00164fb5call caml_call_realloc_stack
00164fbapop r10
00164fbcjmp 0x164ef2
00164ee0
00164ee0camlGet.fun_1207:
00164ee0lea r10, [rsp-328]
00164ee8cmp r10, [r14+40]
00164eecjb 0x164fb3
00164ef2
00164ef2loc_164ef2:
00164ef2sub rsp, 8
00164ef6lea rax, [rip+0x1c5173]
00164efdmov rax, [rax+80]
00164f01mov rax, [rax]
00164f04cmp rax, 5
00164f08jle 0x164f2d
00164f0alea rax, [rip+0x190bf7]
00164f11call camlStdlib.prerr_endline_390
00164f16lea rax, [rip+0x190943]
00164f1dmov rbx, [rax+144]
00164f24mov rax, [rax+64]
00164f28call camlMyStack.pretty_387
00164f2d
00164f2dloc_164f2d:
00164f2dlea rax, [rip+0x19092c]
00164f34mov rax, [rax+144]
00164f3bcall camlMyStack.pop_292
00164f40mov [rsp], rax
00164f44lea rax, [rip+0x190915]
00164f4bmov rax, [rax+144]
00164f52call camlMyStack.pop_292
00164f57mov rbx, [rsp]
00164f5bcmp rbx, 1
00164f5fje 0x164f66
00164f61mov eax, 3
00164f66
00164f66loc_164f66:
00164f66lea rbx, [rip+0x1908f3]
00164f6dmov rdi, [rbx+144]
00164f74sub r15, 24
00164f78cmp r15, [r14]
00164f7bjb 0x164fac
00164f7d
00164f7dloc_164f7d:
00164f7dlea rsi, [r15+8]
00164f81mov [rsi-8], 2048
00164f89mov [rsi], rax
00164f8cmov rax, [rdi]
00164f8fmov [rsi+8], rax
00164f93mov rbx, rsp
00164f96mov rsp, [r14+64]
00164f9acall caml_modify
00164f9fmov rsp, rbx
00164fa2mov eax, 1
00164fa7add rsp, 8
00164fabret
00164fac
00164facloc_164fac:
00164faccall caml_call_gc
00164fb1jmp 0x164f7d
00164fb3
00164fb3loc_164fb3:
00164fb3push 34
00164fb5call caml_call_realloc_stack
00164fbapop r10
00164fbcjmp 0x164ef2
00164ee0
00164fc1
00164fc1 // align 0x10
00164fc1 // align 0x10
00164fd0
00164fd0camlGet.fun_1211:
00164fd0lea r10, [rsp-320]
00164fd8cmp r10, [r14+40]
00164fdcjb 0x165005
00164fde
00164fdeloc_164fde:
00164fdemov eax, 13
00164fe3call camlGet.close_ngroups_544
00164fe8lea rbx, [rip+0x190af9]
00164feflea rax, [rip+0x1903ea]
00164ff6call camlGet.open_aftergroup_550
00164ffbmov eax, 11
00165000jmp 0x163c50
00165005
00165005loc_165005:
00165005push 33
00165007call caml_call_realloc_stack
0016500cpop r10
0016500ejmp 0x164fde
00164fd0
00164fd0camlGet.fun_1211:
00164fd0lea r10, [rsp-320]
00164fd8cmp r10, [r14+40]
00164fdcjb 0x165005
00164fde
00164fdeloc_164fde:
00164fdemov eax, 13
00164fe3call camlGet.close_ngroups_544
00164fe8lea rbx, [rip+0x190af9]
00164feflea rax, [rip+0x1903ea]
00164ff6call camlGet.open_aftergroup_550
00164ffbmov eax, 11
00165000jmp 0x163c50
00165005
00165005loc_165005:
00165005push 33
00165007call caml_call_realloc_stack
0016500cpop r10
0016500ejmp 0x164fde
00164fd0
00165010
00165010camlGet.fun_1213:
00165010lea r10, [rsp-328]
00165018cmp r10, [r14+40]
0016501cjb 0x1650e3
00165022
00165022loc_165022:
00165022sub rsp, 8
00165026lea rax, [rip+0x1c5043]
0016502dmov rax, [rax+80]
00165031mov rax, [rax]
00165034cmp rax, 5
00165038jle 0x16505d
0016503alea rax, [rip+0x190aa7]
00165041call camlStdlib.prerr_endline_390
00165046lea rax, [rip+0x190813]
0016504dmov rbx, [rax+144]
00165054mov rax, [rax+64]
00165058call camlMyStack.pretty_387
0016505d
0016505dloc_16505d:
0016505dlea rax, [rip+0x1907fc]
00165064mov rax, [rax+144]
0016506bcall camlMyStack.pop_292
00165070mov [rsp], rax
00165074lea rax, [rip+0x1907e5]
0016507bmov rax, [rax+144]
00165082call camlMyStack.pop_292
00165087mov rbx, [rsp]
0016508bcmp rbx, 1
0016508fjne 0x165096
00165091mov eax, 1
00165096
00165096loc_165096:
00165096lea rbx, [rip+0x1907c3]
0016509dmov rdi, [rbx+144]
001650a4sub r15, 24
001650a8cmp r15, [r14]
001650abjb 0x1650dc
001650ad
001650adloc_1650ad:
001650adlea rsi, [r15+8]
001650b1mov [rsi-8], 2048
001650b9mov [rsi], rax
001650bcmov rax, [rdi]
001650bfmov [rsi+8], rax
001650c3mov rbx, rsp
001650c6mov rsp, [r14+64]
001650cacall caml_modify
001650cfmov rsp, rbx
001650d2mov eax, 1
001650d7add rsp, 8
001650dbret
001650dc
001650dcloc_1650dc:
001650dccall caml_call_gc
001650e1jmp 0x1650ad
001650e3
001650e3loc_1650e3:
001650e3push 34
001650e5call caml_call_realloc_stack
001650eapop r10
001650ecjmp 0x165022
00165010
00165010camlGet.fun_1213:
00165010lea r10, [rsp-328]
00165018cmp r10, [r14+40]
0016501cjb 0x1650e3
00165022
00165022loc_165022:
00165022sub rsp, 8
00165026lea rax, [rip+0x1c5043]
0016502dmov rax, [rax+80]
00165031mov rax, [rax]
00165034cmp rax, 5
00165038jle 0x16505d
0016503alea rax, [rip+0x190aa7]
00165041call camlStdlib.prerr_endline_390
00165046lea rax, [rip+0x190813]
0016504dmov rbx, [rax+144]
00165054mov rax, [rax+64]
00165058call camlMyStack.pretty_387
0016505d
0016505dloc_16505d:
0016505dlea rax, [rip+0x1907fc]
00165064mov rax, [rax+144]
0016506bcall camlMyStack.pop_292
00165070mov [rsp], rax
00165074lea rax, [rip+0x1907e5]
0016507bmov rax, [rax+144]
00165082call camlMyStack.pop_292
00165087mov rbx, [rsp]
0016508bcmp rbx, 1
0016508fjne 0x165096
00165091mov eax, 1
00165096
00165096loc_165096:
00165096lea rbx, [rip+0x1907c3]
0016509dmov rdi, [rbx+144]
001650a4sub r15, 24
001650a8cmp r15, [r14]
001650abjb 0x1650dc
001650ad
001650adloc_1650ad:
001650adlea rsi, [r15+8]
001650b1mov [rsi-8], 2048
001650b9mov [rsi], rax
001650bcmov rax, [rdi]
001650bfmov [rsi+8], rax
001650c3mov rbx, rsp
001650c6mov rsp, [r14+64]
001650cacall caml_modify
001650cfmov rsp, rbx
001650d2mov eax, 1
001650d7add rsp, 8
001650dbret
001650dc
001650dcloc_1650dc:
001650dccall caml_call_gc
001650e1jmp 0x1650ad
001650e3
001650e3loc_1650e3:
001650e3push 34
001650e5call caml_call_realloc_stack
001650eapop r10
001650ecjmp 0x165022
00165010
001650f1
001650f1 // align 0x10
001650f1 // align 0x10
00165100
00165100camlGet.fun_1217:
00165100lea r10, [rsp-320]
00165108cmp r10, [r14+40]
0016510cjb 0x165135
0016510e
0016510eloc_16510e:
0016510emov eax, 9
00165113call camlGet.close_ngroups_544
00165118lea rbx, [rip+0x1909a9]
0016511flea rax, [rip+0x1902a2]
00165126call camlGet.open_aftergroup_550
0016512bmov eax, 7
00165130jmp 0x163c50
00165135
00165135loc_165135:
00165135push 33
00165137call caml_call_realloc_stack
0016513cpop r10
0016513ejmp 0x16510e
00165100
00165100camlGet.fun_1217:
00165100lea r10, [rsp-320]
00165108cmp r10, [r14+40]
0016510cjb 0x165135
0016510e
0016510eloc_16510e:
0016510emov eax, 9
00165113call camlGet.close_ngroups_544
00165118lea rbx, [rip+0x1909a9]
0016511flea rax, [rip+0x1902a2]
00165126call camlGet.open_aftergroup_550
0016512bmov eax, 7
00165130jmp 0x163c50
00165135
00165135loc_165135:
00165135push 33
00165137call caml_call_realloc_stack
0016513cpop r10
0016513ejmp 0x16510e
00165100
00165140
00165140camlGet.fun_1219:
00165140lea r10, [rsp-320]
00165148cmp r10, [r14+40]
0016514cjb 0x1651ed
00165152
00165152loc_165152:
00165152lea rax, [rip+0x1c4f17]
00165159mov rax, [rax+80]
0016515dmov rax, [rax]
00165160cmp rax, 5
00165164jle 0x165189
00165166lea rax, [rip+0x19095b]
0016516dcall camlStdlib.prerr_endline_390
00165172lea rax, [rip+0x1906e7]
00165179mov rbx, [rax+144]
00165180mov rax, [rax+64]
00165184call camlMyStack.pretty_387
00165189
00165189loc_165189:
00165189lea rax, [rip+0x1906d0]
00165190mov rax, [rax+144]
00165197call camlMyStack.pop_292
0016519cmov ebx, 4
001651a1sub rbx, rax
001651a4lea rax, [rip+0x1906b5]
001651abmov rdi, [rax+144]
001651b2sub r15, 24
001651b6cmp r15, [r14]
001651b9jb 0x1651e6
001651bb
001651bbloc_1651bb:
001651bblea rsi, [r15+8]
001651bfmov [rsi-8], 2048
001651c7mov [rsi], rbx
001651camov rax, [rdi]
001651cdmov [rsi+8], rax
001651d1mov rbx, rsp
001651d4mov rsp, [r14+64]
001651d8call caml_modify
001651ddmov rsp, rbx
001651e0mov eax, 1
001651e5ret
001651e6
001651e6loc_1651e6:
001651e6call caml_call_gc
001651ebjmp 0x1651bb
001651ed
001651edloc_1651ed:
001651edpush 33
001651efcall caml_call_realloc_stack
001651f4pop r10
001651f6jmp 0x165152
00165140
00165140camlGet.fun_1219:
00165140lea r10, [rsp-320]
00165148cmp r10, [r14+40]
0016514cjb 0x1651ed
00165152
00165152loc_165152:
00165152lea rax, [rip+0x1c4f17]
00165159mov rax, [rax+80]
0016515dmov rax, [rax]
00165160cmp rax, 5
00165164jle 0x165189
00165166lea rax, [rip+0x19095b]
0016516dcall camlStdlib.prerr_endline_390
00165172lea rax, [rip+0x1906e7]
00165179mov rbx, [rax+144]
00165180mov rax, [rax+64]
00165184call camlMyStack.pretty_387
00165189
00165189loc_165189:
00165189lea rax, [rip+0x1906d0]
00165190mov rax, [rax+144]
00165197call camlMyStack.pop_292
0016519cmov ebx, 4
001651a1sub rbx, rax
001651a4lea rax, [rip+0x1906b5]
001651abmov rdi, [rax+144]
001651b2sub r15, 24
001651b6cmp r15, [r14]
001651b9jb 0x1651e6
001651bb
001651bbloc_1651bb:
001651bblea rsi, [r15+8]
001651bfmov [rsi-8], 2048
001651c7mov [rsi], rbx
001651camov rax, [rdi]
001651cdmov [rsi+8], rax
001651d1mov rbx, rsp
001651d4mov rsp, [r14+64]
001651d8call caml_modify
001651ddmov rsp, rbx
001651e0mov eax, 1
001651e5ret
001651e6
001651e6loc_1651e6:
001651e6call caml_call_gc
001651ebjmp 0x1651bb
001651ed
001651edloc_1651ed:
001651edpush 33
001651efcall caml_call_realloc_stack
001651f4pop r10
001651f6jmp 0x165152
00165140
001651fb
001651fb // align 0x10
001651fb // align 0x10
00165200
00165200camlGet.fun_1223:
00165200lea r10, [rsp-344]
00165208cmp r10, [r14+40]
0016520cjb 0x1653d5
00165212
00165212loc_165212:
00165212sub rsp, 8
00165216lea rbx, [rip+0x190643]
0016521dmov rbx, [rbx+72]
00165221mov rbx, [rbx]
00165224mov [rsp], rbx
00165228call camlLexstate.save_arg_1030
0016522dmov rbx, [rsp]
00165231mov rdi, [rbx]
00165234call rdi
00165236lea r11, [rip+271]
0016523dpush r11
0016523fpush [r14+48]
00165243mov [r14+48], rsp
00165247lea rbx, [rip+0x190612]
0016524emov rbx, [rbx+72]
00165252mov rbx, [rbx]
00165255mov [rsp+16], rbx
0016525alea rbx, [rip+0x19081f]
00165261call camlStdlib.$5e_139
00165266mov rbx, rax
00165269lea rax, [rip+0x190830]
00165270call camlStdlib.$5e_139
00165275sub r15, 24
00165279cmp r15, [r14]
0016527cjb 0x1653cb
00165282
00165282loc_165282:
00165282lea rdi, [r15+8]
00165286mov [rdi-8], 2048
0016528emov [rdi], rax
00165291lea rax, [rip+0x1b1708]
00165298mov rax, [rax+728]
0016529fmov rax, [rax]
001652a2mov [rdi+8], rax
001652a6mov rbx, [rsp+16]
001652abmov rsi, [rbx]
001652aemov rax, rdi
001652b1call rsi
001652b3mov rbx, rax
001652b6mov rax, [rbx-8]
001652bashr rax, 10
001652becmp rax, 2
001652c2jge 0x1652f8
001652c4mov rax, [rbx]
001652c7mov rdi, 0x2000065736c6166
001652d1cmp rax, rdi
001652d4jne 0x1652e0
001652d6mov eax, 1
001652dbjmp 0x165340
001652ddnop [rax]
001652e0
001652e0loc_1652e0:
001652e0mov rdi, 0x300000065757274
001652eacmp rax, rdi
001652edjne 0x1652f8
001652efmov eax, 3
001652f4jmp 0x165340
001652f6nop
001652f8
001652f8loc_1652f8:
001652f8lea rax, [rip+0x190769]
001652ffcall camlStdlib.$5e_139
00165304sub r15, 24
00165308cmp r15, [r14]
0016530bjb 0x1653c1
00165311
00165311loc_165311:
00165311lea rbx, [r15+8]
00165315mov [rbx-8], 2048
0016531dlea rdi, [rip+0x1c4d4c]
00165324mov rdi, [rdi]
00165327mov [rbx], rdi
0016532amov [rbx+8], rax
0016532emov rax, rbx
00165331mov rsp, [r14+48]
00165335pop [r14+48]
00165339pop r11
0016533bjmp r11
0016533enop
00165340
00165340loc_165340:
00165340pop [r14+48]
00165344add rsp, 8
00165348jmp 0x165374
0016534anop
0016534clea rbx, [rip+0x1af615]
00165353mov rbx, [rbx]
00165356cmp rax, rbx
00165359jne 0x165364
0016535bmov eax, 3
00165360jmp 0x165374
00165362nop
00165364
00165364loc_165364:
00165364mov rsp, [r14+48]
00165368pop [r14+48]
0016536cpop r11
0016536ejmp r11
00165371nop [rax]
00165374
00165374loc_165374:
00165374lea rbx, [rip+0x1904e5]
0016537bmov rdi, [rbx+144]
00165382sub r15, 24
00165386cmp r15, [r14]
00165389jb 0x1653ba
0016538b
0016538bloc_16538b:
0016538blea rsi, [r15+8]
0016538fmov [rsi-8], 2048
00165397mov [rsi], rax
0016539amov rax, [rdi]
0016539dmov [rsi+8], rax
001653a1mov rbx, rsp
001653a4mov rsp, [r14+64]
001653a8call caml_modify
001653admov rsp, rbx
001653b0mov eax, 1
001653b5add rsp, 8
001653b9ret
001653ba
001653baloc_1653ba:
001653bacall caml_call_gc
001653bfjmp 0x16538b
001653c1
001653c1loc_1653c1:
001653c1call caml_call_gc
001653c6jmp 0x165311
001653cb
001653cbloc_1653cb:
001653cbcall caml_call_gc
001653d0jmp 0x165282
001653d5
001653d5loc_1653d5:
001653d5push 36
001653d7call caml_call_realloc_stack
001653dcpop r10
001653dejmp 0x165212
00165200
00165200camlGet.fun_1223:
00165200lea r10, [rsp-344]
00165208cmp r10, [r14+40]
0016520cjb 0x1653d5
00165212
00165212loc_165212:
00165212sub rsp, 8
00165216lea rbx, [rip+0x190643]
0016521dmov rbx, [rbx+72]
00165221mov rbx, [rbx]
00165224mov [rsp], rbx
00165228call camlLexstate.save_arg_1030
0016522dmov rbx, [rsp]
00165231mov rdi, [rbx]
00165234call rdi
00165236lea r11, [rip+271]
0016523dpush r11
0016523fpush [r14+48]
00165243mov [r14+48], rsp
00165247lea rbx, [rip+0x190612]
0016524emov rbx, [rbx+72]
00165252mov rbx, [rbx]
00165255mov [rsp+16], rbx
0016525alea rbx, [rip+0x19081f]
00165261call camlStdlib.$5e_139
00165266mov rbx, rax
00165269lea rax, [rip+0x190830]
00165270call camlStdlib.$5e_139
00165275sub r15, 24
00165279cmp r15, [r14]
0016527cjb 0x1653cb
00165282
00165282loc_165282:
00165282lea rdi, [r15+8]
00165286mov [rdi-8], 2048
0016528emov [rdi], rax
00165291lea rax, [rip+0x1b1708]
00165298mov rax, [rax+728]
0016529fmov rax, [rax]
001652a2mov [rdi+8], rax
001652a6mov rbx, [rsp+16]
001652abmov rsi, [rbx]
001652aemov rax, rdi
001652b1call rsi
001652b3mov rbx, rax
001652b6mov rax, [rbx-8]
001652bashr rax, 10
001652becmp rax, 2
001652c2jge 0x1652f8
001652c4mov rax, [rbx]
001652c7mov rdi, 0x2000065736c6166
001652d1cmp rax, rdi
001652d4jne 0x1652e0
001652d6mov eax, 1
001652dbjmp 0x165340
001652ddnop [rax]
001652e0
001652e0loc_1652e0:
001652e0mov rdi, 0x300000065757274
001652eacmp rax, rdi
001652edjne 0x1652f8
001652efmov eax, 3
001652f4jmp 0x165340
001652f6nop
001652f8
001652f8loc_1652f8:
001652f8lea rax, [rip+0x190769]
001652ffcall camlStdlib.$5e_139
00165304sub r15, 24
00165308cmp r15, [r14]
0016530bjb 0x1653c1
00165311
00165311loc_165311:
00165311lea rbx, [r15+8]
00165315mov [rbx-8], 2048
0016531dlea rdi, [rip+0x1c4d4c]
00165324mov rdi, [rdi]
00165327mov [rbx], rdi
0016532amov [rbx+8], rax
0016532emov rax, rbx
00165331mov rsp, [r14+48]
00165335pop [r14+48]
00165339pop r11
0016533bjmp r11
0016533enop
00165340
00165340loc_165340:
00165340pop [r14+48]
00165344add rsp, 8
00165348jmp 0x165374
0016534anop
0016534clea rbx, [rip+0x1af615]
00165353mov rbx, [rbx]
00165356cmp rax, rbx
00165359jne 0x165364
0016535bmov eax, 3
00165360jmp 0x165374
00165362nop
00165364
00165364loc_165364:
00165364mov rsp, [r14+48]
00165368pop [r14+48]
0016536cpop r11
0016536ejmp r11
00165371nop [rax]
00165374
00165374loc_165374:
00165374lea rbx, [rip+0x1904e5]
0016537bmov rdi, [rbx+144]
00165382sub r15, 24
00165386cmp r15, [r14]
00165389jb 0x1653ba
0016538b
0016538bloc_16538b:
0016538blea rsi, [r15+8]
0016538fmov [rsi-8], 2048
00165397mov [rsi], rax
0016539amov rax, [rdi]
0016539dmov [rsi+8], rax
001653a1mov rbx, rsp
001653a4mov rsp, [r14+64]
001653a8call caml_modify
001653admov rsp, rbx
001653b0mov eax, 1
001653b5add rsp, 8
001653b9ret
001653ba
001653baloc_1653ba:
001653bacall caml_call_gc
001653bfjmp 0x16538b
001653c1
001653c1loc_1653c1:
001653c1call caml_call_gc
001653c6jmp 0x165311
001653cb
001653cbloc_1653cb:
001653cbcall caml_call_gc
001653d0jmp 0x165282
001653d5
001653d5loc_1653d5:
001653d5push 36
001653d7call caml_call_realloc_stack
001653dcpop r10
001653dejmp 0x165212
00165200
001653e3
001653e3 // align 0x10
001653e3 // align 0x10
001653f0
001653f0camlGet.fun_1227:
001653f0lea r10, [rsp-320]
001653f8cmp r10, [r14+40]
001653fcjb 0x165425
001653fe
001653feloc_1653fe:
001653femov eax, 7
00165403call camlGet.close_ngroups_544
00165408lea rbx, [rip+0x190621]
0016540flea rax, [rip+0x18ff9a]
00165416call camlGet.open_aftergroup_550
0016541bmov eax, 5
00165420jmp 0x163c50
00165425
00165425loc_165425:
00165425push 33
00165427call caml_call_realloc_stack
0016542cpop r10
0016542ejmp 0x1653fe
001653f0
001653f0camlGet.fun_1227:
001653f0lea r10, [rsp-320]
001653f8cmp r10, [r14+40]
001653fcjb 0x165425
001653fe
001653feloc_1653fe:
001653femov eax, 7
00165403call camlGet.close_ngroups_544
00165408lea rbx, [rip+0x190621]
0016540flea rax, [rip+0x18ff9a]
00165416call camlGet.open_aftergroup_550
0016541bmov eax, 5
00165420jmp 0x163c50
00165425
00165425loc_165425:
00165425push 33
00165427call caml_call_realloc_stack
0016542cpop r10
0016542ejmp 0x1653fe
001653f0
00165430
00165430camlGet.fun_1229:
00165430lea r10, [rsp-320]
00165438cmp r10, [r14+40]
0016543cjb 0x165539
00165442
00165442loc_165442:
00165442lea rax, [rip+0x1c4c27]
00165449mov rax, [rax+80]
0016544dmov rax, [rax]
00165450cmp rax, 5
00165454jle 0x165483
00165456lea rax, [rip+0x1905d3]
0016545dcall camlStdlib.prerr_endline_390
00165462lea rax, [rip+0x1903f7]
00165469mov rbx, [rax+136]
00165470lea rax, [rip+0x1c81a1]
00165477mov rax, [rax+256]
0016547ecall camlMyStack.pretty_387
00165483
00165483loc_165483:
00165483lea rax, [rip+0x1903d6]
0016548amov rax, [rax+136]
00165491call camlMyStack.pop_292
00165496sar rax, 1
00165499mov rbx, rax
0016549cshr rbx, 63
001654a0mov rdi, rax
001654a3add rdi, rbx
001654a6and rdi, -2
001654aasub rax, rdi
001654adlea rax, [rax+rax+1]
001654b2cmp rax, 3
001654b6sete al
001654b9movzx rax, al
001654bdlea rax, [rax+rax+1]
001654c2lea rbx, [rip+0x190397]
001654c9mov rdi, [rbx+144]
001654d0sub r15, 24
001654d4cmp r15, [r14]
001654d7jb 0x165532
001654d9
001654d9loc_1654d9:
001654d9lea rsi, [r15+8]
001654ddmov [rsi-8], 2048
001654e5mov [rsi], rax
001654e8mov rax, [rdi]
001654ebmov [rsi+8], rax
001654efmov rbx, rsp
001654f2mov rsp, [r14+64]
001654f6call caml_modify
001654fbmov rsp, rbx
001654felea rax, [rip+0x1c4b6b]
00165505mov rax, [rax+80]
00165509mov rax, [rax]
0016550ccmp rax, 5
00165510jle 0x16552c
00165512lea rax, [rip+0x190347]
00165519mov rbx, [rax+144]
00165520mov rax, [rax+64]
00165524jmp 0x193dd0
00165529
00165529 0f 1f 00 ...
0016552c
0016552cloc_16552c:
0016552cmov eax, 1
00165531ret
00165532
00165532loc_165532:
00165532call caml_call_gc
00165537jmp 0x1654d9
00165539
00165539loc_165539:
00165539push 33
0016553bcall caml_call_realloc_stack
00165540pop r10
00165542jmp 0x165442
00165430
00165430camlGet.fun_1229:
00165430lea r10, [rsp-320]
00165438cmp r10, [r14+40]
0016543cjb 0x165539
00165442
00165442loc_165442:
00165442lea rax, [rip+0x1c4c27]
00165449mov rax, [rax+80]
0016544dmov rax, [rax]
00165450cmp rax, 5
00165454jle 0x165483
00165456lea rax, [rip+0x1905d3]
0016545dcall camlStdlib.prerr_endline_390
00165462lea rax, [rip+0x1903f7]
00165469mov rbx, [rax+136]
00165470lea rax, [rip+0x1c81a1]
00165477mov rax, [rax+256]
0016547ecall camlMyStack.pretty_387
00165483
00165483loc_165483:
00165483lea rax, [rip+0x1903d6]
0016548amov rax, [rax+136]
00165491call camlMyStack.pop_292
00165496sar rax, 1
00165499mov rbx, rax
0016549cshr rbx, 63
001654a0mov rdi, rax
001654a3add rdi, rbx
001654a6and rdi, -2
001654aasub rax, rdi
001654adlea rax, [rax+rax+1]
001654b2cmp rax, 3
001654b6sete al
001654b9movzx rax, al
001654bdlea rax, [rax+rax+1]
001654c2lea rbx, [rip+0x190397]
001654c9mov rdi, [rbx+144]
001654d0sub r15, 24
001654d4cmp r15, [r14]
001654d7jb 0x165532
001654d9
001654d9loc_1654d9:
001654d9lea rsi, [r15+8]
001654ddmov [rsi-8], 2048
001654e5mov [rsi], rax
001654e8mov rax, [rdi]
001654ebmov [rsi+8], rax
001654efmov rbx, rsp
001654f2mov rsp, [r14+64]
001654f6call caml_modify
001654fbmov rsp, rbx
001654felea rax, [rip+0x1c4b6b]
00165505mov rax, [rax+80]
00165509mov rax, [rax]
0016550ccmp rax, 5
00165510jle 0x16552c
00165512lea rax, [rip+0x190347]
00165519mov rbx, [rax+144]
00165520mov rax, [rax+64]
00165524jmp 0x193dd0
00165529
00165529 0f 1f 00 ...
0016552c
0016552cloc_16552c:
0016552cmov eax, 1
00165531ret
00165532
00165532loc_165532:
00165532call caml_call_gc
00165537jmp 0x1654d9
00165539
00165539loc_165539:
00165539push 33
0016553bcall caml_call_realloc_stack
00165540pop r10
00165542jmp 0x165442
00165430
00165547
00165547 // align 0x10
00165547 // align 0x10
00165550
00165550camlGet.fun_1233:
00165550lea r10, [rsp-344]
00165558cmp r10, [r14+40]
0016555cjb 0x1656cd
00165562
00165562loc_165562:
00165562sub rsp, 24
00165566mov [rsp], rax
0016556amov [rsp+8], rbx
0016556fcall camlLexstate.save_arg_1030
00165574mov [rsp+16], rax
00165579mov rax, [rsp]
0016557dcall camlLexstate.save_arg_1030
00165582mov [rsp], rax
00165586lea rbx, [rip+0x19047b]
0016558dlea rax, [rip+0x1902cc]
00165594mov rax, [rax+112]
00165598mov rax, [rax]
0016559bcall camlLexstate.scan_this_1185
001655a0sub r15, 48
001655a4cmp r15, [r14]
001655a7jb 0x1656c3
001655ad
001655adloc_1655ad:
001655adlea rbx, [r15+8]
001655b1add rbx, 24
001655b5mov [rbx-8], 2048
001655bdlea rax, [rip+0x19045c]
001655c4mov [rbx], rax
001655c7mov rdi, [rsp+8]
001655ccmov rax, [rdi+32]
001655d0mov [rbx+8], rax
001655d4lea rax, [rbx-24]
001655d8mov [rax-8], 2048
001655e0mov [rax], rbx
001655e3mov rbx, [rdi+16]
001655e7mov [rax+8], rbx
001655ebmov rbx, [rdi+24]
001655efcall camlStdlib.$40_196
001655f4mov rbx, rax
001655f7lea rax, [rip+0x18fd92]
001655fecall Stdlib.List.map
00165603mov [rsp+8], rax
00165608lea rax, [rip+0x190251]
0016560fmov rax, [rax+72]
00165613mov rbx, [rax]
00165616mov rdi, [rbx]
00165619mov rax, [rsp]
0016561dcall rdi
0016561fmov [rsp], rax
00165623lea rax, [rip+0x190236]
0016562amov rax, [rax+72]
0016562emov rbx, [rax]
00165631mov rdi, [rbx]
00165634mov rax, [rsp+16]
00165639call rdi
0016563bmov rdi, rax
0016563emov rsi, [rsp]
00165642mov rbx, rsp
00165645mov rsp, [r14+64]
00165649call caml_string_equal
0016564emov rsp, rbx
00165651lea rbx, [rip+0x190208]
00165658mov rdi, [rbx+144]
0016565fsub r15, 24
00165663cmp r15, [r14]
00165666jb 0x1656bc
00165668
00165668loc_165668:
00165668lea rsi, [r15+8]
0016566cmov [rsi-8], 2048
00165674mov [rsi], rax
00165677mov rax, [rdi]
0016567amov [rsi+8], rax
0016567emov rbx, rsp
00165681mov rsp, [r14+64]
00165685call caml_modify
0016568amov rsp, rbx
0016568dlea rax, [rip+0x18fcdc]
00165694mov rbx, [rsp+8]
00165699call Stdlib.List.map
0016569elea rbx, [rip+0x19034b]
001656a5lea rax, [rip+0x1901b4]
001656acmov rax, [rax+112]
001656b0mov rax, [rax]
001656b3add rsp, 24
001656b7jmp 0x17f150
001656bc
001656bcloc_1656bc:
001656bccall caml_call_gc
001656c1jmp 0x165668
001656c3
001656c3loc_1656c3:
001656c3call caml_call_gc
001656c8jmp 0x1655ad
001656cd
001656cdloc_1656cd:
001656cdpush 36
001656cfcall caml_call_realloc_stack
001656d4pop r10
001656d6jmp 0x165562
00165550
00165550camlGet.fun_1233:
00165550lea r10, [rsp-344]
00165558cmp r10, [r14+40]
0016555cjb 0x1656cd
00165562
00165562loc_165562:
00165562sub rsp, 24
00165566mov [rsp], rax
0016556amov [rsp+8], rbx
0016556fcall camlLexstate.save_arg_1030
00165574mov [rsp+16], rax
00165579mov rax, [rsp]
0016557dcall camlLexstate.save_arg_1030
00165582mov [rsp], rax
00165586lea rbx, [rip+0x19047b]
0016558dlea rax, [rip+0x1902cc]
00165594mov rax, [rax+112]
00165598mov rax, [rax]
0016559bcall camlLexstate.scan_this_1185
001655a0sub r15, 48
001655a4cmp r15, [r14]
001655a7jb 0x1656c3
001655ad
001655adloc_1655ad:
001655adlea rbx, [r15+8]
001655b1add rbx, 24
001655b5mov [rbx-8], 2048
001655bdlea rax, [rip+0x19045c]
001655c4mov [rbx], rax
001655c7mov rdi, [rsp+8]
001655ccmov rax, [rdi+32]
001655d0mov [rbx+8], rax
001655d4lea rax, [rbx-24]
001655d8mov [rax-8], 2048
001655e0mov [rax], rbx
001655e3mov rbx, [rdi+16]
001655e7mov [rax+8], rbx
001655ebmov rbx, [rdi+24]
001655efcall camlStdlib.$40_196
001655f4mov rbx, rax
001655f7lea rax, [rip+0x18fd92]
001655fecall Stdlib.List.map
00165603mov [rsp+8], rax
00165608lea rax, [rip+0x190251]
0016560fmov rax, [rax+72]
00165613mov rbx, [rax]
00165616mov rdi, [rbx]
00165619mov rax, [rsp]
0016561dcall rdi
0016561fmov [rsp], rax
00165623lea rax, [rip+0x190236]
0016562amov rax, [rax+72]
0016562emov rbx, [rax]
00165631mov rdi, [rbx]
00165634mov rax, [rsp+16]
00165639call rdi
0016563bmov rdi, rax
0016563emov rsi, [rsp]
00165642mov rbx, rsp
00165645mov rsp, [r14+64]
00165649call caml_string_equal
0016564emov rsp, rbx
00165651lea rbx, [rip+0x190208]
00165658mov rdi, [rbx+144]
0016565fsub r15, 24
00165663cmp r15, [r14]
00165666jb 0x1656bc
00165668
00165668loc_165668:
00165668lea rsi, [r15+8]
0016566cmov [rsi-8], 2048
00165674mov [rsi], rax
00165677mov rax, [rdi]
0016567amov [rsi+8], rax
0016567emov rbx, rsp
00165681mov rsp, [r14+64]
00165685call caml_modify
0016568amov rsp, rbx
0016568dlea rax, [rip+0x18fcdc]
00165694mov rbx, [rsp+8]
00165699call Stdlib.List.map
0016569elea rbx, [rip+0x19034b]
001656a5lea rax, [rip+0x1901b4]
001656acmov rax, [rax+112]
001656b0mov rax, [rax]
001656b3add rsp, 24
001656b7jmp 0x17f150
001656bc
001656bcloc_1656bc:
001656bccall caml_call_gc
001656c1jmp 0x165668
001656c3
001656c3loc_1656c3:
001656c3call caml_call_gc
001656c8jmp 0x1655ad
001656cd
001656cdloc_1656cd:
001656cdpush 36
001656cfcall caml_call_realloc_stack
001656d4pop r10
001656d6jmp 0x165562
00165550
001656db
001656db // align 0x10
001656db // align 0x10
001656e0
001656e0camlGet.fun_1242:
001656e0lea r10, [rsp-328]
001656e8cmp r10, [r14+40]
001656ecjb 0x16572a
001656ee
001656eeloc_1656ee:
001656eesub rsp, 8
001656f2mov [rsp], rax
001656f6call camlLatexmacros.replace_969
001656fbsub r15, 24
001656ffcmp r15, [r14]
00165702jb 0x165723
00165704
00165704loc_165704:
00165704lea rbx, [r15+8]
00165708mov [rbx-8], 2048
00165710mov rdi, [rsp]
00165714mov [rbx], rdi
00165717mov [rbx+8], rax
0016571bmov rax, rbx
0016571eadd rsp, 8
00165722ret
00165723
00165723loc_165723:
00165723call caml_call_gc
00165728jmp 0x165704
0016572a
0016572aloc_16572a:
0016572apush 34
0016572ccall caml_call_realloc_stack
00165731pop r10
00165733jmp 0x1656ee
001656e0
001656e0camlGet.fun_1242:
001656e0lea r10, [rsp-328]
001656e8cmp r10, [r14+40]
001656ecjb 0x16572a
001656ee
001656eeloc_1656ee:
001656eesub rsp, 8
001656f2mov [rsp], rax
001656f6call camlLatexmacros.replace_969
001656fbsub r15, 24
001656ffcmp r15, [r14]
00165702jb 0x165723
00165704
00165704loc_165704:
00165704lea rbx, [r15+8]
00165708mov [rbx-8], 2048
00165710mov rdi, [rsp]
00165714mov [rbx], rdi
00165717mov [rbx+8], rax
0016571bmov rax, rbx
0016571eadd rsp, 8
00165722ret
00165723
00165723loc_165723:
00165723call caml_call_gc
00165728jmp 0x165704
0016572a
0016572aloc_16572a:
0016572apush 34
0016572ccall caml_call_realloc_stack
00165731pop r10
00165733jmp 0x1656ee
001656e0
00165735
00165735 // align 0x10
00165735 // align 0x10
00165745
00165745 // align 0x10
00165745 // align 0x10
00165751
00165751 // align 0x10
00165751 // align 0x10
00165760
00165760camlGet.fun_1254:
00165760mov rdi, rax
00165763mov rax, [rbx+16]
00165767mov rbx, rdi
0016576ajmp 0x1ab480
00165760
00165760camlGet.fun_1254:
00165760mov rdi, rax
00165763mov rax, [rbx+16]
00165767mov rbx, rdi
0016576ajmp 0x1ab480
00165760
0016576f
0016576f // align 0x10
0016576f // align 0x10
00165770
00165770camlGet.do_get_int_873:
00165770lea r10, [rsp-384]
00165778cmp r10, [r14+40]
0016577cjb 0x165a29
00165782
00165782loc_165782:
00165782sub rsp, 48
00165786mov [rsp+32], rax
0016578bmov [rsp], rbx
0016578fmov rbx, [rbx]
00165792mov [rsp+40], rbx
00165797lea rdi, [rip+0x1c48d2]
0016579emov rdi, [rdi+80]
001657a2mov rdi, [rdi]
001657a5cmp rdi, 3
001657a9jle 0x1657e4
001657abmov [rsp+16], rbx
001657b0mov rax, [rax]
001657b3mov [rsp+8], rax
001657b8lea rbx, [rip+0x191419]
001657bflea rax, [rip+0x1c7e52]
001657c6mov rax, [rax+312]
001657cdcall Stdlib.Printf.fprintf
001657d2mov rdi, rax
001657d5mov rax, [rsp+8]
001657damov rbx, [rsp+16]
001657dfcall caml_apply2
001657e4
001657e4loc_1657e4:
001657e4lea rax, [rip+0x190075]
001657ebmov rax, [rax+128]
001657f2mov rbx, [rax]
001657f5mov [rsp+8], rbx
001657famov [rax], 3
00165801mov rax, [rsp]
00165805mov rax, [rax+8]
00165809call camlLexstate.start_normal_914
0016580elea rax, [rip+0x19004b]
00165815mov rax, [rax+88]
00165819mov rbx, [rax]
0016581clea rax, [rip+0x1913a5]
00165823mov rdi, [rbx]
00165826call rdi
00165828mov eax, 1
0016582dcall camlGet.def_commands_int_797
00165832mov eax, 5
00165837call camlGet.open_ngroups_538
0016583clea r11, [rip+53]
00165843push r11
00165845push [r14+48]
00165849mov [r14+48], rsp
0016584dmov rax, [rsp+48]
00165852mov rdi, [rax+16]
00165856lea rax, [rip+0x190003]
0016585dmov rax, [rax+208]
00165864mov rbx, [rsp+56]
00165869call caml_apply2
0016586epop [r14+48]
00165872add rsp, 8
00165876jmp 0x1658d0
00165878mov [rsp+16], rax
0016587dmov rax, [rsp+40]
00165882mov [rsp+8], rax
00165887mov rax, [rsp+32]
0016588cmov rax, [rax]
0016588fmov [rsp], rax
00165893lea rbx, [rip+0x191246]
0016589alea rax, [rip+0x1c7d77]
001658a1mov rax, [rax+312]
001658a8call Stdlib.Printf.fprintf
001658admov rdi, rax
001658b0mov rax, [rsp]
001658b4mov rbx, [rsp+8]
001658b9call caml_apply2
001658bemov rax, [rsp+16]
001658c3mov rsp, [r14+48]
001658c7pop [r14+48]
001658cbpop r11
001658cdjmp r11
001658d0
001658d0loc_1658d0:
001658d0mov eax, 5
001658d5call camlGet.close_ngroups_544
001658dalea rax, [rip+0x18ff7f]
001658e1mov rax, [rax+96]
001658e5mov rbx, [rax]
001658e8lea rax, [rip+0x1912d9]
001658efmov rdi, [rbx]
001658f2call rdi
001658f4mov eax, 1
001658f9call camlLexstate.restore_flags_891
001658femov eax, 1
00165903call camlLexstate.restore_lexstate_882
00165908lea rax, [rip+0x18ff51]
0016590fmov rax, [rax+136]
00165916mov rax, [rax]
00165919test al, 1
0016591bje 0x165988
0016591dmov rax, [rsp+32]
00165922mov rbx, [rax+8]
00165926mov rdi, [rbx]
00165929mov rax, [rsp+40]
0016592ecall rdi
00165930mov [rsp], rax
00165934lea rax, [rip+0x1910ed]
0016593bcall Stdlib.Printf.sprintf
00165940mov rbx, rax
00165943mov rdi, [rbx]
00165946mov rax, [rsp]
0016594acall rdi
0016594csub r15, 24
00165950cmp r15, [r14]
00165953jb 0x165a1f
00165959
00165959loc_165959:
00165959lea rbx, [r15+8]
0016595dmov [rbx-8], 2048
00165965lea rdi, [rip+0x18fef4]
0016596cmov rdi, [rdi]
0016596fmov [rbx], rdi
00165972mov [rbx+8], rax
00165976mov rax, rbx
00165979mov rsp, [r14+48]
0016597dpop [r14+48]
00165981pop r11
00165983jmp r11
00165986nop
00165988
00165988loc_165988:
00165988lea rax, [rip+0x18fed1]
0016598fmov rax, [rax+136]
00165996call camlMyStack.pop_292
0016599blea rbx, [rip+0x18febe]
001659a2mov rbx, [rbx+128]
001659a9mov rdi, [rsp+8]
001659aemov [rbx], rdi
001659b1mov [rsp], rax
001659b5lea rbx, [rip+0x1c46b4]
001659bcmov rbx, [rbx+80]
001659c0mov rbx, [rbx]
001659c3cmp rbx, 3
001659c7jle 0x165a16
001659c9mov [rsp+24], rax
001659cemov rax, [rsp+40]
001659d3mov [rsp+16], rax
001659d8mov rax, [rsp+32]
001659ddmov rax, [rax]
001659e0mov [rsp+8], rax
001659e5lea rbx, [rip+0x190f44]
001659eclea rax, [rip+0x1c7c25]
001659f3mov rax, [rax+312]
001659facall Stdlib.Printf.fprintf
001659ffmov rsi, rax
00165a02mov rax, [rsp+8]
00165a07mov rbx, [rsp+16]
00165a0cmov rdi, [rsp+24]
00165a11call caml_apply3
00165a16
00165a16loc_165a16:
00165a16mov rax, [rsp]
00165a1aadd rsp, 48
00165a1eret
00165a1f
00165a1floc_165a1f:
00165a1fcall caml_call_gc
00165a24jmp 0x165959
00165a29
00165a29loc_165a29:
00165a29push 41
00165a2bcall caml_call_realloc_stack
00165a30pop r10
00165a32jmp 0x165782
00165770
00165770camlGet.do_get_int_873:
00165770lea r10, [rsp-384]
00165778cmp r10, [r14+40]
0016577cjb 0x165a29
00165782
00165782loc_165782:
00165782sub rsp, 48
00165786mov [rsp+32], rax
0016578bmov [rsp], rbx
0016578fmov rbx, [rbx]
00165792mov [rsp+40], rbx
00165797lea rdi, [rip+0x1c48d2]
0016579emov rdi, [rdi+80]
001657a2mov rdi, [rdi]
001657a5cmp rdi, 3
001657a9jle 0x1657e4
001657abmov [rsp+16], rbx
001657b0mov rax, [rax]
001657b3mov [rsp+8], rax
001657b8lea rbx, [rip+0x191419]
001657bflea rax, [rip+0x1c7e52]
001657c6mov rax, [rax+312]
001657cdcall Stdlib.Printf.fprintf
001657d2mov rdi, rax
001657d5mov rax, [rsp+8]
001657damov rbx, [rsp+16]
001657dfcall caml_apply2
001657e4
001657e4loc_1657e4:
001657e4lea rax, [rip+0x190075]
001657ebmov rax, [rax+128]
001657f2mov rbx, [rax]
001657f5mov [rsp+8], rbx
001657famov [rax], 3
00165801mov rax, [rsp]
00165805mov rax, [rax+8]
00165809call camlLexstate.start_normal_914
0016580elea rax, [rip+0x19004b]
00165815mov rax, [rax+88]
00165819mov rbx, [rax]
0016581clea rax, [rip+0x1913a5]
00165823mov rdi, [rbx]
00165826call rdi
00165828mov eax, 1
0016582dcall camlGet.def_commands_int_797
00165832mov eax, 5
00165837call camlGet.open_ngroups_538
0016583clea r11, [rip+53]
00165843push r11
00165845push [r14+48]
00165849mov [r14+48], rsp
0016584dmov rax, [rsp+48]
00165852mov rdi, [rax+16]
00165856lea rax, [rip+0x190003]
0016585dmov rax, [rax+208]
00165864mov rbx, [rsp+56]
00165869call caml_apply2
0016586epop [r14+48]
00165872add rsp, 8
00165876jmp 0x1658d0
00165878mov [rsp+16], rax
0016587dmov rax, [rsp+40]
00165882mov [rsp+8], rax
00165887mov rax, [rsp+32]
0016588cmov rax, [rax]
0016588fmov [rsp], rax
00165893lea rbx, [rip+0x191246]
0016589alea rax, [rip+0x1c7d77]
001658a1mov rax, [rax+312]
001658a8call Stdlib.Printf.fprintf
001658admov rdi, rax
001658b0mov rax, [rsp]
001658b4mov rbx, [rsp+8]
001658b9call caml_apply2
001658bemov rax, [rsp+16]
001658c3mov rsp, [r14+48]
001658c7pop [r14+48]
001658cbpop r11
001658cdjmp r11
001658d0
001658d0loc_1658d0:
001658d0mov eax, 5
001658d5call camlGet.close_ngroups_544
001658dalea rax, [rip+0x18ff7f]
001658e1mov rax, [rax+96]
001658e5mov rbx, [rax]
001658e8lea rax, [rip+0x1912d9]
001658efmov rdi, [rbx]
001658f2call rdi
001658f4mov eax, 1
001658f9call camlLexstate.restore_flags_891
001658femov eax, 1
00165903call camlLexstate.restore_lexstate_882
00165908lea rax, [rip+0x18ff51]
0016590fmov rax, [rax+136]
00165916mov rax, [rax]
00165919test al, 1
0016591bje 0x165988
0016591dmov rax, [rsp+32]
00165922mov rbx, [rax+8]
00165926mov rdi, [rbx]
00165929mov rax, [rsp+40]
0016592ecall rdi
00165930mov [rsp], rax
00165934lea rax, [rip+0x1910ed]
0016593bcall Stdlib.Printf.sprintf
00165940mov rbx, rax
00165943mov rdi, [rbx]
00165946mov rax, [rsp]
0016594acall rdi
0016594csub r15, 24
00165950cmp r15, [r14]
00165953jb 0x165a1f
00165959
00165959loc_165959:
00165959lea rbx, [r15+8]
0016595dmov [rbx-8], 2048
00165965lea rdi, [rip+0x18fef4]
0016596cmov rdi, [rdi]
0016596fmov [rbx], rdi
00165972mov [rbx+8], rax
00165976mov rax, rbx
00165979mov rsp, [r14+48]
0016597dpop [r14+48]
00165981pop r11
00165983jmp r11
00165986nop
00165988
00165988loc_165988:
00165988lea rax, [rip+0x18fed1]
0016598fmov rax, [rax+136]
00165996call camlMyStack.pop_292
0016599blea rbx, [rip+0x18febe]
001659a2mov rbx, [rbx+128]
001659a9mov rdi, [rsp+8]
001659aemov [rbx], rdi
001659b1mov [rsp], rax
001659b5lea rbx, [rip+0x1c46b4]
001659bcmov rbx, [rbx+80]
001659c0mov rbx, [rbx]
001659c3cmp rbx, 3
001659c7jle 0x165a16
001659c9mov [rsp+24], rax
001659cemov rax, [rsp+40]
001659d3mov [rsp+16], rax
001659d8mov rax, [rsp+32]
001659ddmov rax, [rax]
001659e0mov [rsp+8], rax
001659e5lea rbx, [rip+0x190f44]
001659eclea rax, [rip+0x1c7c25]
001659f3mov rax, [rax+312]
001659facall Stdlib.Printf.fprintf
001659ffmov rsi, rax
00165a02mov rax, [rsp+8]
00165a07mov rbx, [rsp+16]
00165a0cmov rdi, [rsp+24]
00165a11call caml_apply3
00165a16
00165a16loc_165a16:
00165a16mov rax, [rsp]
00165a1aadd rsp, 48
00165a1eret
00165a1f
00165a1floc_165a1f:
00165a1fcall caml_call_gc
00165a24jmp 0x165959
00165a29
00165a29loc_165a29:
00165a29push 41
00165a2bcall caml_call_realloc_stack
00165a30pop r10
00165a32jmp 0x165782
00165770
00165a37
00165a37 // align 0x10
00165a37 // align 0x10
00165a40
00165a40camlGet.get_int_string_906:
00165a40mov rbx, rax
00165a43lea rax, [rip+0x18fe16]
00165a4amov rax, [rax+272]
00165a51jmp 0x165770
00165a40
00165a40camlGet.get_int_string_906:
00165a40mov rbx, rax
00165a43lea rax, [rip+0x18fe16]
00165a4amov rax, [rax+272]
00165a51jmp 0x165770
00165a40
00165a56
00165a56 // align 0x10
00165a56 // align 0x10
00165a60
00165a60camlGet.get_int_909:
00165a60mov rbx, rax
00165a63lea rax, [rip+0x18fdf6]
00165a6amov rax, [rax+280]
00165a71jmp 0x165770
00165a60
00165a60camlGet.get_int_909:
00165a60mov rbx, rax
00165a63lea rax, [rip+0x18fdf6]
00165a6amov rax, [rax+280]
00165a71jmp 0x165770
00165a60
00165a76
00165a76 // align 0x10
00165a76 // align 0x10
00165a80
00165a80camlGet.get_bool_912:
00165a80lea r10, [rsp-360]
00165a88cmp r10, [r14+40]
00165a8cjb 0x165cca
00165a92
00165a92loc_165a92:
00165a92sub rsp, 24
00165a96mov [rsp], rax
00165a9amov rbx, [rax]
00165a9dmov [rsp+16], rbx
00165aa2lea rax, [rip+0x1c45c7]
00165aa9mov rax, [rax+80]
00165aadmov rax, [rax]
00165ab0cmp rax, 3
00165ab4jle 0x165ac7
00165ab6lea rax, [rip+0x190e5b]
00165abdcall camlStdlib.$5e_139
00165ac2call camlStdlib.prerr_endline_390
00165ac7
00165ac7loc_165ac7:
00165ac7lea rax, [rip+0x18fd92]
00165acemov rax, [rax+120]
00165ad2mov rbx, [rax]
00165ad5mov [rsp+8], rbx
00165adamov [rax], 3
00165ae1mov rax, [rsp]
00165ae5mov rax, [rax+8]
00165ae9call camlLexstate.start_normal_914
00165aeelea rax, [rip+0x18fd6b]
00165af5mov rax, [rax+88]
00165af9mov rbx, [rax]
00165afclea rax, [rip+0x190e05]
00165b03mov rdi, [rbx]
00165b06call rdi
00165b08mov eax, 1
00165b0dcall camlGet.def_commands_bool_819
00165b12mov eax, 15
00165b17call camlGet.open_ngroups_538
00165b1clea r11, [rip+45]
00165b23push r11
00165b25push [r14+48]
00165b29mov [r14+48], rsp
00165b2dlea rax, [rip+0x18fd2c]
00165b34mov rax, [rax+208]
00165b3bmov rbx, [rsp+32]
00165b40call camlLexstate.scan_this_1185
00165b45pop [r14+48]
00165b49add rsp, 8
00165b4djmp 0x165b8c
00165b4fnop
00165b50mov [rsp], rax
00165b54lea rbx, [rip+0x190d55]
00165b5bmov rax, [rsp+16]
00165b60call camlStdlib.$5e_139
00165b65mov rbx, rax
00165b68lea rax, [rip+0x190d79]
00165b6fcall camlStdlib.$5e_139
00165b74call camlStdlib.prerr_endline_390
00165b79mov rax, [rsp]
00165b7dmov rsp, [r14+48]
00165b81pop [r14+48]
00165b85pop r11
00165b87jmp r11
00165b8anop
00165b8c
00165b8cloc_165b8c:
00165b8cmov eax, 15
00165b91call camlGet.close_ngroups_544
00165b96lea rax, [rip+0x18fcc3]
00165b9dmov rax, [rax+96]
00165ba1mov rbx, [rax]
00165ba4lea rax, [rip+0x190d5d]
00165babmov rdi, [rbx]
00165baecall rdi
00165bb0mov eax, 1
00165bb5call camlLexstate.restore_flags_891
00165bbamov eax, 1
00165bbfcall camlLexstate.restore_lexstate_882
00165bc4lea rax, [rip+0x18fc95]
00165bcbmov rax, [rax+144]
00165bd2mov rax, [rax]
00165bd5test al, 1
00165bd7je 0x165c34
00165bd9lea rbx, [rip+0x190c98]
00165be0mov rax, [rsp+16]
00165be5call camlStdlib.$5e_139
00165beamov rbx, rax
00165bedlea rax, [rip+0x190cac]
00165bf4call camlStdlib.$5e_139
00165bf9sub r15, 24
00165bfdcmp r15, [r14]
00165c00jb 0x165cc0
00165c06
00165c06loc_165c06:
00165c06lea rbx, [r15+8]
00165c0amov [rbx-8], 2048
00165c12lea rdi, [rip+0x18fc47]
00165c19mov rdi, [rdi]
00165c1cmov [rbx], rdi
00165c1fmov [rbx+8], rax
00165c23mov rax, rbx
00165c26mov rsp, [r14+48]
00165c2apop [r14+48]
00165c2epop r11
00165c30jmp r11
00165c33nop
00165c34
00165c34loc_165c34:
00165c34lea rax, [rip+0x18fc25]
00165c3bmov rax, [rax+144]
00165c42call camlMyStack.pop_292
00165c47mov [rsp], rax
00165c4blea rbx, [rip+0x1c441e]
00165c52mov rbx, [rbx+80]
00165c56mov rbx, [rbx]
00165c59cmp rbx, 3
00165c5djle 0x165ca4
00165c5fcmp rax, 1
00165c63je 0x165c70
00165c65lea rbx, [rip+0x190634]
00165c6cjmp 0x165c77
00165c6enop
00165c70
00165c70loc_165c70:
00165c70lea rbx, [rip+0x190169]
00165c77
00165c77loc_165c77:
00165c77lea rax, [rip+0x190bd2]
00165c7ecall camlStdlib.$5e_139
00165c83mov rbx, rax
00165c86mov rax, [rsp+16]
00165c8bcall camlStdlib.$5e_139
00165c90mov rbx, rax
00165c93lea rax, [rip+0x190bc6]
00165c9acall camlStdlib.$5e_139
00165c9fcall camlStdlib.prerr_endline_390
00165ca4
00165ca4loc_165ca4:
00165ca4lea rax, [rip+0x18fbb5]
00165cabmov rax, [rax+120]
00165cafmov rbx, [rsp+8]
00165cb4mov [rax], rbx
00165cb7mov rax, [rsp]
00165cbbadd rsp, 24
00165cbfret
00165cc0
00165cc0loc_165cc0:
00165cc0call caml_call_gc
00165cc5jmp 0x165c06
00165cca
00165ccaloc_165cca:
00165ccapush 38
00165ccccall caml_call_realloc_stack
00165cd1pop r10
00165cd3jmp 0x165a92
00165a80
00165a80camlGet.get_bool_912:
00165a80lea r10, [rsp-360]
00165a88cmp r10, [r14+40]
00165a8cjb 0x165cca
00165a92
00165a92loc_165a92:
00165a92sub rsp, 24
00165a96mov [rsp], rax
00165a9amov rbx, [rax]
00165a9dmov [rsp+16], rbx
00165aa2lea rax, [rip+0x1c45c7]
00165aa9mov rax, [rax+80]
00165aadmov rax, [rax]
00165ab0cmp rax, 3
00165ab4jle 0x165ac7
00165ab6lea rax, [rip+0x190e5b]
00165abdcall camlStdlib.$5e_139
00165ac2call camlStdlib.prerr_endline_390
00165ac7
00165ac7loc_165ac7:
00165ac7lea rax, [rip+0x18fd92]
00165acemov rax, [rax+120]
00165ad2mov rbx, [rax]
00165ad5mov [rsp+8], rbx
00165adamov [rax], 3
00165ae1mov rax, [rsp]
00165ae5mov rax, [rax+8]
00165ae9call camlLexstate.start_normal_914
00165aeelea rax, [rip+0x18fd6b]
00165af5mov rax, [rax+88]
00165af9mov rbx, [rax]
00165afclea rax, [rip+0x190e05]
00165b03mov rdi, [rbx]
00165b06call rdi
00165b08mov eax, 1
00165b0dcall camlGet.def_commands_bool_819
00165b12mov eax, 15
00165b17call camlGet.open_ngroups_538
00165b1clea r11, [rip+45]
00165b23push r11
00165b25push [r14+48]
00165b29mov [r14+48], rsp
00165b2dlea rax, [rip+0x18fd2c]
00165b34mov rax, [rax+208]
00165b3bmov rbx, [rsp+32]
00165b40call camlLexstate.scan_this_1185
00165b45pop [r14+48]
00165b49add rsp, 8
00165b4djmp 0x165b8c
00165b4fnop
00165b50mov [rsp], rax
00165b54lea rbx, [rip+0x190d55]
00165b5bmov rax, [rsp+16]
00165b60call camlStdlib.$5e_139
00165b65mov rbx, rax
00165b68lea rax, [rip+0x190d79]
00165b6fcall camlStdlib.$5e_139
00165b74call camlStdlib.prerr_endline_390
00165b79mov rax, [rsp]
00165b7dmov rsp, [r14+48]
00165b81pop [r14+48]
00165b85pop r11
00165b87jmp r11
00165b8anop
00165b8c
00165b8cloc_165b8c:
00165b8cmov eax, 15
00165b91call camlGet.close_ngroups_544
00165b96lea rax, [rip+0x18fcc3]
00165b9dmov rax, [rax+96]
00165ba1mov rbx, [rax]
00165ba4lea rax, [rip+0x190d5d]
00165babmov rdi, [rbx]
00165baecall rdi
00165bb0mov eax, 1
00165bb5call camlLexstate.restore_flags_891
00165bbamov eax, 1
00165bbfcall camlLexstate.restore_lexstate_882
00165bc4lea rax, [rip+0x18fc95]
00165bcbmov rax, [rax+144]
00165bd2mov rax, [rax]
00165bd5test al, 1
00165bd7je 0x165c34
00165bd9lea rbx, [rip+0x190c98]
00165be0mov rax, [rsp+16]
00165be5call camlStdlib.$5e_139
00165beamov rbx, rax
00165bedlea rax, [rip+0x190cac]
00165bf4call camlStdlib.$5e_139
00165bf9sub r15, 24
00165bfdcmp r15, [r14]
00165c00jb 0x165cc0
00165c06
00165c06loc_165c06:
00165c06lea rbx, [r15+8]
00165c0amov [rbx-8], 2048
00165c12lea rdi, [rip+0x18fc47]
00165c19mov rdi, [rdi]
00165c1cmov [rbx], rdi
00165c1fmov [rbx+8], rax
00165c23mov rax, rbx
00165c26mov rsp, [r14+48]
00165c2apop [r14+48]
00165c2epop r11
00165c30jmp r11
00165c33nop
00165c34
00165c34loc_165c34:
00165c34lea rax, [rip+0x18fc25]
00165c3bmov rax, [rax+144]
00165c42call camlMyStack.pop_292
00165c47mov [rsp], rax
00165c4blea rbx, [rip+0x1c441e]
00165c52mov rbx, [rbx+80]
00165c56mov rbx, [rbx]
00165c59cmp rbx, 3
00165c5djle 0x165ca4
00165c5fcmp rax, 1
00165c63je 0x165c70
00165c65lea rbx, [rip+0x190634]
00165c6cjmp 0x165c77
00165c6enop
00165c70
00165c70loc_165c70:
00165c70lea rbx, [rip+0x190169]
00165c77
00165c77loc_165c77:
00165c77lea rax, [rip+0x190bd2]
00165c7ecall camlStdlib.$5e_139
00165c83mov rbx, rax
00165c86mov rax, [rsp+16]
00165c8bcall camlStdlib.$5e_139
00165c90mov rbx, rax
00165c93lea rax, [rip+0x190bc6]
00165c9acall camlStdlib.$5e_139
00165c9fcall camlStdlib.prerr_endline_390
00165ca4
00165ca4loc_165ca4:
00165ca4lea rax, [rip+0x18fbb5]
00165cabmov rax, [rax+120]
00165cafmov rbx, [rsp+8]
00165cb4mov [rax], rbx
00165cb7mov rax, [rsp]
00165cbbadd rsp, 24
00165cbfret
00165cc0
00165cc0loc_165cc0:
00165cc0call caml_call_gc
00165cc5jmp 0x165c06
00165cca
00165ccaloc_165cca:
00165ccapush 38
00165ccccall caml_call_realloc_stack
00165cd1pop r10
00165cd3jmp 0x165a92
00165a80
00165cd8
00165cd8 // align 0x10
00165cd8 // align 0x10
00165ce0
00165ce0camlGet.get_length_920:
00165ce0lea r10, [rsp-336]
00165ce8cmp r10, [r14+40]
00165cecjb 0x165d97
00165cf2
00165cf2loc_165cf2:
00165cf2sub rsp, 16
00165cf6mov rbx, rax
00165cf9mov [rsp], rbx
00165cfdlea rax, [rip+0x1c436c]
00165d04mov rax, [rax+80]
00165d08mov rax, [rax]
00165d0bcmp rax, 3
00165d0fjle 0x165d22
00165d11lea rax, [rip+0x190b20]
00165d18call camlStdlib.$5e_139
00165d1dcall camlStdlib.prerr_endline_390
00165d22
00165d22loc_165d22:
00165d22mov rax, [rsp]
00165d26call camlMyLexing.from_string_309
00165d2bcall camlLength.main_473
00165d30mov [rsp+8], rax
00165d35lea rax, [rip+0x1c4334]
00165d3cmov rax, [rax+80]
00165d40mov rax, [rax]
00165d43cmp rax, 5
00165d47jle 0x165d8d
00165d49lea rbx, [rip+0x190ad8]
00165d50mov rax, [rsp]
00165d54call camlStdlib.$5e_139
00165d59mov rbx, rax
00165d5clea rax, [rip+0x190ad5]
00165d63call camlStdlib.$5e_139
00165d68mov rbx, rax
00165d6blea rax, [rip+0x1c78a6]
00165d72mov rax, [rax+312]
00165d79call camlStdlib.output_string_253
00165d7emov rax, [rsp+8]
00165d83call camlLength.pretty_315
00165d88call camlStdlib.prerr_endline_390
00165d8d
00165d8dloc_165d8d:
00165d8dmov rax, [rsp+8]
00165d92add rsp, 16
00165d96ret
00165d97
00165d97loc_165d97:
00165d97push 35
00165d99call caml_call_realloc_stack
00165d9epop r10
00165da0jmp 0x165cf2
00165ce0
00165ce0camlGet.get_length_920:
00165ce0lea r10, [rsp-336]
00165ce8cmp r10, [r14+40]
00165cecjb 0x165d97
00165cf2
00165cf2loc_165cf2:
00165cf2sub rsp, 16
00165cf6mov rbx, rax
00165cf9mov [rsp], rbx
00165cfdlea rax, [rip+0x1c436c]
00165d04mov rax, [rax+80]
00165d08mov rax, [rax]
00165d0bcmp rax, 3
00165d0fjle 0x165d22
00165d11lea rax, [rip+0x190b20]
00165d18call camlStdlib.$5e_139
00165d1dcall camlStdlib.prerr_endline_390
00165d22
00165d22loc_165d22:
00165d22mov rax, [rsp]
00165d26call camlMyLexing.from_string_309
00165d2bcall camlLength.main_473
00165d30mov [rsp+8], rax
00165d35lea rax, [rip+0x1c4334]
00165d3cmov rax, [rax+80]
00165d40mov rax, [rax]
00165d43cmp rax, 5
00165d47jle 0x165d8d
00165d49lea rbx, [rip+0x190ad8]
00165d50mov rax, [rsp]
00165d54call camlStdlib.$5e_139
00165d59mov rbx, rax
00165d5clea rax, [rip+0x190ad5]
00165d63call camlStdlib.$5e_139
00165d68mov rbx, rax
00165d6blea rax, [rip+0x1c78a6]
00165d72mov rax, [rax+312]
00165d79call camlStdlib.output_string_253
00165d7emov rax, [rsp+8]
00165d83call camlLength.pretty_315
00165d88call camlStdlib.prerr_endline_390
00165d8d
00165d8dloc_165d8d:
00165d8dmov rax, [rsp+8]
00165d92add rsp, 16
00165d96ret
00165d97
00165d97loc_165d97:
00165d97push 35
00165d99call caml_call_realloc_stack
00165d9epop r10
00165da0jmp 0x165cf2
00165ce0
00165da5
00165da5 // align 0x10
00165da5 // align 0x10
00165db0
00165db0camlGet.entry:
00165db0sub rsp, 16
00165db4mov edi, 1
00165db9mov rbx, rsp
00165dbcmov rsp, [r14+64]
00165dc0call caml_fresh_oo_id
00165dc5mov rsp, rbx
00165dc8call caml_alloc2
00165dcdlea rsi, [r15+8]
00165dd1mov [rsi-8], 2296
00165dd9lea rbx, [rip+0x190e70]
00165de0mov [rsi], rbx
00165de3mov [rsi+8], rax
00165de7lea rdi, [rip+0x18fa72]
00165deemov rbx, rsp
00165df1mov rsp, [r14+64]
00165df5call caml_initialize
00165dfamov rsp, rbx
00165dfdlea rsi, [rip+0x18f77c]
00165e04lea rdi, [rip+0x18fa55]
00165e0badd rdi, 64
00165e0fmov rbx, rsp
00165e12mov rsp, [r14+64]
00165e16call caml_initialize
00165e1bmov rsp, rbx
00165e1esub r15, 96
00165e22call caml_allocN
00165e27lea rsi, [r15+8]
00165e2badd rsi, 80
00165e2fmov [rsi-8], 1024
00165e37lea rax, [rip+0x18f7da]
00165e3emov [rsi], rax
00165e41lea rax, [rsi-16]
00165e45mov [rsp], rax
00165e49mov [rax-8], 1024
00165e51lea rbx, [rip+0x18f7a0]
00165e58mov [rax], rbx
00165e5blea r12, [rax-16]
00165e5fmov [r12-8], 1024
00165e68lea rax, [rip+0x18f771]
00165e6fmov [r12], rax
00165e73lea r13, [r12-16]
00165e78mov [r13-8], 1024
00165e80lea rax, [rip+0x18f741]
00165e87mov [r13], rax
00165e8blea rbp, [r13-16]
00165e8fmov [rbp-8], 1024
00165e97lea rax, [rip+0x18f712]
00165e9emov [rbp], rax
00165ea2lea rbx, [rbp-16]
00165ea6mov [rsp+8], rbx
00165eabmov rbx, [rsp+8]
00165eb0mov [rbx-8], 1024
00165eb8lea rax, [rip+0x18f6d9]
00165ebfmov rbx, [rsp+8]
00165ec4mov [rbx], rax
00165ec7lea rdi, [rip+0x18f992]
00165eceadd rdi, 72
00165ed2mov rbx, rsp
00165ed5mov rsp, [r14+64]
00165ed9call caml_initialize
00165edemov rsp, rbx
00165ee1lea rdi, [rip+0x18f978]
00165ee8add rdi, 80
00165eecmov rsi, [rsp]
00165ef0mov rbx, rsp
00165ef3mov rsp, [r14+64]
00165ef7call caml_initialize
00165efcmov rsp, rbx
00165efflea rdi, [rip+0x18f95a]
00165f06add rdi, 88
00165f0amov rsi, r12
00165f0dmov rbx, rsp
00165f10mov rsp, [r14+64]
00165f14call caml_initialize
00165f19mov rsp, rbx
00165f1clea rdi, [rip+0x18f93d]
00165f23add rdi, 96
00165f27mov rsi, r13
00165f2amov rbx, rsp
00165f2dmov rsp, [r14+64]
00165f31call caml_initialize
00165f36mov rsp, rbx
00165f39lea rdi, [rip+0x18f920]
00165f40add rdi, 104
00165f44mov rsi, rbp
00165f47mov rbx, rsp
00165f4amov rsp, [r14+64]
00165f4ecall caml_initialize
00165f53mov rsp, rbx
00165f56lea rdi, [rip+0x18f903]
00165f5dadd rdi, 112
00165f61mov rsi, [rsp+8]
00165f66mov rbx, rsp
00165f69mov rsp, [r14+64]
00165f6dcall caml_initialize
00165f72mov rsp, rbx
00165f75call caml_alloc3
00165f7alea rsi, [r15+8]
00165f7eadd rsi, 16
00165f82mov [rsi-8], 1024
00165f8amov [rsi], 1
00165f91lea r12, [rsi-16]
00165f95mov [r12-8], 1024
00165f9emov [r12], 1
00165fa6lea rdi, [rip+0x18f8b3]
00165fadadd rdi, 120
00165fb1mov rbx, rsp
00165fb4mov rsp, [r14+64]
00165fb8call caml_initialize
00165fbdmov rsp, rbx
00165fc0lea rdi, [rip+0x18f899]
00165fc7add rdi, 128
00165fcemov rsi, r12
00165fd1mov rbx, rsp
00165fd4mov rsp, [r14+64]
00165fd8call caml_initialize
00165fddmov rsp, rbx
00165fe0sub r15, 112
00165fe4call caml_allocN
00165fe9lea rsi, [r15+8]
00165fedadd rsi, 80
00165ff1mov [rsi-8], 3072
00165ff9mov [rsi], 1
00166000lea rax, [rip+0x18fa39]
00166007mov [rsi+8], rax
0016600bmov [rsi+16], 1
00166013lea r12, [rsi-32]
00166017mov [r12-8], 3072
00166020mov [r12], 1
00166028lea rax, [rip+0x190c09]
0016602fmov [r12+8], rax
00166034mov [r12+16], 1
0016603dlea r13, [r12-32]
00166042mov [r13-8], 3072
0016604amov [r13], 1
00166052lea rax, [rip+0x190ad7]
00166059mov [r13+8], rax
0016605dmov [r13+16], 1
00166065lea rbp, [r13-16]
00166069mov [rbp-8], 1024
00166071mov [rbp], 1
00166079lea rdi, [rip+0x18f7e0]
00166080add rdi, 136
00166087mov rbx, rsp
0016608amov rsp, [r14+64]
0016608ecall caml_initialize
00166093mov rsp, rbx
00166096lea rdi, [rip+0x18f7c3]
0016609dadd rdi, 144
001660a4mov rsi, r12
001660a7mov rbx, rsp
001660aamov rsp, [r14+64]
001660aecall caml_initialize
001660b3mov rsp, rbx
001660b6lea rdi, [rip+0x18f7a3]
001660bdadd rdi, 152
001660c4mov rsi, r13
001660c7mov rbx, rsp
001660camov rsp, [r14+64]
001660cecall caml_initialize
001660d3mov rsp, rbx
001660d6lea rdi, [rip+0x18f783]
001660ddadd rdi, 160
001660e4mov rsi, rbp
001660e7mov rbx, rsp
001660eamov rsp, [r14+64]
001660eecall caml_initialize
001660f3mov rsp, rbx
001660f6lea rsi, [rip+0x18f553]
001660fdlea r12, [rip+0x18f52c]
00166104lea rdi, [rip+0x18f755]
0016610badd rdi, 16
0016610fmov rbx, rsp
00166112mov rsp, [r14+64]
00166116call caml_initialize
0016611bmov rsp, rbx
0016611elea rdi, [rip+0x18f73b]
00166125add rdi, 24
00166129mov rsi, r12
0016612cmov rbx, rsp
0016612fmov rsp, [r14+64]
00166133call caml_initialize
00166138mov rsp, rbx
0016613blea rsi, [rip+0x18f526]
00166142lea rdi, [rip+0x18f717]
00166149add rdi, 168
00166150mov rbx, rsp
00166153mov rsp, [r14+64]
00166157call caml_initialize
0016615cmov rsp, rbx
0016615flea rsi, [rip+0x18f51a]
00166166lea rdi, [rip+0x18f6f3]
0016616dadd rdi, 176
00166174mov rbx, rsp
00166177mov rsp, [r14+64]
0016617bcall caml_initialize
00166180mov rsp, rbx
00166183lea rsi, [rip+0x18f50e]
0016618alea rdi, [rip+0x18f6cf]
00166191add rdi, 184
00166198mov rbx, rsp
0016619bmov rsp, [r14+64]
0016619fcall caml_initialize
001661a4mov rsp, rbx
001661a7lea rsi, [rip+0x18f502]
001661aelea rdi, [rip+0x18f6ab]
001661b5add rdi, 192
001661bcmov rbx, rsp
001661bfmov rsp, [r14+64]
001661c3call caml_initialize
001661c8mov rsp, rbx
001661cblea rsi, [rip+0x18fc1e]
001661d2lea rdi, [rip+0x18f687]
001661d9add rdi, 200
001661e0mov rbx, rsp
001661e3mov rsp, [r14+64]
001661e7call caml_initialize
001661ecmov rsp, rbx
001661eflea r12, [rip+0x18f4da]
001661f6lea rdi, [rip+0x18f663]
001661fdadd rdi, 208
00166204mov rsi, r12
00166207mov rbx, rsp
0016620amov rsp, [r14+64]
0016620ecall caml_initialize
00166213mov rsp, rbx
00166216mov rsi, r12
00166219add rsi, 24
0016621dlea rdi, [rip+0x18f63c]
00166224add rdi, 216
0016622bmov rbx, rsp
0016622emov rsp, [r14+64]
00166232call caml_initialize
00166237mov rsp, rbx
0016623amov rsi, r12
0016623dadd rsi, 56
00166241lea rdi, [rip+0x18f618]
00166248add rdi, 224
0016624fmov rbx, rsp
00166252mov rsp, [r14+64]
00166256call caml_initialize
0016625bmov rsp, rbx
0016625emov rsi, r12
00166261add rsi, 80
00166265lea rdi, [rip+0x18f5f4]
0016626cadd rdi, 232
00166273mov rbx, rsp
00166276mov rsp, [r14+64]
0016627acall caml_initialize
0016627fmov rsp, rbx
00166282lea rsi, [rip+0x18f4b7]
00166289lea rdi, [rip+0x18f5d0]
00166290add rdi, 8
00166294mov rbx, rsp
00166297mov rsp, [r14+64]
0016629bcall caml_initialize
001662a0mov rsp, rbx
001662a3lea rsi, [rip+0x18f4b6]
001662aalea rdi, [rip+0x18f5af]
001662b1add rdi, 240
001662b8mov rbx, rsp
001662bbmov rsp, [r14+64]
001662bfcall caml_initialize
001662c4mov rsp, rbx
001662c7lea rsi, [rip+0x18f4b2]
001662celea rdi, [rip+0x18f58b]
001662d5add rdi, 248
001662dcmov rbx, rsp
001662dfmov rsp, [r14+64]
001662e3call caml_initialize
001662e8mov rsp, rbx
001662eblea rsi, [rip+0x18f4a6]
001662f2lea rdi, [rip+0x18f567]
001662f9add rdi, 256
00166300mov rbx, rsp
00166303mov rsp, [r14+64]
00166307call caml_initialize
0016630cmov rsp, rbx
0016630flea rsi, [rip+0x18f49a]
00166316lea rdi, [rip+0x18f543]
0016631dadd rdi, 264
00166324mov rbx, rsp
00166327mov rsp, [r14+64]
0016632bcall caml_initialize
00166330mov rsp, rbx
00166333call caml_alloc3
00166338lea rsi, [r15+8]
0016633cmov [rsi-8], 3072
00166344lea rax, [rip+0x1c72cd]
0016634bmov rax, [rax+520]
00166352mov [rsi], rax
00166355lea rax, [rip+0x18f46c]
0016635cmov [rsi+8], rax
00166360lea rax, [rip+0x1b0639]
00166367mov rax, [rax+632]
0016636emov [rsi+16], rax
00166372lea rdi, [rip+0x18f4e7]
00166379add rdi, 272
00166380mov rbx, rsp
00166383mov rsp, [r14+64]
00166387call caml_initialize
0016638cmov rsp, rbx
0016638flea rax, [rip+0x18faba]
00166396lea rbx, [rip+0x1d5e63]
0016639dmov rbx, [rbx+48]
001663a1sub r15, 72
001663a5call caml_allocN
001663aalea rdi, [r15+8]
001663aeadd rdi, 32
001663b2mov [rdi-8], 4343
001663balea rsi, [rip-3169]
001663c1mov [rdi], rsi
001663c4mov rsi, 0x100000000000005
001663cemov [rdi+8], rsi
001663d2mov [rdi+16], rax
001663d6mov [rdi+24], rbx
001663dalea rsi, [rdi-32]
001663demov [rsi-8], 3072
001663e6lea rax, [rip+0x1b05b3]
001663edmov rbx, [rax]
001663f0mov [rsi], rbx
001663f3mov [rsi+8], rdi
001663f7mov rax, [rax+640]
001663femov [rsi+16], rax
00166402lea rdi, [rip+0x18f457]
00166409add rdi, 280
00166410mov rbx, rsp
00166413mov rsp, [r14+64]
00166417call caml_initialize
0016641cmov rsp, rbx
0016641flea rsi, [rip+0x18f3ba]
00166426lea rdi, [rip+0x18f433]
0016642dadd rdi, 288
00166434mov rbx, rsp
00166437mov rsp, [r14+64]
0016643bcall caml_initialize
00166440mov rsp, rbx
00166443lea rsi, [rip+0x18f3b6]
0016644alea rdi, [rip+0x18f40f]
00166451add rdi, 32
00166455mov rbx, rsp
00166458mov rsp, [r14+64]
0016645ccall caml_initialize
00166461mov rsp, rbx
00166464lea rsi, [rip+0x18f3ad]
0016646blea rdi, [rip+0x18f3ee]
00166472add rdi, 40
00166476mov rbx, rsp
00166479mov rsp, [r14+64]
0016647dcall caml_initialize
00166482mov rsp, rbx
00166485lea rsi, [rip+0x18f3a4]
0016648clea rdi, [rip+0x18f3cd]
00166493add rdi, 48
00166497mov rbx, rsp
0016649amov rsp, [r14+64]
0016649ecall caml_initialize
001664a3mov rsp, rbx
001664a6lea rsi, [rip+0x18f39b]
001664adlea rdi, [rip+0x18f3ac]
001664b4add rdi, 56
001664b8mov rbx, rsp
001664bbmov rsp, [r14+64]
001664bfcall caml_initialize
001664c4mov rsp, rbx
001664c7mov eax, 1
001664ccadd rsp, 16
001664d0ret
00165db0
00165db0camlGet.entry:
00165db0sub rsp, 16
00165db4mov edi, 1
00165db9mov rbx, rsp
00165dbcmov rsp, [r14+64]
00165dc0call caml_fresh_oo_id
00165dc5mov rsp, rbx
00165dc8call caml_alloc2
00165dcdlea rsi, [r15+8]
00165dd1mov [rsi-8], 2296
00165dd9lea rbx, [rip+0x190e70]
00165de0mov [rsi], rbx
00165de3mov [rsi+8], rax
00165de7lea rdi, [rip+0x18fa72]
00165deemov rbx, rsp
00165df1mov rsp, [r14+64]
00165df5call caml_initialize
00165dfamov rsp, rbx
00165dfdlea rsi, [rip+0x18f77c]
00165e04lea rdi, [rip+0x18fa55]
00165e0badd rdi, 64
00165e0fmov rbx, rsp
00165e12mov rsp, [r14+64]
00165e16call caml_initialize
00165e1bmov rsp, rbx
00165e1esub r15, 96
00165e22call caml_allocN
00165e27lea rsi, [r15+8]
00165e2badd rsi, 80
00165e2fmov [rsi-8], 1024
00165e37lea rax, [rip+0x18f7da]
00165e3emov [rsi], rax
00165e41lea rax, [rsi-16]
00165e45mov [rsp], rax
00165e49mov [rax-8], 1024
00165e51lea rbx, [rip+0x18f7a0]
00165e58mov [rax], rbx
00165e5blea r12, [rax-16]
00165e5fmov [r12-8], 1024
00165e68lea rax, [rip+0x18f771]
00165e6fmov [r12], rax
00165e73lea r13, [r12-16]
00165e78mov [r13-8], 1024
00165e80lea rax, [rip+0x18f741]
00165e87mov [r13], rax
00165e8blea rbp, [r13-16]
00165e8fmov [rbp-8], 1024
00165e97lea rax, [rip+0x18f712]
00165e9emov [rbp], rax
00165ea2lea rbx, [rbp-16]
00165ea6mov [rsp+8], rbx
00165eabmov rbx, [rsp+8]
00165eb0mov [rbx-8], 1024
00165eb8lea rax, [rip+0x18f6d9]
00165ebfmov rbx, [rsp+8]
00165ec4mov [rbx], rax
00165ec7lea rdi, [rip+0x18f992]
00165eceadd rdi, 72
00165ed2mov rbx, rsp
00165ed5mov rsp, [r14+64]
00165ed9call caml_initialize
00165edemov rsp, rbx
00165ee1lea rdi, [rip+0x18f978]
00165ee8add rdi, 80
00165eecmov rsi, [rsp]
00165ef0mov rbx, rsp
00165ef3mov rsp, [r14+64]
00165ef7call caml_initialize
00165efcmov rsp, rbx
00165efflea rdi, [rip+0x18f95a]
00165f06add rdi, 88
00165f0amov rsi, r12
00165f0dmov rbx, rsp
00165f10mov rsp, [r14+64]
00165f14call caml_initialize
00165f19mov rsp, rbx
00165f1clea rdi, [rip+0x18f93d]
00165f23add rdi, 96
00165f27mov rsi, r13
00165f2amov rbx, rsp
00165f2dmov rsp, [r14+64]
00165f31call caml_initialize
00165f36mov rsp, rbx
00165f39lea rdi, [rip+0x18f920]
00165f40add rdi, 104
00165f44mov rsi, rbp
00165f47mov rbx, rsp
00165f4amov rsp, [r14+64]
00165f4ecall caml_initialize
00165f53mov rsp, rbx
00165f56lea rdi, [rip+0x18f903]
00165f5dadd rdi, 112
00165f61mov rsi, [rsp+8]
00165f66mov rbx, rsp
00165f69mov rsp, [r14+64]
00165f6dcall caml_initialize
00165f72mov rsp, rbx
00165f75call caml_alloc3
00165f7alea rsi, [r15+8]
00165f7eadd rsi, 16
00165f82mov [rsi-8], 1024
00165f8amov [rsi], 1
00165f91lea r12, [rsi-16]
00165f95mov [r12-8], 1024
00165f9emov [r12], 1
00165fa6lea rdi, [rip+0x18f8b3]
00165fadadd rdi, 120
00165fb1mov rbx, rsp
00165fb4mov rsp, [r14+64]
00165fb8call caml_initialize
00165fbdmov rsp, rbx
00165fc0lea rdi, [rip+0x18f899]
00165fc7add rdi, 128
00165fcemov rsi, r12
00165fd1mov rbx, rsp
00165fd4mov rsp, [r14+64]
00165fd8call caml_initialize
00165fddmov rsp, rbx
00165fe0sub r15, 112
00165fe4call caml_allocN
00165fe9lea rsi, [r15+8]
00165fedadd rsi, 80
00165ff1mov [rsi-8], 3072
00165ff9mov [rsi], 1
00166000lea rax, [rip+0x18fa39]
00166007mov [rsi+8], rax
0016600bmov [rsi+16], 1
00166013lea r12, [rsi-32]
00166017mov [r12-8], 3072
00166020mov [r12], 1
00166028lea rax, [rip+0x190c09]
0016602fmov [r12+8], rax
00166034mov [r12+16], 1
0016603dlea r13, [r12-32]
00166042mov [r13-8], 3072
0016604amov [r13], 1
00166052lea rax, [rip+0x190ad7]
00166059mov [r13+8], rax
0016605dmov [r13+16], 1
00166065lea rbp, [r13-16]
00166069mov [rbp-8], 1024
00166071mov [rbp], 1
00166079lea rdi, [rip+0x18f7e0]
00166080add rdi, 136
00166087mov rbx, rsp
0016608amov rsp, [r14+64]
0016608ecall caml_initialize
00166093mov rsp, rbx
00166096lea rdi, [rip+0x18f7c3]
0016609dadd rdi, 144
001660a4mov rsi, r12
001660a7mov rbx, rsp
001660aamov rsp, [r14+64]
001660aecall caml_initialize
001660b3mov rsp, rbx
001660b6lea rdi, [rip+0x18f7a3]
001660bdadd rdi, 152
001660c4mov rsi, r13
001660c7mov rbx, rsp
001660camov rsp, [r14+64]
001660cecall caml_initialize
001660d3mov rsp, rbx
001660d6lea rdi, [rip+0x18f783]
001660ddadd rdi, 160
001660e4mov rsi, rbp
001660e7mov rbx, rsp
001660eamov rsp, [r14+64]
001660eecall caml_initialize
001660f3mov rsp, rbx
001660f6lea rsi, [rip+0x18f553]
001660fdlea r12, [rip+0x18f52c]
00166104lea rdi, [rip+0x18f755]
0016610badd rdi, 16
0016610fmov rbx, rsp
00166112mov rsp, [r14+64]
00166116call caml_initialize
0016611bmov rsp, rbx
0016611elea rdi, [rip+0x18f73b]
00166125add rdi, 24
00166129mov rsi, r12
0016612cmov rbx, rsp
0016612fmov rsp, [r14+64]
00166133call caml_initialize
00166138mov rsp, rbx
0016613blea rsi, [rip+0x18f526]
00166142lea rdi, [rip+0x18f717]
00166149add rdi, 168
00166150mov rbx, rsp
00166153mov rsp, [r14+64]
00166157call caml_initialize
0016615cmov rsp, rbx
0016615flea rsi, [rip+0x18f51a]
00166166lea rdi, [rip+0x18f6f3]
0016616dadd rdi, 176
00166174mov rbx, rsp
00166177mov rsp, [r14+64]
0016617bcall caml_initialize
00166180mov rsp, rbx
00166183lea rsi, [rip+0x18f50e]
0016618alea rdi, [rip+0x18f6cf]
00166191add rdi, 184
00166198mov rbx, rsp
0016619bmov rsp, [r14+64]
0016619fcall caml_initialize
001661a4mov rsp, rbx
001661a7lea rsi, [rip+0x18f502]
001661aelea rdi, [rip+0x18f6ab]
001661b5add rdi, 192
001661bcmov rbx, rsp
001661bfmov rsp, [r14+64]
001661c3call caml_initialize
001661c8mov rsp, rbx
001661cblea rsi, [rip+0x18fc1e]
001661d2lea rdi, [rip+0x18f687]
001661d9add rdi, 200
001661e0mov rbx, rsp
001661e3mov rsp, [r14+64]
001661e7call caml_initialize
001661ecmov rsp, rbx
001661eflea r12, [rip+0x18f4da]
001661f6lea rdi, [rip+0x18f663]
001661fdadd rdi, 208
00166204mov rsi, r12
00166207mov rbx, rsp
0016620amov rsp, [r14+64]
0016620ecall caml_initialize
00166213mov rsp, rbx
00166216mov rsi, r12
00166219add rsi, 24
0016621dlea rdi, [rip+0x18f63c]
00166224add rdi, 216
0016622bmov rbx, rsp
0016622emov rsp, [r14+64]
00166232call caml_initialize
00166237mov rsp, rbx
0016623amov rsi, r12
0016623dadd rsi, 56
00166241lea rdi, [rip+0x18f618]
00166248add rdi, 224
0016624fmov rbx, rsp
00166252mov rsp, [r14+64]
00166256call caml_initialize
0016625bmov rsp, rbx
0016625emov rsi, r12
00166261add rsi, 80
00166265lea rdi, [rip+0x18f5f4]
0016626cadd rdi, 232
00166273mov rbx, rsp
00166276mov rsp, [r14+64]
0016627acall caml_initialize
0016627fmov rsp, rbx
00166282lea rsi, [rip+0x18f4b7]
00166289lea rdi, [rip+0x18f5d0]
00166290add rdi, 8
00166294mov rbx, rsp
00166297mov rsp, [r14+64]
0016629bcall caml_initialize
001662a0mov rsp, rbx
001662a3lea rsi, [rip+0x18f4b6]
001662aalea rdi, [rip+0x18f5af]
001662b1add rdi, 240
001662b8mov rbx, rsp
001662bbmov rsp, [r14+64]
001662bfcall caml_initialize
001662c4mov rsp, rbx
001662c7lea rsi, [rip+0x18f4b2]
001662celea rdi, [rip+0x18f58b]
001662d5add rdi, 248
001662dcmov rbx, rsp
001662dfmov rsp, [r14+64]
001662e3call caml_initialize
001662e8mov rsp, rbx
001662eblea rsi, [rip+0x18f4a6]
001662f2lea rdi, [rip+0x18f567]
001662f9add rdi, 256
00166300mov rbx, rsp
00166303mov rsp, [r14+64]
00166307call caml_initialize
0016630cmov rsp, rbx
0016630flea rsi, [rip+0x18f49a]
00166316lea rdi, [rip+0x18f543]
0016631dadd rdi, 264
00166324mov rbx, rsp
00166327mov rsp, [r14+64]
0016632bcall caml_initialize
00166330mov rsp, rbx
00166333call caml_alloc3
00166338lea rsi, [r15+8]
0016633cmov [rsi-8], 3072
00166344lea rax, [rip+0x1c72cd]
0016634bmov rax, [rax+520]
00166352mov [rsi], rax
00166355lea rax, [rip+0x18f46c]
0016635cmov [rsi+8], rax
00166360lea rax, [rip+0x1b0639]
00166367mov rax, [rax+632]
0016636emov [rsi+16], rax
00166372lea rdi, [rip+0x18f4e7]
00166379add rdi, 272
00166380mov rbx, rsp
00166383mov rsp, [r14+64]
00166387call caml_initialize
0016638cmov rsp, rbx
0016638flea rax, [rip+0x18faba]
00166396lea rbx, [rip+0x1d5e63]
0016639dmov rbx, [rbx+48]
001663a1sub r15, 72
001663a5call caml_allocN
001663aalea rdi, [r15+8]
001663aeadd rdi, 32
001663b2mov [rdi-8], 4343
001663balea rsi, [rip-3169]
001663c1mov [rdi], rsi
001663c4mov rsi, 0x100000000000005
001663cemov [rdi+8], rsi
001663d2mov [rdi+16], rax
001663d6mov [rdi+24], rbx
001663dalea rsi, [rdi-32]
001663demov [rsi-8], 3072
001663e6lea rax, [rip+0x1b05b3]
001663edmov rbx, [rax]
001663f0mov [rsi], rbx
001663f3mov [rsi+8], rdi
001663f7mov rax, [rax+640]
001663femov [rsi+16], rax
00166402lea rdi, [rip+0x18f457]
00166409add rdi, 280
00166410mov rbx, rsp
00166413mov rsp, [r14+64]
00166417call caml_initialize
0016641cmov rsp, rbx
0016641flea rsi, [rip+0x18f3ba]
00166426lea rdi, [rip+0x18f433]
0016642dadd rdi, 288
00166434mov rbx, rsp
00166437mov rsp, [r14+64]
0016643bcall caml_initialize
00166440mov rsp, rbx
00166443lea rsi, [rip+0x18f3b6]
0016644alea rdi, [rip+0x18f40f]
00166451add rdi, 32
00166455mov rbx, rsp
00166458mov rsp, [r14+64]
0016645ccall caml_initialize
00166461mov rsp, rbx
00166464lea rsi, [rip+0x18f3ad]
0016646blea rdi, [rip+0x18f3ee]
00166472add rdi, 40
00166476mov rbx, rsp
00166479mov rsp, [r14+64]
0016647dcall caml_initialize
00166482mov rsp, rbx
00166485lea rsi, [rip+0x18f3a4]
0016648clea rdi, [rip+0x18f3cd]
00166493add rdi, 48
00166497mov rbx, rsp
0016649amov rsp, [r14+64]
0016649ecall caml_initialize
001664a3mov rsp, rbx
001664a6lea rsi, [rip+0x18f39b]
001664adlea rdi, [rip+0x18f3ac]
001664b4add rdi, 56
001664b8mov rbx, rsp
001664bbmov rsp, [r14+64]
001664bfcall caml_initialize
001664c4mov rsp, rbx
001664c7mov eax, 1
001664ccadd rsp, 16
001664d0ret
00165db0
001664d1
001664d1 // align 0x10
001664d1 // align 0x10
001664e0
001664e0camlLength.main_rule_426:
001664e0cmp r15, [r14]
001664e3jbe 0x1664ef
001664e5
001664e5loc_1664e5:
001664e5mov ebx, 1
001664eajmp 0x166500
001664ef
001664efloc_1664ef:
001664efcall caml_call_gc
001664f4jmp 0x1664e5
001664e0
001664e0camlLength.main_rule_426:
001664e0cmp r15, [r14]
001664e3jbe 0x1664ef
001664e5
001664e5loc_1664e5:
001664e5mov ebx, 1
001664eajmp 0x166500
001664ef
001664efloc_1664ef:
001664efcall caml_call_gc
001664f4jmp 0x1664e5
001664e0
001664f6
001664f6 // align 0x10
001664f6 // align 0x10
00166500
00166500Length..ocaml_lex_main_rule_rec:
00166500lea r10, [rsp-336]
00166508cmp r10, [r14+40]
0016650cjb 0x1665c3
00166512
00166512loc_166512:
00166512sub rsp, 16
00166516
00166516loc_166516:
00166516mov rdi, rax
00166519mov [rsp], rdi
0016651dcmp r15, [r14]
00166520jbe 0x1665b9
00166526
00166526loc_166526:
00166526lea rax, [rip+0x1929fb]
0016652dcall Stdlib.Lexing.engine
00166532cmp rax, 1
00166536je 0x166578
00166538cmp rax, 3
0016653cje 0x16655c
0016653emov [rsp+8], rax
00166543mov rax, [rsp]
00166547mov rbx, [rax]
0016654amov rdi, [rbx]
0016654dcall rdi
0016654fmov rax, [rsp]
00166553mov rbx, [rsp+8]
00166558jmp 0x166516
0016655a
0016655a 66 90 f.
0016655c
0016655cloc_16655c:
0016655cmov rax, [rsp]
00166560call camlLength.positif_428
00166565mov rbx, [rax]
00166568mov rax, [rax+8]
0016656cadd rsp, 16
00166570jmp 0x166aa0
00166575
00166575 0f 1f 00 ...
00166578
00166578loc_166578:
00166578mov rax, [rsp]
0016657ccall camlLength.positif_428
00166581sub r15, 16
00166585cmp r15, [r14]
00166588jb 0x1665b2
0016658a
0016658aloc_16658a:
0016658alea rbx, [r15+8]
0016658emov [rbx-8], 1277
00166596mov rdi, [rax]
00166599xorpd x0, x0
0016659dsubsd x0, [rdi]
001665a1movsd_xmm [rbx], x0
001665a5mov rax, [rax+8]
001665a9add rsp, 16
001665adjmp 0x166aa0
001665b2
001665b2loc_1665b2:
001665b2call caml_call_gc
001665b7jmp 0x16658a
001665b9
001665b9loc_1665b9:
001665b9call caml_call_gc
001665bejmp 0x166526
001665c3
001665c3loc_1665c3:
001665c3push 35
001665c5call caml_call_realloc_stack
001665capop r10
001665ccjmp 0x166512
00166500
00166500Length..ocaml_lex_main_rule_rec:
00166500lea r10, [rsp-336]
00166508cmp r10, [r14+40]
0016650cjb 0x1665c3
00166512
00166512loc_166512:
00166512sub rsp, 16
00166516
00166516loc_166516:
00166516mov rdi, rax
00166519mov [rsp], rdi
0016651dcmp r15, [r14]
00166520jbe 0x1665b9
00166526
00166526loc_166526:
00166526lea rax, [rip+0x1929fb]
0016652dcall Stdlib.Lexing.engine
00166532cmp rax, 1
00166536je 0x166578
00166538cmp rax, 3
0016653cje 0x16655c
0016653emov [rsp+8], rax
00166543mov rax, [rsp]
00166547mov rbx, [rax]
0016654amov rdi, [rbx]
0016654dcall rdi
0016654fmov rax, [rsp]
00166553mov rbx, [rsp+8]
00166558jmp 0x166516
0016655a
0016655a 66 90 f.
0016655c
0016655cloc_16655c:
0016655cmov rax, [rsp]
00166560call camlLength.positif_428
00166565mov rbx, [rax]
00166568mov rax, [rax+8]
0016656cadd rsp, 16
00166570jmp 0x166aa0
00166575
00166575 0f 1f 00 ...
00166578
00166578loc_166578:
00166578mov rax, [rsp]
0016657ccall camlLength.positif_428
00166581sub r15, 16
00166585cmp r15, [r14]
00166588jb 0x1665b2
0016658a
0016658aloc_16658a:
0016658alea rbx, [r15+8]
0016658emov [rbx-8], 1277
00166596mov rdi, [rax]
00166599xorpd x0, x0
0016659dsubsd x0, [rdi]
001665a1movsd_xmm [rbx], x0
001665a5mov rax, [rax+8]
001665a9add rsp, 16
001665adjmp 0x166aa0
001665b2
001665b2loc_1665b2:
001665b2call caml_call_gc
001665b7jmp 0x16658a
001665b9
001665b9loc_1665b9:
001665b9call caml_call_gc
001665bejmp 0x166526
001665c3
001665c3loc_1665c3:
001665c3push 35
001665c5call caml_call_realloc_stack
001665capop r10
001665ccjmp 0x166512
00166500
001665d1
001665d1 // align 0x10
001665d1 // align 0x10
001665e0
001665e0camlLength.positif_428:
001665e0cmp r15, [r14]
001665e3jbe 0x1665ef
001665e5
001665e5loc_1665e5:
001665e5mov ebx, 5
001665eajmp 0x166600
001665ef
001665efloc_1665ef:
001665efcall caml_call_gc
001665f4jmp 0x1665e5
001665e0
001665e0camlLength.positif_428:
001665e0cmp r15, [r14]
001665e3jbe 0x1665ef
001665e5
001665e5loc_1665e5:
001665e5mov ebx, 5
001665eajmp 0x166600
001665ef
001665efloc_1665ef:
001665efcall caml_call_gc
001665f4jmp 0x1665e5
001665e0
001665f6
001665f6 // align 0x10
001665f6 // align 0x10
00166600
00166600Length..ocaml_lex_positif_rec:
00166600lea r10, [rsp-336]
00166608cmp r10, [r14+40]
0016660cjb 0x166701
00166612
00166612loc_166612:
00166612sub rsp, 16
00166616
00166616loc_166616:
00166616mov rdi, rax
00166619mov [rsp+8], rdi
0016661ecmp r15, [r14]
00166621jbe 0x1666f7
00166627
00166627loc_166627:
00166627lea rax, [rip+0x1928fa]
0016662ecall Stdlib.Lexing.engine
00166633cmp rax, 5
00166637jbe 0x166658
00166639mov [rsp], rax
0016663dmov rax, [rsp+8]
00166642mov rbx, [rax]
00166645mov rdi, [rbx]
00166648call rdi
0016664amov rax, [rsp+8]
0016664fmov rbx, [rsp]
00166653jmp 0x166616
00166655nop [rax]
00166658
00166658loc_166658:
00166658sar rax, 1
0016665bcmp rax, 1
0016665fje 0x1666cc
00166661ja 0x1666d8
00166663mov rax, [rsp+8]
00166668mov rbx, [rax+32]
0016666cmov rdi, [rax+40]
00166670sub rdi, rbx
00166673inc rdi
00166676mov rax, [rax+8]
0016667acall Stdlib.Bytes.sub
0016667fmov [rsp], rax
00166683mov rax, [rsp+8]
00166688call camlLength.unit_430
0016668dmov [rsp+8], rax
00166692mov rdi, [rsp]
00166696lea rax, [rip+0xa13c3]
0016669dcall caml_c_call
001666a2sub r15, 24
001666a6cmp r15, [r14]
001666a9jb 0x1666f0
001666ab
001666abloc_1666ab:
001666ablea rbx, [r15+8]
001666afmov [rbx-8], 2048
001666b7mov [rbx], rax
001666bamov rax, [rsp+8]
001666bfmov [rbx+8], rax
001666c3mov rax, rbx
001666c6add rsp, 16
001666caret
001666cbnop
001666cc
001666ccloc_1666cc:
001666cclea rax, [rip+0x1927f5]
001666d3add rsp, 16
001666d7ret
001666d8
001666d8loc_1666d8:
001666d8lea rax, [rip+0x1926b1]
001666dfmov rax, [rax+64]
001666e3mov rsp, [r14+48]
001666e7pop [r14+48]
001666ebpop r11
001666edjmp r11
001666f0
001666f0loc_1666f0:
001666f0call caml_call_gc
001666f5jmp 0x1666ab
001666f7
001666f7loc_1666f7:
001666f7call caml_call_gc
001666fcjmp 0x166627
00166701
00166701loc_166701:
00166701push 35
00166703call caml_call_realloc_stack
00166708pop r10
0016670ajmp 0x166612
00166600
00166600Length..ocaml_lex_positif_rec:
00166600lea r10, [rsp-336]
00166608cmp r10, [r14+40]
0016660cjb 0x166701
00166612
00166612loc_166612:
00166612sub rsp, 16
00166616
00166616loc_166616:
00166616mov rdi, rax
00166619mov [rsp+8], rdi
0016661ecmp r15, [r14]
00166621jbe 0x1666f7
00166627
00166627loc_166627:
00166627lea rax, [rip+0x1928fa]
0016662ecall Stdlib.Lexing.engine
00166633cmp rax, 5
00166637jbe 0x166658
00166639mov [rsp], rax
0016663dmov rax, [rsp+8]
00166642mov rbx, [rax]
00166645mov rdi, [rbx]
00166648call rdi
0016664amov rax, [rsp+8]
0016664fmov rbx, [rsp]
00166653jmp 0x166616
00166655nop [rax]
00166658
00166658loc_166658:
00166658sar rax, 1
0016665bcmp rax, 1
0016665fje 0x1666cc
00166661ja 0x1666d8
00166663mov rax, [rsp+8]
00166668mov rbx, [rax+32]
0016666cmov rdi, [rax+40]
00166670sub rdi, rbx
00166673inc rdi
00166676mov rax, [rax+8]
0016667acall Stdlib.Bytes.sub
0016667fmov [rsp], rax
00166683mov rax, [rsp+8]
00166688call camlLength.unit_430
0016668dmov [rsp+8], rax
00166692mov rdi, [rsp]
00166696lea rax, [rip+0xa13c3]
0016669dcall caml_c_call
001666a2sub r15, 24
001666a6cmp r15, [r14]
001666a9jb 0x1666f0
001666ab
001666abloc_1666ab:
001666ablea rbx, [r15+8]
001666afmov [rbx-8], 2048
001666b7mov [rbx], rax
001666bamov rax, [rsp+8]
001666bfmov [rbx+8], rax
001666c3mov rax, rbx
001666c6add rsp, 16
001666caret
001666cbnop
001666cc
001666ccloc_1666cc:
001666cclea rax, [rip+0x1927f5]
001666d3add rsp, 16
001666d7ret
001666d8
001666d8loc_1666d8:
001666d8lea rax, [rip+0x1926b1]
001666dfmov rax, [rax+64]
001666e3mov rsp, [r14+48]
001666e7pop [r14+48]
001666ebpop r11
001666edjmp r11
001666f0
001666f0loc_1666f0:
001666f0call caml_call_gc
001666f5jmp 0x1666ab
001666f7
001666f7loc_1666f7:
001666f7call caml_call_gc
001666fcjmp 0x166627
00166701
00166701loc_166701:
00166701push 35
00166703call caml_call_realloc_stack
00166708pop r10
0016670ajmp 0x166612
00166600
0016670f
0016670f // align 0x10
0016670f // align 0x10
00166710
00166710camlLength.unit_430:
00166710cmp r15, [r14]
00166713jbe 0x16671f
00166715
00166715loc_166715:
00166715mov ebx, 29
0016671ajmp 0x166730
0016671f
0016671floc_16671f:
0016671fcall caml_call_gc
00166724jmp 0x166715
00166710
00166710camlLength.unit_430:
00166710cmp r15, [r14]
00166713jbe 0x16671f
00166715
00166715loc_166715:
00166715mov ebx, 29
0016671ajmp 0x166730
0016671f
0016671floc_16671f:
0016671fcall caml_call_gc
00166724jmp 0x166715
00166710
Loading..