Similarity

000f8060
000f8060camlHevea.do_rec_1793:
000f8060lea r10, [rsp-328]
000f8068cmp r10, [r14+40]
000f806cjb 0xf80c5
000f806e
000f806eloc_f806e:
000f806esub rsp, 8
000f8072test al, 1
000f8074je 0xf8080
000f8076mov eax, 1
000f807badd rsp, 8
000f807fret
000f8080
000f8080loc_f8080:
000f8080mov rbx, [rax]
000f8083mov [rsp], rbx
000f8087movzx rbx, [rbx-8]
000f808ctest rbx, rbx
000f808fje 0xf80ac
000f8091mov rax, [rax+8]
000f8095call camlHevea.do_rec_1793
000f809amov rax, [rsp]
000f809emov rax, [rax]
000f80a1add rsp, 8
000f80a5jmp 0xf7b50
000f80aa
000f80aa 66 90 f.
000f80ac
000f80acloc_f80ac:
000f80acmov rax, [rax+8]
000f80b0call camlHevea.do_rec_1793
000f80b5mov rax, [rsp]
000f80b9mov rax, [rax]
000f80bcadd rsp, 8
000f80c0jmp 0xf79e0
000f80c5
000f80c5loc_f80c5:
000f80c5push 34
000f80c7call caml_call_realloc_stack
000f80ccpop r10
000f80cejmp 0xf806e
000f8060

000f80d0
000f80d0camlHevea.do_rec_1805:
000f80d0lea r10, [rsp-336]
000f80d8cmp r10, [r14+40]
000f80dcjb 0xf826c
000f80e2
000f80e2loc_f80e2:
000f80e2sub rsp, 16
000f80e6
000f80e6loc_f80e6:
000f80e6mov [rsp], rax
000f80eamov [rsp+8], rbx
000f80efcmp r15, [r14]
000f80f2jbe 0xf8262
000f80f8
000f80f8loc_f80f8:
000f80f8lea rax, [rip+0x230541]
000f80ffmov rax, [rax+112]
000f8103call camlHevea.read_tex_1748
000f8108mov eax, 3
000f810dcall camlHevea.finalize_1516
000f8112mov rsi, [rsp+8]
000f8117mov rbx, [rsi+16]
000f811bmov rbx, [rbx]
000f811ecmp rbx, 1
000f8122jne 0xf812c
000f8124mov rbx, [rax+8]
000f8128jmp 0xf8131
000f812a
000f812a 66 90 f.
000f812c
000f812cloc_f812c:
000f812cmov ebx, 3
000f8131
000f8131loc_f8131:
000f8131mov rdi, [rsi+16]
000f8135mov [rdi], rbx
000f8138mov rax, [rax]
000f813bcmp rax, 1
000f813fje 0xf8180
000f8141lea rax, [rip+0x1ea8d0]
000f8148mov rbx, [rax+8]
000f814cmov rax, [rsi+24]
000f8150mov rdi, [rbx]
000f8153call rdi
000f8155mov eax, 1
000f815acall camlAuxx.hot_start_587
000f815flea rax, [rip+0x18230a]
000f8166call camlMisc.message_307
000f816bmov rax, [rsp]
000f816fadd rax, 2
000f8173mov rbx, [rsp+8]
000f8178jmp 0xf80e6
000f817d
000f817d 0f 1f 00 ...
000f8180
000f8180loc_f8180:
000f8180mov rax, [rsp]
000f8184call camlStdlib.string_of_int_175
000f8189lea rbx, [rip+0x1822a8]
000f8190call camlStdlib.$5e_139
000f8195mov rbx, rax
000f8198lea rax, [rip+0x1822b1]
000f819fcall camlStdlib.$5e_139
000f81a4call camlMisc.message_307
000f81a9mov rax, [rsp+8]
000f81aemov rax, [rax+16]
000f81b2mov rax, [rax]
000f81b5cmp rax, 1
000f81b9je 0xf8258
000f81bflea rax, [rip+0x182242]
000f81c6call camlMisc.message_307
000f81cblea rax, [rip+0x23046e]
000f81d2mov rbx, [rax+120]
000f81d6lea rax, [rip+0x18220b]
000f81ddcall camlStdlib.$5e_139
000f81e2mov rbx, rax
000f81e5lea rax, [rip+0x231e84]
000f81ecmov rax, [rax+272]
000f81f3mov rax, [rax]
000f81f6test al, 1
000f81f8je 0xf8204
000f81falea rax, [rip+0x23209f]
000f8201jmp 0xf8207
000f8203
000f8203 90 .
000f8204
000f8204loc_f8204:
000f8204mov rax, [rax]
000f8207
000f8207loc_f8207:
000f8207call camlStdlib.$5e_139
000f820cmov rbx, rax
000f820flea rax, [rip+0x1821d2]
000f8216call camlStdlib.$5e_139
000f821bmov [rsp], rax
000f821flea rbx, [rip+0x1821d2]
000f8226lea rax, [rip+0x231b43]
000f822dmov rax, [rax+8]
000f8231call Stdlib.Filename.concat
000f8236mov rbx, [rsp]
000f823acall camlStdlib.$5e_139
000f823fmov rdi, rax
000f8242lea rax, [rip+0x12abb7]
000f8249call caml_c_call
000f824emov eax, 1
000f8253add rsp, 16
000f8257ret
000f8258
000f8258loc_f8258:
000f8258mov eax, 1
000f825dadd rsp, 16
000f8261ret
000f8262
000f8262loc_f8262:
000f8262call caml_call_gc
000f8267jmp 0xf80f8
000f826c
000f826cloc_f826c:
000f826cpush 35
000f826ecall caml_call_realloc_stack
000f8273pop r10
000f8275jmp 0xf80e2
000f80d0

000f827a
000f827a // align 0x10

000f8280
000f8280camlHevea.entry:
000f8280lea r10, [rsp-352]
000f8288cmp r10, [r14+40]
000f828cjb 0xf8fc4
000f8292
000f8292loc_f8292:
000f8292sub rsp, 16
000f8296lea rsi, [rip+0x1822db]
000f829dlea rdi, [rip+0x181d4c]
000f82a4mov rbx, rsp
000f82a7mov rsp, [r14+64]
000f82abcall caml_initialize
000f82b0mov rsp, rbx
000f82b3lea rbx, [rip+0x230386]
000f82bamov rax, [rbx+8]
000f82bemov rax, [rax]
000f82c1sar rax, 1
000f82c4cmp rax, 1
000f82c8je 0xf8713
000f82ceja 0xf88e4
000f82d4lea rsi, [rip+0x1821b5]
000f82dbmov rdi, [rbx+112]
000f82dfmov rbx, rsp
000f82e2mov rsp, [r14+64]
000f82e6call caml_string_notequal
000f82ebmov rsp, rbx
000f82eecmp rax, 1
000f82f2je 0xf84a5
000f82f8lea rbx, [rip+0x1d86b1]
000f82fflea rax, [rip+0x1d95aa]
000f8306lea rdi, [rip+0x19f763]
000f830dmov rdi, [rdi]
000f8310sub r15, 40
000f8314call caml_allocN
000f8319lea rsi, [r15+8]
000f831dmov [rsi-8], 4343
000f8325lea rdx, [rip-3772]
000f832cmov [rsi], rdx
000f832fmov rdx, 0x100000000000005
000f8339mov [rsi+8], rdx
000f833dmov [rsi+16], rax
000f8341mov [rsi+24], rdi
000f8345mov rax, [rsi+16]
000f8349call camlLatexscan.fun_9473
000f834emov [rsp+8], rax
000f8353lea rbx, [rip+0x1d8656]
000f835alea rdi, [rip+0x1d954f]
000f8361lea rsi, [rip+0x1832c0]
000f8368mov rsi, [rsi]
000f836bsub r15, 136
000f8372call caml_allocN
000f8377lea rdx, [r15+8]
000f837badd rdx, 88
000f837fmov [rdx-8], 5367
000f8387lea rcx, [rip-5214]
000f838emov [rdx], rcx
000f8391mov rcx, 0x300000000000007
000f839bmov [rdx+8], rcx
000f839flea rcx, [rip-3878]
000f83a6mov [rdx+16], rcx
000f83aamov [rdx+24], rdi
000f83aemov [rdx+32], rsi
000f83b2lea rdi, [rdx-48]
000f83b6mov [rdi-8], 5367
000f83belea rsi, [rip-5029]
000f83c5mov [rdi], rsi
000f83c8mov rsi, 0x200000000000007
000f83d2mov [rdi+8], rsi
000f83d6lea rsi, [rip-3821]
000f83ddmov [rdi+16], rsi
000f83e1mov [rdi+24], rbx
000f83e5mov [rdi+32], rdx
000f83e9lea rsi, [rdi-40]
000f83edmov [rsp], rsi
000f83f1mov [rsi-8], 4343
000f83f9lea rbx, [rip-3744]
000f8400mov [rsi], rbx
000f8403mov rbx, 0x100000000000005
000f840dmov [rsi+8], rbx
000f8411mov [rsi+16], rax
000f8415mov [rsi+24], rdi
000f8419lea rax, [rip+0x183368]
000f8420mov rbx, [rax]
000f8423mov rax, [rsi+16]
000f8427mov rdi, [rsi+24]
000f842bcall camlHevea.fun_2051
000f8430lea rax, [rip+0x192e29]
000f8437mov rbx, [rax]
000f843amov rdi, [rsp]
000f843emov rax, [rdi+16]
000f8442mov rdi, [rdi+24]
000f8446call camlHevea.fun_2051
000f844blea rax, [rip+0x1867b6]
000f8452mov rbx, [rax+8]
000f8456mov rdi, [rsp]
000f845amov rax, [rdi+16]
000f845emov rdi, [rdi+24]
000f8462call camlHevea.fun_2051
000f8467lea rax, [rip+0x1d8542]
000f846emov r12, [rax+56]
000f8472lea rax, [rip+0x1d9437]
000f8479mov r13, [rax+440]
000f8480mov rdi, [rsp+8]
000f8485mov rbp, [rdi+48]
000f8489mov rbx, [rdi]
000f848cmov rax, [rdi+24]
000f8490mov rsi, [rdi+216]
000f8497mov [rsp], rax
000f849bmov [rsp+8], rbx
000f84a0jmp 0xf8ab0
000f84a5
000f84a5loc_f84a5:
000f84a5lea rbx, [rip+0x19ee7c]
000f84aclea rax, [rip+0x1d93fd]
000f84b3lea rdi, [rip+0x19f5b6]
000f84bamov rdi, [rdi]
000f84bdsub r15, 40
000f84c1call caml_allocN
000f84c6lea rsi, [r15+8]
000f84camov [rsi-8], 4343
000f84d2lea rdx, [rip-3929]
000f84d9mov [rsi], rdx
000f84dcmov rdx, 0x100000000000005
000f84e6mov [rsi+8], rdx
000f84eamov [rsi+16], rax
000f84eemov [rsi+24], rdi
000f84f2mov rax, [rsi+16]
000f84f6call camlLatexscan.fun_9473
000f84fbmov rdi, rax
000f84femov [rsp], rdi
000f8502lea rax, [rip+0x19ee1f]
000f8509lea rbx, [rip+0x1d93a0]
000f8510lea rsi, [rip+0x183271]
000f8517mov rsi, [rsi]
000f851asub r15, 88
000f851ecall caml_allocN
000f8523lea rdx, [r15+8]
000f8527add rdx, 40
000f852bmov [rdx-8], 5367
000f8533lea rcx, [rip-5402]
000f853amov [rdx], rcx
000f853dmov rcx, 0x200000000000007
000f8547mov [rdx+8], rcx
000f854blea rcx, [rip-4034]
000f8552mov [rdx+16], rcx
000f8556mov [rdx+24], rbx
000f855amov [rdx+32], rsi
000f855elea rsi, [rdx-40]
000f8562mov [rsi-8], 4343
000f856alea rbx, [rip-4033]
000f8571mov [rsi], rbx
000f8574mov rbx, 0x100000000000005
000f857emov [rsi+8], rbx
000f8582mov [rsi+16], rax
000f8586mov [rsi+24], rdx
000f858amov rbx, [rsi+16]
000f858emov rax, [rsi+24]
000f8592mov rax, [rax+24]
000f8596call camlVideoc.Make_1011
000f859blea rax, [rip+0x19ed86]
000f85a2lea rbx, [rip+0x1d9307]
000f85a9lea rdi, [rip+0x186658]
000f85b0mov rdi, [rdi+8]
000f85b4sub r15, 88
000f85b8call caml_allocN
000f85bdlea rsi, [r15+8]
000f85c1add rsi, 40
000f85c5mov [rsi-8], 5367
000f85cdlea rdx, [rip-5556]
000f85d4mov [rsi], rdx
000f85d7mov rdx, 0x200000000000007
000f85e1mov [rsi+8], rdx
000f85e5lea rdx, [rip-4124]
000f85ecmov [rsi+16], rdx
000f85f0mov [rsi+24], rbx
000f85f4mov [rsi+32], rdi
000f85f8lea rdi, [rsi-40]
000f85fcmov [rdi-8], 4343
000f8604lea rbx, [rip-4123]
000f860bmov [rdi], rbx
000f860emov rbx, 0x100000000000005
000f8618mov [rdi+8], rbx
000f861cmov [rdi+16], rax
000f8620mov [rdi+24], rsi
000f8624mov rbx, [rdi+16]
000f8628mov rax, [rdi+24]
000f862cmov rax, [rax+24]
000f8630mov rdi, [rsp]
000f8634call camlVerb.Make_1962
000f8639lea rax, [rip+0x1d8370]
000f8640lea rbx, [rip+0x1d9269]
000f8647lea rdi, [rip+0x192c12]
000f864emov rdi, [rdi]
000f8651sub r15, 88
000f8655call caml_allocN
000f865alea rsi, [r15+8]
000f865eadd rsi, 40
000f8662mov [rsi-8], 5367
000f866alea rdx, [rip-5713]
000f8671mov [rsi], rdx
000f8674mov rdx, 0x200000000000007
000f867emov [rsi+8], rdx
000f8682lea rdx, [rip-4217]
000f8689mov [rsi+16], rdx
000f868dmov [rsi+24], rbx
000f8691mov [rsi+32], rdi
000f8695lea rdi, [rsi-40]
000f8699mov [rdi-8], 4343
000f86a1lea rbx, [rip-4216]
000f86a8mov [rdi], rbx
000f86abmov rbx, 0x100000000000005
000f86b5mov [rdi+8], rbx
000f86b9mov [rdi+16], rax
000f86bdmov [rdi+24], rsi
000f86c1mov rbx, [rdi+16]
000f86c5mov rax, [rdi+24]
000f86c9mov rax, [rax+24]
000f86cdmov rdi, [rsp]
000f86d1call camlPackage.Make_1936
000f86d6lea rax, [rip+0x19ec4b]
000f86ddmov r12, [rax+56]
000f86e1lea rax, [rip+0x1d91c8]
000f86e8mov r13, [rax+440]
000f86efmov rdi, [rsp]
000f86f3mov rbp, [rdi+48]
000f86f7mov rbx, [rdi]
000f86famov rax, [rdi+24]
000f86femov rsi, [rdi+216]
000f8705mov [rsp], rax
000f8709mov [rsp+8], rbx
000f870ejmp 0xf8ab0
000f8713
000f8713loc_f8713:
000f8713lea rbx, [rip+0x19ec0e]
000f871alea rax, [rip+0x1ee397]
000f8721lea rdi, [rip+0x19f348]
000f8728mov rdi, [rdi]
000f872bsub r15, 40
000f872fcall caml_allocN
000f8734lea rsi, [r15+8]
000f8738mov [rsi-8], 4343
000f8740lea rdx, [rip-4343]
000f8747mov [rsi], rdx
000f874amov rdx, 0x100000000000005
000f8754mov [rsi+8], rdx
000f8758mov [rsi+16], rax
000f875cmov [rsi+24], rdi
000f8760mov rax, [rsi+16]
000f8764call camlLatexscan.fun_9473
000f8769mov rdi, rax
000f876cmov [rsp], rdi
000f8770lea rax, [rip+0x19ebb1]
000f8777lea rbx, [rip+0x1ee33a]
000f877elea rsi, [rip+0x186483]
000f8785mov rsi, [rsi+8]
000f8789sub r15, 88
000f878dcall caml_allocN
000f8792lea rdx, [r15+8]
000f8796add rdx, 40
000f879amov [rdx-8], 5367
000f87a2lea rcx, [rip-6025]
000f87a9mov [rdx], rcx
000f87acmov rcx, 0x200000000000007
000f87b6mov [rdx+8], rcx
000f87balea rcx, [rip-4449]
000f87c1mov [rdx+16], rcx
000f87c5mov [rdx+24], rbx
000f87c9mov [rdx+32], rsi
000f87cdlea rsi, [rdx-40]
000f87d1mov [rsi-8], 4343
000f87d9lea rbx, [rip-4448]
000f87e0mov [rsi], rbx
000f87e3mov rbx, 0x100000000000005
000f87edmov [rsi+8], rbx
000f87f1mov [rsi+16], rax
000f87f5mov [rsi+24], rdx
000f87f9mov rbx, [rsi+16]
000f87fdmov rax, [rsi+24]
000f8801mov rax, [rax+24]
000f8805call camlVerb.Make_1962
000f880alea rax, [rip+0x1d819f]
000f8811lea rbx, [rip+0x1ee2a0]
000f8818lea rdi, [rip+0x192a41]
000f881fmov rdi, [rdi]
000f8822sub r15, 88
000f8826call caml_allocN
000f882blea rsi, [r15+8]
000f882fadd rsi, 40
000f8833mov [rsi-8], 5367
000f883blea rdx, [rip-6178]
000f8842mov [rsi], rdx
000f8845mov rdx, 0x200000000000007
000f884fmov [rsi+8], rdx
000f8853lea rdx, [rip-4538]
000f885amov [rsi+16], rdx
000f885emov [rsi+24], rbx
000f8862mov [rsi+32], rdi
000f8866lea rdi, [rsi-40]
000f886amov [rdi-8], 4343
000f8872lea rbx, [rip-4537]
000f8879mov [rdi], rbx
000f887cmov rbx, 0x100000000000005
000f8886mov [rdi+8], rbx
000f888amov [rdi+16], rax
000f888emov [rdi+24], rsi
000f8892mov rbx, [rdi+16]
000f8896mov rax, [rdi+24]
000f889amov rax, [rax+24]
000f889emov rdi, [rsp]
000f88a2call camlPackage.Make_1936
000f88a7lea rax, [rip+0x19ea7a]
000f88aemov r12, [rax+56]
000f88b2lea rax, [rip+0x1ee1ff]
000f88b9mov r13, [rax+440]
000f88c0mov rdi, [rsp]
000f88c4mov rbp, [rdi+48]
000f88c8mov rbx, [rdi]
000f88cbmov rax, [rdi+24]
000f88cfmov rsi, [rdi+216]
000f88d6mov [rsp], rax
000f88damov [rsp+8], rbx
000f88dfjmp 0xf8ab0
000f88e4
000f88e4loc_f88e4:
000f88e4lea rbx, [rip+0x19ea3d]
000f88eblea rax, [rip+0x1d57ce]
000f88f2lea rdi, [rip+0x19f177]
000f88f9mov rdi, [rdi]
000f88fcsub r15, 40
000f8900call caml_allocN
000f8905lea rsi, [r15+8]
000f8909mov [rsi-8], 4343
000f8911lea rdx, [rip-4664]
000f8918mov [rsi], rdx
000f891bmov rdx, 0x100000000000005
000f8925mov [rsi+8], rdx
000f8929mov [rsi+16], rax
000f892dmov [rsi+24], rdi
000f8931mov rax, [rsi+16]
000f8935call camlLatexscan.fun_9473
000f893amov rdi, rax
000f893dmov [rsp], rdi
000f8941lea rax, [rip+0x19e9e0]
000f8948lea rbx, [rip+0x1d5771]
000f894flea rsi, [rip+0x1862b2]
000f8956mov rsi, [rsi+8]
000f895asub r15, 88
000f895ecall caml_allocN
000f8963lea rdx, [r15+8]
000f8967add rdx, 40
000f896bmov [rdx-8], 5367
000f8973lea rcx, [rip-6490]
000f897amov [rdx], rcx
000f897dmov rcx, 0x200000000000007
000f8987mov [rdx+8], rcx
000f898blea rcx, [rip-4770]
000f8992mov [rdx+16], rcx
000f8996mov [rdx+24], rbx
000f899amov [rdx+32], rsi
000f899elea rsi, [rdx-40]
000f89a2mov [rsi-8], 4343
000f89aalea rbx, [rip-4769]
000f89b1mov [rsi], rbx
000f89b4mov rbx, 0x100000000000005
000f89bemov [rsi+8], rbx
000f89c2mov [rsi+16], rax
000f89c6mov [rsi+24], rdx
000f89camov rbx, [rsi+16]
000f89cemov rax, [rsi+24]
000f89d2mov rax, [rax+24]
000f89d6call camlVerb.Make_1962
000f89dblea rax, [rip+0x1d7fce]
000f89e2lea rbx, [rip+0x1d56d7]
000f89e9lea rdi, [rip+0x192870]
000f89f0mov rdi, [rdi]
000f89f3sub r15, 88
000f89f7call caml_allocN
000f89fclea rsi, [r15+8]
000f8a00add rsi, 40
000f8a04mov [rsi-8], 5367
000f8a0clea rdx, [rip-6643]
000f8a13mov [rsi], rdx
000f8a16mov rdx, 0x200000000000007
000f8a20mov [rsi+8], rdx
000f8a24lea rdx, [rip-4859]
000f8a2bmov [rsi+16], rdx
000f8a2fmov [rsi+24], rbx
000f8a33mov [rsi+32], rdi
000f8a37lea rdi, [rsi-40]
000f8a3bmov [rdi-8], 4343
000f8a43lea rbx, [rip-4858]
000f8a4amov [rdi], rbx
000f8a4dmov rbx, 0x100000000000005
000f8a57mov [rdi+8], rbx
000f8a5bmov [rdi+16], rax
000f8a5fmov [rdi+24], rsi
000f8a63mov rbx, [rdi+16]
000f8a67mov rax, [rdi+24]
000f8a6bmov rax, [rax+24]
000f8a6fmov rdi, [rsp]
000f8a73call camlPackage.Make_1936
000f8a78lea rax, [rip+0x19e8a9]
000f8a7fmov r12, [rax+56]
000f8a83lea rax, [rip+0x1d5636]
000f8a8amov r13, [rax+440]
000f8a91mov rdi, [rsp]
000f8a95mov rbp, [rdi+48]
000f8a99mov rbx, [rdi]
000f8a9cmov rax, [rdi+24]
000f8aa0mov rsi, [rdi+216]
000f8aa7mov [rsp], rax
000f8aabmov [rsp+8], rbx
000f8ab0
000f8ab0loc_f8ab0:
000f8ab0lea rdi, [rip+0x181539]
000f8ab7add rdi, 8
000f8abbmov rbx, rsp
000f8abemov rsp, [r14+64]
000f8ac2call caml_initialize
000f8ac7mov rsp, rbx
000f8acalea rdi, [rip+0x18151f]
000f8ad1add rdi, 16
000f8ad5mov rsi, [rsp]
000f8ad9mov rbx, rsp
000f8adcmov rsp, [r14+64]
000f8ae0call caml_initialize
000f8ae5mov rsp, rbx
000f8ae8lea rdi, [rip+0x181501]
000f8aefadd rdi, 24
000f8af3mov rsi, [rsp+8]
000f8af8mov rbx, rsp
000f8afbmov rsp, [r14+64]
000f8affcall caml_initialize
000f8b04mov rsp, rbx
000f8b07lea rdi, [rip+0x1814e2]
000f8b0eadd rdi, 32
000f8b12mov rsi, rbp
000f8b15mov rbx, rsp
000f8b18mov rsp, [r14+64]
000f8b1ccall caml_initialize
000f8b21mov rsp, rbx
000f8b24lea rdi, [rip+0x1814c5]
000f8b2badd rdi, 40
000f8b2fmov rsi, r13
000f8b32mov rbx, rsp
000f8b35mov rsp, [r14+64]
000f8b39call caml_initialize
000f8b3emov rsp, rbx
000f8b41lea rdi, [rip+0x1814a8]
000f8b48add rdi, 48
000f8b4cmov rsi, r12
000f8b4fmov rbx, rsp
000f8b52mov rsp, [r14+64]
000f8b56call caml_initialize
000f8b5bmov rsp, rbx
000f8b5elea rsi, [rip+0x1813cb]
000f8b65lea rdi, [rip+0x181484]
000f8b6cadd rdi, 56
000f8b70mov rbx, rsp
000f8b73mov rsp, [r14+64]
000f8b77call caml_initialize
000f8b7cmov rsp, rbx
000f8b7flea rsi, [rip+0x1813da]
000f8b86lea r12, [rip+0x1813bb]
000f8b8dlea rdi, [rip+0x18145c]
000f8b94add rdi, 64
000f8b98mov rbx, rsp
000f8b9bmov rsp, [r14+64]
000f8b9fcall caml_initialize
000f8ba4mov rsp, rbx
000f8ba7lea rdi, [rip+0x181442]
000f8baeadd rdi, 72
000f8bb2mov rsi, r12
000f8bb5mov rbx, rsp
000f8bb8mov rsp, [r14+64]
000f8bbccall caml_initialize
000f8bc1mov rsp, rbx
000f8bc4lea rsi, [rip+0x1813ad]
000f8bcblea rdi, [rip+0x18141e]
000f8bd2add rdi, 80
000f8bd6mov rbx, rsp
000f8bd9mov rsp, [r14+64]
000f8bddcall caml_initialize
000f8be2mov rsp, rbx
000f8be5lea rsi, [rip+0x1813a4]
000f8beclea rdi, [rip+0x1813fd]
000f8bf3add rdi, 88
000f8bf7mov rbx, rsp
000f8bfamov rsp, [r14+64]
000f8bfecall caml_initialize
000f8c03mov rsp, rbx
000f8c06lea rsi, [rip+0x18139b]
000f8c0dlea rdi, [rip+0x1813dc]
000f8c14add rdi, 96
000f8c18mov rbx, rsp
000f8c1bmov rsp, [r14+64]
000f8c1fcall caml_initialize
000f8c24mov rsp, rbx
000f8c27lea rsi, [rip+0x181392]
000f8c2elea rdi, [rip+0x1813bb]
000f8c35add rdi, 104
000f8c39mov rbx, rsp
000f8c3cmov rsp, [r14+64]
000f8c40call caml_initialize
000f8c45mov rsp, rbx
000f8c48lea rsi, [rip+0x181389]
000f8c4flea rdi, [rip+0x18139a]
000f8c56add rdi, 112
000f8c5amov rbx, rsp
000f8c5dmov rsp, [r14+64]
000f8c61call caml_initialize
000f8c66mov rsp, rbx
000f8c69lea r11, [rip+43]
000f8c70push r11
000f8c72push [r14+48]
000f8c76mov [r14+48], rsp
000f8c7amov eax, 1
000f8c7fcall camlHevea.main_1791
000f8c84mov eax, 1
000f8c89call camlStdlib.exit_478
000f8c8epop [r14+48]
000f8c92add rsp, 8
000f8c96jmp 0xf8f73
000f8c9blea rbx, [rip+0x2313ce]
000f8ca2mov rdi, [rbx+40]
000f8ca6mov rsi, [rax]
000f8ca9cmp rsi, rdi
000f8cacjne 0xf8cdd
000f8caemov rbx, [rax+8]
000f8cb2lea rax, [rip+0x18167f]
000f8cb9call camlStdlib.$5e_139
000f8cbecall camlHevea.prerr_error_1494
000f8cc3lea rax, [rip+0x181326]
000f8ccamov rbx, [rax+32]
000f8ccemov eax, 1
000f8cd3mov rdi, [rbx]
000f8cd6call rdi
000f8cd8jmp 0xf8f73
000f8cdd
000f8cddloc_f8cdd:
000f8cddlea rdi, [rip+0x1d8bcc]
000f8ce4mov rdi, [rdi]
000f8ce7cmp rsi, rdi
000f8ceajne 0xf8d06
000f8cecmov rbx, [rax+8]
000f8cf0lea rax, [rip+0x181619]
000f8cf7call camlStdlib.$5e_139
000f8cfccall camlHevea.prerr_error_1494
000f8d01jmp 0xf8f73
000f8d06
000f8d06loc_f8d06:
000f8d06lea rdi, [rip+0x1eddab]
000f8d0dmov rdi, [rdi]
000f8d10cmp rsi, rdi
000f8d13jne 0xf8d2f
000f8d15mov rbx, [rax+8]
000f8d19lea rax, [rip+0x1815c8]
000f8d20call camlStdlib.$5e_139
000f8d25call camlHevea.prerr_error_1494
000f8d2ajmp 0xf8f73
000f8d2f
000f8d2floc_f8d2f:
000f8d2flea rdi, [rip+0x1d538a]
000f8d36mov rdi, [rdi]
000f8d39cmp rsi, rdi
000f8d3cjne 0xf8d58
000f8d3emov rbx, [rax+8]
000f8d42lea rax, [rip+0x181577]
000f8d49call camlStdlib.$5e_139
000f8d4ecall camlHevea.prerr_error_1494
000f8d53jmp 0xf8f73
000f8d58
000f8d58loc_f8d58:
000f8d58lea rdi, [rip+0x1ea3c1]
000f8d5fmov rdi, [rdi+8]
000f8d63cmp rsi, rdi
000f8d66jne 0xf8d82
000f8d68mov rbx, [rax+8]
000f8d6clea rax, [rip+0x18154d]
000f8d73call camlStdlib.$5e_139
000f8d78call camlHevea.prerr_error_1494
000f8d7djmp 0xf8f73
000f8d82
000f8d82loc_f8d82:
000f8d82mov rdi, [rbx+24]
000f8d86cmp rsi, rdi
000f8d89jne 0xf8da5
000f8d8bmov rbx, [rax+8]
000f8d8flea rax, [rip+0x181502]
000f8d96call camlStdlib.$5e_139
000f8d9bcall camlHevea.prerr_error_1494
000f8da0jmp 0xf8f73
000f8da5
000f8da5loc_f8da5:
000f8da5lea rdi, [rip+0x21dbf4]
000f8dacmov rdi, [rdi+104]
000f8db0cmp rsi, rdi
000f8db3jne 0xf8dcf
000f8db5mov rbx, [rax+8]
000f8db9lea rax, [rip+0x1814d8]
000f8dc0call camlStdlib.$5e_139
000f8dc5call camlHevea.prerr_error_1494
000f8dcajmp 0xf8f73
000f8dcf
000f8dcfloc_f8dcf:
000f8dcflea rdi, [rip+0x185e32]
000f8dd6mov rdi, [rdi]
000f8dd9cmp rsi, rdi
000f8ddcjne 0xf8df8
000f8ddemov rbx, [rax+8]
000f8de2lea rax, [rip+0x18147f]
000f8de9call camlStdlib.$5e_139
000f8deecall camlHevea.prerr_error_1494
000f8df3jmp 0xf8f73
000f8df8
000f8df8loc_f8df8:
000f8df8lea rdi, [rip+0x22d8b1]
000f8dffmov rdi, [rdi]
000f8e02cmp rsi, rdi
000f8e05jne 0xf8e21
000f8e07mov rbx, [rax+8]
000f8e0blea rax, [rip+0x18141e]
000f8e12call camlStdlib.$5e_139
000f8e17call camlHevea.prerr_error_1494
000f8e1cjmp 0xf8f73
000f8e21
000f8e21loc_f8e21:
000f8e21lea rdi, [rip+0x222328]
000f8e28mov rdi, [rdi+24]
000f8e2ccmp rsi, rdi
000f8e2fjne 0xf8e4b
000f8e31mov rbx, [rax+8]
000f8e35lea rax, [rip+0x1813bc]
000f8e3ccall camlStdlib.$5e_139
000f8e41call camlHevea.prerr_error_1494
000f8e46jmp 0xf8f73
000f8e4b
000f8e4bloc_f8e4b:
000f8e4blea rdi, [rip+0x1f60ae]
000f8e52mov rdi, [rdi]
000f8e55cmp rsi, rdi
000f8e58jne 0xf8e74
000f8e5amov rbx, [rax+8]
000f8e5elea rax, [rip+0x181363]
000f8e65call camlStdlib.$5e_139
000f8e6acall camlHevea.prerr_error_1494
000f8e6fjmp 0xf8f73
000f8e74
000f8e74loc_f8e74:
000f8e74lea rdi, [rip+0x1fc9e5]
000f8e7bmov rdi, [rdi]
000f8e7ecmp rsi, rdi
000f8e81jne 0xf8e9d
000f8e83mov rbx, [rax+8]
000f8e87lea rax, [rip+0x181312]
000f8e8ecall camlStdlib.$5e_139
000f8e93call camlHevea.prerr_error_1494
000f8e98jmp 0xf8f73
000f8e9d
000f8e9dloc_f8e9d:
000f8e9dmov rdi, [rbx+32]
000f8ea1cmp rsi, rdi
000f8ea4jne 0xf8ec0
000f8ea6mov rbx, [rax+8]
000f8eaalea rax, [rip+0x1812a7]
000f8eb1call camlStdlib.$5e_139
000f8eb6call camlHevea.prerr_error_1494
000f8ebbjmp 0xf8f73
000f8ec0
000f8ec0loc_f8ec0:
000f8ec0lea rdi, [rip+0x228d99]
000f8ec7mov rdi, [rdi]
000f8ecacmp rsi, rdi
000f8ecdjne 0xf8ee9
000f8ecfmov rbx, [rax+8]
000f8ed3lea rax, [rip+0x181266]
000f8edacall camlStdlib.$5e_139
000f8edfcall camlHevea.prerr_error_1494
000f8ee4jmp 0xf8f73
000f8ee9
000f8ee9loc_f8ee9:
000f8ee9mov rdi, [rbx+8]
000f8eedcmp rsi, rdi
000f8ef0jne 0xf8f09
000f8ef2mov rax, [rax+8]
000f8ef6call camlHevea.prerr_error_1494
000f8efblea rax, [rip+0x18126e]
000f8f02call camlStdlib.prerr_endline_390
000f8f07jmp 0xf8f73
000f8f09
000f8f09loc_f8f09:
000f8f09mov rbx, [rbx]
000f8f0ccmp rsi, rbx
000f8f0fjne 0xf8f34
000f8f11mov rbx, [rax+8]
000f8f15lea rax, [rip+0x18120c]
000f8f1ccall camlStdlib.$5e_139
000f8f21call camlHevea.prerr_error_1494
000f8f26lea rax, [rip+0x181433]
000f8f2dcall camlStdlib.prerr_endline_390
000f8f32jmp 0xf8f73
000f8f34
000f8f34loc_f8f34:
000f8f34lea rbx, [rip+0x232555]
000f8f3bmov rbx, [rbx]
000f8f3ecmp rsi, rbx
000f8f41jne 0xf8f66
000f8f43mov rbx, [rax+8]
000f8f47lea rax, [rip+0x1811ba]
000f8f4ecall camlStdlib.$5e_139
000f8f53call camlHevea.prerr_error_1494
000f8f58lea rax, [rip+0x181401]
000f8f5fcall camlStdlib.prerr_endline_390
000f8f64jmp 0xf8f73
000f8f66
000f8f66loc_f8f66:
000f8f66mov rsp, [r14+48]
000f8f6apop [r14+48]
000f8f6epop r11
000f8f70jmp r11
000f8f73
000f8f73loc_f8f73:
000f8f73mov eax, 1
000f8f78call camlHevea.finalize_1516
000f8f7dlea rax, [rip+0x2310ec]
000f8f84mov rax, [rax+80]
000f8f88mov rax, [rax]
000f8f8bcmp rax, 1
000f8f8fjne 0xf8fa4
000f8f91lea rax, [rip+0x22f6a8]
000f8f98mov rax, [rax+128]
000f8f9fcall camlMysys.remove_492
000f8fa4
000f8fa4loc_f8fa4:
000f8fa4lea rax, [rip+0x1810fd]
000f8fabcall camlStdlib.prerr_endline_390
000f8fb0mov eax, 5
000f8fb5call camlStdlib.exit_478
000f8fbamov eax, 1
000f8fbfadd rsp, 16
000f8fc3ret
000f8fc4
000f8fc4loc_f8fc4:
000f8fc4push 37
000f8fc6call caml_call_realloc_stack
000f8fcbpop r10
000f8fcdjmp 0xf8292
000f8280

000f8fd2
000f8fd2 // align 0x10

000f8fe0
000f8fe0camlZyva.fun_591:
000f8fe0lea r10, [rsp-320]
000f8fe8cmp r10, [r14+40]
000f8fecjb 0xf9025
000f8fee
000f8feeloc_f8fee:
000f8feecall camlZyva.Make_559
000f8ff3sub r15, 24
000f8ff7cmp r15, [r14]
000f8ffajb 0xf901e
000f8ffc
000f8ffcloc_f8ffc:
000f8ffclea rbx, [r15+8]
000f9000mov [rbx-8], 2048
000f9008lea rdi, [rip+0x182639]
000f900fmov [rbx], rdi
000f9012mov rax, [rax+8]
000f9016mov [rbx+8], rax
000f901amov rax, rbx
000f901dret
000f901e
000f901eloc_f901e:
000f901ecall caml_call_gc
000f9023jmp 0xf8ffc
000f9025
000f9025loc_f9025:
000f9025push 33
000f9027call caml_call_realloc_stack
000f902cpop r10
000f902ejmp 0xf8fee
000f8fe0

000f9030
000f9030camlZyva.Make_559:
000f9030lea r10, [rsp-336]
000f9038cmp r10, [r14+40]
000f903cjb 0xf909a
000f903e
000f903eloc_f903e:
000f903esub rsp, 16
000f9042mov [rsp], rbx
000f9046mov [rsp+8], rdi
000f904bmov rbx, rsi
000f904emov rdi, [rbx]
000f9051call rdi
000f9053mov rbx, rax
000f9056mov rdi, [rbx]
000f9059mov rax, [rsp]
000f905dcall rdi
000f905fmov rbx, rax
000f9062mov rdi, [rbx]
000f9065mov rax, [rsp+8]
000f906acall rdi
000f906cmov rbx, [rax]
000f906fsub r15, 24
000f9073cmp r15, [r14]
000f9076jb 0xf9093
000f9078
000f9078loc_f9078:
000f9078lea rdi, [r15+8]
000f907cmov [rdi-8], 2048
000f9084mov [rdi], rax
000f9087mov [rdi+8], rbx
000f908bmov rax, rdi
000f908eadd rsp, 16
000f9092ret
000f9093
000f9093loc_f9093:
000f9093call caml_call_gc
000f9098jmp 0xf9078
000f909a
000f909aloc_f909a:
000f909apush 35
000f909ccall caml_call_realloc_stack
000f90a1pop r10
000f90a3jmp 0xf903e
000f9030

000f90a5
000f90a5 // align 0x10

000f90b0
000f90b0camlZyva.entry:
000f90b0lea rsi, [rip+0x182531]
000f90b7lea rdi, [rip+0x18256a]
000f90bemov rbx, rsp
000f90c1mov rsp, [r14+64]
000f90c5call caml_initialize
000f90camov rsp, rbx
000f90cdmov eax, 1
000f90d2ret
000f90b0

000f90d3
000f90d3 // align 0x10

000f90e0
000f90e0camlVideoc.snippetenv_726:
000f90e0mov rdi, rbx
000f90e3cmp r15, [r14]
000f90e6jbe 0xf90f6
000f90e8
000f90e8loc_f90e8:
000f90e8add rdi, 24
000f90ecmov ebx, 1
000f90f1jmp 0xf9100
000f90f6
000f90f6loc_f90f6:
000f90f6call caml_call_gc
000f90fbjmp 0xf90e8
000f90e0

000f90fd
000f90fd // align 0x10

000f9100
000f9100Videoc..ocaml_lex_snippetenv_rec:
000f9100lea r10, [rsp-384]
000f9108cmp r10, [r14+40]
000f910cjb 0xf97ea
000f9112
000f9112loc_f9112:
000f9112sub rsp, 48
000f9116
000f9116loc_f9116:
000f9116mov rsi, rax
000f9119mov [rsp+32], rsi
000f911emov [rsp+40], rdi
000f9123cmp r15, [r14]
000f9126jbe 0xf97db
000f912c
000f912cloc_f912c:
000f912clea rax, [rip+0x182a75]
000f9133mov rdi, rsi
000f9136call Stdlib.Lexing.engine
000f913bcmp rax, 13
000f913fjbe 0xf9164
000f9141mov [rsp], rax
000f9145mov rax, [rsp+32]
000f914amov rbx, [rax]
000f914dmov rdi, [rbx]
000f9150call rdi
000f9152mov rax, [rsp+32]
000f9157mov rbx, [rsp]
000f915bmov rdi, [rsp+40]
000f9160jmp 0xf9116
000f9162nop
000f9164
000f9164loc_f9164:
000f9164sar rax, 1
000f9167lea rdx, [rip+0x131052]
000f916emovsxd rax, [rdx+4*rax]
000f9172add rdx, rax
000f9175jmp rdx
000f9177nop
000f9178mov eax, 1
000f917dadd rsp, 48
000f9181ret
000f9182nop
000f9184mov rax, [rsp+32]
000f9189mov rbx, [rax+32]
000f918dmov rdi, [rax+40]
000f9191sub rdi, rbx
000f9194inc rdi
000f9197mov rax, [rax+8]
000f919bcall Stdlib.Bytes.sub
000f91a0mov [rsp], rax
000f91a4call camlLatexmacros.find_941
000f91a9mov [rsp+8], rax
000f91aemov rbx, [rax]
000f91b1mov rax, [rbx]
000f91b4test al, 1
000f91b6je 0xf9248
000f91bcmov rax, [rbx+8]
000f91c0test al, 1
000f91c2je 0xf9248
000f91c8mov rax, [rsp]
000f91ccmov rdi, [rsp+32]
000f91d1call camlLexstate.make_stack_1175
000f91d6mov rdi, rax
000f91d9lea rax, [rip+0x21d7c0]
000f91e0mov rax, [rax+728]
000f91e7mov rbx, [rax]
000f91easub r15, 48
000f91eecmp r15, [r14]
000f91f1jb 0xf97d1
000f91f7
000f91f7loc_f91f7:
000f91f7lea rax, [r15+8]
000f91fbmov [rax-8], 5367
000f9203lea rsi, [rip+5654]
000f920amov [rax], rsi
000f920dmov rsi, 0x100000000000005
000f9217mov [rax+8], rsi
000f921bmov rsi, [rsp+32]
000f9220mov [rax+16], rsi
000f9224mov [rax+24], rbx
000f9228mov rbx, [rsp+40]
000f922dmov rbx, [rbx+296]
000f9234mov [rax+32], rbx
000f9238mov rbx, [rsp+8]
000f923dmov rbx, [rbx+8]
000f9241call camlLexstate.scan_body_856
000f9246jmp 0xf9288
000f9248
000f9248loc_f9248:
000f9248sub r15, 24
000f924ccmp r15, [r14]
000f924fjb 0xf97c7
000f9255
000f9255loc_f9255:
000f9255lea rax, [r15+8]
000f9259mov [rax-8], 2048
000f9261lea rbx, [rip+0x230e08]
000f9268mov rbx, [rbx+24]
000f926cmov [rax], rbx
000f926flea rbx, [rip+0x1827ca]
000f9276mov [rax+8], rbx
000f927amov rsp, [r14+48]
000f927epop [r14+48]
000f9282pop r11
000f9284jmp r11
000f9287nop
000f9288
000f9288loc_f9288:
000f9288mov rdi, [rsp+40]
000f928dadd rdi, -24
000f9291add rdi, 24
000f9295mov ebx, 1
000f929amov rax, [rsp+32]
000f929fjmp 0xf9116
000f92a4mov rax, [rsp+40]
000f92a9mov rax, [rax+304]
000f92b0mov rbx, [rax+472]
000f92b7lea rax, [rip+0x182772]
000f92bemov rdi, [rbx]
000f92c1call rdi
000f92c3mov rax, [rsp+40]
000f92c8mov rax, [rax+304]
000f92cfmov rbx, [rax+360]
000f92d6mov eax, 21
000f92dbmov rdi, [rbx]
000f92decall rdi
000f92e0mov rdi, [rsp+40]
000f92e5mov rax, [rdi+296]
000f92ecmov rbx, [rax+24]
000f92f0mov rax, [rdi+280]
000f92f7mov rsi, [rax+24]
000f92fblea rdi, [rip+0x182716]
000f9302lea rax, [rip+0x18343f]
000f9309call camlVideoc.runHook_628
000f930emov rdi, [rsp+40]
000f9313mov rax, [rdi+296]
000f931amov rbx, [rax+24]
000f931emov rax, [rdi+280]
000f9325mov rsi, [rax+24]
000f9329lea rdi, [rip+0x1826d0]
000f9330lea rax, [rip+0x183411]
000f9337call camlVideoc.runHook_628
000f933cmov rdi, [rsp+40]
000f9341add rdi, -24
000f9345add rdi, 24
000f9349mov ebx, 1
000f934emov rax, [rsp+32]
000f9353jmp 0xf9116
000f9358mov rax, [rsp+40]
000f935dmov rax, [rax+304]
000f9364mov rdi, [rax+480]
000f936blea rbx, [rip+0x18267e]
000f9372mov eax, 1
000f9377call caml_apply2
000f937cmov rdi, [rsp+40]
000f9381add rdi, -24
000f9385add rdi, 24
000f9389mov ebx, 1
000f938emov rax, [rsp+32]
000f9393jmp 0xf9116
000f9398mov rax, [rsp+40]
000f939dmov rax, [rax+304]
000f93a4mov rax, [rax+352]
000f93abmov [rsp], rax
000f93afmov rax, [rsp+32]
000f93b4mov rbx, [rax+32]
000f93b8mov rdi, [rax+40]
000f93bcsub rdi, rbx
000f93bfinc rdi
000f93c2mov rax, [rax+8]
000f93c6call Stdlib.Bytes.sub
000f93cbmov rbx, [rsp]
000f93cfmov rdi, [rbx]
000f93d2call rdi
000f93d4mov rax, [rsp+40]
000f93d9mov rax, [rax+304]
000f93e0mov rbx, [rax+360]
000f93e7mov eax, 65
000f93ecmov rdi, [rbx]
000f93efcall rdi
000f93f1mov rax, [rsp+40]
000f93f6mov rax, [rax+264]
000f93fdmov rax, [rax]
000f9400cmp rax, 1
000f9404je 0xf9678
000f940alea rax, [rip+0x230c5f]
000f9411mov rax, [rax+80]
000f9415mov rax, [rax]
000f9418cmp rax, 3
000f941cjle 0xf942a
000f941elea rax, [rip+0x18259b]
000f9425call camlStdlib.prerr_endline_390
000f942a
000f942aloc_f942a:
000f942alea rax, [rip+0x21d56f]
000f9431mov rax, [rax+264]
000f9438mov [rax], 3
000f943flea rbx, [rip+0x182542]
000f9446mov rax, [rsp+40]
000f944bmov rax, [rax+256]
000f9452mov rax, [rax]
000f9455call camlStdlib.$5e_139
000f945amov rbx, rax
000f945dlea rax, [rip+0x18253c]
000f9464call camlStdlib.$5e_139
000f9469mov rbx, rax
000f946cmov rax, [rsp+40]
000f9471mov rax, [rax+296]
000f9478mov rdi, [rax+112]
000f947clea rax, [rip+0x18252d]
000f9483call caml_apply2
000f9488mov rdi, [rsp+40]
000f948dmov rax, [rdi+296]
000f9494mov rbx, [rax+24]
000f9498mov rax, [rdi+280]
000f949fmov rsi, [rax+24]
000f94a3lea rdi, [rip+0x1824c6]
000f94aalea rax, [rip+0x183297]
000f94b1call camlVideoc.runHook_628
000f94b6lea r11, [rip+51]
000f94bdpush r11
000f94bfpush [r14+48]
000f94c3mov [r14+48], rsp
000f94c7mov rax, [rsp+56]
000f94ccmov rax, [rax+296]
000f94d3mov rbx, [rax+24]
000f94d7mov rdi, [rbx]
000f94damov rax, [rsp+48]
000f94dfcall rdi
000f94e1pop [r14+48]
000f94e5add rsp, 8
000f94e9jmp 0xf9678
000f94eenop
000f94f0mov [rsp], rax
000f94f4mov rdi, [rsp+40]
000f94f9mov rax, [rdi+296]
000f9500mov rbx, [rax+24]
000f9504mov rax, [rdi+280]
000f950bmov rsi, [rax+24]
000f950flea rdi, [rip+0x182442]
000f9516lea rax, [rip+0x18322b]
000f951dcall camlVideoc.runHook_628
000f9522mov rax, [rsp+40]
000f9527mov rax, [rax+296]
000f952emov rbx, [rax+120]
000f9532lea rax, [rip+0x182477]
000f9539mov rdi, [rbx]
000f953ccall rdi
000f953elea rax, [rip+0x21d45b]
000f9545mov rax, [rax+264]
000f954cmov [rax], 1
000f9553lea r11, [rip+28]
000f955apush r11
000f955cpush [r14+48]
000f9560mov [r14+48], rsp
000f9564mov rax, [rsp+16]
000f9569mov rsp, [r14+48]
000f956dpop [r14+48]
000f9571pop r11
000f9573jmp r11
000f9576lea rbx, [rip+0x230af3]
000f957dmov rbx, [rbx+64]
000f9581mov rdi, [rax]
000f9584cmp rdi, rbx
000f9587jne 0xf9668
000f958dmov rax, [rax+8]
000f9591mov [rsp+8], rax
000f9596mov rdi, [rsp+40]
000f959bmov rax, [rdi+248]
000f95a2mov rax, [rax]
000f95a5cmp rax, 1
000f95a9je 0xf95b8
000f95ablea rbx, [rip+0x18238e]
000f95b2mov [rsp], rbx
000f95b6jmp 0xf95c3
000f95b8
000f95b8loc_f95b8:
000f95b8lea rbx, [rip+0x182569]
000f95bfmov [rsp], rbx
000f95c3
000f95c3loc_f95c3:
000f95c3lea rax, [rip+0x230aa6]
000f95camov rax, [rax+80]
000f95cemov rax, [rax]
000f95d1cmp rax, 3
000f95d5jle 0xf9637
000f95d7mov rax, [rdi+248]
000f95demov rax, [rax]
000f95e1cmp rax, 1
000f95e5je 0xf95f0
000f95e7lea rax, [rip+0x182272]
000f95eejmp 0xf95f7
000f95f0
000f95f0loc_f95f0:
000f95f0lea rax, [rip+0x182531]
000f95f7
000f95f7loc_f95f7:
000f95f7call camlStdlib.$5e_139
000f95fcmov [rsp+24], rax
000f9601mov rax, [rsp+8]
000f9606mov [rsp+16], rax
000f960blea rbx, [rip+0x18225e]
000f9612lea rax, [rip+0x233fff]
000f9619mov rax, [rax+312]
000f9620call Stdlib.Printf.fprintf
000f9625mov rdi, rax
000f9628mov rax, [rsp+16]
000f962dmov rbx, [rsp+24]
000f9632call caml_apply2
000f9637
000f9637loc_f9637:
000f9637mov rax, [rsp+8]
000f963cadd rax, 2
000f9640mov ebx, 21
000f9645call Stdlib.Bytes.make
000f964amov rbx, [rsp]
000f964ecall camlStdlib.$5e_139
000f9653mov rbx, rax
000f9656mov rax, [rsp+40]
000f965badd rax, -24
000f965fcall camlLexstate.scan_this_1185
000f9664jmp 0xf9678
000f9666nop
000f9668
000f9668loc_f9668:
000f9668mov rsp, [r14+48]
000f966cpop [r14+48]
000f9670pop r11
000f9672jmp r11
000f9675nop [rax]
000f9678
000f9678loc_f9678:
000f9678mov rdi, [rsp+40]
000f967dadd rdi, -24
000f9681add rdi, 24
000f9685mov ebx, 1
000f968amov rax, [rsp+32]
000f968fjmp 0xf9116
000f9694mov rax, [rsp+40]
000f9699mov rax, [rax+304]
000f96a0mov rbx, [rax+360]
000f96a7mov eax, 71
000f96acmov rdi, [rbx]
000f96afcall rdi
000f96b1mov rax, [rsp+40]
000f96b6mov rax, [rax+272]
000f96bdmov rax, [rax]
000f96c0cmp rax, 1
000f96c4je 0xf96f9
000f96c6lea rax, [rip+0x2309a3]
000f96cdmov rax, [rax+80]
000f96d1mov rax, [rax]
000f96d4cmp rax, 3
000f96d8jle 0xf96e6
000f96dalea rax, [rip+0x182147]
000f96e1call camlStdlib.prerr_endline_390
000f96e6
000f96e6loc_f96e6:
000f96e6mov rbx, [rsp+40]
000f96ebadd rbx, 88
000f96efmov rax, [rsp+32]
000f96f4call camlVideoc.schemecharacterenv_730
000f96f9
000f96f9loc_f96f9:
000f96f9mov rdi, [rsp+40]
000f96feadd rdi, -24
000f9702add rdi, 24
000f9706mov ebx, 1
000f970bmov rax, [rsp+32]
000f9710jmp 0xf9116
000f9715nop [rax]
000f9718mov rdi, [rsp+32]
000f971dmov rax, [rdi+32]
000f9721sar rax, 1
000f9724mov rbx, [rdi+8]
000f9728mov rsi, [rbx-8]
000f972cshr rsi, 10
000f9730lea rsi, [8*rsi-1]
000f9738movzx rdx, [rbx+rsi]
000f973dsub rsi, rdx
000f9740cmp rsi, rax
000f9743jbe 0xf97e5
000f9749movzx rax, [rbx+rax]
000f974elea rax, [rax+rax+1]
000f9753sub r15, 40
000f9757cmp r15, [r14]
000f975ajb 0xf97c0
000f975c
000f975cloc_f975c:
000f975clea rbx, [r15+8]
000f9760mov [rbx-8], 4343
000f9768lea rsi, [rip+4689]
000f976fmov [rbx], rsi
000f9772mov rsi, 0x100000000000005
000f977cmov [rbx+8], rsi
000f9780mov rdx, [rsp+40]
000f9785mov rsi, rdx
000f9788add rsi, 32
000f978cmov [rbx+16], rsi
000f9790mov [rbx+24], rdi
000f9794mov rdi, [rdx+296]
000f979bmov rdi, [rdi+8]
000f979fcall caml_apply2
000f97a4mov rdi, [rsp+40]
000f97a9add rdi, -24
000f97adadd rdi, 24
000f97b1mov ebx, 1
000f97b6mov rax, [rsp+32]
000f97bbjmp 0xf9116
000f97c0
000f97c0loc_f97c0:
000f97c0call caml_call_gc
000f97c5jmp 0xf975c
000f97c7
000f97c7loc_f97c7:
000f97c7call caml_call_gc
000f97ccjmp 0xf9255
000f97d1
000f97d1loc_f97d1:
000f97d1call caml_call_gc
000f97d6jmp 0xf91f7
000f97db
000f97dbloc_f97db:
000f97dbcall caml_call_gc
000f97e0jmp 0xf912c
000f97e5
000f97e5loc_f97e5:
000f97e5call caml_ml_array_bound_error
000f97ea
000f97ealoc_f97ea:
000f97eapush 41
000f97eccall caml_call_realloc_stack
000f97f1pop r10
000f97f3jmp 0xf9112
000f9100

000f97f8
000f97f8 // align 0x10

000f9800
000f9800camlVideoc.read_lexbuf_728:
000f9800mov rdi, rbx
000f9803cmp r15, [r14]
000f9806jbe 0xf9816
000f9808
000f9808loc_f9808:
000f9808add rdi, 24
000f980cmov ebx, 23
000f9811jmp 0xf9820
000f9816
000f9816loc_f9816:
000f9816call caml_call_gc
000f981bjmp 0xf9808
000f9800

000f981d
000f981d // align 0x10

000f9820
000f9820Videoc..ocaml_lex_read_lexbuf_rec:
000f9820lea r10, [rsp-344]
000f9828cmp r10, [r14+40]
000f982cjb 0xf98de
000f9832
000f9832loc_f9832:
000f9832sub rsp, 24
000f9836
000f9836loc_f9836:
000f9836mov rsi, rax
000f9839mov [rsp], rsi
000f983dmov [rsp+16], rdi
000f9842cmp r15, [r14]
000f9845jbe 0xf98cf
000f984b
000f984bloc_f984b:
000f984blea rax, [rip+0x182356]
000f9852mov rdi, rsi
000f9855call Stdlib.Lexing.engine
000f985acmp rax, 1
000f985eje 0xf9894
000f9860cmp rax, 3
000f9864je 0xf9888
000f9866mov [rsp+8], rax
000f986bmov rax, [rsp]
000f986fmov rbx, [rax]
000f9872mov rdi, [rbx]
000f9875call rdi
000f9877mov rax, [rsp]
000f987bmov rbx, [rsp+8]
000f9880mov rdi, [rsp+16]
000f9885jmp 0xf9836
000f9887
000f9887 90 .
000f9888
000f9888loc_f9888:
000f9888mov rax, -1
000f988fadd rsp, 24
000f9893ret
000f9894
000f9894loc_f9894:
000f9894mov rbx, [rsp]
000f9898mov rax, [rbx+32]
000f989csar rax, 1
000f989fmov rbx, [rbx+8]
000f98a3mov rdi, [rbx-8]
000f98a7shr rdi, 10
000f98ablea rdi, [8*rdi-1]
000f98b3movzx rsi, [rbx+rdi]
000f98b8sub rdi, rsi
000f98bbcmp rdi, rax
000f98bejbe 0xf98d9
000f98c0movzx rax, [rbx+rax]
000f98c5lea rax, [rax+rax+1]
000f98caadd rsp, 24
000f98ceret
000f98cf
000f98cfloc_f98cf:
000f98cfcall caml_call_gc
000f98d4jmp 0xf984b
000f98d9
000f98d9loc_f98d9:
000f98d9call caml_ml_array_bound_error
000f98de
000f98deloc_f98de:
000f98depush 36
000f98e0call caml_call_realloc_stack
000f98e5pop r10
000f98e7jmp 0xf9832
000f9820

000f98ec
000f98ec // align 0x10

000f98f0
000f98f0camlVideoc.schemecharacterenv_730:
000f98f0mov rdi, rbx
000f98f3cmp r15, [r14]
000f98f6jbe 0xf9906
000f98f8
000f98f8loc_f98f8:
000f98f8add rdi, 24
000f98fcmov ebx, 29
000f9901jmp 0xf9910
000f9906
000f9906loc_f9906:
000f9906call caml_call_gc
000f990bjmp 0xf98f8
000f98f0

000f990d
000f990d // align 0x10

000f9910
000f9910Videoc..ocaml_lex_schemecharacterenv_rec:
000f9910lea r10, [rsp-344]
000f9918cmp r10, [r14+40]
000f991cjb 0xf99c5
000f9922
000f9922loc_f9922:
000f9922sub rsp, 24
000f9926
000f9926loc_f9926:
000f9926mov rsi, rax
000f9929mov [rsp], rsi
000f992dmov [rsp+16], rdi
000f9932cmp r15, [r14]
000f9935jbe 0xf99bb
000f993b
000f993bloc_f993b:
000f993blea rax, [rip+0x182266]
000f9942mov rdi, rsi
000f9945call Stdlib.Lexing.engine
000f994acmp rax, 1
000f994eje 0xf9984
000f9950cmp rax, 3
000f9954je 0xf9978
000f9956mov [rsp+8], rax
000f995bmov rax, [rsp]
000f995fmov rbx, [rax]
000f9962mov rdi, [rbx]
000f9965call rdi
000f9967mov rax, [rsp]
000f996bmov rbx, [rsp+8]
000f9970mov rdi, [rsp+16]
000f9975jmp 0xf9926
000f9977nop
000f9978
000f9978loc_f9978:
000f9978mov eax, 1
000f997dadd rsp, 24
000f9981ret
000f9982nop
000f9984
000f9984loc_f9984:
000f9984mov rax, [rsp]
000f9988mov rbx, [rax+32]
000f998cmov rdi, [rax+40]
000f9990sub rdi, rbx
000f9993inc rdi
000f9996mov rax, [rax+8]
000f999acall Stdlib.Bytes.sub
000f999fmov rbx, [rsp+16]
000f99a4mov rbx, [rbx+192]
000f99abmov rbx, [rbx+352]
000f99b2mov rdi, [rbx]
000f99b5add rsp, 24
000f99b9jmp rdi
000f99bb
000f99bbloc_f99bb:
000f99bbcall caml_call_gc
000f99c0jmp 0xf993b
000f99c5
000f99c5loc_f99c5:
000f99c5push 36
000f99c7call caml_call_realloc_stack
000f99ccpop r10
000f99cejmp 0xf9922
000f9910

000f99d3
000f99d3 // align 0x10

000f99e0
000f99e0camlVideoc.skip_blanks_till_eol_included_732:
000f99e0mov rdi, rbx
000f99e3cmp r15, [r14]
000f99e6jbe 0xf99f6
000f99e8
000f99e8loc_f99e8:
000f99e8add rdi, 24
000f99ecmov ebx, 39
000f99f1jmp 0xf9a00
000f99f6
000f99f6loc_f99f6:
000f99f6call caml_call_gc
000f99fbjmp 0xf99e8
000f99e0

000f99fd
000f99fd // align 0x10

000f9a00
000f9a00Videoc..ocaml_lex_skip_blanks_till_eol_included_rec:
000f9a00lea r10, [rsp-344]
000f9a08cmp r10, [r14+40]
000f9a0cjb 0xf9aa3
000f9a12
000f9a12loc_f9a12:
000f9a12sub rsp, 24
000f9a16
000f9a16loc_f9a16:
000f9a16mov rsi, rax
000f9a19mov [rsp+16], rsi
000f9a1emov [rsp+8], rdi
000f9a23cmp r15, [r14]
000f9a26jbe 0xf9a9c
000f9a28
000f9a28loc_f9a28:
000f9a28lea rax, [rip+0x182179]
000f9a2fmov rdi, rsi
000f9a32call Stdlib.Lexing.engine
000f9a37cmp rax, 1
000f9a3bjle 0xf9a58
000f9a3dcmp rax, 7
000f9a41jl 0xf9a4c
000f9a43mov [rsp], rax
000f9a47jmp 0xf9a7c
000f9a49
000f9a49 0f 1f 00 ...
000f9a4c
000f9a4cloc_f9a4c:
000f9a4cmov eax, 1
000f9a51add rsp, 24
000f9a55ret
000f9a56
000f9a56 66 90 f.
000f9a58
000f9a58loc_f9a58:
000f9a58cmp rax, 1
000f9a5cjl 0xf9a78
000f9a5emov rdi, [rsp+8]
000f9a63add rdi, -24
000f9a67add rdi, 24
000f9a6bmov ebx, 39
000f9a70mov rax, [rsp+16]
000f9a75jmp 0xf9a16
000f9a77
000f9a77 90 .
000f9a78
000f9a78loc_f9a78:
000f9a78mov [rsp], rax
000f9a7c
000f9a7cloc_f9a7c:
000f9a7cmov rax, [rsp+16]
000f9a81mov rbx, [rax]
000f9a84mov rdi, [rbx]
000f9a87call rdi
000f9a89mov rax, [rsp+16]
000f9a8emov rbx, [rsp]
000f9a92mov rdi, [rsp+8]
000f9a97jmp 0xf9a16
000f9a9c
000f9a9cloc_f9a9c:
000f9a9ccall caml_call_gc
000f9aa1jmp 0xf9a28
000f9aa3
000f9aa3loc_f9aa3:
000f9aa3push 36
000f9aa5call caml_call_realloc_stack
000f9aaapop r10
000f9aacjmp 0xf9a12
000f9a00

000f9ab1
000f9ab1 // align 0x10

000f9ac0
000f9ac0camlVideoc.comma_separated_values_734:
000f9ac0mov rdi, rbx
000f9ac3cmp r15, [r14]
000f9ac6jbe 0xf9ad6
000f9ac8
000f9ac8loc_f9ac8:
000f9ac8add rdi, 24
000f9accmov ebx, 45
000f9ad1jmp 0xf9ae0
000f9ad6
000f9ad6loc_f9ad6:
000f9ad6call caml_call_gc
000f9adbjmp 0xf9ac8
000f9ac0

000f9add
000f9add // align 0x10

000f9ae0
000f9ae0Videoc..ocaml_lex_comma_separated_values_rec:
000f9ae0lea r10, [rsp-344]
000f9ae8cmp r10, [r14+40]
000f9aecjb 0xf9c18
000f9af2
000f9af2loc_f9af2:
000f9af2sub rsp, 24
000f9af6
000f9af6loc_f9af6:
000f9af6mov rsi, rax
000f9af9mov [rsp+8], rsi
000f9afemov [rsp+16], rdi
000f9b03cmp r15, [r14]
000f9b06jbe 0xf9c0e
000f9b0c
000f9b0cloc_f9b0c:
000f9b0clea rax, [rip+0x182095]
000f9b13mov rdi, rsi
000f9b16call Stdlib.Lexing.engine
000f9b1bcmp rax, 1
000f9b1fje 0xf9b54
000f9b21cmp rax, 3
000f9b25je 0xf9b48
000f9b27mov [rsp], rax
000f9b2bmov rax, [rsp+8]
000f9b30mov rbx, [rax]
000f9b33mov rdi, [rbx]
000f9b36call rdi
000f9b38mov rax, [rsp+8]
000f9b3dmov rbx, [rsp]
000f9b41mov rdi, [rsp+16]
000f9b46jmp 0xf9af6
000f9b48
000f9b48loc_f9b48:
000f9b48mov eax, 1
000f9b4dadd rsp, 24
000f9b51ret
000f9b52
000f9b52 66 90 f.
000f9b54
000f9b54loc_f9b54:
000f9b54mov rax, [rsp+8]
000f9b59mov rbx, [rax+32]
000f9b5dmov rdi, [rax+40]
000f9b61sub rdi, rbx
000f9b64inc rdi
000f9b67mov rax, [rax+8]
000f9b6bcall Stdlib.Bytes.sub
000f9b70mov rbx, [rax-8]
000f9b74shr rbx, 10
000f9b78lea rbx, [8*rbx-1]
000f9b80movzx rdi, [rax+rbx]
000f9b85sub rbx, rdi
000f9b88lea rdi, [rbx+rbx-1]
000f9b8dmov ebx, 1
000f9b92call Stdlib.Bytes.sub
000f9b97mov rbx, rax
000f9b9amov [rsp], rbx
000f9b9elea rax, [rip+0x2304cb]
000f9ba5mov rax, [rax+80]
000f9ba9mov rax, [rax]
000f9baccmp rax, 5
000f9bb0jle 0xf9bc3
000f9bb2lea rax, [rip+0x181c5f]
000f9bb9call camlStdlib.$5e_139
000f9bbecall camlStdlib.prerr_endline_390
000f9bc3
000f9bc3loc_f9bc3:
000f9bc3mov rdi, [rsp+16]
000f9bc8add rdi, -24
000f9bccadd rdi, 24
000f9bd0mov ebx, 45
000f9bd5mov rax, [rsp+8]
000f9bdacall Videoc..ocaml_lex_comma_separated_values_rec
000f9bdfsub r15, 24
000f9be3cmp r15, [r14]
000f9be6jb 0xf9c07
000f9be8
000f9be8loc_f9be8:
000f9be8lea rbx, [r15+8]
000f9becmov [rbx-8], 2048
000f9bf4mov rdi, [rsp]
000f9bf8mov [rbx], rdi
000f9bfbmov [rbx+8], rax
000f9bffmov rax, rbx
000f9c02add rsp, 24
000f9c06ret
000f9c07
000f9c07loc_f9c07:
000f9c07call caml_call_gc
000f9c0cjmp 0xf9be8
000f9c0e
000f9c0eloc_f9c0e:
000f9c0ecall caml_call_gc
000f9c13jmp 0xf9b0c
000f9c18
000f9c18loc_f9c18:
000f9c18push 36
000f9c1acall caml_call_realloc_stack
000f9c1fpop r10
000f9c21jmp 0xf9af2
000f9ae0

000f9c26
000f9c26 // align 0x10

000f9c30
000f9c30camlVideoc.Make_1011:
000f9c30lea r10, [rsp-400]
000f9c38cmp r10, [r14+40]
000f9c3cjb 0xfa4f5
000f9c42
000f9c42loc_f9c42:
000f9c42sub rsp, 80
000f9c46mov [rsp+8], rax
000f9c4bmov [rsp+72], rbx
000f9c50mov [rsp], rdi
000f9c54mov edi, 1
000f9c59mov rbx, rsp
000f9c5cmov rsp, [r14+64]
000f9c60call caml_fresh_oo_id
000f9c65mov rsp, rbx
000f9c68sub r15, 24
000f9c6ccmp r15, [r14]
000f9c6fjb 0xfa4eb
000f9c75
000f9c75loc_f9c75:
000f9c75lea rbx, [r15+8]
000f9c79mov [rsp+16], rbx
000f9c7emov [rbx-8], 2296
000f9c86lea rdi, [rip+0x181ee3]
000f9c8dmov [rbx], rdi
000f9c90mov [rbx+8], rax
000f9c94mov edi, 1
000f9c99mov rbx, rsp
000f9c9cmov rsp, [r14+64]
000f9ca0call caml_fresh_oo_id
000f9ca5mov rsp, rbx
000f9ca8sub r15, 1408
000f9cafcmp r15, [r14]
000f9cb2jb 0xfa4e1
000f9cb8
000f9cb8loc_f9cb8:
000f9cb8lea rbx, [r15+8]
000f9cbcadd rbx, 1384
000f9cc3mov [rsp+24], rbx
000f9cc8mov [rbx-8], 2296
000f9cd0lea rdi, [rip+0x181e61]
000f9cd7mov [rbx], rdi
000f9cdamov [rbx+8], rax
000f9cdelea rax, [rbx-16]
000f9ce2mov [rsp+32], rax
000f9ce7mov [rax-8], 1024
000f9cefmov [rax], 1
000f9cf6add rax, -16
000f9cfamov [rsp+40], rax
000f9cffmov [rax-8], 1024
000f9d07mov [rax], 1
000f9d0elea r13, [rax-16]
000f9d12mov [r13-8], 1024
000f9d1amov [r13], 1
000f9d22lea rcx, [r13-16]
000f9d26mov [rcx-8], 1024
000f9d2elea rax, [rip+0x181df3]
000f9d35mov [rcx], rax
000f9d38lea r9, [rcx-16]
000f9d3cmov [r9-8], 1024
000f9d44mov [r9], 1
000f9d4blea r12, [r9-16]
000f9d4fmov [r12-8], 1024
000f9d58mov [r12], 1
000f9d60lea rax, [r12-40]
000f9d65mov [rax-8], 4343
000f9d6dlea rbx, [rip-11844]
000f9d74mov [rax], rbx
000f9d77mov rbx, 0x300000000000007
000f9d81mov [rax+8], rbx
000f9d85lea rbx, [rip+1924]
000f9d8cmov [rax+16], rbx
000f9d90mov [rax+24], rcx
000f9d94lea rdx, [rax-40]
000f9d98mov [rdx-8], 4343
000f9da0lea rdi, [rip-11655]
000f9da7mov [rdx], rdi
000f9daamov rbx, 0x200000000000007
000f9db4mov [rdx+8], rbx
000f9db8lea rbx, [rip+2513]
000f9dbfmov [rdx+16], rbx
000f9dc3mov [rdx+24], rax
000f9dc7lea rbx, [rdx-40]
000f9dcbmov [rsp+48], rbx
000f9dd0mov [rbx-8], 4343
000f9dd8mov [rbx], rdi
000f9ddbmov rsi, 0x200000000000007
000f9de5mov [rbx+8], rsi
000f9de9lea rsi, [rip+2496]
000f9df0mov [rbx+16], rsi
000f9df4mov [rbx+24], rax
000f9df8lea rax, [rip+0x181949]
000f9dffmov [rsp+56], rax
000f9e04lea rax, [rbx-16]
000f9e08mov [rax-8], 1024
000f9e10mov [rax], 199
000f9e17lea rbx, [rax-32]
000f9e1bmov [rsp+64], rbx
000f9e20mov [rbx-8], 3319
000f9e28lea rsi, [rip+2529]
000f9e2fmov [rbx], rsi
000f9e32mov rsi, 0x100000000000005
000f9e3cmov [rbx+8], rsi
000f9e40mov [rbx+16], rax
000f9e44add rbx, -344
000f9e4bmov [rbx-8], 43255
000f9e53lea rax, [rip-3450]
000f9e5amov [rbx], rax
000f9e5dmov rax, 0x100000000000045
000f9e67mov [rbx+8], rax
000f9e6bmov [rbx+16], 3321
000f9e73mov [rbx+24], rdi
000f9e77mov rax, 0x20000000000003f
000f9e81mov [rbx+32], rax
000f9e85lea rax, [rip-3468]
000f9e8cmov [rbx+40], rax
000f9e90mov [rbx+48], 7417
000f9e98lea rax, [rip-1695]
000f9e9fmov [rbx+56], rax
000f9ea3mov rax, 0x100000000000037
000f9eadmov [rbx+64], rax
000f9eb1mov [rbx+72], 10489
000f9eb9mov [rbx+80], rdi
000f9ebdmov rax, 0x200000000000031
000f9ec7mov [rbx+88], rax
000f9ecblea rax, [rip-1714]
000f9ed2mov [rbx+96], rax
000f9ed6mov [rbx+104], 14585
000f9edelea rax, [rip-1525]
000f9ee5mov [rbx+112], rax
000f9ee9mov rax, 0x100000000000029
000f9ef3mov [rbx+120], rax
000f9ef7mov [rbx+128], 17657
000f9f02mov [rbx+136], rdi
000f9f09mov rax, 0x200000000000023
000f9f13mov [rbx+144], rax
000f9f1alea rax, [rip-1553]
000f9f21mov [rbx+152], rax
000f9f28mov [rbx+160], 21753
000f9f33lea rax, [rip-1370]
000f9f3amov [rbx+168], rax
000f9f41mov rax, 0x10000000000001b
000f9f4bmov [rbx+176], rax
000f9f52mov [rbx+184], 24825
000f9f5dmov [rbx+192], rdi
000f9f64mov rax, 0x200000000000015
000f9f6emov [rbx+200], rax
000f9f75lea rax, [rip-1404]
000f9f7cmov [rbx+208], rax
000f9f83mov [rbx+216], 28921
000f9f8elea rax, [rip-1237]
000f9f95mov [rbx+224], rax
000f9f9cmov rax, 0x10000000000000d
000f9fa6mov [rbx+232], rax
000f9fadmov [rbx+240], 31993
000f9fb8mov [rbx+248], rdi
000f9fbfmov rax, 0x200000000000007
000f9fc9mov [rbx+256], rax
000f9fd0lea rax, [rip-1271]
000f9fd7mov [rbx+264], rax
000f9fdemov [rbx+272], r13
000f9fe5mov [rbx+280], rcx
000f9fecmov [rbx+288], r9
000f9ff3mov [rbx+296], r12
000f9ffamov [rbx+304], rdx
000fa001lea rax, [rip+0x181ba0]
000fa008mov [rbx+312], rax
000fa00fmov r10, [rsp]
000fa013mov [rbx+320], r10
000fa01amov r8, [rsp+8]
000fa01fmov [rbx+328], r8
000fa026lea rsi, [rbx-32]
000fa02amov [rsi-8], 3319
000fa032lea rax, [rip+2455]
000fa039mov [rsi], rax
000fa03cmov rax, 0x100000000000005
000fa046mov [rsi+8], rax
000fa04amov [rsi+16], r8
000fa04elea r11, [rip+0x1816d3]
000fa055lea rax, [rsi-608]
000fa05cmov [rax-8], 0x12cf7
000fa064lea rbp, [rip+2597]
000fa06bmov [rax], rbp
000fa06emov rbp, 0x10000000000006f
000fa078mov [rax+8], rbp
000fa07cmov [rax+16], 3321
000fa084lea rbp, [rip+2821]
000fa08bmov [rax+24], rbp
000fa08fmov rbp, 0x100000000000069
000fa099mov [rax+32], rbp
000fa09dmov [rax+40], 6393
000fa0a5lea rbp, [rip+3236]
000fa0acmov [rax+48], rbp
000fa0b0mov rbp, 0x100000000000063
000fa0bamov [rax+56], rbp
000fa0bemov [rax+64], 9465
000fa0c6lea rbp, [rip+3395]
000fa0cdmov [rax+72], rbp
000fa0d1mov rbp, 0x10000000000005d
000fa0dbmov [rax+80], rbp
000fa0dfmov [rax+88], 12537
000fa0e7lea rbp, [rip+3458]
000fa0eemov [rax+96], rbp
000fa0f2mov rbp, 0x100000000000057
000fa0fcmov [rax+104], rbp
000fa100mov [rax+112], 15609
000fa108mov [rax+120], rdi
000fa10cmov rbp, 0x200000000000051
000fa116mov [rax+128], rbp
000fa11dlea rbp, [rip+3452]
000fa124mov [rax+136], rbp
000fa12bmov [rax+144], 19705
000fa136mov [rax+152], rdi
000fa13dmov rdi, 0x200000000000049
000fa147mov [rax+160], rdi
000fa14elea rdi, [rip+3691]
000fa155mov [rax+168], rdi
000fa15cmov [rax+176], 23801
000fa167lea rdi, [rip+4594]
000fa16emov [rax+184], rdi
000fa175mov rdi, 0x100000000000041
000fa17fmov [rax+192], rdi
000fa186mov [rax+200], 26873
000fa191lea rdi, [rip+5752]
000fa198mov [rax+208], rdi
000fa19fmov rdi, 0x10000000000003b
000fa1a9mov [rax+216], rdi
000fa1b0mov [rax+224], 29945
000fa1bblea rdi, [rip+6110]
000fa1c2mov [rax+232], rdi
000fa1c9mov rdi, 0x100000000000035
000fa1d3mov [rax+240], rdi
000fa1damov [rax+248], 33017
000fa1e5lea rdi, [rip+6100]
000fa1ecmov [rax+256], rdi
000fa1f3mov rdi, 0x10000000000002f
000fa1fdmov [rax+264], rdi
000fa204mov [rax+272], 36089
000fa20flea rdi, [rip+6090]
000fa216mov [rax+280], rdi
000fa21dmov rdi, 0x100000000000029
000fa227mov [rax+288], rdi
000fa22emov [rax+296], 39161
000fa239lea rdi, [rip+6080]
000fa240mov [rax+304], rdi
000fa247mov rdi, 0x100000000000023
000fa251mov [rax+312], rdi
000fa258mov [rax+320], 42233
000fa263lea rdi, [rip+6070]
000fa26amov [rax+328], rdi
000fa271mov rdi, 0x10000000000001d
000fa27bmov [rax+336], rdi
000fa282mov [rax+344], 45305
000fa28dlea rdi, [rip+6140]
000fa294mov [rax+352], rdi
000fa29bmov rdi, 0x100000000000017
000fa2a5mov [rax+360], rdi
000fa2acmov [rax+368], 48377
000fa2b7lea rdi, [rip+6210]
000fa2bemov [rax+376], rdi
000fa2c5mov rdi, 0x100000000000011
000fa2cfmov [rax+384], rdi
000fa2d6mov [rax+392], 51449
000fa2e1lea rdi, [rip+6680]
000fa2e8mov [rax+400], rdi
000fa2efmov rdi, 0x10000000000000b
000fa2f9mov [rax+408], rdi
000fa300mov [rax+416], 54521
000fa30blea rdi, [rip+6910]
000fa312mov [rax+424], rdi
000fa319mov rdi, 0x100000000000005
000fa323mov [rax+432], rdi
000fa32amov rdi, [rsp+16]
000fa32fmov [rax+440], rdi
000fa336mov rdi, [rsp+24]
000fa33bmov [rax+448], rdi
000fa342mov rdi, [rsp+32]
000fa347mov [rax+456], rdi
000fa34emov rdi, [rsp+40]
000fa353mov [rax+464], rdi
000fa35amov [rax+472], r13
000fa361mov [rax+480], rcx
000fa368mov [rax+488], r9
000fa36fmov [rax+496], r12
000fa376mov [rax+504], rdx
000fa37dmov rdi, [rsp+48]
000fa382mov [rax+512], rdi
000fa389mov rdi, [rsp+56]
000fa38emov [rax+520], rdi
000fa395mov rdi, [rsp+64]
000fa39amov [rax+528], rdi
000fa3a1mov [rax+536], rbx
000fa3a8mov rdi, rbx
000fa3abadd rdi, 168
000fa3b2mov [rax+544], rdi
000fa3b9add rbx, 224
000fa3c0mov [rax+552], rbx
000fa3c7mov [rax+560], rsi
000fa3cemov [rax+568], r11
000fa3d5mov [rax+576], r10
000fa3dcmov rbx, [rsp+72]
000fa3e1mov [rax+584], rbx
000fa3e8mov [rax+592], r8
000fa3eflea rbx, [rax-136]
000fa3f6mov [rbx-8], 16631
000fa3felea rdi, [rip+6763]
000fa405mov [rbx], rdi
000fa408mov rdi, 0x100000000000005
000fa412mov [rbx+8], rdi
000fa416mov rdi, rax
000fa419add rdi, 120
000fa41dmov [rbx+16], rdi
000fa421mov rdi, rax
000fa424add rdi, 152
000fa42bmov [rbx+24], rdi
000fa42fmov rdi, rax
000fa432add rdi, 184
000fa439mov [rbx+32], rdi
000fa43dmov rdi, rax
000fa440add rdi, 208
000fa447mov [rbx+40], rdi
000fa44bmov rdi, rax
000fa44eadd rdi, 232
000fa455mov [rbx+48], rdi
000fa459mov rdi, rax
000fa45cadd rdi, 256
000fa463mov [rbx+56], rdi
000fa467mov rdi, rax
000fa46aadd rdi, 280
000fa471mov [rbx+64], rdi
000fa475mov rdi, rax
000fa478add rdi, 304
000fa47fmov [rbx+72], rdi
000fa483mov rdi, rax
000fa486add rdi, 328
000fa48dmov [rbx+80], rdi
000fa491mov rdi, rax
000fa494add rdi, 352
000fa49bmov [rbx+88], rdi
000fa49fmov rdi, rax
000fa4a2add rdi, 376
000fa4a9mov [rbx+96], rdi
000fa4admov rdi, rax
000fa4b0add rdi, 400
000fa4b7mov [rbx+104], rdi
000fa4bbadd rax, 424
000fa4c1mov [rbx+112], rax
000fa4c5mov [rbx+120], r10
000fa4c9lea rax, [rip+0x182010]
000fa4d0call camlLatexmacros.register_init_929
000fa4d5lea rax, [rip+0x181ff4]
000fa4dcadd rsp, 80
000fa4e0ret
000fa4e1
000fa4e1loc_fa4e1:
000fa4e1call caml_call_gc
000fa4e6jmp 0xf9cb8
000fa4eb
000fa4ebloc_fa4eb:
000fa4ebcall caml_call_gc
000fa4f0jmp 0xf9c75
000fa4f5
000fa4f5loc_fa4f5:
000fa4f5push 43
000fa4f7call caml_call_realloc_stack
000fa4fcpop r10
000fa4fejmp 0xf9c42
000f9c30