File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
Loading..
00126f60
00126f60camlLatexscan.fun_3744:
00126f60lea r10, [rsp-352]
00126f68cmp r10, [r14+40]
00126f6cjb 0x127079
00126f72
00126f72loc_126f72:
00126f72sub rsp, 32
00126f76mov rdi, rax
00126f79mov rsi, rbx
00126f7cmov [rsp+8], rsi
00126f81cmp r15, [r14]
00126f84jbe 0x12706f
00126f8a
00126f8aloc_126f8a:
00126f8amovzx rax, [rdi-8]
00126f8fcmp rax, 1
00126f93je 0x127048
00126f99ja 0x127058
00126f9fmov rax, [rdi]
00126fa2mov [rsp], rax
00126fa6lea rbx, [rip+0x2030c3]
00126fadmov rbx, [rbx+80]
00126fb1mov rbx, [rbx]
00126fb4cmp rbx, 5
00126fb8jle 0x126ffa
00126fbamov [rsp+24], rax
00126fbflea rax, [rip+0x1ef9da]
00126fc6mov rax, [rax]
00126fc9mov [rsp+16], rax
00126fcelea rbx, [rip+0x176ab3]
00126fd5lea rax, [rip+0x20663c]
00126fdcmov rax, [rax+312]
00126fe3call Stdlib.Printf.fprintf
00126fe8mov rdi, rax
00126febmov rax, [rsp+16]
00126ff0mov rbx, [rsp+24]
00126ff5call caml_apply2
00126ffa
00126ffaloc_126ffa:
00126ffasub r15, 24
00126ffecmp r15, [r14]
00127001jb 0x127068
00127003
00127003loc_127003:
00127003lea rsi, [r15+8]
00127007mov [rsi-8], 2048
0012700fmov rax, [rsp]
00127013mov [rsi], rax
00127016lea rax, [rip+0x1ef983]
0012701dmov rax, [rax+728]
00127024mov rax, [rax]
00127027mov [rsi+8], rax
0012702bmov rax, [rsp+8]
00127030mov rdi, [rax+40]
00127034mov rbx, [rax+32]
00127038mov rax, [rax+24]
0012703cadd rsp, 32
00127040jmp 0x17f6f0
00127045nop [rax]
00127048
00127048loc_127048:
00127048mov rbx, [rdi]
0012704bmov rax, [rsi+24]
0012704fadd rsp, 32
00127053jmp 0x126880
00127058
00127058loc_127058:
00127058mov rbx, [rdi]
0012705bmov rax, [rsi+32]
0012705fmov rdi, [rbx]
00127062add rsp, 32
00127066jmp rdi
00127068
00127068loc_127068:
00127068call caml_call_gc
0012706djmp 0x127003
0012706f
0012706floc_12706f:
0012706fcall caml_call_gc
00127074jmp 0x126f8a
00127079
00127079loc_127079:
00127079push 37
0012707bcall caml_call_realloc_stack
00127080pop r10
00127082jmp 0x126f72
00126f60
00126f60camlLatexscan.fun_3744:
00126f60lea r10, [rsp-352]
00126f68cmp r10, [r14+40]
00126f6cjb 0x127079
00126f72
00126f72loc_126f72:
00126f72sub rsp, 32
00126f76mov rdi, rax
00126f79mov rsi, rbx
00126f7cmov [rsp+8], rsi
00126f81cmp r15, [r14]
00126f84jbe 0x12706f
00126f8a
00126f8aloc_126f8a:
00126f8amovzx rax, [rdi-8]
00126f8fcmp rax, 1
00126f93je 0x127048
00126f99ja 0x127058
00126f9fmov rax, [rdi]
00126fa2mov [rsp], rax
00126fa6lea rbx, [rip+0x2030c3]
00126fadmov rbx, [rbx+80]
00126fb1mov rbx, [rbx]
00126fb4cmp rbx, 5
00126fb8jle 0x126ffa
00126fbamov [rsp+24], rax
00126fbflea rax, [rip+0x1ef9da]
00126fc6mov rax, [rax]
00126fc9mov [rsp+16], rax
00126fcelea rbx, [rip+0x176ab3]
00126fd5lea rax, [rip+0x20663c]
00126fdcmov rax, [rax+312]
00126fe3call Stdlib.Printf.fprintf
00126fe8mov rdi, rax
00126febmov rax, [rsp+16]
00126ff0mov rbx, [rsp+24]
00126ff5call caml_apply2
00126ffa
00126ffaloc_126ffa:
00126ffasub r15, 24
00126ffecmp r15, [r14]
00127001jb 0x127068
00127003
00127003loc_127003:
00127003lea rsi, [r15+8]
00127007mov [rsi-8], 2048
0012700fmov rax, [rsp]
00127013mov [rsi], rax
00127016lea rax, [rip+0x1ef983]
0012701dmov rax, [rax+728]
00127024mov rax, [rax]
00127027mov [rsi+8], rax
0012702bmov rax, [rsp+8]
00127030mov rdi, [rax+40]
00127034mov rbx, [rax+32]
00127038mov rax, [rax+24]
0012703cadd rsp, 32
00127040jmp 0x17f6f0
00127045nop [rax]
00127048
00127048loc_127048:
00127048mov rbx, [rdi]
0012704bmov rax, [rsi+24]
0012704fadd rsp, 32
00127053jmp 0x126880
00127058
00127058loc_127058:
00127058mov rbx, [rdi]
0012705bmov rax, [rsi+32]
0012705fmov rdi, [rbx]
00127062add rsp, 32
00127066jmp rdi
00127068
00127068loc_127068:
00127068call caml_call_gc
0012706djmp 0x127003
0012706f
0012706floc_12706f:
0012706fcall caml_call_gc
00127074jmp 0x126f8a
00127079
00127079loc_127079:
00127079push 37
0012707bcall caml_call_realloc_stack
00127080pop r10
00127082jmp 0x126f72
00126f60
00127087
00127087 // align 0x10
00127087 // align 0x10
00127090
00127090camlLatexscan.count_newlines_1496:
00127090mov rbx, [rax-8]
00127094shr rbx, 10
00127098lea rbx, [8*rbx-1]
001270a0movzx rdi, [rax+rbx]
001270a5sub rbx, rdi
001270a8lea rdi, [rbx+rbx+1]
001270adsub r15, 40
001270b1cmp r15, [r14]
001270b4jb 0x1270ec
001270b6
001270b6loc_1270b6:
001270b6lea rbx, [r15+8]
001270bamov [rbx-8], 4343
001270c2lea rsi, [rip+55]
001270c9mov [rbx], rsi
001270ccmov rsi, 0x100000000000005
001270d6mov [rbx+8], rsi
001270damov [rbx+16], rax
001270demov [rbx+24], rdi
001270e2mov eax, 1
001270e7jmp 0x127100
001270ec
001270ecloc_1270ec:
001270eccall caml_call_gc
001270f1jmp 0x1270b6
00127090
00127090camlLatexscan.count_newlines_1496:
00127090mov rbx, [rax-8]
00127094shr rbx, 10
00127098lea rbx, [8*rbx-1]
001270a0movzx rdi, [rax+rbx]
001270a5sub rbx, rdi
001270a8lea rdi, [rbx+rbx+1]
001270adsub r15, 40
001270b1cmp r15, [r14]
001270b4jb 0x1270ec
001270b6
001270b6loc_1270b6:
001270b6lea rbx, [r15+8]
001270bamov [rbx-8], 4343
001270c2lea rsi, [rip+55]
001270c9mov [rbx], rsi
001270ccmov rsi, 0x100000000000005
001270d6mov [rbx+8], rsi
001270damov [rbx+16], rax
001270demov [rbx+24], rdi
001270e2mov eax, 1
001270e7jmp 0x127100
001270ec
001270ecloc_1270ec:
001270eccall caml_call_gc
001270f1jmp 0x1270b6
00127090
001270f3
001270f3 // align 0x10
001270f3 // align 0x10
00127100
00127100camlLatexscan.c_rec_1500:
00127100lea r10, [rsp-320]
00127108cmp r10, [r14+40]
0012710cjb 0x12717e
0012710e
0012710eloc_12710e:
0012710ecmp r15, [r14]
00127111jbe 0x127172
00127113
00127113loc_127113:
00127113mov rdi, [rbx+24]
00127117cmp rax, rdi
0012711ajl 0x127124
0012711cmov eax, 1
00127121ret
00127122
00127122 66 90 f.
00127124
00127124loc_127124:
00127124mov rdi, rax
00127127sar rdi, 1
0012712amov rsi, [rbx+16]
0012712emov rdx, [rsi-8]
00127132shr rdx, 10
00127136lea rdx, [8*rdx-1]
0012713emovzx rcx, [rsi+rdx]
00127143sub rdx, rcx
00127146cmp rdx, rdi
00127149jbe 0x127179
0012714bmovzx rdi, [rsi+rdi]
00127150lea rdi, [rdi+rdi+1]
00127155cmp rdi, 21
00127159je 0x127164
0012715badd rax, 2
0012715fjmp 0x12710e
00127161
00127161 0f 1f 00 ...
00127164
00127164loc_127164:
00127164add rax, 2
00127168call camlLatexscan.c_rec_1500
0012716dadd rax, 2
00127171ret
00127172
00127172loc_127172:
00127172call caml_call_gc
00127177jmp 0x127113
00127179
00127179loc_127179:
00127179call caml_ml_array_bound_error
0012717e
0012717eloc_12717e:
0012717epush 33
00127180call caml_call_realloc_stack
00127185pop r10
00127187jmp 0x12710e
00127100
00127100camlLatexscan.c_rec_1500:
00127100lea r10, [rsp-320]
00127108cmp r10, [r14+40]
0012710cjb 0x12717e
0012710e
0012710eloc_12710e:
0012710ecmp r15, [r14]
00127111jbe 0x127172
00127113
00127113loc_127113:
00127113mov rdi, [rbx+24]
00127117cmp rax, rdi
0012711ajl 0x127124
0012711cmov eax, 1
00127121ret
00127122
00127122 66 90 f.
00127124
00127124loc_127124:
00127124mov rdi, rax
00127127sar rdi, 1
0012712amov rsi, [rbx+16]
0012712emov rdx, [rsi-8]
00127132shr rdx, 10
00127136lea rdx, [8*rdx-1]
0012713emovzx rcx, [rsi+rdx]
00127143sub rdx, rcx
00127146cmp rdx, rdi
00127149jbe 0x127179
0012714bmovzx rdi, [rsi+rdi]
00127150lea rdi, [rdi+rdi+1]
00127155cmp rdi, 21
00127159je 0x127164
0012715badd rax, 2
0012715fjmp 0x12710e
00127161
00127161 0f 1f 00 ...
00127164
00127164loc_127164:
00127164add rax, 2
00127168call camlLatexscan.c_rec_1500
0012716dadd rax, 2
00127171ret
00127172
00127172loc_127172:
00127172call caml_call_gc
00127177jmp 0x127113
00127179
00127179loc_127179:
00127179call caml_ml_array_bound_error
0012717e
0012717eloc_12717e:
0012717epush 33
00127180call caml_call_realloc_stack
00127185pop r10
00127187jmp 0x12710e
00127100
00127189
00127189 // align 0x10
00127189 // align 0x10
00127190
00127190camlLatexscan.check_case_1502:
00127190lea r10, [rsp-320]
00127198cmp r10, [r14+40]
0012719cjb 0x1271e8
0012719e
0012719eloc_12719e:
0012719emov rbx, rax
001271a1lea rax, [rip+0x1ef7f8]
001271a8mov rax, [rax+280]
001271afmov rax, [rax]
001271b2sar rax, 1
001271b5cmp rax, 1
001271b9je 0x1271d0
001271bbja 0x1271e4
001271bdlea rax, [rip+0x20cdbc]
001271c4mov rax, [rax+24]
001271c8call Stdlib.Bytes.map
001271cdret
001271ce
001271ce 66 90 f.
001271d0
001271d0loc_1271d0:
001271d0lea rax, [rip+0x20cda9]
001271d7mov rax, [rax+16]
001271dbcall Stdlib.Bytes.map
001271e0ret
001271e1
001271e1 0f 1f 00 ...
001271e4
001271e4loc_1271e4:
001271e4mov rax, rbx
001271e7ret
001271e8
001271e8loc_1271e8:
001271e8push 33
001271eacall caml_call_realloc_stack
001271efpop r10
001271f1jmp 0x12719e
00127190
00127190camlLatexscan.check_case_1502:
00127190lea r10, [rsp-320]
00127198cmp r10, [r14+40]
0012719cjb 0x1271e8
0012719e
0012719eloc_12719e:
0012719emov rbx, rax
001271a1lea rax, [rip+0x1ef7f8]
001271a8mov rax, [rax+280]
001271afmov rax, [rax]
001271b2sar rax, 1
001271b5cmp rax, 1
001271b9je 0x1271d0
001271bbja 0x1271e4
001271bdlea rax, [rip+0x20cdbc]
001271c4mov rax, [rax+24]
001271c8call Stdlib.Bytes.map
001271cdret
001271ce
001271ce 66 90 f.
001271d0
001271d0loc_1271d0:
001271d0lea rax, [rip+0x20cda9]
001271d7mov rax, [rax+16]
001271dbcall Stdlib.Bytes.map
001271e0ret
001271e1
001271e1 0f 1f 00 ...
001271e4
001271e4loc_1271e4:
001271e4mov rax, rbx
001271e7ret
001271e8
001271e8loc_1271e8:
001271e8push 33
001271eacall caml_call_realloc_stack
001271efpop r10
001271f1jmp 0x12719e
00127190
001271f3
001271f3 // align 0x10
001271f3 // align 0x10
00127200
00127200camlLatexscan.check_case_char_1503:
00127200mov rbx, rax
00127203lea rax, [rip+0x1ef796]
0012720amov rax, [rax+280]
00127211mov rax, [rax]
00127214sar rax, 1
00127217cmp rax, 1
0012721bje 0x12723c
0012721dja 0x127258
0012721fmov rax, rbx
00127222add rax, -194
00127228cmp rax, 51
0012722cjbe 0x127234
0012722emov rax, rbx
00127231ret
00127232
00127232 66 90 f.
00127234
00127234loc_127234:
00127234mov rax, rbx
00127237add rax, -64
0012723bret
0012723c
0012723cloc_12723c:
0012723cmov rax, rbx
0012723fadd rax, -130
00127245cmp rax, 51
00127249jbe 0x127250
0012724bmov rax, rbx
0012724eret
0012724f
0012724f 90 .
00127250
00127250loc_127250:
00127250mov rax, rbx
00127253add rax, 64
00127257ret
00127258
00127258loc_127258:
00127258mov rax, rbx
0012725bret
00127200
00127200camlLatexscan.check_case_char_1503:
00127200mov rbx, rax
00127203lea rax, [rip+0x1ef796]
0012720amov rax, [rax+280]
00127211mov rax, [rax]
00127214sar rax, 1
00127217cmp rax, 1
0012721bje 0x12723c
0012721dja 0x127258
0012721fmov rax, rbx
00127222add rax, -194
00127228cmp rax, 51
0012722cjbe 0x127234
0012722emov rax, rbx
00127231ret
00127232
00127232 66 90 f.
00127234
00127234loc_127234:
00127234mov rax, rbx
00127237add rax, -64
0012723bret
0012723c
0012723cloc_12723c:
0012723cmov rax, rbx
0012723fadd rax, -130
00127245cmp rax, 51
00127249jbe 0x127250
0012724bmov rax, rbx
0012724eret
0012724f
0012724f 90 .
00127250
00127250loc_127250:
00127250mov rax, rbx
00127253add rax, 64
00127257ret
00127258
00127258loc_127258:
00127258mov rax, rbx
0012725bret
00127200
0012725c
0012725c // align 0x10
0012725c // align 0x10
00127260
00127260camlLatexscan.translate_put_unicode_1519:
00127260lea r10, [rsp-368]
00127268cmp r10, [r14+40]
0012726cjb 0x12750b
00127272
00127272loc_127272:
00127272sub rsp, 32
00127276cmp r15, [r14]
00127279jbe 0x127501
0012727f
0012727floc_12727f:
0012727flea rsi, [rip+0x1ef71a]
00127286mov rsi, [rsi+128]
0012728dmov rsi, [rsi]
00127290cmp rsi, 1
00127294je 0x1272ac
00127296mov rbx, [rdi+24]
0012729amov rbx, [rbx+360]
001272a1mov rdi, [rbx]
001272a4add rsp, 32
001272a8jmp rdi
001272aanop
001272ac
001272acloc_1272ac:
001272acmov [rsp+16], rdi
001272b1mov [rsp+24], rax
001272b6lea r11, [rip+51]
001272bdpush r11
001272bfpush [r14+48]
001272c3mov [r14+48], rsp
001272c7lea rdi, [rip+0x1cca6a]
001272cemov rdi, [rdi+784]
001272d5mov rdi, [rdi]
001272d8call caml_apply2
001272ddmov [rsp+16], rax
001272e2pop [r14+48]
001272e6add rsp, 8
001272eajmp 0x127424
001272efnop
001272f0lea rbx, [rip+0x1cca41]
001272f7mov rbx, [rbx+40]
001272fbcmp rax, rbx
001272fejne 0x127414
00127304lea rax, [rip+0x17640d]
0012730bcall camlLatexmacros.exists_938
00127310cmp rax, 1
00127314je 0x1273b8
0012731amov rax, [rsp+24]
0012731fmov [rsp+8], rax
00127324lea rax, [rip+0x1763ed]
0012732bcall camlLatexmacros.find_941
00127330mov rax, [rax+8]
00127334movzx rbx, [rax-8]
00127339test rbx, rbx
0012733cjne 0x12735c
0012733emov rbx, [rax]
00127341lea rax, [rip+0x1ef658]
00127348mov rax, [rax+8]
0012734cmov rax, [rax+16]
00127350call Stdlib.String.concat
00127355mov [rsp], rax
00127359jmp 0x127398
0012735bnop
0012735c
0012735cloc_12735c:
0012735csub r15, 24
00127360cmp r15, [r14]
00127363jb 0x1274f7
00127369
00127369loc_127369:
00127369lea rax, [r15+8]
0012736dmov [rax-8], 2048
00127375lea rbx, [rip+0x14ee8c]
0012737cmov [rax], rbx
0012737flea rbx, [rip+0x17627a]
00127386mov [rax+8], rbx
0012738amov rsp, [r14+48]
0012738epop [r14+48]
00127392pop r11
00127394jmp r11
00127397nop
00127398
00127398loc_127398:
00127398lea rax, [rip+0x176299]
0012739fcall Stdlib.Printf.sprintf
001273a4mov rdi, rax
001273a7mov rax, [rsp]
001273abmov rbx, [rsp+8]
001273b0call caml_apply2
001273b5jmp 0x1273d9
001273b7nop
001273b8
001273b8loc_1273b8:
001273b8mov rax, [rsp+24]
001273bdmov [rsp], rax
001273c1lea rax, [rip+0x176148]
001273c8call Stdlib.Printf.sprintf
001273cdmov rbx, rax
001273d0mov rdi, [rbx]
001273d3mov rax, [rsp]
001273d7call rdi
001273d9
001273d9loc_1273d9:
001273d9sub r15, 24
001273ddcmp r15, [r14]
001273e0jb 0x1274ed
001273e6
001273e6loc_1273e6:
001273e6lea rbx, [r15+8]
001273eamov [rbx-8], 2048
001273f2lea rdi, [rip+0x202c77]
001273f9mov rdi, [rdi+24]
001273fdmov [rbx], rdi
00127400mov [rbx+8], rax
00127404mov rax, rbx
00127407mov rsp, [r14+48]
0012740bpop [r14+48]
0012740fpop r11
00127411jmp r11
00127414
00127414loc_127414:
00127414mov rsp, [r14+48]
00127418pop [r14+48]
0012741cpop r11
0012741ejmp r11
00127421nop [rax]
00127424
00127424loc_127424:
00127424lea r11, [rip+45]
0012742bpush r11
0012742dpush [r14+48]
00127431mov [r14+48], rsp
00127435mov rbx, [rsp+32]
0012743amov rbx, [rbx+24]
0012743emov rbx, [rbx+368]
00127445mov rdi, [rbx]
00127448call rdi
0012744apop [r14+48]
0012744eadd rsp, 8
00127452jmp 0x1274e8
00127457nop
00127458lea rbx, [rip+0x202c11]
0012745fmov rbx, [rbx+72]
00127463cmp rax, rbx
00127466jne 0x1274d8
00127468mov rax, [rsp+24]
0012746dmov [rsp+8], rax
00127472mov rax, [rsp]
00127476mov [rsp], rax
0012747alea rax, [rip+0x1ccc7f]
00127481call Stdlib.Printf.sprintf
00127486mov rbx, rax
00127489mov rdi, [rbx]
0012748cmov rax, [rsp]
00127490call rdi
00127492mov [rsp], rax
00127496lea rax, [rip+0x175fa3]
0012749dcall Stdlib.Printf.sprintf
001274a2mov rdi, rax
001274a5mov rax, [rsp]
001274a9mov rbx, [rsp+8]
001274aecall caml_apply2
001274b3call camlMisc.warning_287
001274b8mov rax, [rsp+16]
001274bdmov rax, [rax+24]
001274c1mov rbx, [rax+360]
001274c8mov rdi, [rbx]
001274cbmov rax, [rsp+24]
001274d0add rsp, 32
001274d4jmp rdi
001274d6nop
001274d8
001274d8loc_1274d8:
001274d8mov rsp, [r14+48]
001274dcpop [r14+48]
001274e0pop r11
001274e2jmp r11
001274e5nop [rax]
001274e8
001274e8loc_1274e8:
001274e8add rsp, 32
001274ecret
001274ed
001274edloc_1274ed:
001274edcall caml_call_gc
001274f2jmp 0x1273e6
001274f7
001274f7loc_1274f7:
001274f7call caml_call_gc
001274fcjmp 0x127369
00127501
00127501loc_127501:
00127501call caml_call_gc
00127506jmp 0x12727f
0012750b
0012750bloc_12750b:
0012750bpush 39
0012750dcall caml_call_realloc_stack
00127512pop r10
00127514jmp 0x127272
00127260
00127260camlLatexscan.translate_put_unicode_1519:
00127260lea r10, [rsp-368]
00127268cmp r10, [r14+40]
0012726cjb 0x12750b
00127272
00127272loc_127272:
00127272sub rsp, 32
00127276cmp r15, [r14]
00127279jbe 0x127501
0012727f
0012727floc_12727f:
0012727flea rsi, [rip+0x1ef71a]
00127286mov rsi, [rsi+128]
0012728dmov rsi, [rsi]
00127290cmp rsi, 1
00127294je 0x1272ac
00127296mov rbx, [rdi+24]
0012729amov rbx, [rbx+360]
001272a1mov rdi, [rbx]
001272a4add rsp, 32
001272a8jmp rdi
001272aanop
001272ac
001272acloc_1272ac:
001272acmov [rsp+16], rdi
001272b1mov [rsp+24], rax
001272b6lea r11, [rip+51]
001272bdpush r11
001272bfpush [r14+48]
001272c3mov [r14+48], rsp
001272c7lea rdi, [rip+0x1cca6a]
001272cemov rdi, [rdi+784]
001272d5mov rdi, [rdi]
001272d8call caml_apply2
001272ddmov [rsp+16], rax
001272e2pop [r14+48]
001272e6add rsp, 8
001272eajmp 0x127424
001272efnop
001272f0lea rbx, [rip+0x1cca41]
001272f7mov rbx, [rbx+40]
001272fbcmp rax, rbx
001272fejne 0x127414
00127304lea rax, [rip+0x17640d]
0012730bcall camlLatexmacros.exists_938
00127310cmp rax, 1
00127314je 0x1273b8
0012731amov rax, [rsp+24]
0012731fmov [rsp+8], rax
00127324lea rax, [rip+0x1763ed]
0012732bcall camlLatexmacros.find_941
00127330mov rax, [rax+8]
00127334movzx rbx, [rax-8]
00127339test rbx, rbx
0012733cjne 0x12735c
0012733emov rbx, [rax]
00127341lea rax, [rip+0x1ef658]
00127348mov rax, [rax+8]
0012734cmov rax, [rax+16]
00127350call Stdlib.String.concat
00127355mov [rsp], rax
00127359jmp 0x127398
0012735bnop
0012735c
0012735cloc_12735c:
0012735csub r15, 24
00127360cmp r15, [r14]
00127363jb 0x1274f7
00127369
00127369loc_127369:
00127369lea rax, [r15+8]
0012736dmov [rax-8], 2048
00127375lea rbx, [rip+0x14ee8c]
0012737cmov [rax], rbx
0012737flea rbx, [rip+0x17627a]
00127386mov [rax+8], rbx
0012738amov rsp, [r14+48]
0012738epop [r14+48]
00127392pop r11
00127394jmp r11
00127397nop
00127398
00127398loc_127398:
00127398lea rax, [rip+0x176299]
0012739fcall Stdlib.Printf.sprintf
001273a4mov rdi, rax
001273a7mov rax, [rsp]
001273abmov rbx, [rsp+8]
001273b0call caml_apply2
001273b5jmp 0x1273d9
001273b7nop
001273b8
001273b8loc_1273b8:
001273b8mov rax, [rsp+24]
001273bdmov [rsp], rax
001273c1lea rax, [rip+0x176148]
001273c8call Stdlib.Printf.sprintf
001273cdmov rbx, rax
001273d0mov rdi, [rbx]
001273d3mov rax, [rsp]
001273d7call rdi
001273d9
001273d9loc_1273d9:
001273d9sub r15, 24
001273ddcmp r15, [r14]
001273e0jb 0x1274ed
001273e6
001273e6loc_1273e6:
001273e6lea rbx, [r15+8]
001273eamov [rbx-8], 2048
001273f2lea rdi, [rip+0x202c77]
001273f9mov rdi, [rdi+24]
001273fdmov [rbx], rdi
00127400mov [rbx+8], rax
00127404mov rax, rbx
00127407mov rsp, [r14+48]
0012740bpop [r14+48]
0012740fpop r11
00127411jmp r11
00127414
00127414loc_127414:
00127414mov rsp, [r14+48]
00127418pop [r14+48]
0012741cpop r11
0012741ejmp r11
00127421nop [rax]
00127424
00127424loc_127424:
00127424lea r11, [rip+45]
0012742bpush r11
0012742dpush [r14+48]
00127431mov [r14+48], rsp
00127435mov rbx, [rsp+32]
0012743amov rbx, [rbx+24]
0012743emov rbx, [rbx+368]
00127445mov rdi, [rbx]
00127448call rdi
0012744apop [r14+48]
0012744eadd rsp, 8
00127452jmp 0x1274e8
00127457nop
00127458lea rbx, [rip+0x202c11]
0012745fmov rbx, [rbx+72]
00127463cmp rax, rbx
00127466jne 0x1274d8
00127468mov rax, [rsp+24]
0012746dmov [rsp+8], rax
00127472mov rax, [rsp]
00127476mov [rsp], rax
0012747alea rax, [rip+0x1ccc7f]
00127481call Stdlib.Printf.sprintf
00127486mov rbx, rax
00127489mov rdi, [rbx]
0012748cmov rax, [rsp]
00127490call rdi
00127492mov [rsp], rax
00127496lea rax, [rip+0x175fa3]
0012749dcall Stdlib.Printf.sprintf
001274a2mov rdi, rax
001274a5mov rax, [rsp]
001274a9mov rbx, [rsp+8]
001274aecall caml_apply2
001274b3call camlMisc.warning_287
001274b8mov rax, [rsp+16]
001274bdmov rax, [rax+24]
001274c1mov rbx, [rax+360]
001274c8mov rdi, [rbx]
001274cbmov rax, [rsp+24]
001274d0add rsp, 32
001274d4jmp rdi
001274d6nop
001274d8
001274d8loc_1274d8:
001274d8mov rsp, [r14+48]
001274dcpop [r14+48]
001274e0pop r11
001274e2jmp r11
001274e5nop [rax]
001274e8
001274e8loc_1274e8:
001274e8add rsp, 32
001274ecret
001274ed
001274edloc_1274ed:
001274edcall caml_call_gc
001274f2jmp 0x1273e6
001274f7
001274f7loc_1274f7:
001274f7call caml_call_gc
001274fcjmp 0x127369
00127501
00127501loc_127501:
00127501call caml_call_gc
00127506jmp 0x12727f
0012750b
0012750bloc_12750b:
0012750bpush 39
0012750dcall caml_call_realloc_stack
00127512pop r10
00127514jmp 0x127272
00127260
00127519
00127519 // align 0x10
00127519 // align 0x10
00127520
00127520camlLatexscan.translate_next_1611:
00127520lea r10, [rsp-336]
00127528cmp r10, [r14+40]
0012752cjb 0x127589
0012752e
0012752eloc_12752e:
0012752esub rsp, 16
00127532
00127532loc_127532:
00127532mov rdi, rax
00127535mov [rsp], rdi
00127539mov [rsp+8], rbx
0012753ecmp r15, [r14]
00127541jbe 0x127582
00127543
00127543loc_127543:
00127543mov eax, 1
00127548mov rsi, [rdi]
0012754bmov rbx, rdi
0012754ecall rsi
00127550cmp rax, -1
00127554je 0x127578
00127556call Stdlib.Char.chr
0012755bmov rbx, [rsp+8]
00127560mov rdi, [rbx+16]
00127564mov rbx, [rsp]
00127568call camlLatexscan.translate_put_unicode_1519
0012756dmov rax, [rsp]
00127571mov rbx, [rsp+8]
00127576jmp 0x127532
00127578
00127578loc_127578:
00127578mov eax, 1
0012757dadd rsp, 16
00127581ret
00127582
00127582loc_127582:
00127582call caml_call_gc
00127587jmp 0x127543
00127589
00127589loc_127589:
00127589push 35
0012758bcall caml_call_realloc_stack
00127590pop r10
00127592jmp 0x12752e
00127520
00127520camlLatexscan.translate_next_1611:
00127520lea r10, [rsp-336]
00127528cmp r10, [r14+40]
0012752cjb 0x127589
0012752e
0012752eloc_12752e:
0012752esub rsp, 16
00127532
00127532loc_127532:
00127532mov rdi, rax
00127535mov [rsp], rdi
00127539mov [rsp+8], rbx
0012753ecmp r15, [r14]
00127541jbe 0x127582
00127543
00127543loc_127543:
00127543mov eax, 1
00127548mov rsi, [rdi]
0012754bmov rbx, rdi
0012754ecall rsi
00127550cmp rax, -1
00127554je 0x127578
00127556call Stdlib.Char.chr
0012755bmov rbx, [rsp+8]
00127560mov rdi, [rbx+16]
00127564mov rbx, [rsp]
00127568call camlLatexscan.translate_put_unicode_1519
0012756dmov rax, [rsp]
00127571mov rbx, [rsp+8]
00127576jmp 0x127532
00127578
00127578loc_127578:
00127578mov eax, 1
0012757dadd rsp, 16
00127581ret
00127582
00127582loc_127582:
00127582call caml_call_gc
00127587jmp 0x127543
00127589
00127589loc_127589:
00127589push 35
0012758bcall caml_call_realloc_stack
00127590pop r10
00127592jmp 0x12752e
00127520
00127594
00127594 // align 0x10
00127594 // align 0x10
001275a0
001275a0camlLatexscan.translate_put_unicode_string_1614:
001275a0lea r10, [rsp-328]
001275a8cmp r10, [r14+40]
001275acjb 0x1275cc
001275ae
001275aeloc_1275ae:
001275aesub rsp, 8
001275b2mov [rsp], rbx
001275b6call camlMisc.next_of_string_736
001275bbmov rbx, [rsp]
001275bfmov rbx, [rbx+16]
001275c3add rsp, 8
001275c7jmp 0x127520
001275cc
001275ccloc_1275cc:
001275ccpush 34
001275cecall caml_call_realloc_stack
001275d3pop r10
001275d5jmp 0x1275ae
001275a0
001275a0camlLatexscan.translate_put_unicode_string_1614:
001275a0lea r10, [rsp-328]
001275a8cmp r10, [r14+40]
001275acjb 0x1275cc
001275ae
001275aeloc_1275ae:
001275aesub rsp, 8
001275b2mov [rsp], rbx
001275b6call camlMisc.next_of_string_736
001275bbmov rbx, [rsp]
001275bfmov rbx, [rbx+16]
001275c3add rsp, 8
001275c7jmp 0x127520
001275cc
001275ccloc_1275cc:
001275ccpush 34
001275cecall caml_call_realloc_stack
001275d3pop r10
001275d5jmp 0x1275ae
001275a0
001275d7
001275d7 // align 0x10
001275d7 // align 0x10
001275e0
001275e0camlLatexscan.top_open_maths_1618:
001275e0lea r10, [rsp-344]
001275e8cmp r10, [r14+40]
001275ecjb 0x1277c2
001275f2
001275f2loc_1275f2:
001275f2sub rsp, 24
001275f6mov [rsp+16], rbx
001275fbmov r12, rdi
001275femov [rsp+8], r12
00127603cmp r15, [r14]
00127606jbe 0x1277b8
0012760c
0012760cloc_12760c:
0012760clea rbx, [rip+0x1ef38d]
00127613mov rdi, [rbx+152]
0012761amov rdi, [rdi]
0012761dcmp rdi, 1
00127621je 0x127664
00127623lea rbx, [rip+0x175df6]
0012762acall camlLexstate.scan_this_1185
0012762fmov rax, [rsp+8]
00127634mov rax, [rax+32]
00127638mov rbx, [rax+352]
0012763fmov rax, [rsp+16]
00127644cmp rax, 1
00127648je 0x127654
0012764alea rax, [rip+0x175dbf]
00127651jmp 0x12765b
00127653nop
00127654
00127654loc_127654:
00127654lea rax, [rip+0x175da5]
0012765b
0012765bloc_12765b:
0012765bmov rdi, [rbx]
0012765eadd rsp, 24
00127662jmp rdi
00127664
00127664loc_127664:
00127664mov [rsp], rax
00127668mov rax, [rbx+144]
0012766fmov rax, [rax]
00127672mov rdi, [rbx+440]
00127679sub r15, 24
0012767dcmp r15, [r14]
00127680jb 0x1277ae
00127686
00127686loc_127686:
00127686lea rsi, [r15+8]
0012768amov [rsi-8], 2048
00127692mov [rsi], rax
00127695mov rax, [rdi]
00127698mov [rsi+8], rax
0012769cmov rbx, rsp
0012769fmov rsp, [r14+64]
001276a3call caml_modify
001276a8mov rsp, rbx
001276ablea rax, [rip+0x1ef2ee]
001276b2mov rbx, [rax+144]
001276b9mov [rbx], 3
001276c0mov rax, [rax+136]
001276c7mov rax, [rax]
001276cacmp rax, 1
001276ceje 0x1276e6
001276d0mov rax, [r12+32]
001276d5mov rbx, [rax+208]
001276dcmov eax, 1
001276e1mov rdi, [rbx]
001276e4call rdi
001276e6
001276e6loc_1276e6:
001276e6lea rax, [rip+0x1ef2b3]
001276edmov rbx, [rax+136]
001276f4mov rbx, [rbx]
001276f7mov rdi, [rax+448]
001276fesub r15, 24
00127702cmp r15, [r14]
00127705jb 0x1277a4
0012770b
0012770bloc_12770b:
0012770blea rsi, [r15+8]
0012770fmov [rsi-8], 2048
00127717mov [rsi], rbx
0012771amov rax, [rdi]
0012771dmov [rsi+8], rax
00127721mov rbx, rsp
00127724mov rsp, [r14+64]
00127728call caml_modify
0012772dmov rsp, rbx
00127730mov rax, [rsp+16]
00127735cmp rax, 1
00127739je 0x127768
0012773blea rbx, [rip+0x1ef25e]
00127742mov rbx, [rbx+136]
00127749mov [rbx], 3
00127750mov rbx, [rsp+8]
00127755mov rbx, [rbx+32]
00127759mov rbx, [rbx+168]
00127760mov rdi, [rbx]
00127763call rdi
00127765jmp 0x127790
00127767nop
00127768
00127768loc_127768:
00127768mov rbx, [rsp+8]
0012776dmov rbx, [rbx+32]
00127771mov rbx, [rbx+168]
00127778mov rdi, [rbx]
0012777bcall rdi
0012777dmov rax, [rsp+8]
00127782mov rbx, [rax+24]
00127786mov eax, 1
0012778bcall camlLatexscan.top_open_display_822
00127790
00127790loc_127790:
00127790lea rbx, [rip+0x175c51]
00127797mov rax, [rsp]
0012779badd rsp, 24
0012779fjmp 0x17f150
001277a4
001277a4loc_1277a4:
001277a4call caml_call_gc
001277a9jmp 0x12770b
001277ae
001277aeloc_1277ae:
001277aecall caml_call_gc
001277b3jmp 0x127686
001277b8
001277b8loc_1277b8:
001277b8call caml_call_gc
001277bdjmp 0x12760c
001277c2
001277c2loc_1277c2:
001277c2push 36
001277c4call caml_call_realloc_stack
001277c9pop r10
001277cbjmp 0x1275f2
001275e0
001275e0camlLatexscan.top_open_maths_1618:
001275e0lea r10, [rsp-344]
001275e8cmp r10, [r14+40]
001275ecjb 0x1277c2
001275f2
001275f2loc_1275f2:
001275f2sub rsp, 24
001275f6mov [rsp+16], rbx
001275fbmov r12, rdi
001275femov [rsp+8], r12
00127603cmp r15, [r14]
00127606jbe 0x1277b8
0012760c
0012760cloc_12760c:
0012760clea rbx, [rip+0x1ef38d]
00127613mov rdi, [rbx+152]
0012761amov rdi, [rdi]
0012761dcmp rdi, 1
00127621je 0x127664
00127623lea rbx, [rip+0x175df6]
0012762acall camlLexstate.scan_this_1185
0012762fmov rax, [rsp+8]
00127634mov rax, [rax+32]
00127638mov rbx, [rax+352]
0012763fmov rax, [rsp+16]
00127644cmp rax, 1
00127648je 0x127654
0012764alea rax, [rip+0x175dbf]
00127651jmp 0x12765b
00127653nop
00127654
00127654loc_127654:
00127654lea rax, [rip+0x175da5]
0012765b
0012765bloc_12765b:
0012765bmov rdi, [rbx]
0012765eadd rsp, 24
00127662jmp rdi
00127664
00127664loc_127664:
00127664mov [rsp], rax
00127668mov rax, [rbx+144]
0012766fmov rax, [rax]
00127672mov rdi, [rbx+440]
00127679sub r15, 24
0012767dcmp r15, [r14]
00127680jb 0x1277ae
00127686
00127686loc_127686:
00127686lea rsi, [r15+8]
0012768amov [rsi-8], 2048
00127692mov [rsi], rax
00127695mov rax, [rdi]
00127698mov [rsi+8], rax
0012769cmov rbx, rsp
0012769fmov rsp, [r14+64]
001276a3call caml_modify
001276a8mov rsp, rbx
001276ablea rax, [rip+0x1ef2ee]
001276b2mov rbx, [rax+144]
001276b9mov [rbx], 3
001276c0mov rax, [rax+136]
001276c7mov rax, [rax]
001276cacmp rax, 1
001276ceje 0x1276e6
001276d0mov rax, [r12+32]
001276d5mov rbx, [rax+208]
001276dcmov eax, 1
001276e1mov rdi, [rbx]
001276e4call rdi
001276e6
001276e6loc_1276e6:
001276e6lea rax, [rip+0x1ef2b3]
001276edmov rbx, [rax+136]
001276f4mov rbx, [rbx]
001276f7mov rdi, [rax+448]
001276fesub r15, 24
00127702cmp r15, [r14]
00127705jb 0x1277a4
0012770b
0012770bloc_12770b:
0012770blea rsi, [r15+8]
0012770fmov [rsi-8], 2048
00127717mov [rsi], rbx
0012771amov rax, [rdi]
0012771dmov [rsi+8], rax
00127721mov rbx, rsp
00127724mov rsp, [r14+64]
00127728call caml_modify
0012772dmov rsp, rbx
00127730mov rax, [rsp+16]
00127735cmp rax, 1
00127739je 0x127768
0012773blea rbx, [rip+0x1ef25e]
00127742mov rbx, [rbx+136]
00127749mov [rbx], 3
00127750mov rbx, [rsp+8]
00127755mov rbx, [rbx+32]
00127759mov rbx, [rbx+168]
00127760mov rdi, [rbx]
00127763call rdi
00127765jmp 0x127790
00127767nop
00127768
00127768loc_127768:
00127768mov rbx, [rsp+8]
0012776dmov rbx, [rbx+32]
00127771mov rbx, [rbx+168]
00127778mov rdi, [rbx]
0012777bcall rdi
0012777dmov rax, [rsp+8]
00127782mov rbx, [rax+24]
00127786mov eax, 1
0012778bcall camlLatexscan.top_open_display_822
00127790
00127790loc_127790:
00127790lea rbx, [rip+0x175c51]
00127797mov rax, [rsp]
0012779badd rsp, 24
0012779fjmp 0x17f150
001277a4
001277a4loc_1277a4:
001277a4call caml_call_gc
001277a9jmp 0x12770b
001277ae
001277aeloc_1277ae:
001277aecall caml_call_gc
001277b3jmp 0x127686
001277b8
001277b8loc_1277b8:
001277b8call caml_call_gc
001277bdjmp 0x12760c
001277c2
001277c2loc_1277c2:
001277c2push 36
001277c4call caml_call_realloc_stack
001277c9pop r10
001277cbjmp 0x1275f2
001275e0
001277d0
001277d0camlLatexscan.top_close_maths_1619:
001277d0lea r10, [rsp-336]
001277d8cmp r10, [r14+40]
001277dcjb 0x127920
001277e2
001277e2loc_1277e2:
001277e2sub rsp, 16
001277e6mov [rsp+8], rbx
001277ebcmp r15, [r14]
001277eejbe 0x127916
001277f4
001277f4loc_1277f4:
001277f4lea rdi, [rip+0x1ef1a5]
001277fbmov rsi, [rdi+152]
00127802mov rsi, [rsi]
00127805cmp rsi, 1
00127809je 0x12784c
0012780bmov rbx, [rbx+32]
0012780fmov rbx, [rbx+352]
00127816cmp rax, 1
0012781aje 0x127828
0012781clea rax, [rip+0x175bb5]
00127823jmp 0x12782f
00127825nop [rax]
00127828
00127828loc_127828:
00127828lea rax, [rip+0x175b99]
0012782f
0012782floc_12782f:
0012782fmov rdi, [rbx]
00127832call rdi
00127834mov rax, [rsp+8]
00127839mov rbx, [rax+24]
0012783dmov eax, 1
00127842add rsp, 16
00127846jmp 0x124110
0012784bnop
0012784c
0012784cloc_12784c:
0012784cmov [rsp], rax
00127850mov rax, [rdi+440]
00127857call camlMyStack.pop_292
0012785clea rbx, [rip+0x1ef13d]
00127863mov rbx, [rbx+144]
0012786amov [rbx], rax
0012786dmov rax, [rsp]
00127871cmp rax, 1
00127875je 0x127890
00127877mov rbx, [rsp+8]
0012787cmov rbx, [rbx+32]
00127880mov rbx, [rbx+176]
00127887mov rdi, [rbx]
0012788acall rdi
0012788cjmp 0x1278c0
0012788enop
00127890
00127890loc_127890:
00127890mov [rsp], rax
00127894mov rax, [rsp+8]
00127899mov rbx, [rax+16]
0012789dmov eax, 1
001278a2call camlLatexscan.top_close_display_839
001278a7mov rax, [rsp+8]
001278acmov rax, [rax+32]
001278b0mov rbx, [rax+176]
001278b7mov rdi, [rbx]
001278bamov rax, [rsp]
001278becall rdi
001278c0
001278c0loc_1278c0:
001278c0lea rax, [rip+0x1ef0d9]
001278c7mov rax, [rax+448]
001278cecall camlMyStack.pop_292
001278d3lea rbx, [rip+0x1ef0c6]
001278damov rbx, [rbx+136]
001278e1mov [rbx], rax
001278e4mov rax, [rbx]
001278e7cmp rax, 1
001278ebje 0x12790c
001278edmov rax, [rsp+8]
001278f2mov rax, [rax+32]
001278f6mov rbx, [rax+208]
001278fdmov eax, 1
00127902mov rdi, [rbx]
00127905add rsp, 16
00127909jmp rdi
0012790bnop
0012790c
0012790cloc_12790c:
0012790cmov eax, 1
00127911add rsp, 16
00127915ret
00127916
00127916loc_127916:
00127916call caml_call_gc
0012791bjmp 0x1277f4
00127920
00127920loc_127920:
00127920push 35
00127922call caml_call_realloc_stack
00127927pop r10
00127929jmp 0x1277e2
001277d0
001277d0camlLatexscan.top_close_maths_1619:
001277d0lea r10, [rsp-336]
001277d8cmp r10, [r14+40]
001277dcjb 0x127920
001277e2
001277e2loc_1277e2:
001277e2sub rsp, 16
001277e6mov [rsp+8], rbx
001277ebcmp r15, [r14]
001277eejbe 0x127916
001277f4
001277f4loc_1277f4:
001277f4lea rdi, [rip+0x1ef1a5]
001277fbmov rsi, [rdi+152]
00127802mov rsi, [rsi]
00127805cmp rsi, 1
00127809je 0x12784c
0012780bmov rbx, [rbx+32]
0012780fmov rbx, [rbx+352]
00127816cmp rax, 1
0012781aje 0x127828
0012781clea rax, [rip+0x175bb5]
00127823jmp 0x12782f
00127825nop [rax]
00127828
00127828loc_127828:
00127828lea rax, [rip+0x175b99]
0012782f
0012782floc_12782f:
0012782fmov rdi, [rbx]
00127832call rdi
00127834mov rax, [rsp+8]
00127839mov rbx, [rax+24]
0012783dmov eax, 1
00127842add rsp, 16
00127846jmp 0x124110
0012784bnop
0012784c
0012784cloc_12784c:
0012784cmov [rsp], rax
00127850mov rax, [rdi+440]
00127857call camlMyStack.pop_292
0012785clea rbx, [rip+0x1ef13d]
00127863mov rbx, [rbx+144]
0012786amov [rbx], rax
0012786dmov rax, [rsp]
00127871cmp rax, 1
00127875je 0x127890
00127877mov rbx, [rsp+8]
0012787cmov rbx, [rbx+32]
00127880mov rbx, [rbx+176]
00127887mov rdi, [rbx]
0012788acall rdi
0012788cjmp 0x1278c0
0012788enop
00127890
00127890loc_127890:
00127890mov [rsp], rax
00127894mov rax, [rsp+8]
00127899mov rbx, [rax+16]
0012789dmov eax, 1
001278a2call camlLatexscan.top_close_display_839
001278a7mov rax, [rsp+8]
001278acmov rax, [rax+32]
001278b0mov rbx, [rax+176]
001278b7mov rdi, [rbx]
001278bamov rax, [rsp]
001278becall rdi
001278c0
001278c0loc_1278c0:
001278c0lea rax, [rip+0x1ef0d9]
001278c7mov rax, [rax+448]
001278cecall camlMyStack.pop_292
001278d3lea rbx, [rip+0x1ef0c6]
001278damov rbx, [rbx+136]
001278e1mov [rbx], rax
001278e4mov rax, [rbx]
001278e7cmp rax, 1
001278ebje 0x12790c
001278edmov rax, [rsp+8]
001278f2mov rax, [rax+32]
001278f6mov rbx, [rax+208]
001278fdmov eax, 1
00127902mov rdi, [rbx]
00127905add rsp, 16
00127909jmp rdi
0012790bnop
0012790c
0012790cloc_12790c:
0012790cmov eax, 1
00127911add rsp, 16
00127915ret
00127916
00127916loc_127916:
00127916call caml_call_gc
0012791bjmp 0x1277f4
00127920
00127920loc_127920:
00127920push 35
00127922call caml_call_realloc_stack
00127927pop r10
00127929jmp 0x1277e2
001277d0
0012792e
0012792e // align 0x10
0012792e // align 0x10
00127930
00127930camlLatexscan.fun_3912:
00127930lea r10, [rsp-344]
00127938cmp r10, [r14+40]
0012793cjb 0x1279fe
00127942
00127942loc_127942:
00127942sub rsp, 24
00127946mov [rsp+8], rax
0012794bmov [rsp], rbx
0012794flea rax, [rip+0x1ef04a]
00127956mov rbx, [rax+168]
0012795dmov rbx, [rbx]
00127960mov [rsp+16], rbx
00127965mov rax, [rax+456]
0012796ccall camlMyStack.pop_292
00127971lea rbx, [rip+0x1ef028]
00127978mov rdi, [rbx+168]
0012797fmov [rdi], rax
00127982mov rax, [rbx+728]
00127989mov rdi, [rax]
0012798cmov rax, [rsp]
00127990mov rbx, [rax+24]
00127994mov rax, [rax+16]
00127998mov rsi, [rsp+8]
0012799dcall camlLexstate.scan_this_list_may_cont_1225
001279a2lea rax, [rip+0x1eeff7]
001279a9mov rbx, [rax+168]
001279b0mov rdx, [rsp+16]
001279b5mov [rbx], rdx
001279b8mov rdi, [rax+456]
001279bfsub r15, 24
001279c3cmp r15, [r14]
001279c6jb 0x1279f7
001279c8
001279c8loc_1279c8:
001279c8lea rsi, [r15+8]
001279ccmov [rsi-8], 2048
001279d4mov [rsi], rdx
001279d7mov rax, [rdi]
001279damov [rsi+8], rax
001279demov rbx, rsp
001279e1mov rsp, [r14+64]
001279e5call caml_modify
001279eamov rsp, rbx
001279edmov eax, 1
001279f2add rsp, 24
001279f6ret
001279f7
001279f7loc_1279f7:
001279f7call caml_call_gc
001279fcjmp 0x1279c8
001279fe
001279feloc_1279fe:
001279fepush 36
00127a00call caml_call_realloc_stack
00127a05pop r10
00127a07jmp 0x127942
00127930
00127930camlLatexscan.fun_3912:
00127930lea r10, [rsp-344]
00127938cmp r10, [r14+40]
0012793cjb 0x1279fe
00127942
00127942loc_127942:
00127942sub rsp, 24
00127946mov [rsp+8], rax
0012794bmov [rsp], rbx
0012794flea rax, [rip+0x1ef04a]
00127956mov rbx, [rax+168]
0012795dmov rbx, [rbx]
00127960mov [rsp+16], rbx
00127965mov rax, [rax+456]
0012796ccall camlMyStack.pop_292
00127971lea rbx, [rip+0x1ef028]
00127978mov rdi, [rbx+168]
0012797fmov [rdi], rax
00127982mov rax, [rbx+728]
00127989mov rdi, [rax]
0012798cmov rax, [rsp]
00127990mov rbx, [rax+24]
00127994mov rax, [rax+16]
00127998mov rsi, [rsp+8]
0012799dcall camlLexstate.scan_this_list_may_cont_1225
001279a2lea rax, [rip+0x1eeff7]
001279a9mov rbx, [rax+168]
001279b0mov rdx, [rsp+16]
001279b5mov [rbx], rdx
001279b8mov rdi, [rax+456]
001279bfsub r15, 24
001279c3cmp r15, [r14]
001279c6jb 0x1279f7
001279c8
001279c8loc_1279c8:
001279c8lea rsi, [r15+8]
001279ccmov [rsi-8], 2048
001279d4mov [rsi], rdx
001279d7mov rax, [rdi]
001279damov [rsi+8], rax
001279demov rbx, rsp
001279e1mov rsp, [r14+64]
001279e5call caml_modify
001279eamov rsp, rbx
001279edmov eax, 1
001279f2add rsp, 24
001279f6ret
001279f7
001279f7loc_1279f7:
001279f7call caml_call_gc
001279fcjmp 0x1279c8
001279fe
001279feloc_1279fe:
001279fepush 36
00127a00call caml_call_realloc_stack
00127a05pop r10
00127a07jmp 0x127942
00127930
00127a0c
00127a0c // align 0x10
00127a0c // align 0x10
00127a10
00127a10camlLatexscan.fun_3917:
00127a10mov rsi, rax
00127a13lea rax, [rip+0x1eef86]
00127a1amov rax, [rax+728]
00127a21mov rdi, [rax]
00127a24mov rdx, [rbx+24]
00127a28mov rax, [rbx+16]
00127a2cmov rbx, rdx
00127a2fjmp 0x17f6f0
00127a10
00127a10camlLatexscan.fun_3917:
00127a10mov rsi, rax
00127a13lea rax, [rip+0x1eef86]
00127a1amov rax, [rax+728]
00127a21mov rdi, [rax]
00127a24mov rdx, [rbx+24]
00127a28mov rax, [rbx+16]
00127a2cmov rbx, rdx
00127a2fjmp 0x17f6f0
00127a10
00127a34
00127a34 // align 0x10
00127a34 // align 0x10
00127a40
00127a40camlLatexscan.fun_3947:
00127a40mov rax, [rbx+24]
00127a44mov rbx, [rbx+16]
00127a48jmp 0x1173e0
00127a40
00127a40camlLatexscan.fun_3947:
00127a40mov rax, [rbx+24]
00127a44mov rbx, [rbx+16]
00127a48jmp 0x1173e0
00127a40
00127a4d
00127a4d // align 0x10
00127a4d // align 0x10
00127a50
00127a50camlLatexscan.fun_3957:
00127a50mov rax, [rbx+24]
00127a54mov rbx, [rbx+16]
00127a58jmp 0x1173e0
00127a50
00127a50camlLatexscan.fun_3957:
00127a50mov rax, [rbx+24]
00127a54mov rbx, [rbx+16]
00127a58jmp 0x1173e0
00127a50
00127a5d
00127a5d // align 0x10
00127a5d // align 0x10
00127a60
00127a60camlLatexscan.fun_4006:
00127a60mov rdi, rax
00127a63mov rax, [rbx+16]
00127a67mov rbx, rdi
00127a6ajmp 0x17f460
00127a60
00127a60camlLatexscan.fun_4006:
00127a60mov rdi, rax
00127a63mov rax, [rbx+16]
00127a67mov rbx, rdi
00127a6ajmp 0x17f460
00127a60
00127a6f
00127a6f // align 0x10
00127a6f // align 0x10
00127a70
00127a70camlLatexscan.fun_4093:
00127a70mov rsi, rax
00127a73mov rdi, [rbx+24]
00127a77mov rdx, [rbx+16]
00127a7bsub r15, 40
00127a7fcmp r15, [r14]
00127a82jb 0x127aca
00127a84
00127a84loc_127a84:
00127a84lea rax, [r15+8]
00127a88mov [rax-8], 4343
00127a90lea rcx, [rip+73]
00127a97mov [rax], rcx
00127a9amov rcx, 0x100000000000005
00127aa4mov [rax+8], rcx
00127aa8mov [rax+16], rdi
00127aacmov [rax+24], rdx
00127ab0lea rdi, [rip+0x1eeee9]
00127ab7mov rdi, [rdi+728]
00127abemov rdi, [rdi]
00127ac1mov rbx, [rbx+32]
00127ac5jmp 0x17f6f0
00127aca
00127acaloc_127aca:
00127acacall caml_call_gc
00127acfjmp 0x127a84
00127a70
00127a70camlLatexscan.fun_4093:
00127a70mov rsi, rax
00127a73mov rdi, [rbx+24]
00127a77mov rdx, [rbx+16]
00127a7bsub r15, 40
00127a7fcmp r15, [r14]
00127a82jb 0x127aca
00127a84
00127a84loc_127a84:
00127a84lea rax, [r15+8]
00127a88mov [rax-8], 4343
00127a90lea rcx, [rip+73]
00127a97mov [rax], rcx
00127a9amov rcx, 0x100000000000005
00127aa4mov [rax+8], rcx
00127aa8mov [rax+16], rdi
00127aacmov [rax+24], rdx
00127ab0lea rdi, [rip+0x1eeee9]
00127ab7mov rdi, [rdi+728]
00127abemov rdi, [rdi]
00127ac1mov rbx, [rbx+32]
00127ac5jmp 0x17f6f0
00127aca
00127acaloc_127aca:
00127acacall caml_call_gc
00127acfjmp 0x127a84
00127a70
00127ad1
00127ad1 // align 0x10
00127ad1 // align 0x10
00127ae0
00127ae0camlLatexscan.fun_4109:
00127ae0mov rdx, rax
00127ae3mov rax, [rbx+16]
00127ae7mov rsi, [rbx+24]
00127aebadd rsi, 32
00127aefmov edi, 565
00127af4mov rbx, rdx
00127af7jmp 0x119470
00127ae0
00127ae0camlLatexscan.fun_4109:
00127ae0mov rdx, rax
00127ae3mov rax, [rbx+16]
00127ae7mov rsi, [rbx+24]
00127aebadd rsi, 32
00127aefmov edi, 565
00127af4mov rbx, rdx
00127af7jmp 0x119470
00127ae0
00127afc
00127afc // align 0x10
00127afc // align 0x10
00127b00
00127b00camlLatexscan.check_alltt_skip_1797:
00127b00lea r10, [rsp-336]
00127b08cmp r10, [r14+40]
00127b0cjb 0x127b86
00127b0e
00127b0eloc_127b0e:
00127b0esub rsp, 16
00127b12lea rdi, [rip+0x1eee87]
00127b19mov rdi, [rdi+168]
00127b20mov rdi, [rdi]
00127b23cmp rdi, 3
00127b27je 0x127b7c
00127b29mov [rsp], rbx
00127b2dmov [rsp+8], rax
00127b32mov rdi, [rbx+40]
00127b36add rdi, 24
00127b3amov ebx, 343
00127b3fcall Latexscan..ocaml_lex_skip_blanks_rec
00127b44cmp rax, 1
00127b48je 0x127b70
00127b4amov rdi, [rsp]
00127b4emov rbx, [rdi+32]
00127b52mov rax, [rdi+24]
00127b56mov rdx, [rdi+16]
00127b5alea rdi, [rip+0x175caf]
00127b61mov rsi, [rsp+8]
00127b66add rsp, 16
00127b6ajmp 0x1268e0
00127b6f
00127b6f 90 .
00127b70
00127b70loc_127b70:
00127b70mov eax, 1
00127b75add rsp, 16
00127b79ret
00127b7a
00127b7a 66 90 f.
00127b7c
00127b7cloc_127b7c:
00127b7cmov eax, 1
00127b81add rsp, 16
00127b85ret
00127b86
00127b86loc_127b86:
00127b86push 35
00127b88call caml_call_realloc_stack
00127b8dpop r10
00127b8fjmp 0x127b0e
00127b00
00127b00camlLatexscan.check_alltt_skip_1797:
00127b00lea r10, [rsp-336]
00127b08cmp r10, [r14+40]
00127b0cjb 0x127b86
00127b0e
00127b0eloc_127b0e:
00127b0esub rsp, 16
00127b12lea rdi, [rip+0x1eee87]
00127b19mov rdi, [rdi+168]
00127b20mov rdi, [rdi]
00127b23cmp rdi, 3
00127b27je 0x127b7c
00127b29mov [rsp], rbx
00127b2dmov [rsp+8], rax
00127b32mov rdi, [rbx+40]
00127b36add rdi, 24
00127b3amov ebx, 343
00127b3fcall Latexscan..ocaml_lex_skip_blanks_rec
00127b44cmp rax, 1
00127b48je 0x127b70
00127b4amov rdi, [rsp]
00127b4emov rbx, [rdi+32]
00127b52mov rax, [rdi+24]
00127b56mov rdx, [rdi+16]
00127b5alea rdi, [rip+0x175caf]
00127b61mov rsi, [rsp+8]
00127b66add rsp, 16
00127b6ajmp 0x1268e0
00127b6f
00127b6f 90 .
00127b70
00127b70loc_127b70:
00127b70mov eax, 1
00127b75add rsp, 16
00127b79ret
00127b7a
00127b7a 66 90 f.
00127b7c
00127b7cloc_127b7c:
00127b7cmov eax, 1
00127b81add rsp, 16
00127b85ret
00127b86
00127b86loc_127b86:
00127b86push 35
00127b88call caml_call_realloc_stack
00127b8dpop r10
00127b8fjmp 0x127b0e
00127b00
00127b94
00127b94 // align 0x10
00127b94 // align 0x10
00127ba0
00127ba0camlLatexscan.skip_pop_1798:
00127ba0lea r10, [rsp-336]
00127ba8cmp r10, [r14+40]
00127bacjb 0x127bee
00127bae
00127baeloc_127bae:
00127baesub rsp, 16
00127bb2mov [rsp+8], rax
00127bb7mov [rsp], rbx
00127bbbmov eax, 1
00127bc0call camlLexstate.save_lexstate_881
00127bc5mov rax, [rsp]
00127bc9mov rdi, [rax+16]
00127bcdadd rdi, 24
00127bd1mov ebx, 327
00127bd6mov rax, [rsp+8]
00127bdbcall Latexscan..ocaml_lex_skip_blanks_pop_rec
00127be0mov eax, 1
00127be5add rsp, 16
00127be9jmp 0x17d370
00127bee
00127beeloc_127bee:
00127beepush 35
00127bf0call caml_call_realloc_stack
00127bf5pop r10
00127bf7jmp 0x127bae
00127ba0
00127ba0camlLatexscan.skip_pop_1798:
00127ba0lea r10, [rsp-336]
00127ba8cmp r10, [r14+40]
00127bacjb 0x127bee
00127bae
00127baeloc_127bae:
00127baesub rsp, 16
00127bb2mov [rsp+8], rax
00127bb7mov [rsp], rbx
00127bbbmov eax, 1
00127bc0call camlLexstate.save_lexstate_881
00127bc5mov rax, [rsp]
00127bc9mov rdi, [rax+16]
00127bcdadd rdi, 24
00127bd1mov ebx, 327
00127bd6mov rax, [rsp+8]
00127bdbcall Latexscan..ocaml_lex_skip_blanks_pop_rec
00127be0mov eax, 1
00127be5add rsp, 16
00127be9jmp 0x17d370
00127bee
00127beeloc_127bee:
00127beepush 35
00127bf0call caml_call_realloc_stack
00127bf5pop r10
00127bf7jmp 0x127bae
00127ba0
00127bf9
00127bf9 // align 0x10
00127bf9 // align 0x10
00127c05
00127c05 // align 0x10
00127c05 // align 0x10
00127c10
00127c10camlLatexscan.def_name_code_1807:
00127c10lea r10, [rsp-328]
00127c18cmp r10, [r14+40]
00127c1cjb 0x127c3b
00127c1e
00127c1eloc_127c1e:
00127c1esub rsp, 8
00127c22mov [rsp], rax
00127c26mov rdi, [rbx]
00127c29call rdi
00127c2bmov rbx, rax
00127c2emov rax, [rsp]
00127c32add rsp, 8
00127c36jmp 0x17b120
00127c3b
00127c3bloc_127c3b:
00127c3bpush 34
00127c3dcall caml_call_realloc_stack
00127c42pop r10
00127c44jmp 0x127c1e
00127c10
00127c10camlLatexscan.def_name_code_1807:
00127c10lea r10, [rsp-328]
00127c18cmp r10, [r14+40]
00127c1cjb 0x127c3b
00127c1e
00127c1eloc_127c1e:
00127c1esub rsp, 8
00127c22mov [rsp], rax
00127c26mov rdi, [rbx]
00127c29call rdi
00127c2bmov rbx, rax
00127c2emov rax, [rsp]
00127c32add rsp, 8
00127c36jmp 0x17b120
00127c3b
00127c3bloc_127c3b:
00127c3bpush 34
00127c3dcall caml_call_realloc_stack
00127c42pop r10
00127c44jmp 0x127c1e
00127c10
00127c46
00127c46 // align 0x10
00127c46 // align 0x10
00127c50
00127c50camlLatexscan.expand_command_1811:
00127c50mov rcx, rax
00127c53mov rsi, rbx
00127c56mov rbx, [rdi+40]
00127c5amov rax, [rdi+32]
00127c5emov rdx, [rdi+24]
00127c62mov rdi, rcx
00127c65jmp 0x1268e0
00127c50
00127c50camlLatexscan.expand_command_1811:
00127c50mov rcx, rax
00127c53mov rsi, rbx
00127c56mov rbx, [rdi+40]
00127c5amov rax, [rdi+32]
00127c5emov rdx, [rdi+24]
00127c62mov rdi, rcx
00127c65jmp 0x1268e0
00127c50
00127c6a
00127c6a // align 0x10
00127c6a // align 0x10
00127c70
00127c70camlLatexscan.expand_command_no_skip_1812:
00127c70mov rcx, rax
00127c73mov rsi, rbx
00127c76mov rbx, [rdi+40]
00127c7amov rax, [rdi+32]
00127c7emov rdx, [rdi+24]
00127c82mov rdi, rcx
00127c85jmp 0x1268e0
00127c70
00127c70camlLatexscan.expand_command_no_skip_1812:
00127c70mov rcx, rax
00127c73mov rsi, rbx
00127c76mov rbx, [rdi+40]
00127c7amov rax, [rdi+32]
00127c7emov rdx, [rdi+24]
00127c82mov rdi, rcx
00127c85jmp 0x1268e0
00127c70
00127c8a
00127c8a // align 0x10
00127c8a // align 0x10
00127c90
00127c90camlLatexscan.fun_4152:
00127c90lea r10, [rsp-336]
00127c98cmp r10, [r14+40]
00127c9cjb 0x127cd3
00127c9e
00127c9eloc_127c9e:
00127c9esub rsp, 16
00127ca2mov [rsp+8], rax
00127ca7mov [rsp], rbx
00127cabmov rax, [rbx+24]
00127cafmov rdi, [rbx+16]
00127cb3mov ebx, 3
00127cb8call camlLatexscan.top_open_maths_1618
00127cbdmov rax, [rsp]
00127cc1mov rbx, [rax+32]
00127cc5mov rax, [rsp+8]
00127ccaadd rsp, 16
00127ccejmp 0x127ba0
00127cd3
00127cd3loc_127cd3:
00127cd3push 35
00127cd5call caml_call_realloc_stack
00127cdapop r10
00127cdcjmp 0x127c9e
00127c90
00127c90camlLatexscan.fun_4152:
00127c90lea r10, [rsp-336]
00127c98cmp r10, [r14+40]
00127c9cjb 0x127cd3
00127c9e
00127c9eloc_127c9e:
00127c9esub rsp, 16
00127ca2mov [rsp+8], rax
00127ca7mov [rsp], rbx
00127cabmov rax, [rbx+24]
00127cafmov rdi, [rbx+16]
00127cb3mov ebx, 3
00127cb8call camlLatexscan.top_open_maths_1618
00127cbdmov rax, [rsp]
00127cc1mov rbx, [rax+32]
00127cc5mov rax, [rsp+8]
00127ccaadd rsp, 16
00127ccejmp 0x127ba0
00127cd3
00127cd3loc_127cd3:
00127cd3push 35
00127cd5call caml_call_realloc_stack
00127cdapop r10
00127cdcjmp 0x127c9e
00127c90
00127cde
00127cde // align 0x10
00127cde // align 0x10
00127ce0
00127ce0camlLatexscan.fun_4162:
00127ce0mov rbx, [rbx+16]
00127ce4mov eax, 3
00127ce9jmp 0x1277d0
00127ce0
00127ce0camlLatexscan.fun_4162:
00127ce0mov rbx, [rbx+16]
00127ce4mov eax, 3
00127ce9jmp 0x1277d0
00127ce0
00127cee
00127cee // align 0x10
00127cee // align 0x10
00127cf9
00127cf9 // align 0x10
00127cf9 // align 0x10
00127d00
00127d00camlLatexscan.fun_4174:
00127d00lea r10, [rsp-336]
00127d08cmp r10, [r14+40]
00127d0cjb 0x127e03
00127d12
00127d12loc_127d12:
00127d12sub rsp, 16
00127d16mov [rsp+8], rax
00127d1bmov [rsp], rbx
00127d1flea rax, [rip+0x1eec7a]
00127d26mov rax, [rax+168]
00127d2dmov rax, [rax]
00127d30cmp rax, 3
00127d34je 0x127db4
00127d36mov eax, 75
00127d3bcall camlLexstate.is_plain_833
00127d40cmp rax, 1
00127d44je 0x127db4
00127d46mov rax, [rsp]
00127d4amov rdi, [rax+48]
00127d4eadd rdi, 24
00127d52mov ebx, 407
00127d57mov rax, [rsp+8]
00127d5ccall Latexscan..ocaml_lex_comment_rec
00127d61mov rax, [rsp]
00127d65mov rdi, [rax+40]
00127d69add rdi, 24
00127d6dmov ebx, 343
00127d72mov rax, [rsp+8]
00127d77call Latexscan..ocaml_lex_skip_blanks_rec
00127d7ccmp rax, 1
00127d80je 0x127da8
00127d82mov rdi, [rsp]
00127d86mov rbx, [rdi+32]
00127d8amov rax, [rdi+24]
00127d8emov rdx, [rdi+16]
00127d92lea rdi, [rip+0x175a77]
00127d99mov rsi, [rsp+8]
00127d9eadd rsp, 16
00127da2jmp 0x1268e0
00127da7
00127da7 90 .
00127da8
00127da8loc_127da8:
00127da8mov eax, 1
00127dadadd rsp, 16
00127db1ret
00127db2
00127db2 66 90 f.
00127db4
00127db4loc_127db4:
00127db4mov rax, [rsp+8]
00127db9mov rbx, [rax+32]
00127dbdmov rdi, [rax+40]
00127dc1sub rdi, rbx
00127dc4inc rdi
00127dc7mov rax, [rax+8]
00127dcbcall Stdlib.Bytes.sub
00127dd0mov rbx, [rsp]
00127dd4mov rbx, [rbx+56]
00127dd8mov rbx, [rbx+352]
00127ddfmov rdi, [rbx]
00127de2call rdi
00127de4mov rax, [rsp]
00127de8mov rdi, [rax+24]
00127decadd rdi, 24
00127df0mov ebx, 1
00127df5mov rax, [rsp+8]
00127dfaadd rsp, 16
00127dfejmp 0x1166c0
00127e03
00127e03loc_127e03:
00127e03push 35
00127e05call caml_call_realloc_stack
00127e0apop r10
00127e0cjmp 0x127d12
00127d00
00127d00camlLatexscan.fun_4174:
00127d00lea r10, [rsp-336]
00127d08cmp r10, [r14+40]
00127d0cjb 0x127e03
00127d12
00127d12loc_127d12:
00127d12sub rsp, 16
00127d16mov [rsp+8], rax
00127d1bmov [rsp], rbx
00127d1flea rax, [rip+0x1eec7a]
00127d26mov rax, [rax+168]
00127d2dmov rax, [rax]
00127d30cmp rax, 3
00127d34je 0x127db4
00127d36mov eax, 75
00127d3bcall camlLexstate.is_plain_833
00127d40cmp rax, 1
00127d44je 0x127db4
00127d46mov rax, [rsp]
00127d4amov rdi, [rax+48]
00127d4eadd rdi, 24
00127d52mov ebx, 407
00127d57mov rax, [rsp+8]
00127d5ccall Latexscan..ocaml_lex_comment_rec
00127d61mov rax, [rsp]
00127d65mov rdi, [rax+40]
00127d69add rdi, 24
00127d6dmov ebx, 343
00127d72mov rax, [rsp+8]
00127d77call Latexscan..ocaml_lex_skip_blanks_rec
00127d7ccmp rax, 1
00127d80je 0x127da8
00127d82mov rdi, [rsp]
00127d86mov rbx, [rdi+32]
00127d8amov rax, [rdi+24]
00127d8emov rdx, [rdi+16]
00127d92lea rdi, [rip+0x175a77]
00127d99mov rsi, [rsp+8]
00127d9eadd rsp, 16
00127da2jmp 0x1268e0
00127da7
00127da7 90 .
00127da8
00127da8loc_127da8:
00127da8mov eax, 1
00127dadadd rsp, 16
00127db1ret
00127db2
00127db2 66 90 f.
00127db4
00127db4loc_127db4:
00127db4mov rax, [rsp+8]
00127db9mov rbx, [rax+32]
00127dbdmov rdi, [rax+40]
00127dc1sub rdi, rbx
00127dc4inc rdi
00127dc7mov rax, [rax+8]
00127dcbcall Stdlib.Bytes.sub
00127dd0mov rbx, [rsp]
00127dd4mov rbx, [rbx+56]
00127dd8mov rbx, [rbx+352]
00127ddfmov rdi, [rbx]
00127de2call rdi
00127de4mov rax, [rsp]
00127de8mov rdi, [rax+24]
00127decadd rdi, 24
00127df0mov ebx, 1
00127df5mov rax, [rsp+8]
00127dfaadd rsp, 16
00127dfejmp 0x1166c0
00127e03
00127e03loc_127e03:
00127e03push 35
00127e05call caml_call_realloc_stack
00127e0apop r10
00127e0cjmp 0x127d12
00127d00
00127e11
00127e11 // align 0x10
00127e11 // align 0x10
00127e20
00127e20camlLatexscan.fun_4198:
00127e20lea r10, [rsp-344]
00127e28cmp r10, [r14+40]
00127e2cjb 0x127f87
00127e32
00127e32loc_127e32:
00127e32sub rsp, 24
00127e36mov [rsp+16], rax
00127e3bmov [rsp+8], rbx
00127e40cmp r15, [r14]
00127e43jbe 0x127f7d
00127e49
00127e49loc_127e49:
00127e49mov rdi, [rbx+24]
00127e4dadd rdi, 24
00127e51mov ebx, 83
00127e56call Latexscan..ocaml_lex_complete_newline_rec
00127e5bmov [rsp], rax
00127e5fcall camlLatexscan.count_newlines_1496
00127e64lea rbx, [rip+0x1eeb35]
00127e6bmov rdi, [rbx+264]
00127e72mov rdi, [rdi]
00127e75cmp rdi, 1
00127e79je 0x127edc
00127e7bmov [rsp], rax
00127e7flea rax, [rip+0x2021ea]
00127e86mov rax, [rax+80]
00127e8amov rax, [rax]
00127e8dcmp rax, 5
00127e91jle 0x127e9f
00127e93lea rax, [rip+0x1722c6]
00127e9acall camlStdlib.prerr_endline_390
00127e9f
00127e9floc_127e9f:
00127e9fsub r15, 24
00127ea3cmp r15, [r14]
00127ea6jb 0x127f73
00127eac
00127eacloc_127eac:
00127eaclea rax, [r15+8]
00127eb0mov [rax-8], 2048
00127eb8lea rbx, [rip+0x2021b1]
00127ebfmov rbx, [rbx+64]
00127ec3mov [rax], rbx
00127ec6mov rbx, [rsp]
00127ecamov [rax+8], rbx
00127ecemov rsp, [r14+48]
00127ed2pop [r14+48]
00127ed6pop r11
00127ed8jmp r11
00127edbnop
00127edc
00127edcloc_127edc:
00127edcmov rbx, [rbx+168]
00127ee3mov rbx, [rbx]
00127ee6cmp rbx, 3
00127eeaje 0x127f3c
00127eeccmp rax, 3
00127ef0jl 0x127f1c
00127ef2mov rax, [rsp+8]
00127ef7mov rdi, [rax+32]
00127efbmov rbx, [rdi+40]
00127effmov rax, [rdi+32]
00127f03mov rdx, [rdi+24]
00127f07lea rdi, [rip+0x175902]
00127f0emov rsi, [rsp+16]
00127f13add rsp, 24
00127f17jmp 0x1268e0
00127f1c
00127f1cloc_127f1c:
00127f1cmov rax, [rsp+8]
00127f21mov rax, [rax+40]
00127f25mov rbx, [rax+456]
00127f2cmov eax, 1
00127f31mov rdi, [rbx]
00127f34add rsp, 24
00127f38jmp rdi
00127f3anop
00127f3c
00127f3cloc_127f3c:
00127f3cmov rax, [rsp+8]
00127f41mov rax, [rax+40]
00127f45mov rbx, [rax+360]
00127f4cmov eax, 21
00127f51mov rdi, [rbx]
00127f54call rdi
00127f56mov rax, [rsp+8]
00127f5bmov rax, [rax+40]
00127f5fmov rbx, [rax+352]
00127f66mov rdi, [rbx]
00127f69mov rax, [rsp]
00127f6dadd rsp, 24
00127f71jmp rdi
00127f73
00127f73loc_127f73:
00127f73call caml_call_gc
00127f78jmp 0x127eac
00127f7d
00127f7dloc_127f7d:
00127f7dcall caml_call_gc
00127f82jmp 0x127e49
00127f87
00127f87loc_127f87:
00127f87push 36
00127f89call caml_call_realloc_stack
00127f8epop r10
00127f90jmp 0x127e32
00127e20
00127e20camlLatexscan.fun_4198:
00127e20lea r10, [rsp-344]
00127e28cmp r10, [r14+40]
00127e2cjb 0x127f87
00127e32
00127e32loc_127e32:
00127e32sub rsp, 24
00127e36mov [rsp+16], rax
00127e3bmov [rsp+8], rbx
00127e40cmp r15, [r14]
00127e43jbe 0x127f7d
00127e49
00127e49loc_127e49:
00127e49mov rdi, [rbx+24]
00127e4dadd rdi, 24
00127e51mov ebx, 83
00127e56call Latexscan..ocaml_lex_complete_newline_rec
00127e5bmov [rsp], rax
00127e5fcall camlLatexscan.count_newlines_1496
00127e64lea rbx, [rip+0x1eeb35]
00127e6bmov rdi, [rbx+264]
00127e72mov rdi, [rdi]
00127e75cmp rdi, 1
00127e79je 0x127edc
00127e7bmov [rsp], rax
00127e7flea rax, [rip+0x2021ea]
00127e86mov rax, [rax+80]
00127e8amov rax, [rax]
00127e8dcmp rax, 5
00127e91jle 0x127e9f
00127e93lea rax, [rip+0x1722c6]
00127e9acall camlStdlib.prerr_endline_390
00127e9f
00127e9floc_127e9f:
00127e9fsub r15, 24
00127ea3cmp r15, [r14]
00127ea6jb 0x127f73
00127eac
00127eacloc_127eac:
00127eaclea rax, [r15+8]
00127eb0mov [rax-8], 2048
00127eb8lea rbx, [rip+0x2021b1]
00127ebfmov rbx, [rbx+64]
00127ec3mov [rax], rbx
00127ec6mov rbx, [rsp]
00127ecamov [rax+8], rbx
00127ecemov rsp, [r14+48]
00127ed2pop [r14+48]
00127ed6pop r11
00127ed8jmp r11
00127edbnop
00127edc
00127edcloc_127edc:
00127edcmov rbx, [rbx+168]
00127ee3mov rbx, [rbx]
00127ee6cmp rbx, 3
00127eeaje 0x127f3c
00127eeccmp rax, 3
00127ef0jl 0x127f1c
00127ef2mov rax, [rsp+8]
00127ef7mov rdi, [rax+32]
00127efbmov rbx, [rdi+40]
00127effmov rax, [rdi+32]
00127f03mov rdx, [rdi+24]
00127f07lea rdi, [rip+0x175902]
00127f0emov rsi, [rsp+16]
00127f13add rsp, 24
00127f17jmp 0x1268e0
00127f1c
00127f1cloc_127f1c:
00127f1cmov rax, [rsp+8]
00127f21mov rax, [rax+40]
00127f25mov rbx, [rax+456]
00127f2cmov eax, 1
00127f31mov rdi, [rbx]
00127f34add rsp, 24
00127f38jmp rdi
00127f3anop
00127f3c
00127f3cloc_127f3c:
00127f3cmov rax, [rsp+8]
00127f41mov rax, [rax+40]
00127f45mov rbx, [rax+360]
00127f4cmov eax, 21
00127f51mov rdi, [rbx]
00127f54call rdi
00127f56mov rax, [rsp+8]
00127f5bmov rax, [rax+40]
00127f5fmov rbx, [rax+352]
00127f66mov rdi, [rbx]
00127f69mov rax, [rsp]
00127f6dadd rsp, 24
00127f71jmp rdi
00127f73
00127f73loc_127f73:
00127f73call caml_call_gc
00127f78jmp 0x127eac
00127f7d
00127f7dloc_127f7d:
00127f7dcall caml_call_gc
00127f82jmp 0x127e49
00127f87
00127f87loc_127f87:
00127f87push 36
00127f89call caml_call_realloc_stack
00127f8epop r10
00127f90jmp 0x127e32
00127e20
00127f95
00127f95 // align 0x10
00127f95 // align 0x10
00127fa0
00127fa0camlLatexscan.sub_sup_1828:
00127fa0lea r10, [rsp-344]
00127fa8cmp r10, [r14+40]
00127facjb 0x1281cf
00127fb2
00127fb2loc_127fb2:
00127fb2sub rsp, 24
00127fb6mov [rsp+8], rax
00127fbbmov [rsp], rdi
00127fbfcmp r15, [r14]
00127fc2jbe 0x1281c5
00127fc8
00127fc8loc_127fc8:
00127fc8lea rdi, [rip+0x1ee9d1]
00127fcfmov rdi, [rdi+168]
00127fd6mov rdi, [rdi]
00127fd9cmp rdi, 3
00127fddje 0x128194
00127fe3mov [rsp+16], rbx
00127fe8call camlLexstate.is_plain_833
00127fedcmp rax, 1
00127ff1je 0x128194
00127ff7lea rax, [rip+0x1ee9a2]
00127ffemov rax, [rax+144]
00128005mov rax, [rax]
00128008cmp rax, 1
0012800cje 0x12813c
00128012mov rax, [rsp+8]
00128017cmp rax, 189
0012801dje 0x128098
0012801fcmp rax, 191
00128025je 0x128064
00128027sub r15, 24
0012802bcmp r15, [r14]
0012802ejb 0x1281bb
00128034
00128034loc_128034:
00128034lea rax, [r15+8]
00128038mov [rax-8], 2048
00128040lea rbx, [rip+0x14e1c1]
00128047mov [rax], rbx
0012804alea rbx, [rip+0x1720c7]
00128051mov [rax+8], rbx
00128055mov rsp, [r14+48]
00128059pop [r14+48]
0012805dpop r11
0012805fjmp r11
00128062nop
00128064
00128064loc_128064:
00128064mov rax, [rsp+16]
00128069call camlLexstate.save_arg_1030
0012806emov [rsp+8], rax
00128073mov rax, [rsp+16]
00128078call camlLexstate.save_sup_1078
0012807dtest al, 1
0012807fje 0x12808c
00128081lea rdi, [rip+0x1eef28]
00128088jmp 0x12808f
0012808anop
0012808c
0012808cloc_12808c:
0012808cmov rdi, [rax]
0012808f
0012808floc_12808f:
0012808fmov rsi, [rsp+8]
00128094jmp 0x1280c8
00128096nop
00128098
00128098loc_128098:
00128098mov rax, [rsp+16]
0012809dcall camlLexstate.save_arg_1030
001280a2mov [rsp+8], rax
001280a7mov rax, [rsp+16]
001280accall camlLexstate.save_sub_1079
001280b1test al, 1
001280b3je 0x1280c0
001280b5lea rsi, [rip+0x1eeef4]
001280bcjmp 0x1280c3
001280benop
001280c0
001280c0loc_1280c0:
001280c0mov rsi, [rax]
001280c3
001280c3loc_1280c3:
001280c3mov rdi, [rsp+8]
001280c8
001280c8loc_1280c8:
001280c8mov r9, [rsp]
001280ccmov rbx, [r9+24]
001280d0lea rdx, [rip+0x1ee8c9]
001280d7mov rcx, [rdx+648]
001280desub r15, 40
001280e2cmp r15, [r14]
001280e5jb 0x1281b1
001280eb
001280ebloc_1280eb:
001280eblea rax, [r15+8]
001280efmov [rax-8], 4343
001280f7lea r8, [rip+226]
001280femov [rax], r8
00128101mov r8, 0x100000000000005
0012810bmov [rax+8], r8
0012810fmov [rax+16], rbx
00128113mov [rax+24], rcx
00128117mov rbx, [r9+40]
0012811bmov rcx, [rbx+232]
00128122mov rbx, [rdx+136]
00128129mov rdx, [rbx]
0012812clea rbx, [rip+0x16f3bd]
00128133add rsp, 24
00128137jmp 0xf7260
0012813c
0012813cloc_12813c:
0012813cmov rax, [rsp]
00128140mov rax, [rax+32]
00128144mov rax, [rax]
00128147cmp rax, 1
0012814bje 0x128177
0012814dmov rax, [rsp+8]
00128152call Stdlib.Char.escaped
00128157lea rbx, [rip+0x171fda]
0012815ecall camlStdlib.$5e_139
00128163mov rbx, rax
00128166lea rax, [rip+0x1719bb]
0012816dcall camlStdlib.$5e_139
00128172call camlMisc.warning_287
00128177
00128177loc_128177:
00128177mov rax, [rsp]
0012817bmov rax, [rax+40]
0012817fmov rbx, [rax+360]
00128186mov rdi, [rbx]
00128189mov rax, [rsp+8]
0012818eadd rsp, 24
00128192jmp rdi
00128194
00128194loc_128194:
00128194mov rax, [rsp]
00128198mov rax, [rax+40]
0012819cmov rbx, [rax+360]
001281a3mov rdi, [rbx]
001281a6mov rax, [rsp+8]
001281abadd rsp, 24
001281afjmp rdi
001281b1
001281b1loc_1281b1:
001281b1call caml_call_gc
001281b6jmp 0x1280eb
001281bb
001281bbloc_1281bb:
001281bbcall caml_call_gc
001281c0jmp 0x128034
001281c5
001281c5loc_1281c5:
001281c5call caml_call_gc
001281cajmp 0x127fc8
001281cf
001281cfloc_1281cf:
001281cfpush 36
001281d1call caml_call_realloc_stack
001281d6pop r10
001281d8jmp 0x127fb2
00127fa0
00127fa0camlLatexscan.sub_sup_1828:
00127fa0lea r10, [rsp-344]
00127fa8cmp r10, [r14+40]
00127facjb 0x1281cf
00127fb2
00127fb2loc_127fb2:
00127fb2sub rsp, 24
00127fb6mov [rsp+8], rax
00127fbbmov [rsp], rdi
00127fbfcmp r15, [r14]
00127fc2jbe 0x1281c5
00127fc8
00127fc8loc_127fc8:
00127fc8lea rdi, [rip+0x1ee9d1]
00127fcfmov rdi, [rdi+168]
00127fd6mov rdi, [rdi]
00127fd9cmp rdi, 3
00127fddje 0x128194
00127fe3mov [rsp+16], rbx
00127fe8call camlLexstate.is_plain_833
00127fedcmp rax, 1
00127ff1je 0x128194
00127ff7lea rax, [rip+0x1ee9a2]
00127ffemov rax, [rax+144]
00128005mov rax, [rax]
00128008cmp rax, 1
0012800cje 0x12813c
00128012mov rax, [rsp+8]
00128017cmp rax, 189
0012801dje 0x128098
0012801fcmp rax, 191
00128025je 0x128064
00128027sub r15, 24
0012802bcmp r15, [r14]
0012802ejb 0x1281bb
00128034
00128034loc_128034:
00128034lea rax, [r15+8]
00128038mov [rax-8], 2048
00128040lea rbx, [rip+0x14e1c1]
00128047mov [rax], rbx
0012804alea rbx, [rip+0x1720c7]
00128051mov [rax+8], rbx
00128055mov rsp, [r14+48]
00128059pop [r14+48]
0012805dpop r11
0012805fjmp r11
00128062nop
00128064
00128064loc_128064:
00128064mov rax, [rsp+16]
00128069call camlLexstate.save_arg_1030
0012806emov [rsp+8], rax
00128073mov rax, [rsp+16]
00128078call camlLexstate.save_sup_1078
0012807dtest al, 1
0012807fje 0x12808c
00128081lea rdi, [rip+0x1eef28]
00128088jmp 0x12808f
0012808anop
0012808c
0012808cloc_12808c:
0012808cmov rdi, [rax]
0012808f
0012808floc_12808f:
0012808fmov rsi, [rsp+8]
00128094jmp 0x1280c8
00128096nop
00128098
00128098loc_128098:
00128098mov rax, [rsp+16]
0012809dcall camlLexstate.save_arg_1030
001280a2mov [rsp+8], rax
001280a7mov rax, [rsp+16]
001280accall camlLexstate.save_sub_1079
001280b1test al, 1
001280b3je 0x1280c0
001280b5lea rsi, [rip+0x1eeef4]
001280bcjmp 0x1280c3
001280benop
001280c0
001280c0loc_1280c0:
001280c0mov rsi, [rax]
001280c3
001280c3loc_1280c3:
001280c3mov rdi, [rsp+8]
001280c8
001280c8loc_1280c8:
001280c8mov r9, [rsp]
001280ccmov rbx, [r9+24]
001280d0lea rdx, [rip+0x1ee8c9]
001280d7mov rcx, [rdx+648]
001280desub r15, 40
001280e2cmp r15, [r14]
001280e5jb 0x1281b1
001280eb
001280ebloc_1280eb:
001280eblea rax, [r15+8]
001280efmov [rax-8], 4343
001280f7lea r8, [rip+226]
001280femov [rax], r8
00128101mov r8, 0x100000000000005
0012810bmov [rax+8], r8
0012810fmov [rax+16], rbx
00128113mov [rax+24], rcx
00128117mov rbx, [r9+40]
0012811bmov rcx, [rbx+232]
00128122mov rbx, [rdx+136]
00128129mov rdx, [rbx]
0012812clea rbx, [rip+0x16f3bd]
00128133add rsp, 24
00128137jmp 0xf7260
0012813c
0012813cloc_12813c:
0012813cmov rax, [rsp]
00128140mov rax, [rax+32]
00128144mov rax, [rax]
00128147cmp rax, 1
0012814bje 0x128177
0012814dmov rax, [rsp+8]
00128152call Stdlib.Char.escaped
00128157lea rbx, [rip+0x171fda]
0012815ecall camlStdlib.$5e_139
00128163mov rbx, rax
00128166lea rax, [rip+0x1719bb]
0012816dcall camlStdlib.$5e_139
00128172call camlMisc.warning_287
00128177
00128177loc_128177:
00128177mov rax, [rsp]
0012817bmov rax, [rax+40]
0012817fmov rbx, [rax+360]
00128186mov rdi, [rbx]
00128189mov rax, [rsp+8]
0012818eadd rsp, 24
00128192jmp rdi
00128194
00128194loc_128194:
00128194mov rax, [rsp]
00128198mov rax, [rax+40]
0012819cmov rbx, [rax+360]
001281a3mov rdi, [rbx]
001281a6mov rax, [rsp+8]
001281abadd rsp, 24
001281afjmp rdi
001281b1
001281b1loc_1281b1:
001281b1call caml_call_gc
001281b6jmp 0x1280eb
001281bb
001281bbloc_1281bb:
001281bbcall caml_call_gc
001281c0jmp 0x128034
001281c5
001281c5loc_1281c5:
001281c5call caml_call_gc
001281cajmp 0x127fc8
001281cf
001281cfloc_1281cf:
001281cfpush 36
001281d1call caml_call_realloc_stack
001281d6pop r10
001281d8jmp 0x127fb2
00127fa0
001281dd
001281dd // align 0x10
001281dd // align 0x10
001281e0
001281e0camlLatexscan.fun_4229:
001281e0mov rdi, rax
001281e3mov rax, [rbx+16]
001281e7mov rbx, rdi
001281eajmp 0x17f340
001281e0
001281e0camlLatexscan.fun_4229:
001281e0mov rdi, rax
001281e3mov rax, [rbx+16]
001281e7mov rbx, rdi
001281eajmp 0x17f340
001281e0
001281ef
001281ef // align 0x10
001281ef // align 0x10
001281f6
001281f6 // align 0x10
001281f6 // align 0x10
00128200
00128200camlLatexscan.fun_4234:
00128200mov rsi, rax
00128203mov rdi, [rbx+16]
00128207mov eax, 191
0012820cmov rbx, rsi
0012820fjmp 0x127fa0
00128200
00128200camlLatexscan.fun_4234:
00128200mov rsi, rax
00128203mov rdi, [rbx+16]
00128207mov eax, 191
0012820cmov rbx, rsi
0012820fjmp 0x127fa0
00128200
00128214
00128214 // align 0x10
00128214 // align 0x10
00128220
00128220camlLatexscan.fun_4240:
00128220mov rsi, rax
00128223mov rdi, [rbx+16]
00128227mov eax, 189
0012822cmov rbx, rsi
0012822fjmp 0x127fa0
00128220
00128220camlLatexscan.fun_4240:
00128220mov rsi, rax
00128223mov rdi, [rbx+16]
00128227mov eax, 189
0012822cmov rbx, rsi
0012822fjmp 0x127fa0
00128220
00128234
00128234 // align 0x10
00128234 // align 0x10
00128240
00128240camlLatexscan.fun_4246:
00128240lea r10, [rsp-352]
00128248cmp r10, [r14+40]
0012824cjb 0x1284c8
00128252
00128252loc_128252:
00128252sub rsp, 32
00128256mov [rsp], rax
0012825amov [rsp+16], rbx
0012825fcall camlLexstate.save_arg_1030
00128264mov [rsp+24], rax
00128269mov rax, [rsp]
0012826dcall camlLexstate.save_sup_sub_1088
00128272mov rcx, [rax+16]
00128276mov [rsp+8], rcx
0012827bmov r12, [rax+8]
0012827fmov [rsp], r12
00128283mov rax, [rax]
00128286test al, 1
00128288jne 0x128364
0012828emov rax, [rax]
00128291sar rax, 1
00128294cmp rax, 1
00128298jb 0x128364
0012829eje 0x128420
001282a4lea rax, [rip+0x1ee6f5]
001282abmov rdx, [rax+136]
001282b2mov rbx, [rdx]
001282b5cmp rbx, 1
001282b9je 0x128420
001282bfsub r15, 80
001282c3cmp r15, [r14]
001282c6jb 0x1284be
001282cc
001282ccloc_1282cc:
001282cclea rsi, [r15+8]
001282d0add rsi, 40
001282d4mov [rsi-8], 4343
001282dclea rbx, [rip+557]
001282e3mov [rsi], rbx
001282e6mov rbx, 0x100000000000005
001282f0mov [rsi+8], rbx
001282f4mov rbx, [rsp+16]
001282f9mov r8, [rbx+16]
001282fdmov [rsi+16], r8
00128301mov rdi, [rsp+24]
00128306mov [rsi+24], rdi
0012830amov rax, [rax+648]
00128311lea rdi, [rsi-40]
00128315mov [rdi-8], 4343
0012831dlea r9, [rip+476]
00128324mov [rdi], r9
00128327mov r9, 0x100000000000005
00128331mov [rdi+8], r9
00128335mov [rdi+16], r8
00128339mov [rdi+24], rax
0012833dmov rax, [rbx+24]
00128341mov r9, [rax+248]
00128348mov r8, [rdx]
0012834bmov ebx, 7
00128350mov eax, 3
00128355mov rdx, r12
00128358add rsp, 32
0012835cjmp 0xf71a0
00128361
00128361 0f 1f 00 ...
00128364
00128364loc_128364:
00128364lea rax, [rip+0x1ee635]
0012836bmov rsi, [rax+136]
00128372mov rbx, [rsi]
00128375cmp rbx, 1
00128379je 0x128420
0012837fsub r15, 80
00128383cmp r15, [r14]
00128386jb 0x1284b4
0012838c
0012838cloc_12838c:
0012838clea rbx, [r15+8]
00128390add rbx, 40
00128394mov [rbx-8], 4343
0012839clea rdi, [rip+333]
001283a3mov [rbx], rdi
001283a6mov rdi, 0x100000000000005
001283b0mov [rbx+8], rdi
001283b4mov rdi, [rsp+16]
001283b9mov rdx, [rdi+16]
001283bdmov [rbx+16], rdx
001283c1mov r8, [rsp+24]
001283c6mov [rbx+24], r8
001283camov r8, [rax+648]
001283d1lea rax, [rbx-40]
001283d5mov [rax-8], 4343
001283ddlea r9, [rip+252]
001283e4mov [rax], r9
001283e7mov r9, 0x100000000000005
001283f1mov [rax+8], r9
001283f5mov [rax+16], rdx
001283f9mov [rax+24], r8
001283fdmov rdi, [rdi+24]
00128401mov r8, [rdi+240]
00128408mov rdx, [rsi]
0012840bmov rdi, r12
0012840emov rsi, rcx
00128411mov rcx, r8
00128414add rsp, 32
00128418jmp 0xf7260
0012841d
0012841d 0f 1f 00 ...
00128420
00128420loc_128420:
00128420mov rax, [rsp+16]
00128425mov rax, [rax+16]
00128429mov rbx, [rsp+24]
0012842ecall camlLexstate.scan_this_arg_1187
00128433mov rcx, [rsp+16]
00128438mov rbx, [rcx+16]
0012843clea rdi, [rip+0x1ee55d]
00128443mov rsi, [rdi+648]
0012844asub r15, 40
0012844ecmp r15, [r14]
00128451jb 0x1284ad
00128453
00128453loc_128453:
00128453lea rax, [r15+8]
00128457mov [rax-8], 4343
0012845flea rdx, [rip+186]
00128466mov [rax], rdx
00128469mov rdx, 0x100000000000005
00128473mov [rax+8], rdx
00128477mov [rax+16], rbx
0012847bmov [rax+24], rsi
0012847fmov rbx, [rcx+24]
00128483mov rcx, [rbx+232]
0012848amov rbx, [rdi+136]
00128491mov rdx, [rbx]
00128494lea rbx, [rip+0x16ef45]
0012849bmov rdi, [rsp]
0012849fmov rsi, [rsp+8]
001284a4add rsp, 32
001284a8jmp 0xf7260
001284ad
001284adloc_1284ad:
001284adcall caml_call_gc
001284b2jmp 0x128453
001284b4
001284b4loc_1284b4:
001284b4call caml_call_gc
001284b9jmp 0x12838c
001284be
001284beloc_1284be:
001284becall caml_call_gc
001284c3jmp 0x1282cc
001284c8
001284c8loc_1284c8:
001284c8push 37
001284cacall caml_call_realloc_stack
001284cfpop r10
001284d1jmp 0x128252
00128240
00128240camlLatexscan.fun_4246:
00128240lea r10, [rsp-352]
00128248cmp r10, [r14+40]
0012824cjb 0x1284c8
00128252
00128252loc_128252:
00128252sub rsp, 32
00128256mov [rsp], rax
0012825amov [rsp+16], rbx
0012825fcall camlLexstate.save_arg_1030
00128264mov [rsp+24], rax
00128269mov rax, [rsp]
0012826dcall camlLexstate.save_sup_sub_1088
00128272mov rcx, [rax+16]
00128276mov [rsp+8], rcx
0012827bmov r12, [rax+8]
0012827fmov [rsp], r12
00128283mov rax, [rax]
00128286test al, 1
00128288jne 0x128364
0012828emov rax, [rax]
00128291sar rax, 1
00128294cmp rax, 1
00128298jb 0x128364
0012829eje 0x128420
001282a4lea rax, [rip+0x1ee6f5]
001282abmov rdx, [rax+136]
001282b2mov rbx, [rdx]
001282b5cmp rbx, 1
001282b9je 0x128420
001282bfsub r15, 80
001282c3cmp r15, [r14]
001282c6jb 0x1284be
001282cc
001282ccloc_1282cc:
001282cclea rsi, [r15+8]
001282d0add rsi, 40
001282d4mov [rsi-8], 4343
001282dclea rbx, [rip+557]
001282e3mov [rsi], rbx
001282e6mov rbx, 0x100000000000005
001282f0mov [rsi+8], rbx
001282f4mov rbx, [rsp+16]
001282f9mov r8, [rbx+16]
001282fdmov [rsi+16], r8
00128301mov rdi, [rsp+24]
00128306mov [rsi+24], rdi
0012830amov rax, [rax+648]
00128311lea rdi, [rsi-40]
00128315mov [rdi-8], 4343
0012831dlea r9, [rip+476]
00128324mov [rdi], r9
00128327mov r9, 0x100000000000005
00128331mov [rdi+8], r9
00128335mov [rdi+16], r8
00128339mov [rdi+24], rax
0012833dmov rax, [rbx+24]
00128341mov r9, [rax+248]
00128348mov r8, [rdx]
0012834bmov ebx, 7
00128350mov eax, 3
00128355mov rdx, r12
00128358add rsp, 32
0012835cjmp 0xf71a0
00128361
00128361 0f 1f 00 ...
00128364
00128364loc_128364:
00128364lea rax, [rip+0x1ee635]
0012836bmov rsi, [rax+136]
00128372mov rbx, [rsi]
00128375cmp rbx, 1
00128379je 0x128420
0012837fsub r15, 80
00128383cmp r15, [r14]
00128386jb 0x1284b4
0012838c
0012838cloc_12838c:
0012838clea rbx, [r15+8]
00128390add rbx, 40
00128394mov [rbx-8], 4343
0012839clea rdi, [rip+333]
001283a3mov [rbx], rdi
001283a6mov rdi, 0x100000000000005
001283b0mov [rbx+8], rdi
001283b4mov rdi, [rsp+16]
001283b9mov rdx, [rdi+16]
001283bdmov [rbx+16], rdx
001283c1mov r8, [rsp+24]
001283c6mov [rbx+24], r8
001283camov r8, [rax+648]
001283d1lea rax, [rbx-40]
001283d5mov [rax-8], 4343
001283ddlea r9, [rip+252]
001283e4mov [rax], r9
001283e7mov r9, 0x100000000000005
001283f1mov [rax+8], r9
001283f5mov [rax+16], rdx
001283f9mov [rax+24], r8
001283fdmov rdi, [rdi+24]
00128401mov r8, [rdi+240]
00128408mov rdx, [rsi]
0012840bmov rdi, r12
0012840emov rsi, rcx
00128411mov rcx, r8
00128414add rsp, 32
00128418jmp 0xf7260
0012841d
0012841d 0f 1f 00 ...
00128420
00128420loc_128420:
00128420mov rax, [rsp+16]
00128425mov rax, [rax+16]
00128429mov rbx, [rsp+24]
0012842ecall camlLexstate.scan_this_arg_1187
00128433mov rcx, [rsp+16]
00128438mov rbx, [rcx+16]
0012843clea rdi, [rip+0x1ee55d]
00128443mov rsi, [rdi+648]
0012844asub r15, 40
0012844ecmp r15, [r14]
00128451jb 0x1284ad
00128453
00128453loc_128453:
00128453lea rax, [r15+8]
00128457mov [rax-8], 4343
0012845flea rdx, [rip+186]
00128466mov [rax], rdx
00128469mov rdx, 0x100000000000005
00128473mov [rax+8], rdx
00128477mov [rax+16], rbx
0012847bmov [rax+24], rsi
0012847fmov rbx, [rcx+24]
00128483mov rcx, [rbx+232]
0012848amov rbx, [rdi+136]
00128491mov rdx, [rbx]
00128494lea rbx, [rip+0x16ef45]
0012849bmov rdi, [rsp]
0012849fmov rsi, [rsp+8]
001284a4add rsp, 32
001284a8jmp 0xf7260
001284ad
001284adloc_1284ad:
001284adcall caml_call_gc
001284b2jmp 0x128453
001284b4
001284b4loc_1284b4:
001284b4call caml_call_gc
001284b9jmp 0x12838c
001284be
001284beloc_1284be:
001284becall caml_call_gc
001284c3jmp 0x1282cc
001284c8
001284c8loc_1284c8:
001284c8push 37
001284cacall caml_call_realloc_stack
001284cfpop r10
001284d1jmp 0x128252
00128240
001284d6
001284d6 // align 0x10
001284d6 // align 0x10
001284e0
001284e0camlLatexscan.fun_4287:
001284e0mov rdi, rax
001284e3mov rax, [rbx+16]
001284e7mov rbx, rdi
001284eajmp 0x17f340
001284e0
001284e0camlLatexscan.fun_4287:
001284e0mov rdi, rax
001284e3mov rax, [rbx+16]
001284e7mov rbx, rdi
001284eajmp 0x17f340
001284e0
001284ef
001284ef // align 0x10
001284ef // align 0x10
001284f0
001284f0camlLatexscan.fun_4290:
001284f0mov rdi, [rbx+24]
001284f4mov rax, [rbx+16]
001284f8mov rbx, rdi
001284fbjmp 0x17f340
001284f0
001284f0camlLatexscan.fun_4290:
001284f0mov rdi, [rbx+24]
001284f4mov rax, [rbx+16]
001284f8mov rbx, rdi
001284fbjmp 0x17f340
001284f0
00128500
00128500camlLatexscan.fun_4278:
00128500mov rdi, rax
00128503mov rax, [rbx+16]
00128507mov rbx, rdi
0012850ajmp 0x17f340
00128500
00128500camlLatexscan.fun_4278:
00128500mov rdi, rax
00128503mov rax, [rbx+16]
00128507mov rbx, rdi
0012850ajmp 0x17f340
00128500
0012850f
0012850f // align 0x10
0012850f // align 0x10
00128510
00128510camlLatexscan.fun_4281:
00128510mov rdi, [rbx+24]
00128514mov rax, [rbx+16]
00128518mov rbx, rdi
0012851bjmp 0x17f340
00128510
00128510camlLatexscan.fun_4281:
00128510mov rdi, [rbx+24]
00128514mov rax, [rbx+16]
00128518mov rbx, rdi
0012851bjmp 0x17f340
00128510
00128520
00128520camlLatexscan.fun_4296:
00128520mov rdi, rax
00128523mov rax, [rbx+16]
00128527mov rbx, rdi
0012852ajmp 0x17f340
00128520
00128520camlLatexscan.fun_4296:
00128520mov rdi, rax
00128523mov rax, [rbx+16]
00128527mov rbx, rdi
0012852ajmp 0x17f340
00128520
0012852f
0012852f // align 0x10
0012852f // align 0x10
00128536
00128536 // align 0x10
00128536 // align 0x10
00128540
00128540camlLatexscan.fun_4302:
00128540lea r10, [rsp-352]
00128548cmp r10, [r14+40]
0012854cjb 0x1287c8
00128552
00128552loc_128552:
00128552sub rsp, 32
00128556mov [rsp], rax
0012855amov [rsp+16], rbx
0012855fcall camlLexstate.save_arg_1030
00128564mov [rsp+24], rax
00128569mov rax, [rsp]
0012856dcall camlLexstate.save_sup_sub_1088
00128572mov rcx, [rax+16]
00128576mov [rsp+8], rcx
0012857bmov r12, [rax+8]
0012857fmov [rsp], r12
00128583mov rax, [rax]
00128586test al, 1
00128588jne 0x128660
0012858emov rax, [rax]
00128591sar rax, 1
00128594cmp rax, 1
00128598je 0x128720
0012859eja 0x128660
001285a4lea rax, [rip+0x1ee3f5]
001285abmov rsi, [rax+136]
001285b2mov rbx, [rsi]
001285b5cmp rbx, 1
001285b9je 0x128720
001285bfsub r15, 80
001285c3cmp r15, [r14]
001285c6jb 0x1287be
001285cc
001285ccloc_1285cc:
001285cclea rbx, [r15+8]
001285d0add rbx, 40
001285d4mov [rbx-8], 4343
001285dclea rdi, [rip+525]
001285e3mov [rbx], rdi
001285e6mov rdi, 0x100000000000005
001285f0mov [rbx+8], rdi
001285f4mov rdi, [rsp+16]
001285f9mov rdx, [rdi+16]
001285fdmov [rbx+16], rdx
00128601mov r8, [rsp+24]
00128606mov [rbx+24], r8
0012860amov r8, [rax+648]
00128611lea rax, [rbx-40]
00128615mov [rax-8], 4343
0012861dlea r9, [rip+444]
00128624mov [rax], r9
00128627mov r9, 0x100000000000005
00128631mov [rax+8], r9
00128635mov [rax+16], rdx
00128639mov [rax+24], r8
0012863dmov rdi, [rdi+24]
00128641mov r8, [rdi+240]
00128648mov rdx, [rsi]
0012864bmov rdi, r12
0012864emov rsi, rcx
00128651mov rcx, r8
00128654add rsp, 32
00128658jmp 0xf7260
0012865d
0012865d 0f 1f 00 ...
00128660
00128660loc_128660:
00128660lea rax, [rip+0x1ee339]
00128667mov rdx, [rax+136]
0012866emov rbx, [rdx]
00128671cmp rbx, 1
00128675je 0x128720
0012867bsub r15, 80
0012867fcmp r15, [r14]
00128682jb 0x1287b4
00128688
00128688loc_128688:
00128688lea rsi, [r15+8]
0012868cadd rsi, 40
00128690mov [rsi-8], 4343
00128698lea rbx, [rip+369]
0012869fmov [rsi], rbx
001286a2mov rbx, 0x100000000000005
001286acmov [rsi+8], rbx
001286b0mov rbx, [rsp+16]
001286b5mov r8, [rbx+16]
001286b9mov [rsi+16], r8
001286bdmov rdi, [rsp+24]
001286c2mov [rsi+24], rdi
001286c6mov rax, [rax+648]
001286cdlea rdi, [rsi-40]
001286d1mov [rdi-8], 4343
001286d9lea r9, [rip+288]
001286e0mov [rdi], r9
001286e3mov r9, 0x100000000000005
001286edmov [rdi+8], r9
001286f1mov [rdi+16], r8
001286f5mov [rdi+24], rax
001286f9mov rax, [rbx+24]
001286fdmov r9, [rax+248]
00128704mov r8, [rdx]
00128707mov ebx, 7
0012870cmov eax, 3
00128711mov rdx, r12
00128714add rsp, 32
00128718jmp 0xf71a0
0012871d
0012871d 0f 1f 00 ...
00128720
00128720loc_128720:
00128720mov rax, [rsp+16]
00128725mov rax, [rax+16]
00128729mov rbx, [rsp+24]
0012872ecall camlLexstate.scan_this_arg_1187
00128733mov rcx, [rsp+16]
00128738mov rbx, [rcx+16]
0012873clea rdi, [rip+0x1ee25d]
00128743mov rsi, [rdi+648]
0012874asub r15, 40
0012874ecmp r15, [r14]
00128751jb 0x1287ad
00128753
00128753loc_128753:
00128753lea rax, [r15+8]
00128757mov [rax-8], 4343
0012875flea rdx, [rip+186]
00128766mov [rax], rdx
00128769mov rdx, 0x100000000000005
00128773mov [rax+8], rdx
00128777mov [rax+16], rbx
0012877bmov [rax+24], rsi
0012877fmov rbx, [rcx+24]
00128783mov rcx, [rbx+232]
0012878amov rbx, [rdi+136]
00128791mov rdx, [rbx]
00128794lea rbx, [rip+0x16ec5d]
0012879bmov rdi, [rsp]
0012879fmov rsi, [rsp+8]
001287a4add rsp, 32
001287a8jmp 0xf7260
001287ad
001287adloc_1287ad:
001287adcall caml_call_gc
001287b2jmp 0x128753
001287b4
001287b4loc_1287b4:
001287b4call caml_call_gc
001287b9jmp 0x128688
001287be
001287beloc_1287be:
001287becall caml_call_gc
001287c3jmp 0x1285cc
001287c8
001287c8loc_1287c8:
001287c8push 37
001287cacall caml_call_realloc_stack
001287cfpop r10
001287d1jmp 0x128552
00128540
00128540camlLatexscan.fun_4302:
00128540lea r10, [rsp-352]
00128548cmp r10, [r14+40]
0012854cjb 0x1287c8
00128552
00128552loc_128552:
00128552sub rsp, 32
00128556mov [rsp], rax
0012855amov [rsp+16], rbx
0012855fcall camlLexstate.save_arg_1030
00128564mov [rsp+24], rax
00128569mov rax, [rsp]
0012856dcall camlLexstate.save_sup_sub_1088
00128572mov rcx, [rax+16]
00128576mov [rsp+8], rcx
0012857bmov r12, [rax+8]
0012857fmov [rsp], r12
00128583mov rax, [rax]
00128586test al, 1
00128588jne 0x128660
0012858emov rax, [rax]
00128591sar rax, 1
00128594cmp rax, 1
00128598je 0x128720
0012859eja 0x128660
001285a4lea rax, [rip+0x1ee3f5]
001285abmov rsi, [rax+136]
001285b2mov rbx, [rsi]
001285b5cmp rbx, 1
001285b9je 0x128720
001285bfsub r15, 80
001285c3cmp r15, [r14]
001285c6jb 0x1287be
001285cc
001285ccloc_1285cc:
001285cclea rbx, [r15+8]
001285d0add rbx, 40
001285d4mov [rbx-8], 4343
001285dclea rdi, [rip+525]
001285e3mov [rbx], rdi
001285e6mov rdi, 0x100000000000005
001285f0mov [rbx+8], rdi
001285f4mov rdi, [rsp+16]
001285f9mov rdx, [rdi+16]
001285fdmov [rbx+16], rdx
00128601mov r8, [rsp+24]
00128606mov [rbx+24], r8
0012860amov r8, [rax+648]
00128611lea rax, [rbx-40]
00128615mov [rax-8], 4343
0012861dlea r9, [rip+444]
00128624mov [rax], r9
00128627mov r9, 0x100000000000005
00128631mov [rax+8], r9
00128635mov [rax+16], rdx
00128639mov [rax+24], r8
0012863dmov rdi, [rdi+24]
00128641mov r8, [rdi+240]
00128648mov rdx, [rsi]
0012864bmov rdi, r12
0012864emov rsi, rcx
00128651mov rcx, r8
00128654add rsp, 32
00128658jmp 0xf7260
0012865d
0012865d 0f 1f 00 ...
00128660
00128660loc_128660:
00128660lea rax, [rip+0x1ee339]
00128667mov rdx, [rax+136]
0012866emov rbx, [rdx]
00128671cmp rbx, 1
00128675je 0x128720
0012867bsub r15, 80
0012867fcmp r15, [r14]
00128682jb 0x1287b4
00128688
00128688loc_128688:
00128688lea rsi, [r15+8]
0012868cadd rsi, 40
00128690mov [rsi-8], 4343
00128698lea rbx, [rip+369]
0012869fmov [rsi], rbx
001286a2mov rbx, 0x100000000000005
001286acmov [rsi+8], rbx
001286b0mov rbx, [rsp+16]
001286b5mov r8, [rbx+16]
001286b9mov [rsi+16], r8
001286bdmov rdi, [rsp+24]
001286c2mov [rsi+24], rdi
001286c6mov rax, [rax+648]
001286cdlea rdi, [rsi-40]
001286d1mov [rdi-8], 4343
001286d9lea r9, [rip+288]
001286e0mov [rdi], r9
001286e3mov r9, 0x100000000000005
001286edmov [rdi+8], r9
001286f1mov [rdi+16], r8
001286f5mov [rdi+24], rax
001286f9mov rax, [rbx+24]
001286fdmov r9, [rax+248]
00128704mov r8, [rdx]
00128707mov ebx, 7
0012870cmov eax, 3
00128711mov rdx, r12
00128714add rsp, 32
00128718jmp 0xf71a0
0012871d
0012871d 0f 1f 00 ...
00128720
00128720loc_128720:
00128720mov rax, [rsp+16]
00128725mov rax, [rax+16]
00128729mov rbx, [rsp+24]
0012872ecall camlLexstate.scan_this_arg_1187
00128733mov rcx, [rsp+16]
00128738mov rbx, [rcx+16]
0012873clea rdi, [rip+0x1ee25d]
00128743mov rsi, [rdi+648]
0012874asub r15, 40
0012874ecmp r15, [r14]
00128751jb 0x1287ad
00128753
00128753loc_128753:
00128753lea rax, [r15+8]
00128757mov [rax-8], 4343
0012875flea rdx, [rip+186]
00128766mov [rax], rdx
00128769mov rdx, 0x100000000000005
00128773mov [rax+8], rdx
00128777mov [rax+16], rbx
0012877bmov [rax+24], rsi
0012877fmov rbx, [rcx+24]
00128783mov rcx, [rbx+232]
0012878amov rbx, [rdi+136]
00128791mov rdx, [rbx]
00128794lea rbx, [rip+0x16ec5d]
0012879bmov rdi, [rsp]
0012879fmov rsi, [rsp+8]
001287a4add rsp, 32
001287a8jmp 0xf7260
001287ad
001287adloc_1287ad:
001287adcall caml_call_gc
001287b2jmp 0x128753
001287b4
001287b4loc_1287b4:
001287b4call caml_call_gc
001287b9jmp 0x128688
001287be
001287beloc_1287be:
001287becall caml_call_gc
001287c3jmp 0x1285cc
001287c8
001287c8loc_1287c8:
001287c8push 37
001287cacall caml_call_realloc_stack
001287cfpop r10
001287d1jmp 0x128552
00128540
001287d6
001287d6 // align 0x10
001287d6 // align 0x10
001287e0
001287e0camlLatexscan.fun_4334:
001287e0mov rdi, rax
001287e3mov rax, [rbx+16]
001287e7mov rbx, rdi
001287eajmp 0x17f340
001287e0
001287e0camlLatexscan.fun_4334:
001287e0mov rdi, rax
001287e3mov rax, [rbx+16]
001287e7mov rbx, rdi
001287eajmp 0x17f340
001287e0
001287ef
001287ef // align 0x10
001287ef // align 0x10
001287f0
001287f0camlLatexscan.fun_4337:
001287f0mov rdi, [rbx+24]
001287f4mov rax, [rbx+16]
001287f8mov rbx, rdi
001287fbjmp 0x17f340
001287f0
001287f0camlLatexscan.fun_4337:
001287f0mov rdi, [rbx+24]
001287f4mov rax, [rbx+16]
001287f8mov rbx, rdi
001287fbjmp 0x17f340
001287f0
00128800
00128800camlLatexscan.fun_4343:
00128800mov rdi, rax
00128803mov rax, [rbx+16]
00128807mov rbx, rdi
0012880ajmp 0x17f340
00128800
00128800camlLatexscan.fun_4343:
00128800mov rdi, rax
00128803mov rax, [rbx+16]
00128807mov rbx, rdi
0012880ajmp 0x17f340
00128800
0012880f
0012880f // align 0x10
0012880f // align 0x10
00128810
00128810camlLatexscan.fun_4346:
00128810mov rdi, [rbx+24]
00128814mov rax, [rbx+16]
00128818mov rbx, rdi
0012881bjmp 0x17f340
00128810
00128810camlLatexscan.fun_4346:
00128810mov rdi, [rbx+24]
00128814mov rax, [rbx+16]
00128818mov rbx, rdi
0012881bjmp 0x17f340
00128810
00128820
00128820camlLatexscan.fun_4352:
00128820mov rdi, rax
00128823mov rax, [rbx+16]
00128827mov rbx, rdi
0012882ajmp 0x17f340
00128820
00128820camlLatexscan.fun_4352:
00128820mov rdi, rax
00128823mov rax, [rbx+16]
00128827mov rbx, rdi
0012882ajmp 0x17f340
00128820
0012882f
0012882f // align 0x10
0012882f // align 0x10
00128836
00128836 // align 0x10
00128836 // align 0x10
00128840
00128840camlLatexscan.fun_4358:
00128840lea r10, [rsp-328]
00128848cmp r10, [r14+40]
0012884cjb 0x1288bc
0012884e
0012884eloc_12884e:
0012884esub rsp, 8
00128852mov [rsp], rbx
00128856cmp r15, [r14]
00128859jbe 0x1288b5
0012885b
0012885bloc_12885b:
0012885blea rax, [rip+0x1ee13e]
00128862mov rax, [rax+200]
00128869mov rax, [rax]
0012886ccmp rax, 1
00128870je 0x128898
00128872mov eax, 247
00128877call camlLexstate.is_plain_833
0012887ccmp rax, 1
00128880je 0x128898
00128882mov rax, [rsp]
00128886mov rbx, [rax+16]
0012888amov eax, 1
0012888fadd rsp, 8
00128893jmp 0x1240c0
00128898
00128898loc_128898:
00128898mov rax, [rsp]
0012889cmov rax, [rax+24]
001288a0mov rbx, [rax+360]
001288a7mov eax, 247
001288acmov rdi, [rbx]
001288afadd rsp, 8
001288b3jmp rdi
001288b5
001288b5loc_1288b5:
001288b5call caml_call_gc
001288bajmp 0x12885b
001288bc
001288bcloc_1288bc:
001288bcpush 34
001288becall caml_call_realloc_stack
001288c3pop r10
001288c5jmp 0x12884e
00128840
00128840camlLatexscan.fun_4358:
00128840lea r10, [rsp-328]
00128848cmp r10, [r14+40]
0012884cjb 0x1288bc
0012884e
0012884eloc_12884e:
0012884esub rsp, 8
00128852mov [rsp], rbx
00128856cmp r15, [r14]
00128859jbe 0x1288b5
0012885b
0012885bloc_12885b:
0012885blea rax, [rip+0x1ee13e]
00128862mov rax, [rax+200]
00128869mov rax, [rax]
0012886ccmp rax, 1
00128870je 0x128898
00128872mov eax, 247
00128877call camlLexstate.is_plain_833
0012887ccmp rax, 1
00128880je 0x128898
00128882mov rax, [rsp]
00128886mov rbx, [rax+16]
0012888amov eax, 1
0012888fadd rsp, 8
00128893jmp 0x1240c0
00128898
00128898loc_128898:
00128898mov rax, [rsp]
0012889cmov rax, [rax+24]
001288a0mov rbx, [rax+360]
001288a7mov eax, 247
001288acmov rdi, [rbx]
001288afadd rsp, 8
001288b3jmp rdi
001288b5
001288b5loc_1288b5:
001288b5call caml_call_gc
001288bajmp 0x12885b
001288bc
001288bcloc_1288bc:
001288bcpush 34
001288becall caml_call_realloc_stack
001288c3pop r10
001288c5jmp 0x12884e
00128840
001288c7
001288c7 // align 0x10
001288c7 // align 0x10
001288d0
001288d0camlLatexscan.fun_4364:
001288d0lea r10, [rsp-336]
001288d8cmp r10, [r14+40]
001288dcjb 0x12890f
001288de
001288deloc_1288de:
001288desub rsp, 16
001288e2mov [rsp+8], rax
001288e7mov [rsp], rbx
001288ebmov rbx, [rbx+16]
001288efmov eax, 1
001288f4call camlLatexscan.top_open_group_1047
001288f9mov rax, [rsp]
001288fdmov rbx, [rax+24]
00128901mov rax, [rsp+8]
00128906add rsp, 16
0012890ajmp 0x127b00
0012890f
0012890floc_12890f:
0012890fpush 35
00128911call caml_call_realloc_stack
00128916pop r10
00128918jmp 0x1288de
001288d0
001288d0camlLatexscan.fun_4364:
001288d0lea r10, [rsp-336]
001288d8cmp r10, [r14+40]
001288dcjb 0x12890f
001288de
001288deloc_1288de:
001288desub rsp, 16
001288e2mov [rsp+8], rax
001288e7mov [rsp], rbx
001288ebmov rbx, [rbx+16]
001288efmov eax, 1
001288f4call camlLatexscan.top_open_group_1047
001288f9mov rax, [rsp]
001288fdmov rbx, [rax+24]
00128901mov rax, [rsp+8]
00128906add rsp, 16
0012890ajmp 0x127b00
0012890f
0012890floc_12890f:
0012890fpush 35
00128911call caml_call_realloc_stack
00128916pop r10
00128918jmp 0x1288de
001288d0
0012891a
0012891a // align 0x10
0012891a // align 0x10
00128920
00128920camlLatexscan.fun_4372:
00128920lea r10, [rsp-328]
00128928cmp r10, [r14+40]
0012892cjb 0x12899c
0012892e
0012892eloc_12892e:
0012892esub rsp, 8
00128932mov [rsp], rbx
00128936cmp r15, [r14]
00128939jbe 0x128995
0012893b
0012893bloc_12893b:
0012893blea rax, [rip+0x1ee05e]
00128942mov rax, [rax+200]
00128949mov rax, [rax]
0012894ccmp rax, 1
00128950je 0x128978
00128952mov eax, 251
00128957call camlLexstate.is_plain_833
0012895ccmp rax, 1
00128960je 0x128978
00128962mov rax, [rsp]
00128966mov rbx, [rax+16]
0012896amov eax, 1
0012896fadd rsp, 8
00128973jmp 0x124110
00128978
00128978loc_128978:
00128978mov rax, [rsp]
0012897cmov rax, [rax+24]
00128980mov rbx, [rax+360]
00128987mov eax, 251
0012898cmov rdi, [rbx]
0012898fadd rsp, 8
00128993jmp rdi
00128995
00128995loc_128995:
00128995call caml_call_gc
0012899ajmp 0x12893b
0012899c
0012899cloc_12899c:
0012899cpush 34
0012899ecall caml_call_realloc_stack
001289a3pop r10
001289a5jmp 0x12892e
00128920
00128920camlLatexscan.fun_4372:
00128920lea r10, [rsp-328]
00128928cmp r10, [r14+40]
0012892cjb 0x12899c
0012892e
0012892eloc_12892e:
0012892esub rsp, 8
00128932mov [rsp], rbx
00128936cmp r15, [r14]
00128939jbe 0x128995
0012893b
0012893bloc_12893b:
0012893blea rax, [rip+0x1ee05e]
00128942mov rax, [rax+200]
00128949mov rax, [rax]
0012894ccmp rax, 1
00128950je 0x128978
00128952mov eax, 251
00128957call camlLexstate.is_plain_833
0012895ccmp rax, 1
00128960je 0x128978
00128962mov rax, [rsp]
00128966mov rbx, [rax+16]
0012896amov eax, 1
0012896fadd rsp, 8
00128973jmp 0x124110
00128978
00128978loc_128978:
00128978mov rax, [rsp]
0012897cmov rax, [rax+24]
00128980mov rbx, [rax+360]
00128987mov eax, 251
0012898cmov rdi, [rbx]
0012898fadd rsp, 8
00128993jmp rdi
00128995
00128995loc_128995:
00128995call caml_call_gc
0012899ajmp 0x12893b
0012899c
0012899cloc_12899c:
0012899cpush 34
0012899ecall caml_call_realloc_stack
001289a3pop r10
001289a5jmp 0x12892e
00128920
001289a7
001289a7 // align 0x10
001289a7 // align 0x10
001289b0
001289b0camlLatexscan.fun_4378:
001289b0lea r10, [rsp-336]
001289b8cmp r10, [r14+40]
001289bcjb 0x1289ef
001289be
001289beloc_1289be:
001289besub rsp, 16
001289c2mov [rsp+8], rax
001289c7mov [rsp], rbx
001289cbmov rbx, [rbx+16]
001289cfmov eax, 1
001289d4call camlLatexscan.top_close_group_1048
001289d9mov rax, [rsp]
001289ddmov rbx, [rax+24]
001289e1mov rax, [rsp+8]
001289e6add rsp, 16
001289eajmp 0x127b00
001289ef
001289efloc_1289ef:
001289efpush 35
001289f1call caml_call_realloc_stack
001289f6pop r10
001289f8jmp 0x1289be
001289b0
001289b0camlLatexscan.fun_4378:
001289b0lea r10, [rsp-336]
001289b8cmp r10, [r14+40]
001289bcjb 0x1289ef
001289be
001289beloc_1289be:
001289besub rsp, 16
001289c2mov [rsp+8], rax
001289c7mov [rsp], rbx
001289cbmov rbx, [rbx+16]
001289cfmov eax, 1
001289d4call camlLatexscan.top_close_group_1048
001289d9mov rax, [rsp]
001289ddmov rbx, [rax+24]
001289e1mov rax, [rsp+8]
001289e6add rsp, 16
001289eajmp 0x127b00
001289ef
001289efloc_1289ef:
001289efpush 35
001289f1call caml_call_realloc_stack
001289f6pop r10
001289f8jmp 0x1289be
001289b0
001289fa
001289fa // align 0x10
001289fa // align 0x10
00128a00
00128a00camlLatexscan.fun_4386:
00128a00lea r10, [rsp-328]
00128a08cmp r10, [r14+40]
00128a0cjb 0x128a8c
00128a0e
00128a0eloc_128a0e:
00128a0esub rsp, 8
00128a12mov [rsp], rbx
00128a16cmp r15, [r14]
00128a19jbe 0x128a85
00128a1b
00128a1bloc_128a1b:
00128a1blea rax, [rip+0x1edf7e]
00128a22mov rax, [rax+168]
00128a29mov rax, [rax]
00128a2ccmp rax, 3
00128a30je 0x128a68
00128a32mov eax, 253
00128a37call camlLexstate.is_plain_833
00128a3ccmp rax, 1
00128a40je 0x128a68
00128a42mov rax, [rsp]
00128a46mov rax, [rax+16]
00128a4amov rdi, [rax+480]
00128a51lea rbx, [rip+0x16f438]
00128a58mov eax, 3
00128a5dadd rsp, 8
00128a61jmp 0xf73e0
00128a66nop
00128a68
00128a68loc_128a68:
00128a68mov rax, [rsp]
00128a6cmov rax, [rax+16]
00128a70mov rbx, [rax+360]
00128a77mov eax, 253
00128a7cmov rdi, [rbx]
00128a7fadd rsp, 8
00128a83jmp rdi
00128a85
00128a85loc_128a85:
00128a85call caml_call_gc
00128a8ajmp 0x128a1b
00128a8c
00128a8cloc_128a8c:
00128a8cpush 34
00128a8ecall caml_call_realloc_stack
00128a93pop r10
00128a95jmp 0x128a0e
00128a00
00128a00camlLatexscan.fun_4386:
00128a00lea r10, [rsp-328]
00128a08cmp r10, [r14+40]
00128a0cjb 0x128a8c
00128a0e
00128a0eloc_128a0e:
00128a0esub rsp, 8
00128a12mov [rsp], rbx
00128a16cmp r15, [r14]
00128a19jbe 0x128a85
00128a1b
00128a1bloc_128a1b:
00128a1blea rax, [rip+0x1edf7e]
00128a22mov rax, [rax+168]
00128a29mov rax, [rax]
00128a2ccmp rax, 3
00128a30je 0x128a68
00128a32mov eax, 253
00128a37call camlLexstate.is_plain_833
00128a3ccmp rax, 1
00128a40je 0x128a68
00128a42mov rax, [rsp]
00128a46mov rax, [rax+16]
00128a4amov rdi, [rax+480]
00128a51lea rbx, [rip+0x16f438]
00128a58mov eax, 3
00128a5dadd rsp, 8
00128a61jmp 0xf73e0
00128a66nop
00128a68
00128a68loc_128a68:
00128a68mov rax, [rsp]
00128a6cmov rax, [rax+16]
00128a70mov rbx, [rax+360]
00128a77mov eax, 253
00128a7cmov rdi, [rbx]
00128a7fadd rsp, 8
00128a83jmp rdi
00128a85
00128a85loc_128a85:
00128a85call caml_call_gc
00128a8ajmp 0x128a1b
00128a8c
00128a8cloc_128a8c:
00128a8cpush 34
00128a8ecall caml_call_realloc_stack
00128a93pop r10
00128a95jmp 0x128a0e
00128a00
00128a9a
00128a9a // align 0x10
00128a9a // align 0x10
00128aa0
00128aa0camlLatexscan.fun_4392:
00128aa0lea r10, [rsp-336]
00128aa8cmp r10, [r14+40]
00128aacjb 0x128b78
00128ab2
00128ab2loc_128ab2:
00128ab2sub rsp, 16
00128ab6mov rdi, rax
00128ab9mov [rsp], rdi
00128abdmov [rsp+8], rbx
00128ac2cmp r15, [r14]
00128ac5jbe 0x128b6e
00128acb
00128acbloc_128acb:
00128acbmov eax, 193
00128ad0mov rbx, rdi
00128ad3call camlSave.if_next_char_480
00128ad8cmp rax, 1
00128adcje 0x128b50
00128adelea rax, [rip+0x1f266b]
00128ae5mov rdi, [rax+64]
00128ae9add rdi, 24
00128aedmov ebx, 405
00128af2mov rax, [rsp]
00128af6call Save..ocaml_lex_gobble_one_char_rec
00128afblea rax, [rip+0x1ede9e]
00128b02mov rax, [rax+168]
00128b09mov rax, [rax]
00128b0ccmp rax, 3
00128b10je 0x128b30
00128b12mov rax, [rsp+8]
00128b17mov rax, [rax+16]
00128b1bmov rbx, [rax+368]
00128b22mov eax, 383
00128b27mov rdi, [rbx]
00128b2aadd rsp, 16
00128b2ejmp rdi
00128b30
00128b30loc_128b30:
00128b30mov rax, [rsp+8]
00128b35mov rax, [rax+16]
00128b39mov rbx, [rax+352]
00128b40lea rax, [rip+0x171569]
00128b47mov rdi, [rbx]
00128b4aadd rsp, 16
00128b4ejmp rdi
00128b50
00128b50loc_128b50:
00128b50mov rax, [rsp+8]
00128b55mov rax, [rax+16]
00128b59mov rbx, [rax+360]
00128b60mov eax, 127
00128b65mov rdi, [rbx]
00128b68add rsp, 16
00128b6cjmp rdi
00128b6e
00128b6eloc_128b6e:
00128b6ecall caml_call_gc
00128b73jmp 0x128acb
00128b78
00128b78loc_128b78:
00128b78push 35
00128b7acall caml_call_realloc_stack
00128b7fpop r10
00128b81jmp 0x128ab2
00128aa0
00128aa0camlLatexscan.fun_4392:
00128aa0lea r10, [rsp-336]
00128aa8cmp r10, [r14+40]
00128aacjb 0x128b78
00128ab2
00128ab2loc_128ab2:
00128ab2sub rsp, 16
00128ab6mov rdi, rax
00128ab9mov [rsp], rdi
00128abdmov [rsp+8], rbx
00128ac2cmp r15, [r14]
00128ac5jbe 0x128b6e
00128acb
00128acbloc_128acb:
00128acbmov eax, 193
00128ad0mov rbx, rdi
00128ad3call camlSave.if_next_char_480
00128ad8cmp rax, 1
00128adcje 0x128b50
00128adelea rax, [rip+0x1f266b]
00128ae5mov rdi, [rax+64]
00128ae9add rdi, 24
00128aedmov ebx, 405
00128af2mov rax, [rsp]
00128af6call Save..ocaml_lex_gobble_one_char_rec
00128afblea rax, [rip+0x1ede9e]
00128b02mov rax, [rax+168]
00128b09mov rax, [rax]
00128b0ccmp rax, 3
00128b10je 0x128b30
00128b12mov rax, [rsp+8]
00128b17mov rax, [rax+16]
00128b1bmov rbx, [rax+368]
00128b22mov eax, 383
00128b27mov rdi, [rbx]
00128b2aadd rsp, 16
00128b2ejmp rdi
00128b30
00128b30loc_128b30:
00128b30mov rax, [rsp+8]
00128b35mov rax, [rax+16]
00128b39mov rbx, [rax+352]
00128b40lea rax, [rip+0x171569]
00128b47mov rdi, [rbx]
00128b4aadd rsp, 16
00128b4ejmp rdi
00128b50
00128b50loc_128b50:
00128b50mov rax, [rsp+8]
00128b55mov rax, [rax+16]
00128b59mov rbx, [rax+360]
00128b60mov eax, 127
00128b65mov rdi, [rbx]
00128b68add rsp, 16
00128b6cjmp rdi
00128b6e
00128b6eloc_128b6e:
00128b6ecall caml_call_gc
00128b73jmp 0x128acb
00128b78
00128b78loc_128b78:
00128b78push 35
00128b7acall caml_call_realloc_stack
00128b7fpop r10
00128b81jmp 0x128ab2
00128aa0
00128b86
00128b86 // align 0x10
00128b86 // align 0x10
00128b90
00128b90camlLatexscan.fun_4400:
00128b90lea r10, [rsp-336]
00128b98cmp r10, [r14+40]
00128b9cjb 0x128c68
00128ba2
00128ba2loc_128ba2:
00128ba2sub rsp, 16
00128ba6mov rdi, rax
00128ba9mov [rsp], rdi
00128badmov [rsp+8], rbx
00128bb2cmp r15, [r14]
00128bb5jbe 0x128c5e
00128bbb
00128bbbloc_128bbb:
00128bbbmov eax, 193
00128bc0mov rbx, rdi
00128bc3call camlSave.if_next_char_480
00128bc8cmp rax, 1
00128bccje 0x128c40
00128bcelea rax, [rip+0x1f257b]
00128bd5mov rdi, [rax+64]
00128bd9add rdi, 24
00128bddmov ebx, 405
00128be2mov rax, [rsp]
00128be6call Save..ocaml_lex_gobble_one_char_rec
00128beblea rax, [rip+0x1eddae]
00128bf2mov rax, [rax+168]
00128bf9mov rax, [rax]
00128bfccmp rax, 3
00128c00je 0x128c20
00128c02mov rax, [rsp+8]
00128c07mov rax, [rax+16]
00128c0bmov rbx, [rax+368]
00128c12mov eax, 323
00128c17mov rdi, [rbx]
00128c1aadd rsp, 16
00128c1ejmp rdi
00128c20
00128c20loc_128c20:
00128c20mov rax, [rsp+8]
00128c25mov rax, [rax+16]
00128c29mov rbx, [rax+352]
00128c30lea rax, [rip+0x171469]
00128c37mov rdi, [rbx]
00128c3aadd rsp, 16
00128c3ejmp rdi
00128c40
00128c40loc_128c40:
00128c40mov rax, [rsp+8]
00128c45mov rax, [rax+16]
00128c49mov rbx, [rax+360]
00128c50mov eax, 67
00128c55mov rdi, [rbx]
00128c58add rsp, 16
00128c5cjmp rdi
00128c5e
00128c5eloc_128c5e:
00128c5ecall caml_call_gc
00128c63jmp 0x128bbb
00128c68
00128c68loc_128c68:
00128c68push 35
00128c6acall caml_call_realloc_stack
00128c6fpop r10
00128c71jmp 0x128ba2
00128b90
00128b90camlLatexscan.fun_4400:
00128b90lea r10, [rsp-336]
00128b98cmp r10, [r14+40]
00128b9cjb 0x128c68
00128ba2
00128ba2loc_128ba2:
00128ba2sub rsp, 16
00128ba6mov rdi, rax
00128ba9mov [rsp], rdi
00128badmov [rsp+8], rbx
00128bb2cmp r15, [r14]
00128bb5jbe 0x128c5e
00128bbb
00128bbbloc_128bbb:
00128bbbmov eax, 193
00128bc0mov rbx, rdi
00128bc3call camlSave.if_next_char_480
00128bc8cmp rax, 1
00128bccje 0x128c40
00128bcelea rax, [rip+0x1f257b]
00128bd5mov rdi, [rax+64]
00128bd9add rdi, 24
00128bddmov ebx, 405
00128be2mov rax, [rsp]
00128be6call Save..ocaml_lex_gobble_one_char_rec
00128beblea rax, [rip+0x1eddae]
00128bf2mov rax, [rax+168]
00128bf9mov rax, [rax]
00128bfccmp rax, 3
00128c00je 0x128c20
00128c02mov rax, [rsp+8]
00128c07mov rax, [rax+16]
00128c0bmov rbx, [rax+368]
00128c12mov eax, 323
00128c17mov rdi, [rbx]
00128c1aadd rsp, 16
00128c1ejmp rdi
00128c20
00128c20loc_128c20:
00128c20mov rax, [rsp+8]
00128c25mov rax, [rax+16]
00128c29mov rbx, [rax+352]
00128c30lea rax, [rip+0x171469]
00128c37mov rdi, [rbx]
00128c3aadd rsp, 16
00128c3ejmp rdi
00128c40
00128c40loc_128c40:
00128c40mov rax, [rsp+8]
00128c45mov rax, [rax+16]
00128c49mov rbx, [rax+360]
00128c50mov eax, 67
00128c55mov rdi, [rbx]
00128c58add rsp, 16
00128c5cjmp rdi
00128c5e
00128c5eloc_128c5e:
00128c5ecall caml_call_gc
00128c63jmp 0x128bbb
00128c68
00128c68loc_128c68:
00128c68push 35
00128c6acall caml_call_realloc_stack
00128c6fpop r10
00128c71jmp 0x128ba2
00128b90
00128c76
00128c76 // align 0x10
00128c76 // align 0x10
00128c80
00128c80camlLatexscan.fun_4408:
00128c80cmp r15, [r14]
00128c83jbe 0x128c9a
00128c85
00128c85loc_128c85:
00128c85mov rax, [rbx+16]
00128c89mov rbx, [rax+360]
00128c90mov eax, 69
00128c95mov rdi, [rbx]
00128c98jmp rdi
00128c9a
00128c9aloc_128c9a:
00128c9acall caml_call_gc
00128c9fjmp 0x128c85
00128c80
00128c80camlLatexscan.fun_4408:
00128c80cmp r15, [r14]
00128c83jbe 0x128c9a
00128c85
00128c85loc_128c85:
00128c85mov rax, [rbx+16]
00128c89mov rbx, [rax+360]
00128c90mov eax, 69
00128c95mov rdi, [rbx]
00128c98jmp rdi
00128c9a
00128c9aloc_128c9a:
00128c9acall caml_call_gc
00128c9fjmp 0x128c85
00128c80
00128ca1
00128ca1 // align 0x10
00128ca1 // align 0x10
00128cb0
00128cb0camlLatexscan.get_this_main_1865:
00128cb0mov rsi, rax
00128cb3mov rax, [rbx+24]
00128cb7mov rdi, [rbx+16]
00128cbbmov rbx, rsi
00128cbejmp 0x124b10
00128cb0
00128cb0camlLatexscan.get_this_main_1865:
00128cb0mov rsi, rax
00128cb3mov rax, [rbx+24]
00128cb7mov rdi, [rbx+16]
00128cbbmov rbx, rsi
00128cbejmp 0x124b10
00128cb0
00128cc3
00128cc3 // align 0x10
00128cc3 // align 0x10
00128cd0
00128cd0camlLatexscan.check_this_main_1868:
00128cd0lea r10, [rsp-360]
00128cd8cmp r10, [r14+40]
00128cdcjb 0x128e35
00128ce2
00128ce2loc_128ce2:
00128ce2sub rsp, 24
00128ce6mov [rsp+16], rax
00128cebmov [rsp+8], rbx
00128cf0lea rbx, [rip+0x201379]
00128cf7mov rbx, [rbx+80]
00128cfbmov rbx, [rbx]
00128cfecmp rbx, 3
00128d02jle 0x128d24
00128d04lea rbx, [rip+0x170e1d]
00128d0bcall camlStdlib.$5e_139
00128d10mov rbx, rax
00128d13lea rax, [rip+0x17136e]
00128d1acall camlStdlib.$5e_139
00128d1fcall camlStdlib.prerr_endline_390
00128d24
00128d24loc_128d24:
00128d24lea rax, [rip+0x1edc75]
00128d2bmov rax, [rax+728]
00128d32mov rax, [rax]
00128d35call camlLexstate.start_normal_914
00128d3amov rax, [rsp+8]
00128d3fmov rax, [rax+32]
00128d43mov rsi, [rax+120]
00128d47lea rdi, [rip+0x17591a]
00128d4elea rbx, [rip+0x171323]
00128d55mov eax, 1
00128d5acall caml_apply3
00128d5flea r11, [rip+50]
00128d66push r11
00128d68push [r14+48]
00128d6cmov [r14+48], rsp
00128d70mov rax, [rsp+24]
00128d75mov rax, [rax+24]
00128d79mov rbx, [rsp+32]
00128d7ecall camlLexstate.scan_this_1185
00128d83mov eax, 3
00128d88mov [rsp+16], rax
00128d8dpop [r14+48]
00128d91add rsp, 8
00128d95jmp 0x128da1
00128d97
00128d97 90 .
00128d98mov eax, 1
00128d9dmov [rsp], rax
00128da1
00128da1loc_128da1:
00128da1mov rax, [rsp+8]
00128da6mov rax, [rax+32]
00128daamov rbx, [rax+320]
00128db1lea rax, [rip+0x1712c0]
00128db8mov rdi, [rbx]
00128dbbcall rdi
00128dbdmov eax, 1
00128dc2call camlLexstate.restore_flags_891
00128dc7mov eax, 1
00128dcccall camlLexstate.restore_lexstate_882
00128dd1lea rax, [rip+0x201298]
00128dd8mov rax, [rax+80]
00128ddcmov rax, [rax]
00128ddfcmp rax, 3
00128de3jle 0x128e2c
00128de5mov rax, [rsp]
00128de9cmp rax, 1
00128dedje 0x128df8
00128deflea rbx, [rip+0x16faca]
00128df6jmp 0x128dff
00128df8
00128df8loc_128df8:
00128df8lea rbx, [rip+0x16f361]
00128dff
00128dffloc_128dff:
00128dfflea rax, [rip+0x171262]
00128e06call camlStdlib.$5e_139
00128e0bmov rbx, rax
00128e0emov rax, [rsp+16]
00128e13call camlStdlib.$5e_139
00128e18mov rbx, rax
00128e1blea rax, [rip+0x171266]
00128e22call camlStdlib.$5e_139
00128e27call camlStdlib.prerr_endline_390
00128e2c
00128e2cloc_128e2c:
00128e2cmov rax, [rsp]
00128e30add rsp, 24
00128e34ret
00128e35
00128e35loc_128e35:
00128e35push 38
00128e37call caml_call_realloc_stack
00128e3cpop r10
00128e3ejmp 0x128ce2
00128cd0
00128cd0camlLatexscan.check_this_main_1868:
00128cd0lea r10, [rsp-360]
00128cd8cmp r10, [r14+40]
00128cdcjb 0x128e35
00128ce2
00128ce2loc_128ce2:
00128ce2sub rsp, 24
00128ce6mov [rsp+16], rax
00128cebmov [rsp+8], rbx
00128cf0lea rbx, [rip+0x201379]
00128cf7mov rbx, [rbx+80]
00128cfbmov rbx, [rbx]
00128cfecmp rbx, 3
00128d02jle 0x128d24
00128d04lea rbx, [rip+0x170e1d]
00128d0bcall camlStdlib.$5e_139
00128d10mov rbx, rax
00128d13lea rax, [rip+0x17136e]
00128d1acall camlStdlib.$5e_139
00128d1fcall camlStdlib.prerr_endline_390
00128d24
00128d24loc_128d24:
00128d24lea rax, [rip+0x1edc75]
00128d2bmov rax, [rax+728]
00128d32mov rax, [rax]
00128d35call camlLexstate.start_normal_914
00128d3amov rax, [rsp+8]
00128d3fmov rax, [rax+32]
00128d43mov rsi, [rax+120]
00128d47lea rdi, [rip+0x17591a]
00128d4elea rbx, [rip+0x171323]
00128d55mov eax, 1
00128d5acall caml_apply3
00128d5flea r11, [rip+50]
00128d66push r11
00128d68push [r14+48]
00128d6cmov [r14+48], rsp
00128d70mov rax, [rsp+24]
00128d75mov rax, [rax+24]
00128d79mov rbx, [rsp+32]
00128d7ecall camlLexstate.scan_this_1185
00128d83mov eax, 3
00128d88mov [rsp+16], rax
00128d8dpop [r14+48]
00128d91add rsp, 8
00128d95jmp 0x128da1
00128d97
00128d97 90 .
00128d98mov eax, 1
00128d9dmov [rsp], rax
00128da1
00128da1loc_128da1:
00128da1mov rax, [rsp+8]
00128da6mov rax, [rax+32]
00128daamov rbx, [rax+320]
00128db1lea rax, [rip+0x1712c0]
00128db8mov rdi, [rbx]
00128dbbcall rdi
00128dbdmov eax, 1
00128dc2call camlLexstate.restore_flags_891
00128dc7mov eax, 1
00128dcccall camlLexstate.restore_lexstate_882
00128dd1lea rax, [rip+0x201298]
00128dd8mov rax, [rax+80]
00128ddcmov rax, [rax]
00128ddfcmp rax, 3
00128de3jle 0x128e2c
00128de5mov rax, [rsp]
00128de9cmp rax, 1
00128dedje 0x128df8
00128deflea rbx, [rip+0x16faca]
00128df6jmp 0x128dff
00128df8
00128df8loc_128df8:
00128df8lea rbx, [rip+0x16f361]
00128dff
00128dffloc_128dff:
00128dfflea rax, [rip+0x171262]
00128e06call camlStdlib.$5e_139
00128e0bmov rbx, rax
00128e0emov rax, [rsp+16]
00128e13call camlStdlib.$5e_139
00128e18mov rbx, rax
00128e1blea rax, [rip+0x171266]
00128e22call camlStdlib.$5e_139
00128e27call camlStdlib.prerr_endline_390
00128e2c
00128e2cloc_128e2c:
00128e2cmov rax, [rsp]
00128e30add rsp, 24
00128e34ret
00128e35
00128e35loc_128e35:
00128e35push 38
00128e37call caml_call_realloc_stack
00128e3cpop r10
00128e3ejmp 0x128ce2
00128cd0
00128e43
00128e43 // align 0x10
00128e43 // align 0x10
00128e50
00128e50camlLatexscan.do_get_prim_onarg_1872:
00128e50lea r10, [rsp-432]
00128e58cmp r10, [r14+40]
00128e5cjb 0x12907f
00128e62
00128e62loc_128e62:
00128e62sub rsp, 96
00128e66mov [rsp+80], rax
00128e6bmov [rsp+72], rbx
00128e70mov [rsp+64], rdi
00128e75mov eax, 191
00128e7acall camlLexstate.is_plain_833
00128e7fmov [rsp], rax
00128e83mov eax, 189
00128e88call camlLexstate.is_plain_833
00128e8dmov [rsp+8], rax
00128e92mov eax, 73
00128e97call camlLexstate.is_plain_833
00128e9cmov [rsp+16], rax
00128ea1mov eax, 77
00128ea6call camlLexstate.is_plain_833
00128eabmov [rsp+24], rax
00128eb0mov eax, 79
00128eb5call camlLexstate.is_plain_833
00128ebamov [rsp+32], rax
00128ebfmov eax, 193
00128ec4call camlLexstate.is_plain_833
00128ec9mov [rsp+40], rax
00128ecemov eax, 91
00128ed3call camlLexstate.is_plain_833
00128ed8mov [rsp+48], rax
00128eddmov eax, 69
00128ee2call camlLexstate.is_plain_833
00128ee7mov [rsp+56], rax
00128eecmov eax, 191
00128ef1call camlLexstate.unset_plain_835
00128ef6mov eax, 189
00128efbcall camlLexstate.unset_plain_835
00128f00mov eax, 73
00128f05call camlLexstate.unset_plain_835
00128f0amov eax, 77
00128f0fcall camlLexstate.unset_plain_835
00128f14mov eax, 79
00128f19call camlLexstate.unset_plain_835
00128f1emov eax, 193
00128f23call camlLexstate.unset_plain_835
00128f28mov eax, 91
00128f2dcall camlLexstate.unset_plain_835
00128f32mov eax, 69
00128f37call camlLexstate.set_plain_834
00128f3clea rdx, [rip+0x1eda5d]
00128f43mov rax, [rdx+128]
00128f4amov rdi, [rax]
00128f4dmov rsi, [rdx+280]
00128f54mov rbx, [rsi]
00128f57mov [rsi], 5
00128f5emov [rax], 3
00128f65sub r15, 104
00128f69cmp r15, [r14]
00128f6cjb 0x129075
00128f72
00128f72loc_128f72:
00128f72lea rax, [r15+8]
00128f76mov [rsp+88], rax
00128f7bmov [rax-8], 12535
00128f83lea rsi, [rip+262]
00128f8amov [rax], rsi
00128f8dmov rsi, 0x100000000000005
00128f97mov [rax+8], rsi
00128f9bmov rsi, [rsp]
00128f9fmov [rax+16], rsi
00128fa3mov rsi, [rsp+8]
00128fa8mov [rax+24], rsi
00128facmov rsi, [rsp+16]
00128fb1mov [rax+32], rsi
00128fb5mov rsi, [rsp+24]
00128fbamov [rax+40], rsi
00128fbemov rsi, [rsp+32]
00128fc3mov [rax+48], rsi
00128fc7mov rsi, [rsp+40]
00128fccmov [rax+56], rsi
00128fd0mov rsi, [rsp+48]
00128fd5mov [rax+64], rsi
00128fd9mov rsi, [rsp+56]
00128fdemov [rax+72], rsi
00128fe2mov [rax+80], rdi
00128fe6mov [rax+88], rbx
00128fealea r11, [rip+87]
00128ff1push r11
00128ff3push [r14+48]
00128ff7mov [r14+48], rsp
00128ffbmov rax, [rsp+80]
00129000mov rsi, [rax+24]
00129004mov rax, [rax+32]
00129008mov rdi, [rax+48]
0012900cmov rbx, [rdx+472]
00129013mov rax, [rdx+464]
0012901amov rdx, [rsp+88]
0012901fmov rcx, [rsp+96]
00129024call caml_apply5
00129029mov [rsp+16], rax
0012902emov eax, 1
00129033mov rbx, [rsp+104]
00129038call camlLatexscan.restore_1886
0012903dpop [r14+48]
00129041add rsp, 8
00129045jmp 0x12906c
00129047nop
00129048mov [rsp], rax
0012904cmov eax, 1
00129051mov rbx, [rsp+88]
00129056call camlLatexscan.restore_1886
0012905bmov rax, [rsp]
0012905fmov rsp, [r14+48]
00129063pop [r14+48]
00129067pop r11
00129069jmp r11
0012906c
0012906cloc_12906c:
0012906cmov rax, [rsp]
00129070add rsp, 96
00129074ret
00129075
00129075loc_129075:
00129075call caml_call_gc
0012907ajmp 0x128f72
0012907f
0012907floc_12907f:
0012907fpush 47
00129081call caml_call_realloc_stack
00129086pop r10
00129088jmp 0x128e62
00128e50
00128e50camlLatexscan.do_get_prim_onarg_1872:
00128e50lea r10, [rsp-432]
00128e58cmp r10, [r14+40]
00128e5cjb 0x12907f
00128e62
00128e62loc_128e62:
00128e62sub rsp, 96
00128e66mov [rsp+80], rax
00128e6bmov [rsp+72], rbx
00128e70mov [rsp+64], rdi
00128e75mov eax, 191
00128e7acall camlLexstate.is_plain_833
00128e7fmov [rsp], rax
00128e83mov eax, 189
00128e88call camlLexstate.is_plain_833
00128e8dmov [rsp+8], rax
00128e92mov eax, 73
00128e97call camlLexstate.is_plain_833
00128e9cmov [rsp+16], rax
00128ea1mov eax, 77
00128ea6call camlLexstate.is_plain_833
00128eabmov [rsp+24], rax
00128eb0mov eax, 79
00128eb5call camlLexstate.is_plain_833
00128ebamov [rsp+32], rax
00128ebfmov eax, 193
00128ec4call camlLexstate.is_plain_833
00128ec9mov [rsp+40], rax
00128ecemov eax, 91
00128ed3call camlLexstate.is_plain_833
00128ed8mov [rsp+48], rax
00128eddmov eax, 69
00128ee2call camlLexstate.is_plain_833
00128ee7mov [rsp+56], rax
00128eecmov eax, 191
00128ef1call camlLexstate.unset_plain_835
00128ef6mov eax, 189
00128efbcall camlLexstate.unset_plain_835
00128f00mov eax, 73
00128f05call camlLexstate.unset_plain_835
00128f0amov eax, 77
00128f0fcall camlLexstate.unset_plain_835
00128f14mov eax, 79
00128f19call camlLexstate.unset_plain_835
00128f1emov eax, 193
00128f23call camlLexstate.unset_plain_835
00128f28mov eax, 91
00128f2dcall camlLexstate.unset_plain_835
00128f32mov eax, 69
00128f37call camlLexstate.set_plain_834
00128f3clea rdx, [rip+0x1eda5d]
00128f43mov rax, [rdx+128]
00128f4amov rdi, [rax]
00128f4dmov rsi, [rdx+280]
00128f54mov rbx, [rsi]
00128f57mov [rsi], 5
00128f5emov [rax], 3
00128f65sub r15, 104
00128f69cmp r15, [r14]
00128f6cjb 0x129075
00128f72
00128f72loc_128f72:
00128f72lea rax, [r15+8]
00128f76mov [rsp+88], rax
00128f7bmov [rax-8], 12535
00128f83lea rsi, [rip+262]
00128f8amov [rax], rsi
00128f8dmov rsi, 0x100000000000005
00128f97mov [rax+8], rsi
00128f9bmov rsi, [rsp]
00128f9fmov [rax+16], rsi
00128fa3mov rsi, [rsp+8]
00128fa8mov [rax+24], rsi
00128facmov rsi, [rsp+16]
00128fb1mov [rax+32], rsi
00128fb5mov rsi, [rsp+24]
00128fbamov [rax+40], rsi
00128fbemov rsi, [rsp+32]
00128fc3mov [rax+48], rsi
00128fc7mov rsi, [rsp+40]
00128fccmov [rax+56], rsi
00128fd0mov rsi, [rsp+48]
00128fd5mov [rax+64], rsi
00128fd9mov rsi, [rsp+56]
00128fdemov [rax+72], rsi
00128fe2mov [rax+80], rdi
00128fe6mov [rax+88], rbx
00128fealea r11, [rip+87]
00128ff1push r11
00128ff3push [r14+48]
00128ff7mov [r14+48], rsp
00128ffbmov rax, [rsp+80]
00129000mov rsi, [rax+24]
00129004mov rax, [rax+32]
00129008mov rdi, [rax+48]
0012900cmov rbx, [rdx+472]
00129013mov rax, [rdx+464]
0012901amov rdx, [rsp+88]
0012901fmov rcx, [rsp+96]
00129024call caml_apply5
00129029mov [rsp+16], rax
0012902emov eax, 1
00129033mov rbx, [rsp+104]
00129038call camlLatexscan.restore_1886
0012903dpop [r14+48]
00129041add rsp, 8
00129045jmp 0x12906c
00129047nop
00129048mov [rsp], rax
0012904cmov eax, 1
00129051mov rbx, [rsp+88]
00129056call camlLatexscan.restore_1886
0012905bmov rax, [rsp]
0012905fmov rsp, [r14+48]
00129063pop [r14+48]
00129067pop r11
00129069jmp r11
0012906c
0012906cloc_12906c:
0012906cmov rax, [rsp]
00129070add rsp, 96
00129074ret
00129075
00129075loc_129075:
00129075call caml_call_gc
0012907ajmp 0x128f72
0012907f
0012907floc_12907f:
0012907fpush 47
00129081call caml_call_realloc_stack
00129086pop r10
00129088jmp 0x128e62
00128e50
Loading..