File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
Loading..
00178b88
00178b88 // align 0x10
00178b88 // align 0x10
00178b90
00178b90camlElement.pretty_text_275:
00178b90lea r10, [rsp-328]
00178b98cmp r10, [r14+40]
00178b9cjb 0x178c49
00178ba2
00178ba2loc_178ba2:
00178ba2sub rsp, 8
00178ba6mov rdi, rax
00178ba9mov [rsp], rdi
00178badmovzx rax, [rdi-8]
00178bb2lea rdx, [rip+0xb3a17]
00178bb9movsxd rax, [rdx+4*rax]
00178bbdadd rdx, rax
00178bc0jmp rdx
00178bc2nop
00178bc4mov rbx, [rdi]
00178bc7lea rax, [rip+0x19ac22]
00178bceadd rsp, 8
00178bd2jmp 0x195ba0
00178bd7nop
00178bd8mov rax, [rdi]
00178bdbcall camlStdlib.string_of_int_175
00178be0mov rbx, rax
00178be3lea rax, [rip+0x19abee]
00178beaadd rsp, 8
00178beejmp 0x195ba0
00178bf3nop
00178bf4mov rbx, [rdi]
00178bf7lea rax, [rip+0x19abc2]
00178bfeadd rsp, 8
00178c02jmp 0x195ba0
00178c07nop
00178c08lea rbx, [rip+0x19ab71]
00178c0fmov rax, [rdi+8]
00178c13call camlStdlib.$5e_139
00178c18mov rbx, rax
00178c1blea rax, [rip+0x19ab6e]
00178c22call camlStdlib.$5e_139
00178c27mov rbx, rax
00178c2amov rax, [rsp]
00178c2emov rax, [rax]
00178c31call camlStdlib.$5e_139
00178c36mov rbx, rax
00178c39lea rax, [rip+0x19ab60]
00178c40add rsp, 8
00178c44jmp 0x195ba0
00178c49
00178c49loc_178c49:
00178c49push 34
00178c4bcall caml_call_realloc_stack
00178c50pop r10
00178c52jmp 0x178ba2
00178b90
00178b90camlElement.pretty_text_275:
00178b90lea r10, [rsp-328]
00178b98cmp r10, [r14+40]
00178b9cjb 0x178c49
00178ba2
00178ba2loc_178ba2:
00178ba2sub rsp, 8
00178ba6mov rdi, rax
00178ba9mov [rsp], rdi
00178badmovzx rax, [rdi-8]
00178bb2lea rdx, [rip+0xb3a17]
00178bb9movsxd rax, [rdx+4*rax]
00178bbdadd rdx, rax
00178bc0jmp rdx
00178bc2nop
00178bc4mov rbx, [rdi]
00178bc7lea rax, [rip+0x19ac22]
00178bceadd rsp, 8
00178bd2jmp 0x195ba0
00178bd7nop
00178bd8mov rax, [rdi]
00178bdbcall camlStdlib.string_of_int_175
00178be0mov rbx, rax
00178be3lea rax, [rip+0x19abee]
00178beaadd rsp, 8
00178beejmp 0x195ba0
00178bf3nop
00178bf4mov rbx, [rdi]
00178bf7lea rax, [rip+0x19abc2]
00178bfeadd rsp, 8
00178c02jmp 0x195ba0
00178c07nop
00178c08lea rbx, [rip+0x19ab71]
00178c0fmov rax, [rdi+8]
00178c13call camlStdlib.$5e_139
00178c18mov rbx, rax
00178c1blea rax, [rip+0x19ab6e]
00178c22call camlStdlib.$5e_139
00178c27mov rbx, rax
00178c2amov rax, [rsp]
00178c2emov rax, [rax]
00178c31call camlStdlib.$5e_139
00178c36mov rbx, rax
00178c39lea rax, [rip+0x19ab60]
00178c40add rsp, 8
00178c44jmp 0x195ba0
00178c49
00178c49loc_178c49:
00178c49push 34
00178c4bcall caml_call_realloc_stack
00178c50pop r10
00178c52jmp 0x178ba2
00178b90
00178c57
00178c57 // align 0x10
00178c57 // align 0x10
00178c60
00178c60camlElement.entry:
00178c60lea rsi, [rip+0x19aae1]
00178c67lea rdi, [rip+0x19aaf2]
00178c6emov rbx, rsp
00178c71mov rsp, [r14+64]
00178c75call caml_initialize
00178c7amov rsp, rbx
00178c7dmov eax, 1
00178c82ret
00178c60
00178c60camlElement.entry:
00178c60lea rsi, [rip+0x19aae1]
00178c67lea rdi, [rip+0x19aaf2]
00178c6emov rbx, rsp
00178c71mov rsp, [r14+64]
00178c75call caml_initialize
00178c7amov rsp, rbx
00178c7dmov eax, 1
00178c82ret
00178c60
00178c83
00178c83 // align 0x10
00178c83 // align 0x10
00178c90
00178c90camlCounter.prerr_cc_360:
00178c90lea r10, [rsp-336]
00178c98cmp r10, [r14+40]
00178c9cjb 0x178d59
00178ca2
00178ca2loc_178ca2:
00178ca2sub rsp, 16
00178ca6mov [rsp], rax
00178caamov [rsp+8], rbx
00178cafmov rbx, [rbx]
00178cb2lea rax, [rip+0x19ae6f]
00178cb9call camlStdlib.$5e_139
00178cbecall camlStdlib.prerr_endline_390
00178cc3mov rax, [rsp+8]
00178cc8mov rax, [rax+8]
00178ccccall camlStdlib.string_of_int_175
00178cd1mov rbx, rax
00178cd4lea rax, [rip+0x19ae35]
00178cdbcall camlStdlib.$5e_139
00178ce0call camlStdlib.prerr_endline_390
00178ce5lea rbx, [rip+0x19ae0c]
00178ceclea rax, [rip+0x1b4925]
00178cf3mov rax, [rax+312]
00178cfacall camlStdlib.output_string_253
00178cffsub r15, 32
00178d03cmp r15, [r14]
00178d06jb 0x178d52
00178d08
00178d08loc_178d08:
00178d08lea rax, [r15+8]
00178d0cmov [rax-8], 3319
00178d14lea rbx, [rip+85]
00178d1bmov [rax], rbx
00178d1emov rbx, 0x100000000000005
00178d28mov [rax+8], rbx
00178d2cmov rbx, [rsp]
00178d30mov [rax+16], rbx
00178d34mov rbx, [rsp+8]
00178d39mov rbx, [rbx+16]
00178d3dcall Stdlib.List.iter
00178d42lea rax, [rip+0x19af7f]
00178d49add rsp, 16
00178d4djmp 0x196d50
00178d52
00178d52loc_178d52:
00178d52call caml_call_gc
00178d57jmp 0x178d08
00178d59
00178d59loc_178d59:
00178d59push 35
00178d5bcall caml_call_realloc_stack
00178d60pop r10
00178d62jmp 0x178ca2
00178c90
00178c90camlCounter.prerr_cc_360:
00178c90lea r10, [rsp-336]
00178c98cmp r10, [r14+40]
00178c9cjb 0x178d59
00178ca2
00178ca2loc_178ca2:
00178ca2sub rsp, 16
00178ca6mov [rsp], rax
00178caamov [rsp+8], rbx
00178cafmov rbx, [rbx]
00178cb2lea rax, [rip+0x19ae6f]
00178cb9call camlStdlib.$5e_139
00178cbecall camlStdlib.prerr_endline_390
00178cc3mov rax, [rsp+8]
00178cc8mov rax, [rax+8]
00178ccccall camlStdlib.string_of_int_175
00178cd1mov rbx, rax
00178cd4lea rax, [rip+0x19ae35]
00178cdbcall camlStdlib.$5e_139
00178ce0call camlStdlib.prerr_endline_390
00178ce5lea rbx, [rip+0x19ae0c]
00178ceclea rax, [rip+0x1b4925]
00178cf3mov rax, [rax+312]
00178cfacall camlStdlib.output_string_253
00178cffsub r15, 32
00178d03cmp r15, [r14]
00178d06jb 0x178d52
00178d08
00178d08loc_178d08:
00178d08lea rax, [r15+8]
00178d0cmov [rax-8], 3319
00178d14lea rbx, [rip+85]
00178d1bmov [rax], rbx
00178d1emov rbx, 0x100000000000005
00178d28mov [rax+8], rbx
00178d2cmov rbx, [rsp]
00178d30mov [rax+16], rbx
00178d34mov rbx, [rsp+8]
00178d39mov rbx, [rbx+16]
00178d3dcall Stdlib.List.iter
00178d42lea rax, [rip+0x19af7f]
00178d49add rsp, 16
00178d4djmp 0x196d50
00178d52
00178d52loc_178d52:
00178d52call caml_call_gc
00178d57jmp 0x178d08
00178d59
00178d59loc_178d59:
00178d59push 35
00178d5bcall caml_call_realloc_stack
00178d60pop r10
00178d62jmp 0x178ca2
00178c90
00178d67
00178d67 // align 0x10
00178d67 // align 0x10
00178d70
00178d70camlCounter.fun_764:
00178d70lea r10, [rsp-336]
00178d78cmp r10, [r14+40]
00178d7cjb 0x178de3
00178d7e
00178d7eloc_178d7e:
00178d7esub rsp, 16
00178d82mov [rsp+8], rax
00178d87mov [rsp], rbx
00178d8blea rbx, [rip+0x19ad56]
00178d92lea rax, [rip+0x1b487f]
00178d99mov rax, [rax+312]
00178da0call camlStdlib.output_string_253
00178da5mov rax, [rsp]
00178da9mov rax, [rax+16]
00178dadmov rbx, [rax-8]
00178db1shr rbx, 9
00178db5mov rdi, [rsp+8]
00178dbacmp rbx, rdi
00178dbdjbe 0x178dde
00178dbfmov rax, [rax+4*rdi-4]
00178dc4mov rbx, [rax]
00178dc7lea rax, [rip+0x1b484a]
00178dcemov rax, [rax+312]
00178dd5add rsp, 16
00178dd9jmp 0x1963d0
00178dde
00178ddeloc_178dde:
00178ddecall caml_ml_array_bound_error
00178de3
00178de3loc_178de3:
00178de3push 35
00178de5call caml_call_realloc_stack
00178deapop r10
00178decjmp 0x178d7e
00178d70
00178d70camlCounter.fun_764:
00178d70lea r10, [rsp-336]
00178d78cmp r10, [r14+40]
00178d7cjb 0x178de3
00178d7e
00178d7eloc_178d7e:
00178d7esub rsp, 16
00178d82mov [rsp+8], rax
00178d87mov [rsp], rbx
00178d8blea rbx, [rip+0x19ad56]
00178d92lea rax, [rip+0x1b487f]
00178d99mov rax, [rax+312]
00178da0call camlStdlib.output_string_253
00178da5mov rax, [rsp]
00178da9mov rax, [rax+16]
00178dadmov rbx, [rax-8]
00178db1shr rbx, 9
00178db5mov rdi, [rsp+8]
00178dbacmp rbx, rdi
00178dbdjbe 0x178dde
00178dbfmov rax, [rax+4*rdi-4]
00178dc4mov rbx, [rax]
00178dc7lea rax, [rip+0x1b484a]
00178dcemov rax, [rax+312]
00178dd5add rsp, 16
00178dd9jmp 0x1963d0
00178dde
00178ddeloc_178dde:
00178ddecall caml_ml_array_bound_error
00178de3
00178de3loc_178de3:
00178de3push 35
00178de5call caml_call_realloc_stack
00178deapop r10
00178decjmp 0x178d7e
00178d70
00178dee
00178dee // align 0x10
00178dee // align 0x10
00178df0
00178df0camlCounter.checkpoint_485:
00178df0lea r10, [rsp-352]
00178df8cmp r10, [r14+40]
00178dfcjb 0x178fb9
00178e02
00178e02loc_178e02:
00178e02sub rsp, 32
00178e06lea rbx, [rip+0x19aaa3]
00178e0dlea rax, [rip+0x1f11f4]
00178e14mov rdi, [rax+216]
00178e1bsub r15, 24
00178e1fcmp r15, [r14]
00178e22jb 0x178faf
00178e28
00178e28loc_178e28:
00178e28lea rax, [r15+8]
00178e2cmov [rax-8], 2048
00178e34mov [rax], rbx
00178e37mov [rax+8], rdi
00178e3bcall Stdlib.Hashtbl.Make
00178e40mov [rsp], rax
00178e44mov eax, 1
00178e49mov ebx, 39
00178e4ecall Stdlib.Hashtbl.create_inner
00178e53mov [rsp+24], rax
00178e58sub r15, 72
00178e5ccmp r15, [r14]
00178e5fjb 0x178fa5
00178e65
00178e65loc_178e65:
00178e65lea rbx, [r15+8]
00178e69add rbx, 56
00178e6dmov [rsp+8], rbx
00178e72mov [rbx-8], 1024
00178e7amov [rbx], 1
00178e81lea rdi, [rbx-56]
00178e85mov [rdi-8], 6391
00178e8dlea rsi, [rip-0x81e74]
00178e94mov [rdi], rsi
00178e97mov rsi, 0x200000000000007
00178ea1mov [rdi+8], rsi
00178ea5lea rsi, [rip+308]
00178eacmov [rdi+16], rsi
00178eb0mov rsi, [rsp]
00178eb4mov [rdi+24], rsi
00178eb8mov [rdi+32], rax
00178ebcmov [rdi+40], rbx
00178ec0lea rax, [rip+0x19ab79]
00178ec7mov rbx, [rax+80]
00178ecbmov rax, rdi
00178ececall Stdlib.Hashtbl.iter
00178ed3sub r15, 40
00178ed7cmp r15, [r14]
00178edajb 0x178f9b
00178ee0
00178ee0loc_178ee0:
00178ee0lea rax, [r15+8]
00178ee4mov [rsp+16], rax
00178ee9mov [rax-8], 4343
00178ef1lea rbx, [rip+360]
00178ef8mov [rax], rbx
00178efbmov rbx, 0x100000000000005
00178f05mov [rax+8], rbx
00178f09mov rbx, [rsp]
00178f0dmov [rax+16], rbx
00178f11mov rbx, [rsp+24]
00178f16mov [rax+24], rbx
00178f1alea rsi, [rip+0x19acaf]
00178f21mov rax, [rsp+8]
00178f26mov rdi, [rax]
00178f29lea rax, [rip+0x80d70]
00178f30call caml_c_call
00178f35mov [rsp], rax
00178f39sub r15, 48
00178f3dcmp r15, [r14]
00178f40jb 0x178f94
00178f42
00178f42loc_178f42:
00178f42lea rbx, [r15+8]
00178f46mov [rbx-8], 5367
00178f4elea rdi, [rip-0x81f35]
00178f55mov [rbx], rdi
00178f58mov rdi, 0x200000000000007
00178f62mov [rbx+8], rdi
00178f66lea rdi, [rip+371]
00178f6dmov [rbx+16], rdi
00178f71mov rdi, [rsp+16]
00178f76mov [rbx+24], rdi
00178f7amov [rbx+32], rax
00178f7emov rax, rbx
00178f81mov rbx, [rsp+24]
00178f86call Stdlib.Hashtbl.iter
00178f8bmov rax, [rsp]
00178f8fadd rsp, 32
00178f93ret
00178f94
00178f94loc_178f94:
00178f94call caml_call_gc
00178f99jmp 0x178f42
00178f9b
00178f9bloc_178f9b:
00178f9bcall caml_call_gc
00178fa0jmp 0x178ee0
00178fa5
00178fa5loc_178fa5:
00178fa5call caml_call_gc
00178faajmp 0x178e65
00178faf
00178fafloc_178faf:
00178fafcall caml_call_gc
00178fb4jmp 0x178e28
00178fb9
00178fb9loc_178fb9:
00178fb9push 37
00178fbbcall caml_call_realloc_stack
00178fc0pop r10
00178fc2jmp 0x178e02
00178df0
00178df0camlCounter.checkpoint_485:
00178df0lea r10, [rsp-352]
00178df8cmp r10, [r14+40]
00178dfcjb 0x178fb9
00178e02
00178e02loc_178e02:
00178e02sub rsp, 32
00178e06lea rbx, [rip+0x19aaa3]
00178e0dlea rax, [rip+0x1f11f4]
00178e14mov rdi, [rax+216]
00178e1bsub r15, 24
00178e1fcmp r15, [r14]
00178e22jb 0x178faf
00178e28
00178e28loc_178e28:
00178e28lea rax, [r15+8]
00178e2cmov [rax-8], 2048
00178e34mov [rax], rbx
00178e37mov [rax+8], rdi
00178e3bcall Stdlib.Hashtbl.Make
00178e40mov [rsp], rax
00178e44mov eax, 1
00178e49mov ebx, 39
00178e4ecall Stdlib.Hashtbl.create_inner
00178e53mov [rsp+24], rax
00178e58sub r15, 72
00178e5ccmp r15, [r14]
00178e5fjb 0x178fa5
00178e65
00178e65loc_178e65:
00178e65lea rbx, [r15+8]
00178e69add rbx, 56
00178e6dmov [rsp+8], rbx
00178e72mov [rbx-8], 1024
00178e7amov [rbx], 1
00178e81lea rdi, [rbx-56]
00178e85mov [rdi-8], 6391
00178e8dlea rsi, [rip-0x81e74]
00178e94mov [rdi], rsi
00178e97mov rsi, 0x200000000000007
00178ea1mov [rdi+8], rsi
00178ea5lea rsi, [rip+308]
00178eacmov [rdi+16], rsi
00178eb0mov rsi, [rsp]
00178eb4mov [rdi+24], rsi
00178eb8mov [rdi+32], rax
00178ebcmov [rdi+40], rbx
00178ec0lea rax, [rip+0x19ab79]
00178ec7mov rbx, [rax+80]
00178ecbmov rax, rdi
00178ececall Stdlib.Hashtbl.iter
00178ed3sub r15, 40
00178ed7cmp r15, [r14]
00178edajb 0x178f9b
00178ee0
00178ee0loc_178ee0:
00178ee0lea rax, [r15+8]
00178ee4mov [rsp+16], rax
00178ee9mov [rax-8], 4343
00178ef1lea rbx, [rip+360]
00178ef8mov [rax], rbx
00178efbmov rbx, 0x100000000000005
00178f05mov [rax+8], rbx
00178f09mov rbx, [rsp]
00178f0dmov [rax+16], rbx
00178f11mov rbx, [rsp+24]
00178f16mov [rax+24], rbx
00178f1alea rsi, [rip+0x19acaf]
00178f21mov rax, [rsp+8]
00178f26mov rdi, [rax]
00178f29lea rax, [rip+0x80d70]
00178f30call caml_c_call
00178f35mov [rsp], rax
00178f39sub r15, 48
00178f3dcmp r15, [r14]
00178f40jb 0x178f94
00178f42
00178f42loc_178f42:
00178f42lea rbx, [r15+8]
00178f46mov [rbx-8], 5367
00178f4elea rdi, [rip-0x81f35]
00178f55mov [rbx], rdi
00178f58mov rdi, 0x200000000000007
00178f62mov [rbx+8], rdi
00178f66lea rdi, [rip+371]
00178f6dmov [rbx+16], rdi
00178f71mov rdi, [rsp+16]
00178f76mov [rbx+24], rdi
00178f7amov [rbx+32], rax
00178f7emov rax, rbx
00178f81mov rbx, [rsp+24]
00178f86call Stdlib.Hashtbl.iter
00178f8bmov rax, [rsp]
00178f8fadd rsp, 32
00178f93ret
00178f94
00178f94loc_178f94:
00178f94call caml_call_gc
00178f99jmp 0x178f42
00178f9b
00178f9bloc_178f9b:
00178f9bcall caml_call_gc
00178fa0jmp 0x178ee0
00178fa5
00178fa5loc_178fa5:
00178fa5call caml_call_gc
00178faajmp 0x178e65
00178faf
00178fafloc_178faf:
00178fafcall caml_call_gc
00178fb4jmp 0x178e28
00178fb9
00178fb9loc_178fb9:
00178fb9push 37
00178fbbcall caml_call_realloc_stack
00178fc0pop r10
00178fc2jmp 0x178e02
00178df0
00178fc7
00178fc7 // align 0x10
00178fc7 // align 0x10
00178fd0
00178fd0camlCounter.equal_490:
00178fd0cmp rax, rbx
00178fd3sete al
00178fd6movzx rax, al
00178fdalea rax, [rax+rax+1]
00178fdfret
00178fd0
00178fd0camlCounter.equal_490:
00178fd0cmp rax, rbx
00178fd3sete al
00178fd6movzx rax, al
00178fdalea rax, [rax+rax+1]
00178fdfret
00178fd0
00178fe0
00178fe0camlCounter.fun_772:
00178fe0lea r10, [rsp-328]
00178fe8cmp r10, [r14+40]
00178fecjb 0x17904a
00178fee
00178feeloc_178fee:
00178feesub rsp, 8
00178ff2mov [rsp], rdi
00178ff6sub r15, 24
00178ffacmp r15, [r14]
00178ffdjb 0x179043
00178fff
00178fffloc_178fff:
00178ffflea rdx, [r15+8]
00179003mov [rdx-8], 2048
0017900bmov [rdx], rax
0017900emov rax, [rdi+40]
00179012mov rax, [rax]
00179015mov [rdx+8], rax
00179019mov rax, [rdi+32]
0017901dmov rdi, [rdi+24]
00179021mov rsi, [rdi+32]
00179025mov rdi, rdx
00179028call Stdlib.Hashtbl.add
0017902dmov rax, [rsp]
00179031mov rax, [rax+40]
00179035add [rax], 2
00179039mov eax, 1
0017903eadd rsp, 8
00179042ret
00179043
00179043loc_179043:
00179043call caml_call_gc
00179048jmp 0x178fff
0017904a
0017904aloc_17904a:
0017904apush 34
0017904ccall caml_call_realloc_stack
00179051pop r10
00179053jmp 0x178fee
00178fe0
00178fe0camlCounter.fun_772:
00178fe0lea r10, [rsp-328]
00178fe8cmp r10, [r14+40]
00178fecjb 0x17904a
00178fee
00178feeloc_178fee:
00178feesub rsp, 8
00178ff2mov [rsp], rdi
00178ff6sub r15, 24
00178ffacmp r15, [r14]
00178ffdjb 0x179043
00178fff
00178fffloc_178fff:
00178ffflea rdx, [r15+8]
00179003mov [rdx-8], 2048
0017900bmov [rdx], rax
0017900emov rax, [rdi+40]
00179012mov rax, [rax]
00179015mov [rdx+8], rax
00179019mov rax, [rdi+32]
0017901dmov rdi, [rdi+24]
00179021mov rsi, [rdi+32]
00179025mov rdi, rdx
00179028call Stdlib.Hashtbl.add
0017902dmov rax, [rsp]
00179031mov rax, [rax+40]
00179035add [rax], 2
00179039mov eax, 1
0017903eadd rsp, 8
00179042ret
00179043
00179043loc_179043:
00179043call caml_call_gc
00179048jmp 0x178fff
0017904a
0017904aloc_17904a:
0017904apush 34
0017904ccall caml_call_realloc_stack
00179051pop r10
00179053jmp 0x178fee
00178fe0
00179055
00179055 // align 0x10
00179055 // align 0x10
00179060
00179060camlCounter.to_int_597:
00179060lea r10, [rsp-336]
00179068cmp r10, [r14+40]
0017906cjb 0x1790d1
0017906e
0017906eloc_17906e:
0017906emov rsi, rax
00179071lea r11, [rip+44]
00179078push r11
0017907apush [r14+48]
0017907emov [r14+48], rsp
00179082mov rax, [rbx+24]
00179086mov rbx, [rbx+16]
0017908amov rdi, [rbx+48]
0017908emov rbx, rsi
00179091call Stdlib.Hashtbl.find
00179096mov rax, [rax+8]
0017909apop [r14+48]
0017909eadd rsp, 8
001790a2jmp 0x1790d0
001790a4lea rbx, [rip+0x1b456d]
001790abmov rbx, [rbx+56]
001790afcmp rax, rbx
001790b2jne 0x1790c0
001790b4lea rax, [rip+0x19aa0d]
001790bbjmp 0x191ae0
001790c0
001790c0loc_1790c0:
001790c0mov rsp, [r14+48]
001790c4pop [r14+48]
001790c8pop r11
001790cajmp r11
001790cdnop [rax]
001790d0
001790d0loc_1790d0:
001790d0ret
001790d1
001790d1loc_1790d1:
001790d1push 35
001790d3call caml_call_realloc_stack
001790d8pop r10
001790dajmp 0x17906e
00179060
00179060camlCounter.to_int_597:
00179060lea r10, [rsp-336]
00179068cmp r10, [r14+40]
0017906cjb 0x1790d1
0017906e
0017906eloc_17906e:
0017906emov rsi, rax
00179071lea r11, [rip+44]
00179078push r11
0017907apush [r14+48]
0017907emov [r14+48], rsp
00179082mov rax, [rbx+24]
00179086mov rbx, [rbx+16]
0017908amov rdi, [rbx+48]
0017908emov rbx, rsi
00179091call Stdlib.Hashtbl.find
00179096mov rax, [rax+8]
0017909apop [r14+48]
0017909eadd rsp, 8
001790a2jmp 0x1790d0
001790a4lea rbx, [rip+0x1b456d]
001790abmov rbx, [rbx+56]
001790afcmp rax, rbx
001790b2jne 0x1790c0
001790b4lea rax, [rip+0x19aa0d]
001790bbjmp 0x191ae0
001790c0
001790c0loc_1790c0:
001790c0mov rsp, [r14+48]
001790c4pop [r14+48]
001790c8pop r11
001790cajmp r11
001790cdnop [rax]
001790d0
001790d0loc_1790d0:
001790d0ret
001790d1
001790d1loc_1790d1:
001790d1push 35
001790d3call caml_call_realloc_stack
001790d8pop r10
001790dajmp 0x17906e
00179060
001790dc
001790dc // align 0x10
001790dc // align 0x10
001790e0
001790e0camlCounter.fun_787:
001790e0lea r10, [rsp-344]
001790e8cmp r10, [r14+40]
001790ecjb 0x179184
001790f2
001790f2loc_1790f2:
001790f2sub rsp, 24
001790f6mov [rsp], rbx
001790famov [rsp+16], rdi
001790ffmov rbx, [rax]
00179102mov [rsp+8], rbx
00179107mov rbx, [rax+8]
0017910bmov rax, [rdi+24]
0017910fcall Stdlib.List.map
00179114sub r15, 32
00179118cmp r15, [r14]
0017911bjb 0x179178
0017911d
0017911dloc_17911d:
0017911dlea rsi, [r15+8]
00179121mov [rsi-8], 3072
00179129mov rdi, [rsp]
0017912dmov rbx, [rdi]
00179130mov [rsi], rbx
00179133mov rbx, [rsp+8]
00179138mov [rsi+8], rbx
0017913cmov [rsi+16], rax
00179140mov rax, [rdi+8]
00179144mov rbx, [rsp+16]
00179149mov rbx, [rbx+32]
0017914dmov rdi, [rbx-8]
00179151shr rdi, 9
00179155cmp rdi, rax
00179158jbe 0x17917f
0017915alea rdi, [rbx+4*rax-4]
0017915fmov rbx, rsp
00179162mov rsp, [r14+64]
00179166call caml_modify
0017916bmov rsp, rbx
0017916emov eax, 1
00179173add rsp, 24
00179177ret
00179178
00179178loc_179178:
00179178call caml_call_gc
0017917djmp 0x17911d
0017917f
0017917floc_17917f:
0017917fcall caml_ml_array_bound_error
00179184
00179184loc_179184:
00179184push 36
00179186call caml_call_realloc_stack
0017918bpop r10
0017918djmp 0x1790f2
001790e0
001790e0camlCounter.fun_787:
001790e0lea r10, [rsp-344]
001790e8cmp r10, [r14+40]
001790ecjb 0x179184
001790f2
001790f2loc_1790f2:
001790f2sub rsp, 24
001790f6mov [rsp], rbx
001790famov [rsp+16], rdi
001790ffmov rbx, [rax]
00179102mov [rsp+8], rbx
00179107mov rbx, [rax+8]
0017910bmov rax, [rdi+24]
0017910fcall Stdlib.List.map
00179114sub r15, 32
00179118cmp r15, [r14]
0017911bjb 0x179178
0017911d
0017911dloc_17911d:
0017911dlea rsi, [r15+8]
00179121mov [rsi-8], 3072
00179129mov rdi, [rsp]
0017912dmov rbx, [rdi]
00179130mov [rsi], rbx
00179133mov rbx, [rsp+8]
00179138mov [rsi+8], rbx
0017913cmov [rsi+16], rax
00179140mov rax, [rdi+8]
00179144mov rbx, [rsp+16]
00179149mov rbx, [rbx+32]
0017914dmov rdi, [rbx-8]
00179151shr rdi, 9
00179155cmp rdi, rax
00179158jbe 0x17917f
0017915alea rdi, [rbx+4*rax-4]
0017915fmov rbx, rsp
00179162mov rsp, [r14+64]
00179166call caml_modify
0017916bmov rsp, rbx
0017916emov eax, 1
00179173add rsp, 24
00179177ret
00179178
00179178loc_179178:
00179178call caml_call_gc
0017917djmp 0x17911d
0017917f
0017917floc_17917f:
0017917fcall caml_ml_array_bound_error
00179184
00179184loc_179184:
00179184push 36
00179186call caml_call_realloc_stack
0017918bpop r10
0017918djmp 0x1790f2
001790e0
00179192
00179192 // align 0x10
00179192 // align 0x10
001791a0
001791a0camlCounter.hot_start_486:
001791a0lea r10, [rsp-344]
001791a8cmp r10, [r14+40]
001791acjb 0x179271
001791b2
001791b2loc_1791b2:
001791b2sub rsp, 24
001791b6mov [rsp], rax
001791balea rax, [rip+0x19a87f]
001791c1mov rax, [rax+80]
001791c5call Stdlib.Hashtbl.clear
001791casub r15, 32
001791cecmp r15, [r14]
001791d1jb 0x179267
001791d7
001791d7loc_1791d7:
001791d7lea rbx, [r15+8]
001791dbmov [rbx-8], 3319
001791e3lea rax, [rip+150]
001791eamov [rbx], rax
001791edmov rax, 0x100000000000005
001791f7mov [rbx+8], rax
001791fbmov rdi, [rsp]
001791ffmov [rbx+16], rdi
00179203mov eax, 1
00179208mov rdi, [rdi-8]
0017920cshr rdi, 9
00179210or rdi, 1
00179214add rdi, -2
00179218cmp rax, rdi
0017921bjg 0x179256
0017921dmov [rsp+16], rdi
00179222mov [rsp+8], rax
00179227mov [rsp], rbx
0017922b
0017922bloc_17922b:
0017922bmov rbx, [rsp]
0017922fcall camlCounter.create_rec_646
00179234mov rax, [rsp+8]
00179239mov rbx, rax
0017923cadd rax, 2
00179240mov [rsp+8], rax
00179245mov rdi, [rsp+16]
0017924acmp rbx, rdi
0017924dje 0x179256
0017924fcmp r15, [r14]
00179252ja 0x17922b
00179254jmp 0x179260
00179256
00179256loc_179256:
00179256mov eax, 1
0017925badd rsp, 24
0017925fret
00179260
00179260loc_179260:
00179260call caml_call_gc
00179265jmp 0x17922b
00179267
00179267loc_179267:
00179267call caml_call_gc
0017926cjmp 0x1791d7
00179271
00179271loc_179271:
00179271push 36
00179273call caml_call_realloc_stack
00179278pop r10
0017927ajmp 0x1791b2
001791a0
001791a0camlCounter.hot_start_486:
001791a0lea r10, [rsp-344]
001791a8cmp r10, [r14+40]
001791acjb 0x179271
001791b2
001791b2loc_1791b2:
001791b2sub rsp, 24
001791b6mov [rsp], rax
001791balea rax, [rip+0x19a87f]
001791c1mov rax, [rax+80]
001791c5call Stdlib.Hashtbl.clear
001791casub r15, 32
001791cecmp r15, [r14]
001791d1jb 0x179267
001791d7
001791d7loc_1791d7:
001791d7lea rbx, [r15+8]
001791dbmov [rbx-8], 3319
001791e3lea rax, [rip+150]
001791eamov [rbx], rax
001791edmov rax, 0x100000000000005
001791f7mov [rbx+8], rax
001791fbmov rdi, [rsp]
001791ffmov [rbx+16], rdi
00179203mov eax, 1
00179208mov rdi, [rdi-8]
0017920cshr rdi, 9
00179210or rdi, 1
00179214add rdi, -2
00179218cmp rax, rdi
0017921bjg 0x179256
0017921dmov [rsp+16], rdi
00179222mov [rsp+8], rax
00179227mov [rsp], rbx
0017922b
0017922bloc_17922b:
0017922bmov rbx, [rsp]
0017922fcall camlCounter.create_rec_646
00179234mov rax, [rsp+8]
00179239mov rbx, rax
0017923cadd rax, 2
00179240mov [rsp+8], rax
00179245mov rdi, [rsp+16]
0017924acmp rbx, rdi
0017924dje 0x179256
0017924fcmp r15, [r14]
00179252ja 0x17922b
00179254jmp 0x179260
00179256
00179256loc_179256:
00179256mov eax, 1
0017925badd rsp, 24
0017925fret
00179260
00179260loc_179260:
00179260call caml_call_gc
00179265jmp 0x17922b
00179267
00179267loc_179267:
00179267call caml_call_gc
0017926cjmp 0x1791d7
00179271
00179271loc_179271:
00179271push 36
00179273call caml_call_realloc_stack
00179278pop r10
0017927ajmp 0x1791b2
001791a0
0017927f
0017927f // align 0x10
0017927f // align 0x10
00179280
00179280camlCounter.create_rec_646:
00179280lea r10, [rsp-360]
00179288cmp r10, [r14+40]
0017928cjb 0x1793e0
00179292
00179292loc_179292:
00179292sub rsp, 24
00179296mov [rsp+8], rbx
0017929bmov rbx, [rbx+16]
0017929fmov rdi, [rbx-8]
001792a3shr rdi, 9
001792a7cmp rdi, rax
001792aajbe 0x1793db
001792b0mov rax, [rbx+4*rax-4]
001792b5mov [rsp+16], rax
001792balea r11, [rip+43]
001792c1push r11
001792c3push [r14+48]
001792c7mov [r14+48], rsp
001792cbmov rbx, [rax]
001792celea rax, [rip+0x19a76b]
001792d5mov rax, [rax+80]
001792d9call Stdlib.Hashtbl.find
001792depop [r14+48]
001792e2add rsp, 8
001792e6jmp 0x1793cc
001792ebnop
001792eclea rbx, [rip+0x1b4325]
001792f3mov rbx, [rbx+56]
001792f7cmp rax, rbx
001792fajne 0x1793bc
00179300sub r15, 24
00179304cmp r15, [r14]
00179307jb 0x1793d1
0017930d
0017930dloc_17930d:
0017930dlea rdi, [r15+8]
00179311mov [rsp], rdi
00179315mov [rdi-8], 2048
0017931dmov rbx, [rsp+16]
00179322mov rax, [rbx+8]
00179326mov [rdi], rax
00179329mov [rdi+8], 1
00179331mov rbx, [rbx]
00179334lea rax, [rip+0x19a705]
0017933bmov rax, [rax+80]
0017933fcall Stdlib.Hashtbl.add
00179344mov rax, [rsp+16]
00179349mov rbx, [rax+16]
0017934dmov rax, [rsp+8]
00179352call Stdlib.List.map
00179357mov rdi, [rsp]
0017935badd rdi, 8
0017935fmov rsi, rax
00179362mov rbx, rsp
00179365mov rsp, [r14+64]
00179369call caml_modify
0017936emov rsp, rbx
00179371lea rax, [rip+0x1b0cf8]
00179378mov rax, [rax+80]
0017937cmov rax, [rax]
0017937fcmp rax, 3
00179383jle 0x1793b2
00179385lea rbx, [rip+0x19a924]
0017938clea rax, [rip+0x1b4285]
00179393mov rax, [rax+312]
0017939acall camlStdlib.output_string_253
0017939fmov rax, [rsp+8]
001793a4mov rax, [rax+16]
001793a8mov rbx, [rsp+16]
001793adcall camlCounter.prerr_cc_360
001793b2
001793b2loc_1793b2:
001793b2mov rax, [rsp]
001793b6add rsp, 24
001793baret
001793bbnop
001793bc
001793bcloc_1793bc:
001793bcmov rsp, [r14+48]
001793c0pop [r14+48]
001793c4pop r11
001793c6jmp r11
001793c9nop [rax]
001793cc
001793ccloc_1793cc:
001793ccadd rsp, 24
001793d0ret
001793d1
001793d1loc_1793d1:
001793d1call caml_call_gc
001793d6jmp 0x17930d
001793db
001793dbloc_1793db:
001793dbcall caml_ml_array_bound_error
001793e0
001793e0loc_1793e0:
001793e0push 38
001793e2call caml_call_realloc_stack
001793e7pop r10
001793e9jmp 0x179292
00179280
00179280camlCounter.create_rec_646:
00179280lea r10, [rsp-360]
00179288cmp r10, [r14+40]
0017928cjb 0x1793e0
00179292
00179292loc_179292:
00179292sub rsp, 24
00179296mov [rsp+8], rbx
0017929bmov rbx, [rbx+16]
0017929fmov rdi, [rbx-8]
001792a3shr rdi, 9
001792a7cmp rdi, rax
001792aajbe 0x1793db
001792b0mov rax, [rbx+4*rax-4]
001792b5mov [rsp+16], rax
001792balea r11, [rip+43]
001792c1push r11
001792c3push [r14+48]
001792c7mov [r14+48], rsp
001792cbmov rbx, [rax]
001792celea rax, [rip+0x19a76b]
001792d5mov rax, [rax+80]
001792d9call Stdlib.Hashtbl.find
001792depop [r14+48]
001792e2add rsp, 8
001792e6jmp 0x1793cc
001792ebnop
001792eclea rbx, [rip+0x1b4325]
001792f3mov rbx, [rbx+56]
001792f7cmp rax, rbx
001792fajne 0x1793bc
00179300sub r15, 24
00179304cmp r15, [r14]
00179307jb 0x1793d1
0017930d
0017930dloc_17930d:
0017930dlea rdi, [r15+8]
00179311mov [rsp], rdi
00179315mov [rdi-8], 2048
0017931dmov rbx, [rsp+16]
00179322mov rax, [rbx+8]
00179326mov [rdi], rax
00179329mov [rdi+8], 1
00179331mov rbx, [rbx]
00179334lea rax, [rip+0x19a705]
0017933bmov rax, [rax+80]
0017933fcall Stdlib.Hashtbl.add
00179344mov rax, [rsp+16]
00179349mov rbx, [rax+16]
0017934dmov rax, [rsp+8]
00179352call Stdlib.List.map
00179357mov rdi, [rsp]
0017935badd rdi, 8
0017935fmov rsi, rax
00179362mov rbx, rsp
00179365mov rsp, [r14+64]
00179369call caml_modify
0017936emov rsp, rbx
00179371lea rax, [rip+0x1b0cf8]
00179378mov rax, [rax+80]
0017937cmov rax, [rax]
0017937fcmp rax, 3
00179383jle 0x1793b2
00179385lea rbx, [rip+0x19a924]
0017938clea rax, [rip+0x1b4285]
00179393mov rax, [rax+312]
0017939acall camlStdlib.output_string_253
0017939fmov rax, [rsp+8]
001793a4mov rax, [rax+16]
001793a8mov rbx, [rsp+16]
001793adcall camlCounter.prerr_cc_360
001793b2
001793b2loc_1793b2:
001793b2mov rax, [rsp]
001793b6add rsp, 24
001793baret
001793bbnop
001793bc
001793bcloc_1793bc:
001793bcmov rsp, [r14+48]
001793c0pop [r14+48]
001793c4pop r11
001793c6jmp r11
001793c9nop [rax]
001793cc
001793ccloc_1793cc:
001793ccadd rsp, 24
001793d0ret
001793d1
001793d1loc_1793d1:
001793d1call caml_call_gc
001793d6jmp 0x17930d
001793db
001793dbloc_1793db:
001793dbcall caml_ml_array_bound_error
001793e0
001793e0loc_1793e0:
001793e0push 38
001793e2call caml_call_realloc_stack
001793e7pop r10
001793e9jmp 0x179292
00179280
001793ee
001793ee // align 0x10
001793ee // align 0x10
001793f0
001793f0camlCounter.unkown_651:
001793f0lea r10, [rsp-328]
001793f8cmp r10, [r14+40]
001793fcjb 0x179436
001793fe
001793feloc_1793fe:
001793fesub rsp, 8
00179402mov [rsp], rax
00179406lea rax, [rip+0x19a873]
0017940dcall camlStdlib.$5e_139
00179412mov rbx, rax
00179415mov rax, [rsp]
00179419call camlStdlib.$5e_139
0017941emov rbx, rax
00179421lea rax, [rip+0x19a868]
00179428call camlStdlib.$5e_139
0017942dadd rsp, 8
00179431jmp 0x1919c0
00179436
00179436loc_179436:
00179436push 34
00179438call caml_call_realloc_stack
0017943dpop r10
0017943fjmp 0x1793fe
001793f0
001793f0camlCounter.unkown_651:
001793f0lea r10, [rsp-328]
001793f8cmp r10, [r14+40]
001793fcjb 0x179436
001793fe
001793feloc_1793fe:
001793fesub rsp, 8
00179402mov [rsp], rax
00179406lea rax, [rip+0x19a873]
0017940dcall camlStdlib.$5e_139
00179412mov rbx, rax
00179415mov rax, [rsp]
00179419call camlStdlib.$5e_139
0017941emov rbx, rax
00179421lea rax, [rip+0x19a868]
00179428call camlStdlib.$5e_139
0017942dadd rsp, 8
00179431jmp 0x1919c0
00179436
00179436loc_179436:
00179436push 34
00179438call caml_call_realloc_stack
0017943dpop r10
0017943fjmp 0x1793fe
001793f0
00179441
00179441 // align 0x10
00179441 // align 0x10
00179450
00179450camlCounter.find_counter_655:
00179450mov rbx, rax
00179453lea rax, [rip+0x19a5e6]
0017945amov rax, [rax+80]
0017945ejmp 0x1e7950
00179450
00179450camlCounter.find_counter_655:
00179450mov rbx, rax
00179453lea rax, [rip+0x19a5e6]
0017945amov rax, [rax+80]
0017945ejmp 0x1e7950
00179450
00179463
00179463 // align 0x10
00179463 // align 0x10
00179470
00179470camlCounter.value_counter_658:
00179470lea r10, [rsp-344]
00179478cmp r10, [r14+40]
0017947cjb 0x1794f9
0017947e
0017947eloc_17947e:
0017947esub rsp, 8
00179482mov rbx, rax
00179485mov [rsp], rbx
00179489lea r11, [rip+40]
00179490push r11
00179492push [r14+48]
00179496mov [r14+48], rsp
0017949alea rax, [rip+0x19a59f]
001794a1mov rax, [rax+80]
001794a5call Stdlib.Hashtbl.find
001794aamov rax, [rax]
001794adpop [r14+48]
001794b1add rsp, 8
001794b5jmp 0x1794f4
001794b7nop
001794b8lea rbx, [rip+0x1b4159]
001794bfmov rbx, [rbx+56]
001794c3cmp rax, rbx
001794c6jne 0x1794e4
001794c8lea rbx, [rip+0x19a7a1]
001794cfmov rax, [rsp]
001794d3call camlCounter.unkown_651
001794d8mov eax, 1
001794ddadd rsp, 8
001794e1ret
001794e2nop
001794e4
001794e4loc_1794e4:
001794e4mov rsp, [r14+48]
001794e8pop [r14+48]
001794ecpop r11
001794eejmp r11
001794f1nop [rax]
001794f4
001794f4loc_1794f4:
001794f4add rsp, 8
001794f8ret
001794f9
001794f9loc_1794f9:
001794f9push 36
001794fbcall caml_call_realloc_stack
00179500pop r10
00179502jmp 0x17947e
00179470
00179470camlCounter.value_counter_658:
00179470lea r10, [rsp-344]
00179478cmp r10, [r14+40]
0017947cjb 0x1794f9
0017947e
0017947eloc_17947e:
0017947esub rsp, 8
00179482mov rbx, rax
00179485mov [rsp], rbx
00179489lea r11, [rip+40]
00179490push r11
00179492push [r14+48]
00179496mov [r14+48], rsp
0017949alea rax, [rip+0x19a59f]
001794a1mov rax, [rax+80]
001794a5call Stdlib.Hashtbl.find
001794aamov rax, [rax]
001794adpop [r14+48]
001794b1add rsp, 8
001794b5jmp 0x1794f4
001794b7nop
001794b8lea rbx, [rip+0x1b4159]
001794bfmov rbx, [rbx+56]
001794c3cmp rax, rbx
001794c6jne 0x1794e4
001794c8lea rbx, [rip+0x19a7a1]
001794cfmov rax, [rsp]
001794d3call camlCounter.unkown_651
001794d8mov eax, 1
001794ddadd rsp, 8
001794e1ret
001794e2nop
001794e4
001794e4loc_1794e4:
001794e4mov rsp, [r14+48]
001794e8pop [r14+48]
001794ecpop r11
001794eejmp r11
001794f1nop [rax]
001794f4
001794f4loc_1794f4:
001794f4add rsp, 8
001794f8ret
001794f9
001794f9loc_1794f9:
001794f9push 36
001794fbcall caml_call_realloc_stack
00179500pop r10
00179502jmp 0x17947e
00179470
00179507
00179507 // align 0x10
00179507 // align 0x10
00179510
00179510camlCounter.def_counter_662:
00179510lea r10, [rsp-360]
00179518cmp r10, [r14+40]
0017951cjb 0x179778
00179522
00179522loc_179522:
00179522sub rsp, 24
00179526mov rdi, rax
00179529mov [rsp+16], rdi
0017952emov [rsp], rbx
00179532lea r11, [rip+89]
00179539push r11
0017953bpush [r14+48]
0017953fmov [r14+48], rsp
00179543lea rax, [rip+0x19a4f6]
0017954amov rax, [rax+80]
0017954emov rbx, rdi
00179551call Stdlib.Hashtbl.find
00179556lea rbx, [rip+0x19a6cb]
0017955dmov rax, [rsp+32]
00179562call camlStdlib.$5e_139
00179567mov rbx, rax
0017956alea rax, [rip+0x19a6e7]
00179571call camlStdlib.$5e_139
00179576call camlMisc.warning_287
0017957blea rax, [rip+0x19b3e6]
00179582mov rax, [rax]
00179585mov rsp, [r14+48]
00179589pop [r14+48]
0017958dpop r11
0017958fjmp r11
00179592lea rbx, [rip+0x1b407f]
00179599mov rbx, [rbx+56]
0017959dcmp rax, rbx
001795a0jne 0x179750
001795a6lea r11, [rip+147]
001795adpush r11
001795afpush [r14+48]
001795b3mov [r14+48], rsp
001795b7mov rbx, [rsp+16]
001795bcmov rax, [rbx-8]
001795c0shr rax, 10
001795c4cmp rax, 2
001795c8jl 0x1795d4
001795camov [rsp+16], rbx
001795cfjmp 0x179600
001795d1nop [rax]
001795d4
001795d4loc_1795d4:
001795d4mov rax, [rbx]
001795d7mov rdi, 0x700000000000000
001795e1cmp rax, rdi
001795e4jne 0x1795f0
001795e6mov eax, 1
001795ebjmp 0x1795f8
001795ednop [rax]
001795f0
001795f0loc_1795f0:
001795f0mov [rsp+16], rbx
001795f5jmp 0x179600
001795f7nop
001795f8
001795f8loc_1795f8:
001795f8mov [rsp+16], rax
001795fdjmp 0x179634
001795ffnop
00179600
00179600loc_179600:
00179600lea rax, [rip+0x19a439]
00179607mov rax, [rax+80]
0017960bcall Stdlib.Hashtbl.find
00179610sub r15, 16
00179614cmp r15, [r14]
00179617jb 0x17976e
0017961d
0017961dloc_17961d:
0017961dlea rbx, [r15+8]
00179621mov [rbx-8], 1024
00179629mov [rbx], rax
0017962cmov rax, rbx
0017962fmov [rsp+16], rax
00179634
00179634loc_179634:
00179634pop [r14+48]
00179638add rsp, 8
0017963cjmp 0x1796b4
0017963enop
00179640lea rbx, [rip+0x1b3fd1]
00179647mov rbx, [rbx+56]
0017964bcmp rax, rbx
0017964ejne 0x1796a0
00179650lea rbx, [rip+0x19a599]
00179657mov rax, [rsp]
0017965bcall camlStdlib.$5e_139
00179660mov rbx, rax
00179663lea rax, [rip+0x19a596]
0017966acall camlStdlib.$5e_139
0017966fmov rbx, rax
00179672mov rax, [rsp+16]
00179677call camlStdlib.$5e_139
0017967cmov rbx, rax
0017967flea rax, [rip+0x19a58a]
00179686call camlStdlib.$5e_139
0017968bmov rbx, rax
0017968emov rax, [rsp]
00179692call camlCounter.unkown_651
00179697mov eax, 1
0017969cjmp 0x1796b0
0017969enop
001796a0
001796a0loc_1796a0:
001796a0mov rsp, [r14+48]
001796a4pop [r14+48]
001796a8pop r11
001796aajmp r11
001796adnop [rax]
001796b0
001796b0loc_1796b0:
001796b0mov [rsp], rax
001796b4
001796b4loc_1796b4:
001796b4sub r15, 24
001796b8cmp r15, [r14]
001796bbjb 0x179764
001796c1
001796c1loc_1796c1:
001796c1lea rdi, [r15+8]
001796c5mov [rsp+8], rdi
001796camov [rdi-8], 2048
001796d2mov [rdi], 1
001796d9mov [rdi+8], 1
001796e1lea rax, [rip+0x19a358]
001796e8mov rax, [rax+80]
001796ecmov rbx, [rsp+16]
001796f1call Stdlib.Hashtbl.add
001796f6mov rax, [rsp]
001796fatest al, 1
001796fcje 0x179708
001796femov eax, 1
00179703add rsp, 24
00179707ret
00179708
00179708loc_179708:
00179708mov rdi, [rax]
0017970bsub r15, 24
0017970fcmp r15, [r14]
00179712jb 0x17975d
00179714
00179714loc_179714:
00179714lea rsi, [r15+8]
00179718mov [rsi-8], 2048
00179720mov rax, [rsp+8]
00179725mov [rsi], rax
00179728mov rax, [rdi+8]
0017972cmov [rsi+8], rax
00179730add rdi, 8
00179734mov rbx, rsp
00179737mov rsp, [r14+64]
0017973bcall caml_modify
00179740mov rsp, rbx
00179743mov eax, 1
00179748add rsp, 24
0017974cret
0017974dnop [rax]
00179750
00179750loc_179750:
00179750mov rsp, [r14+48]
00179754pop [r14+48]
00179758pop r11
0017975ajmp r11
0017975d
0017975dloc_17975d:
0017975dcall caml_call_gc
00179762jmp 0x179714
00179764
00179764loc_179764:
00179764call caml_call_gc
00179769jmp 0x1796c1
0017976e
0017976eloc_17976e:
0017976ecall caml_call_gc
00179773jmp 0x17961d
00179778
00179778loc_179778:
00179778push 38
0017977acall caml_call_realloc_stack
0017977fpop r10
00179781jmp 0x179522
00179510
00179510camlCounter.def_counter_662:
00179510lea r10, [rsp-360]
00179518cmp r10, [r14+40]
0017951cjb 0x179778
00179522
00179522loc_179522:
00179522sub rsp, 24
00179526mov rdi, rax
00179529mov [rsp+16], rdi
0017952emov [rsp], rbx
00179532lea r11, [rip+89]
00179539push r11
0017953bpush [r14+48]
0017953fmov [r14+48], rsp
00179543lea rax, [rip+0x19a4f6]
0017954amov rax, [rax+80]
0017954emov rbx, rdi
00179551call Stdlib.Hashtbl.find
00179556lea rbx, [rip+0x19a6cb]
0017955dmov rax, [rsp+32]
00179562call camlStdlib.$5e_139
00179567mov rbx, rax
0017956alea rax, [rip+0x19a6e7]
00179571call camlStdlib.$5e_139
00179576call camlMisc.warning_287
0017957blea rax, [rip+0x19b3e6]
00179582mov rax, [rax]
00179585mov rsp, [r14+48]
00179589pop [r14+48]
0017958dpop r11
0017958fjmp r11
00179592lea rbx, [rip+0x1b407f]
00179599mov rbx, [rbx+56]
0017959dcmp rax, rbx
001795a0jne 0x179750
001795a6lea r11, [rip+147]
001795adpush r11
001795afpush [r14+48]
001795b3mov [r14+48], rsp
001795b7mov rbx, [rsp+16]
001795bcmov rax, [rbx-8]
001795c0shr rax, 10
001795c4cmp rax, 2
001795c8jl 0x1795d4
001795camov [rsp+16], rbx
001795cfjmp 0x179600
001795d1nop [rax]
001795d4
001795d4loc_1795d4:
001795d4mov rax, [rbx]
001795d7mov rdi, 0x700000000000000
001795e1cmp rax, rdi
001795e4jne 0x1795f0
001795e6mov eax, 1
001795ebjmp 0x1795f8
001795ednop [rax]
001795f0
001795f0loc_1795f0:
001795f0mov [rsp+16], rbx
001795f5jmp 0x179600
001795f7nop
001795f8
001795f8loc_1795f8:
001795f8mov [rsp+16], rax
001795fdjmp 0x179634
001795ffnop
00179600
00179600loc_179600:
00179600lea rax, [rip+0x19a439]
00179607mov rax, [rax+80]
0017960bcall Stdlib.Hashtbl.find
00179610sub r15, 16
00179614cmp r15, [r14]
00179617jb 0x17976e
0017961d
0017961dloc_17961d:
0017961dlea rbx, [r15+8]
00179621mov [rbx-8], 1024
00179629mov [rbx], rax
0017962cmov rax, rbx
0017962fmov [rsp+16], rax
00179634
00179634loc_179634:
00179634pop [r14+48]
00179638add rsp, 8
0017963cjmp 0x1796b4
0017963enop
00179640lea rbx, [rip+0x1b3fd1]
00179647mov rbx, [rbx+56]
0017964bcmp rax, rbx
0017964ejne 0x1796a0
00179650lea rbx, [rip+0x19a599]
00179657mov rax, [rsp]
0017965bcall camlStdlib.$5e_139
00179660mov rbx, rax
00179663lea rax, [rip+0x19a596]
0017966acall camlStdlib.$5e_139
0017966fmov rbx, rax
00179672mov rax, [rsp+16]
00179677call camlStdlib.$5e_139
0017967cmov rbx, rax
0017967flea rax, [rip+0x19a58a]
00179686call camlStdlib.$5e_139
0017968bmov rbx, rax
0017968emov rax, [rsp]
00179692call camlCounter.unkown_651
00179697mov eax, 1
0017969cjmp 0x1796b0
0017969enop
001796a0
001796a0loc_1796a0:
001796a0mov rsp, [r14+48]
001796a4pop [r14+48]
001796a8pop r11
001796aajmp r11
001796adnop [rax]
001796b0
001796b0loc_1796b0:
001796b0mov [rsp], rax
001796b4
001796b4loc_1796b4:
001796b4sub r15, 24
001796b8cmp r15, [r14]
001796bbjb 0x179764
001796c1
001796c1loc_1796c1:
001796c1lea rdi, [r15+8]
001796c5mov [rsp+8], rdi
001796camov [rdi-8], 2048
001796d2mov [rdi], 1
001796d9mov [rdi+8], 1
001796e1lea rax, [rip+0x19a358]
001796e8mov rax, [rax+80]
001796ecmov rbx, [rsp+16]
001796f1call Stdlib.Hashtbl.add
001796f6mov rax, [rsp]
001796fatest al, 1
001796fcje 0x179708
001796femov eax, 1
00179703add rsp, 24
00179707ret
00179708
00179708loc_179708:
00179708mov rdi, [rax]
0017970bsub r15, 24
0017970fcmp r15, [r14]
00179712jb 0x17975d
00179714
00179714loc_179714:
00179714lea rsi, [r15+8]
00179718mov [rsi-8], 2048
00179720mov rax, [rsp+8]
00179725mov [rsi], rax
00179728mov rax, [rdi+8]
0017972cmov [rsi+8], rax
00179730add rdi, 8
00179734mov rbx, rsp
00179737mov rsp, [r14+64]
0017973bcall caml_modify
00179740mov rsp, rbx
00179743mov eax, 1
00179748add rsp, 24
0017974cret
0017974dnop [rax]
00179750
00179750loc_179750:
00179750mov rsp, [r14+48]
00179754pop [r14+48]
00179758pop r11
0017975ajmp r11
0017975d
0017975dloc_17975d:
0017975dcall caml_call_gc
00179762jmp 0x179714
00179764
00179764loc_179764:
00179764call caml_call_gc
00179769jmp 0x1796c1
0017976e
0017976eloc_17976e:
0017976ecall caml_call_gc
00179773jmp 0x17961d
00179778
00179778loc_179778:
00179778push 38
0017977acall caml_call_realloc_stack
0017977fpop r10
00179781jmp 0x179522
00179510
00179786
00179786 // align 0x10
00179786 // align 0x10
00179790
00179790camlCounter.add_counter_693:
00179790lea r10, [rsp-352]
00179798cmp r10, [r14+40]
0017979cjb 0x179831
001797a2
001797a2loc_1797a2:
001797a2sub rsp, 16
001797a6mov rdi, rax
001797a9mov [rsp], rdi
001797admov [rsp+8], rbx
001797b2lea r11, [rip+63]
001797b9push r11
001797bbpush [r14+48]
001797bfmov [r14+48], rsp
001797c3lea rax, [rip+0x19a276]
001797camov rax, [rax+80]
001797cemov rbx, rdi
001797d1call Stdlib.Hashtbl.find
001797d6mov rbx, [rax]
001797d9mov rdi, [rsp+24]
001797delea rbx, [rbx+rdi-1]
001797e3mov [rax], rbx
001797e6mov eax, 1
001797ebpop [r14+48]
001797efadd rsp, 8
001797f3jmp 0x17982c
001797f5nop [rax]
001797f8lea rbx, [rip+0x1b3e19]
001797ffmov rbx, [rbx+56]
00179803cmp rax, rbx
00179806jne 0x17981c
00179808lea rbx, [rip+0x19a3a9]
0017980fmov rax, [rsp]
00179813add rsp, 16
00179817jmp 0x1793f0
0017981c
0017981cloc_17981c:
0017981cmov rsp, [r14+48]
00179820pop [r14+48]
00179824pop r11
00179826jmp r11
00179829nop [rax]
0017982c
0017982cloc_17982c:
0017982cadd rsp, 16
00179830ret
00179831
00179831loc_179831:
00179831push 37
00179833call caml_call_realloc_stack
00179838pop r10
0017983ajmp 0x1797a2
00179790
00179790camlCounter.add_counter_693:
00179790lea r10, [rsp-352]
00179798cmp r10, [r14+40]
0017979cjb 0x179831
001797a2
001797a2loc_1797a2:
001797a2sub rsp, 16
001797a6mov rdi, rax
001797a9mov [rsp], rdi
001797admov [rsp+8], rbx
001797b2lea r11, [rip+63]
001797b9push r11
001797bbpush [r14+48]
001797bfmov [r14+48], rsp
001797c3lea rax, [rip+0x19a276]
001797camov rax, [rax+80]
001797cemov rbx, rdi
001797d1call Stdlib.Hashtbl.find
001797d6mov rbx, [rax]
001797d9mov rdi, [rsp+24]
001797delea rbx, [rbx+rdi-1]
001797e3mov [rax], rbx
001797e6mov eax, 1
001797ebpop [r14+48]
001797efadd rsp, 8
001797f3jmp 0x17982c
001797f5nop [rax]
001797f8lea rbx, [rip+0x1b3e19]
001797ffmov rbx, [rbx+56]
00179803cmp rax, rbx
00179806jne 0x17981c
00179808lea rbx, [rip+0x19a3a9]
0017980fmov rax, [rsp]
00179813add rsp, 16
00179817jmp 0x1793f0
0017981c
0017981cloc_17981c:
0017981cmov rsp, [r14+48]
00179820pop [r14+48]
00179824pop r11
00179826jmp r11
00179829nop [rax]
0017982c
0017982cloc_17982c:
0017982cadd rsp, 16
00179830ret
00179831
00179831loc_179831:
00179831push 37
00179833call caml_call_realloc_stack
00179838pop r10
0017983ajmp 0x1797a2
00179790
0017983f
0017983f // align 0x10
0017983f // align 0x10
00179840
00179840camlCounter.set_counter_698:
00179840lea r10, [rsp-352]
00179848cmp r10, [r14+40]
0017984cjb 0x1798d9
00179852
00179852loc_179852:
00179852sub rsp, 16
00179856mov rdi, rax
00179859mov [rsp], rdi
0017985dmov [rsp+8], rbx
00179862lea r11, [rip+55]
00179869push r11
0017986bpush [r14+48]
0017986fmov [r14+48], rsp
00179873lea rax, [rip+0x19a1c6]
0017987amov rax, [rax+80]
0017987emov rbx, rdi
00179881call Stdlib.Hashtbl.find
00179886mov rbx, [rsp+24]
0017988bmov [rax], rbx
0017988emov eax, 1
00179893pop [r14+48]
00179897add rsp, 8
0017989bjmp 0x1798d4
0017989dnop [rax]
001798a0lea rbx, [rip+0x1b3d71]
001798a7mov rbx, [rbx+56]
001798abcmp rax, rbx
001798aejne 0x1798c4
001798b0lea rbx, [rip+0x19a2e9]
001798b7mov rax, [rsp]
001798bbadd rsp, 16
001798bfjmp 0x1793f0
001798c4
001798c4loc_1798c4:
001798c4mov rsp, [r14+48]
001798c8pop [r14+48]
001798ccpop r11
001798cejmp r11
001798d1nop [rax]
001798d4
001798d4loc_1798d4:
001798d4add rsp, 16
001798d8ret
001798d9
001798d9loc_1798d9:
001798d9push 37
001798dbcall caml_call_realloc_stack
001798e0pop r10
001798e2jmp 0x179852
00179840
00179840camlCounter.set_counter_698:
00179840lea r10, [rsp-352]
00179848cmp r10, [r14+40]
0017984cjb 0x1798d9
00179852
00179852loc_179852:
00179852sub rsp, 16
00179856mov rdi, rax
00179859mov [rsp], rdi
0017985dmov [rsp+8], rbx
00179862lea r11, [rip+55]
00179869push r11
0017986bpush [r14+48]
0017986fmov [r14+48], rsp
00179873lea rax, [rip+0x19a1c6]
0017987amov rax, [rax+80]
0017987emov rbx, rdi
00179881call Stdlib.Hashtbl.find
00179886mov rbx, [rsp+24]
0017988bmov [rax], rbx
0017988emov eax, 1
00179893pop [r14+48]
00179897add rsp, 8
0017989bjmp 0x1798d4
0017989dnop [rax]
001798a0lea rbx, [rip+0x1b3d71]
001798a7mov rbx, [rbx+56]
001798abcmp rax, rbx
001798aejne 0x1798c4
001798b0lea rbx, [rip+0x19a2e9]
001798b7mov rax, [rsp]
001798bbadd rsp, 16
001798bfjmp 0x1793f0
001798c4
001798c4loc_1798c4:
001798c4mov rsp, [r14+48]
001798c8pop [r14+48]
001798ccpop r11
001798cejmp r11
001798d1nop [rax]
001798d4
001798d4loc_1798d4:
001798d4add rsp, 16
001798d8ret
001798d9
001798d9loc_1798d9:
001798d9push 37
001798dbcall caml_call_realloc_stack
001798e0pop r10
001798e2jmp 0x179852
00179840
001798e7
001798e7 // align 0x10
001798e7 // align 0x10
001798f0
001798f0camlCounter.step_counter_703:
001798f0lea r10, [rsp-344]
001798f8cmp r10, [r14+40]
001798fcjb 0x179985
00179902
00179902loc_179902:
00179902sub rsp, 8
00179906mov rbx, rax
00179909mov [rsp], rbx
0017990dlea r11, [rip+56]
00179914push r11
00179916push [r14+48]
0017991amov [r14+48], rsp
0017991elea rax, [rip+0x19a11b]
00179925mov rax, [rax+80]
00179929call Stdlib.Hashtbl.find
0017992eadd [rax], 2
00179932mov rbx, [rax+8]
00179936lea rax, [rip+0x199f93]
0017993dcall Stdlib.List.iter
00179942pop [r14+48]
00179946add rsp, 8
0017994ajmp 0x179980
0017994clea rbx, [rip+0x1b3cc5]
00179953mov rbx, [rbx+56]
00179957cmp rax, rbx
0017995ajne 0x179970
0017995clea rbx, [rip+0x19a225]
00179963mov rax, [rsp]
00179967add rsp, 8
0017996bjmp 0x1793f0
00179970
00179970loc_179970:
00179970mov rsp, [r14+48]
00179974pop [r14+48]
00179978pop r11
0017997ajmp r11
0017997dnop [rax]
00179980
00179980loc_179980:
00179980add rsp, 8
00179984ret
00179985
00179985loc_179985:
00179985push 36
00179987call caml_call_realloc_stack
0017998cpop r10
0017998ejmp 0x179902
001798f0
001798f0camlCounter.step_counter_703:
001798f0lea r10, [rsp-344]
001798f8cmp r10, [r14+40]
001798fcjb 0x179985
00179902
00179902loc_179902:
00179902sub rsp, 8
00179906mov rbx, rax
00179909mov [rsp], rbx
0017990dlea r11, [rip+56]
00179914push r11
00179916push [r14+48]
0017991amov [r14+48], rsp
0017991elea rax, [rip+0x19a11b]
00179925mov rax, [rax+80]
00179929call Stdlib.Hashtbl.find
0017992eadd [rax], 2
00179932mov rbx, [rax+8]
00179936lea rax, [rip+0x199f93]
0017993dcall Stdlib.List.iter
00179942pop [r14+48]
00179946add rsp, 8
0017994ajmp 0x179980
0017994clea rbx, [rip+0x1b3cc5]
00179953mov rbx, [rbx+56]
00179957cmp rax, rbx
0017995ajne 0x179970
0017995clea rbx, [rip+0x19a225]
00179963mov rax, [rsp]
00179967add rsp, 8
0017996bjmp 0x1793f0
00179970
00179970loc_179970:
00179970mov rsp, [r14+48]
00179974pop [r14+48]
00179978pop r11
0017997ajmp r11
0017997dnop [rax]
00179980
00179980loc_179980:
00179980add rsp, 8
00179984ret
00179985
00179985loc_179985:
00179985push 36
00179987call caml_call_realloc_stack
0017998cpop r10
0017998ejmp 0x179902
001798f0
00179993
00179993 // align 0x10
00179993 // align 0x10
001799ad
001799ad // align 0x10
001799ad // align 0x10
001799b0
001799b0camlCounter.addtoreset_708:
001799b0lea r10, [rsp-360]
001799b8cmp r10, [r14+40]
001799bcjb 0x179abf
001799c2
001799c2loc_1799c2:
001799c2sub rsp, 24
001799c6mov rdi, rax
001799c9mov [rsp], rdi
001799cdmov [rsp+8], rbx
001799d2lea r11, [rip+135]
001799d9push r11
001799dbpush [r14+48]
001799dfmov [r14+48], rsp
001799e3lea rax, [rip+0x19a056]
001799eamov rax, [rax+80]
001799eemov rbx, rdi
001799f1call Stdlib.Hashtbl.find
001799f6mov [rsp+32], rax
001799fblea rax, [rip+0x19a03e]
00179a02mov rax, [rax+80]
00179a06mov rbx, [rsp+24]
00179a0bcall Stdlib.Hashtbl.find
00179a10sub r15, 24
00179a14cmp r15, [r14]
00179a17jb 0x179ab5
00179a1d
00179a1dloc_179a1d:
00179a1dlea rsi, [r15+8]
00179a21mov [rsi-8], 2048
00179a29mov rbx, [rsp+32]
00179a2emov [rsi], rbx
00179a31mov rbx, [rax+8]
00179a35mov [rsi+8], rbx
00179a39add rax, 8
00179a3dmov rdi, rax
00179a40mov rbx, rsp
00179a43mov rsp, [r14+64]
00179a47call caml_modify
00179a4cmov rsp, rbx
00179a4fmov eax, 1
00179a54pop [r14+48]
00179a58add rsp, 8
00179a5cjmp 0x179ab0
00179a5enop
00179a60lea rbx, [rip+0x1b3bb1]
00179a67mov rbx, [rbx+56]
00179a6bcmp rax, rbx
00179a6ejne 0x179aa0
00179a70lea rax, [rip+0x19a101]
00179a77mov rbx, [rsp+8]
00179a7ccall camlStdlib.$5e_139
00179a81mov rbx, rax
00179a84mov rax, [rsp]
00179a88call camlStdlib.$5e_139
00179a8dlea rbx, [rip+0x19a0cc]
00179a94add rsp, 24
00179a98jmp 0x1793f0
00179a9dnop [rax]
00179aa0
00179aa0loc_179aa0:
00179aa0mov rsp, [r14+48]
00179aa4pop [r14+48]
00179aa8pop r11
00179aaajmp r11
00179aadnop [rax]
00179ab0
00179ab0loc_179ab0:
00179ab0add rsp, 24
00179ab4ret
00179ab5
00179ab5loc_179ab5:
00179ab5call caml_call_gc
00179abajmp 0x179a1d
00179abf
00179abfloc_179abf:
00179abfpush 38
00179ac1call caml_call_realloc_stack
00179ac6pop r10
00179ac8jmp 0x1799c2
001799b0
001799b0camlCounter.addtoreset_708:
001799b0lea r10, [rsp-360]
001799b8cmp r10, [r14+40]
001799bcjb 0x179abf
001799c2
001799c2loc_1799c2:
001799c2sub rsp, 24
001799c6mov rdi, rax
001799c9mov [rsp], rdi
001799cdmov [rsp+8], rbx
001799d2lea r11, [rip+135]
001799d9push r11
001799dbpush [r14+48]
001799dfmov [r14+48], rsp
001799e3lea rax, [rip+0x19a056]
001799eamov rax, [rax+80]
001799eemov rbx, rdi
001799f1call Stdlib.Hashtbl.find
001799f6mov [rsp+32], rax
001799fblea rax, [rip+0x19a03e]
00179a02mov rax, [rax+80]
00179a06mov rbx, [rsp+24]
00179a0bcall Stdlib.Hashtbl.find
00179a10sub r15, 24
00179a14cmp r15, [r14]
00179a17jb 0x179ab5
00179a1d
00179a1dloc_179a1d:
00179a1dlea rsi, [r15+8]
00179a21mov [rsi-8], 2048
00179a29mov rbx, [rsp+32]
00179a2emov [rsi], rbx
00179a31mov rbx, [rax+8]
00179a35mov [rsi+8], rbx
00179a39add rax, 8
00179a3dmov rdi, rax
00179a40mov rbx, rsp
00179a43mov rsp, [r14+64]
00179a47call caml_modify
00179a4cmov rsp, rbx
00179a4fmov eax, 1
00179a54pop [r14+48]
00179a58add rsp, 8
00179a5cjmp 0x179ab0
00179a5enop
00179a60lea rbx, [rip+0x1b3bb1]
00179a67mov rbx, [rbx+56]
00179a6bcmp rax, rbx
00179a6ejne 0x179aa0
00179a70lea rax, [rip+0x19a101]
00179a77mov rbx, [rsp+8]
00179a7ccall camlStdlib.$5e_139
00179a81mov rbx, rax
00179a84mov rax, [rsp]
00179a88call camlStdlib.$5e_139
00179a8dlea rbx, [rip+0x19a0cc]
00179a94add rsp, 24
00179a98jmp 0x1793f0
00179a9dnop [rax]
00179aa0
00179aa0loc_179aa0:
00179aa0mov rsp, [r14+48]
00179aa4pop [r14+48]
00179aa8pop r11
00179aaajmp r11
00179aadnop [rax]
00179ab0
00179ab0loc_179ab0:
00179ab0add rsp, 24
00179ab4ret
00179ab5
00179ab5loc_179ab5:
00179ab5call caml_call_gc
00179abajmp 0x179a1d
00179abf
00179abfloc_179abf:
00179abfpush 38
00179ac1call caml_call_realloc_stack
00179ac6pop r10
00179ac8jmp 0x1799c2
001799b0
00179acd
00179acd // align 0x10
00179acd // align 0x10
00179ad0
00179ad0camlCounter.removefromreset_709:
00179ad0lea r10, [rsp-368]
00179ad8cmp r10, [r14+40]
00179adcjb 0x179c17
00179ae2
00179ae2loc_179ae2:
00179ae2sub rsp, 32
00179ae6mov rdi, rax
00179ae9mov [rsp], rdi
00179aedmov [rsp+8], rbx
00179af2lea r11, [rip+191]
00179af9push r11
00179afbpush [r14+48]
00179affmov [r14+48], rsp
00179b03lea rax, [rip+0x199f36]
00179b0amov rax, [rax+80]
00179b0emov rbx, rdi
00179b11call Stdlib.Hashtbl.find
00179b16mov [rsp+32], rax
00179b1blea rax, [rip+0x199f1e]
00179b22mov rax, [rax+80]
00179b26mov rbx, [rsp+24]
00179b2bcall Stdlib.Hashtbl.find
00179b30mov [rsp+40], rax
00179b35sub r15, 40
00179b39cmp r15, [r14]
00179b3cjb 0x179c0d
00179b42
00179b42loc_179b42:
00179b42lea rsi, [r15+8]
00179b46mov [rsi-8], 4343
00179b4elea rbx, [rip-0x82b35]
00179b55mov [rsi], rbx
00179b58mov rbx, 0x200000000000007
00179b62mov [rsi+8], rbx
00179b66lea rbx, [rip+195]
00179b6dmov [rsi+16], rbx
00179b71mov rbx, [rsp+32]
00179b76mov [rsi+24], rbx
00179b7amov edi, 1
00179b7fmov rbx, [rax+8]
00179b83mov rax, rsi
00179b86call Stdlib.List.fold_right
00179b8bmov rdi, [rsp+40]
00179b90add rdi, 8
00179b94mov rsi, rax
00179b97mov rbx, rsp
00179b9amov rsp, [r14+64]
00179b9ecall caml_modify
00179ba3mov rsp, rbx
00179ba6mov eax, 1
00179babpop [r14+48]
00179bafadd rsp, 8
00179bb3jmp 0x179c08
00179bb5nop [rax]
00179bb8lea rbx, [rip+0x1b3a59]
00179bbfmov rbx, [rbx+56]
00179bc3cmp rax, rbx
00179bc6jne 0x179bf8
00179bc8lea rax, [rip+0x199fa9]
00179bcfmov rbx, [rsp+8]
00179bd4call camlStdlib.$5e_139
00179bd9mov rbx, rax
00179bdcmov rax, [rsp]
00179be0call camlStdlib.$5e_139
00179be5lea rbx, [rip+0x199f54]
00179becadd rsp, 32
00179bf0jmp 0x1793f0
00179bf5nop [rax]
00179bf8
00179bf8loc_179bf8:
00179bf8mov rsp, [r14+48]
00179bfcpop [r14+48]
00179c00pop r11
00179c02jmp r11
00179c05nop [rax]
00179c08
00179c08loc_179c08:
00179c08add rsp, 32
00179c0cret
00179c0d
00179c0dloc_179c0d:
00179c0dcall caml_call_gc
00179c12jmp 0x179b42
00179c17
00179c17loc_179c17:
00179c17push 39
00179c19call caml_call_realloc_stack
00179c1epop r10
00179c20jmp 0x179ae2
00179ad0
00179ad0camlCounter.removefromreset_709:
00179ad0lea r10, [rsp-368]
00179ad8cmp r10, [r14+40]
00179adcjb 0x179c17
00179ae2
00179ae2loc_179ae2:
00179ae2sub rsp, 32
00179ae6mov rdi, rax
00179ae9mov [rsp], rdi
00179aedmov [rsp+8], rbx
00179af2lea r11, [rip+191]
00179af9push r11
00179afbpush [r14+48]
00179affmov [r14+48], rsp
00179b03lea rax, [rip+0x199f36]
00179b0amov rax, [rax+80]
00179b0emov rbx, rdi
00179b11call Stdlib.Hashtbl.find
00179b16mov [rsp+32], rax
00179b1blea rax, [rip+0x199f1e]
00179b22mov rax, [rax+80]
00179b26mov rbx, [rsp+24]
00179b2bcall Stdlib.Hashtbl.find
00179b30mov [rsp+40], rax
00179b35sub r15, 40
00179b39cmp r15, [r14]
00179b3cjb 0x179c0d
00179b42
00179b42loc_179b42:
00179b42lea rsi, [r15+8]
00179b46mov [rsi-8], 4343
00179b4elea rbx, [rip-0x82b35]
00179b55mov [rsi], rbx
00179b58mov rbx, 0x200000000000007
00179b62mov [rsi+8], rbx
00179b66lea rbx, [rip+195]
00179b6dmov [rsi+16], rbx
00179b71mov rbx, [rsp+32]
00179b76mov [rsi+24], rbx
00179b7amov edi, 1
00179b7fmov rbx, [rax+8]
00179b83mov rax, rsi
00179b86call Stdlib.List.fold_right
00179b8bmov rdi, [rsp+40]
00179b90add rdi, 8
00179b94mov rsi, rax
00179b97mov rbx, rsp
00179b9amov rsp, [r14+64]
00179b9ecall caml_modify
00179ba3mov rsp, rbx
00179ba6mov eax, 1
00179babpop [r14+48]
00179bafadd rsp, 8
00179bb3jmp 0x179c08
00179bb5nop [rax]
00179bb8lea rbx, [rip+0x1b3a59]
00179bbfmov rbx, [rbx+56]
00179bc3cmp rax, rbx
00179bc6jne 0x179bf8
00179bc8lea rax, [rip+0x199fa9]
00179bcfmov rbx, [rsp+8]
00179bd4call camlStdlib.$5e_139
00179bd9mov rbx, rax
00179bdcmov rax, [rsp]
00179be0call camlStdlib.$5e_139
00179be5lea rbx, [rip+0x199f54]
00179becadd rsp, 32
00179bf0jmp 0x1793f0
00179bf5nop [rax]
00179bf8
00179bf8loc_179bf8:
00179bf8mov rsp, [r14+48]
00179bfcpop [r14+48]
00179c00pop r11
00179c02jmp r11
00179c05nop [rax]
00179c08
00179c08loc_179c08:
00179c08add rsp, 32
00179c0cret
00179c0d
00179c0dloc_179c0d:
00179c0dcall caml_call_gc
00179c12jmp 0x179b42
00179c17
00179c17loc_179c17:
00179c17push 39
00179c19call caml_call_realloc_stack
00179c1epop r10
00179c20jmp 0x179ae2
00179ad0
00179c25
00179c25 // align 0x10
00179c25 // align 0x10
00179c30
00179c30camlCounter.fun_806:
00179c30mov rsi, rax
00179c33mov rax, [rdi+24]
00179c37cmp rsi, rax
00179c3ajne 0x179c40
00179c3cmov rax, rbx
00179c3fret
00179c40
00179c40loc_179c40:
00179c40sub r15, 24
00179c44cmp r15, [r14]
00179c47jb 0x179c5d
00179c49
00179c49loc_179c49:
00179c49lea rax, [r15+8]
00179c4dmov [rax-8], 2048
00179c55mov [rax], rsi
00179c58mov [rax+8], rbx
00179c5cret
00179c5d
00179c5dloc_179c5d:
00179c5dcall caml_call_gc
00179c62jmp 0x179c49
00179c30
00179c30camlCounter.fun_806:
00179c30mov rsi, rax
00179c33mov rax, [rdi+24]
00179c37cmp rsi, rax
00179c3ajne 0x179c40
00179c3cmov rax, rbx
00179c3fret
00179c40
00179c40loc_179c40:
00179c40sub r15, 24
00179c44cmp r15, [r14]
00179c47jb 0x179c5d
00179c49
00179c49loc_179c49:
00179c49lea rax, [r15+8]
00179c4dmov [rax-8], 2048
00179c55mov [rax], rsi
00179c58mov [rax+8], rbx
00179c5cret
00179c5d
00179c5dloc_179c5d:
00179c5dcall caml_call_gc
00179c62jmp 0x179c49
00179c30
00179c64
00179c64 // align 0x10
00179c64 // align 0x10
00179c70
00179c70camlCounter.entry:
00179c70lea r10, [rsp-320]
00179c78cmp r10, [r14+40]
00179c7cjb 0x179e6f
00179c82
00179c82loc_179c82:
00179c82lea rsi, [rip+0x199f47]
00179c89lea rdi, [rip+0x199db0]
00179c90add rdi, 72
00179c94mov rbx, rsp
00179c97mov rsp, [r14+64]
00179c9bcall caml_initialize
00179ca0mov rsp, rbx
00179ca3lea rax, [rip+0x1f035e]
00179caamov rax, [rax+272]
00179cb1mov rax, [rax]
00179cb4mov ebx, 39
00179cb9call Stdlib.Hashtbl.create_inner
00179cbelea rdi, [rip+0x199d7b]
00179cc5add rdi, 80
00179cc9mov rsi, rax
00179cccmov rbx, rsp
00179ccfmov rsp, [r14+64]
00179cd3call caml_initialize
00179cd8mov rsp, rbx
00179cdblea rsi, [rip+0x199c06]
00179ce2lea rdi, [rip+0x199d57]
00179ce9add rdi, 88
00179cedmov rbx, rsp
00179cf0mov rsp, [r14+64]
00179cf4call caml_initialize
00179cf9mov rsp, rbx
00179cfclea rsi, [rip+0x199c1d]
00179d03lea r12, [rip+0x199bfe]
00179d0alea rdi, [rip+0x199d2f]
00179d11mov rbx, rsp
00179d14mov rsp, [r14+64]
00179d18call caml_initialize
00179d1dmov rsp, rbx
00179d20lea rdi, [rip+0x199d19]
00179d27add rdi, 8
00179d2bmov rsi, r12
00179d2emov rbx, rsp
00179d31mov rsp, [r14+64]
00179d35call caml_initialize
00179d3amov rsp, rbx
00179d3dlea rsi, [rip+0x199bf4]
00179d44lea rdi, [rip+0x199cf5]
00179d4badd rdi, 96
00179d4fmov rbx, rsp
00179d52mov rsp, [r14+64]
00179d56call caml_initialize
00179d5bmov rsp, rbx
00179d5elea rsi, [rip+0x199bf3]
00179d65lea rdi, [rip+0x199cd4]
00179d6cadd rdi, 104
00179d70mov rbx, rsp
00179d73mov rsp, [r14+64]
00179d77call caml_initialize
00179d7cmov rsp, rbx
00179d7flea rsi, [rip+0x199bea]
00179d86lea rdi, [rip+0x199cb3]
00179d8dadd rdi, 16
00179d91mov rbx, rsp
00179d94mov rsp, [r14+64]
00179d98call caml_initialize
00179d9dmov rsp, rbx
00179da0lea rsi, [rip+0x199be1]
00179da7lea rdi, [rip+0x199c92]
00179daeadd rdi, 24
00179db2mov rbx, rsp
00179db5mov rsp, [r14+64]
00179db9call caml_initialize
00179dbemov rsp, rbx
00179dc1lea rsi, [rip+0x199be0]
00179dc8lea rdi, [rip+0x199c71]
00179dcfadd rdi, 40
00179dd3mov rbx, rsp
00179dd6mov rsp, [r14+64]
00179ddacall caml_initialize
00179ddfmov rsp, rbx
00179de2lea rsi, [rip+0x199bdf]
00179de9lea rdi, [rip+0x199c50]
00179df0add rdi, 32
00179df4mov rbx, rsp
00179df7mov rsp, [r14+64]
00179dfbcall caml_initialize
00179e00mov rsp, rbx
00179e03lea rsi, [rip+0x199bde]
00179e0alea rdi, [rip+0x199c2f]
00179e11add rdi, 48
00179e15mov rbx, rsp
00179e18mov rsp, [r14+64]
00179e1ccall caml_initialize
00179e21mov rsp, rbx
00179e24lea rsi, [rip+0x199bf5]
00179e2blea r12, [rip+0x199bce]
00179e32lea rdi, [rip+0x199c07]
00179e39add rdi, 56
00179e3dmov rbx, rsp
00179e40mov rsp, [r14+64]
00179e44call caml_initialize
00179e49mov rsp, rbx
00179e4clea rdi, [rip+0x199bed]
00179e53add rdi, 64
00179e57mov rsi, r12
00179e5amov rbx, rsp
00179e5dmov rsp, [r14+64]
00179e61call caml_initialize
00179e66mov rsp, rbx
00179e69mov eax, 1
00179e6eret
00179e6f
00179e6floc_179e6f:
00179e6fpush 33
00179e71call caml_call_realloc_stack
00179e76pop r10
00179e78jmp 0x179c82
00179c70
00179c70camlCounter.entry:
00179c70lea r10, [rsp-320]
00179c78cmp r10, [r14+40]
00179c7cjb 0x179e6f
00179c82
00179c82loc_179c82:
00179c82lea rsi, [rip+0x199f47]
00179c89lea rdi, [rip+0x199db0]
00179c90add rdi, 72
00179c94mov rbx, rsp
00179c97mov rsp, [r14+64]
00179c9bcall caml_initialize
00179ca0mov rsp, rbx
00179ca3lea rax, [rip+0x1f035e]
00179caamov rax, [rax+272]
00179cb1mov rax, [rax]
00179cb4mov ebx, 39
00179cb9call Stdlib.Hashtbl.create_inner
00179cbelea rdi, [rip+0x199d7b]
00179cc5add rdi, 80
00179cc9mov rsi, rax
00179cccmov rbx, rsp
00179ccfmov rsp, [r14+64]
00179cd3call caml_initialize
00179cd8mov rsp, rbx
00179cdblea rsi, [rip+0x199c06]
00179ce2lea rdi, [rip+0x199d57]
00179ce9add rdi, 88
00179cedmov rbx, rsp
00179cf0mov rsp, [r14+64]
00179cf4call caml_initialize
00179cf9mov rsp, rbx
00179cfclea rsi, [rip+0x199c1d]
00179d03lea r12, [rip+0x199bfe]
00179d0alea rdi, [rip+0x199d2f]
00179d11mov rbx, rsp
00179d14mov rsp, [r14+64]
00179d18call caml_initialize
00179d1dmov rsp, rbx
00179d20lea rdi, [rip+0x199d19]
00179d27add rdi, 8
00179d2bmov rsi, r12
00179d2emov rbx, rsp
00179d31mov rsp, [r14+64]
00179d35call caml_initialize
00179d3amov rsp, rbx
00179d3dlea rsi, [rip+0x199bf4]
00179d44lea rdi, [rip+0x199cf5]
00179d4badd rdi, 96
00179d4fmov rbx, rsp
00179d52mov rsp, [r14+64]
00179d56call caml_initialize
00179d5bmov rsp, rbx
00179d5elea rsi, [rip+0x199bf3]
00179d65lea rdi, [rip+0x199cd4]
00179d6cadd rdi, 104
00179d70mov rbx, rsp
00179d73mov rsp, [r14+64]
00179d77call caml_initialize
00179d7cmov rsp, rbx
00179d7flea rsi, [rip+0x199bea]
00179d86lea rdi, [rip+0x199cb3]
00179d8dadd rdi, 16
00179d91mov rbx, rsp
00179d94mov rsp, [r14+64]
00179d98call caml_initialize
00179d9dmov rsp, rbx
00179da0lea rsi, [rip+0x199be1]
00179da7lea rdi, [rip+0x199c92]
00179daeadd rdi, 24
00179db2mov rbx, rsp
00179db5mov rsp, [r14+64]
00179db9call caml_initialize
00179dbemov rsp, rbx
00179dc1lea rsi, [rip+0x199be0]
00179dc8lea rdi, [rip+0x199c71]
00179dcfadd rdi, 40
00179dd3mov rbx, rsp
00179dd6mov rsp, [r14+64]
00179ddacall caml_initialize
00179ddfmov rsp, rbx
00179de2lea rsi, [rip+0x199bdf]
00179de9lea rdi, [rip+0x199c50]
00179df0add rdi, 32
00179df4mov rbx, rsp
00179df7mov rsp, [r14+64]
00179dfbcall caml_initialize
00179e00mov rsp, rbx
00179e03lea rsi, [rip+0x199bde]
00179e0alea rdi, [rip+0x199c2f]
00179e11add rdi, 48
00179e15mov rbx, rsp
00179e18mov rsp, [r14+64]
00179e1ccall caml_initialize
00179e21mov rsp, rbx
00179e24lea rsi, [rip+0x199bf5]
00179e2blea r12, [rip+0x199bce]
00179e32lea rdi, [rip+0x199c07]
00179e39add rdi, 56
00179e3dmov rbx, rsp
00179e40mov rsp, [r14+64]
00179e44call caml_initialize
00179e49mov rsp, rbx
00179e4clea rdi, [rip+0x199bed]
00179e53add rdi, 64
00179e57mov rsi, r12
00179e5amov rbx, rsp
00179e5dmov rsp, [r14+64]
00179e61call caml_initialize
00179e66mov rsp, rbx
00179e69mov eax, 1
00179e6eret
00179e6f
00179e6floc_179e6f:
00179e6fpush 33
00179e71call caml_call_realloc_stack
00179e76pop r10
00179e78jmp 0x179c82
00179c70
00179e7d
00179e7d // align 0x10
00179e7d // align 0x10
00179e80
00179e80camlLatexmacros.pretty_macro_839:
00179e80lea r10, [rsp-328]
00179e88cmp r10, [r14+40]
00179e8cjb 0x179ecd
00179e8e
00179e8eloc_179e8e:
00179e8esub rsp, 8
00179e92mov [rsp], rbx
00179e96lea rbx, [rip+0x19cb03]
00179e9dmov rbx, [rbx+32]
00179ea1mov rdi, [rbx]
00179ea4call rdi
00179ea6lea rbx, [rip+0x19af7b]
00179eadlea rax, [rip+0x1b3764]
00179eb4mov rax, [rax+312]
00179ebbcall camlStdlib.output_string_253
00179ec0mov rax, [rsp]
00179ec4add rsp, 8
00179ec8jmp 0x17c1a0
00179ecd
00179ecdloc_179ecd:
00179ecdpush 34
00179ecfcall caml_call_realloc_stack
00179ed4pop r10
00179ed6jmp 0x179e8e
00179e80
00179e80camlLatexmacros.pretty_macro_839:
00179e80lea r10, [rsp-328]
00179e88cmp r10, [r14+40]
00179e8cjb 0x179ecd
00179e8e
00179e8eloc_179e8e:
00179e8esub rsp, 8
00179e92mov [rsp], rbx
00179e96lea rbx, [rip+0x19cb03]
00179e9dmov rbx, [rbx+32]
00179ea1mov rdi, [rbx]
00179ea4call rdi
00179ea6lea rbx, [rip+0x19af7b]
00179eadlea rax, [rip+0x1b3764]
00179eb4mov rax, [rax+312]
00179ebbcall camlStdlib.output_string_253
00179ec0mov rax, [rsp]
00179ec4add rsp, 8
00179ec8jmp 0x17c1a0
00179ecd
00179ecdloc_179ecd:
00179ecdpush 34
00179ecfcall caml_call_realloc_stack
00179ed4pop r10
00179ed6jmp 0x179e8e
00179e80
00179ed8
00179ed8 // align 0x10
00179ed8 // align 0x10
00179ee0
00179ee0camlLatexmacros.hidden_pretty_table_843:
00179ee0lea r10, [rsp-344]
00179ee8cmp r10, [r14+40]
00179eecjb 0x17a017
00179ef2
00179ef2loc_179ef2:
00179ef2sub rsp, 24
00179ef6mov [rsp], rax
00179efalea rax, [rip+0x1f0107]
00179f01mov rax, [rax+272]
00179f08mov rax, [rax]
00179f0bmov ebx, 195
00179f10call Stdlib.Hashtbl.create_inner
00179f15mov [rsp+16], rax
00179f1asub r15, 96
00179f1ecmp r15, [r14]
00179f21jb 0x17a00d
00179f27
00179f27loc_179f27:
00179f27lea rbx, [r15+8]
00179f2badd rbx, 80
00179f2fmov [rsp+8], rbx
00179f34mov [rbx-8], 1024
00179f3cmov [rbx], 1
00179f43lea rdi, [rbx-40]
00179f47mov [rdi-8], 4343
00179f4flea rsi, [rip+218]
00179f56mov [rdi], rsi
00179f59mov rsi, 0x100000000000005
00179f63mov [rdi+8], rsi
00179f67mov [rdi+16], rax
00179f6bmov [rdi+24], rbx
00179f6flea rax, [rdi-40]
00179f73mov [rax-8], 4343
00179f7blea rbx, [rip-0x82f62]
00179f82mov [rax], rbx
00179f85mov rbx, 0x200000000000007
00179f8fmov [rax+8], rbx
00179f93lea rbx, [rip+374]
00179f9amov [rax+16], rbx
00179f9emov [rax+24], rdi
00179fa2mov rbx, [rsp]
00179fa6call Stdlib.Hashtbl.iter
00179fabmov rax, [rsp+8]
00179fb0mov rax, [rax]
00179fb3mov [rsp], rax
00179fb7lea rbx, [rip+0x19af7a]
00179fbelea rax, [rip+0x1b3653]
00179fc5mov rax, [rax+312]
00179fcccall Stdlib.Printf.fprintf
00179fd1mov rbx, rax
00179fd4mov rdi, [rbx]
00179fd7mov rax, [rsp]
00179fdbcall rdi
00179fddlea rax, [rip+0x19a64c]
00179fe4mov rbx, [rsp+16]
00179fe9call Stdlib.Hashtbl.iter
00179feelea rax, [rip+0x1b3623]
00179ff5mov rdi, [rax+312]
00179ffclea rax, [rip+0x95c4d]
0017a003call caml_c_call
0017a008add rsp, 24
0017a00cret
0017a00d
0017a00dloc_17a00d:
0017a00dcall caml_call_gc
0017a012jmp 0x179f27
0017a017
0017a017loc_17a017:
0017a017push 36
0017a019call caml_call_realloc_stack
0017a01epop r10
0017a020jmp 0x179ef2
00179ee0
00179ee0camlLatexmacros.hidden_pretty_table_843:
00179ee0lea r10, [rsp-344]
00179ee8cmp r10, [r14+40]
00179eecjb 0x17a017
00179ef2
00179ef2loc_179ef2:
00179ef2sub rsp, 24
00179ef6mov [rsp], rax
00179efalea rax, [rip+0x1f0107]
00179f01mov rax, [rax+272]
00179f08mov rax, [rax]
00179f0bmov ebx, 195
00179f10call Stdlib.Hashtbl.create_inner
00179f15mov [rsp+16], rax
00179f1asub r15, 96
00179f1ecmp r15, [r14]
00179f21jb 0x17a00d
00179f27
00179f27loc_179f27:
00179f27lea rbx, [r15+8]
00179f2badd rbx, 80
00179f2fmov [rsp+8], rbx
00179f34mov [rbx-8], 1024
00179f3cmov [rbx], 1
00179f43lea rdi, [rbx-40]
00179f47mov [rdi-8], 4343
00179f4flea rsi, [rip+218]
00179f56mov [rdi], rsi
00179f59mov rsi, 0x100000000000005
00179f63mov [rdi+8], rsi
00179f67mov [rdi+16], rax
00179f6bmov [rdi+24], rbx
00179f6flea rax, [rdi-40]
00179f73mov [rax-8], 4343
00179f7blea rbx, [rip-0x82f62]
00179f82mov [rax], rbx
00179f85mov rbx, 0x200000000000007
00179f8fmov [rax+8], rbx
00179f93lea rbx, [rip+374]
00179f9amov [rax+16], rbx
00179f9emov [rax+24], rdi
00179fa2mov rbx, [rsp]
00179fa6call Stdlib.Hashtbl.iter
00179fabmov rax, [rsp+8]
00179fb0mov rax, [rax]
00179fb3mov [rsp], rax
00179fb7lea rbx, [rip+0x19af7a]
00179fbelea rax, [rip+0x1b3653]
00179fc5mov rax, [rax+312]
00179fcccall Stdlib.Printf.fprintf
00179fd1mov rbx, rax
00179fd4mov rdi, [rbx]
00179fd7mov rax, [rsp]
00179fdbcall rdi
00179fddlea rax, [rip+0x19a64c]
00179fe4mov rbx, [rsp+16]
00179fe9call Stdlib.Hashtbl.iter
00179feelea rax, [rip+0x1b3623]
00179ff5mov rdi, [rax+312]
00179ffclea rax, [rip+0x95c4d]
0017a003call caml_c_call
0017a008add rsp, 24
0017a00cret
0017a00d
0017a00dloc_17a00d:
0017a00dcall caml_call_gc
0017a012jmp 0x179f27
0017a017
0017a017loc_17a017:
0017a017push 36
0017a019call caml_call_realloc_stack
0017a01epop r10
0017a020jmp 0x179ef2
00179ee0
0017a025
0017a025 // align 0x10
0017a025 // align 0x10
0017a030
0017a030camlLatexmacros.incr_848:
0017a030lea r10, [rsp-360]
0017a038cmp r10, [r14+40]
0017a03cjb 0x17a0f5
0017a042
0017a042loc_17a042:
0017a042sub rsp, 24
0017a046mov rdi, rax
0017a049mov [rsp+16], rdi
0017a04emov [rsp+8], rbx
0017a053mov rax, [rbx+24]
0017a057add [rax], 2
0017a05blea r11, [rip+34]
0017a062push r11
0017a064push [r14+48]
0017a068mov [r14+48], rsp
0017a06cmov rax, [rbx+16]
0017a070mov rbx, rdi
0017a073call Stdlib.Hashtbl.find
0017a078pop [r14+48]
0017a07cadd rsp, 8
0017a080jmp 0x17a0e0
0017a082nop
0017a084lea rbx, [rip+0x1b358d]
0017a08bmov rbx, [rbx+56]
0017a08fcmp rax, rbx
0017a092jne 0x17a0cc
0017a094sub r15, 16
0017a098cmp r15, [r14]
0017a09bjb 0x17a0ee
0017a09d
0017a09dloc_17a09d:
0017a09dlea rdi, [r15+8]
0017a0a1mov [rsp], rdi
0017a0a5mov [rdi-8], 1024
0017a0admov [rdi], 1
0017a0b4mov rax, [rsp+8]
0017a0b9mov rax, [rax+16]
0017a0bdmov rbx, [rsp+16]
0017a0c2call Stdlib.Hashtbl.add
0017a0c7jmp 0x17a0dc
0017a0c9nop [rax]
0017a0cc
0017a0ccloc_17a0cc:
0017a0ccmov rsp, [r14+48]
0017a0d0pop [r14+48]
0017a0d4pop r11
0017a0d6jmp r11
0017a0d9nop [rax]
0017a0dc
0017a0dcloc_17a0dc:
0017a0dcmov rax, [rsp]
0017a0e0
0017a0e0loc_17a0e0:
0017a0e0add [rax], 2
0017a0e4mov eax, 1
0017a0e9add rsp, 24
0017a0edret
0017a0ee
0017a0eeloc_17a0ee:
0017a0eecall caml_call_gc
0017a0f3jmp 0x17a09d
0017a0f5
0017a0f5loc_17a0f5:
0017a0f5push 38
0017a0f7call caml_call_realloc_stack
0017a0fcpop r10
0017a0fejmp 0x17a042
0017a030
0017a030camlLatexmacros.incr_848:
0017a030lea r10, [rsp-360]
0017a038cmp r10, [r14+40]
0017a03cjb 0x17a0f5
0017a042
0017a042loc_17a042:
0017a042sub rsp, 24
0017a046mov rdi, rax
0017a049mov [rsp+16], rdi
0017a04emov [rsp+8], rbx
0017a053mov rax, [rbx+24]
0017a057add [rax], 2
0017a05blea r11, [rip+34]
0017a062push r11
0017a064push [r14+48]
0017a068mov [r14+48], rsp
0017a06cmov rax, [rbx+16]
0017a070mov rbx, rdi
0017a073call Stdlib.Hashtbl.find
0017a078pop [r14+48]
0017a07cadd rsp, 8
0017a080jmp 0x17a0e0
0017a082nop
0017a084lea rbx, [rip+0x1b358d]
0017a08bmov rbx, [rbx+56]
0017a08fcmp rax, rbx
0017a092jne 0x17a0cc
0017a094sub r15, 16
0017a098cmp r15, [r14]
0017a09bjb 0x17a0ee
0017a09d
0017a09dloc_17a09d:
0017a09dlea rdi, [r15+8]
0017a0a1mov [rsp], rdi
0017a0a5mov [rdi-8], 1024
0017a0admov [rdi], 1
0017a0b4mov rax, [rsp+8]
0017a0b9mov rax, [rax+16]
0017a0bdmov rbx, [rsp+16]
0017a0c2call Stdlib.Hashtbl.add
0017a0c7jmp 0x17a0dc
0017a0c9nop [rax]
0017a0cc
0017a0ccloc_17a0cc:
0017a0ccmov rsp, [r14+48]
0017a0d0pop [r14+48]
0017a0d4pop r11
0017a0d6jmp r11
0017a0d9nop [rax]
0017a0dc
0017a0dcloc_17a0dc:
0017a0dcmov rax, [rsp]
0017a0e0
0017a0e0loc_17a0e0:
0017a0e0add [rax], 2
0017a0e4mov eax, 1
0017a0e9add rsp, 24
0017a0edret
0017a0ee
0017a0eeloc_17a0ee:
0017a0eecall caml_call_gc
0017a0f3jmp 0x17a09d
0017a0f5
0017a0f5loc_17a0f5:
0017a0f5push 38
0017a0f7call caml_call_realloc_stack
0017a0fcpop r10
0017a0fejmp 0x17a042
0017a030
0017a103
0017a103 // align 0x10
0017a103 // align 0x10
0017a110
0017a110camlLatexmacros.fun_1049:
0017a110lea r10, [rsp-352]
0017a118cmp r10, [r14+40]
0017a11cjb 0x17a18f
0017a11e
0017a11eloc_17a11e:
0017a11esub rsp, 32
0017a122mov [rsp+24], rax
0017a127mov [rsp+8], rbx
0017a12cmov [rsp+16], rdi
0017a131mov [rsp], rax
0017a135lea rbx, [rip+0x19aeac]
0017a13clea rax, [rip+0x1b34d5]
0017a143mov rax, [rax+312]
0017a14acall Stdlib.Printf.fprintf
0017a14fmov rbx, rax
0017a152mov rdi, [rbx]
0017a155mov rax, [rsp]
0017a159call rdi
0017a15bmov rax, [rsp+8]
0017a160mov rbx, [rax+8]
0017a164mov rax, [rax]
0017a167call camlLatexmacros.pretty_macro_839
0017a16clea rax, [rip+0x19ae65]
0017a173call camlStdlib.prerr_endline_390
0017a178mov rax, [rsp+16]
0017a17dmov rbx, [rax+24]
0017a181mov rax, [rsp+24]
0017a186add rsp, 32
0017a18ajmp 0x17a030
0017a18f
0017a18floc_17a18f:
0017a18fpush 37
0017a191call caml_call_realloc_stack
0017a196pop r10
0017a198jmp 0x17a11e
0017a110
0017a110camlLatexmacros.fun_1049:
0017a110lea r10, [rsp-352]
0017a118cmp r10, [r14+40]
0017a11cjb 0x17a18f
0017a11e
0017a11eloc_17a11e:
0017a11esub rsp, 32
0017a122mov [rsp+24], rax
0017a127mov [rsp+8], rbx
0017a12cmov [rsp+16], rdi
0017a131mov [rsp], rax
0017a135lea rbx, [rip+0x19aeac]
0017a13clea rax, [rip+0x1b34d5]
0017a143mov rax, [rax+312]
0017a14acall Stdlib.Printf.fprintf
0017a14fmov rbx, rax
0017a152mov rdi, [rbx]
0017a155mov rax, [rsp]
0017a159call rdi
0017a15bmov rax, [rsp+8]
0017a160mov rbx, [rax+8]
0017a164mov rax, [rax]
0017a167call camlLatexmacros.pretty_macro_839
0017a16clea rax, [rip+0x19ae65]
0017a173call camlStdlib.prerr_endline_390
0017a178mov rax, [rsp+16]
0017a17dmov rbx, [rax+24]
0017a181mov rax, [rsp+24]
0017a186add rsp, 32
0017a18ajmp 0x17a030
0017a18f
0017a18floc_17a18f:
0017a18fpush 37
0017a191call caml_call_realloc_stack
0017a196pop r10
0017a198jmp 0x17a11e
0017a110
0017a19a
0017a19a // align 0x10
0017a19a // align 0x10
0017a1a0
0017a1a0camlLatexmacros.fun_1063:
0017a1a0lea r10, [rsp-336]
0017a1a8cmp r10, [r14+40]
0017a1acjb 0x17a209
0017a1ae
0017a1aeloc_17a1ae:
0017a1aesub rsp, 16
0017a1b2cmp r15, [r14]
0017a1b5jbe 0x17a202
0017a1b7
0017a1b7loc_17a1b7:
0017a1b7mov rbx, [rbx]
0017a1bacmp rbx, 3
0017a1bejle 0x17a1f8
0017a1c0mov [rsp+8], rbx
0017a1c5mov [rsp], rax
0017a1c9lea rbx, [rip+0x19acf0]
0017a1d0lea rax, [rip+0x1b3441]
0017a1d7mov rax, [rax+312]
0017a1decall Stdlib.Printf.fprintf
0017a1e3mov rdi, rax
0017a1e6mov rax, [rsp]
0017a1eamov rbx, [rsp+8]
0017a1efadd rsp, 16
0017a1f3jmp 0xf73e0
0017a1f8
0017a1f8loc_17a1f8:
0017a1f8mov eax, 1
0017a1fdadd rsp, 16
0017a201ret
0017a202
0017a202loc_17a202:
0017a202call caml_call_gc
0017a207jmp 0x17a1b7
0017a209
0017a209loc_17a209:
0017a209push 35
0017a20bcall caml_call_realloc_stack
0017a210pop r10
0017a212jmp 0x17a1ae
0017a1a0
0017a1a0camlLatexmacros.fun_1063:
0017a1a0lea r10, [rsp-336]
0017a1a8cmp r10, [r14+40]
0017a1acjb 0x17a209
0017a1ae
0017a1aeloc_17a1ae:
0017a1aesub rsp, 16
0017a1b2cmp r15, [r14]
0017a1b5jbe 0x17a202
0017a1b7
0017a1b7loc_17a1b7:
0017a1b7mov rbx, [rbx]
0017a1bacmp rbx, 3
0017a1bejle 0x17a1f8
0017a1c0mov [rsp+8], rbx
0017a1c5mov [rsp], rax
0017a1c9lea rbx, [rip+0x19acf0]
0017a1d0lea rax, [rip+0x1b3441]
0017a1d7mov rax, [rax+312]
0017a1decall Stdlib.Printf.fprintf
0017a1e3mov rdi, rax
0017a1e6mov rax, [rsp]
0017a1eamov rbx, [rsp+8]
0017a1efadd rsp, 16
0017a1f3jmp 0xf73e0
0017a1f8
0017a1f8loc_17a1f8:
0017a1f8mov eax, 1
0017a1fdadd rsp, 16
0017a201ret
0017a202
0017a202loc_17a202:
0017a202call caml_call_gc
0017a207jmp 0x17a1b7
0017a209
0017a209loc_17a209:
0017a209push 35
0017a20bcall caml_call_realloc_stack
0017a210pop r10
0017a212jmp 0x17a1ae
0017a1a0
0017a214
0017a214 // align 0x10
0017a214 // align 0x10
0017a220
0017a220camlLatexmacros.pretty_table_881:
0017a220lea r10, [rsp-328]
0017a228cmp r10, [r14+40]
0017a22cjb 0x17a2b3
0017a232
0017a232loc_17a232:
0017a232sub rsp, 8
0017a236lea rax, [rip+0x19a72b]
0017a23dmov rax, [rax+240]
0017a244mov rax, [rax]
0017a247mov [rsp], rax
0017a24blea rbx, [rip+0x19abfe]
0017a252lea rax, [rip+0x1b33bf]
0017a259mov rax, [rax+312]
0017a260call Stdlib.Printf.fprintf
0017a265mov rbx, rax
0017a268mov rdi, [rbx]
0017a26bmov rax, [rsp]
0017a26fcall rdi
0017a271lea rax, [rip+0x19abc0]
0017a278call camlStdlib.prerr_endline_390
0017a27dlea rax, [rip+0x19a6e4]
0017a284mov rax, [rax+200]
0017a28bcall camlLatexmacros.hidden_pretty_table_843
0017a290lea rax, [rip+0x19ab79]
0017a297call camlStdlib.prerr_endline_390
0017a29clea rax, [rip+0x19a6c5]
0017a2a3mov rax, [rax+192]
0017a2aaadd rsp, 8
0017a2aejmp 0x179ee0
0017a2b3
0017a2b3loc_17a2b3:
0017a2b3push 34
0017a2b5call caml_call_realloc_stack
0017a2bapop r10
0017a2bcjmp 0x17a232
0017a220
0017a220camlLatexmacros.pretty_table_881:
0017a220lea r10, [rsp-328]
0017a228cmp r10, [r14+40]
0017a22cjb 0x17a2b3
0017a232
0017a232loc_17a232:
0017a232sub rsp, 8
0017a236lea rax, [rip+0x19a72b]
0017a23dmov rax, [rax+240]
0017a244mov rax, [rax]
0017a247mov [rsp], rax
0017a24blea rbx, [rip+0x19abfe]
0017a252lea rax, [rip+0x1b33bf]
0017a259mov rax, [rax+312]
0017a260call Stdlib.Printf.fprintf
0017a265mov rbx, rax
0017a268mov rdi, [rbx]
0017a26bmov rax, [rsp]
0017a26fcall rdi
0017a271lea rax, [rip+0x19abc0]
0017a278call camlStdlib.prerr_endline_390
0017a27dlea rax, [rip+0x19a6e4]
0017a284mov rax, [rax+200]
0017a28bcall camlLatexmacros.hidden_pretty_table_843
0017a290lea rax, [rip+0x19ab79]
0017a297call camlStdlib.prerr_endline_390
0017a29clea rax, [rip+0x19a6c5]
0017a2a3mov rax, [rax+192]
0017a2aaadd rsp, 8
0017a2aejmp 0x179ee0
0017a2b3
0017a2b3loc_17a2b3:
0017a2b3push 34
0017a2b5call caml_call_realloc_stack
0017a2bapop r10
0017a2bcjmp 0x17a232
0017a220
0017a2c1
0017a2c1 // align 0x10
0017a2c1 // align 0x10
0017a2d0
0017a2d0camlLatexmacros.checkpoint_884:
0017a2d0lea r10, [rsp-344]
0017a2d8cmp r10, [r14+40]
0017a2dcjb 0x17a3a9
0017a2e2
0017a2e2loc_17a2e2:
0017a2e2sub rsp, 24
0017a2e6lea rax, [rip+0x19a67b]
0017a2edmov rbx, [rax+216]
0017a2f4mov rbx, [rbx]
0017a2f7mov [rsp+16], rbx
0017a2fcmov rax, [rax+192]
0017a303call Stdlib.Hashtbl.copy
0017a308mov [rsp+8], rax
0017a30dlea rax, [rip+0x19a654]
0017a314mov rax, [rax+200]
0017a31bcall Stdlib.Hashtbl.copy
0017a320mov [rsp], rax
0017a324lea rax, [rip+0x19a63d]
0017a32bmov rax, [rax+208]
0017a332call Stdlib.Hashtbl.copy
0017a337mov rbx, rax
0017a33asub r15, 64
0017a33ecmp r15, [r14]
0017a341jb 0x17a3a2
0017a343
0017a343loc_17a343:
0017a343lea rax, [r15+8]
0017a347mov [rax-8], 7168
0017a34flea rdi, [rip+0x19a612]
0017a356mov rsi, [rdi+240]
0017a35dmov rsi, [rsi]
0017a360mov [rax], rsi
0017a363mov rsi, [rdi+224]
0017a36amov rsi, [rsi]
0017a36dmov [rax+8], rsi
0017a371mov rdi, [rdi+232]
0017a378mov rdi, [rdi]
0017a37bmov [rax+16], rdi
0017a37fmov [rax+24], rbx
0017a383mov rbx, [rsp]
0017a387mov [rax+32], rbx
0017a38bmov rbx, [rsp+8]
0017a390mov [rax+40], rbx
0017a394mov rbx, [rsp+16]
0017a399mov [rax+48], rbx
0017a39dadd rsp, 24
0017a3a1ret
0017a3a2
0017a3a2loc_17a3a2:
0017a3a2call caml_call_gc
0017a3a7jmp 0x17a343
0017a3a9
0017a3a9loc_17a3a9:
0017a3a9push 36
0017a3abcall caml_call_realloc_stack
0017a3b0pop r10
0017a3b2jmp 0x17a2e2
0017a2d0
0017a2d0camlLatexmacros.checkpoint_884:
0017a2d0lea r10, [rsp-344]
0017a2d8cmp r10, [r14+40]
0017a2dcjb 0x17a3a9
0017a2e2
0017a2e2loc_17a2e2:
0017a2e2sub rsp, 24
0017a2e6lea rax, [rip+0x19a67b]
0017a2edmov rbx, [rax+216]
0017a2f4mov rbx, [rbx]
0017a2f7mov [rsp+16], rbx
0017a2fcmov rax, [rax+192]
0017a303call Stdlib.Hashtbl.copy
0017a308mov [rsp+8], rax
0017a30dlea rax, [rip+0x19a654]
0017a314mov rax, [rax+200]
0017a31bcall Stdlib.Hashtbl.copy
0017a320mov [rsp], rax
0017a324lea rax, [rip+0x19a63d]
0017a32bmov rax, [rax+208]
0017a332call Stdlib.Hashtbl.copy
0017a337mov rbx, rax
0017a33asub r15, 64
0017a33ecmp r15, [r14]
0017a341jb 0x17a3a2
0017a343
0017a343loc_17a343:
0017a343lea rax, [r15+8]
0017a347mov [rax-8], 7168
0017a34flea rdi, [rip+0x19a612]
0017a356mov rsi, [rdi+240]
0017a35dmov rsi, [rsi]
0017a360mov [rax], rsi
0017a363mov rsi, [rdi+224]
0017a36amov rsi, [rsi]
0017a36dmov [rax+8], rsi
0017a371mov rdi, [rdi+232]
0017a378mov rdi, [rdi]
0017a37bmov [rax+16], rdi
0017a37fmov [rax+24], rbx
0017a383mov rbx, [rsp]
0017a387mov [rax+32], rbx
0017a38bmov rbx, [rsp+8]
0017a390mov [rax+40], rbx
0017a394mov rbx, [rsp+16]
0017a399mov [rax+48], rbx
0017a39dadd rsp, 24
0017a3a1ret
0017a3a2
0017a3a2loc_17a3a2:
0017a3a2call caml_call_gc
0017a3a7jmp 0x17a343
0017a3a9
0017a3a9loc_17a3a9:
0017a3a9push 36
0017a3abcall caml_call_realloc_stack
0017a3b0pop r10
0017a3b2jmp 0x17a2e2
0017a2d0
0017a3b7
0017a3b7 // align 0x10
0017a3b7 // align 0x10
0017a3c0
0017a3c0camlLatexmacros.hot_start_885:
0017a3c0lea r10, [rsp-352]
0017a3c8cmp r10, [r14+40]
0017a3ccjb 0x17a4a9
0017a3d2
0017a3d2loc_17a3d2:
0017a3d2sub rsp, 32
0017a3d6mov [rsp], rdi
0017a3damov r12, rsi
0017a3ddmov [rsp+8], rdx
0017a3e2mov [rsp+16], rcx
0017a3e7mov [rsp+24], r8
0017a3eclea rdi, [rip+0x19a575]
0017a3f3mov rsi, [rdi+240]
0017a3famov [rsi], rax
0017a3fdmov rdi, [rdi+224]
0017a404mov rsi, rbx
0017a407mov rbx, rsp
0017a40amov rsp, [r14+64]
0017a40ecall caml_modify
0017a413mov rsp, rbx
0017a416lea rax, [rip+0x19a54b]
0017a41dmov rdi, [rax+232]
0017a424mov rsi, [rsp]
0017a428mov rbx, rsp
0017a42bmov rsp, [r14+64]
0017a42fcall caml_modify
0017a434mov rsp, rbx
0017a437lea rax, [rip+0x19a52a]
0017a43emov rbx, [rax+208]
0017a445mov rax, r12
0017a448call camlMisc.copy_hashtbl_321
0017a44dlea rax, [rip+0x19a514]
0017a454mov rbx, [rax+200]
0017a45bmov rax, [rsp+8]
0017a460call camlMisc.copy_hashtbl_321
0017a465lea rax, [rip+0x19a4fc]
0017a46cmov rbx, [rax+192]
0017a473mov rax, [rsp+16]
0017a478call camlMisc.copy_hashtbl_321
0017a47dlea rax, [rip+0x19a4e4]
0017a484mov rdi, [rax+216]
0017a48bmov rsi, [rsp+24]
0017a490mov rbx, rsp
0017a493mov rsp, [r14+64]
0017a497call caml_modify
0017a49cmov rsp, rbx
0017a49fmov eax, 1
0017a4a4add rsp, 32
0017a4a8ret
0017a4a9
0017a4a9loc_17a4a9:
0017a4a9push 37
0017a4abcall caml_call_realloc_stack
0017a4b0pop r10
0017a4b2jmp 0x17a3d2
0017a3c0
0017a3c0camlLatexmacros.hot_start_885:
0017a3c0lea r10, [rsp-352]
0017a3c8cmp r10, [r14+40]
0017a3ccjb 0x17a4a9
0017a3d2
0017a3d2loc_17a3d2:
0017a3d2sub rsp, 32
0017a3d6mov [rsp], rdi
0017a3damov r12, rsi
0017a3ddmov [rsp+8], rdx
0017a3e2mov [rsp+16], rcx
0017a3e7mov [rsp+24], r8
0017a3eclea rdi, [rip+0x19a575]
0017a3f3mov rsi, [rdi+240]
0017a3famov [rsi], rax
0017a3fdmov rdi, [rdi+224]
0017a404mov rsi, rbx
0017a407mov rbx, rsp
0017a40amov rsp, [r14+64]
0017a40ecall caml_modify
0017a413mov rsp, rbx
0017a416lea rax, [rip+0x19a54b]
0017a41dmov rdi, [rax+232]
0017a424mov rsi, [rsp]
0017a428mov rbx, rsp
0017a42bmov rsp, [r14+64]
0017a42fcall caml_modify
0017a434mov rsp, rbx
0017a437lea rax, [rip+0x19a52a]
0017a43emov rbx, [rax+208]
0017a445mov rax, r12
0017a448call camlMisc.copy_hashtbl_321
0017a44dlea rax, [rip+0x19a514]
0017a454mov rbx, [rax+200]
0017a45bmov rax, [rsp+8]
0017a460call camlMisc.copy_hashtbl_321
0017a465lea rax, [rip+0x19a4fc]
0017a46cmov rbx, [rax+192]
0017a473mov rax, [rsp+16]
0017a478call camlMisc.copy_hashtbl_321
0017a47dlea rax, [rip+0x19a4e4]
0017a484mov rdi, [rax+216]
0017a48bmov rsi, [rsp+24]
0017a490mov rbx, rsp
0017a493mov rsp, [r14+64]
0017a497call caml_modify
0017a49cmov rsp, rbx
0017a49fmov eax, 1
0017a4a4add rsp, 32
0017a4a8ret
0017a4a9
0017a4a9loc_17a4a9:
0017a4a9push 37
0017a4abcall caml_call_realloc_stack
0017a4b0pop r10
0017a4b2jmp 0x17a3d2
0017a3c0
0017a4b7
0017a4b7 // align 0x10
0017a4b7 // align 0x10
0017a4c0
0017a4c0camlLatexmacros.open_group_895:
0017a4c0lea rax, [rip+0x19a4a1]
0017a4c7mov rbx, [rax+240]
0017a4ceadd [rbx], 2
0017a4d2mov rbx, [rax+224]
0017a4d9mov rbx, [rbx]
0017a4dcmov rdi, [rax+232]
0017a4e3sub r15, 24
0017a4e7cmp r15, [r14]
0017a4eajb 0x17a539
0017a4ec
0017a4ecloc_17a4ec:
0017a4eclea rsi, [r15+8]
0017a4f0mov [rsi-8], 2048
0017a4f8mov [rsi], rbx
0017a4fbmov rax, [rdi]
0017a4femov [rsi+8], rax
0017a502mov rbx, rsp
0017a505mov rsp, [r14+64]
0017a509call caml_modify
0017a50emov rsp, rbx
0017a511mov esi, 1
0017a516lea rax, [rip+0x19a44b]
0017a51dmov rdi, [rax+224]
0017a524mov rbx, rsp
0017a527mov rsp, [r14+64]
0017a52bcall caml_modify
0017a530mov rsp, rbx
0017a533mov eax, 1
0017a538ret
0017a539
0017a539loc_17a539:
0017a539call caml_call_gc
0017a53ejmp 0x17a4ec
0017a4c0
0017a4c0camlLatexmacros.open_group_895:
0017a4c0lea rax, [rip+0x19a4a1]
0017a4c7mov rbx, [rax+240]
0017a4ceadd [rbx], 2
0017a4d2mov rbx, [rax+224]
0017a4d9mov rbx, [rbx]
0017a4dcmov rdi, [rax+232]
0017a4e3sub r15, 24
0017a4e7cmp r15, [r14]
0017a4eajb 0x17a539
0017a4ec
0017a4ecloc_17a4ec:
0017a4eclea rsi, [r15+8]
0017a4f0mov [rsi-8], 2048
0017a4f8mov [rsi], rbx
0017a4fbmov rax, [rdi]
0017a4femov [rsi+8], rax
0017a502mov rbx, rsp
0017a505mov rsp, [r14+64]
0017a509call caml_modify
0017a50emov rsp, rbx
0017a511mov esi, 1
0017a516lea rax, [rip+0x19a44b]
0017a51dmov rdi, [rax+224]
0017a524mov rbx, rsp
0017a527mov rsp, [r14+64]
0017a52bcall caml_modify
0017a530mov rsp, rbx
0017a533mov eax, 1
0017a538ret
0017a539
0017a539loc_17a539:
0017a539call caml_call_gc
0017a53ejmp 0x17a4ec
0017a4c0
0017a540
0017a540camlLatexmacros.close_group_896:
0017a540lea r10, [rsp-320]
0017a548cmp r10, [r14+40]
0017a54cjb 0x17a5bf
0017a54e
0017a54eloc_17a54e:
0017a54elea rax, [rip+0x19a413]
0017a555mov rbx, [rax+240]
0017a55cmov rbx, [rbx]
0017a55fcmp rbx, 1
0017a563jle 0x17a57b
0017a565mov rax, [rax+224]
0017a56cmov rbx, [rax]
0017a56flea rax, [rip+0x19a0da]
0017a576call Stdlib.Set.iter
0017a57b
0017a57bloc_17a57b:
0017a57blea rax, [rip+0x19a3e6]
0017a582mov rbx, [rax+240]
0017a589add [rbx], -2
0017a58dmov rax, [rax+232]
0017a594call camlMyStack.pop_292
0017a599lea rbx, [rip+0x19a3c8]
0017a5a0mov rdi, [rbx+224]
0017a5a7mov rsi, rax
0017a5aamov rbx, rsp
0017a5admov rsp, [r14+64]
0017a5b1call caml_modify
0017a5b6mov rsp, rbx
0017a5b9mov eax, 1
0017a5beret
0017a5bf
0017a5bfloc_17a5bf:
0017a5bfpush 33
0017a5c1call caml_call_realloc_stack
0017a5c6pop r10
0017a5c8jmp 0x17a54e
0017a540
0017a540camlLatexmacros.close_group_896:
0017a540lea r10, [rsp-320]
0017a548cmp r10, [r14+40]
0017a54cjb 0x17a5bf
0017a54e
0017a54eloc_17a54e:
0017a54elea rax, [rip+0x19a413]
0017a555mov rbx, [rax+240]
0017a55cmov rbx, [rbx]
0017a55fcmp rbx, 1
0017a563jle 0x17a57b
0017a565mov rax, [rax+224]
0017a56cmov rbx, [rax]
0017a56flea rax, [rip+0x19a0da]
0017a576call Stdlib.Set.iter
0017a57b
0017a57bloc_17a57b:
0017a57blea rax, [rip+0x19a3e6]
0017a582mov rbx, [rax+240]
0017a589add [rbx], -2
0017a58dmov rax, [rax+232]
0017a594call camlMyStack.pop_292
0017a599lea rbx, [rip+0x19a3c8]
0017a5a0mov rdi, [rbx+224]
0017a5a7mov rsi, rax
0017a5aamov rbx, rsp
0017a5admov rsp, [r14+64]
0017a5b1call caml_modify
0017a5b6mov rsp, rbx
0017a5b9mov eax, 1
0017a5beret
0017a5bf
0017a5bfloc_17a5bf:
0017a5bfpush 33
0017a5c1call caml_call_realloc_stack
0017a5c6pop r10
0017a5c8jmp 0x17a54e
0017a540
0017a5ca
0017a5ca // align 0x10
0017a5ca // align 0x10
0017a5d0
0017a5d0camlLatexmacros.fun_1082:
0017a5d0mov rbx, rax
0017a5d3lea rax, [rip+0x19a38e]
0017a5damov rax, [rax+192]
0017a5e1jmp 0x1e7880
0017a5d0
0017a5d0camlLatexmacros.fun_1082:
0017a5d0mov rbx, rax
0017a5d3lea rax, [rip+0x19a38e]
0017a5damov rax, [rax+192]
0017a5e1jmp 0x1e7880
0017a5d0
0017a5e6
0017a5e6 // align 0x10
0017a5e6 // align 0x10
0017a5f0
0017a5f0camlLatexmacros.get_level_902:
0017a5f0lea rax, [rip+0x19a371]
0017a5f7mov rax, [rax+240]
0017a5femov rax, [rax]
0017a601ret
0017a5f0
0017a5f0camlLatexmacros.get_level_902:
0017a5f0lea rax, [rip+0x19a371]
0017a5f7mov rax, [rax+240]
0017a5femov rax, [rax]
0017a601ret
0017a5f0
0017a602
0017a602 // align 0x10
0017a602 // align 0x10
0017a610
0017a610camlLatexmacros.pre_purge_905:
0017a610lea r10, [rsp-336]
0017a618cmp r10, [r14+40]
0017a61cjb 0x17a692
0017a61e
0017a61eloc_17a61e:
0017a61esub rsp, 16
0017a622mov [rsp], rax
0017a626mov [rsp+8], rbx
0017a62blea rdi, [rip+0x19a336]
0017a632mov rdi, [rdi+184]
0017a639mov rdi, [rdi+240]
0017a640call Stdlib.Set.mem
0017a645cmp rax, 1
0017a649je 0x17a688
0017a64blea rax, [rip+0x19a316]
0017a652mov rax, [rax+192]
0017a659mov rbx, [rsp]
0017a65dcall Stdlib.Hashtbl.remove
0017a662lea rax, [rip+0x19a2ff]
0017a669mov rax, [rax+184]
0017a670mov rdi, [rax+24]
0017a674mov rax, [rsp]
0017a678mov rbx, [rsp+8]
0017a67dadd rsp, 16
0017a681jmp 0x1ba750
0017a686
0017a686 66 90 f.
0017a688
0017a688loc_17a688:
0017a688mov rax, [rsp+8]
0017a68dadd rsp, 16
0017a691ret
0017a692
0017a692loc_17a692:
0017a692push 35
0017a694call caml_call_realloc_stack
0017a699pop r10
0017a69bjmp 0x17a61e
0017a610
0017a610camlLatexmacros.pre_purge_905:
0017a610lea r10, [rsp-336]
0017a618cmp r10, [r14+40]
0017a61cjb 0x17a692
0017a61e
0017a61eloc_17a61e:
0017a61esub rsp, 16
0017a622mov [rsp], rax
0017a626mov [rsp+8], rbx
0017a62blea rdi, [rip+0x19a336]
0017a632mov rdi, [rdi+184]
0017a639mov rdi, [rdi+240]
0017a640call Stdlib.Set.mem
0017a645cmp rax, 1
0017a649je 0x17a688
0017a64blea rax, [rip+0x19a316]
0017a652mov rax, [rax+192]
0017a659mov rbx, [rsp]
0017a65dcall Stdlib.Hashtbl.remove
0017a662lea rax, [rip+0x19a2ff]
0017a669mov rax, [rax+184]
0017a670mov rdi, [rax+24]
0017a674mov rax, [rsp]
0017a678mov rbx, [rsp+8]
0017a67dadd rsp, 16
0017a681jmp 0x1ba750
0017a686
0017a686 66 90 f.
0017a688
0017a688loc_17a688:
0017a688mov rax, [rsp+8]
0017a68dadd rsp, 16
0017a691ret
0017a692
0017a692loc_17a692:
0017a692push 35
0017a694call caml_call_realloc_stack
0017a699pop r10
0017a69bjmp 0x17a61e
0017a610
0017a69d
0017a69d // align 0x10
0017a69d // align 0x10
0017a6a0
0017a6a0camlLatexmacros.hidden_global_def_909:
0017a6a0lea r10, [rsp-344]
0017a6a8cmp r10, [r14+40]
0017a6acjb 0x17a7c3
0017a6b2
0017a6b2loc_17a6b2:
0017a6b2sub rsp, 24
0017a6b6mov rdi, rax
0017a6b9mov [rsp+8], rdi
0017a6bemov [rsp], rbx
0017a6c2lea rax, [rip+0x19a29f]
0017a6c9mov rbx, [rax+240]
0017a6d0mov rbx, [rbx]
0017a6d3cmp rbx, 1
0017a6d7jle 0x17a799
0017a6ddmov rax, [rax+192]
0017a6e4mov rbx, rdi
0017a6e7call Stdlib.Hashtbl.mem
0017a6eccmp rax, 1
0017a6f0je 0x17a799
0017a6f6lea rax, [rip+0x19a26b]
0017a6fdmov rax, [rax+224]
0017a704mov rbx, [rax]
0017a707mov rax, [rsp+8]
0017a70ccall camlLatexmacros.pre_purge_905
0017a711lea rbx, [rip+0x19a250]
0017a718mov rdi, [rbx+224]
0017a71fmov rsi, rax
0017a722mov rbx, rsp
0017a725mov rsp, [r14+64]
0017a729call caml_modify
0017a72emov rsp, rbx
0017a731sub r15, 32
0017a735cmp r15, [r14]
0017a738jb 0x17a7b9
0017a73a
0017a73aloc_17a73a:
0017a73alea rax, [r15+8]
0017a73emov [rax-8], 3319
0017a746lea rbx, [rip+147]
0017a74dmov [rax], rbx
0017a750mov rbx, 0x100000000000005
0017a75amov [rax+8], rbx
0017a75emov rbx, [rsp+8]
0017a763mov [rax+16], rbx
0017a767lea rbx, [rip+0x19a1fa]
0017a76emov rbx, [rbx+232]
0017a775mov [rsp+16], rbx
0017a77amov rbx, [rbx]
0017a77dcall Stdlib.List.map
0017a782mov rdi, [rsp+16]
0017a787mov rsi, rax
0017a78amov rbx, rsp
0017a78dmov rsp, [r14+64]
0017a791call caml_modify
0017a796mov rsp, rbx
0017a799
0017a799loc_17a799:
0017a799lea rax, [rip+0x19a1c8]
0017a7a0mov rax, [rax+200]
0017a7a7mov rbx, [rsp+8]
0017a7acmov rdi, [rsp]
0017a7b0add rsp, 24
0017a7b4jmp 0x1e8060
0017a7b9
0017a7b9loc_17a7b9:
0017a7b9call caml_call_gc
0017a7bejmp 0x17a73a
0017a7c3
0017a7c3loc_17a7c3:
0017a7c3push 36
0017a7c5call caml_call_realloc_stack
0017a7capop r10
0017a7ccjmp 0x17a6b2
0017a6a0
0017a6a0camlLatexmacros.hidden_global_def_909:
0017a6a0lea r10, [rsp-344]
0017a6a8cmp r10, [r14+40]
0017a6acjb 0x17a7c3
0017a6b2
0017a6b2loc_17a6b2:
0017a6b2sub rsp, 24
0017a6b6mov rdi, rax
0017a6b9mov [rsp+8], rdi
0017a6bemov [rsp], rbx
0017a6c2lea rax, [rip+0x19a29f]
0017a6c9mov rbx, [rax+240]
0017a6d0mov rbx, [rbx]
0017a6d3cmp rbx, 1
0017a6d7jle 0x17a799
0017a6ddmov rax, [rax+192]
0017a6e4mov rbx, rdi
0017a6e7call Stdlib.Hashtbl.mem
0017a6eccmp rax, 1
0017a6f0je 0x17a799
0017a6f6lea rax, [rip+0x19a26b]
0017a6fdmov rax, [rax+224]
0017a704mov rbx, [rax]
0017a707mov rax, [rsp+8]
0017a70ccall camlLatexmacros.pre_purge_905
0017a711lea rbx, [rip+0x19a250]
0017a718mov rdi, [rbx+224]
0017a71fmov rsi, rax
0017a722mov rbx, rsp
0017a725mov rsp, [r14+64]
0017a729call caml_modify
0017a72emov rsp, rbx
0017a731sub r15, 32
0017a735cmp r15, [r14]
0017a738jb 0x17a7b9
0017a73a
0017a73aloc_17a73a:
0017a73alea rax, [r15+8]
0017a73emov [rax-8], 3319
0017a746lea rbx, [rip+147]
0017a74dmov [rax], rbx
0017a750mov rbx, 0x100000000000005
0017a75amov [rax+8], rbx
0017a75emov rbx, [rsp+8]
0017a763mov [rax+16], rbx
0017a767lea rbx, [rip+0x19a1fa]
0017a76emov rbx, [rbx+232]
0017a775mov [rsp+16], rbx
0017a77amov rbx, [rbx]
0017a77dcall Stdlib.List.map
0017a782mov rdi, [rsp+16]
0017a787mov rsi, rax
0017a78amov rbx, rsp
0017a78dmov rsp, [r14+64]
0017a791call caml_modify
0017a796mov rsp, rbx
0017a799
0017a799loc_17a799:
0017a799lea rax, [rip+0x19a1c8]
0017a7a0mov rax, [rax+200]
0017a7a7mov rbx, [rsp+8]
0017a7acmov rdi, [rsp]
0017a7b0add rsp, 24
0017a7b4jmp 0x1e8060
0017a7b9
0017a7b9loc_17a7b9:
0017a7b9call caml_call_gc
0017a7bejmp 0x17a73a
0017a7c3
0017a7c3loc_17a7c3:
0017a7c3push 36
0017a7c5call caml_call_realloc_stack
0017a7capop r10
0017a7ccjmp 0x17a6b2
0017a6a0
0017a7d1
0017a7d1 // align 0x10
0017a7d1 // align 0x10
0017a7e0
0017a7e0camlLatexmacros.fun_1089:
0017a7e0mov rdi, rax
0017a7e3mov rax, [rbx+16]
0017a7e7mov rbx, rdi
0017a7eajmp 0x17a610
0017a7e0
0017a7e0camlLatexmacros.fun_1089:
0017a7e0mov rdi, rax
0017a7e3mov rax, [rbx+16]
0017a7e7mov rbx, rdi
0017a7eajmp 0x17a610
0017a7e0
0017a7ef
0017a7ef // align 0x10
0017a7ef // align 0x10
0017a7f0
0017a7f0camlLatexmacros.hidden_local_def_914:
0017a7f0lea r10, [rsp-336]
0017a7f8cmp r10, [r14+40]
0017a7fcjb 0x17a8eb
0017a802
0017a802loc_17a802:
0017a802sub rsp, 16
0017a806mov rsi, rax
0017a809mov rdi, rbx
0017a80clea rax, [rip+0x19a155]
0017a813mov rbx, [rax+240]
0017a81amov rbx, [rbx]
0017a81dcmp rbx, 1
0017a821jle 0x17a8d8
0017a827mov [rsp], rdi
0017a82bmov [rsp+8], rsi
0017a830mov rbx, [rax+224]
0017a837mov rbx, [rbx]
0017a83amov rax, [rax+184]
0017a841mov rdi, [rax+240]
0017a848mov rax, rsi
0017a84bcall Stdlib.Set.mem
0017a850cmp rax, 1
0017a854je 0x17a870
0017a856lea rax, [rip+0x19a10b]
0017a85dmov rax, [rax+192]
0017a864mov rbx, [rsp+8]
0017a869call Stdlib.Hashtbl.remove
0017a86ejmp 0x17a8b6
0017a870
0017a870loc_17a870:
0017a870lea rax, [rip+0x19a0f1]
0017a877mov rbx, [rax+224]
0017a87emov rbx, [rbx]
0017a881mov rax, [rax+184]
0017a888mov rdi, [rax+8]
0017a88cmov rax, [rsp+8]
0017a891call Stdlib.Set.add
0017a896lea rbx, [rip+0x19a0cb]
0017a89dmov rdi, [rbx+224]
0017a8a4mov rsi, rax
0017a8a7mov rbx, rsp
0017a8aamov rsp, [r14+64]
0017a8aecall caml_modify
0017a8b3mov rsp, rbx
0017a8b6
0017a8b6loc_17a8b6:
0017a8b6lea rax, [rip+0x19a0ab]
0017a8bdmov rax, [rax+192]
0017a8c4mov rbx, [rsp+8]
0017a8c9mov rdi, [rsp]
0017a8cdadd rsp, 16
0017a8d1jmp 0x1e7690
0017a8d6
0017a8d6 66 90 f.
0017a8d8
0017a8d8loc_17a8d8:
0017a8d8mov rax, [rax+200]
0017a8dfmov rbx, rsi
0017a8e2add rsp, 16
0017a8e6jmp 0x1e8060
0017a8eb
0017a8ebloc_17a8eb:
0017a8ebpush 35
0017a8edcall caml_call_realloc_stack
0017a8f2pop r10
0017a8f4jmp 0x17a802
0017a7f0
0017a7f0camlLatexmacros.hidden_local_def_914:
0017a7f0lea r10, [rsp-336]
0017a7f8cmp r10, [r14+40]
0017a7fcjb 0x17a8eb
0017a802
0017a802loc_17a802:
0017a802sub rsp, 16
0017a806mov rsi, rax
0017a809mov rdi, rbx
0017a80clea rax, [rip+0x19a155]
0017a813mov rbx, [rax+240]
0017a81amov rbx, [rbx]
0017a81dcmp rbx, 1
0017a821jle 0x17a8d8
0017a827mov [rsp], rdi
0017a82bmov [rsp+8], rsi
0017a830mov rbx, [rax+224]
0017a837mov rbx, [rbx]
0017a83amov rax, [rax+184]
0017a841mov rdi, [rax+240]
0017a848mov rax, rsi
0017a84bcall Stdlib.Set.mem
0017a850cmp rax, 1
0017a854je 0x17a870
0017a856lea rax, [rip+0x19a10b]
0017a85dmov rax, [rax+192]
0017a864mov rbx, [rsp+8]
0017a869call Stdlib.Hashtbl.remove
0017a86ejmp 0x17a8b6
0017a870
0017a870loc_17a870:
0017a870lea rax, [rip+0x19a0f1]
0017a877mov rbx, [rax+224]
0017a87emov rbx, [rbx]
0017a881mov rax, [rax+184]
0017a888mov rdi, [rax+8]
0017a88cmov rax, [rsp+8]
0017a891call Stdlib.Set.add
0017a896lea rbx, [rip+0x19a0cb]
0017a89dmov rdi, [rbx+224]
0017a8a4mov rsi, rax
0017a8a7mov rbx, rsp
0017a8aamov rsp, [r14+64]
0017a8aecall caml_modify
0017a8b3mov rsp, rbx
0017a8b6
0017a8b6loc_17a8b6:
0017a8b6lea rax, [rip+0x19a0ab]
0017a8bdmov rax, [rax+192]
0017a8c4mov rbx, [rsp+8]
0017a8c9mov rdi, [rsp]
0017a8cdadd rsp, 16
0017a8d1jmp 0x1e7690
0017a8d6
0017a8d6 66 90 f.
0017a8d8
0017a8d8loc_17a8d8:
0017a8d8mov rax, [rax+200]
0017a8dfmov rbx, rsi
0017a8e2add rsp, 16
0017a8e6jmp 0x1e8060
0017a8eb
0017a8ebloc_17a8eb:
0017a8ebpush 35
0017a8edcall caml_call_realloc_stack
0017a8f2pop r10
0017a8f4jmp 0x17a802
0017a7f0
0017a8f9
0017a8f9 // align 0x10
0017a8f9 // align 0x10
0017a900
0017a900camlLatexmacros.hidden_find_918:
0017a900lea r10, [rsp-344]
0017a908cmp r10, [r14+40]
0017a90cjb 0x17a9b0
0017a912
0017a912loc_17a912:
0017a912sub rsp, 8
0017a916mov rbx, rax
0017a919lea rax, [rip+0x19a048]
0017a920mov rdi, [rax+240]
0017a927mov rdi, [rdi]
0017a92acmp rdi, 1
0017a92ejle 0x17a9a0
0017a930mov [rsp], rbx
0017a934lea r11, [rip+33]
0017a93bpush r11
0017a93dpush [r14+48]
0017a941mov [r14+48], rsp
0017a945mov rax, [rax+192]
0017a94ccall Stdlib.Hashtbl.find
0017a951pop [r14+48]
0017a955add rsp, 8
0017a959jmp 0x17a998
0017a95bnop
0017a95clea rbx, [rip+0x1b2cb5]
0017a963mov rbx, [rbx+56]
0017a967cmp rax, rbx
0017a96ajne 0x17a988
0017a96clea rax, [rip+0x199ff5]
0017a973mov rax, [rax+200]
0017a97amov rbx, [rsp]
0017a97eadd rsp, 8
0017a982jmp 0x1e7950
0017a987nop
0017a988
0017a988loc_17a988:
0017a988mov rsp, [r14+48]
0017a98cpop [r14+48]
0017a990pop r11
0017a992jmp r11
0017a995nop [rax]
0017a998
0017a998loc_17a998:
0017a998add rsp, 8
0017a99cret
0017a99dnop [rax]
0017a9a0
0017a9a0loc_17a9a0:
0017a9a0mov rax, [rax+200]
0017a9a7add rsp, 8
0017a9abjmp 0x1e7950
0017a9b0
0017a9b0loc_17a9b0:
0017a9b0push 36
0017a9b2call caml_call_realloc_stack
0017a9b7pop r10
0017a9b9jmp 0x17a912
0017a900
0017a900camlLatexmacros.hidden_find_918:
0017a900lea r10, [rsp-344]
0017a908cmp r10, [r14+40]
0017a90cjb 0x17a9b0
0017a912
0017a912loc_17a912:
0017a912sub rsp, 8
0017a916mov rbx, rax
0017a919lea rax, [rip+0x19a048]
0017a920mov rdi, [rax+240]
0017a927mov rdi, [rdi]
0017a92acmp rdi, 1
0017a92ejle 0x17a9a0
0017a930mov [rsp], rbx
0017a934lea r11, [rip+33]
0017a93bpush r11
0017a93dpush [r14+48]
0017a941mov [r14+48], rsp
0017a945mov rax, [rax+192]
0017a94ccall Stdlib.Hashtbl.find
0017a951pop [r14+48]
0017a955add rsp, 8
0017a959jmp 0x17a998
0017a95bnop
0017a95clea rbx, [rip+0x1b2cb5]
0017a963mov rbx, [rbx+56]
0017a967cmp rax, rbx
0017a96ajne 0x17a988
0017a96clea rax, [rip+0x199ff5]
0017a973mov rax, [rax+200]
0017a97amov rbx, [rsp]
0017a97eadd rsp, 8
0017a982jmp 0x1e7950
0017a987nop
0017a988
0017a988loc_17a988:
0017a988mov rsp, [r14+48]
0017a98cpop [r14+48]
0017a990pop r11
0017a992jmp r11
0017a995nop [rax]
0017a998
0017a998loc_17a998:
0017a998add rsp, 8
0017a99cret
0017a99dnop [rax]
0017a9a0
0017a9a0loc_17a9a0:
0017a9a0mov rax, [rax+200]
0017a9a7add rsp, 8
0017a9abjmp 0x1e7950
0017a9b0
0017a9b0loc_17a9b0:
0017a9b0push 36
0017a9b2call caml_call_realloc_stack
0017a9b7pop r10
0017a9b9jmp 0x17a912
0017a900
0017a9be
0017a9be // align 0x10
0017a9be // align 0x10
0017a9c0
0017a9c0camlLatexmacros.set_saved_macros_921:
0017a9c0lea r10, [rsp-320]
0017a9c8cmp r10, [r14+40]
0017a9ccjb 0x17aa13
0017a9ce
0017a9celoc_17a9ce:
0017a9cemov edi, 1
0017a9d3lea rax, [rip+0x199f8e]
0017a9damov rbx, [rax+200]
0017a9e1lea rax, [rip+0x199c80]
0017a9e8call Stdlib.Hashtbl.fold
0017a9edlea rbx, [rip+0x199f74]
0017a9f4mov rdi, [rbx+216]
0017a9fbmov rsi, rax
0017a9femov rbx, rsp
0017aa01mov rsp, [r14+64]
0017aa05call caml_modify
0017aa0amov rsp, rbx
0017aa0dmov eax, 1
0017aa12ret
0017aa13
0017aa13loc_17aa13:
0017aa13push 33
0017aa15call caml_call_realloc_stack
0017aa1apop r10
0017aa1cjmp 0x17a9ce
0017a9c0
0017a9c0camlLatexmacros.set_saved_macros_921:
0017a9c0lea r10, [rsp-320]
0017a9c8cmp r10, [r14+40]
0017a9ccjb 0x17aa13
0017a9ce
0017a9celoc_17a9ce:
0017a9cemov edi, 1
0017a9d3lea rax, [rip+0x199f8e]
0017a9damov rbx, [rax+200]
0017a9e1lea rax, [rip+0x199c80]
0017a9e8call Stdlib.Hashtbl.fold
0017a9edlea rbx, [rip+0x199f74]
0017a9f4mov rdi, [rbx+216]
0017a9fbmov rsi, rax
0017a9femov rbx, rsp
0017aa01mov rsp, [r14+64]
0017aa05call caml_modify
0017aa0amov rsp, rbx
0017aa0dmov eax, 1
0017aa12ret
0017aa13
0017aa13loc_17aa13:
0017aa13push 33
0017aa15call caml_call_realloc_stack
0017aa1apop r10
0017aa1cjmp 0x17a9ce
0017a9c0
0017aa1e
0017aa1e // align 0x10
0017aa1e // align 0x10
0017aa20
0017aa20camlLatexmacros.fun_1106:
0017aa20mov rsi, rax
0017aa23mov rax, [rbx+16]
0017aa27mov rdi, [rbx+24]
0017aa2bmov rbx, rsi
0017aa2ejmp 0x1b9fc0
0017aa20
0017aa20camlLatexmacros.fun_1106:
0017aa20mov rsi, rax
0017aa23mov rax, [rbx+16]
0017aa27mov rdi, [rbx+24]
0017aa2bmov rbx, rsi
0017aa2ejmp 0x1b9fc0
0017aa20
0017aa33
0017aa33 // align 0x10
0017aa33 // align 0x10
0017aa40
0017aa40camlLatexmacros.fun_1101:
0017aa40lea rbx, [rip+0x199f21]
0017aa47mov rbx, [rbx+184]
0017aa4emov rbx, [rbx+8]
0017aa52sub r15, 40
0017aa56cmp r15, [r14]
0017aa59jb 0x17aa8b
0017aa5b
0017aa5bloc_17aa5b:
0017aa5blea rdi, [r15+8]
0017aa5fmov [rdi-8], 4343
0017aa67lea rsi, [rip-78]
0017aa6emov [rdi], rsi
0017aa71mov rsi, 0x100000000000005
0017aa7bmov [rdi+8], rsi
0017aa7fmov [rdi+16], rax
0017aa83mov [rdi+24], rbx
0017aa87mov rax, rdi
0017aa8aret
0017aa8b
0017aa8bloc_17aa8b:
0017aa8bcall caml_call_gc
0017aa90jmp 0x17aa5b
0017aa40
0017aa40camlLatexmacros.fun_1101:
0017aa40lea rbx, [rip+0x199f21]
0017aa47mov rbx, [rbx+184]
0017aa4emov rbx, [rbx+8]
0017aa52sub r15, 40
0017aa56cmp r15, [r14]
0017aa59jb 0x17aa8b
0017aa5b
0017aa5bloc_17aa5b:
0017aa5blea rdi, [r15+8]
0017aa5fmov [rdi-8], 4343
0017aa67lea rsi, [rip-78]
0017aa6emov [rdi], rsi
0017aa71mov rsi, 0x100000000000005
0017aa7bmov [rdi+8], rsi
0017aa7fmov [rdi+16], rax
0017aa83mov [rdi+24], rbx
0017aa87mov rax, rdi
0017aa8aret
0017aa8b
0017aa8bloc_17aa8b:
0017aa8bcall caml_call_gc
0017aa90jmp 0x17aa5b
0017aa40
0017aa92
0017aa92 // align 0x10
0017aa92 // align 0x10
0017aaa0
0017aaa0camlLatexmacros.get_saved_macro_926:
0017aaa0lea rdi, [rip+0x199ec1]
0017aaa7mov rbx, [rdi+216]
0017aaaemov rbx, [rbx]
0017aab1mov rdi, [rdi+184]
0017aab8mov rdi, [rdi+240]
0017aabfjmp 0x1ba6c0
0017aaa0
0017aaa0camlLatexmacros.get_saved_macro_926:
0017aaa0lea rdi, [rip+0x199ec1]
0017aaa7mov rbx, [rdi+216]
0017aaaemov rbx, [rbx]
0017aab1mov rdi, [rdi+184]
0017aab8mov rdi, [rdi+240]
0017aabfjmp 0x1ba6c0
0017aaa0
0017aac4
0017aac4 // align 0x10
0017aac4 // align 0x10
0017aad0
0017aad0camlLatexmacros.register_init_929:
0017aad0lea r10, [rsp-352]
0017aad8cmp r10, [r14+40]
0017aadcjb 0x17abb9
0017aae2
0017aae2loc_17aae2:
0017aae2sub rsp, 16
0017aae6mov rdi, rax
0017aae9mov [rsp+8], rdi
0017aaeemov [rsp], rbx
0017aaf2lea rax, [rip+0x1af577]
0017aaf9mov rax, [rax+80]
0017aafdmov rax, [rax]
0017ab00cmp rax, 3
0017ab04jle 0x17ab1a
0017ab06lea rax, [rip+0x19a2d3]
0017ab0dmov rbx, rdi
0017ab10call camlStdlib.$5e_139
0017ab15call camlStdlib.prerr_endline_390
0017ab1a
0017ab1aloc_17ab1a:
0017ab1alea r11, [rip+83]
0017ab21push r11
0017ab23push [r14+48]
0017ab27mov [r14+48], rsp
0017ab2blea rax, [rip+0x199e36]
0017ab32mov rax, [rax+208]
0017ab39mov rbx, [rsp+24]
0017ab3ecall Stdlib.Hashtbl.find
0017ab43lea rbx, [rip+0x19a24e]
0017ab4amov rax, [rsp+24]
0017ab4fcall camlStdlib.$5e_139
0017ab54mov rbx, rax
0017ab57lea rax, [rip+0x19a24a]
0017ab5ecall camlStdlib.$5e_139
0017ab63call camlMisc.fatal_310
0017ab68pop [r14+48]
0017ab6cadd rsp, 8
0017ab70jmp 0x17abb4
0017ab72nop
0017ab74lea rbx, [rip+0x1b2a9d]
0017ab7bmov rbx, [rbx+56]
0017ab7fcmp rax, rbx
0017ab82jne 0x17aba4
0017ab84lea rax, [rip+0x199ddd]
0017ab8bmov rax, [rax+208]
0017ab92mov rbx, [rsp+8]
0017ab97mov rdi, [rsp]
0017ab9badd rsp, 16
0017ab9fjmp 0x1e7690
0017aba4
0017aba4loc_17aba4:
0017aba4mov rsp, [r14+48]
0017aba8pop [r14+48]
0017abacpop r11
0017abaejmp r11
0017abb1nop [rax]
0017abb4
0017abb4loc_17abb4:
0017abb4add rsp, 16
0017abb8ret
0017abb9
0017abb9loc_17abb9:
0017abb9push 37
0017abbbcall caml_call_realloc_stack
0017abc0pop r10
0017abc2jmp 0x17aae2
0017aad0
0017aad0camlLatexmacros.register_init_929:
0017aad0lea r10, [rsp-352]
0017aad8cmp r10, [r14+40]
0017aadcjb 0x17abb9
0017aae2
0017aae2loc_17aae2:
0017aae2sub rsp, 16
0017aae6mov rdi, rax
0017aae9mov [rsp+8], rdi
0017aaeemov [rsp], rbx
0017aaf2lea rax, [rip+0x1af577]
0017aaf9mov rax, [rax+80]
0017aafdmov rax, [rax]
0017ab00cmp rax, 3
0017ab04jle 0x17ab1a
0017ab06lea rax, [rip+0x19a2d3]
0017ab0dmov rbx, rdi
0017ab10call camlStdlib.$5e_139
0017ab15call camlStdlib.prerr_endline_390
0017ab1a
0017ab1aloc_17ab1a:
0017ab1alea r11, [rip+83]
0017ab21push r11
0017ab23push [r14+48]
0017ab27mov [r14+48], rsp
0017ab2blea rax, [rip+0x199e36]
0017ab32mov rax, [rax+208]
0017ab39mov rbx, [rsp+24]
0017ab3ecall Stdlib.Hashtbl.find
0017ab43lea rbx, [rip+0x19a24e]
0017ab4amov rax, [rsp+24]
0017ab4fcall camlStdlib.$5e_139
0017ab54mov rbx, rax
0017ab57lea rax, [rip+0x19a24a]
0017ab5ecall camlStdlib.$5e_139
0017ab63call camlMisc.fatal_310
0017ab68pop [r14+48]
0017ab6cadd rsp, 8
0017ab70jmp 0x17abb4
0017ab72nop
0017ab74lea rbx, [rip+0x1b2a9d]
0017ab7bmov rbx, [rbx+56]
0017ab7fcmp rax, rbx
0017ab82jne 0x17aba4
0017ab84lea rax, [rip+0x199ddd]
0017ab8bmov rax, [rax+208]
0017ab92mov rbx, [rsp+8]
0017ab97mov rdi, [rsp]
0017ab9badd rsp, 16
0017ab9fjmp 0x1e7690
0017aba4
0017aba4loc_17aba4:
0017aba4mov rsp, [r14+48]
0017aba8pop [r14+48]
0017abacpop r11
0017abaejmp r11
0017abb1nop [rax]
0017abb4
0017abb4loc_17abb4:
0017abb4add rsp, 16
0017abb8ret
0017abb9
0017abb9loc_17abb9:
0017abb9push 37
0017abbbcall caml_call_realloc_stack
0017abc0pop r10
0017abc2jmp 0x17aae2
0017aad0
Loading..