Similarity

00108230
00108230camlVerb.open_lst_env_1817:
00108230lea r10, [rsp-336]
00108238cmp r10, [r14+40]
0010823cjb 0x1083fb
00108242
00108242loc_108242:
00108242sub rsp, 16
00108246mov [rsp+8], rax
0010824bmov [rsp], rbx
0010824flea rbx, [rip+0x177622]
00108256call camlStdlib.$5e_139
0010825bmov rbx, rax
0010825elea rax, [rip+0x22205b]
00108265call camlStdlib.$5e_139
0010826amov rdi, rax
0010826dsub r15, 264
00108274cmp r15, [r14]
00108277jb 0x1083f1
0010827d
0010827dloc_10827d:
0010827dlea rax, [r15+8]
00108281mov [rax-8], 33015
00108289lea rbx, [rip+384]
00108290mov [rax], rbx
00108293mov rbx, 0x100000000000005
0010829dmov [rax+8], rbx
001082a1mov rbx, [rsp]
001082a5mov rsi, [rbx+16]
001082a9mov [rax+16], rsi
001082admov rsi, [rbx+24]
001082b1mov [rax+24], rsi
001082b5mov rsi, [rbx+32]
001082b9mov [rax+32], rsi
001082bdmov rsi, [rbx+40]
001082c1mov [rax+40], rsi
001082c5mov rsi, [rbx+48]
001082c9mov [rax+48], rsi
001082cdmov rsi, [rbx+56]
001082d1mov [rax+56], rsi
001082d5mov rsi, [rbx+64]
001082d9mov [rax+64], rsi
001082ddmov rsi, [rbx+72]
001082e1mov [rax+72], rsi
001082e5mov rsi, [rbx+80]
001082e9mov [rax+80], rsi
001082edmov rsi, [rbx+88]
001082f1mov [rax+88], rsi
001082f5mov rsi, [rbx+96]
001082f9mov [rax+96], rsi
001082fdmov rsi, [rbx+104]
00108301mov [rax+104], rsi
00108305mov rsi, [rbx+112]
00108309mov [rax+112], rsi
0010830dmov rsi, [rbx+120]
00108311mov [rax+120], rsi
00108315mov rsi, [rbx+128]
0010831cmov [rax+128], rsi
00108323mov rsi, [rbx+136]
0010832amov [rax+136], rsi
00108331mov rsi, [rbx+144]
00108338mov [rax+144], rsi
0010833fmov rsi, [rbx+152]
00108346mov [rax+152], rsi
0010834dmov rsi, [rbx+160]
00108354mov [rax+160], rsi
0010835bmov rsi, [rbx+168]
00108362mov [rax+168], rsi
00108369mov rsi, [rbx+176]
00108370mov [rax+176], rsi
00108377mov rsi, [rbx+184]
0010837emov [rax+184], rsi
00108385mov rsi, [rbx+192]
0010838cmov [rax+192], rsi
00108393mov rsi, [rbx+200]
0010839amov [rax+200], rsi
001083a1mov rsi, [rbx+208]
001083a8mov [rax+208], rsi
001083afmov rsi, [rbx+224]
001083b6mov [rax+216], rsi
001083bdmov rsi, [rsp+8]
001083c2mov [rax+224], rsi
001083c9mov [rax+232], rdi
001083d0mov rdi, [rbx+232]
001083d7mov [rax+240], rdi
001083demov rbx, [rbx+240]
001083e5mov [rax+248], rbx
001083ecadd rsp, 16
001083f0ret
001083f1
001083f1loc_1083f1:
001083f1call caml_call_gc
001083f6jmp 0x10827d
001083fb
001083fbloc_1083fb:
001083fbpush 35
001083fdcall caml_call_realloc_stack
00108402pop r10
00108404jmp 0x108242
00108230

00108409
00108409 // align 0x10

00108410
00108410camlVerb.fun_4523:
00108410lea r10, [rsp-352]
00108418cmp r10, [r14+40]
0010841cjb 0x108b6d
00108422
00108422loc_108422:
00108422sub rsp, 32
00108426mov [rsp], rax
0010842amov [rsp+16], rbx
0010842fmov rax, [rbx+248]
00108436mov rbx, [rax+8]
0010843amov eax, 1
0010843fmov rdi, [rbx]
00108442call rdi
00108444lea rbx, [rip+0x177615]
0010844bmov rax, [rsp+16]
00108450mov rax, [rax+240]
00108457mov rax, [rax+24]
0010845bcall camlLexstate.scan_this_1185
00108460mov rbx, [rsp+16]
00108465mov rax, [rbx+240]
0010846cmov rdi, [rax+40]
00108470mov rax, [rbx+232]
00108477mov rbx, [rsp]
0010847bcall caml_apply2
00108480mov rax, [rsp+16]
00108485mov rbx, [rax+168]
0010848cmov eax, 1
00108491call camlVerb.lst_init_char_table_1298
00108496lea rbx, [rip+0x1774f3]
0010849dmov rax, [rsp+16]
001084a2mov rax, [rax+240]
001084a9mov rax, [rax+24]
001084adcall camlLexstate.scan_this_1185
001084b2mov r12, [rsp+16]
001084b7mov rax, [r12+88]
001084bcmov rax, [rax]
001084bfcmp rax, 1
001084c3je 0x108549
001084c9mov eax, 257
001084cecmp rax, 511
001084d4jg 0x108549
001084d6mov [rsp+24], rax
001084db
001084dbloc_1084db:
001084dbmov rbx, [r12+144]
001084e3mov [rsp+8], rbx
001084e8call Stdlib.Char.chr
001084edmov r12, [rsp+16]
001084f2mov rbx, [r12+16]
001084f7mov rbx, [rbx+24]
001084fbmov rdi, [rbx-8]
001084ffshr rdi, 9
00108503cmp rdi, rax
00108506jbe 0x108b68
0010850clea rdi, [rbx+4*rax-4]
00108511mov rsi, [rsp+8]
00108516mov rbx, rsp
00108519mov rsp, [r14+64]
0010851dcall caml_modify
00108522mov rsp, rbx
00108525mov rax, [rsp+24]
0010852amov rbx, rax
0010852dadd rax, 2
00108531mov [rsp+24], rax
00108536cmp rbx, 511
0010853dje 0x108549
0010853fcmp r15, [r14]
00108542ja 0x1084db
00108544jmp 0x108b5e
00108549
00108549loc_108549:
00108549lea rbx, [rip+0x177428]
00108550mov rax, [r12+240]
00108558mov rax, [rax+24]
0010855ccall camlLexstate.scan_this_1185
00108561sub r15, 24
00108565cmp r15, [r14]
00108568jb 0x108b54
0010856e
0010856eloc_10856e:
0010856elea rbx, [r15+8]
00108572mov [rbx-8], 2048
0010857alea rax, [rip+0x177477]
00108581mov [rbx], rax
00108584lea rax, [rip+0x20e415]
0010858bmov rax, [rax+728]
00108592mov rax, [rax]
00108595mov [rbx+8], rax
00108599lea rax, [rip+0x1ed2c0]
001085a0mov rax, [rax+272]
001085a7call camlGet.do_get_int_873
001085acmov rdi, [rsp+16]
001085b1mov rbx, [rdi+40]
001085b5mov [rbx], rax
001085b8mov rax, [rdi+240]
001085bfmov rbx, [rax+216]
001085c6lea rax, [rip+0x177293]
001085cdmov rdi, [rbx]
001085d0call rdi
001085d2mov rbx, [rsp+16]
001085d7mov rbx, [rbx+208]
001085decall camlVerb.parse_linerange_1728
001085e3mov r12, [rsp+16]
001085e8mov rdi, [r12+72]
001085edmov rsi, rax
001085f0mov rbx, rsp
001085f3mov rsp, [r14+64]
001085f7call caml_modify
001085fcmov rsp, rbx
001085ffmov rax, [r12+48]
00108604mov [rax], 1
0010860bmov rax, [r12+128]
00108613mov [rax], 1
0010861asub r15, 24
0010861ecmp r15, [r14]
00108621jb 0x108b4a
00108627
00108627loc_108627:
00108627lea rbx, [r15+8]
0010862bmov [rbx-8], 2048
00108633lea rax, [rip+0x1771ee]
0010863amov [rbx], rax
0010863dlea rax, [rip+0x20e35c]
00108644mov rax, [rax+728]
0010864bmov rax, [rax]
0010864emov [rbx+8], rax
00108652lea rax, [rip+0x1ed207]
00108659mov rax, [rax+272]
00108660call camlGet.do_get_int_873
00108665mov rdi, [rsp+16]
0010866amov rbx, [rdi+112]
0010866emov [rbx], rax
00108671mov rax, [rdi+240]
00108678mov rbx, [rax+216]
0010867flea rax, [rip+0x1772da]
00108686mov rdi, [rbx]
00108689call rdi
0010868bmov r12, rax
0010868elea rsi, [rip+0x177cbb]
00108695mov rdi, r12
00108698mov rbx, rsp
0010869bmov rsp, [r14+64]
0010869fcall caml_string_notequal
001086a4mov rsp, rbx
001086a7cmp rax, 1
001086abje 0x1086c5
001086admov rax, [rsp+16]
001086b2mov rbx, [rax+144]
001086b9mov rdi, [rax+24]
001086bdmov rax, r12
001086c0call camlVerb.lst_init_chars_781
001086c5
001086c5loc_1086c5:
001086c5mov rdi, [rsp+16]
001086camov rax, [rdi+104]
001086cemov rax, [rax]
001086d1cmp rax, 1
001086d5je 0x1086ec
001086d7mov rbx, [rdi+152]
001086demov rdi, [rdi+32]
001086e2mov eax, 71
001086e7call camlVerb.lst_init_save_char_856
001086ec
001086ecloc_1086ec:
001086ecmov rax, [rsp+16]
001086f1mov rbx, [rax+80]
001086f5mov rbx, [rbx]
001086f8cmp rbx, 1
001086fcjne 0x108714
001086femov rbx, [rax+64]
00108702mov [rbx], -3
00108709mov rbx, [rax+56]
0010870dmov [rbx], -1
00108714
00108714loc_108714:
00108714mov rbx, [rax+96]
00108718mov rbx, [rbx]
0010871bcmp rbx, 1
0010871fje 0x108788
00108721mov edi, 73
00108726mov esi, 3
0010872bmov rdx, [rax+176]
00108732sub r15, 56
00108736cmp r15, [r14]
00108739jb 0x108b40
0010873f
0010873floc_10873f:
0010873flea rbx, [r15+8]
00108743mov [rbx-8], 6391
0010874blea rcx, [rip-0x11822]
00108752mov [rbx], rcx
00108755mov rcx, 0x300000000000007
0010875fmov [rbx+8], rcx
00108763lea rcx, [rip+1046]
0010876amov [rbx+16], rcx
0010876emov [rbx+24], rsi
00108772mov [rbx+32], rdi
00108776mov [rbx+40], rdx
0010877amov rdi, [rax+32]
0010877emov eax, 73
00108783call camlVerb.lst_init_save_char_856
00108788
00108788loc_108788:
00108788mov rax, [rsp+16]
0010878dmov rax, [rax+240]
00108794mov rbx, [rax+184]
0010879blea rax, [rip+0x177196]
001087a2mov rdi, [rbx]
001087a5call rdi
001087a7mov [rsp+8], rax
001087acmov rax, [rsp+16]
001087b1mov rax, [rax+240]
001087b8mov rbx, [rax+184]
001087bflea rax, [rip+0x17714a]
001087c6mov rdi, [rbx]
001087c9call rdi
001087cbmov r12, rax
001087celea rsi, [rip+0x177b7b]
001087d5mov r13, [rsp+8]
001087damov rdi, r13
001087ddmov rbx, rsp
001087e0mov rsp, [r14+64]
001087e4call caml_string_notequal
001087e9mov rsp, rbx
001087eccmp rax, 1
001087f0je 0x1088d5
001087f6lea rsi, [rip+0x177b53]
001087fdmov rdi, r12
00108800mov rbx, rsp
00108803mov rsp, [r14+64]
00108807call caml_string_notequal
0010880cmov rsp, rbx
0010880fcmp rax, 1
00108813je 0x1088d5
00108819mov rax, [r12-8]
0010881eshr rax, 10
00108822lea rax, [8*rax-1]
0010882amovzx rbx, [r12+rax]
0010882fsub rax, rbx
00108832cmp rax, 0
00108836jbe 0x108b68
0010883cmovzx rax, [r12]
00108841lea rax, [rax+rax+1]
00108846mov esi, 1
0010884bmov rdi, [rsp+16]
00108850mov rdx, [rdi+176]
00108857sub r15, 56
0010885bcmp r15, [r14]
0010885ejb 0x108b36
00108864
00108864loc_108864:
00108864lea rbx, [r15+8]
00108868mov [rbx-8], 6391
00108870lea rcx, [rip-0x11947]
00108877mov [rbx], rcx
0010887amov rcx, 0x300000000000007
00108884mov [rbx+8], rcx
00108888lea rcx, [rip+785]
0010888fmov [rbx+16], rcx
00108893mov [rbx+24], rsi
00108897mov [rbx+32], rax
0010889bmov [rbx+40], rdx
0010889fmov rax, [r13-8]
001088a3shr rax, 10
001088a7lea rax, [8*rax-1]
001088afmovzx rsi, [r13+rax]
001088b5sub rax, rsi
001088b8cmp rax, 0
001088bcjbe 0x108b68
001088c2movzx rax, [r13]
001088c7lea rax, [rax+rax+1]
001088ccmov rdi, [rdi+32]
001088d0call camlVerb.lst_init_save_char_856
001088d5
001088d5loc_1088d5:
001088d5lea rbx, [rip+0x17701c]
001088dcmov rax, [rsp+16]
001088e1mov rax, [rax+240]
001088e8mov rax, [rax+24]
001088eccall camlLexstate.scan_this_1185
001088f1mov esi, 5
001088f6mov r12, [rsp+16]
001088fbmov rdi, [r12+120]
00108900mov rbx, rsp
00108903mov rsp, [r14+64]
00108907call caml_modify
0010890cmov rsp, rbx
0010890fmov rbx, [r12+136]
00108917mov eax, 1
0010891ccall camlVerb.set_next_linerange_1171
00108921lea rbx, [rip+0x176ed0]
00108928mov rax, [rsp+16]
0010892dmov rax, [rax+240]
00108934mov rax, [rax+24]
00108938call camlLexstate.scan_this_1185
0010893dlea rbx, [rip+0x176e9c]
00108944mov rax, [rsp+16]
00108949mov rax, [rax+240]
00108950mov rax, [rax+24]
00108954call camlLexstate.scan_this_1185
00108959mov eax, 1
0010895ecall camlLexstate.save_lexstate_881
00108963mov rbx, [rsp+16]
00108968mov rax, [rbx+192]
0010896fmov rdi, [rbx+200]
00108976mov rbx, [rsp]
0010897acall camlVerb.noeof_1530
0010897fmov eax, 1
00108984call camlLexstate.restore_lexstate_882
00108989lea rax, [rip+0x2216e0]
00108990mov rax, [rax+80]
00108994mov rax, [rax]
00108997cmp rax, 3
0010899bjle 0x1089b7
0010899dlea rbx, [rip+0x176ddc]
001089a4lea rax, [rip+0x224c6d]
001089abmov rax, [rax+312]
001089b2call Stdlib.Printf.fprintf
001089b7
001089b7loc_1089b7:
001089b7lea rbx, [rip+0x1778ca]
001089bemov rax, [rsp+16]
001089c3mov rax, [rax+224]
001089cacall camlStdlib.$5e_139
001089cfmov rbx, rax
001089d2lea rax, [rip+0x176d97]
001089d9call camlStdlib.$5e_139
001089demov rdx, [rsp+16]
001089e3mov rdi, [rdx+160]
001089easub r15, 48
001089eecmp r15, [r14]
001089f1jb 0x108b2c
001089f7
001089f7loc_1089f7:
001089f7lea rbx, [r15+8]
001089fbmov [rbx-8], 5367
00108a03lea rsi, [rip-0x11ada]
00108a0amov [rbx], rsi
00108a0dmov rsi, 0x300000000000007
00108a17mov [rbx+8], rsi
00108a1blea rsi, [rip+414]
00108a22mov [rbx+16], rsi
00108a26mov [rbx+24], rax
00108a2amov [rbx+32], rdi
00108a2emov rdi, [rdx+32]
00108a32mov eax, 185
00108a37call camlVerb.lst_init_save_char_856
00108a3cmov rbx, [rsp+16]
00108a41mov rax, [rbx+184]
00108a48mov rdi, [rbx+200]
00108a4fmov rbx, [rsp]
00108a53call camlVerb.noeof_1530
00108a58lea rax, [rip+0x221611]
00108a5fmov rax, [rax+80]
00108a63mov rax, [rax]
00108a66cmp rax, 3
00108a6ajle 0x108a86
00108a6clea rbx, [rip+0x176ca5]
00108a73lea rax, [rip+0x224b9e]
00108a7amov rax, [rax+312]
00108a81call Stdlib.Printf.fprintf
00108a86
00108a86loc_108a86:
00108a86mov rbx, [rsp+16]
00108a8bmov rax, [rbx+224]
00108a92mov rbx, [rbx+216]
00108a99call camlVerb.close_lst_env_1813
00108a9elea rbx, [rip+0x176c53]
00108aa5mov rax, [rsp+16]
00108aaamov rax, [rax+240]
00108ab1mov rax, [rax+24]
00108ab5call camlLexstate.scan_this_1185
00108abamov rax, [rsp+16]
00108abfmov rax, [rax+240]
00108ac6mov rbx, [rax+120]
00108acalea rax, [rip+0x17787f]
00108ad1mov rdi, [rbx]
00108ad4call rdi
00108ad6mov rax, [rsp+16]
00108adbmov rax, [rax+240]
00108ae2mov rbx, [rax+72]
00108ae6mov rax, [rax+56]
00108aeamov rax, [rax]
00108aedmov rdi, [rbx]
00108af0call rdi
00108af2mov rax, [rsp+16]
00108af7mov rax, [rax+248]
00108afemov rbx, [rax+16]
00108b02mov eax, 1
00108b07mov rdi, [rbx]
00108b0acall rdi
00108b0cmov rax, [rsp+16]
00108b11mov rax, [rax+240]
00108b18mov rbx, [rax+144]
00108b1fmov rdi, [rbx]
00108b22mov rax, [rsp]
00108b26add rsp, 32
00108b2ajmp rdi
00108b2c
00108b2cloc_108b2c:
00108b2ccall caml_call_gc
00108b31jmp 0x1089f7
00108b36
00108b36loc_108b36:
00108b36call caml_call_gc
00108b3bjmp 0x108864
00108b40
00108b40loc_108b40:
00108b40call caml_call_gc
00108b45jmp 0x10873f
00108b4a
00108b4aloc_108b4a:
00108b4acall caml_call_gc
00108b4fjmp 0x108627
00108b54
00108b54loc_108b54:
00108b54call caml_call_gc
00108b59jmp 0x10856e
00108b5e
00108b5eloc_108b5e:
00108b5ecall caml_call_gc
00108b63jmp 0x1084db
00108b68
00108b68loc_108b68:
00108b68call caml_ml_array_bound_error
00108b6d
00108b6dloc_108b6d:
00108b6dpush 37
00108b6fcall caml_call_realloc_stack
00108b74pop r10
00108b76jmp 0x108422
00108410

00108b7b
00108b7b // align 0x10

00108b80
00108b80camlVerb.fun_4610:
00108b80mov r8, rax
00108b83mov r9, rbx
00108b86mov rdx, rdi
00108b89mov rbx, [rsi+32]
00108b8dmov rax, [rsi+24]
00108b91mov rcx, [rsi+40]
00108b95mov rdi, r8
00108b98mov rsi, r9
00108b9bjmp 0x103bf0
00108b80

00108ba0
00108ba0camlVerb.fun_4627:
00108ba0mov r8, rax
00108ba3mov r9, rbx
00108ba6mov rdx, rdi
00108ba9mov rbx, [rsi+32]
00108badmov rax, [rsi+24]
00108bb1mov rcx, [rsi+40]
00108bb5mov rdi, r8
00108bb8mov rsi, r9
00108bbbjmp 0x103bf0
00108ba0

00108bc0
00108bc0camlVerb.fun_4647:
00108bc0mov rcx, rax
00108bc3mov r8, rbx
00108bc6mov r9, rdi
00108bc9mov rax, [rsi+24]
00108bcdmov rdx, [rsi+32]
00108bd1mov rbx, rcx
00108bd4mov rdi, r8
00108bd7mov rsi, r9
00108bdajmp 0x103860
00108bc0

00108bdf
00108bdf // align 0x10

00108be0
00108be0camlVerb.do_newenvironment_1827:
00108be0lea r10, [rsp-384]
00108be8cmp r10, [r14+40]
00108becjb 0x108f4c
00108bf2
00108bf2loc_108bf2:
00108bf2sub rsp, 64
00108bf6mov [rsp], rax
00108bfamov [rsp+56], rbx
00108bffmov rbx, [rbx+32]
00108c03mov rbx, [rbx+224]
00108c0amov rdi, [rbx]
00108c0dcall rdi
00108c0fmov [rsp+48], rax
00108c14lea rax, [rip+0x176a9d]
00108c1bmov rbx, [rsp]
00108c1fcall camlLexstate.save_opts_1158
00108c24test al, 1
00108c26jne 0x108edc
00108c2cmov rbx, [rax+8]
00108c30test bl, 1
00108c33jne 0x108edc
00108c39mov rdi, [rbx+8]
00108c3dtest dil, 1
00108c41je 0x108edc
00108c47mov rbx, [rbx]
00108c4amov [rsp+24], rbx
00108c4fmov rax, [rax]
00108c52mov [rsp+16], rax
00108c57mov rax, [rsp]
00108c5bcall camlLexstate.save_body_1031
00108c60mov rbx, rax
00108c63mov eax, 1
00108c68call camlSubst.do_do_subst_this_list_777
00108c6dmov [rsp+8], rax
00108c72mov rax, [rsp]
00108c76call camlLexstate.save_body_1031
00108c7bmov rbx, rax
00108c7emov eax, 1
00108c83call camlSubst.do_do_subst_this_list_777
00108c88mov [rsp+40], rax
00108c8dlea rax, [rip+0x22162c]
00108c94mov rbx, [rsp+48]
00108c99call camlStdlib.$5e_139
00108c9ecall camlLatexmacros.exists_938
00108ca3cmp rax, 1
00108ca7jne 0x108eb0
00108cadlea rax, [rip+0x2215fc]
00108cb4mov rbx, [rsp+48]
00108cb9call camlStdlib.$5e_139
00108cbecall camlLatexmacros.exists_938
00108cc3cmp rax, 1
00108cc7jne 0x108eb0
00108ccdsub r15, 16
00108cd1cmp r15, [r14]
00108cd4jb 0x108f42
00108cda
00108cdaloc_108cda:
00108cdalea rax, [r15+8]
00108cdemov [rsp+32], rax
00108ce3mov [rax-8], 1024
00108cebmov rbx, [rsp+8]
00108cf0mov [rax], rbx
00108cf3mov rdi, [rsp+16]
00108cf8mov rax, [rdi]
00108cfbmovzx rbx, [rax-8]
00108d00test rbx, rbx
00108d03je 0x108d48
00108d05mov rdi, [rdi+8]
00108d09mov rax, [rax]
00108d0csub r15, 24
00108d10cmp r15, [r14]
00108d13jb 0x108f38
00108d19
00108d19loc_108d19:
00108d19lea rbx, [r15+8]
00108d1dmov [rbx-8], 2048
00108d25mov [rbx], rax
00108d28mov [rbx+8], rdi
00108d2clea rax, [rip+0x1ecb2d]
00108d33mov rax, [rax+280]
00108d3acall camlGet.do_get_int_873
00108d3fmov [rsp], rax
00108d43jmp 0x108d51
00108d45nop [rax]
00108d48
00108d48loc_108d48:
00108d48mov eax, 1
00108d4dmov [rsp], rax
00108d51
00108d51loc_108d51:
00108d51mov rdi, [rsp+24]
00108d56mov rax, [rdi]
00108d59movzx rbx, [rax-8]
00108d5etest rbx, rbx
00108d61je 0x108dcc
00108d63mov rdi, [rdi+8]
00108d67mov rax, [rax]
00108d6asub r15, 24
00108d6ecmp r15, [r14]
00108d71jb 0x108f2e
00108d77
00108d77loc_108d77:
00108d77lea rbx, [r15+8]
00108d7bmov [rbx-8], 2048
00108d83mov [rbx], rax
00108d86mov [rbx+8], rdi
00108d8amov eax, 1
00108d8fcall camlSubst.do_do_subst_this_list_777
00108d94mov rbx, rax
00108d97lea rax, [rip+0x1e80f2]
00108d9ecall Stdlib.String.concat
00108da3sub r15, 24
00108da7cmp r15, [r14]
00108daajb 0x108f24
00108db0
00108db0loc_108db0:
00108db0lea rbx, [r15+8]
00108db4mov [rbx-8], 2048
00108dbcmov [rbx], rax
00108dbfmov [rbx+8], 1
00108dc7jmp 0x108dd1
00108dc9nop [rax]
00108dcc
00108dccloc_108dcc:
00108dccmov ebx, 1
00108dd1
00108dd1loc_108dd1:
00108dd1mov rax, rbx
00108dd4mov rbx, [rsp]
00108dd8call camlLexstate.latex_pat_577
00108dddmov [rsp], rax
00108de1lea rbx, [rip+0x176a90]
00108de8mov rax, [rsp+48]
00108dedcall camlStdlib.$5e_139
00108df2mov rbx, rax
00108df5lea rax, [rip+0x2214c4]
00108dfccall camlStdlib.$5e_139
00108e01mov rbx, [rsp]
00108e05mov rdi, [rsp+32]
00108e0acall camlLatexmacros.def_952
00108e0fsub r15, 16
00108e13cmp r15, [r14]
00108e16jb 0x108f1a
00108e1c
00108e1cloc_108e1c:
00108e1clea rax, [r15+8]
00108e20mov [rsp], rax
00108e24mov [rax-8], 1024
00108e2cmov rbx, [rsp+40]
00108e31mov [rax], rbx
00108e34lea rbx, [rip+0x176a3d]
00108e3bmov rax, [rsp+48]
00108e40call camlStdlib.$5e_139
00108e45mov rbx, rax
00108e48lea rax, [rip+0x221461]
00108e4fcall camlStdlib.$5e_139
00108e54lea rbx, [rip+0x20db45]
00108e5bmov rbx, [rbx+56]
00108e5fmov rdi, [rsp]
00108e63call camlLatexmacros.def_952
00108e68mov rax, [rsp+56]
00108e6dmov rbx, [rax+24]
00108e71mov rax, [rsp+48]
00108e76call camlVerb.open_lst_env_1817
00108e7bmov [rsp], rax
00108e7flea rax, [rip+0x22143a]
00108e86mov rbx, [rsp+48]
00108e8bcall camlStdlib.$5e_139
00108e90mov rbx, [rsp+56]
00108e95mov rbx, [rbx+32]
00108e99mov rdi, [rbx+160]
00108ea0mov rbx, [rsp]
00108ea4add rsp, 64
00108ea8jmp 0xf73e0
00108eadnop [rax]
00108eb0
00108eb0loc_108eb0:
00108eb0lea rbx, [rip+0x176799]
00108eb7mov rax, [rsp+48]
00108ebccall camlStdlib.$5e_139
00108ec1mov rbx, rax
00108ec4lea rax, [rip+0x1767ad]
00108ecbcall camlStdlib.$5e_139
00108ed0add rsp, 64
00108ed4jmp 0x1919c0
00108ed9nop [rax]
00108edc
00108edcloc_108edc:
00108edcsub r15, 24
00108ee0cmp r15, [r14]
00108ee3jb 0x108f13
00108ee5
00108ee5loc_108ee5:
00108ee5lea rax, [r15+8]
00108ee9mov [rax-8], 2048
00108ef1lea rbx, [rip+0x16d310]
00108ef8mov [rax], rbx
00108efblea rbx, [rip+0x17672e]
00108f02mov [rax+8], rbx
00108f06mov rsp, [r14+48]
00108f0apop [r14+48]
00108f0epop r11
00108f10jmp r11
00108f13
00108f13loc_108f13:
00108f13call caml_call_gc
00108f18jmp 0x108ee5
00108f1a
00108f1aloc_108f1a:
00108f1acall caml_call_gc
00108f1fjmp 0x108e1c
00108f24
00108f24loc_108f24:
00108f24call caml_call_gc
00108f29jmp 0x108db0
00108f2e
00108f2eloc_108f2e:
00108f2ecall caml_call_gc
00108f33jmp 0x108d77
00108f38
00108f38loc_108f38:
00108f38call caml_call_gc
00108f3djmp 0x108d19
00108f42
00108f42loc_108f42:
00108f42call caml_call_gc
00108f47jmp 0x108cda
00108f4c
00108f4cloc_108f4c:
00108f4cpush 41
00108f4ecall caml_call_realloc_stack
00108f53pop r10
00108f55jmp 0x108bf2
00108be0

00108f5a
00108f5a // align 0x10

00108f60
00108f60camlVerb.lst_boolean_1841:
00108f60lea r10, [rsp-328]
00108f68cmp r10, [r14+40]
00108f6cjb 0x10902b
00108f72
00108f72loc_108f72:
00108f72sub rsp, 8
00108f76mov [rsp], rbx
00108f7acmp r15, [r14]
00108f7djbe 0x10901c
00108f83
00108f83loc_108f83:
00108f83mov rbx, [rbx+16]
00108f87mov rbx, [rbx+224]
00108f8emov rdi, [rbx]
00108f91call rdi
00108f93mov rbx, [rsp]
00108f97mov rbx, [rbx+24]
00108f9bmov rbx, [rbx+352]
00108fa2mov rdi, [rax-8]
00108fa6shr rdi, 10
00108faacmp rdi, 2
00108faejge 0x108fcc
00108fb0mov rdi, [rax]
00108fb3mov rsi, 0x700000000000000
00108fbdcmp rdi, rsi
00108fc0jne 0x108fcc
00108fc2lea rax, [rip+0x176657]
00108fc9jmp 0x109013
00108fcbnop
00108fcc
00108fccloc_108fcc:
00108fccmov rdi, [rax-8]
00108fd0shr rdi, 10
00108fd4lea rdi, [8*rdi-1]
00108fdcmovzx rsi, [rax+rdi]
00108fe1sub rdi, rsi
00108fe4cmp rdi, 0
00108fe8jbe 0x109026
00108feamovzx rax, [rax]
00108feelea rax, [rax+rax+1]
00108ff3cmp rax, 233
00108ff9je 0x10900c
00108ffbcmp rax, 169
00109001je 0x10900c
00109003lea rax, [rip+0x176616]
0010900ajmp 0x109013
0010900c
0010900cloc_10900c:
0010900clea rax, [rip+0x1765fd]
00109013
00109013loc_109013:
00109013mov rdi, [rbx]
00109016add rsp, 8
0010901ajmp rdi
0010901c
0010901cloc_10901c:
0010901ccall caml_call_gc
00109021jmp 0x108f83
00109026
00109026loc_109026:
00109026call caml_ml_array_bound_error
0010902b
0010902bloc_10902b:
0010902bpush 34
0010902dcall caml_call_realloc_stack
00109032pop r10
00109034jmp 0x108f72
00108f60

00109039
00109039 // align 0x10

00109040
00109040camlVerb.fun_4682:
00109040lea r10, [rsp-352]
00109048cmp r10, [r14+40]
0010904cjb 0x10916e
00109052
00109052loc_109052:
00109052sub rsp, 32
00109056mov [rsp], rax
0010905amov [rsp+24], rbx
0010905fmov rbx, [rbx+16]
00109063mov rbx, [rbx+240]
0010906amov rdi, [rbx]
0010906dcall rdi
0010906fmov [rsp+16], rax
00109074mov rax, [rsp+24]
00109079mov rax, [rax+16]
0010907dmov rbx, [rax+224]
00109084mov rdi, [rbx]
00109087mov rax, [rsp]
0010908bcall rdi
0010908dcall camlMyLexing.from_string_309
00109092mov rbx, rax
00109095mov [rsp], rbx
00109099lea rax, [rip+0x1772b0]
001090a0call camlSubst.subst_opt_800
001090a5mov [rsp+8], rax
001090aalea rax, [rip+0x21209f]
001090b1mov rdi, [rax+176]
001090b8add rdi, 24
001090bcmov ebx, 19
001090c1mov rax, [rsp]
001090c5call Save..ocaml_lex_rest_rec
001090casub r15, 96
001090cecmp r15, [r14]
001090d1jb 0x109164
001090d7
001090d7loc_1090d7:
001090d7lea rdi, [r15+8]
001090dbadd rdi, 72
001090dfmov [rdi-8], 2048
001090e7mov [rdi], rax
001090ealea rax, [rip+0x17693f]
001090f1mov [rdi+8], rax
001090f5lea rbx, [rdi-24]
001090f9mov [rbx-8], 2048
00109101lea rax, [rip+0x1764d0]
00109108mov [rbx], rax
0010910bmov [rbx+8], rdi
0010910flea rdi, [rbx-24]
00109113mov [rdi-8], 2048
0010911blea rax, [rip+0x1764c6]
00109122mov [rdi], rax
00109125mov rax, [rsp+8]
0010912amov [rdi+8], rax
0010912elea rax, [rdi-24]
00109132mov [rax-8], 2048
0010913amov rsi, [rsp+16]
0010913fmov [rax], rsi
00109142mov [rax+8], rdi
00109146call camlStdlib.$40_196
0010914bmov rbx, rax
0010914emov rax, [rsp+24]
00109153mov rax, [rax+16]
00109157mov rax, [rax+24]
0010915badd rsp, 32
0010915fjmp 0x17f240
00109164
00109164loc_109164:
00109164call caml_call_gc
00109169jmp 0x1090d7
0010916e
0010916eloc_10916e:
0010916epush 37
00109170call caml_call_realloc_stack
00109175pop r10
00109177jmp 0x109052
00109040

0010917c
0010917c // align 0x10

00109180
00109180camlVerb.init_listings_1857:
00109180lea r10, [rsp-336]
00109188cmp r10, [r14+40]
0010918cjb 0x109891
00109192
00109192loc_109192:
00109192sub rsp, 16
00109196mov [rsp+8], rbx
0010919bmov rax, [rbx+248]
001091a2mov rdi, [rax+104]
001091a6mov rbx, [rbx+24]
001091aalea rax, [rip+0x176397]
001091b1call caml_apply2
001091b6mov rbx, [rsp+8]
001091bbmov rax, [rbx+248]
001091c2mov rdi, [rax+104]
001091c6mov rbx, [rbx+32]
001091calea rax, [rip+0x176357]
001091d1call caml_apply2
001091d6mov rbx, [rsp+8]
001091dbmov rax, [rbx+248]
001091e2mov rdi, [rax+104]
001091e6mov rbx, [rbx+56]
001091ealea rax, [rip+0x176317]
001091f1call caml_apply2
001091f6mov rbx, [rsp+8]
001091fbmov rax, [rbx+248]
00109202mov rdi, [rax+104]
00109206mov rbx, [rbx+48]
0010920alea rax, [rip+0x1762af]
00109211call caml_apply2
00109216mov rbx, [rsp+8]
0010921bmov rax, [rbx+248]
00109222mov rdi, [rax+104]
00109226mov rbx, [rbx+64]
0010922alea rax, [rip+0x176277]
00109231call caml_apply2
00109236mov rbx, [rsp+8]
0010923bmov rax, [rbx+248]
00109242mov rdi, [rax+104]
00109246mov rbx, [rbx+72]
0010924alea rax, [rip+0x17623f]
00109251call caml_apply2
00109256mov rbx, [rsp+8]
0010925bmov rax, [rbx+248]
00109262mov rdi, [rax+104]
00109266mov rbx, [rbx+80]
0010926alea rax, [rip+0x176207]
00109271call caml_apply2
00109276mov rbx, [rsp+8]
0010927bmov rax, [rbx+248]
00109282mov rdi, [rax+104]
00109286mov rbx, [rbx+40]
0010928alea rax, [rip+0x1761c7]
00109291call caml_apply2
00109296mov rbx, [rsp+8]
0010929bmov rax, [rbx+248]
001092a2mov rdi, [rax+104]
001092a6mov rbx, [rbx+88]
001092aalea rax, [rip+0x17618f]
001092b1call caml_apply2
001092b6mov rbx, [rsp+8]
001092bbmov rax, [rbx+248]
001092c2mov rdi, [rax+104]
001092c6mov rbx, [rbx+96]
001092calea rax, [rip+0x176157]
001092d1call caml_apply2
001092d6mov rbx, [rsp+8]
001092dbmov rax, [rbx+248]
001092e2mov rdi, [rax+104]
001092e6mov rbx, [rbx+104]
001092ealea rax, [rip+0x17611f]
001092f1call caml_apply2
001092f6mov rbx, [rsp+8]
001092fbmov rax, [rbx+248]
00109302mov rdi, [rax+160]
00109309mov rbx, [rbx+152]
00109310lea rax, [rip+0x1760e1]
00109317call caml_apply2
0010931cmov rbx, [rsp+8]
00109321mov rax, [rbx+248]
00109328mov rdi, [rax+160]
0010932fmov rbx, [rbx+240]
00109336lea rax, [rip+0x1760a3]
0010933dcall caml_apply2
00109342mov rbx, [rsp+8]
00109347mov rax, [rbx+248]
0010934emov rdi, [rax+160]
00109355mov rbx, [rbx+192]
0010935clea rax, [rip+0x17605d]
00109363call caml_apply2
00109368sub r15, 32
0010936ccmp r15, [r14]
0010936fjb 0x109887
00109375
00109375loc_109375:
00109375lea rbx, [r15+8]
00109379mov [rbx-8], 3319
00109381lea rax, [rip+1304]
00109388mov [rbx], rax
0010938bmov rax, 0x100000000000005
00109395mov [rbx+8], rax
00109399mov rax, [rsp+8]
0010939emov rax, [rax+248]
001093a5mov [rbx+16], rax
001093a9mov rdi, [rax+160]
001093b0lea rax, [rip+0x175ff1]
001093b7call caml_apply2
001093bcsub r15, 32
001093c0cmp r15, [r14]
001093c3jb 0x10987d
001093c9
001093c9loc_1093c9:
001093c9lea rbx, [r15+8]
001093cdmov [rbx-8], 3319
001093d5lea rax, [rip+1668]
001093dcmov [rbx], rax
001093dfmov rax, 0x100000000000005
001093e9mov [rbx+8], rax
001093edmov rax, [rsp+8]
001093f2mov rax, [rax+248]
001093f9mov [rbx+16], rax
001093fdmov rdi, [rax+160]
00109404lea rax, [rip+0x175f85]
0010940bcall caml_apply2
00109410mov rbx, [rsp+8]
00109415mov rax, [rbx+248]
0010941cmov rdi, [rax+160]
00109423mov rbx, [rbx+232]
0010942alea rax, [rip+0x175eff]
00109431call caml_apply2
00109436sub r15, 40
0010943acmp r15, [r14]
0010943djb 0x109873
00109443
00109443loc_109443:
00109443lea rax, [r15+8]
00109447mov [rsp], rax
0010944bmov [rax-8], 4343
00109453lea rbx, [rip+1942]
0010945amov [rax], rbx
0010945dmov rbx, 0x100000000000005
00109467mov [rax+8], rbx
0010946bmov rdi, [rsp+8]
00109470mov rbx, [rdi+248]
00109477mov [rax+16], rbx
0010947bmov rbx, [rdi+264]
00109482mov [rax+24], rbx
00109486lea rbx, [rip+0x1763eb]
0010948dlea rax, [rip+0x175e84]
00109494call camlStdlib.$5e_139
00109499mov rbx, rax
0010949clea rax, [rip+0x220e1d]
001094a3call camlStdlib.$5e_139
001094a8mov rbx, [rsp+8]
001094admov rbx, [rbx+248]
001094b4mov rdi, [rbx+160]
001094bbmov rbx, [rsp]
001094bfcall caml_apply2
001094c4lea rbx, [rip+0x1763ad]
001094cblea rax, [rip+0x175e46]
001094d2call camlStdlib.$5e_139
001094d7mov rbx, rax
001094dalea rax, [rip+0x220dcf]
001094e1call camlStdlib.$5e_139
001094e6mov rbx, [rsp+8]
001094ebmov rbx, [rbx+248]
001094f2mov rdi, [rbx+160]
001094f9lea rbx, [rip+0x1754f0]
00109500call caml_apply2
00109505mov rax, [rsp+8]
0010950amov rbx, [rax+224]
00109511lea rax, [rip+0x175e00]
00109518call camlVerb.open_lst_env_1817
0010951dmov [rsp], rax
00109521lea rbx, [rip+0x175df0]
00109528lea rax, [rip+0x220d91]
0010952fcall camlStdlib.$5e_139
00109534mov rbx, [rsp+8]
00109539mov rbx, [rbx+248]
00109540mov rdi, [rbx+160]
00109547mov rbx, [rsp]
0010954bcall caml_apply2
00109550sub r15, 48
00109554cmp r15, [r14]
00109557jb 0x109869
0010955d
0010955dloc_10955d:
0010955dlea rbx, [r15+8]
00109561mov [rbx-8], 5367
00109569lea rax, [rip+2128]
00109570mov [rbx], rax
00109573mov rax, 0x100000000000005
0010957dmov [rbx+8], rax
00109581mov rdi, [rsp+8]
00109586mov rax, [rdi+128]
0010958dmov [rbx+16], rax
00109591mov rax, [rdi+136]
00109598mov [rbx+24], rax
0010959cmov rax, [rdi+160]
001095a3mov [rbx+32], rax
001095a7mov rax, [rdi+248]
001095aemov rdi, [rax+160]
001095b5lea rax, [rip+0x175d14]
001095bccall caml_apply2
001095c1sub r15, 48
001095c5cmp r15, [r14]
001095c8jb 0x10985f
001095ce
001095celoc_1095ce:
001095celea rbx, [r15+8]
001095d2mov [rbx-8], 5367
001095dalea rax, [rip+2047]
001095e1mov [rbx], rax
001095e4mov rax, 0x100000000000005
001095eemov [rbx+8], rax
001095f2mov rdi, [rsp+8]
001095f7mov rax, [rdi+112]
001095fbmov [rbx+16], rax
001095ffmov rax, [rdi+120]
00109603mov [rbx+24], rax
00109607mov rax, [rdi+160]
0010960emov [rbx+32], rax
00109612mov rax, [rdi+248]
00109619mov rdi, [rax+160]
00109620lea rax, [rip+0x175c89]
00109627call caml_apply2
0010962cmov rbx, [rsp+8]
00109631mov rax, [rbx+248]
00109638mov rdi, [rax+160]
0010963fmov rbx, [rbx+176]
00109646lea rax, [rip+0x175c43]
0010964dcall caml_apply2
00109652mov rbx, [rsp+8]
00109657mov rax, [rbx+248]
0010965emov rdi, [rax+160]
00109665mov rbx, [rbx+184]
0010966clea rax, [rip+0x175c05]
00109673call caml_apply2
00109678sub r15, 48
0010967ccmp r15, [r14]
0010967fjb 0x109855
00109685
00109685loc_109685:
00109685lea rbx, [r15+8]
00109689mov [rbx-8], 5367
00109691lea rax, [rip+1896]
00109698mov [rbx], rax
0010969bmov rax, 0x100000000000005
001096a5mov [rbx+8], rax
001096a9mov rdi, [rsp+8]
001096aemov rax, [rdi+128]
001096b5mov [rbx+16], rax
001096b9mov rax, [rdi+136]
001096c0mov [rbx+24], rax
001096c4mov rax, [rdi+168]
001096cbmov [rbx+32], rax
001096cfmov rax, [rdi+248]
001096d6mov rdi, [rax+160]
001096ddlea rax, [rip+0x175b74]
001096e4call caml_apply2
001096e9sub r15, 80
001096edcmp r15, [r14]
001096f0jb 0x10984b
001096f6
001096f6loc_1096f6:
001096f6lea rbx, [r15+8]
001096famov [rbx-8], 9463
00109702lea rax, [rip+1815]
00109709mov [rbx], rax
0010970cmov rax, 0x100000000000005
00109716mov [rbx+8], rax
0010971amov rsi, [rsp+8]
0010971fmov rax, [rsi+16]
00109723mov [rbx+16], rax
00109727mov rax, [rsi+144]
0010972emov [rbx+24], rax
00109732mov rax, [rsi+200]
00109739mov [rbx+32], rax
0010973dmov rax, [rsi+208]
00109744mov [rbx+40], rax
00109748mov rax, [rsi+248]
0010974fmov [rbx+48], rax
00109753mov rdi, [rsi+256]
0010975amov [rbx+56], rdi
0010975emov rdi, [rsi+264]
00109765mov [rbx+64], rdi
00109769mov rdi, [rax+160]
00109770lea rax, [rip+0x175ac9]
00109777call caml_apply2
0010977csub r15, 32
00109780cmp r15, [r14]
00109783jb 0x109841
00109789
00109789loc_109789:
00109789lea rbx, [r15+8]
0010978dmov [rbx-8], 3319
00109795lea rax, [rip+2100]
0010979cmov [rbx], rax
0010979fmov rax, 0x100000000000005
001097a9mov [rbx+8], rax
001097admov rax, [rsp+8]
001097b2mov rax, [rax+248]
001097b9mov [rbx+16], rax
001097bdmov rdi, [rax+160]
001097c4lea rax, [rip+0x175a3d]
001097cbcall caml_apply2
001097d0lea rax, [rip+0x175231]
001097d7sub r15, 48
001097dbcmp r15, [r14]
001097dejb 0x10983a
001097e0
001097e0loc_1097e0:
001097e0lea rbx, [r15+8]
001097e4mov [rbx-8], 5367
001097eclea rdi, [rip+2845]
001097f3mov [rbx], rdi
001097f6mov rdi, 0x100000000000005
00109800mov [rbx+8], rdi
00109804mov [rbx+16], rax
00109808mov rdi, [rsp+8]
0010980dmov rax, [rdi+248]
00109814mov [rbx+24], rax
00109818mov rdi, [rdi+264]
0010981fmov [rbx+32], rdi
00109823mov rdi, [rax+160]
0010982alea rax, [rip+0x17592f]
00109831add rsp, 16
00109835jmp 0xf73e0
0010983a
0010983aloc_10983a:
0010983acall caml_call_gc
0010983fjmp 0x1097e0
00109841
00109841loc_109841:
00109841call caml_call_gc
00109846jmp 0x109789
0010984b
0010984bloc_10984b:
0010984bcall caml_call_gc
00109850jmp 0x1096f6
00109855
00109855loc_109855:
00109855call caml_call_gc
0010985ajmp 0x109685
0010985f
0010985floc_10985f:
0010985fcall caml_call_gc
00109864jmp 0x1095ce
00109869
00109869loc_109869:
00109869call caml_call_gc
0010986ejmp 0x10955d
00109873
00109873loc_109873:
00109873call caml_call_gc
00109878jmp 0x109443
0010987d
0010987dloc_10987d:
0010987dcall caml_call_gc
00109882jmp 0x1093c9
00109887
00109887loc_109887:
00109887call caml_call_gc
0010988cjmp 0x109375
00109891
00109891loc_109891:
00109891push 35
00109893call caml_call_realloc_stack
00109898pop r10
0010989ajmp 0x109192
00109180

0010989f
0010989f // align 0x10

001098a0
001098a0camlVerb.fun_4768:
001098a0lea r10, [rsp-376]
001098a8cmp r10, [r14+40]
001098acjb 0x109a4b
001098b2
001098b2loc_1098b2:
001098b2sub rsp, 40
001098b6mov [rsp+8], rax
001098bbmov [rsp], rbx
001098bfmov rbx, [rbx+16]
001098c3mov rbx, [rbx+224]
001098camov rdi, [rbx]
001098cdcall rdi
001098cfmov [rsp+24], rax
001098d4mov rax, [rsp]
001098d8mov rax, [rax+16]
001098dcmov rbx, [rax+240]
001098e3mov rdi, [rbx]
001098e6mov rax, [rsp+8]
001098ebcall rdi
001098edmov [rsp+16], rax
001098f2lea r11, [rip+59]
001098f9push r11
001098fbpush [r14+48]
001098ffmov [r14+48], rsp
00109903call camlLatexmacros.find_fail_942
00109908mov rax, [rax+8]
0010990cmovzx rbx, [rax-8]
00109911test rbx, rbx
00109914jne 0x109920
00109916mov rax, [rax]
00109919mov [rsp+48], rax
0010991ejmp 0x10992a
00109920
00109920loc_109920:
00109920mov eax, 1
00109925mov [rsp+48], rax
0010992a
0010992aloc_10992a:
0010992apop [r14+48]
0010992eadd rsp, 8
00109932jmp 0x109961
00109934lea rbx, [rip+0x20b02d]
0010993bmov rbx, [rbx]
0010993ecmp rax, rbx
00109941jne 0x10994c
00109943mov eax, 1
00109948jmp 0x10995c
0010994anop
0010994c
0010994cloc_10994c:
0010994cmov rsp, [r14+48]
00109950pop [r14+48]
00109954pop r11
00109956jmp r11
00109959nop [rax]
0010995c
0010995cloc_10995c:
0010995cmov [rsp+32], rax
00109961
00109961loc_109961:
00109961mov rax, [rsp]
00109965mov rax, [rax+16]
00109969mov rbx, [rax+224]
00109970mov rdi, [rbx]
00109973mov rax, [rsp+8]
00109978call rdi
0010997amov [rsp], rax
0010997emov rax, [rsp+32]
00109983call camlLexstate.is_empty_list_564
00109988cmp rax, 1
0010998cje 0x1099b8
0010998esub r15, 24
00109992cmp r15, [r14]
00109995jb 0x109a41
0010999b
0010999bloc_10999b:
0010999blea rax, [r15+8]
0010999fmov [rax-8], 2048
001099a7mov rbx, [rsp]
001099abmov [rax], rbx
001099aemov [rax+8], 1
001099b6jmp 0x109a02
001099b8
001099b8loc_1099b8:
001099b8sub r15, 48
001099bccmp r15, [r14]
001099bfjb 0x109a3a
001099c1
001099c1loc_1099c1:
001099c1lea rax, [r15+8]
001099c5add rax, 24
001099c9mov [rax-8], 2048
001099d1mov rbx, [rsp]
001099d5mov [rax], rbx
001099d8mov [rax+8], 1
001099e0lea rbx, [rax-24]
001099e4mov [rbx-8], 2048
001099ecmov rdi, [rsp+24]
001099f1mov [rbx], rdi
001099f4mov [rbx+8], rax
001099f8mov rax, [rsp+32]
001099fdcall camlStdlib.$40_196
00109a02
00109a02loc_109a02:
00109a02sub r15, 16
00109a06cmp r15, [r14]
00109a09jb 0x109a33
00109a0b
00109a0bloc_109a0b:
00109a0blea rdi, [r15+8]
00109a0fmov [rdi-8], 1024
00109a17mov [rdi], rax
00109a1alea rax, [rip+0x20cf7f]
00109a21mov rbx, [rax+56]
00109a25mov rax, [rsp+16]
00109a2aadd rsp, 40
00109a2ejmp 0x17af20
00109a33
00109a33loc_109a33:
00109a33call caml_call_gc
00109a38jmp 0x109a0b
00109a3a
00109a3aloc_109a3a:
00109a3acall caml_call_gc
00109a3fjmp 0x1099c1
00109a41
00109a41loc_109a41:
00109a41call caml_call_gc
00109a46jmp 0x10999b
00109a4b
00109a4bloc_109a4b:
00109a4bpush 40
00109a4dcall caml_call_realloc_stack
00109a52pop r10
00109a54jmp 0x1098b2
001098a0

00109a59
00109a59 // align 0x10

00109a60
00109a60camlVerb.fun_4771:
00109a60lea r10, [rsp-360]
00109a68cmp r10, [r14+40]
00109a6cjb 0x109bd9
00109a72
00109a72loc_109a72:
00109a72sub rsp, 24
00109a76mov [rsp], rax
00109a7amov rbx, [rbx+16]
00109a7emov rbx, [rbx+240]
00109a85mov rdi, [rbx]
00109a88call rdi
00109a8amov [rsp+16], rax
00109a8flea r11, [rip+226]
00109a96push r11
00109a98push [r14+48]
00109a9cmov [r14+48], rsp
00109aa0call camlLatexmacros.find_fail_942
00109aa5mov rax, [rax+8]
00109aa9movzx rbx, [rax-8]
00109aaetest rbx, rbx
00109ab1jne 0x109b48
00109ab7mov [rsp+24], rax
00109abcmov rax, [rsp+16]
00109ac1call camlLexstate.save_arg_1030
00109ac6mov rbx, rax
00109ac9mov eax, 1
00109acecall camlSubst.do_do_subst_this_697
00109ad3mov rbx, rax
00109ad6lea rax, [rip+0x1758a3]
00109addcall camlStdlib.$5e_139
00109ae2sub r15, 24
00109ae6cmp r15, [r14]
00109ae9jb 0x109bcf
00109aef
00109aefloc_109aef:
00109aeflea rbx, [r15+8]
00109af3mov [rbx-8], 2048
00109afbmov [rbx], rax
00109afemov [rbx+8], 1
00109b06mov rax, [rsp+24]
00109b0bmov rax, [rax]
00109b0ecall camlStdlib.$40_196
00109b13sub r15, 16
00109b17cmp r15, [r14]
00109b1ajb 0x109bc5
00109b20
00109b20loc_109b20:
00109b20lea rdi, [r15+8]
00109b24mov [rdi-8], 1024
00109b2cmov [rdi], rax
00109b2flea rax, [rip+0x20ce6a]
00109b36mov rbx, [rax+56]
00109b3amov rax, [rsp+32]
00109b3fcall camlLatexmacros.def_952
00109b44jmp 0x109b6d
00109b46nop
00109b48
00109b48loc_109b48:
00109b48lea rbx, [rip+0x175801]
00109b4fmov rax, [rsp+32]
00109b54call camlStdlib.$5e_139
00109b59mov rbx, rax
00109b5clea rax, [rip+0x1757fd]
00109b63call camlStdlib.$5e_139
00109b68call camlMisc.warning_287
00109b6d
00109b6dloc_109b6d:
00109b6dpop [r14+48]
00109b71add rsp, 8
00109b75jmp 0x109bc0
00109b77nop
00109b78lea rbx, [rip+0x20ade9]
00109b7fmov rbx, [rbx]
00109b82cmp rax, rbx
00109b85jne 0x109bb0
00109b87lea rbx, [rip+0x1757c2]
00109b8emov rax, [rsp+16]
00109b93call camlStdlib.$5e_139
00109b98mov rbx, rax
00109b9blea rax, [rip+0x1757be]
00109ba2call camlStdlib.$5e_139
00109ba7add rsp, 24
00109babjmp 0x1919c0
00109bb0
00109bb0loc_109bb0:
00109bb0mov rsp, [r14+48]
00109bb4pop [r14+48]
00109bb8pop r11
00109bbajmp r11
00109bbdnop [rax]
00109bc0
00109bc0loc_109bc0:
00109bc0add rsp, 24
00109bc4ret
00109bc5
00109bc5loc_109bc5:
00109bc5call caml_call_gc
00109bcajmp 0x109b20
00109bcf
00109bcfloc_109bcf:
00109bcfcall caml_call_gc
00109bd4jmp 0x109aef
00109bd9
00109bd9loc_109bd9:
00109bd9push 38
00109bdbcall caml_call_realloc_stack
00109be0pop r10
00109be2jmp 0x109a72
00109a60

00109be7
00109be7 // align 0x10

00109bf0
00109bf0camlVerb.fun_4777:
00109bf0lea r10, [rsp-344]
00109bf8cmp r10, [r14+40]
00109bfcjb 0x109d6f
00109c02
00109c02loc_109c02:
00109c02sub rsp, 24
00109c06mov rdi, rax
00109c09mov [rsp+16], rdi
00109c0emov [rsp+8], rbx
00109c13lea rax, [rip+0x176736]
00109c1amov rbx, rdi
00109c1dcall camlSubst.subst_opt_800
00109c22mov [rsp], rax
00109c26mov eax, 21
00109c2bmov rbx, [rsp+16]
00109c30call camlSave.if_next_char_480
00109c35cmp rax, 1
00109c39je 0x109c44
00109c3blea r12, [rip+0x17670e]
00109c42jmp 0x109c61
00109c44
00109c44loc_109c44:
00109c44mov rax, [rsp+8]
00109c49mov rax, [rax+16]
00109c4dmov rbx, [rax+224]
00109c54mov rdi, [rbx]
00109c57mov rax, [rsp+16]
00109c5ccall rdi
00109c5emov r12, rax
00109c61
00109c61loc_109c61:
00109c61lea rsi, [rip+0x1756a0]
00109c68mov rdi, r12
00109c6bmov rbx, rsp
00109c6emov rsp, [r14+64]
00109c72call caml_string_equal
00109c77mov rsp, rbx
00109c7acmp rax, 1
00109c7eje 0x109c87
00109c80lea r12, [rip+0x1766c9]
00109c87
00109c87loc_109c87:
00109c87lea rsi, [rip+0x1766c2]
00109c8emov rdi, r12
00109c91mov rbx, rsp
00109c94mov rsp, [r14+64]
00109c98call caml_string_notequal
00109c9dmov rsp, rbx
00109ca0cmp rax, 1
00109ca4je 0x109d12
00109ca6sub r15, 56
00109caacmp r15, [r14]
00109cadjb 0x109d65
00109cb3
00109cb3loc_109cb3:
00109cb3lea rax, [r15+8]
00109cb7add rax, 16
00109cbbmov [rax-8], 4343
00109cc3lea rbx, [rip+182]
00109ccamov [rax], rbx
00109ccdmov rbx, 0x100000000000005
00109cd7mov [rax+8], rbx
00109cdbmov [rax+16], r12
00109cdfmov rbx, [rsp+8]
00109ce4mov rbx, [rbx+24]
00109ce8mov [rax+24], rbx
00109ceclea rdi, [rax-16]
00109cf0mov [rdi-8], 1026
00109cf8mov [rdi], rax
00109cfblea rax, [rip+0x20cc9e]
00109d02mov rbx, [rax+56]
00109d06lea rax, [rip+0x1755e3]
00109d0dcall camlLatexmacros.def_952
00109d12
00109d12loc_109d12:
00109d12sub r15, 24
00109d16cmp r15, [r14]
00109d19jb 0x109d5e
00109d1b
00109d1bloc_109d1b:
00109d1blea rax, [r15+8]
00109d1fmov [rax-8], 2048
00109d27lea rbx, [rip+0x175d1a]
00109d2emov [rax], rbx
00109d31mov rbx, [rsp]
00109d35mov [rax+8], rbx
00109d39lea rbx, [rip+0x175cf0]
00109d40call camlStdlib.$40_196
00109d45mov rbx, rax
00109d48mov rax, [rsp+8]
00109d4dmov rax, [rax+16]
00109d51mov rax, [rax+24]
00109d55add rsp, 24
00109d59jmp 0x17f240
00109d5e
00109d5eloc_109d5e:
00109d5ecall caml_call_gc
00109d63jmp 0x109d1b
00109d65
00109d65loc_109d65:
00109d65call caml_call_gc
00109d6ajmp 0x109cb3
00109d6f
00109d6floc_109d6f:
00109d6fpush 36
00109d71call caml_call_realloc_stack
00109d76pop r10
00109d78jmp 0x109c02
00109bf0

00109d7d
00109d7d // align 0x10

00109d80
00109d80camlVerb.fun_4783:
00109d80cmp r15, [r14]
00109d83jbe 0x109d9c
00109d85
00109d85loc_109d85:
00109d85mov rax, [rbx+24]
00109d89mov rdi, [rax+352]
00109d90mov rax, [rbx+16]
00109d94mov rsi, [rdi]
00109d97mov rbx, rdi
00109d9ajmp rsi
00109d9c
00109d9cloc_109d9c:
00109d9ccall caml_call_gc
00109da1jmp 0x109d85
00109d80

00109da3
00109da3 // align 0x10

00109db0
00109db0camlVerb.fun_4787:
00109db0mov eax, 1
00109db5ret
00109db0

00109db6
00109db6 // align 0x10

00109dc0
00109dc0camlVerb.fun_4790:
00109dc0mov rdi, rax
00109dc3mov rdx, [rbx+24]
00109dc7mov rax, [rbx+16]
00109dcbmov rsi, [rbx+32]
00109dcfmov rbx, rdx
00109dd2jmp 0x107660
00109dc0

00109dd7
00109dd7 // align 0x10

00109de0
00109de0camlVerb.fun_4799:
00109de0mov rdi, rax
00109de3mov rdx, [rbx+24]
00109de7mov rax, [rbx+16]
00109debmov rsi, [rbx+32]
00109defmov rbx, rdx
00109df2jmp 0x107660
00109de0

00109df7
00109df7 // align 0x10

00109e00
00109e00camlVerb.fun_4808:
00109e00mov rdi, rax
00109e03mov rdx, [rbx+24]
00109e07mov rax, [rbx+16]
00109e0bmov rsi, [rbx+32]
00109e0fmov rbx, rdx
00109e12jmp 0x1076d0
00109e00

00109e17
00109e17 // align 0x10

00109e20
00109e20camlVerb.fun_4817:
00109e20lea r10, [rsp-360]
00109e28cmp r10, [r14+40]
00109e2cjb 0x109fbc
00109e32
00109e32loc_109e32:
00109e32sub rsp, 24
00109e36mov [rsp], rax
00109e3amov [rsp+16], rbx
00109e3fcmp r15, [r14]
00109e42jbe 0x109fb2
00109e48
00109e48loc_109e48:
00109e48mov rax, [rbx+56]
00109e4cmov rbx, [rax+8]
00109e50mov eax, 1
00109e55mov rdi, [rbx]
00109e58call rdi
00109e5alea rax, [rip+0x1764ef]
00109e61mov rbx, [rsp]
00109e65call camlSubst.subst_opt_800
00109e6amov [rsp+8], rax
00109e6fmov rax, [rsp]
00109e73call camlLexstate.save_verbatim_1034
00109e78mov [rsp], rax
00109e7cmov rax, [rsp+16]
00109e81mov rax, [rax+48]
00109e85mov rbx, [rax+64]
00109e89lea rax, [rip+0x175398]
00109e90mov rdi, [rbx]
00109e93call rdi
00109e95lea rbx, [rip+0x1763fc]
00109e9cmov rax, [rsp+16]
00109ea1mov rax, [rax+48]
00109ea5mov rax, [rax+24]
00109ea9call camlLexstate.scan_this_1185
00109eaemov rax, [rsp+16]
00109eb3mov rbx, [rax+32]
00109eb7mov rax, [rsp+8]
00109ebccall camlVerb.open_lst_inline_1800
00109ec1mov rax, [rsp+16]
00109ec6mov rax, [rax+64]
00109ecamov rbx, [rax+328]
00109ed1lea rax, [rip+0x176498]
00109ed8mov rdi, [rbx]
00109edbcall rdi
00109eddlea r11, [rip+44]
00109ee4push r11
00109ee6push [r14+48]
00109eeamov [r14+48], rsp
00109eeemov rax, [rsp+16]
00109ef3mov rbx, [rax]
00109ef6mov rax, [rsp+32]
00109efbmov rax, [rax+24]
00109effcall camlLexstate.scan_this_1185
00109f04pop [r14+48]
00109f08add rsp, 8
00109f0cjmp 0x109f38
00109f0enop
00109f10mov rsi, [rsp+16]
00109f15mov rbx, [rsi+16]
00109f19mov rdi, [rax]
00109f1ccmp rdi, rbx
00109f1fjne 0x109f28
00109f21mov [rsp+16], rsi
00109f26jmp 0x109f38
00109f28
00109f28loc_109f28:
00109f28mov rsp, [r14+48]
00109f2cpop [r14+48]
00109f30pop r11
00109f32jmp r11
00109f35nop [rax]
00109f38
00109f38loc_109f38:
00109f38mov rax, [rsp+16]
00109f3dmov rbx, [rax+40]
00109f41mov eax, 1
00109f46call camlVerb.close_lst_inline_1801
00109f4bmov rax, [rsp+16]
00109f50mov rax, [rax+64]
00109f54mov rbx, [rax+344]
00109f5bmov eax, 1
00109f60mov rdi, [rbx]
00109f63call rdi
00109f65lea rbx, [rip+0x17631c]
00109f6cmov rax, [rsp+16]
00109f71mov rax, [rax+48]
00109f75mov rax, [rax+24]
00109f79call camlLexstate.scan_this_1185
00109f7emov rax, [rsp+16]
00109f83mov rax, [rax+48]
00109f87mov rbx, [rax+72]
00109f8blea rax, [rip+0x175296]
00109f92mov rdi, [rbx]
00109f95call rdi
00109f97mov rax, [rsp+16]
00109f9cmov rax, [rax+56]
00109fa0mov rbx, [rax+16]
00109fa4mov eax, 1
00109fa9mov rdi, [rbx]
00109facadd rsp, 24
00109fb0jmp rdi
00109fb2
00109fb2loc_109fb2:
00109fb2call caml_call_gc
00109fb7jmp 0x109e48
00109fbc
00109fbcloc_109fbc:
00109fbcpush 38
00109fbecall caml_call_realloc_stack
00109fc3pop r10
00109fc5jmp 0x109e32
00109e20

00109fca
00109fca // align 0x10

00109fd0
00109fd0camlVerb.fun_4824:
00109fd0lea r10, [rsp-376]
00109fd8cmp r10, [r14+40]
00109fdcjb 0x10a2d9
00109fe2
00109fe2loc_109fe2:
00109fe2sub rsp, 56
00109fe6mov rsi, rax
00109fe9mov [rsp+24], rsi
00109feemov [rsp+48], rbx
00109ff3mov rax, [rbx+16]
00109ff7mov rdi, [rax+232]
00109ffelea rax, [rip+0x17634b]
0010a005mov rbx, rsi
0010a008call caml_apply2
0010a00dmov [rsp+32], rax
0010a012mov rax, [rsp+48]
0010a017mov rax, [rax+16]
0010a01bmov rbx, [rax+224]
0010a022mov rdi, [rbx]
0010a025mov rax, [rsp+24]
0010a02acall rdi
0010a02cmov [rsp+40], rax
0010a031mov rax, [rsp+48]
0010a036mov rax, [rax+16]
0010a03amov rdi, [rax+232]
0010a041lea rax, [rip+0x1751b0]
0010a048mov rbx, [rsp+24]
0010a04dcall caml_apply2
0010a052mov rbx, [rax-8]
0010a056shr rbx, 10
0010a05acmp rbx, 2
0010a05ejl 0x10a06c
0010a060mov [rsp+8], rax
0010a065jmp 0x10a169
0010a06a
0010a06a 66 90 f.
0010a06c
0010a06cloc_10a06c:
0010a06cmov rbx, [rax]
0010a06fmov rdi, 0x400000000212a21
0010a079cmp rbx, rdi
0010a07cjne 0x10a164
0010a082mov rax, [rsp+24]
0010a087call camlLexstate.save_body_1031
0010a08cmov rbx, rax
0010a08fmov eax, 1
0010a094call camlSubst.do_do_subst_this_list_777
0010a099mov [rsp], rax
0010a09dlea rax, [rip+0x1762ac]
0010a0a4mov rbx, [rsp+24]
0010a0a9call camlLexstate.save_arg_opt_1107
0010a0aecall camlLexstate.from_ok_1113
0010a0b3sub r15, 120
0010a0b7cmp r15, [r14]
0010a0bajb 0x10a2cf
0010a0c0
0010a0c0loc_10a0c0:
0010a0c0lea rax, [r15+8]
0010a0c4add rax, 96
0010a0c8mov [rax-8], 2048
0010a0d0lea rbx, [rip+0x1750f1]
0010a0d7mov [rax], rbx
0010a0damov rdi, [rsp]
0010a0demov [rax+8], rdi
0010a0e2lea rdi, [rax-24]
0010a0e6mov [rdi-8], 2048
0010a0eemov rsi, [rsp+32]
0010a0f3mov [rdi], rsi
0010a0f6mov [rdi+8], rax
0010a0falea rax, [rdi-24]
0010a0femov [rax-8], 2048
0010a106mov [rax], rbx
0010a109mov [rax+8], rdi
0010a10dlea rbx, [rax-24]
0010a111mov [rbx-8], 2048
0010a119mov rdi, [rsp+40]
0010a11emov [rbx], rdi
0010a121mov [rbx+8], rax
0010a125lea rax, [rbx-24]
0010a129mov [rax-8], 2048
0010a131lea rdi, [rip+0x1750a0]
0010a138mov [rax], rdi
0010a13bmov [rax+8], rbx
0010a13flea rbx, [rip+0x1758ea]
0010a146call camlStdlib.$40_196
0010a14bmov rbx, rax
0010a14emov rax, [rsp+48]
0010a153mov rax, [rax+16]
0010a157mov rax, [rax+24]
0010a15badd rsp, 56
0010a15fjmp 0x17f240
0010a164
0010a164loc_10a164:
0010a164mov [rsp+8], rax
0010a169
0010a169loc_10a169:
0010a169mov rax, [rsp+48]
0010a16emov rax, [rax+16]
0010a172mov rbx, [rax+224]
0010a179mov rdi, [rbx]
0010a17cmov rax, [rsp+24]
0010a181call rdi
0010a183mov [rsp+16], rax
0010a188mov rax, [rsp+24]
0010a18dcall camlLexstate.save_body_1031
0010a192mov rbx, rax
0010a195mov eax, 1
0010a19acall camlSubst.do_do_subst_this_list_777
0010a19fmov [rsp], rax
0010a1a3lea rax, [rip+0x1761a6]
0010a1aamov rbx, [rsp+24]
0010a1afcall camlLexstate.save_arg_opt_1107
0010a1b4call camlLexstate.from_ok_1113
0010a1b9sub r15, 216
0010a1c0cmp r15, [r14]
0010a1c3jb 0x10a2c5
0010a1c9
0010a1c9loc_10a1c9:
0010a1c9lea rax, [r15+8]
0010a1cdadd rax, 192
0010a1d3mov [rax-8], 2048
0010a1dblea rbx, [rip+0x174fe6]
0010a1e2mov [rax], rbx
0010a1e5mov rdi, [rsp]
0010a1e9mov [rax+8], rdi
0010a1edlea rdi, [rax-24]
0010a1f1mov [rdi-8], 2048
0010a1f9mov rsi, [rsp+8]
0010a1femov [rdi], rsi
0010a201mov [rdi+8], rax
0010a205lea rax, [rdi-24]
0010a209mov [rax-8], 2048
0010a211mov [rax], rbx
0010a214mov [rax+8], rdi
0010a218lea rdi, [rax-24]
0010a21cmov [rdi-8], 2048
0010a224mov rsi, [rsp+16]
0010a229mov [rdi], rsi
0010a22cmov [rdi+8], rax
0010a230lea rax, [rdi-24]
0010a234mov [rax-8], 2048
0010a23cmov [rax], rbx
0010a23fmov [rax+8], rdi
0010a243lea rdi, [rax-24]
0010a247mov [rdi-8], 2048
0010a24fmov rsi, [rsp+32]
0010a254mov [rdi], rsi
0010a257mov [rdi+8], rax
0010a25blea rax, [rdi-24]
0010a25fmov [rax-8], 2048
0010a267mov [rax], rbx
0010a26amov [rax+8], rdi
0010a26elea rbx, [rax-24]
0010a272mov [rbx-8], 2048
0010a27amov rdi, [rsp+40]
0010a27fmov [rbx], rdi
0010a282mov [rbx+8], rax
0010a286lea rax, [rbx-24]
0010a28amov [rax-8], 2048
0010a292lea rdi, [rip+0x174f0f]
0010a299mov [rax], rdi
0010a29cmov [rax+8], rbx
0010a2a0lea rbx, [rip+0x175789]
0010a2a7call camlStdlib.$40_196
0010a2acmov rbx, rax
0010a2afmov rax, [rsp+48]
0010a2b4mov rax, [rax+16]
0010a2b8mov rax, [rax+24]
0010a2bcadd rsp, 56
0010a2c0jmp 0x17f240
0010a2c5
0010a2c5loc_10a2c5:
0010a2c5call caml_call_gc
0010a2cajmp 0x10a1c9
0010a2cf
0010a2cfloc_10a2cf:
0010a2cfcall caml_call_gc
0010a2d4jmp 0x10a0c0
0010a2d9
0010a2d9loc_10a2d9:
0010a2d9push 40
0010a2dbcall caml_call_realloc_stack
0010a2e0pop r10
0010a2e2jmp 0x109fe2
00109fd0

0010a2e7
0010a2e7 // align 0x10

0010a2f0
0010a2f0camlVerb.string_of_border_1890:
0010a2f0or rax, 1
0010a2f4lea rbx, [rip+0x1746bd]
0010a2fbmov rax, [rbx+4*rax-4]
0010a300ret
0010a2f0

0010a301
0010a301 // align 0x10