Similarity

00128200
00128200camlLatexscan.fun_4234:
00128200mov rsi, rax
00128203mov rdi, [rbx+16]
00128207mov eax, 191
0012820cmov rbx, rsi
0012820fjmp 0x127fa0
00128200

00128214
00128214 // align 0x10

00128220
00128220camlLatexscan.fun_4240:
00128220mov rsi, rax
00128223mov rdi, [rbx+16]
00128227mov eax, 189
0012822cmov rbx, rsi
0012822fjmp 0x127fa0
00128220

00128234
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

001284d6
001284d6 // align 0x10

001284e0
001284e0camlLatexscan.fun_4287:
001284e0mov rdi, rax
001284e3mov rax, [rbx+16]
001284e7mov rbx, rdi
001284eajmp 0x17f340
001284e0

001284ef
001284ef // align 0x10

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

0012850f
0012850f // align 0x10

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

0012852f
0012852f // align 0x10

00128530
00128530camlLatexscan.fun_4299:
00128530mov eax, 1
00128535ret
00128530

00128536
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

001287d6
001287d6 // align 0x10

001287e0
001287e0camlLatexscan.fun_4334:
001287e0mov rdi, rax
001287e3mov rax, [rbx+16]
001287e7mov rbx, rdi
001287eajmp 0x17f340
001287e0

001287ef
001287ef // align 0x10

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

0012880f
0012880f // align 0x10

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

0012882f
0012882f // align 0x10

00128830
00128830camlLatexscan.fun_4355:
00128830mov eax, 1
00128835ret
00128830

00128836
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

001288c7
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

0012891a
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

001289a7
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

001289fa
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

00128a9a
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

00128b86
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

00128c76
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

00128ca1
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

00128cc3
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

00128e43
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

0012908d
0012908d // align 0x10

00129090
00129090camlLatexscan.restore_1886:
00129090lea r10, [rsp-328]
00129098cmp r10, [r14+40]
0012909cjb 0x129160
001290a2
001290a2loc_1290a2:
001290a2sub rsp, 8
001290a6mov [rsp], rbx
001290aalea rax, [rip+0x1ed8ef]
001290b1mov rdi, [rax+128]
001290b8mov rsi, [rbx+80]
001290bcmov [rdi], rsi
001290bfmov rax, [rax+280]
001290c6mov rdi, [rbx+88]
001290camov [rax], rdi
001290cdmov edi, 191
001290d2mov rax, [rbx+16]
001290d6mov rbx, rdi
001290d9call camlLexstate.plain_back_836
001290demov ebx, 189
001290e3mov rax, [rsp]
001290e7mov rax, [rax+24]
001290ebcall camlLexstate.plain_back_836
001290f0mov ebx, 73
001290f5mov rax, [rsp]
001290f9mov rax, [rax+32]
001290fdcall camlLexstate.plain_back_836
00129102mov ebx, 77
00129107mov rax, [rsp]
0012910bmov rax, [rax+40]
0012910fcall camlLexstate.plain_back_836
00129114mov ebx, 79
00129119mov rax, [rsp]
0012911dmov rax, [rax+48]
00129121call camlLexstate.plain_back_836
00129126mov ebx, 193
0012912bmov rax, [rsp]
0012912fmov rax, [rax+56]
00129133call camlLexstate.plain_back_836
00129138mov ebx, 91
0012913dmov rax, [rsp]
00129141mov rax, [rax+64]
00129145call camlLexstate.plain_back_836
0012914amov ebx, 69
0012914fmov rax, [rsp]
00129153mov rax, [rax+72]
00129157add rsp, 8
0012915bjmp 0x17ce10
00129160
00129160loc_129160:
00129160push 34
00129162call caml_call_realloc_stack
00129167pop r10
00129169jmp 0x1290a2
00129090

0012916e
0012916e // align 0x10

00129170
00129170camlLatexscan.get_prim_onarg_1890:
00129170mov rsi, rax
00129173mov rax, [rbx+16]
00129177mov rdi, [rbx+24]
0012917bmov rbx, rsi
0012917ejmp 0x128e50
00129170

00129183
00129183 // align 0x10

00129190
00129190camlLatexscan.get_prim_onarg_list_1893:
00129190mov rsi, rax
00129193mov rax, [rbx+16]
00129197mov rdi, [rbx+24]
0012919bmov rbx, rsi
0012919ejmp 0x128e50
00129190

001291a3
001291a3 // align 0x10

001291b0
001291b0camlLatexscan.get_prim_1896:
001291b0sub r15, 24
001291b4cmp r15, [r14]
001291b7jb 0x1291f1
001291b9
001291b9loc_1291b9:
001291b9lea rsi, [r15+8]
001291bdmov [rsi-8], 2048
001291c5mov [rsi], rax
001291c8lea rax, [rip+0x1ed7d1]
001291cfmov rax, [rax+728]
001291d6mov rax, [rax]
001291d9mov [rsi+8], rax
001291ddmov rbx, [rbx+16]
001291e1mov rax, [rbx+16]
001291e5mov rdi, [rbx+24]
001291e9mov rbx, rsi
001291ecjmp 0x128e50
001291f1
001291f1loc_1291f1:
001291f1call caml_call_gc
001291f6jmp 0x1291b9
001291b0

001291f8
001291f8 // align 0x10

00129200
00129200camlLatexscan.get_prim_arg_1899:
00129200lea r10, [rsp-328]
00129208cmp r10, [r14+40]
0012920cjb 0x129237
0012920e
0012920eloc_12920e:
0012920esub rsp, 8
00129212mov [rsp], rbx
00129216call camlLexstate.save_arg_1030
0012921bmov rbx, rax
0012921emov rax, [rsp]
00129222mov rdi, [rax+16]
00129226mov rax, [rdi+16]
0012922amov rdi, [rdi+24]
0012922eadd rsp, 8
00129232jmp 0x128e50
00129237
00129237loc_129237:
00129237push 34
00129239call caml_call_realloc_stack
0012923epop r10
00129240jmp 0x12920e
00129200

00129242
00129242 // align 0x10

00129250
00129250camlLatexscan.get_prim_opt_1900:
00129250lea r10, [rsp-328]
00129258cmp r10, [r14+40]
0012925cjb 0x12928c
0012925e
0012925eloc_12925e:
0012925esub rsp, 8
00129262mov [rsp], rdi
00129266call camlLexstate.save_arg_opt_1107
0012926bcall camlLexstate.from_ok_1113
00129270mov rbx, rax
00129273mov rax, [rsp]
00129277mov rdi, [rax+24]
0012927bmov rax, [rdi+16]
0012927fmov rdi, [rdi+24]
00129283add rsp, 8
00129287jmp 0x128e50
0012928c
0012928cloc_12928c:
0012928cpush 34
0012928ecall caml_call_realloc_stack
00129293pop r10
00129295jmp 0x12925e
00129250

00129297
00129297 // align 0x10

001292a0
001292a0camlLatexscan.get_csname_1908:
001292a0mov rdi, rax
001292a3sub r15, 32
001292a7cmp r15, [r14]
001292aajb 0x1292e0
001292ac
001292acloc_1292ac:
001292aclea rax, [r15+8]
001292b0mov [rax-8], 3319
001292b8lea rsi, [rip+49]
001292bfmov [rax], rsi
001292c2mov rsi, 0x100000000000005
001292ccmov [rax+8], rsi
001292d0mov rbx, [rbx+16]
001292d4mov [rax+16], rbx
001292d8mov rbx, rdi
001292dbjmp 0x17e5c0
001292e0
001292e0loc_1292e0:
001292e0call caml_call_gc
001292e5jmp 0x1292ac
001292a0

001292e7
001292e7 // align 0x10

001292f0
001292f0camlLatexscan.fun_4475:
001292f0mov rdi, rax
001292f3lea rax, [rip+0x1c7a66]
001292famov rcx, [rax+24]
001292femov rax, [rbx+16]
00129302lea rbx, [rip+0x1f1e47]
00129309mov rdx, [rbx+152]
00129310add rdx, 32
00129314mov esi, 49
00129319mov rbx, rcx
0012931cjmp 0x181ce0
001292f0

00129321
00129321 // align 0x10

00129330
00129330camlLatexscan.def_fun_1913:
00129330sub r15, 40
00129334cmp r15, [r14]
00129337jb 0x129371
00129339
00129339loc_129339:
00129339lea rsi, [r15+8]
0012933dmov [rsi-8], 4343
00129345lea rdx, [rip+52]
0012934cmov [rsi], rdx
0012934fmov rdx, 0x100000000000005
00129359mov [rsi+8], rdx
0012935dmov rdi, [rdi+24]
00129361mov [rsi+16], rdi
00129365mov [rsi+24], rbx
00129369mov rbx, rsi
0012936cjmp 0x17b120
00129371
00129371loc_129371:
00129371call caml_call_gc
00129376jmp 0x129339
00129330

00129378
00129378 // align 0x10

00129380
00129380camlLatexscan.fun_4492:
00129380lea r10, [rsp-328]
00129388cmp r10, [r14+40]
0012938cjb 0x1293c9
0012938e
0012938eloc_12938e:
0012938esub rsp, 8
00129392mov [rsp], rbx
00129396call camlLexstate.save_arg_1030
0012939bmov rbx, rax
0012939emov eax, 1
001293a3call camlSubst.do_do_subst_this_697
001293a8mov rbx, [rsp]
001293acmov rbx, [rbx+24]
001293b0mov rdi, [rbx]
001293b3call rdi
001293b5mov rbx, rax
001293b8mov rax, [rsp]
001293bcmov rax, [rax+16]
001293c0add rsp, 8
001293c4jmp 0x17f150
001293c9
001293c9loc_1293c9:
001293c9push 34
001293cbcall caml_call_realloc_stack
001293d0pop r10
001293d2jmp 0x12938e
00129380

001293d4
001293d4 // align 0x10

001293e0
001293e0camlLatexscan.do_unskip_1919:
001293e0lea r10, [rsp-328]
001293e8cmp r10, [r14+40]
001293ecjb 0x129431
001293ee
001293eeloc_1293ee:
001293eesub rsp, 8
001293f2mov [rsp], rbx
001293f6cmp r15, [r14]
001293f9jbe 0x12942a
001293fb
001293fbloc_1293fb:
001293fbmov rax, [rbx+16]
001293ffmov rbx, [rax+88]
00129403mov eax, 1
00129408mov rdi, [rbx]
0012940bcall rdi
0012940dmov rax, [rsp]
00129411mov rax, [rax+16]
00129415mov rbx, [rax+464]
0012941cmov eax, 1
00129421mov rdi, [rbx]
00129424add rsp, 8
00129428jmp rdi
0012942a
0012942aloc_12942a:
0012942acall caml_call_gc
0012942fjmp 0x1293fb
00129431
00129431loc_129431:
00129431push 34
00129433call caml_call_realloc_stack
00129438pop r10
0012943ajmp 0x1293ee
001293e0

0012943c
0012943c // align 0x10

00129440
00129440camlLatexscan.fun_4500:
00129440lea r10, [rsp-336]
00129448cmp r10, [r14+40]
0012944cjb 0x12947f
0012944e
0012944eloc_12944e:
0012944esub rsp, 16
00129452mov [rsp+8], rax
00129457mov [rsp], rbx
0012945bmov rbx, [rbx+24]
0012945fmov eax, 1
00129464call camlLatexscan.do_unskip_1919
00129469mov rax, [rsp]
0012946dmov rbx, [rax+16]
00129471mov rax, [rsp+8]
00129476add rsp, 16
0012947ajmp 0x127b00
0012947f
0012947floc_12947f:
0012947fpush 35
00129481call caml_call_realloc_stack
00129486pop r10
00129488jmp 0x12944e
00129440

0012948a
0012948a // align 0x10

00129490
00129490camlLatexscan.fun_4508:
00129490lea r10, [rsp-336]
00129498cmp r10, [r14+40]
0012949cjb 0x12953a
001294a2
001294a2loc_1294a2:
001294a2sub rsp, 16
001294a6mov [rsp], rax
001294aamov [rsp+8], rbx
001294aflea rax, [rip+0x1ed4ea]
001294b6mov rdi, [rax+136]
001294bdmov rdi, [rdi]
001294c0cmp rdi, 1
001294c4jne 0x129518
001294c6mov rax, [rax+144]
001294cdmov rax, [rax]
001294d0cmp rax, 1
001294d4jne 0x129518
001294d6mov rax, [rbx+24]
001294damov rax, [rax]
001294ddmov rbx, [rbx+32]
001294e1call camlLatexscan.par_val_1245
001294e6test al, 1
001294e8je 0x129508
001294eamov rax, [rsp+8]
001294efmov rax, [rax+48]
001294f3mov rbx, [rax+360]
001294famov eax, 65
001294ffmov rdi, [rbx]
00129502call rdi
00129504jmp 0x129524
00129506
00129506 66 90 f.
00129508
00129508loc_129508:
00129508mov rbx, [rsp+8]
0012950dmov rbx, [rbx+16]
00129511call camlLatexscan.top_par_795
00129516jmp 0x129524
00129518
00129518loc_129518:
00129518lea rax, [rip+0x170ae1]
0012951fcall camlMisc.warning_287
00129524
00129524loc_129524:
00129524mov rax, [rsp+8]
00129529mov rbx, [rax+40]
0012952dmov rax, [rsp]
00129531add rsp, 16
00129535jmp 0x127b00
0012953a
0012953aloc_12953a:
0012953apush 35
0012953ccall caml_call_realloc_stack
00129541pop r10
00129543jmp 0x1294a2
00129490

00129548
00129548 // align 0x10

00129550
00129550camlLatexscan.after_input_1926:
00129550lea r10, [rsp-352]
00129558cmp r10, [r14+40]
0012955cjb 0x1295e6
00129562
00129562loc_129562:
00129562sub rsp, 16
00129566mov rsi, rax
00129569mov [rsp], rbx
0012956dlea r11, [rip+48]
00129574push r11
00129576push [r14+48]
0012957amov [r14+48], rsp
0012957emov rdi, [rdi+24]
00129582mov rbx, [rdi+40]
00129586mov rax, [rdi+32]
0012958amov rdx, [rdi+24]
0012958elea rdi, [rip+0x170a5b]
00129595call camlLatexscan.do_expand_command_1473
0012959apop [r14+48]
0012959eadd rsp, 8
001295a2jmp 0x1295cc
001295a4call Stdlib.Printexc.to_string
001295a9mov [rsp+8], rax
001295aelea rax, [rip+0x170943]
001295b5call Stdlib.Printf.sprintf
001295bamov rbx, rax
001295bdmov rdi, [rbx]
001295c0mov rax, [rsp+8]
001295c5call rdi
001295c7call camlMisc.warning_287
001295cc
001295ccloc_1295cc:
001295cclea rax, [rip+0x170a1d]
001295d3mov rbx, [rsp]
001295d7call camlLatexmacros.replace_969
001295dcmov eax, 1
001295e1add rsp, 16
001295e5ret
001295e6
001295e6loc_1295e6:
001295e6push 37
001295e8call caml_call_realloc_stack
001295edpop r10
001295efjmp 0x129562
00129550

001295f4
001295f4 // align 0x10

00129600
00129600camlLatexscan.input_file_1965:
00129600lea r10, [rsp-384]
00129608cmp r10, [r14+40]
0012960cjb 0x129709
00129612
00129612loc_129612:
00129612sub rsp, 48
00129616mov [rsp+24], rax
0012961bmov [rsp+32], rbx
00129620mov [rsp+40], rdi
00129625mov [rsp+8], rsi
0012962amov [rsp], rdx
0012962esub r15, 40
00129632cmp r15, [r14]
00129635jb 0x1296ff
0012963b
0012963bloc_12963b:
0012963blea rax, [r15+8]
0012963fadd rax, 16
00129643mov [rax-8], 2048
0012964blea rbx, [rip+0x1ed34e]
00129652mov rbx, [rbx+56]
00129656mov [rax], rbx
00129659lea rbx, [rip+0x170870]
00129660mov [rax+8], rbx
00129664lea rbx, [rax-16]
00129668mov [rbx-8], 1024
00129670mov [rbx], rax
00129673lea rax, [rip+0x170976]
0012967acall camlLatexmacros.replace_969
0012967fmov [rsp+16], rax
00129684lea r11, [rip+41]
0012968bpush r11
0012968dpush [r14+48]
00129691mov [r14+48], rsp
00129695mov rax, [rsp+40]
0012969amov rbx, [rsp+48]
0012969fmov rdi, [rsp+56]
001296a4call camlLexstate.input_file_1245
001296a9pop [r14+48]
001296adadd rsp, 8
001296b1jmp 0x1296e4
001296b3nop
001296b4mov [rsp+24], rax
001296b9mov rax, [rsp]
001296bdmov rdi, [rax+32]
001296c1mov rax, [rsp+8]
001296c6mov rbx, [rsp+16]
001296cbcall camlLatexscan.after_input_1926
001296d0mov rax, [rsp+24]
001296d5mov rsp, [r14+48]
001296d9pop [r14+48]
001296ddpop r11
001296dfjmp r11
001296e2nop
001296e4
001296e4loc_1296e4:
001296e4mov rax, [rsp]
001296e8mov rdi, [rax+32]
001296ecmov rax, [rsp+8]
001296f1mov rbx, [rsp+16]
001296f6add rsp, 48
001296fajmp 0x129550
001296ff
001296ffloc_1296ff:
001296ffcall caml_call_gc
00129704jmp 0x12963b
00129709
00129709loc_129709:
00129709push 41
0012970bcall caml_call_realloc_stack
00129710pop r10
00129712jmp 0x129612
00129600

00129717
00129717 // align 0x10

00129720
00129720camlLatexscan.do_documentclass_1973:
00129720lea r10, [rsp-384]
00129728cmp r10, [r14+40]
0012972cjb 0x129b37
00129732
00129732loc_129732:
00129732sub rsp, 48
00129736mov [rsp+40], rax
0012973bmov [rsp+32], rbx
00129740mov [rsp+24], rdi
00129745cmp r15, [r14]
00129748jbe 0x129b2d
0012974e
0012974eloc_12974e:
0012974elea rax, [rip+0x170763]
00129755call camlLatexmacros.exists_938
0012975acmp rax, 1
0012975eje 0x1297bc
00129760mov rax, [rsp+40]
00129765mov [rsp], rax
00129769lea rax, [rip+0x170650]
00129770call Stdlib.Printf.sprintf
00129775mov rbx, rax
00129778mov rdi, [rbx]
0012977bmov rax, [rsp]
0012977fcall rdi
00129781sub r15, 24
00129785cmp r15, [r14]
00129788jb 0x129b23
0012978e
0012978eloc_12978e:
0012978elea rbx, [r15+8]
00129792mov [rbx-8], 2048
0012979alea rdi, [rip+0x2008cf]
001297a1mov rdi, [rdi+24]
001297a5mov [rbx], rdi
001297a8mov [rbx+8], rax
001297acmov rax, rbx
001297afmov rsp, [r14+48]
001297b3pop [r14+48]
001297b7pop r11
001297b9jmp r11
001297bc
001297bcloc_1297bc:
001297bclea rdi, [rip+0x1746e5]
001297c3lea rax, [rip+0x1ed1d6]
001297camov rbx, [rax+56]
001297celea rax, [rip+0x1706e3]
001297d5call camlLatexmacros.global_def_953
001297dalea rax, [rip+0x1f7d5f]
001297e1mov rbx, [rax+80]
001297e5mov [rbx], 3
001297ecmov rax, [rax+64]
001297f0call camlDoOut.reset_705
001297f5lea rax, [rip+0x174e6c]
001297fcmov rbx, [rsp+32]
00129801call camlLexstate.save_arg_opt_1107
00129806call camlLexstate.from_ok_1113
0012980bmov rax, [rax]
0012980emov [rsp+8], rax
00129813mov rax, [rsp+32]
00129818call camlLexstate.save_arg_1030
0012981dmov [rsp+16], rax
00129822lea rax, [rip+0x1f7d17]
00129829mov rbx, [rax+80]
0012982dmov [rbx], 1
00129834mov rax, [rax+64]
00129838call camlDoOut.to_string_830
0012983dmov [rsp], rax
00129841lea r11, [rip+120]
00129848push r11
0012984apush [r14+48]
0012984emov [r14+48], rsp
00129852lea rax, [rip+0x1ed147]
00129859mov rax, [rax+192]
00129860mov rax, [rax]
00129863cmp rax, 1
00129867jne 0x1298b5
00129869lea rbx, [rip+0x170540]
00129870mov rax, [rsp+32]
00129875mov rax, [rax]
00129878call camlStdlib.$5e_139
0012987dmov rdi, rax
00129880mov rsi, [rsp+40]
00129885mov rbx, [rsi+32]
00129889lea rax, [rip+0x2007e0]
00129890mov rax, [rax+80]
00129894mov rax, [rax]
00129897cmp rax, 1
0012989bsetg al
0012989emovzx rax, al
001298a2lea rax, [rax+rax+1]
001298a7mov rdx, [rsi+40]
001298abmov rsi, [rsp+48]
001298b0call camlLatexscan.input_file_1965
001298b5
001298b5loc_1298b5:
001298b5pop [r14+48]
001298b9add rsp, 8
001298bdjmp 0x129928
001298bfnop
001298c0lea rbx, [rip+0x1f8399]
001298c7mov rdi, [rbx+8]
001298cbcmp rax, rdi
001298ceje 0x1298e8
001298d0mov rbx, [rbx]
001298d3mov rdi, [rax]
001298d6cmp rdi, rbx
001298d9je 0x1298e8
001298dbmov rsp, [r14+48]
001298dfpop [r14+48]
001298e3pop r11
001298e5jmp r11
001298e8
001298e8loc_1298e8:
001298e8sub r15, 24
001298eccmp r15, [r14]
001298efjb 0x129b19
001298f5
001298f5loc_1298f5:
001298f5lea rax, [r15+8]
001298f9mov [rax-8], 2048
00129901lea rbx, [rip+0x200768]
00129908mov rbx, [rbx+24]
0012990cmov [rax], rbx
0012990flea rbx, [rip+0x170482]
00129916mov [rax+8], rbx
0012991amov rsp, [r14+48]
0012991epop [r14+48]
00129922pop r11
00129924jmp r11
00129927nop
00129928
00129928loc_129928:
00129928lea rsi, [rip+0x170451]
0012992fmov r12, [rsp+40]
00129934mov rdi, r12
00129937mov rbx, rsp
0012993amov rsp, [r14+64]
0012993ecall caml_string_equal
00129943mov rsp, rbx
00129946cmp rax, 1
0012994aje 0x1299f4
00129950sub r15, 24
00129954cmp r15, [r14]
00129957jb 0x129b0f
0012995d
0012995dloc_12995d:
0012995dlea rax, [r15+8]
00129961mov [rax-8], 2048
00129969lea rbx, [rip+0x174518]
00129970mov [rax], rbx
00129973mov rbx, [rsp+8]
00129978mov [rax+8], rbx
0012997clea rbx, [rip+0x1703cd]
00129983call camlStdlib.$40_196
00129988call camlMyLexing.from_list_562
0012998dlea rbx, [rip+0x1f17bc]
00129994mov rdi, [rbx+168]
0012999badd rdi, 24
0012999fmov ebx, 121
001299a4call Save..ocaml_lex_cite_arg_rec
001299a9mov rbx, rax
001299acsub r15, 32
001299b0cmp r15, [r14]
001299b3jb 0x129b05
001299b9
001299b9loc_1299b9:
001299b9lea rax, [r15+8]
001299bdmov [rax-8], 3319
001299c5lea rdi, [rip+388]
001299ccmov [rax], rdi
001299cfmov rdi, 0x100000000000005
001299d9mov [rax+8], rdi
001299ddmov rdi, [rsp+24]
001299e2mov rdi, [rdi+32]
001299e6mov [rax+16], rdi
001299eacall Stdlib.List.iter
001299efjmp 0x129a53
001299f1nop [rax]
001299f4
001299f4loc_1299f4:
001299f4lea rsi, [rip+0x170325]
001299fbmov rdi, r12
001299femov rbx, rsp
00129a01mov rsp, [r14+64]
00129a05call caml_string_equal
00129a0amov rsp, rbx
00129a0dcmp rax, 1
00129a11je 0x129a53
00129a13lea rax, [rip+0x174c4e]
00129a1amov rbx, [rsp+8]
00129a1fcall Stdlib.String.concat
00129a24mov [rsp+8], rax
00129a29lea rax, [rip+0x170198]
00129a30call Stdlib.Printf.sprintf
00129a35mov rbx, rax
00129a38mov rdi, [rbx]
00129a3bmov rax, [rsp+8]
00129a40call rdi
00129a42mov rbx, rax
00129a45mov rax, [rsp+24]
00129a4amov rax, [rax+32]
00129a4ecall camlLexstate.scan_this_1185
00129a53
00129a53loc_129a53:
00129a53mov rax, [rsp+24]
00129a58mov rax, [rax+56]
00129a5cmov rbx, [rax]
00129a5fmov eax, 1
00129a64mov rdi, [rbx]
00129a67call rdi
00129a69mov rax, [rsp+24]
00129a6emov rax, [rax+56]
00129a72mov rbx, [rax+32]
00129a76lea rax, [rip+0x170123]
00129a7dmov rdi, [rbx]
00129a80call rdi
00129a82mov rax, [rsp+24]
00129a87mov rax, [rax+56]
00129a8bmov rbx, [rax+32]
00129a8fmov rdi, [rbx]
00129a92mov rax, [rsp+40]
00129a97call rdi
00129a99mov rax, [rsp+24]
00129a9emov rax, [rax+56]
00129aa2mov rbx, [rax+32]
00129aa6mov rdi, [rbx]
00129aa9mov rax, [rsp]
00129aadcall rdi
00129aafmov rax, [rsp+24]
00129ab4mov rax, [rax+56]
00129ab8mov rbx, [rax+24]
00129abcmov eax, 21
00129ac1mov rdi, [rbx]
00129ac4call rdi
00129ac6mov rax, [rsp+24]
00129acbmov rax, [rax+64]
00129acfmov rax, [rax+8]
00129ad3mov [rsp], rax
00129ad7mov eax, 1
00129adccall camlLatexscan.mk_out_file_1459
00129ae1mov rbx, [rsp]
00129ae5mov rdi, [rbx]
00129ae8call rdi
00129aeamov rax, [rsp+24]
00129aefmov rax, [rax+64]
00129af3mov rbx, [rax+16]
00129af7mov eax, 1
00129afcmov rdi, [rbx]
00129affadd rsp, 48
00129b03jmp rdi
00129b05
00129b05loc_129b05:
00129b05call caml_call_gc
00129b0ajmp 0x1299b9
00129b0f
00129b0floc_129b0f:
00129b0fcall caml_call_gc
00129b14jmp 0x12995d
00129b19
00129b19loc_129b19:
00129b19call caml_call_gc
00129b1ejmp 0x1298f5
00129b23
00129b23loc_129b23:
00129b23call caml_call_gc
00129b28jmp 0x12978e
00129b2d
00129b2dloc_129b2d:
00129b2dcall caml_call_gc
00129b32jmp 0x12974e
00129b37
00129b37loc_129b37:
00129b37push 41
00129b39call caml_call_realloc_stack
00129b3epop r10
00129b40jmp 0x129732
00129720

00129b45
00129b45 // align 0x10

00129b50
00129b50camlLatexscan.fun_4561:
00129b50lea r10, [rsp-328]
00129b58cmp r10, [r14+40]
00129b5cjb 0x129b95
00129b5e
00129b5eloc_129b5e:
00129b5esub rsp, 8
00129b62mov [rsp], rbx
00129b66lea rbx, [rip+0x17430b]
00129b6dcall camlStdlib.$5e_139
00129b72mov rbx, rax
00129b75lea rax, [rip+0x1701ec]
00129b7ccall camlStdlib.$5e_139
00129b81mov rbx, rax
00129b84mov rax, [rsp]
00129b88mov rax, [rax+16]
00129b8cadd rsp, 8
00129b90jmp 0x17f150
00129b95
00129b95loc_129b95:
00129b95push 34
00129b97call caml_call_realloc_stack
00129b9cpop r10
00129b9ejmp 0x129b5e
00129b50

00129ba0
00129ba0camlLatexscan.do_input_1988:
00129ba0lea r10, [rsp-376]
00129ba8cmp r10, [r14+40]
00129bacjb 0x129d5b
00129bb2
00129bb2loc_129bb2:
00129bb2sub rsp, 40
00129bb6mov [rsp+16], rax
00129bbbmov [rsp+8], rbx
00129bc0mov [rsp+24], rdi
00129bc5cmp r15, [r14]
00129bc8jbe 0x129d51
00129bce
00129bceloc_129bce:
00129bcelea rax, [rip+0x1f796b]
00129bd5mov rbx, [rax+80]
00129bd9mov [rbx], 3
00129be0mov rax, [rax+64]
00129be4call camlDoOut.reset_705
00129be9mov rax, [rsp+24]
00129beemov rax, [rax+40]
00129bf2mov [rsp], rax
00129bf6mov rax, [rsp+8]
00129bfbcall camlLexstate.save_arg_1030
00129c00mov rbx, rax
00129c03mov rax, [rsp]
00129c07mov rdi, [rax+16]
00129c0bmov rax, [rdi+16]
00129c0fmov rdi, [rdi+24]
00129c13call camlLatexscan.do_get_prim_onarg_1872
00129c18mov [rsp+32], rax
00129c1dlea rax, [rip+0x1f791c]
00129c24mov rbx, [rax+80]
00129c28mov [rbx], 1
00129c2fmov rax, [rax+64]
00129c33call camlDoOut.to_string_830
00129c38mov [rsp], rax
00129c3clea rsi, [rip+0x16ff45]
00129c43mov rdi, [rsp+16]
00129c48mov rbx, rsp
00129c4bmov rsp, [r14+64]
00129c4fcall caml_string_notequal
00129c54mov rsp, rbx
00129c57cmp rax, 1
00129c5bjne 0x129c80
00129c5dmov rax, [rsp+24]
00129c62mov rbx, [rax+24]
00129c66mov rax, [rsp+32]
00129c6bcall camlLatexscan.check_include_1456
00129c70cmp rax, 1
00129c74jne 0x129c80
00129c76mov eax, 1
00129c7badd rsp, 40
00129c7fret
00129c80
00129c80loc_129c80:
00129c80lea r11, [rip+65]
00129c87push r11
00129c89push [r14+48]
00129c8dmov [r14+48], rsp
00129c91mov rdi, [rsp+40]
00129c96mov rbx, [rdi+32]
00129c9alea rax, [rip+0x2003cf]
00129ca1mov rax, [rax+80]
00129ca5mov rax, [rax]
00129ca8mov rdx, [rdi+48]
00129cacmov rdi, [rsp+48]
00129cb1mov rsi, [rsp+24]
00129cb6call camlLatexscan.input_file_1965
00129cbbpop [r14+48]
00129cbfadd rsp, 8
00129cc3jmp 0x129d4c
00129cc8lea rbx, [rip+0x1f7f91]
00129ccfmov rdi, [rbx+8]
00129cd3cmp rax, rdi
00129cd6jne 0x129d24
00129cd8mov rax, [rsp+24]
00129cddmov rax, [rax+56]
00129ce1mov rbx, [rax+32]
00129ce5mov rdi, [rbx]
00129ce8mov rax, [rsp+16]
00129cedcall rdi
00129cefmov rax, [rsp+24]
00129cf4mov rax, [rax+56]
00129cf8mov rbx, [rax+32]
00129cfcmov rdi, [rbx]
00129cffmov rax, [rsp]
00129d03call rdi
00129d05mov rax, [rsp+24]
00129d0amov rax, [rax+56]
00129d0emov rbx, [rax+32]
00129d12lea rax, [rip+0x16fe5f]
00129d19mov rdi, [rbx]
00129d1cadd rsp, 40
00129d20jmp rdi
00129d22nop
00129d24
00129d24loc_129d24:
00129d24mov rbx, [rbx]
00129d27mov rdi, [rax]
00129d2acmp rdi, rbx
00129d2djne 0x129d3c
00129d2fmov eax, 1
00129d34add rsp, 40
00129d38ret
00129d39nop [rax]
00129d3c
00129d3cloc_129d3c:
00129d3cmov rsp, [r14+48]
00129d40pop [r14+48]
00129d44pop r11
00129d46jmp r11
00129d49nop [rax]
00129d4c
00129d4cloc_129d4c:
00129d4cadd rsp, 40
00129d50ret
00129d51
00129d51loc_129d51:
00129d51call caml_call_gc
00129d56jmp 0x129bce
00129d5b
00129d5bloc_129d5b:
00129d5bpush 40
00129d5dcall caml_call_realloc_stack
00129d62pop r10
00129d64jmp 0x129bb2
00129ba0

00129d69
00129d69 // align 0x10

00129d70
00129d70camlLatexscan.fun_4591:
00129d70mov rsi, rax
00129d73mov rax, [rbx+16]
00129d77mov rdi, [rbx+24]
00129d7bmov rbx, rsi
00129d7ejmp 0x129ba0
00129d70

00129d83
00129d83 // align 0x10

00129d90
00129d90camlLatexscan.fun_4602:
00129d90mov rsi, rax
00129d93mov rax, [rbx+16]
00129d97mov rdi, [rbx+24]
00129d9bmov rbx, rsi
00129d9ejmp 0x129ba0
00129d90

00129da3
00129da3 // align 0x10

00129db0
00129db0camlLatexscan.do_newcommand_1994:
00129db0lea r10, [rsp-368]
00129db8cmp r10, [r14+40]
00129dbcjb 0x12a2c7
00129dc2
00129dc2loc_129dc2:
00129dc2sub rsp, 48
00129dc6mov [rsp+24], rax
00129dcbmov [rsp], rbx
00129dcfmov [rsp+8], rdi
00129dd4lea rax, [rip+0x1f7765]
00129ddbmov rbx, [rax+80]
00129ddfmov [rbx], 3
00129de6mov rax, [rax+64]
00129deacall camlDoOut.reset_705
00129defmov rax, [rsp+8]
00129df4mov rbx, [rax+32]
00129df8mov rax, [rsp]
00129dfccall camlLatexscan.get_csname_1908
00129e01mov [rsp+40], rax
00129e06lea rax, [rip+0x170543]
00129e0dmov rbx, [rsp]
00129e11call camlLexstate.save_opts_1158
00129e16mov [rsp+16], rax
00129e1bmov rax, [rsp]
00129e1fcall camlLexstate.save_body_1031
00129e24mov rbx, rax
00129e27mov eax, 1
00129e2ccall camlSubst.do_do_subst_this_list_777
00129e31sub r15, 48
00129e35cmp r15, [r14]
00129e38jb 0x12a2bd
00129e3e
00129e3eloc_129e3e:
00129e3elea rdi, [r15+8]
00129e42mov [rdi-8], 5367
00129e4alea rbx, [rip+1167]
00129e51mov [rdi], rbx
00129e54mov rbx, 0x100000000000005
00129e5emov [rdi+8], rbx
00129e62mov rsi, [rsp+8]
00129e67mov rbx, [rsi+24]
00129e6bmov [rdi+16], rbx
00129e6fmov rcx, [rsp+24]
00129e74mov [rdi+24], rcx
00129e78mov rbx, [rsi+40]
00129e7cmov [rdi+32], rbx
00129e80mov rbx, [rsp+16]
00129e85test bl, 1
00129e88jne 0x12a23c
00129e8emov rsi, [rbx+8]
00129e92test sil, 1
00129e96jne 0x12a23c
00129e9cmov rdx, [rsi+8]
00129ea0test dl, 1
00129ea3je 0x12a23c
00129ea9mov [rsp+16], rdi
00129eaemov [rsp+32], rax
00129eb3mov [rsp+24], rcx
00129eb8mov rax, [rsi]
00129ebbmov rdi, [rax]
00129ebemovzx rsi, [rdi-8]
00129ec3test rsi, rsi
00129ec6je 0x129f10
00129ec8mov rax, [rax+8]
00129eccmov rdi, [rdi]
00129ecfsub r15, 48
00129ed3cmp r15, [r14]
00129ed6jb 0x12a2b3
00129edc
00129edcloc_129edc:
00129edclea rsi, [r15+8]
00129ee0add rsi, 24
00129ee4mov [rsi-8], 2048
00129eecmov [rsi], rdi
00129eefmov [rsi+8], rax
00129ef3lea rax, [rsi-24]
00129ef7mov [rsp], rax
00129efbmov [rax-8], 2048
00129f03mov [rax], 3
00129f0amov [rax+8], rsi
00129f0ejmp 0x129f6d
00129f10
00129f10loc_129f10:
00129f10mov rax, [rax+8]
00129f14sub r15, 72
00129f18cmp r15, [r14]
00129f1bjb 0x12a2a9
00129f21
00129f21loc_129f21:
00129f21lea rsi, [r15+8]
00129f25add rsi, 48
00129f29mov [rsi-8], 2048
00129f31mov rdi, [rdi]
00129f34mov [rsi], rdi
00129f37mov [rsi+8], 1
00129f3flea rdi, [rsi-24]
00129f43mov [rdi-8], 2048
00129f4bmov [rdi], rsi
00129f4emov [rdi+8], rax
00129f52lea rax, [rdi-24]
00129f56mov [rax-8], 2048
00129f5emov [rax], 1
00129f65mov [rax+8], rdi
00129f69mov [rsp], rax
00129f6d
00129f6dloc_129f6d:
00129f6dmov rax, [rbx]
00129f70call camlLexstate.from_ok_1113
00129f75mov rbx, rax
00129f78lea rax, [rip+0x1cb8e1]
00129f7fmov rax, [rax+280]
00129f86call camlGet.do_get_int_873
00129f8bmov [rsp+8], rax
00129f90mov rbx, [rsp]
00129f94mov rax, [rbx]
00129f97cmp rax, 1
00129f9bje 0x129fe0
00129f9dmov rbx, [rbx+8]
00129fa1mov eax, 1
00129fa6call camlSubst.do_do_subst_this_list_777
00129fabmov rbx, rax
00129faelea rax, [rip+0x1c6edb]
00129fb5call Stdlib.String.concat
00129fbasub r15, 24
00129fbecmp r15, [r14]
00129fc1jb 0x12a29f
00129fc7
00129fc7loc_129fc7:
00129fc7lea rbx, [r15+8]
00129fcbmov [rbx-8], 2048
00129fd3mov [rbx], rax
00129fd6mov [rbx+8], 1
00129fdejmp 0x129fe5
00129fe0
00129fe0loc_129fe0:
00129fe0mov ebx, 1
00129fe5
00129fe5loc_129fe5:
00129fe5mov rax, rbx
00129fe8mov rbx, [rsp+8]
00129fedcall camlLexstate.latex_pat_577
00129ff2mov rbx, rax
00129ff5mov rsi, [rsp+24]
00129ffamov rax, [rsi-8]
00129ffeshr rax, 10
0012a002cmp rax, 2
0012a006je 0x12a014
0012a008mov [rsp], rbx
0012a00cjmp 0x12a0e9
0012a011nop [rax]
0012a014
0012a014loc_12a014:
0012a014mov rax, [rsi]
0012a017mov rdi, 0x636563726f66405c
0012a021cmp rax, rdi
0012a024jne 0x12a070
0012a026mov rax, [rsi+8]
0012a02amov rdi, 0x100646e616d6d6f
0012a034cmp rax, rdi
0012a037jne 0x12a068
0012a039sub r15, 16
0012a03dcmp r15, [r14]
0012a040jb 0x12a295
0012a046
0012a046loc_12a046:
0012a046lea rdi, [r15+8]
0012a04amov [rdi-8], 1024
0012a052mov rax, [rsp+32]
0012a057mov [rdi], rax
0012a05amov rax, [rsp+40]
0012a05fadd rsp, 48
0012a063jmp 0x17af20
0012a068
0012a068loc_12a068:
0012a068mov [rsp], rbx
0012a06cjmp 0x12a0e9
0012a06enop
0012a070
0012a070loc_12a070:
0012a070mov [rsp], rbx
0012a074mov rbx, 0x6d6d6f6377656e5c
0012a07ecmp rax, rbx
0012a081jne 0x12a0b0
0012a083mov rax, [rsi+8]
0012a087mov rbx, 0x30000002a646e61
0012a091cmp rax, rbx
0012a094je 0x12a148
0012a09amov rbx, 0x400000000646e61
0012a0a4cmp rax, rbx
0012a0a7je 0x12a148
0012a0adjmp 0x12a0e9
0012a0afnop
0012a0b0
0012a0b0loc_12a0b0:
0012a0b0mov rbx, 0x6f6377656e65725c
0012a0bacmp rax, rbx
0012a0bdjne 0x12a0e9
0012a0bfmov rax, [rsi+8]
0012a0c3mov rbx, 0x1002a646e616d6d
0012a0cdcmp rax, rbx
0012a0d0je 0x12a1c4
0012a0d6mov rbx, 0x20000646e616d6d
0012a0e0cmp rax, rbx
0012a0e3je 0x12a1c4
0012a0e9
0012a0e9loc_12a0e9:
0012a0e9mov eax, 1
0012a0eemov rbx, [rsp+16]
0012a0f3call camlLatexscan.echo_2001
0012a0f8mov rax, [rsp+40]
0012a0fdcall camlLatexmacros.exists_938
0012a102cmp rax, 1
0012a106je 0x12a114
0012a108mov eax, 1
0012a10dadd rsp, 48
0012a111ret
0012a112nop
0012a114
0012a114loc_12a114:
0012a114sub r15, 16
0012a118cmp r15, [r14]
0012a11bjb 0x12a28b
0012a121
0012a121loc_12a121:
0012a121lea rdi, [r15+8]
0012a125mov [rdi-8], 1024
0012a12dmov rax, [rsp+32]
0012a132mov [rdi], rax
0012a135mov rax, [rsp+40]
0012a13amov rbx, [rsp]
0012a13eadd rsp, 48
0012a142jmp 0x17af20
0012a147nop
0012a148
0012a148loc_12a148:
0012a148mov eax, 1
0012a14dmov rbx, [rsp+16]
0012a152call camlLatexscan.echo_2001
0012a157mov rax, [rsp+40]
0012a15ccall camlLatexmacros.exists_938
0012a161cmp rax, 1
0012a165je 0x12a190
0012a167lea rbx, [rip+0x16f972]
0012a16emov rax, [rsp+40]
0012a173call camlStdlib.$5e_139
0012a178mov rbx, rax
0012a17blea rax, [rip+0x16f97e]
0012a182call camlStdlib.$5e_139
0012a187add rsp, 48
0012a18bjmp 0x1919c0
0012a190
0012a190loc_12a190:
0012a190sub r15, 16
0012a194cmp r15, [r14]
0012a197jb 0x12a281
0012a19d
0012a19dloc_12a19d:
0012a19dlea rdi, [r15+8]
0012a1a1mov [rdi-8], 1024
0012a1a9mov rax, [rsp+32]
0012a1aemov [rdi], rax
0012a1b1mov rax, [rsp+40]
0012a1b6mov rbx, [rsp]
0012a1baadd rsp, 48
0012a1bejmp 0x17af20
0012a1c3nop
0012a1c4
0012a1c4loc_12a1c4:
0012a1c4mov rax, [rsp+40]
0012a1c9call camlLatexmacros.exists_938
0012a1cecmp rax, 1
0012a1d2je 0x12a1e8
0012a1d4mov eax, 1
0012a1d9mov rbx, [rsp+16]
0012a1decall camlLatexscan.echo_2001
0012a1e3jmp 0x12a20d
0012a1e5nop [rax]
0012a1e8
0012a1e8loc_12a1e8:
0012a1e8lea rbx, [rip+0x16f8b9]
0012a1efmov rax, [rsp+40]
0012a1f4call camlStdlib.$5e_139
0012a1f9mov rbx, rax
0012a1fclea rax, [rip+0x16f8c5]
0012a203call camlStdlib.$5e_139
0012a208call camlMisc.warning_287
0012a20d
0012a20dloc_12a20d:
0012a20dsub r15, 16
0012a211cmp r15, [r14]
0012a214jb 0x12a27a
0012a216
0012a216loc_12a216:
0012a216lea rdi, [r15+8]
0012a21amov [rdi-8], 1024
0012a222mov rax, [rsp+32]
0012a227mov [rdi], rax
0012a22amov rax, [rsp+40]
0012a22fmov rbx, [rsp]
0012a233add rsp, 48
0012a237jmp 0x17af20
0012a23c
0012a23cloc_12a23c:
0012a23csub r15, 24
0012a240cmp r15, [r14]
0012a243jb 0x12a273
0012a245
0012a245loc_12a245:
0012a245lea rax, [r15+8]
0012a249mov [rax-8], 2048
0012a251lea rbx, [rip+0x14bfb0]
0012a258mov [rax], rbx
0012a25blea rbx, [rip+0x16f826]
0012a262mov [rax+8], rbx
0012a266mov rsp, [r14+48]
0012a26apop [r14+48]
0012a26epop r11
0012a270jmp r11
0012a273
0012a273loc_12a273:
0012a273call caml_call_gc
0012a278jmp 0x12a245
0012a27a
0012a27aloc_12a27a:
0012a27acall caml_call_gc
0012a27fjmp 0x12a216
0012a281
0012a281loc_12a281:
0012a281call caml_call_gc
0012a286jmp 0x12a19d
0012a28b
0012a28bloc_12a28b:
0012a28bcall caml_call_gc
0012a290jmp 0x12a121
0012a295
0012a295loc_12a295:
0012a295call caml_call_gc
0012a29ajmp 0x12a046
0012a29f
0012a29floc_12a29f:
0012a29fcall caml_call_gc
0012a2a4jmp 0x129fc7
0012a2a9
0012a2a9loc_12a2a9:
0012a2a9call caml_call_gc
0012a2aejmp 0x129f21
0012a2b3
0012a2b3loc_12a2b3:
0012a2b3call caml_call_gc
0012a2b8jmp 0x129edc
0012a2bd
0012a2bdloc_12a2bd:
0012a2bdcall caml_call_gc
0012a2c2jmp 0x129e3e
0012a2c7
0012a2c7loc_12a2c7:
0012a2c7push 39
0012a2c9call caml_call_realloc_stack
0012a2cepop r10
0012a2d0jmp 0x129dc2
00129db0