File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
Loading..
001b5220
001b5220Stdlib.Float.to_seqi:
001b5220sub r15, 80
001b5224cmp r15, [r14]
001b5227jb 0x1b5292
001b5229
001b5229loc_1b5229:
001b5229lea rbx, [r15+8]
001b522dadd rbx, 40
001b5231mov [rbx-8], 4343
001b5239lea rdi, [rip-0xbe220]
001b5240mov [rbx], rdi
001b5243mov rdi, 0x200000000000007
001b524dmov [rbx+8], rdi
001b5251lea rdi, [rip+72]
001b5258mov [rbx+16], rdi
001b525cmov [rbx+24], rax
001b5260mov edi, 1
001b5265lea rax, [rbx-40]
001b5269mov [rax-8], 4343
001b5271lea rsi, [rip+248]
001b5278mov [rax], rsi
001b527bmov rsi, 0x100000000000005
001b5285mov [rax+8], rsi
001b5289mov [rax+16], rdi
001b528dmov [rax+24], rbx
001b5291ret
001b5292
001b5292loc_1b5292:
001b5292call caml_call_gc
001b5297jmp 0x1b5229
001b5220
001b5220Stdlib.Float.to_seqi:
001b5220sub r15, 80
001b5224cmp r15, [r14]
001b5227jb 0x1b5292
001b5229
001b5229loc_1b5229:
001b5229lea rbx, [r15+8]
001b522dadd rbx, 40
001b5231mov [rbx-8], 4343
001b5239lea rdi, [rip-0xbe220]
001b5240mov [rbx], rdi
001b5243mov rdi, 0x200000000000007
001b524dmov [rbx+8], rdi
001b5251lea rdi, [rip+72]
001b5258mov [rbx+16], rdi
001b525cmov [rbx+24], rax
001b5260mov edi, 1
001b5265lea rax, [rbx-40]
001b5269mov [rax-8], 4343
001b5271lea rsi, [rip+248]
001b5278mov [rax], rsi
001b527bmov rsi, 0x100000000000005
001b5285mov [rax+8], rsi
001b5289mov [rax+16], rdi
001b528dmov [rax+24], rbx
001b5291ret
001b5292
001b5292loc_1b5292:
001b5292call caml_call_gc
001b5297jmp 0x1b5229
001b5220
001b5299
001b5299 // align 0x10
001b5299 // align 0x10
001b52a0
001b52a0Stdlib.Float.aux:
001b52a0mov rbx, [rdi+24]
001b52a4mov rsi, [rbx-8]
001b52a8shr rsi, 9
001b52acor rsi, 1
001b52b0cmp rax, rsi
001b52b3jge 0x1b5334
001b52b5movsd_xmm x0, [rbx+4*rax-4]
001b52bbmov rbx, rax
001b52beadd rbx, 2
001b52c2sub r15, 104
001b52c6cmp r15, [r14]
001b52c9jb 0x1b533a
001b52cb
001b52cbloc_1b52cb:
001b52cblea rsi, [r15+8]
001b52cfadd rsi, 64
001b52d3mov [rsi-8], 4343
001b52dblea rdx, [rip+110]
001b52e2mov [rsi], rdx
001b52e5mov rdx, 0x100000000000005
001b52efmov [rsi+8], rdx
001b52f3mov [rsi+16], rbx
001b52f7mov [rsi+24], rdi
001b52fblea rbx, [rsi-16]
001b52ffmov [rbx-8], 1277
001b5307movsd_xmm [rbx], x0
001b530blea rdi, [rbx-24]
001b530fmov [rdi-8], 2048
001b5317mov [rdi], rax
001b531amov [rdi+8], rbx
001b531elea rax, [rdi-24]
001b5322mov [rax-8], 2048
001b532amov [rax], rdi
001b532dmov [rax+8], rsi
001b5331ret
001b5332
001b5332 66 90 f.
001b5334
001b5334loc_1b5334:
001b5334mov eax, 1
001b5339ret
001b533a
001b533aloc_1b533a:
001b533acall caml_call_gc
001b533fjmp 0x1b52cb
001b52a0
001b52a0Stdlib.Float.aux:
001b52a0mov rbx, [rdi+24]
001b52a4mov rsi, [rbx-8]
001b52a8shr rsi, 9
001b52acor rsi, 1
001b52b0cmp rax, rsi
001b52b3jge 0x1b5334
001b52b5movsd_xmm x0, [rbx+4*rax-4]
001b52bbmov rbx, rax
001b52beadd rbx, 2
001b52c2sub r15, 104
001b52c6cmp r15, [r14]
001b52c9jb 0x1b533a
001b52cb
001b52cbloc_1b52cb:
001b52cblea rsi, [r15+8]
001b52cfadd rsi, 64
001b52d3mov [rsi-8], 4343
001b52dblea rdx, [rip+110]
001b52e2mov [rsi], rdx
001b52e5mov rdx, 0x100000000000005
001b52efmov [rsi+8], rdx
001b52f3mov [rsi+16], rbx
001b52f7mov [rsi+24], rdi
001b52fblea rbx, [rsi-16]
001b52ffmov [rbx-8], 1277
001b5307movsd_xmm [rbx], x0
001b530blea rdi, [rbx-24]
001b530fmov [rdi-8], 2048
001b5317mov [rdi], rax
001b531amov [rdi+8], rbx
001b531elea rax, [rdi-24]
001b5322mov [rax-8], 2048
001b532amov [rax], rdi
001b532dmov [rax+8], rsi
001b5331ret
001b5332
001b5332 66 90 f.
001b5334
001b5334loc_1b5334:
001b5334mov eax, 1
001b5339ret
001b533a
001b533aloc_1b533a:
001b533acall caml_call_gc
001b533fjmp 0x1b52cb
001b52a0
001b5341
001b5341 // align 0x10
001b5341 // align 0x10
001b5350
001b5350Stdlib.Float.fun:
001b5350mov rsi, rax
001b5353mov rax, [rbx+16]
001b5357mov rdi, [rbx+24]
001b535bmov rbx, rsi
001b535ejmp 0x1b52a0
001b5350
001b5350Stdlib.Float.fun:
001b5350mov rsi, rax
001b5353mov rax, [rbx+16]
001b5357mov rdi, [rbx+24]
001b535bmov rbx, rsi
001b535ejmp 0x1b52a0
001b5350
001b5363
001b5363 // align 0x10
001b5363 // align 0x10
001b5370
001b5370Stdlib.Float.fun:
001b5370mov rsi, rax
001b5373mov rax, [rbx+16]
001b5377mov rdi, [rbx+24]
001b537bmov rbx, rsi
001b537ejmp 0x1b52a0
001b5370
001b5370Stdlib.Float.fun:
001b5370mov rsi, rax
001b5373mov rax, [rbx+16]
001b5377mov rdi, [rbx+24]
001b537bmov rbx, rsi
001b537ejmp 0x1b52a0
001b5370
001b5383
001b5383 // align 0x10
001b5383 // align 0x10
001b5390
001b5390Stdlib.Float.of_rev_list:
001b5390lea r10, [rsp-336]
001b5398cmp r10, [r14+40]
001b539cjb 0x1b5436
001b53a2
001b53a2loc_1b53a2:
001b53a2sub rsp, 16
001b53a6mov [rsp+8], rax
001b53abtest al, 1
001b53adje 0x1b53bc
001b53afmov eax, 1
001b53b4mov [rsp], rax
001b53b8jmp 0x1b53ce
001b53ba
001b53ba 66 90 f.
001b53bc
001b53bcloc_1b53bc:
001b53bcmov rbx, [rax+8]
001b53c0mov eax, 3
001b53c5call Stdlib.List.length_aux
001b53camov [rsp], rax
001b53ce
001b53celoc_1b53ce:
001b53cemov rdi, rax
001b53d1lea rax, [rip+0x44528]
001b53d8call caml_c_call
001b53ddsub r15, 40
001b53e1cmp r15, [r14]
001b53e4jb 0x1b542f
001b53e6
001b53e6loc_1b53e6:
001b53e6lea rdi, [r15+8]
001b53eamov [rdi-8], 4343
001b53f2lea rbx, [rip-0xbe3d9]
001b53f9mov [rdi], rbx
001b53fcmov rbx, 0x200000000000007
001b5406mov [rdi+8], rbx
001b540alea rbx, [rip+63]
001b5411mov [rdi+16], rbx
001b5415mov [rdi+24], rax
001b5419mov rax, [rsp]
001b541dadd rax, -2
001b5421mov rbx, [rsp+8]
001b5426add rsp, 16
001b542ajmp 0x1b5450
001b542f
001b542floc_1b542f:
001b542fcall caml_call_gc
001b5434jmp 0x1b53e6
001b5436
001b5436loc_1b5436:
001b5436push 35
001b5438call caml_call_realloc_stack
001b543dpop r10
001b543fjmp 0x1b53a2
001b5390
001b5390Stdlib.Float.of_rev_list:
001b5390lea r10, [rsp-336]
001b5398cmp r10, [r14+40]
001b539cjb 0x1b5436
001b53a2
001b53a2loc_1b53a2:
001b53a2sub rsp, 16
001b53a6mov [rsp+8], rax
001b53abtest al, 1
001b53adje 0x1b53bc
001b53afmov eax, 1
001b53b4mov [rsp], rax
001b53b8jmp 0x1b53ce
001b53ba
001b53ba 66 90 f.
001b53bc
001b53bcloc_1b53bc:
001b53bcmov rbx, [rax+8]
001b53c0mov eax, 3
001b53c5call Stdlib.List.length_aux
001b53camov [rsp], rax
001b53ce
001b53celoc_1b53ce:
001b53cemov rdi, rax
001b53d1lea rax, [rip+0x44528]
001b53d8call caml_c_call
001b53ddsub r15, 40
001b53e1cmp r15, [r14]
001b53e4jb 0x1b542f
001b53e6
001b53e6loc_1b53e6:
001b53e6lea rdi, [r15+8]
001b53eamov [rdi-8], 4343
001b53f2lea rbx, [rip-0xbe3d9]
001b53f9mov [rdi], rbx
001b53fcmov rbx, 0x200000000000007
001b5406mov [rdi+8], rbx
001b540alea rbx, [rip+63]
001b5411mov [rdi+16], rbx
001b5415mov [rdi+24], rax
001b5419mov rax, [rsp]
001b541dadd rax, -2
001b5421mov rbx, [rsp+8]
001b5426add rsp, 16
001b542ajmp 0x1b5450
001b542f
001b542floc_1b542f:
001b542fcall caml_call_gc
001b5434jmp 0x1b53e6
001b5436
001b5436loc_1b5436:
001b5436push 35
001b5438call caml_call_realloc_stack
001b543dpop r10
001b543fjmp 0x1b53a2
001b5390
001b5444
001b5444 // align 0x10
001b5444 // align 0x10
001b5450
001b5450Stdlib.Float.fill:
001b5450cmp r15, [r14]
001b5453jbe 0x1b547b
001b5455
001b5455loc_1b5455:
001b5455test bl, 1
001b5458je 0x1b5460
001b545amov rax, [rdi+24]
001b545eret
001b545f
001b545f 90 .
001b5460
001b5460loc_1b5460:
001b5460mov rsi, [rdi+24]
001b5464mov rdx, [rbx]
001b5467movsd_xmm x0, [rdx]
001b546bmovsd_xmm [rsi+4*rax-4], x0
001b5471mov rbx, [rbx+8]
001b5475add rax, -2
001b5479jmp 0x1b5450
001b547b
001b547bloc_1b547b:
001b547bcall caml_call_gc
001b5480jmp 0x1b5455
001b5450
001b5450Stdlib.Float.fill:
001b5450cmp r15, [r14]
001b5453jbe 0x1b547b
001b5455
001b5455loc_1b5455:
001b5455test bl, 1
001b5458je 0x1b5460
001b545amov rax, [rdi+24]
001b545eret
001b545f
001b545f 90 .
001b5460
001b5460loc_1b5460:
001b5460mov rsi, [rdi+24]
001b5464mov rdx, [rbx]
001b5467movsd_xmm x0, [rdx]
001b546bmovsd_xmm [rsi+4*rax-4], x0
001b5471mov rbx, [rbx+8]
001b5475add rax, -2
001b5479jmp 0x1b5450
001b547b
001b547bloc_1b547b:
001b547bcall caml_call_gc
001b5480jmp 0x1b5455
001b5450
001b5482
001b5482 // align 0x10
001b5482 // align 0x10
001b5490
001b5490Stdlib.Float.of_seq:
001b5490lea r10, [rsp-320]
001b5498cmp r10, [r14+40]
001b549cjb 0x1b54b7
001b549e
001b549eloc_1b549e:
001b549emov rdi, rax
001b54a1mov ebx, 1
001b54a6lea rax, [rip+0x18af9b]
001b54adcall Stdlib.Seq.fold_left
001b54b2jmp 0x1b5390
001b54b7
001b54b7loc_1b54b7:
001b54b7push 33
001b54b9call caml_call_realloc_stack
001b54bepop r10
001b54c0jmp 0x1b549e
001b5490
001b5490Stdlib.Float.of_seq:
001b5490lea r10, [rsp-320]
001b5498cmp r10, [r14+40]
001b549cjb 0x1b54b7
001b549e
001b549eloc_1b549e:
001b549emov rdi, rax
001b54a1mov ebx, 1
001b54a6lea rax, [rip+0x18af9b]
001b54adcall Stdlib.Seq.fold_left
001b54b2jmp 0x1b5390
001b54b7
001b54b7loc_1b54b7:
001b54b7push 33
001b54b9call caml_call_realloc_stack
001b54bepop r10
001b54c0jmp 0x1b549e
001b5490
001b54c2
001b54c2 // align 0x10
001b54c2 // align 0x10
001b54d0
001b54d0Stdlib.Float.fun:
001b54d0sub r15, 24
001b54d4cmp r15, [r14]
001b54d7jb 0x1b54f0
001b54d9
001b54d9loc_1b54d9:
001b54d9lea rdi, [r15+8]
001b54ddmov [rdi-8], 2048
001b54e5mov [rdi], rbx
001b54e8mov [rdi+8], rax
001b54ecmov rax, rdi
001b54efret
001b54f0
001b54f0loc_1b54f0:
001b54f0call caml_call_gc
001b54f5jmp 0x1b54d9
001b54d0
001b54d0Stdlib.Float.fun:
001b54d0sub r15, 24
001b54d4cmp r15, [r14]
001b54d7jb 0x1b54f0
001b54d9
001b54d9loc_1b54d9:
001b54d9lea rdi, [r15+8]
001b54ddmov [rdi-8], 2048
001b54e5mov [rdi], rbx
001b54e8mov [rdi+8], rax
001b54ecmov rax, rdi
001b54efret
001b54f0
001b54f0loc_1b54f0:
001b54f0call caml_call_gc
001b54f5jmp 0x1b54d9
001b54d0
001b54f7
001b54f7 // align 0x10
001b54f7 // align 0x10
001b5500
001b5500Stdlib.Float.map_to_array:
001b5500lea r10, [rsp-360]
001b5508cmp r10, [r14+40]
001b550cjb 0x1b5656
001b5512
001b5512loc_1b5512:
001b5512sub rsp, 40
001b5516mov rdi, rax
001b5519mov rax, [rbx-8]
001b551dshr rax, 9
001b5521or rax, 1
001b5525cmp rax, 1
001b5529jne 0x1b5538
001b552blea rax, [rip+0x18ba36]
001b5532add rsp, 40
001b5536ret
001b5537
001b5537 90 .
001b5538
001b5538loc_1b5538:
001b5538mov [rsp], rax
001b553cmov [rsp+8], rbx
001b5541mov [rsp+16], rdi
001b5546sub r15, 16
001b554acmp r15, [r14]
001b554djb 0x1b564c
001b5553
001b5553loc_1b5553:
001b5553lea rax, [r15+8]
001b5557mov [rax-8], 1277
001b555fmovsd_xmm x0, [rbx]
001b5563movsd_xmm [rax], x0
001b5567mov rsi, [rdi]
001b556amov rbx, rdi
001b556dcall rsi
001b556fmov rdi, [rsp]
001b5573mov rsi, rax
001b5576lea rax, [rip+0x44723]
001b557dcall caml_c_call
001b5582mov r13, rax
001b5585mov r12l, 3
001b558bmov rax, [rsp]
001b558fadd rax, -2
001b5593cmp r12, rax
001b5596jg 0x1b563a
001b559cmov [rsp+24], rax
001b55a1mov [rsp+32], r12
001b55a6mov [rsp], r13
001b55aa
001b55aaloc_1b55aa:
001b55aasub r15, 16
001b55aecmp r15, [r14]
001b55b1jb 0x1b5642
001b55b7
001b55b7loc_1b55b7:
001b55b7lea rax, [r15+8]
001b55bbmov [rax-8], 1277
001b55c3mov rbx, [rsp+8]
001b55c8movsd_xmm x0, [rbx+4*r12-4]
001b55cfmovsd_xmm [rax], x0
001b55d3mov rbx, [rsp+16]
001b55d8mov rdi, [rbx]
001b55dbcall rdi
001b55ddmov r13, [rsp]
001b55e1movzx rbx, [r13-8]
001b55e6cmp rbx, 254
001b55edje 0x1b5610
001b55efmov r12, [rsp+32]
001b55f4lea rdi, [r13+4*r12-4]
001b55f9mov rsi, rax
001b55fcmov rbx, rsp
001b55ffmov rsp, [r14+64]
001b5603call caml_modify
001b5608mov rsp, rbx
001b560bjmp 0x1b5620
001b560d
001b560d 0f 1f 00 ...
001b5610
001b5610loc_1b5610:
001b5610movsd_xmm x0, [rax]
001b5614mov r12, [rsp+32]
001b5619movsd_xmm [r13+4*r12-4], x0
001b5620
001b5620loc_1b5620:
001b5620mov rax, r12
001b5623add r12, 2
001b5627mov [rsp+32], r12
001b562cmov rbx, [rsp+24]
001b5631cmp rax, rbx
001b5634jne 0x1b55aa
001b563a
001b563aloc_1b563a:
001b563amov rax, r13
001b563dadd rsp, 40
001b5641ret
001b5642
001b5642loc_1b5642:
001b5642call caml_call_gc
001b5647jmp 0x1b55b7
001b564c
001b564cloc_1b564c:
001b564ccall caml_call_gc
001b5651jmp 0x1b5553
001b5656
001b5656loc_1b5656:
001b5656push 38
001b5658call caml_call_realloc_stack
001b565dpop r10
001b565fjmp 0x1b5512
001b5500
001b5500Stdlib.Float.map_to_array:
001b5500lea r10, [rsp-360]
001b5508cmp r10, [r14+40]
001b550cjb 0x1b5656
001b5512
001b5512loc_1b5512:
001b5512sub rsp, 40
001b5516mov rdi, rax
001b5519mov rax, [rbx-8]
001b551dshr rax, 9
001b5521or rax, 1
001b5525cmp rax, 1
001b5529jne 0x1b5538
001b552blea rax, [rip+0x18ba36]
001b5532add rsp, 40
001b5536ret
001b5537
001b5537 90 .
001b5538
001b5538loc_1b5538:
001b5538mov [rsp], rax
001b553cmov [rsp+8], rbx
001b5541mov [rsp+16], rdi
001b5546sub r15, 16
001b554acmp r15, [r14]
001b554djb 0x1b564c
001b5553
001b5553loc_1b5553:
001b5553lea rax, [r15+8]
001b5557mov [rax-8], 1277
001b555fmovsd_xmm x0, [rbx]
001b5563movsd_xmm [rax], x0
001b5567mov rsi, [rdi]
001b556amov rbx, rdi
001b556dcall rsi
001b556fmov rdi, [rsp]
001b5573mov rsi, rax
001b5576lea rax, [rip+0x44723]
001b557dcall caml_c_call
001b5582mov r13, rax
001b5585mov r12l, 3
001b558bmov rax, [rsp]
001b558fadd rax, -2
001b5593cmp r12, rax
001b5596jg 0x1b563a
001b559cmov [rsp+24], rax
001b55a1mov [rsp+32], r12
001b55a6mov [rsp], r13
001b55aa
001b55aaloc_1b55aa:
001b55aasub r15, 16
001b55aecmp r15, [r14]
001b55b1jb 0x1b5642
001b55b7
001b55b7loc_1b55b7:
001b55b7lea rax, [r15+8]
001b55bbmov [rax-8], 1277
001b55c3mov rbx, [rsp+8]
001b55c8movsd_xmm x0, [rbx+4*r12-4]
001b55cfmovsd_xmm [rax], x0
001b55d3mov rbx, [rsp+16]
001b55d8mov rdi, [rbx]
001b55dbcall rdi
001b55ddmov r13, [rsp]
001b55e1movzx rbx, [r13-8]
001b55e6cmp rbx, 254
001b55edje 0x1b5610
001b55efmov r12, [rsp+32]
001b55f4lea rdi, [r13+4*r12-4]
001b55f9mov rsi, rax
001b55fcmov rbx, rsp
001b55ffmov rsp, [r14+64]
001b5603call caml_modify
001b5608mov rsp, rbx
001b560bjmp 0x1b5620
001b560d
001b560d 0f 1f 00 ...
001b5610
001b5610loc_1b5610:
001b5610movsd_xmm x0, [rax]
001b5614mov r12, [rsp+32]
001b5619movsd_xmm [r13+4*r12-4], x0
001b5620
001b5620loc_1b5620:
001b5620mov rax, r12
001b5623add r12, 2
001b5627mov [rsp+32], r12
001b562cmov rbx, [rsp+24]
001b5631cmp rax, rbx
001b5634jne 0x1b55aa
001b563a
001b563aloc_1b563a:
001b563amov rax, r13
001b563dadd rsp, 40
001b5641ret
001b5642
001b5642loc_1b5642:
001b5642call caml_call_gc
001b5647jmp 0x1b55b7
001b564c
001b564cloc_1b564c:
001b564ccall caml_call_gc
001b5651jmp 0x1b5553
001b5656
001b5656loc_1b5656:
001b5656push 38
001b5658call caml_call_realloc_stack
001b565dpop r10
001b565fjmp 0x1b5512
001b5500
001b5664
001b5664 // align 0x10
001b5664 // align 0x10
001b5670
001b5670Stdlib.Float.map_from_array:
001b5670lea r10, [rsp-360]
001b5678cmp r10, [r14+40]
001b567cjb 0x1b5757
001b5682
001b5682loc_1b5682:
001b5682sub rsp, 40
001b5686mov [rsp+16], rax
001b568bmov [rsp+8], rbx
001b5690mov rdi, [rbx-8]
001b5694shr rdi, 9
001b5698or rdi, 1
001b569cmov [rsp], rdi
001b56a0lea rax, [rip+0x44259]
001b56a7call caml_c_call
001b56acmov ebx, 1
001b56b1mov rdi, [rsp]
001b56b5add rdi, -2
001b56b9cmp rbx, rdi
001b56bcjg 0x1b5744
001b56c2mov [rsp+32], rdi
001b56c7mov [rsp], rbx
001b56cbmov [rsp+24], rax
001b56d0
001b56d0loc_1b56d0:
001b56d0mov rdi, [rsp+8]
001b56d5movzx rax, [rdi-8]
001b56dacmp rax, 254
001b56e0je 0x1b56ec
001b56e2mov rax, [rdi+4*rbx-4]
001b56e7jmp 0x1b570b
001b56e9
001b56e9 0f 1f 00 ...
001b56ec
001b56ecloc_1b56ec:
001b56ecsub r15, 16
001b56f0cmp r15, [r14]
001b56f3jb 0x1b5750
001b56f5
001b56f5loc_1b56f5:
001b56f5lea rax, [r15+8]
001b56f9mov [rax-8], 1277
001b5701movsd_xmm x0, [rdi+4*rbx-4]
001b5707movsd_xmm [rax], x0
001b570b
001b570bloc_1b570b:
001b570bmov rbx, [rsp+16]
001b5710mov rdi, [rbx]
001b5713call rdi
001b5715movsd_xmm x0, [rax]
001b5719mov rbx, [rsp]
001b571dmov rax, [rsp+24]
001b5722movsd_xmm [rax+4*rbx-4], x0
001b5728mov rdi, rbx
001b572badd rbx, 2
001b572fmov [rsp], rbx
001b5733mov rsi, [rsp+32]
001b5738cmp rdi, rsi
001b573bje 0x1b5744
001b573dcmp r15, [r14]
001b5740ja 0x1b56d0
001b5742jmp 0x1b5749
001b5744
001b5744loc_1b5744:
001b5744add rsp, 40
001b5748ret
001b5749
001b5749loc_1b5749:
001b5749call caml_call_gc
001b574ejmp 0x1b56d0
001b5750
001b5750loc_1b5750:
001b5750call caml_call_gc
001b5755jmp 0x1b56f5
001b5757
001b5757loc_1b5757:
001b5757push 38
001b5759call caml_call_realloc_stack
001b575epop r10
001b5760jmp 0x1b5682
001b5670
001b5670Stdlib.Float.map_from_array:
001b5670lea r10, [rsp-360]
001b5678cmp r10, [r14+40]
001b567cjb 0x1b5757
001b5682
001b5682loc_1b5682:
001b5682sub rsp, 40
001b5686mov [rsp+16], rax
001b568bmov [rsp+8], rbx
001b5690mov rdi, [rbx-8]
001b5694shr rdi, 9
001b5698or rdi, 1
001b569cmov [rsp], rdi
001b56a0lea rax, [rip+0x44259]
001b56a7call caml_c_call
001b56acmov ebx, 1
001b56b1mov rdi, [rsp]
001b56b5add rdi, -2
001b56b9cmp rbx, rdi
001b56bcjg 0x1b5744
001b56c2mov [rsp+32], rdi
001b56c7mov [rsp], rbx
001b56cbmov [rsp+24], rax
001b56d0
001b56d0loc_1b56d0:
001b56d0mov rdi, [rsp+8]
001b56d5movzx rax, [rdi-8]
001b56dacmp rax, 254
001b56e0je 0x1b56ec
001b56e2mov rax, [rdi+4*rbx-4]
001b56e7jmp 0x1b570b
001b56e9
001b56e9 0f 1f 00 ...
001b56ec
001b56ecloc_1b56ec:
001b56ecsub r15, 16
001b56f0cmp r15, [r14]
001b56f3jb 0x1b5750
001b56f5
001b56f5loc_1b56f5:
001b56f5lea rax, [r15+8]
001b56f9mov [rax-8], 1277
001b5701movsd_xmm x0, [rdi+4*rbx-4]
001b5707movsd_xmm [rax], x0
001b570b
001b570bloc_1b570b:
001b570bmov rbx, [rsp+16]
001b5710mov rdi, [rbx]
001b5713call rdi
001b5715movsd_xmm x0, [rax]
001b5719mov rbx, [rsp]
001b571dmov rax, [rsp+24]
001b5722movsd_xmm [rax+4*rbx-4], x0
001b5728mov rdi, rbx
001b572badd rbx, 2
001b572fmov [rsp], rbx
001b5733mov rsi, [rsp+32]
001b5738cmp rdi, rsi
001b573bje 0x1b5744
001b573dcmp r15, [r14]
001b5740ja 0x1b56d0
001b5742jmp 0x1b5749
001b5744
001b5744loc_1b5744:
001b5744add rsp, 40
001b5748ret
001b5749
001b5749loc_1b5749:
001b5749call caml_call_gc
001b574ejmp 0x1b56d0
001b5750
001b5750loc_1b5750:
001b5750call caml_call_gc
001b5755jmp 0x1b56f5
001b5757
001b5757loc_1b5757:
001b5757push 38
001b5759call caml_call_realloc_stack
001b575epop r10
001b5760jmp 0x1b5682
001b5670
001b5765
001b5765 // align 0x10
001b5765 // align 0x10
001b5770
001b5770Stdlib.Float.entry:
001b5770lea rsi, [rip+0x18acf1]
001b5777lea rdi, [rip+0x18b4b2]
001b577eadd rdi, 160
001b5785mov rbx, rsp
001b5788mov rsp, [r14+64]
001b578ccall caml_initialize
001b5791mov rsp, rbx
001b5794lea rsi, [rip+0x18b93d]
001b579blea rdi, [rip+0x18b48e]
001b57a2mov rbx, rsp
001b57a5mov rsp, [r14+64]
001b57a9call caml_initialize
001b57aemov rsp, rbx
001b57b1lea rsi, [rip+0x18b7d8]
001b57b8lea rdi, [rip+0x18b471]
001b57bfadd rdi, 8
001b57c3mov rbx, rsp
001b57c6mov rsp, [r14+64]
001b57cacall caml_initialize
001b57cfmov rsp, rbx
001b57d2lea rsi, [rip+0x18b77f]
001b57d9lea rdi, [rip+0x18b450]
001b57e0add rdi, 16
001b57e4mov rbx, rsp
001b57e7mov rsp, [r14+64]
001b57ebcall caml_initialize
001b57f0mov rsp, rbx
001b57f3lea rax, [rip+0x177e1e]
001b57famov rsi, [rax+168]
001b5801lea rdi, [rip+0x18b428]
001b5808add rdi, 40
001b580cmov rbx, rsp
001b580fmov rsp, [r14+64]
001b5813call caml_initialize
001b5818mov rsp, rbx
001b581blea rax, [rip+0x177df6]
001b5822mov rsi, [rax+176]
001b5829lea rdi, [rip+0x18b400]
001b5830add rdi, 48
001b5834mov rbx, rsp
001b5837mov rsp, [r14+64]
001b583bcall caml_initialize
001b5840mov rsp, rbx
001b5843lea rax, [rip+0x177dce]
001b584amov rsi, [rax+184]
001b5851lea rdi, [rip+0x18b3d8]
001b5858add rdi, 56
001b585cmov rbx, rsp
001b585fmov rsp, [r14+64]
001b5863call caml_initialize
001b5868mov rsp, rbx
001b586blea rdi, [rip+0x18b3be]
001b5872mov rsi, [rdi+56]
001b5876add rdi, 72
001b587amov rbx, rsp
001b587dmov rsp, [r14+64]
001b5881call caml_initialize
001b5886mov rsp, rbx
001b5889mov rdi, 0x7ff0000000000001
001b5893mov rbx, rsp
001b5896mov rsp, [r14+64]
001b589acall caml_int64_float_of_bits_unboxed
001b589fmov rsp, rbx
001b58a2call caml_alloc1
001b58a7lea rsi, [r15+8]
001b58abmov [rsi-8], 1277
001b58b3movsd_xmm [rsi], x0
001b58b7lea rdi, [rip+0x18b372]
001b58beadd rdi, 64
001b58c2mov rbx, rsp
001b58c5mov rsp, [r14+64]
001b58c9call caml_initialize
001b58cemov rsp, rbx
001b58d1lea rsi, [rip+0x18abb0]
001b58d8lea rdi, [rip+0x18b351]
001b58dfadd rdi, 112
001b58e3mov rbx, rsp
001b58e6mov rsp, [r14+64]
001b58eacall caml_initialize
001b58efmov rsp, rbx
001b58f2lea rsi, [rip+0x18aba7]
001b58f9lea rdi, [rip+0x18b330]
001b5900add rdi, 120
001b5904mov rbx, rsp
001b5907mov rsp, [r14+64]
001b590bcall caml_initialize
001b5910mov rsp, rbx
001b5913lea rsi, [rip+0x18ab9e]
001b591alea rdi, [rip+0x18b30f]
001b5921add rdi, 128
001b5928mov rbx, rsp
001b592bmov rsp, [r14+64]
001b592fcall caml_initialize
001b5934mov rsp, rbx
001b5937lea rsi, [rip+0x18b5f2]
001b593elea rdi, [rip+0x18b2eb]
001b5945add rdi, 80
001b5949mov rbx, rsp
001b594cmov rsp, [r14+64]
001b5950call caml_initialize
001b5955mov rsp, rbx
001b5958lea rax, [rip+0x177cb9]
001b595fmov rsi, [rax+192]
001b5966lea rdi, [rip+0x18b2c3]
001b596dadd rdi, 88
001b5971mov rbx, rsp
001b5974mov rsp, [r14+64]
001b5978call caml_initialize
001b597dmov rsp, rbx
001b5980lea rax, [rip+0x177c91]
001b5987mov rsi, [rax+200]
001b598elea rdi, [rip+0x18b29b]
001b5995add rdi, 96
001b5999mov rbx, rsp
001b599cmov rsp, [r14+64]
001b59a0call caml_initialize
001b59a5mov rsp, rbx
001b59a8lea rax, [rip+0x177c69]
001b59afmov rsi, [rax+208]
001b59b6lea rdi, [rip+0x18b273]
001b59bdadd rdi, 104
001b59c1mov rbx, rsp
001b59c4mov rsp, [r14+64]
001b59c8call caml_initialize
001b59cdmov rsp, rbx
001b59d0lea rax, [rip+0x177c41]
001b59d7mov rsi, [rax+280]
001b59delea rdi, [rip+0x18b24b]
001b59e5add rdi, 144
001b59ecmov rbx, rsp
001b59efmov rsp, [r14+64]
001b59f3call caml_initialize
001b59f8mov rsp, rbx
001b59fblea rax, [rip+0x177c16]
001b5a02mov rsi, [rax+272]
001b5a09lea rdi, [rip+0x18b220]
001b5a10add rdi, 152
001b5a17mov rbx, rsp
001b5a1amov rsp, [r14+64]
001b5a1ecall caml_initialize
001b5a23mov rsp, rbx
001b5a26lea rsi, [rip+0x18aaa3]
001b5a2dlea rdi, [rip+0x18b1fc]
001b5a34add rdi, 136
001b5a3bmov rbx, rsp
001b5a3emov rsp, [r14+64]
001b5a42call caml_initialize
001b5a47mov rsp, rbx
001b5a4alea rsi, [rip+0x18aa97]
001b5a51lea rdi, [rip+0x18b1d8]
001b5a58add rdi, 24
001b5a5cmov rbx, rsp
001b5a5fmov rsp, [r14+64]
001b5a63call caml_initialize
001b5a68mov rsp, rbx
001b5a6blea rsi, [rip+0x18aa8e]
001b5a72lea rdi, [rip+0x18b1b7]
001b5a79add rdi, 32
001b5a7dmov rbx, rsp
001b5a80mov rsp, [r14+64]
001b5a84call caml_initialize
001b5a89mov rsp, rbx
001b5a8clea rsi, [rip+0x18aa85]
001b5a93lea rdi, [rip+0x18b196]
001b5a9aadd rdi, 168
001b5aa1mov rbx, rsp
001b5aa4mov rsp, [r14+64]
001b5aa8call caml_initialize
001b5aadmov rsp, rbx
001b5ab0lea rsi, [rip+0x18aa81]
001b5ab7lea rdi, [rip+0x18b172]
001b5abeadd rdi, 176
001b5ac5mov rbx, rsp
001b5ac8mov rsp, [r14+64]
001b5acccall caml_initialize
001b5ad1mov rsp, rbx
001b5ad4lea rsi, [rip+0x18aa7d]
001b5adblea rdi, [rip+0x18b14e]
001b5ae2add rdi, 184
001b5ae9mov rbx, rsp
001b5aecmov rsp, [r14+64]
001b5af0call caml_initialize
001b5af5mov rsp, rbx
001b5af8lea rsi, [rip+0x18aa79]
001b5afflea rdi, [rip+0x18b12a]
001b5b06add rdi, 192
001b5b0dmov rbx, rsp
001b5b10mov rsp, [r14+64]
001b5b14call caml_initialize
001b5b19mov rsp, rbx
001b5b1clea rsi, [rip+0x18aa75]
001b5b23lea rdi, [rip+0x18b106]
001b5b2aadd rdi, 200
001b5b31mov rbx, rsp
001b5b34mov rsp, [r14+64]
001b5b38call caml_initialize
001b5b3dmov rsp, rbx
001b5b40lea rsi, [rip+0x18aa71]
001b5b47lea rdi, [rip+0x18b0e2]
001b5b4eadd rdi, 208
001b5b55mov rbx, rsp
001b5b58mov rsp, [r14+64]
001b5b5ccall caml_initialize
001b5b61mov rsp, rbx
001b5b64lea rsi, [rip+0x18aa6d]
001b5b6blea rdi, [rip+0x18b0be]
001b5b72add rdi, 216
001b5b79mov rbx, rsp
001b5b7cmov rsp, [r14+64]
001b5b80call caml_initialize
001b5b85mov rsp, rbx
001b5b88lea rsi, [rip+0x18aa69]
001b5b8flea rdi, [rip+0x18b09a]
001b5b96add rdi, 224
001b5b9dmov rbx, rsp
001b5ba0mov rsp, [r14+64]
001b5ba4call caml_initialize
001b5ba9mov rsp, rbx
001b5baclea rsi, [rip+0x18aa65]
001b5bb3lea rdi, [rip+0x18b076]
001b5bbaadd rdi, 232
001b5bc1mov rbx, rsp
001b5bc4mov rsp, [r14+64]
001b5bc8call caml_initialize
001b5bcdmov rsp, rbx
001b5bd0lea rsi, [rip+0x18aa59]
001b5bd7lea rdi, [rip+0x18b052]
001b5bdeadd rdi, 256
001b5be5mov rbx, rsp
001b5be8mov rsp, [r14+64]
001b5beccall caml_initialize
001b5bf1mov rsp, rbx
001b5bf4mov edi, 1
001b5bf9lea rax, [rip+0x43d00]
001b5c00call caml_c_call
001b5c05lea rdi, [rip+0x18b024]
001b5c0cadd rdi, 264
001b5c13mov rsi, rax
001b5c16mov rbx, rsp
001b5c19mov rsp, [r14+64]
001b5c1dcall caml_initialize
001b5c22mov rsp, rbx
001b5c25lea rsi, [rip+0x18aa24]
001b5c2clea rdi, [rip+0x18affd]
001b5c33add rdi, 272
001b5c3amov rbx, rsp
001b5c3dmov rsp, [r14+64]
001b5c41call caml_initialize
001b5c46mov rsp, rbx
001b5c49lea rsi, [rip+0x18aa20]
001b5c50lea rdi, [rip+0x18afd9]
001b5c57add rdi, 280
001b5c5emov rbx, rsp
001b5c61mov rsp, [r14+64]
001b5c65call caml_initialize
001b5c6amov rsp, rbx
001b5c6dlea rsi, [rip+0x18aa1c]
001b5c74lea rdi, [rip+0x18afb5]
001b5c7badd rdi, 288
001b5c82mov rbx, rsp
001b5c85mov rsp, [r14+64]
001b5c89call caml_initialize
001b5c8emov rsp, rbx
001b5c91lea rsi, [rip+0x18aa18]
001b5c98lea rdi, [rip+0x18af91]
001b5c9fadd rdi, 296
001b5ca6mov rbx, rsp
001b5ca9mov rsp, [r14+64]
001b5cadcall caml_initialize
001b5cb2mov rsp, rbx
001b5cb5lea rsi, [rip+0x18aa14]
001b5cbclea rdi, [rip+0x18af6d]
001b5cc3add rdi, 304
001b5ccamov rbx, rsp
001b5ccdmov rsp, [r14+64]
001b5cd1call caml_initialize
001b5cd6mov rsp, rbx
001b5cd9lea rsi, [rip+0x18aa10]
001b5ce0lea rdi, [rip+0x18af49]
001b5ce7add rdi, 312
001b5ceemov rbx, rsp
001b5cf1mov rsp, [r14+64]
001b5cf5call caml_initialize
001b5cfamov rsp, rbx
001b5cfdlea rsi, [rip+0x18aa04]
001b5d04lea rdi, [rip+0x18af25]
001b5d0badd rdi, 320
001b5d12mov rbx, rsp
001b5d15mov rsp, [r14+64]
001b5d19call caml_initialize
001b5d1emov rsp, rbx
001b5d21lea rsi, [rip+0x18aa00]
001b5d28lea rdi, [rip+0x18af01]
001b5d2fadd rdi, 328
001b5d36mov rbx, rsp
001b5d39mov rsp, [r14+64]
001b5d3dcall caml_initialize
001b5d42mov rsp, rbx
001b5d45lea rsi, [rip+0x18a9f4]
001b5d4clea rdi, [rip+0x18aedd]
001b5d53add rdi, 336
001b5d5amov rbx, rsp
001b5d5dmov rsp, [r14+64]
001b5d61call caml_initialize
001b5d66mov rsp, rbx
001b5d69lea rsi, [rip+0x18a9f0]
001b5d70lea rdi, [rip+0x18aeb9]
001b5d77add rdi, 344
001b5d7emov rbx, rsp
001b5d81mov rsp, [r14+64]
001b5d85call caml_initialize
001b5d8amov rsp, rbx
001b5d8dlea rsi, [rip+0x18a9ec]
001b5d94lea rdi, [rip+0x18ae95]
001b5d9badd rdi, 352
001b5da2mov rbx, rsp
001b5da5mov rsp, [r14+64]
001b5da9call caml_initialize
001b5daemov rsp, rbx
001b5db1lea rsi, [rip+0x18a9e8]
001b5db8lea rdi, [rip+0x18ae71]
001b5dbfadd rdi, 360
001b5dc6mov rbx, rsp
001b5dc9mov rsp, [r14+64]
001b5dcdcall caml_initialize
001b5dd2mov rsp, rbx
001b5dd5lea rsi, [rip+0x18a9dc]
001b5ddclea rdi, [rip+0x18ae4d]
001b5de3add rdi, 368
001b5deamov rbx, rsp
001b5dedmov rsp, [r14+64]
001b5df1call caml_initialize
001b5df6mov rsp, rbx
001b5df9lea rsi, [rip+0x18a9d0]
001b5e00lea rdi, [rip+0x18ae29]
001b5e07add rdi, 376
001b5e0emov rbx, rsp
001b5e11mov rsp, [r14+64]
001b5e15call caml_initialize
001b5e1amov rsp, rbx
001b5e1dlea rsi, [rip+0x18a9cc]
001b5e24lea rdi, [rip+0x18ae05]
001b5e2badd rdi, 384
001b5e32mov rbx, rsp
001b5e35mov rsp, [r14+64]
001b5e39call caml_initialize
001b5e3emov rsp, rbx
001b5e41lea rsi, [rip+0x18a9c8]
001b5e48lea rdi, [rip+0x18ade1]
001b5e4fadd rdi, 392
001b5e56mov rbx, rsp
001b5e59mov rsp, [r14+64]
001b5e5dcall caml_initialize
001b5e62mov rsp, rbx
001b5e65lea rsi, [rip+0x18a9c4]
001b5e6clea rdi, [rip+0x18adbd]
001b5e73add rdi, 400
001b5e7amov rbx, rsp
001b5e7dmov rsp, [r14+64]
001b5e81call caml_initialize
001b5e86mov rsp, rbx
001b5e89lea rsi, [rip+0x18a9c0]
001b5e90lea rdi, [rip+0x18ad99]
001b5e97add rdi, 408
001b5e9emov rbx, rsp
001b5ea1mov rsp, [r14+64]
001b5ea5call caml_initialize
001b5eaamov rsp, rbx
001b5eadlea rsi, [rip+0x18a9bc]
001b5eb4lea rdi, [rip+0x18ad75]
001b5ebbadd rdi, 416
001b5ec2mov rbx, rsp
001b5ec5mov rsp, [r14+64]
001b5ec9call caml_initialize
001b5ecemov rsp, rbx
001b5ed1lea rsi, [rip+0x18a9b8]
001b5ed8lea rdi, [rip+0x18ad51]
001b5edfadd rdi, 424
001b5ee6mov rbx, rsp
001b5ee9mov rsp, [r14+64]
001b5eedcall caml_initialize
001b5ef2mov rsp, rbx
001b5ef5lea rsi, [rip+0x18a9b4]
001b5efclea rdi, [rip+0x18ad2d]
001b5f03add rdi, 432
001b5f0amov rbx, rsp
001b5f0dmov rsp, [r14+64]
001b5f11call caml_initialize
001b5f16mov rsp, rbx
001b5f19lea rsi, [rip+0x18a9b0]
001b5f20lea rdi, [rip+0x18ad09]
001b5f27add rdi, 440
001b5f2emov rbx, rsp
001b5f31mov rsp, [r14+64]
001b5f35call caml_initialize
001b5f3amov rsp, rbx
001b5f3dlea rsi, [rip+0x18a9ac]
001b5f44lea rdi, [rip+0x18ace5]
001b5f4badd rdi, 448
001b5f52mov rbx, rsp
001b5f55mov rsp, [r14+64]
001b5f59call caml_initialize
001b5f5emov rsp, rbx
001b5f61lea rsi, [rip+0x18a9a8]
001b5f68lea rdi, [rip+0x18acc1]
001b5f6fadd rdi, 456
001b5f76mov rbx, rsp
001b5f79mov rsp, [r14+64]
001b5f7dcall caml_initialize
001b5f82mov rsp, rbx
001b5f85lea rsi, [rip+0x18a9a4]
001b5f8clea rdi, [rip+0x18ac9d]
001b5f93add rdi, 464
001b5f9amov rbx, rsp
001b5f9dmov rsp, [r14+64]
001b5fa1call caml_initialize
001b5fa6mov rsp, rbx
001b5fa9lea rsi, [rip+0x18a9a0]
001b5fb0lea rdi, [rip+0x18ac79]
001b5fb7add rdi, 472
001b5fbemov rbx, rsp
001b5fc1mov rsp, [r14+64]
001b5fc5call caml_initialize
001b5fcamov rsp, rbx
001b5fcdlea rsi, [rip+0x18a99c]
001b5fd4lea rdi, [rip+0x18ac55]
001b5fdbadd rdi, 480
001b5fe2mov rbx, rsp
001b5fe5mov rsp, [r14+64]
001b5fe9call caml_initialize
001b5feemov rsp, rbx
001b5ff1lea rsi, [rip+0x18a998]
001b5ff8lea rdi, [rip+0x18ac31]
001b5fffadd rdi, 488
001b6006mov rbx, rsp
001b6009mov rsp, [r14+64]
001b600dcall caml_initialize
001b6012mov rsp, rbx
001b6015lea rsi, [rip+0x18a994]
001b601clea rdi, [rip+0x18ac0d]
001b6023add rdi, 496
001b602amov rbx, rsp
001b602dmov rsp, [r14+64]
001b6031call caml_initialize
001b6036mov rsp, rbx
001b6039lea rsi, [rip+0x18a990]
001b6040lea rdi, [rip+0x18abe9]
001b6047add rdi, 504
001b604emov rbx, rsp
001b6051mov rsp, [r14+64]
001b6055call caml_initialize
001b605amov rsp, rbx
001b605dlea rsi, [rip+0x18a98c]
001b6064lea rdi, [rip+0x18abc5]
001b606badd rdi, 512
001b6072mov rbx, rsp
001b6075mov rsp, [r14+64]
001b6079call caml_initialize
001b607emov rsp, rbx
001b6081mov edi, 1
001b6086mov rbx, rsp
001b6089mov rsp, [r14+64]
001b608dcall caml_fresh_oo_id
001b6092mov rsp, rbx
001b6095call caml_alloc2
001b609alea rsi, [r15+8]
001b609emov [rsi-8], 2296
001b60a6lea rbx, [rip+0x18aef3]
001b60admov [rsi], rbx
001b60b0mov [rsi+8], rax
001b60b4lea rdi, [rip+0x18ab75]
001b60bbadd rdi, 520
001b60c2mov rbx, rsp
001b60c5mov rsp, [r14+64]
001b60c9call caml_initialize
001b60cemov rsp, rbx
001b60d1lea rsi, [rip+0x18a938]
001b60d8lea rdi, [rip+0x18ab51]
001b60dfadd rdi, 528
001b60e6mov rbx, rsp
001b60e9mov rsp, [r14+64]
001b60edcall caml_initialize
001b60f2mov rsp, rbx
001b60f5mov esi, 11
001b60falea rdi, [rip+0x18ab2f]
001b6101add rdi, 536
001b6108mov rbx, rsp
001b610bmov rsp, [r14+64]
001b610fcall caml_initialize
001b6114mov rsp, rbx
001b6117lea rsi, [rip+0x18a912]
001b611elea rdi, [rip+0x18ab0b]
001b6125add rdi, 544
001b612cmov rbx, rsp
001b612fmov rsp, [r14+64]
001b6133call caml_initialize
001b6138mov rsp, rbx
001b613blea rdi, [rip+0x18aaee]
001b6142mov rsi, [rdi+544]
001b6149add rdi, 552
001b6150mov rbx, rsp
001b6153mov rsp, [r14+64]
001b6157call caml_initialize
001b615cmov rsp, rbx
001b615flea rsi, [rip+0x18a8ea]
001b6166lea rdi, [rip+0x18aac3]
001b616dadd rdi, 560
001b6174mov rbx, rsp
001b6177mov rsp, [r14+64]
001b617bcall caml_initialize
001b6180mov rsp, rbx
001b6183lea rsi, [rip+0x18a8e6]
001b618alea rdi, [rip+0x18aa9f]
001b6191add rdi, 568
001b6198mov rbx, rsp
001b619bmov rsp, [r14+64]
001b619fcall caml_initialize
001b61a4mov rsp, rbx
001b61a7lea rsi, [rip+0x18a8da]
001b61aelea rdi, [rip+0x18aa7b]
001b61b5add rdi, 576
001b61bcmov rbx, rsp
001b61bfmov rsp, [r14+64]
001b61c3call caml_initialize
001b61c8mov rsp, rbx
001b61cblea rsi, [rip+0x18a8ce]
001b61d2lea rdi, [rip+0x18aa57]
001b61d9add rdi, 584
001b61e0mov rbx, rsp
001b61e3mov rsp, [r14+64]
001b61e7call caml_initialize
001b61ecmov rsp, rbx
001b61eflea rsi, [rip+0x18a8c2]
001b61f6lea rdi, [rip+0x18aa33]
001b61fdadd rdi, 592
001b6204mov rbx, rsp
001b6207mov rsp, [r14+64]
001b620bcall caml_initialize
001b6210mov rsp, rbx
001b6213lea rsi, [rip+0x18a8b6]
001b621alea rdi, [rip+0x18aa0f]
001b6221add rdi, 600
001b6228mov rbx, rsp
001b622bmov rsp, [r14+64]
001b622fcall caml_initialize
001b6234mov rsp, rbx
001b6237lea rsi, [rip+0x18a8b2]
001b623elea rdi, [rip+0x18a9eb]
001b6245add rdi, 608
001b624cmov rbx, rsp
001b624fmov rsp, [r14+64]
001b6253call caml_initialize
001b6258mov rsp, rbx
001b625bsub r15, 720
001b6262call caml_allocN
001b6267lea r12, [r15+8]
001b626badd r12, 352
001b6272mov [r12-8], 46080
001b627blea rdi, [rip+0x18a9ae]
001b6282mov rax, [rdi+256]
001b6289mov [r12], rax
001b628dmov rax, [rdi+264]
001b6294mov [r12+8], rax
001b6299mov rax, [rdi+272]
001b62a0mov [r12+16], rax
001b62a5mov rax, [rdi+280]
001b62acmov [r12+24], rax
001b62b1mov rax, [rdi+288]
001b62b8mov [r12+32], rax
001b62bdmov rax, [rdi+296]
001b62c4mov [r12+40], rax
001b62c9mov rax, [rdi+304]
001b62d0mov [r12+48], rax
001b62d5mov rax, [rdi+312]
001b62dcmov [r12+56], rax
001b62e1mov rax, [rdi+320]
001b62e8mov [r12+64], rax
001b62edmov rax, [rdi+328]
001b62f4mov [r12+72], rax
001b62f9mov rax, [rdi+336]
001b6300mov [r12+80], rax
001b6305mov rax, [rdi+344]
001b630cmov [r12+88], rax
001b6311mov rax, [rdi+352]
001b6318mov [r12+96], rax
001b631dmov rax, [rdi+360]
001b6324mov [r12+104], rax
001b6329mov rax, [rdi+368]
001b6330mov [r12+112], rax
001b6335mov rax, [rdi+376]
001b633cmov [r12+120], rax
001b6341mov rax, [rdi+384]
001b6348mov [r12+128], rax
001b6350mov rax, [rdi+392]
001b6357mov [r12+136], rax
001b635fmov rax, [rdi+400]
001b6366mov [r12+144], rax
001b636emov rax, [rdi+408]
001b6375mov [r12+152], rax
001b637dmov rax, [rdi+416]
001b6384mov [r12+160], rax
001b638cmov rax, [rdi+424]
001b6393mov [r12+168], rax
001b639bmov rax, [rdi+432]
001b63a2mov [r12+176], rax
001b63aamov rax, [rdi+440]
001b63b1mov [r12+184], rax
001b63b9mov rax, [rdi+448]
001b63c0mov [r12+192], rax
001b63c8mov rax, [rdi+456]
001b63cfmov [r12+200], rax
001b63d7mov rax, [rdi+464]
001b63demov [r12+208], rax
001b63e6mov rax, [rdi+472]
001b63edmov [r12+216], rax
001b63f5mov rax, [rdi+480]
001b63fcmov [r12+224], rax
001b6404mov rax, [rdi+488]
001b640bmov [r12+232], rax
001b6413mov rax, [rdi+496]
001b641amov [r12+240], rax
001b6422mov rax, [rdi+504]
001b6429mov [r12+248], rax
001b6431mov rax, [rdi+512]
001b6438mov [r12+256], rax
001b6440mov rax, [rdi+520]
001b6447mov [r12+264], rax
001b644fmov rax, [rdi+528]
001b6456mov [r12+272], rax
001b645emov [r12+280], 11
001b646amov rax, [rdi+544]
001b6471mov [r12+288], rax
001b6479mov rax, [rdi+552]
001b6480mov [r12+296], rax
001b6488mov rax, [rdi+560]
001b648fmov [r12+304], rax
001b6497mov rax, [rdi+568]
001b649emov [r12+312], rax
001b64a6mov rax, [rdi+576]
001b64admov [r12+320], rax
001b64b5mov rax, [rdi+584]
001b64bcmov [r12+328], rax
001b64c4mov rax, [rdi+592]
001b64cbmov [r12+336], rax
001b64d3mov rax, [rdi+600]
001b64damov [r12+344], rax
001b64e2mov rax, [rdi+608]
001b64e9mov [r12+352], rax
001b64f1lea rsi, [r12-352]
001b64f9mov [rsi-8], 44032
001b6501lea rax, [rip+0x18a680]
001b6508mov [rsi], rax
001b650blea rax, [rip+0x18a656]
001b6512mov [rsi+8], rax
001b6516lea rax, [rip+0x18a62b]
001b651dmov [rsi+16], rax
001b6521lea rax, [rip+0x18a600]
001b6528mov [rsi+24], rax
001b652clea rax, [rip+0x18a5dd]
001b6533mov [rsi+32], rax
001b6537mov rax, [r12+16]
001b653cmov [rsi+40], rax
001b6540mov rax, [r12+24]
001b6545mov [rsi+48], rax
001b6549mov rax, [r12+32]
001b654emov [rsi+56], rax
001b6552mov rax, [r12+80]
001b6557mov [rsi+64], rax
001b655bmov rax, [r12+56]
001b6560mov [rsi+72], rax
001b6564mov rax, [r12+64]
001b6569mov [rsi+80], rax
001b656dmov rax, [r12+72]
001b6572mov [rsi+88], rax
001b6576mov rax, [r12+88]
001b657bmov [rsi+96], rax
001b657fmov rax, [r12+96]
001b6584mov [rsi+104], rax
001b6588mov rax, [r12+104]
001b658dmov [rsi+112], rax
001b6591mov rax, [r12+112]
001b6596mov [rsi+120], rax
001b659amov rax, [r12+120]
001b659fmov [rsi+128], rax
001b65a6mov rax, [r12+160]
001b65aemov [rsi+136], rax
001b65b5mov rax, [r12+136]
001b65bdmov [rsi+144], rax
001b65c4mov rax, [r12+144]
001b65ccmov [rsi+152], rax
001b65d3mov rax, [r12+168]
001b65dbmov [rsi+160], rax
001b65e2mov rax, [r12+176]
001b65eamov [rsi+168], rax
001b65f1mov rax, [r12+184]
001b65f9mov [rsi+176], rax
001b6600mov rax, [r12+192]
001b6608mov [rsi+184], rax
001b660fmov rax, [r12+128]
001b6617mov [rsi+192], rax
001b661emov rax, [r12+152]
001b6626mov [rsi+200], rax
001b662dmov rax, [r12+208]
001b6635mov [rsi+208], rax
001b663cmov rax, [r12+200]
001b6644mov [rsi+216], rax
001b664bmov rax, [r12+216]
001b6653mov [rsi+224], rax
001b665amov rax, [r12+224]
001b6662mov [rsi+232], rax
001b6669mov rax, [r12+232]
001b6671mov [rsi+240], rax
001b6678mov rax, [r12+240]
001b6680mov [rsi+248], rax
001b6687mov rax, [r12+248]
001b668fmov [rsi+256], rax
001b6696mov rax, [r12+256]
001b669emov [rsi+264], rax
001b66a5mov rax, [r12+272]
001b66admov [rsi+272], rax
001b66b4mov rax, [r12+288]
001b66bcmov [rsi+280], rax
001b66c3mov rax, [r12+296]
001b66cbmov [rsi+288], rax
001b66d2mov rax, [r12+304]
001b66damov [rsi+296], rax
001b66e1mov rax, [r12+312]
001b66e9mov [rsi+304], rax
001b66f0mov rax, [r12+320]
001b66f8mov [rsi+312], rax
001b66ffmov rax, [r12+336]
001b6707mov [rsi+320], rax
001b670emov rax, [r12+344]
001b6716mov [rsi+328], rax
001b671dmov rax, [r12+352]
001b6725mov [rsi+336], rax
001b672cadd rdi, 240
001b6733mov rbx, rsp
001b6736mov rsp, [r14+64]
001b673acall caml_initialize
001b673fmov rsp, rbx
001b6742sub r15, 352
001b6749call caml_allocN
001b674elea rsi, [r15+8]
001b6752mov [rsi-8], 44032
001b675alea rax, [rip+0x18a4b7]
001b6761mov [rsi], rax
001b6764lea rax, [rip+0x18a48d]
001b676bmov [rsi+8], rax
001b676flea rax, [rip+0x18a462]
001b6776mov [rsi+16], rax
001b677alea rax, [rip+0x18a437]
001b6781mov [rsi+24], rax
001b6785lea rax, [rip+0x18a414]
001b678cmov [rsi+32], rax
001b6790mov rax, [r12+16]
001b6795mov [rsi+40], rax
001b6799mov rax, [r12+24]
001b679emov [rsi+48], rax
001b67a2mov rax, [r12+32]
001b67a7mov [rsi+56], rax
001b67abmov rax, [r12+80]
001b67b0mov [rsi+64], rax
001b67b4mov rax, [r12+56]
001b67b9mov [rsi+72], rax
001b67bdmov rax, [r12+64]
001b67c2mov [rsi+80], rax
001b67c6mov rax, [r12+72]
001b67cbmov [rsi+88], rax
001b67cfmov rax, [r12+88]
001b67d4mov [rsi+96], rax
001b67d8mov rax, [r12+96]
001b67ddmov [rsi+104], rax
001b67e1mov rax, [r12+104]
001b67e6mov [rsi+112], rax
001b67eamov rax, [r12+112]
001b67efmov [rsi+120], rax
001b67f3mov rax, [r12+120]
001b67f8mov [rsi+128], rax
001b67ffmov rax, [r12+160]
001b6807mov [rsi+136], rax
001b680emov rax, [r12+136]
001b6816mov [rsi+144], rax
001b681dmov rax, [r12+144]
001b6825mov [rsi+152], rax
001b682cmov rax, [r12+168]
001b6834mov [rsi+160], rax
001b683bmov rax, [r12+176]
001b6843mov [rsi+168], rax
001b684amov rax, [r12+184]
001b6852mov [rsi+176], rax
001b6859mov rax, [r12+192]
001b6861mov [rsi+184], rax
001b6868mov rax, [r12+128]
001b6870mov [rsi+192], rax
001b6877mov rax, [r12+152]
001b687fmov [rsi+200], rax
001b6886mov rax, [r12+208]
001b688emov [rsi+208], rax
001b6895mov rax, [r12+200]
001b689dmov [rsi+216], rax
001b68a4mov rax, [r12+216]
001b68acmov [rsi+224], rax
001b68b3mov rax, [r12+224]
001b68bbmov [rsi+232], rax
001b68c2mov rax, [r12+232]
001b68camov [rsi+240], rax
001b68d1mov rax, [r12+240]
001b68d9mov [rsi+248], rax
001b68e0mov rax, [r12+248]
001b68e8mov [rsi+256], rax
001b68efmov rax, [r12+256]
001b68f7mov [rsi+264], rax
001b68femov rax, [r12+272]
001b6906mov [rsi+272], rax
001b690dmov rax, [r12+288]
001b6915mov [rsi+280], rax
001b691cmov rax, [r12+296]
001b6924mov [rsi+288], rax
001b692bmov rax, [r12+304]
001b6933mov [rsi+296], rax
001b693amov rax, [r12+312]
001b6942mov [rsi+304], rax
001b6949mov rax, [r12+320]
001b6951mov [rsi+312], rax
001b6958mov rax, [r12+336]
001b6960mov [rsi+320], rax
001b6967mov rax, [r12+344]
001b696fmov [rsi+328], rax
001b6976mov rax, [r12+352]
001b697emov [rsi+336], rax
001b6985lea rdi, [rip+0x18a2a4]
001b698cadd rdi, 248
001b6993mov rbx, rsp
001b6996mov rsp, [r14+64]
001b699acall caml_initialize
001b699fmov rsp, rbx
001b69a2mov eax, 1
001b69a7ret
001b5770
001b5770Stdlib.Float.entry:
001b5770lea rsi, [rip+0x18acf1]
001b5777lea rdi, [rip+0x18b4b2]
001b577eadd rdi, 160
001b5785mov rbx, rsp
001b5788mov rsp, [r14+64]
001b578ccall caml_initialize
001b5791mov rsp, rbx
001b5794lea rsi, [rip+0x18b93d]
001b579blea rdi, [rip+0x18b48e]
001b57a2mov rbx, rsp
001b57a5mov rsp, [r14+64]
001b57a9call caml_initialize
001b57aemov rsp, rbx
001b57b1lea rsi, [rip+0x18b7d8]
001b57b8lea rdi, [rip+0x18b471]
001b57bfadd rdi, 8
001b57c3mov rbx, rsp
001b57c6mov rsp, [r14+64]
001b57cacall caml_initialize
001b57cfmov rsp, rbx
001b57d2lea rsi, [rip+0x18b77f]
001b57d9lea rdi, [rip+0x18b450]
001b57e0add rdi, 16
001b57e4mov rbx, rsp
001b57e7mov rsp, [r14+64]
001b57ebcall caml_initialize
001b57f0mov rsp, rbx
001b57f3lea rax, [rip+0x177e1e]
001b57famov rsi, [rax+168]
001b5801lea rdi, [rip+0x18b428]
001b5808add rdi, 40
001b580cmov rbx, rsp
001b580fmov rsp, [r14+64]
001b5813call caml_initialize
001b5818mov rsp, rbx
001b581blea rax, [rip+0x177df6]
001b5822mov rsi, [rax+176]
001b5829lea rdi, [rip+0x18b400]
001b5830add rdi, 48
001b5834mov rbx, rsp
001b5837mov rsp, [r14+64]
001b583bcall caml_initialize
001b5840mov rsp, rbx
001b5843lea rax, [rip+0x177dce]
001b584amov rsi, [rax+184]
001b5851lea rdi, [rip+0x18b3d8]
001b5858add rdi, 56
001b585cmov rbx, rsp
001b585fmov rsp, [r14+64]
001b5863call caml_initialize
001b5868mov rsp, rbx
001b586blea rdi, [rip+0x18b3be]
001b5872mov rsi, [rdi+56]
001b5876add rdi, 72
001b587amov rbx, rsp
001b587dmov rsp, [r14+64]
001b5881call caml_initialize
001b5886mov rsp, rbx
001b5889mov rdi, 0x7ff0000000000001
001b5893mov rbx, rsp
001b5896mov rsp, [r14+64]
001b589acall caml_int64_float_of_bits_unboxed
001b589fmov rsp, rbx
001b58a2call caml_alloc1
001b58a7lea rsi, [r15+8]
001b58abmov [rsi-8], 1277
001b58b3movsd_xmm [rsi], x0
001b58b7lea rdi, [rip+0x18b372]
001b58beadd rdi, 64
001b58c2mov rbx, rsp
001b58c5mov rsp, [r14+64]
001b58c9call caml_initialize
001b58cemov rsp, rbx
001b58d1lea rsi, [rip+0x18abb0]
001b58d8lea rdi, [rip+0x18b351]
001b58dfadd rdi, 112
001b58e3mov rbx, rsp
001b58e6mov rsp, [r14+64]
001b58eacall caml_initialize
001b58efmov rsp, rbx
001b58f2lea rsi, [rip+0x18aba7]
001b58f9lea rdi, [rip+0x18b330]
001b5900add rdi, 120
001b5904mov rbx, rsp
001b5907mov rsp, [r14+64]
001b590bcall caml_initialize
001b5910mov rsp, rbx
001b5913lea rsi, [rip+0x18ab9e]
001b591alea rdi, [rip+0x18b30f]
001b5921add rdi, 128
001b5928mov rbx, rsp
001b592bmov rsp, [r14+64]
001b592fcall caml_initialize
001b5934mov rsp, rbx
001b5937lea rsi, [rip+0x18b5f2]
001b593elea rdi, [rip+0x18b2eb]
001b5945add rdi, 80
001b5949mov rbx, rsp
001b594cmov rsp, [r14+64]
001b5950call caml_initialize
001b5955mov rsp, rbx
001b5958lea rax, [rip+0x177cb9]
001b595fmov rsi, [rax+192]
001b5966lea rdi, [rip+0x18b2c3]
001b596dadd rdi, 88
001b5971mov rbx, rsp
001b5974mov rsp, [r14+64]
001b5978call caml_initialize
001b597dmov rsp, rbx
001b5980lea rax, [rip+0x177c91]
001b5987mov rsi, [rax+200]
001b598elea rdi, [rip+0x18b29b]
001b5995add rdi, 96
001b5999mov rbx, rsp
001b599cmov rsp, [r14+64]
001b59a0call caml_initialize
001b59a5mov rsp, rbx
001b59a8lea rax, [rip+0x177c69]
001b59afmov rsi, [rax+208]
001b59b6lea rdi, [rip+0x18b273]
001b59bdadd rdi, 104
001b59c1mov rbx, rsp
001b59c4mov rsp, [r14+64]
001b59c8call caml_initialize
001b59cdmov rsp, rbx
001b59d0lea rax, [rip+0x177c41]
001b59d7mov rsi, [rax+280]
001b59delea rdi, [rip+0x18b24b]
001b59e5add rdi, 144
001b59ecmov rbx, rsp
001b59efmov rsp, [r14+64]
001b59f3call caml_initialize
001b59f8mov rsp, rbx
001b59fblea rax, [rip+0x177c16]
001b5a02mov rsi, [rax+272]
001b5a09lea rdi, [rip+0x18b220]
001b5a10add rdi, 152
001b5a17mov rbx, rsp
001b5a1amov rsp, [r14+64]
001b5a1ecall caml_initialize
001b5a23mov rsp, rbx
001b5a26lea rsi, [rip+0x18aaa3]
001b5a2dlea rdi, [rip+0x18b1fc]
001b5a34add rdi, 136
001b5a3bmov rbx, rsp
001b5a3emov rsp, [r14+64]
001b5a42call caml_initialize
001b5a47mov rsp, rbx
001b5a4alea rsi, [rip+0x18aa97]
001b5a51lea rdi, [rip+0x18b1d8]
001b5a58add rdi, 24
001b5a5cmov rbx, rsp
001b5a5fmov rsp, [r14+64]
001b5a63call caml_initialize
001b5a68mov rsp, rbx
001b5a6blea rsi, [rip+0x18aa8e]
001b5a72lea rdi, [rip+0x18b1b7]
001b5a79add rdi, 32
001b5a7dmov rbx, rsp
001b5a80mov rsp, [r14+64]
001b5a84call caml_initialize
001b5a89mov rsp, rbx
001b5a8clea rsi, [rip+0x18aa85]
001b5a93lea rdi, [rip+0x18b196]
001b5a9aadd rdi, 168
001b5aa1mov rbx, rsp
001b5aa4mov rsp, [r14+64]
001b5aa8call caml_initialize
001b5aadmov rsp, rbx
001b5ab0lea rsi, [rip+0x18aa81]
001b5ab7lea rdi, [rip+0x18b172]
001b5abeadd rdi, 176
001b5ac5mov rbx, rsp
001b5ac8mov rsp, [r14+64]
001b5acccall caml_initialize
001b5ad1mov rsp, rbx
001b5ad4lea rsi, [rip+0x18aa7d]
001b5adblea rdi, [rip+0x18b14e]
001b5ae2add rdi, 184
001b5ae9mov rbx, rsp
001b5aecmov rsp, [r14+64]
001b5af0call caml_initialize
001b5af5mov rsp, rbx
001b5af8lea rsi, [rip+0x18aa79]
001b5afflea rdi, [rip+0x18b12a]
001b5b06add rdi, 192
001b5b0dmov rbx, rsp
001b5b10mov rsp, [r14+64]
001b5b14call caml_initialize
001b5b19mov rsp, rbx
001b5b1clea rsi, [rip+0x18aa75]
001b5b23lea rdi, [rip+0x18b106]
001b5b2aadd rdi, 200
001b5b31mov rbx, rsp
001b5b34mov rsp, [r14+64]
001b5b38call caml_initialize
001b5b3dmov rsp, rbx
001b5b40lea rsi, [rip+0x18aa71]
001b5b47lea rdi, [rip+0x18b0e2]
001b5b4eadd rdi, 208
001b5b55mov rbx, rsp
001b5b58mov rsp, [r14+64]
001b5b5ccall caml_initialize
001b5b61mov rsp, rbx
001b5b64lea rsi, [rip+0x18aa6d]
001b5b6blea rdi, [rip+0x18b0be]
001b5b72add rdi, 216
001b5b79mov rbx, rsp
001b5b7cmov rsp, [r14+64]
001b5b80call caml_initialize
001b5b85mov rsp, rbx
001b5b88lea rsi, [rip+0x18aa69]
001b5b8flea rdi, [rip+0x18b09a]
001b5b96add rdi, 224
001b5b9dmov rbx, rsp
001b5ba0mov rsp, [r14+64]
001b5ba4call caml_initialize
001b5ba9mov rsp, rbx
001b5baclea rsi, [rip+0x18aa65]
001b5bb3lea rdi, [rip+0x18b076]
001b5bbaadd rdi, 232
001b5bc1mov rbx, rsp
001b5bc4mov rsp, [r14+64]
001b5bc8call caml_initialize
001b5bcdmov rsp, rbx
001b5bd0lea rsi, [rip+0x18aa59]
001b5bd7lea rdi, [rip+0x18b052]
001b5bdeadd rdi, 256
001b5be5mov rbx, rsp
001b5be8mov rsp, [r14+64]
001b5beccall caml_initialize
001b5bf1mov rsp, rbx
001b5bf4mov edi, 1
001b5bf9lea rax, [rip+0x43d00]
001b5c00call caml_c_call
001b5c05lea rdi, [rip+0x18b024]
001b5c0cadd rdi, 264
001b5c13mov rsi, rax
001b5c16mov rbx, rsp
001b5c19mov rsp, [r14+64]
001b5c1dcall caml_initialize
001b5c22mov rsp, rbx
001b5c25lea rsi, [rip+0x18aa24]
001b5c2clea rdi, [rip+0x18affd]
001b5c33add rdi, 272
001b5c3amov rbx, rsp
001b5c3dmov rsp, [r14+64]
001b5c41call caml_initialize
001b5c46mov rsp, rbx
001b5c49lea rsi, [rip+0x18aa20]
001b5c50lea rdi, [rip+0x18afd9]
001b5c57add rdi, 280
001b5c5emov rbx, rsp
001b5c61mov rsp, [r14+64]
001b5c65call caml_initialize
001b5c6amov rsp, rbx
001b5c6dlea rsi, [rip+0x18aa1c]
001b5c74lea rdi, [rip+0x18afb5]
001b5c7badd rdi, 288
001b5c82mov rbx, rsp
001b5c85mov rsp, [r14+64]
001b5c89call caml_initialize
001b5c8emov rsp, rbx
001b5c91lea rsi, [rip+0x18aa18]
001b5c98lea rdi, [rip+0x18af91]
001b5c9fadd rdi, 296
001b5ca6mov rbx, rsp
001b5ca9mov rsp, [r14+64]
001b5cadcall caml_initialize
001b5cb2mov rsp, rbx
001b5cb5lea rsi, [rip+0x18aa14]
001b5cbclea rdi, [rip+0x18af6d]
001b5cc3add rdi, 304
001b5ccamov rbx, rsp
001b5ccdmov rsp, [r14+64]
001b5cd1call caml_initialize
001b5cd6mov rsp, rbx
001b5cd9lea rsi, [rip+0x18aa10]
001b5ce0lea rdi, [rip+0x18af49]
001b5ce7add rdi, 312
001b5ceemov rbx, rsp
001b5cf1mov rsp, [r14+64]
001b5cf5call caml_initialize
001b5cfamov rsp, rbx
001b5cfdlea rsi, [rip+0x18aa04]
001b5d04lea rdi, [rip+0x18af25]
001b5d0badd rdi, 320
001b5d12mov rbx, rsp
001b5d15mov rsp, [r14+64]
001b5d19call caml_initialize
001b5d1emov rsp, rbx
001b5d21lea rsi, [rip+0x18aa00]
001b5d28lea rdi, [rip+0x18af01]
001b5d2fadd rdi, 328
001b5d36mov rbx, rsp
001b5d39mov rsp, [r14+64]
001b5d3dcall caml_initialize
001b5d42mov rsp, rbx
001b5d45lea rsi, [rip+0x18a9f4]
001b5d4clea rdi, [rip+0x18aedd]
001b5d53add rdi, 336
001b5d5amov rbx, rsp
001b5d5dmov rsp, [r14+64]
001b5d61call caml_initialize
001b5d66mov rsp, rbx
001b5d69lea rsi, [rip+0x18a9f0]
001b5d70lea rdi, [rip+0x18aeb9]
001b5d77add rdi, 344
001b5d7emov rbx, rsp
001b5d81mov rsp, [r14+64]
001b5d85call caml_initialize
001b5d8amov rsp, rbx
001b5d8dlea rsi, [rip+0x18a9ec]
001b5d94lea rdi, [rip+0x18ae95]
001b5d9badd rdi, 352
001b5da2mov rbx, rsp
001b5da5mov rsp, [r14+64]
001b5da9call caml_initialize
001b5daemov rsp, rbx
001b5db1lea rsi, [rip+0x18a9e8]
001b5db8lea rdi, [rip+0x18ae71]
001b5dbfadd rdi, 360
001b5dc6mov rbx, rsp
001b5dc9mov rsp, [r14+64]
001b5dcdcall caml_initialize
001b5dd2mov rsp, rbx
001b5dd5lea rsi, [rip+0x18a9dc]
001b5ddclea rdi, [rip+0x18ae4d]
001b5de3add rdi, 368
001b5deamov rbx, rsp
001b5dedmov rsp, [r14+64]
001b5df1call caml_initialize
001b5df6mov rsp, rbx
001b5df9lea rsi, [rip+0x18a9d0]
001b5e00lea rdi, [rip+0x18ae29]
001b5e07add rdi, 376
001b5e0emov rbx, rsp
001b5e11mov rsp, [r14+64]
001b5e15call caml_initialize
001b5e1amov rsp, rbx
001b5e1dlea rsi, [rip+0x18a9cc]
001b5e24lea rdi, [rip+0x18ae05]
001b5e2badd rdi, 384
001b5e32mov rbx, rsp
001b5e35mov rsp, [r14+64]
001b5e39call caml_initialize
001b5e3emov rsp, rbx
001b5e41lea rsi, [rip+0x18a9c8]
001b5e48lea rdi, [rip+0x18ade1]
001b5e4fadd rdi, 392
001b5e56mov rbx, rsp
001b5e59mov rsp, [r14+64]
001b5e5dcall caml_initialize
001b5e62mov rsp, rbx
001b5e65lea rsi, [rip+0x18a9c4]
001b5e6clea rdi, [rip+0x18adbd]
001b5e73add rdi, 400
001b5e7amov rbx, rsp
001b5e7dmov rsp, [r14+64]
001b5e81call caml_initialize
001b5e86mov rsp, rbx
001b5e89lea rsi, [rip+0x18a9c0]
001b5e90lea rdi, [rip+0x18ad99]
001b5e97add rdi, 408
001b5e9emov rbx, rsp
001b5ea1mov rsp, [r14+64]
001b5ea5call caml_initialize
001b5eaamov rsp, rbx
001b5eadlea rsi, [rip+0x18a9bc]
001b5eb4lea rdi, [rip+0x18ad75]
001b5ebbadd rdi, 416
001b5ec2mov rbx, rsp
001b5ec5mov rsp, [r14+64]
001b5ec9call caml_initialize
001b5ecemov rsp, rbx
001b5ed1lea rsi, [rip+0x18a9b8]
001b5ed8lea rdi, [rip+0x18ad51]
001b5edfadd rdi, 424
001b5ee6mov rbx, rsp
001b5ee9mov rsp, [r14+64]
001b5eedcall caml_initialize
001b5ef2mov rsp, rbx
001b5ef5lea rsi, [rip+0x18a9b4]
001b5efclea rdi, [rip+0x18ad2d]
001b5f03add rdi, 432
001b5f0amov rbx, rsp
001b5f0dmov rsp, [r14+64]
001b5f11call caml_initialize
001b5f16mov rsp, rbx
001b5f19lea rsi, [rip+0x18a9b0]
001b5f20lea rdi, [rip+0x18ad09]
001b5f27add rdi, 440
001b5f2emov rbx, rsp
001b5f31mov rsp, [r14+64]
001b5f35call caml_initialize
001b5f3amov rsp, rbx
001b5f3dlea rsi, [rip+0x18a9ac]
001b5f44lea rdi, [rip+0x18ace5]
001b5f4badd rdi, 448
001b5f52mov rbx, rsp
001b5f55mov rsp, [r14+64]
001b5f59call caml_initialize
001b5f5emov rsp, rbx
001b5f61lea rsi, [rip+0x18a9a8]
001b5f68lea rdi, [rip+0x18acc1]
001b5f6fadd rdi, 456
001b5f76mov rbx, rsp
001b5f79mov rsp, [r14+64]
001b5f7dcall caml_initialize
001b5f82mov rsp, rbx
001b5f85lea rsi, [rip+0x18a9a4]
001b5f8clea rdi, [rip+0x18ac9d]
001b5f93add rdi, 464
001b5f9amov rbx, rsp
001b5f9dmov rsp, [r14+64]
001b5fa1call caml_initialize
001b5fa6mov rsp, rbx
001b5fa9lea rsi, [rip+0x18a9a0]
001b5fb0lea rdi, [rip+0x18ac79]
001b5fb7add rdi, 472
001b5fbemov rbx, rsp
001b5fc1mov rsp, [r14+64]
001b5fc5call caml_initialize
001b5fcamov rsp, rbx
001b5fcdlea rsi, [rip+0x18a99c]
001b5fd4lea rdi, [rip+0x18ac55]
001b5fdbadd rdi, 480
001b5fe2mov rbx, rsp
001b5fe5mov rsp, [r14+64]
001b5fe9call caml_initialize
001b5feemov rsp, rbx
001b5ff1lea rsi, [rip+0x18a998]
001b5ff8lea rdi, [rip+0x18ac31]
001b5fffadd rdi, 488
001b6006mov rbx, rsp
001b6009mov rsp, [r14+64]
001b600dcall caml_initialize
001b6012mov rsp, rbx
001b6015lea rsi, [rip+0x18a994]
001b601clea rdi, [rip+0x18ac0d]
001b6023add rdi, 496
001b602amov rbx, rsp
001b602dmov rsp, [r14+64]
001b6031call caml_initialize
001b6036mov rsp, rbx
001b6039lea rsi, [rip+0x18a990]
001b6040lea rdi, [rip+0x18abe9]
001b6047add rdi, 504
001b604emov rbx, rsp
001b6051mov rsp, [r14+64]
001b6055call caml_initialize
001b605amov rsp, rbx
001b605dlea rsi, [rip+0x18a98c]
001b6064lea rdi, [rip+0x18abc5]
001b606badd rdi, 512
001b6072mov rbx, rsp
001b6075mov rsp, [r14+64]
001b6079call caml_initialize
001b607emov rsp, rbx
001b6081mov edi, 1
001b6086mov rbx, rsp
001b6089mov rsp, [r14+64]
001b608dcall caml_fresh_oo_id
001b6092mov rsp, rbx
001b6095call caml_alloc2
001b609alea rsi, [r15+8]
001b609emov [rsi-8], 2296
001b60a6lea rbx, [rip+0x18aef3]
001b60admov [rsi], rbx
001b60b0mov [rsi+8], rax
001b60b4lea rdi, [rip+0x18ab75]
001b60bbadd rdi, 520
001b60c2mov rbx, rsp
001b60c5mov rsp, [r14+64]
001b60c9call caml_initialize
001b60cemov rsp, rbx
001b60d1lea rsi, [rip+0x18a938]
001b60d8lea rdi, [rip+0x18ab51]
001b60dfadd rdi, 528
001b60e6mov rbx, rsp
001b60e9mov rsp, [r14+64]
001b60edcall caml_initialize
001b60f2mov rsp, rbx
001b60f5mov esi, 11
001b60falea rdi, [rip+0x18ab2f]
001b6101add rdi, 536
001b6108mov rbx, rsp
001b610bmov rsp, [r14+64]
001b610fcall caml_initialize
001b6114mov rsp, rbx
001b6117lea rsi, [rip+0x18a912]
001b611elea rdi, [rip+0x18ab0b]
001b6125add rdi, 544
001b612cmov rbx, rsp
001b612fmov rsp, [r14+64]
001b6133call caml_initialize
001b6138mov rsp, rbx
001b613blea rdi, [rip+0x18aaee]
001b6142mov rsi, [rdi+544]
001b6149add rdi, 552
001b6150mov rbx, rsp
001b6153mov rsp, [r14+64]
001b6157call caml_initialize
001b615cmov rsp, rbx
001b615flea rsi, [rip+0x18a8ea]
001b6166lea rdi, [rip+0x18aac3]
001b616dadd rdi, 560
001b6174mov rbx, rsp
001b6177mov rsp, [r14+64]
001b617bcall caml_initialize
001b6180mov rsp, rbx
001b6183lea rsi, [rip+0x18a8e6]
001b618alea rdi, [rip+0x18aa9f]
001b6191add rdi, 568
001b6198mov rbx, rsp
001b619bmov rsp, [r14+64]
001b619fcall caml_initialize
001b61a4mov rsp, rbx
001b61a7lea rsi, [rip+0x18a8da]
001b61aelea rdi, [rip+0x18aa7b]
001b61b5add rdi, 576
001b61bcmov rbx, rsp
001b61bfmov rsp, [r14+64]
001b61c3call caml_initialize
001b61c8mov rsp, rbx
001b61cblea rsi, [rip+0x18a8ce]
001b61d2lea rdi, [rip+0x18aa57]
001b61d9add rdi, 584
001b61e0mov rbx, rsp
001b61e3mov rsp, [r14+64]
001b61e7call caml_initialize
001b61ecmov rsp, rbx
001b61eflea rsi, [rip+0x18a8c2]
001b61f6lea rdi, [rip+0x18aa33]
001b61fdadd rdi, 592
001b6204mov rbx, rsp
001b6207mov rsp, [r14+64]
001b620bcall caml_initialize
001b6210mov rsp, rbx
001b6213lea rsi, [rip+0x18a8b6]
001b621alea rdi, [rip+0x18aa0f]
001b6221add rdi, 600
001b6228mov rbx, rsp
001b622bmov rsp, [r14+64]
001b622fcall caml_initialize
001b6234mov rsp, rbx
001b6237lea rsi, [rip+0x18a8b2]
001b623elea rdi, [rip+0x18a9eb]
001b6245add rdi, 608
001b624cmov rbx, rsp
001b624fmov rsp, [r14+64]
001b6253call caml_initialize
001b6258mov rsp, rbx
001b625bsub r15, 720
001b6262call caml_allocN
001b6267lea r12, [r15+8]
001b626badd r12, 352
001b6272mov [r12-8], 46080
001b627blea rdi, [rip+0x18a9ae]
001b6282mov rax, [rdi+256]
001b6289mov [r12], rax
001b628dmov rax, [rdi+264]
001b6294mov [r12+8], rax
001b6299mov rax, [rdi+272]
001b62a0mov [r12+16], rax
001b62a5mov rax, [rdi+280]
001b62acmov [r12+24], rax
001b62b1mov rax, [rdi+288]
001b62b8mov [r12+32], rax
001b62bdmov rax, [rdi+296]
001b62c4mov [r12+40], rax
001b62c9mov rax, [rdi+304]
001b62d0mov [r12+48], rax
001b62d5mov rax, [rdi+312]
001b62dcmov [r12+56], rax
001b62e1mov rax, [rdi+320]
001b62e8mov [r12+64], rax
001b62edmov rax, [rdi+328]
001b62f4mov [r12+72], rax
001b62f9mov rax, [rdi+336]
001b6300mov [r12+80], rax
001b6305mov rax, [rdi+344]
001b630cmov [r12+88], rax
001b6311mov rax, [rdi+352]
001b6318mov [r12+96], rax
001b631dmov rax, [rdi+360]
001b6324mov [r12+104], rax
001b6329mov rax, [rdi+368]
001b6330mov [r12+112], rax
001b6335mov rax, [rdi+376]
001b633cmov [r12+120], rax
001b6341mov rax, [rdi+384]
001b6348mov [r12+128], rax
001b6350mov rax, [rdi+392]
001b6357mov [r12+136], rax
001b635fmov rax, [rdi+400]
001b6366mov [r12+144], rax
001b636emov rax, [rdi+408]
001b6375mov [r12+152], rax
001b637dmov rax, [rdi+416]
001b6384mov [r12+160], rax
001b638cmov rax, [rdi+424]
001b6393mov [r12+168], rax
001b639bmov rax, [rdi+432]
001b63a2mov [r12+176], rax
001b63aamov rax, [rdi+440]
001b63b1mov [r12+184], rax
001b63b9mov rax, [rdi+448]
001b63c0mov [r12+192], rax
001b63c8mov rax, [rdi+456]
001b63cfmov [r12+200], rax
001b63d7mov rax, [rdi+464]
001b63demov [r12+208], rax
001b63e6mov rax, [rdi+472]
001b63edmov [r12+216], rax
001b63f5mov rax, [rdi+480]
001b63fcmov [r12+224], rax
001b6404mov rax, [rdi+488]
001b640bmov [r12+232], rax
001b6413mov rax, [rdi+496]
001b641amov [r12+240], rax
001b6422mov rax, [rdi+504]
001b6429mov [r12+248], rax
001b6431mov rax, [rdi+512]
001b6438mov [r12+256], rax
001b6440mov rax, [rdi+520]
001b6447mov [r12+264], rax
001b644fmov rax, [rdi+528]
001b6456mov [r12+272], rax
001b645emov [r12+280], 11
001b646amov rax, [rdi+544]
001b6471mov [r12+288], rax
001b6479mov rax, [rdi+552]
001b6480mov [r12+296], rax
001b6488mov rax, [rdi+560]
001b648fmov [r12+304], rax
001b6497mov rax, [rdi+568]
001b649emov [r12+312], rax
001b64a6mov rax, [rdi+576]
001b64admov [r12+320], rax
001b64b5mov rax, [rdi+584]
001b64bcmov [r12+328], rax
001b64c4mov rax, [rdi+592]
001b64cbmov [r12+336], rax
001b64d3mov rax, [rdi+600]
001b64damov [r12+344], rax
001b64e2mov rax, [rdi+608]
001b64e9mov [r12+352], rax
001b64f1lea rsi, [r12-352]
001b64f9mov [rsi-8], 44032
001b6501lea rax, [rip+0x18a680]
001b6508mov [rsi], rax
001b650blea rax, [rip+0x18a656]
001b6512mov [rsi+8], rax
001b6516lea rax, [rip+0x18a62b]
001b651dmov [rsi+16], rax
001b6521lea rax, [rip+0x18a600]
001b6528mov [rsi+24], rax
001b652clea rax, [rip+0x18a5dd]
001b6533mov [rsi+32], rax
001b6537mov rax, [r12+16]
001b653cmov [rsi+40], rax
001b6540mov rax, [r12+24]
001b6545mov [rsi+48], rax
001b6549mov rax, [r12+32]
001b654emov [rsi+56], rax
001b6552mov rax, [r12+80]
001b6557mov [rsi+64], rax
001b655bmov rax, [r12+56]
001b6560mov [rsi+72], rax
001b6564mov rax, [r12+64]
001b6569mov [rsi+80], rax
001b656dmov rax, [r12+72]
001b6572mov [rsi+88], rax
001b6576mov rax, [r12+88]
001b657bmov [rsi+96], rax
001b657fmov rax, [r12+96]
001b6584mov [rsi+104], rax
001b6588mov rax, [r12+104]
001b658dmov [rsi+112], rax
001b6591mov rax, [r12+112]
001b6596mov [rsi+120], rax
001b659amov rax, [r12+120]
001b659fmov [rsi+128], rax
001b65a6mov rax, [r12+160]
001b65aemov [rsi+136], rax
001b65b5mov rax, [r12+136]
001b65bdmov [rsi+144], rax
001b65c4mov rax, [r12+144]
001b65ccmov [rsi+152], rax
001b65d3mov rax, [r12+168]
001b65dbmov [rsi+160], rax
001b65e2mov rax, [r12+176]
001b65eamov [rsi+168], rax
001b65f1mov rax, [r12+184]
001b65f9mov [rsi+176], rax
001b6600mov rax, [r12+192]
001b6608mov [rsi+184], rax
001b660fmov rax, [r12+128]
001b6617mov [rsi+192], rax
001b661emov rax, [r12+152]
001b6626mov [rsi+200], rax
001b662dmov rax, [r12+208]
001b6635mov [rsi+208], rax
001b663cmov rax, [r12+200]
001b6644mov [rsi+216], rax
001b664bmov rax, [r12+216]
001b6653mov [rsi+224], rax
001b665amov rax, [r12+224]
001b6662mov [rsi+232], rax
001b6669mov rax, [r12+232]
001b6671mov [rsi+240], rax
001b6678mov rax, [r12+240]
001b6680mov [rsi+248], rax
001b6687mov rax, [r12+248]
001b668fmov [rsi+256], rax
001b6696mov rax, [r12+256]
001b669emov [rsi+264], rax
001b66a5mov rax, [r12+272]
001b66admov [rsi+272], rax
001b66b4mov rax, [r12+288]
001b66bcmov [rsi+280], rax
001b66c3mov rax, [r12+296]
001b66cbmov [rsi+288], rax
001b66d2mov rax, [r12+304]
001b66damov [rsi+296], rax
001b66e1mov rax, [r12+312]
001b66e9mov [rsi+304], rax
001b66f0mov rax, [r12+320]
001b66f8mov [rsi+312], rax
001b66ffmov rax, [r12+336]
001b6707mov [rsi+320], rax
001b670emov rax, [r12+344]
001b6716mov [rsi+328], rax
001b671dmov rax, [r12+352]
001b6725mov [rsi+336], rax
001b672cadd rdi, 240
001b6733mov rbx, rsp
001b6736mov rsp, [r14+64]
001b673acall caml_initialize
001b673fmov rsp, rbx
001b6742sub r15, 352
001b6749call caml_allocN
001b674elea rsi, [r15+8]
001b6752mov [rsi-8], 44032
001b675alea rax, [rip+0x18a4b7]
001b6761mov [rsi], rax
001b6764lea rax, [rip+0x18a48d]
001b676bmov [rsi+8], rax
001b676flea rax, [rip+0x18a462]
001b6776mov [rsi+16], rax
001b677alea rax, [rip+0x18a437]
001b6781mov [rsi+24], rax
001b6785lea rax, [rip+0x18a414]
001b678cmov [rsi+32], rax
001b6790mov rax, [r12+16]
001b6795mov [rsi+40], rax
001b6799mov rax, [r12+24]
001b679emov [rsi+48], rax
001b67a2mov rax, [r12+32]
001b67a7mov [rsi+56], rax
001b67abmov rax, [r12+80]
001b67b0mov [rsi+64], rax
001b67b4mov rax, [r12+56]
001b67b9mov [rsi+72], rax
001b67bdmov rax, [r12+64]
001b67c2mov [rsi+80], rax
001b67c6mov rax, [r12+72]
001b67cbmov [rsi+88], rax
001b67cfmov rax, [r12+88]
001b67d4mov [rsi+96], rax
001b67d8mov rax, [r12+96]
001b67ddmov [rsi+104], rax
001b67e1mov rax, [r12+104]
001b67e6mov [rsi+112], rax
001b67eamov rax, [r12+112]
001b67efmov [rsi+120], rax
001b67f3mov rax, [r12+120]
001b67f8mov [rsi+128], rax
001b67ffmov rax, [r12+160]
001b6807mov [rsi+136], rax
001b680emov rax, [r12+136]
001b6816mov [rsi+144], rax
001b681dmov rax, [r12+144]
001b6825mov [rsi+152], rax
001b682cmov rax, [r12+168]
001b6834mov [rsi+160], rax
001b683bmov rax, [r12+176]
001b6843mov [rsi+168], rax
001b684amov rax, [r12+184]
001b6852mov [rsi+176], rax
001b6859mov rax, [r12+192]
001b6861mov [rsi+184], rax
001b6868mov rax, [r12+128]
001b6870mov [rsi+192], rax
001b6877mov rax, [r12+152]
001b687fmov [rsi+200], rax
001b6886mov rax, [r12+208]
001b688emov [rsi+208], rax
001b6895mov rax, [r12+200]
001b689dmov [rsi+216], rax
001b68a4mov rax, [r12+216]
001b68acmov [rsi+224], rax
001b68b3mov rax, [r12+224]
001b68bbmov [rsi+232], rax
001b68c2mov rax, [r12+232]
001b68camov [rsi+240], rax
001b68d1mov rax, [r12+240]
001b68d9mov [rsi+248], rax
001b68e0mov rax, [r12+248]
001b68e8mov [rsi+256], rax
001b68efmov rax, [r12+256]
001b68f7mov [rsi+264], rax
001b68femov rax, [r12+272]
001b6906mov [rsi+272], rax
001b690dmov rax, [r12+288]
001b6915mov [rsi+280], rax
001b691cmov rax, [r12+296]
001b6924mov [rsi+288], rax
001b692bmov rax, [r12+304]
001b6933mov [rsi+296], rax
001b693amov rax, [r12+312]
001b6942mov [rsi+304], rax
001b6949mov rax, [r12+320]
001b6951mov [rsi+312], rax
001b6958mov rax, [r12+336]
001b6960mov [rsi+320], rax
001b6967mov rax, [r12+344]
001b696fmov [rsi+328], rax
001b6976mov rax, [r12+352]
001b697emov [rsi+336], rax
001b6985lea rdi, [rip+0x18a2a4]
001b698cadd rdi, 248
001b6993mov rbx, rsp
001b6996mov rsp, [r14+64]
001b699acall caml_initialize
001b699fmov rsp, rbx
001b69a2mov eax, 1
001b69a7ret
001b5770
001b69a8
001b69a8 // align 0x10
001b69a8 // align 0x10
001b69b0
001b69b0Stdlib.Int32.succ:
001b69b0sub r15, 24
001b69b4cmp r15, [r14]
001b69b7jb 0x1b69e1
001b69b9
001b69b9loc_1b69b9:
001b69b9lea rbx, [r15+8]
001b69bdmov [rbx-8], 2303
001b69c5lea rdi, [rip+0xbeef4]
001b69ccmov [rbx], rdi
001b69cfmovsxd rax, [rax+8]
001b69d3inc rax
001b69d6movsxd rax, eax
001b69d9mov [rbx+8], rax
001b69ddmov rax, rbx
001b69e0ret
001b69e1
001b69e1loc_1b69e1:
001b69e1call caml_call_gc
001b69e6jmp 0x1b69b9
001b69b0
001b69b0Stdlib.Int32.succ:
001b69b0sub r15, 24
001b69b4cmp r15, [r14]
001b69b7jb 0x1b69e1
001b69b9
001b69b9loc_1b69b9:
001b69b9lea rbx, [r15+8]
001b69bdmov [rbx-8], 2303
001b69c5lea rdi, [rip+0xbeef4]
001b69ccmov [rbx], rdi
001b69cfmovsxd rax, [rax+8]
001b69d3inc rax
001b69d6movsxd rax, eax
001b69d9mov [rbx+8], rax
001b69ddmov rax, rbx
001b69e0ret
001b69e1
001b69e1loc_1b69e1:
001b69e1call caml_call_gc
001b69e6jmp 0x1b69b9
001b69b0
001b69e8
001b69e8 // align 0x10
001b69e8 // align 0x10
001b69f0
001b69f0Stdlib.Int32.pred:
001b69f0sub r15, 24
001b69f4cmp r15, [r14]
001b69f7jb 0x1b6a21
001b69f9
001b69f9loc_1b69f9:
001b69f9lea rbx, [r15+8]
001b69fdmov [rbx-8], 2303
001b6a05lea rdi, [rip+0xbeeb4]
001b6a0cmov [rbx], rdi
001b6a0fmovsxd rax, [rax+8]
001b6a13dec rax
001b6a16movsxd rax, eax
001b6a19mov [rbx+8], rax
001b6a1dmov rax, rbx
001b6a20ret
001b6a21
001b6a21loc_1b6a21:
001b6a21call caml_call_gc
001b6a26jmp 0x1b69f9
001b69f0
001b69f0Stdlib.Int32.pred:
001b69f0sub r15, 24
001b69f4cmp r15, [r14]
001b69f7jb 0x1b6a21
001b69f9
001b69f9loc_1b69f9:
001b69f9lea rbx, [r15+8]
001b69fdmov [rbx-8], 2303
001b6a05lea rdi, [rip+0xbeeb4]
001b6a0cmov [rbx], rdi
001b6a0fmovsxd rax, [rax+8]
001b6a13dec rax
001b6a16movsxd rax, eax
001b6a19mov [rbx+8], rax
001b6a1dmov rax, rbx
001b6a20ret
001b6a21
001b6a21loc_1b6a21:
001b6a21call caml_call_gc
001b6a26jmp 0x1b69f9
001b69f0
001b6a28
001b6a28 // align 0x10
001b6a28 // align 0x10
001b6a30
001b6a30Stdlib.Int32.abs:
001b6a30movsxd rbx, [rax+8]
001b6a34cmp rbx, 0
001b6a38jl 0x1b6a3c
001b6a3aret
001b6a3b
001b6a3b 90 .
001b6a3c
001b6a3cloc_1b6a3c:
001b6a3csub r15, 24
001b6a40cmp r15, [r14]
001b6a43jb 0x1b6a68
001b6a45
001b6a45loc_1b6a45:
001b6a45lea rax, [r15+8]
001b6a49mov [rax-8], 2303
001b6a51lea rdi, [rip+0xbee68]
001b6a58mov [rax], rdi
001b6a5bxor edi, edi
001b6a5dsub rdi, rbx
001b6a60movsxd rbx, edi
001b6a63mov [rax+8], rbx
001b6a67ret
001b6a68
001b6a68loc_1b6a68:
001b6a68call caml_call_gc
001b6a6djmp 0x1b6a45
001b6a30
001b6a30Stdlib.Int32.abs:
001b6a30movsxd rbx, [rax+8]
001b6a34cmp rbx, 0
001b6a38jl 0x1b6a3c
001b6a3aret
001b6a3b
001b6a3b 90 .
001b6a3c
001b6a3cloc_1b6a3c:
001b6a3csub r15, 24
001b6a40cmp r15, [r14]
001b6a43jb 0x1b6a68
001b6a45
001b6a45loc_1b6a45:
001b6a45lea rax, [r15+8]
001b6a49mov [rax-8], 2303
001b6a51lea rdi, [rip+0xbee68]
001b6a58mov [rax], rdi
001b6a5bxor edi, edi
001b6a5dsub rdi, rbx
001b6a60movsxd rbx, edi
001b6a63mov [rax+8], rbx
001b6a67ret
001b6a68
001b6a68loc_1b6a68:
001b6a68call caml_call_gc
001b6a6djmp 0x1b6a45
001b6a30
001b6a6f
001b6a6f // align 0x10
001b6a6f // align 0x10
001b6a70
001b6a70Stdlib.Int32.lognot:
001b6a70sub r15, 24
001b6a74cmp r15, [r14]
001b6a77jb 0x1b6aa2
001b6a79
001b6a79loc_1b6a79:
001b6a79lea rbx, [r15+8]
001b6a7dmov [rbx-8], 2303
001b6a85lea rdi, [rip+0xbee34]
001b6a8cmov [rbx], rdi
001b6a8fmovsxd rax, [rax+8]
001b6a93xor rax, -1
001b6a97movsxd rax, eax
001b6a9amov [rbx+8], rax
001b6a9emov rax, rbx
001b6aa1ret
001b6aa2
001b6aa2loc_1b6aa2:
001b6aa2call caml_call_gc
001b6aa7jmp 0x1b6a79
001b6a70
001b6a70Stdlib.Int32.lognot:
001b6a70sub r15, 24
001b6a74cmp r15, [r14]
001b6a77jb 0x1b6aa2
001b6a79
001b6a79loc_1b6a79:
001b6a79lea rbx, [r15+8]
001b6a7dmov [rbx-8], 2303
001b6a85lea rdi, [rip+0xbee34]
001b6a8cmov [rbx], rdi
001b6a8fmovsxd rax, [rax+8]
001b6a93xor rax, -1
001b6a97movsxd rax, eax
001b6a9amov [rbx+8], rax
001b6a9emov rax, rbx
001b6aa1ret
001b6aa2
001b6aa2loc_1b6aa2:
001b6aa2call caml_call_gc
001b6aa7jmp 0x1b6a79
001b6a70
001b6aa9
001b6aa9 // align 0x10
001b6aa9 // align 0x10
001b6ab0
001b6ab0Stdlib.Int32.fun:
001b6ab0sub r15, 16
001b6ab4cmp r15, [r14]
001b6ab7jb 0x1b6ae2
001b6ab9
001b6ab9loc_1b6ab9:
001b6ab9lea rbx, [r15+8]
001b6abdmov [rbx-8], 1024
001b6ac5mov rdi, 0x1ffffffff
001b6acfmovsxd rax, [rax+8]
001b6ad3lea rax, [rax+rax+1]
001b6ad8and rax, rdi
001b6adbmov [rbx], rax
001b6ademov rax, rbx
001b6ae1ret
001b6ae2
001b6ae2loc_1b6ae2:
001b6ae2call caml_call_gc
001b6ae7jmp 0x1b6ab9
001b6ab0
001b6ab0Stdlib.Int32.fun:
001b6ab0sub r15, 16
001b6ab4cmp r15, [r14]
001b6ab7jb 0x1b6ae2
001b6ab9
001b6ab9loc_1b6ab9:
001b6ab9lea rbx, [r15+8]
001b6abdmov [rbx-8], 1024
001b6ac5mov rdi, 0x1ffffffff
001b6acfmovsxd rax, [rax+8]
001b6ad3lea rax, [rax+rax+1]
001b6ad8and rax, rdi
001b6adbmov [rbx], rax
001b6ademov rax, rbx
001b6ae1ret
001b6ae2
001b6ae2loc_1b6ae2:
001b6ae2call caml_call_gc
001b6ae7jmp 0x1b6ab9
001b6ab0
001b6ae9
001b6ae9 // align 0x10
001b6ae9 // align 0x10
001b6af0
001b6af0Stdlib.Int32.to_string:
001b6af0lea rdi, [rip+0x18cd19]
001b6af7mov rsi, rax
001b6afalea rax, [rip+0x56d9f]
001b6b01call caml_c_call
001b6b06ret
001b6af0
001b6af0Stdlib.Int32.to_string:
001b6af0lea rdi, [rip+0x18cd19]
001b6af7mov rsi, rax
001b6afalea rax, [rip+0x56d9f]
001b6b01call caml_c_call
001b6b06ret
001b6af0
001b6b07
001b6b07 // align 0x10
001b6b07 // align 0x10
001b6b10
001b6b10Stdlib.Int32.of_string_opt:
001b6b10lea r11, [rip+61]
001b6b17push r11
001b6b19push [r14+48]
001b6b1dmov [r14+48], rsp
001b6b21mov rdi, rax
001b6b24lea rax, [rip+0x56dd5]
001b6b2bcall caml_c_call
001b6b30sub r15, 16
001b6b34cmp r15, [r14]
001b6b37jb 0x1b6b7c
001b6b39
001b6b39loc_1b6b39:
001b6b39lea rbx, [r15+8]
001b6b3dmov [rbx-8], 1024
001b6b45mov [rbx], rax
001b6b48pop [r14+48]
001b6b4cadd rsp, 8
001b6b50jmp 0x1b6b78
001b6b52
001b6b52 66 90 f.
001b6b54lea rbx, [rip+0x176abd]
001b6b5bmov rbx, [rbx+48]
001b6b5fmov rdi, [rax]
001b6b62cmp rdi, rbx
001b6b65jne 0x1b6b70
001b6b67mov eax, 1
001b6b6cret
001b6b6d
001b6b6d 0f 1f 00 ...
001b6b70
001b6b70loc_1b6b70:
001b6b70call caml_reraise_exn
001b6b75nop [rax]
001b6b78
001b6b78loc_1b6b78:
001b6b78mov rax, rbx
001b6b7bret
001b6b7c
001b6b7cloc_1b6b7c:
001b6b7ccall caml_call_gc
001b6b81jmp 0x1b6b39
001b6b10
001b6b10Stdlib.Int32.of_string_opt:
001b6b10lea r11, [rip+61]
001b6b17push r11
001b6b19push [r14+48]
001b6b1dmov [r14+48], rsp
001b6b21mov rdi, rax
001b6b24lea rax, [rip+0x56dd5]
001b6b2bcall caml_c_call
001b6b30sub r15, 16
001b6b34cmp r15, [r14]
001b6b37jb 0x1b6b7c
001b6b39
001b6b39loc_1b6b39:
001b6b39lea rbx, [r15+8]
001b6b3dmov [rbx-8], 1024
001b6b45mov [rbx], rax
001b6b48pop [r14+48]
001b6b4cadd rsp, 8
001b6b50jmp 0x1b6b78
001b6b52
001b6b52 66 90 f.
001b6b54lea rbx, [rip+0x176abd]
001b6b5bmov rbx, [rbx+48]
001b6b5fmov rdi, [rax]
001b6b62cmp rdi, rbx
001b6b65jne 0x1b6b70
001b6b67mov eax, 1
001b6b6cret
001b6b6d
001b6b6d 0f 1f 00 ...
001b6b70
001b6b70loc_1b6b70:
001b6b70call caml_reraise_exn
001b6b75nop [rax]
001b6b78
001b6b78loc_1b6b78:
001b6b78mov rax, rbx
001b6b7bret
001b6b7c
001b6b7cloc_1b6b7c:
001b6b7ccall caml_call_gc
001b6b81jmp 0x1b6b39
001b6b10
001b6b83
001b6b83 // align 0x10
001b6b83 // align 0x10
001b6b90
001b6b90Stdlib.Int32.compare:
001b6b90movsxd rbx, [rbx+8]
001b6b94movsxd rdi, [rax+8]
001b6b98cmp rdi, rbx
001b6b9bsetl al
001b6b9emovzx rsi, al
001b6ba2cmp rdi, rbx
001b6ba5setg al
001b6ba8movzx rax, al
001b6bacsub rax, rsi
001b6baflea rax, [rax+rax+1]
001b6bb4ret
001b6b90
001b6b90Stdlib.Int32.compare:
001b6b90movsxd rbx, [rbx+8]
001b6b94movsxd rdi, [rax+8]
001b6b98cmp rdi, rbx
001b6b9bsetl al
001b6b9emovzx rsi, al
001b6ba2cmp rdi, rbx
001b6ba5setg al
001b6ba8movzx rax, al
001b6bacsub rax, rsi
001b6baflea rax, [rax+rax+1]
001b6bb4ret
001b6b90
001b6bb5
001b6bb5 // align 0x10
001b6bb5 // align 0x10
001b6bc0
001b6bc0Stdlib.Int32.equal:
001b6bc0movsxd rbx, [rbx+8]
001b6bc4movsxd rax, [rax+8]
001b6bc8cmp rax, rbx
001b6bcbsete al
001b6bcemovzx rax, al
001b6bd2lea rax, [rax+rax+1]
001b6bd7ret
001b6bc0
001b6bc0Stdlib.Int32.equal:
001b6bc0movsxd rbx, [rbx+8]
001b6bc4movsxd rax, [rax+8]
001b6bc8cmp rax, rbx
001b6bcbsete al
001b6bcemovzx rax, al
001b6bd2lea rax, [rax+rax+1]
001b6bd7ret
001b6bc0
001b6bd8
001b6bd8 // align 0x10
001b6bd8 // align 0x10
001b6be0
001b6be0Stdlib.Int32.unsigned_compare:
001b6be0mov edi, 0xffffffff80000000
001b6be5movsxd rbx, [rbx+8]
001b6be9add rbx, rdi
001b6becmov edi, 0xffffffff80000000
001b6bf1movsxd rax, [rax+8]
001b6bf5add rax, rdi
001b6bf8movsxd rbx, ebx
001b6bfbmovsxd rdi, eax
001b6bfecmp rdi, rbx
001b6c01setl al
001b6c04movzx rsi, al
001b6c08cmp rdi, rbx
001b6c0bsetg al
001b6c0emovzx rax, al
001b6c12sub rax, rsi
001b6c15lea rax, [rax+rax+1]
001b6c1aret
001b6be0
001b6be0Stdlib.Int32.unsigned_compare:
001b6be0mov edi, 0xffffffff80000000
001b6be5movsxd rbx, [rbx+8]
001b6be9add rbx, rdi
001b6becmov edi, 0xffffffff80000000
001b6bf1movsxd rax, [rax+8]
001b6bf5add rax, rdi
001b6bf8movsxd rbx, ebx
001b6bfbmovsxd rdi, eax
001b6bfecmp rdi, rbx
001b6c01setl al
001b6c04movzx rsi, al
001b6c08cmp rdi, rbx
001b6c0bsetg al
001b6c0emovzx rax, al
001b6c12sub rax, rsi
001b6c15lea rax, [rax+rax+1]
001b6c1aret
001b6be0
001b6c1b
001b6c1b // align 0x10
001b6c1b // align 0x10
001b6c20
001b6c20Stdlib.Int32.unsigned_lt:
001b6c20mov edi, 0xffffffff80000000
001b6c25movsxd rbx, [rbx+8]
001b6c29add rbx, rdi
001b6c2cmovsxd rbx, ebx
001b6c2fmov edi, 0xffffffff80000000
001b6c34movsxd rax, [rax+8]
001b6c38add rax, rdi
001b6c3bmovsxd rax, eax
001b6c3ecmp rax, rbx
001b6c41setl al
001b6c44movzx rax, al
001b6c48lea rax, [rax+rax+1]
001b6c4dret
001b6c20
001b6c20Stdlib.Int32.unsigned_lt:
001b6c20mov edi, 0xffffffff80000000
001b6c25movsxd rbx, [rbx+8]
001b6c29add rbx, rdi
001b6c2cmovsxd rbx, ebx
001b6c2fmov edi, 0xffffffff80000000
001b6c34movsxd rax, [rax+8]
001b6c38add rax, rdi
001b6c3bmovsxd rax, eax
001b6c3ecmp rax, rbx
001b6c41setl al
001b6c44movzx rax, al
001b6c48lea rax, [rax+rax+1]
001b6c4dret
001b6c20
001b6c4e
001b6c4e // align 0x10
001b6c4e // align 0x10
001b6c50
001b6c50Stdlib.Int32.min:
001b6c50movsxd rdi, [rbx+8]
001b6c54movsxd rsi, [rax+8]
001b6c58cmp rsi, rdi
001b6c5bjg 0x1b6c60
001b6c5dret
001b6c5e
001b6c5e 66 90 f.
001b6c60
001b6c60loc_1b6c60:
001b6c60mov rax, rbx
001b6c63ret
001b6c50
001b6c50Stdlib.Int32.min:
001b6c50movsxd rdi, [rbx+8]
001b6c54movsxd rsi, [rax+8]
001b6c58cmp rsi, rdi
001b6c5bjg 0x1b6c60
001b6c5dret
001b6c5e
001b6c5e 66 90 f.
001b6c60
001b6c60loc_1b6c60:
001b6c60mov rax, rbx
001b6c63ret
001b6c50
001b6c64
001b6c64 // align 0x10
001b6c64 // align 0x10
001b6c70
001b6c70Stdlib.Int32.max:
001b6c70movsxd rdi, [rbx+8]
001b6c74movsxd rsi, [rax+8]
001b6c78cmp rsi, rdi
001b6c7bjl 0x1b6c80
001b6c7dret
001b6c7e
001b6c7e 66 90 f.
001b6c80
001b6c80loc_1b6c80:
001b6c80mov rax, rbx
001b6c83ret
001b6c70
001b6c70Stdlib.Int32.max:
001b6c70movsxd rdi, [rbx+8]
001b6c74movsxd rsi, [rax+8]
001b6c78cmp rsi, rdi
001b6c7bjl 0x1b6c80
001b6c7dret
001b6c7e
001b6c7e 66 90 f.
001b6c80
001b6c80loc_1b6c80:
001b6c80mov rax, rbx
001b6c83ret
001b6c70
001b6c84
001b6c84 // align 0x10
001b6c84 // align 0x10
001b6c90
001b6c90Stdlib.Int32.unsigned_div:
001b6c90mov rsi, rax
001b6c93movsxd rcx, [rbx+8]
001b6c97cmp rcx, 0
001b6c9bjge 0x1b6ccc
001b6c9dmov eax, 0xffffffff80000000
001b6ca2add rcx, rax
001b6ca5movsxd rax, ecx
001b6ca8mov ebx, 0xffffffff80000000
001b6cadmovsxd rdi, [rsi+8]
001b6cb1add rdi, rbx
001b6cb4movsxd rbx, edi
001b6cb7cmp rbx, rax
001b6cbajge 0x1b6cc4
001b6cbclea rax, [rip+0x18cbbd]
001b6cc3ret
001b6cc4
001b6cc4loc_1b6cc4:
001b6cc4lea rax, [rip+0x18cb9d]
001b6ccbret
001b6ccc
001b6cccloc_1b6ccc:
001b6cccmovsxd rax, [rsi+8]
001b6cd0mov eax, eax
001b6cd2shr rax, 1
001b6cd5movsxd rax, eax
001b6cd8test rcx, rcx
001b6cdbje 0x1b6ce4
001b6cddcqo
001b6cdfidiv rcx
001b6ce2jmp 0x1b6cf0
001b6ce4
001b6ce4loc_1b6ce4:
001b6ce4lea rax, [rip+0xbf425]
001b6cebcall caml_raise_exn
001b6cf0
001b6cf0loc_1b6cf0:
001b6cf0mov rdi, rax
001b6cf3shl rdi, 1
001b6cf6movsxd rax, [rbx+8]
001b6cfamov rbx, rdi
001b6cfdimul rbx, rax
001b6d01movsxd rsi, [rsi+8]
001b6d05sub rsi, rbx
001b6d08mov ebx, 0xffffffff80000000
001b6d0dadd rax, rbx
001b6d10movsxd rax, eax
001b6d13mov ebx, 0xffffffff80000000
001b6d18add rsi, rbx
001b6d1bmovsxd rbx, esi
001b6d1ecmp rbx, rax
001b6d21jge 0x1b6d4c
001b6d23sub r15, 24
001b6d27cmp r15, [r14]
001b6d2ajb 0x1b6d7d
001b6d2c
001b6d2cloc_1b6d2c:
001b6d2clea rax, [r15+8]
001b6d30mov [rax-8], 2303
001b6d38lea rbx, [rip+0xbeb81]
001b6d3fmov [rax], rbx
001b6d42movsxd rbx, edi
001b6d45mov [rax+8], rbx
001b6d49ret
001b6d4a
001b6d4a 66 90 f.
001b6d4c
001b6d4cloc_1b6d4c:
001b6d4csub r15, 24
001b6d50cmp r15, [r14]
001b6d53jb 0x1b6d76
001b6d55
001b6d55loc_1b6d55:
001b6d55lea rax, [r15+8]
001b6d59mov [rax-8], 2303
001b6d61lea rbx, [rip+0xbeb58]
001b6d68mov [rax], rbx
001b6d6binc rdi
001b6d6emovsxd rbx, edi
001b6d71mov [rax+8], rbx
001b6d75ret
001b6d76
001b6d76loc_1b6d76:
001b6d76call caml_call_gc
001b6d7bjmp 0x1b6d55
001b6d7d
001b6d7dloc_1b6d7d:
001b6d7dcall caml_call_gc
001b6d82jmp 0x1b6d2c
001b6c90
001b6c90Stdlib.Int32.unsigned_div:
001b6c90mov rsi, rax
001b6c93movsxd rcx, [rbx+8]
001b6c97cmp rcx, 0
001b6c9bjge 0x1b6ccc
001b6c9dmov eax, 0xffffffff80000000
001b6ca2add rcx, rax
001b6ca5movsxd rax, ecx
001b6ca8mov ebx, 0xffffffff80000000
001b6cadmovsxd rdi, [rsi+8]
001b6cb1add rdi, rbx
001b6cb4movsxd rbx, edi
001b6cb7cmp rbx, rax
001b6cbajge 0x1b6cc4
001b6cbclea rax, [rip+0x18cbbd]
001b6cc3ret
001b6cc4
001b6cc4loc_1b6cc4:
001b6cc4lea rax, [rip+0x18cb9d]
001b6ccbret
001b6ccc
001b6cccloc_1b6ccc:
001b6cccmovsxd rax, [rsi+8]
001b6cd0mov eax, eax
001b6cd2shr rax, 1
001b6cd5movsxd rax, eax
001b6cd8test rcx, rcx
001b6cdbje 0x1b6ce4
001b6cddcqo
001b6cdfidiv rcx
001b6ce2jmp 0x1b6cf0
001b6ce4
001b6ce4loc_1b6ce4:
001b6ce4lea rax, [rip+0xbf425]
001b6cebcall caml_raise_exn
001b6cf0
001b6cf0loc_1b6cf0:
001b6cf0mov rdi, rax
001b6cf3shl rdi, 1
001b6cf6movsxd rax, [rbx+8]
001b6cfamov rbx, rdi
001b6cfdimul rbx, rax
001b6d01movsxd rsi, [rsi+8]
001b6d05sub rsi, rbx
001b6d08mov ebx, 0xffffffff80000000
001b6d0dadd rax, rbx
001b6d10movsxd rax, eax
001b6d13mov ebx, 0xffffffff80000000
001b6d18add rsi, rbx
001b6d1bmovsxd rbx, esi
001b6d1ecmp rbx, rax
001b6d21jge 0x1b6d4c
001b6d23sub r15, 24
001b6d27cmp r15, [r14]
001b6d2ajb 0x1b6d7d
001b6d2c
001b6d2cloc_1b6d2c:
001b6d2clea rax, [r15+8]
001b6d30mov [rax-8], 2303
001b6d38lea rbx, [rip+0xbeb81]
001b6d3fmov [rax], rbx
001b6d42movsxd rbx, edi
001b6d45mov [rax+8], rbx
001b6d49ret
001b6d4a
001b6d4a 66 90 f.
001b6d4c
001b6d4cloc_1b6d4c:
001b6d4csub r15, 24
001b6d50cmp r15, [r14]
001b6d53jb 0x1b6d76
001b6d55
001b6d55loc_1b6d55:
001b6d55lea rax, [r15+8]
001b6d59mov [rax-8], 2303
001b6d61lea rbx, [rip+0xbeb58]
001b6d68mov [rax], rbx
001b6d6binc rdi
001b6d6emovsxd rbx, edi
001b6d71mov [rax+8], rbx
001b6d75ret
001b6d76
001b6d76loc_1b6d76:
001b6d76call caml_call_gc
001b6d7bjmp 0x1b6d55
001b6d7d
001b6d7dloc_1b6d7d:
001b6d7dcall caml_call_gc
001b6d82jmp 0x1b6d2c
001b6c90
001b6d84
001b6d84 // align 0x10
001b6d84 // align 0x10
001b6d90
001b6d90Stdlib.Int32.unsigned_rem:
001b6d90lea r10, [rsp-336]
001b6d98cmp r10, [r14+40]
001b6d9cjb 0x1b6e06
001b6d9e
001b6d9eloc_1b6d9e:
001b6d9esub rsp, 16
001b6da2mov [rsp+8], rax
001b6da7mov [rsp], rbx
001b6dabcall Stdlib.Int32.unsigned_div
001b6db0add rax, 8
001b6db4movsxd rax, [rax]
001b6db7mov rbx, [rsp]
001b6dbbmovsxd rbx, [rbx+8]
001b6dbfimul rax, rbx
001b6dc3mov rbx, [rsp+8]
001b6dc8movsxd rbx, [rbx+8]
001b6dccsub rbx, rax
001b6dcfshl rbx, 32
001b6dd3sar rbx, 32
001b6dd7sub r15, 24
001b6ddbcmp r15, [r14]
001b6ddejb 0x1b6dff
001b6de0
001b6de0loc_1b6de0:
001b6de0lea rax, [r15+8]
001b6de4mov [rax-8], 2303
001b6declea rdi, [rip+0xbeacd]
001b6df3mov [rax], rdi
001b6df6mov [rax+8], rbx
001b6dfaadd rsp, 16
001b6dferet
001b6dff
001b6dffloc_1b6dff:
001b6dffcall caml_call_gc
001b6e04jmp 0x1b6de0
001b6e06
001b6e06loc_1b6e06:
001b6e06push 35
001b6e08call caml_call_realloc_stack
001b6e0dpop r10
001b6e0fjmp 0x1b6d9e
001b6d90
001b6d90Stdlib.Int32.unsigned_rem:
001b6d90lea r10, [rsp-336]
001b6d98cmp r10, [r14+40]
001b6d9cjb 0x1b6e06
001b6d9e
001b6d9eloc_1b6d9e:
001b6d9esub rsp, 16
001b6da2mov [rsp+8], rax
001b6da7mov [rsp], rbx
001b6dabcall Stdlib.Int32.unsigned_div
001b6db0add rax, 8
001b6db4movsxd rax, [rax]
001b6db7mov rbx, [rsp]
001b6dbbmovsxd rbx, [rbx+8]
001b6dbfimul rax, rbx
001b6dc3mov rbx, [rsp+8]
001b6dc8movsxd rbx, [rbx+8]
001b6dccsub rbx, rax
001b6dcfshl rbx, 32
001b6dd3sar rbx, 32
001b6dd7sub r15, 24
001b6ddbcmp r15, [r14]
001b6ddejb 0x1b6dff
001b6de0
001b6de0loc_1b6de0:
001b6de0lea rax, [r15+8]
001b6de4mov [rax-8], 2303
001b6declea rdi, [rip+0xbeacd]
001b6df3mov [rax], rdi
001b6df6mov [rax+8], rbx
001b6dfaadd rsp, 16
001b6dferet
001b6dff
001b6dffloc_1b6dff:
001b6dffcall caml_call_gc
001b6e04jmp 0x1b6de0
001b6e06
001b6e06loc_1b6e06:
001b6e06push 35
001b6e08call caml_call_realloc_stack
001b6e0dpop r10
001b6e0fjmp 0x1b6d9e
001b6d90
001b6e11
001b6e11 // align 0x10
001b6e11 // align 0x10
001b6e20
001b6e20Stdlib.Int32.seeded_hash:
001b6e20mov esi, 201
001b6e25mov edi, 21
001b6e2amov rdx, rax
001b6e2dmov rcx, rbx
001b6e30mov rbx, rsp
001b6e33mov rsp, [r14+64]
001b6e37call caml_hash
001b6e3cmov rsp, rbx
001b6e3fret
001b6e20
001b6e20Stdlib.Int32.seeded_hash:
001b6e20mov esi, 201
001b6e25mov edi, 21
001b6e2amov rdx, rax
001b6e2dmov rcx, rbx
001b6e30mov rbx, rsp
001b6e33mov rsp, [r14+64]
001b6e37call caml_hash
001b6e3cmov rsp, rbx
001b6e3fret
001b6e20
001b6e40
001b6e40Stdlib.Int32.hash:
001b6e40mov edx, 1
001b6e45mov esi, 201
001b6e4amov edi, 21
001b6e4fmov rcx, rax
001b6e52mov rbx, rsp
001b6e55mov rsp, [r14+64]
001b6e59call caml_hash
001b6e5emov rsp, rbx
001b6e61ret
001b6e40
001b6e40Stdlib.Int32.hash:
001b6e40mov edx, 1
001b6e45mov esi, 201
001b6e4amov edi, 21
001b6e4fmov rcx, rax
001b6e52mov rbx, rsp
001b6e55mov rsp, [r14+64]
001b6e59call caml_hash
001b6e5emov rsp, rbx
001b6e61ret
001b6e40
001b6e62
001b6e62 // align 0x10
001b6e62 // align 0x10
001b6e70
001b6e70Stdlib.Int32.entry:
001b6e70lea rsi, [rip+0x18ca09]
001b6e77lea rdi, [rip+0x18c8ca]
001b6e7emov rbx, rsp
001b6e81mov rsp, [r14+64]
001b6e85call caml_initialize
001b6e8amov rsp, rbx
001b6e8dlea rsi, [rip+0x18c9d4]
001b6e94lea rdi, [rip+0x18c8ad]
001b6e9badd rdi, 8
001b6e9fmov rbx, rsp
001b6ea2mov rsp, [r14+64]
001b6ea6call caml_initialize
001b6eabmov rsp, rbx
001b6eaelea rsi, [rip+0x18c99b]
001b6eb5lea rdi, [rip+0x18c88c]
001b6ebcadd rdi, 16
001b6ec0mov rbx, rsp
001b6ec3mov rsp, [r14+64]
001b6ec7call caml_initialize
001b6eccmov rsp, rbx
001b6ecflea rsi, [rip+0x18c6ea]
001b6ed6lea rdi, [rip+0x18c86b]
001b6eddadd rdi, 40
001b6ee1mov rbx, rsp
001b6ee4mov rsp, [r14+64]
001b6ee8call caml_initialize
001b6eedmov rsp, rbx
001b6ef0lea rsi, [rip+0x18c6e1]
001b6ef7lea rdi, [rip+0x18c84a]
001b6efeadd rdi, 48
001b6f02mov rbx, rsp
001b6f05mov rsp, [r14+64]
001b6f09call caml_initialize
001b6f0emov rsp, rbx
001b6f11lea rsi, [rip+0x18c6d8]
001b6f18lea rdi, [rip+0x18c829]
001b6f1fadd rdi, 56
001b6f23mov rbx, rsp
001b6f26mov rsp, [r14+64]
001b6f2acall caml_initialize
001b6f2fmov rsp, rbx
001b6f32lea rsi, [rip+0x18c8ff]
001b6f39lea rdi, [rip+0x18c808]
001b6f40add rdi, 72
001b6f44mov rbx, rsp
001b6f47mov rsp, [r14+64]
001b6f4bcall caml_initialize
001b6f50mov rsp, rbx
001b6f53lea rsi, [rip+0x18c8c6]
001b6f5alea rdi, [rip+0x18c7e7]
001b6f61add rdi, 64
001b6f65mov rbx, rsp
001b6f68mov rsp, [r14+64]
001b6f6ccall caml_initialize
001b6f71mov rsp, rbx
001b6f74lea rsi, [rip+0x18c68d]
001b6f7blea rdi, [rip+0x18c7c6]
001b6f82add rdi, 80
001b6f86mov rbx, rsp
001b6f89mov rsp, [r14+64]
001b6f8dcall caml_initialize
001b6f92mov rsp, rbx
001b6f95lea rsi, [rip+0x18c684]
001b6f9clea rdi, [rip+0x18c7a5]
001b6fa3add rdi, 88
001b6fa7mov rbx, rsp
001b6faamov rsp, [r14+64]
001b6faecall caml_initialize
001b6fb3mov rsp, rbx
001b6fb6lea rsi, [rip+0x18c67b]
001b6fbdlea rdi, [rip+0x18c784]
001b6fc4add rdi, 104
001b6fc8mov rbx, rsp
001b6fcbmov rsp, [r14+64]
001b6fcfcall caml_initialize
001b6fd4mov rsp, rbx
001b6fd7lea rsi, [rip+0x18c672]
001b6fdelea rdi, [rip+0x18c763]
001b6fe5add rdi, 96
001b6fe9mov rbx, rsp
001b6fecmov rsp, [r14+64]
001b6ff0call caml_initialize
001b6ff5mov rsp, rbx
001b6ff8lea rsi, [rip+0x18c669]
001b6ffflea rdi, [rip+0x18c742]
001b7006add rdi, 112
001b700amov rbx, rsp
001b700dmov rsp, [r14+64]
001b7011call caml_initialize
001b7016mov rsp, rbx
001b7019lea rsi, [rip+0x18c668]
001b7020lea rdi, [rip+0x18c721]
001b7027add rdi, 128
001b702emov rbx, rsp
001b7031mov rsp, [r14+64]
001b7035call caml_initialize
001b703amov rsp, rbx
001b703dlea rsi, [rip+0x18c664]
001b7044lea rdi, [rip+0x18c6fd]
001b704badd rdi, 120
001b704fmov rbx, rsp
001b7052mov rsp, [r14+64]
001b7056call caml_initialize
001b705bmov rsp, rbx
001b705elea rsi, [rip+0x18c663]
001b7065lea rdi, [rip+0x18c6dc]
001b706cadd rdi, 168
001b7073mov rbx, rsp
001b7076mov rsp, [r14+64]
001b707acall caml_initialize
001b707fmov rsp, rbx
001b7082lea rsi, [rip+0x18c65f]
001b7089lea rdi, [rip+0x18c6b8]
001b7090add rdi, 136
001b7097mov rbx, rsp
001b709amov rsp, [r14+64]
001b709ecall caml_initialize
001b70a3mov rsp, rbx
001b70a6lea rsi, [rip+0x18c65b]
001b70adlea rdi, [rip+0x18c694]
001b70b4add rdi, 144
001b70bbmov rbx, rsp
001b70bemov rsp, [r14+64]
001b70c2call caml_initialize
001b70c7mov rsp, rbx
001b70calea rsi, [rip+0x18c657]
001b70d1lea rdi, [rip+0x18c670]
001b70d8add rdi, 24
001b70dcmov rbx, rsp
001b70dfmov rsp, [r14+64]
001b70e3call caml_initialize
001b70e8mov rsp, rbx
001b70eblea rsi, [rip+0x18c476]
001b70f2lea rdi, [rip+0x18c64f]
001b70f9add rdi, 32
001b70fdmov rbx, rsp
001b7100mov rsp, [r14+64]
001b7104call caml_initialize
001b7109mov rsp, rbx
001b710clea rsi, [rip+0x18c475]
001b7113lea rdi, [rip+0x18c62e]
001b711aadd rdi, 152
001b7121mov rbx, rsp
001b7124mov rsp, [r14+64]
001b7128call caml_initialize
001b712dmov rsp, rbx
001b7130lea rsi, [rip+0x18c471]
001b7137lea rdi, [rip+0x18c60a]
001b713eadd rdi, 160
001b7145mov rbx, rsp
001b7148mov rsp, [r14+64]
001b714ccall caml_initialize
001b7151mov rsp, rbx
001b7154mov eax, 1
001b7159ret
001b6e70
001b6e70Stdlib.Int32.entry:
001b6e70lea rsi, [rip+0x18ca09]
001b6e77lea rdi, [rip+0x18c8ca]
001b6e7emov rbx, rsp
001b6e81mov rsp, [r14+64]
001b6e85call caml_initialize
001b6e8amov rsp, rbx
001b6e8dlea rsi, [rip+0x18c9d4]
001b6e94lea rdi, [rip+0x18c8ad]
001b6e9badd rdi, 8
001b6e9fmov rbx, rsp
001b6ea2mov rsp, [r14+64]
001b6ea6call caml_initialize
001b6eabmov rsp, rbx
001b6eaelea rsi, [rip+0x18c99b]
001b6eb5lea rdi, [rip+0x18c88c]
001b6ebcadd rdi, 16
001b6ec0mov rbx, rsp
001b6ec3mov rsp, [r14+64]
001b6ec7call caml_initialize
001b6eccmov rsp, rbx
001b6ecflea rsi, [rip+0x18c6ea]
001b6ed6lea rdi, [rip+0x18c86b]
001b6eddadd rdi, 40
001b6ee1mov rbx, rsp
001b6ee4mov rsp, [r14+64]
001b6ee8call caml_initialize
001b6eedmov rsp, rbx
001b6ef0lea rsi, [rip+0x18c6e1]
001b6ef7lea rdi, [rip+0x18c84a]
001b6efeadd rdi, 48
001b6f02mov rbx, rsp
001b6f05mov rsp, [r14+64]
001b6f09call caml_initialize
001b6f0emov rsp, rbx
001b6f11lea rsi, [rip+0x18c6d8]
001b6f18lea rdi, [rip+0x18c829]
001b6f1fadd rdi, 56
001b6f23mov rbx, rsp
001b6f26mov rsp, [r14+64]
001b6f2acall caml_initialize
001b6f2fmov rsp, rbx
001b6f32lea rsi, [rip+0x18c8ff]
001b6f39lea rdi, [rip+0x18c808]
001b6f40add rdi, 72
001b6f44mov rbx, rsp
001b6f47mov rsp, [r14+64]
001b6f4bcall caml_initialize
001b6f50mov rsp, rbx
001b6f53lea rsi, [rip+0x18c8c6]
001b6f5alea rdi, [rip+0x18c7e7]
001b6f61add rdi, 64
001b6f65mov rbx, rsp
001b6f68mov rsp, [r14+64]
001b6f6ccall caml_initialize
001b6f71mov rsp, rbx
001b6f74lea rsi, [rip+0x18c68d]
001b6f7blea rdi, [rip+0x18c7c6]
001b6f82add rdi, 80
001b6f86mov rbx, rsp
001b6f89mov rsp, [r14+64]
001b6f8dcall caml_initialize
001b6f92mov rsp, rbx
001b6f95lea rsi, [rip+0x18c684]
001b6f9clea rdi, [rip+0x18c7a5]
001b6fa3add rdi, 88
001b6fa7mov rbx, rsp
001b6faamov rsp, [r14+64]
001b6faecall caml_initialize
001b6fb3mov rsp, rbx
001b6fb6lea rsi, [rip+0x18c67b]
001b6fbdlea rdi, [rip+0x18c784]
001b6fc4add rdi, 104
001b6fc8mov rbx, rsp
001b6fcbmov rsp, [r14+64]
001b6fcfcall caml_initialize
001b6fd4mov rsp, rbx
001b6fd7lea rsi, [rip+0x18c672]
001b6fdelea rdi, [rip+0x18c763]
001b6fe5add rdi, 96
001b6fe9mov rbx, rsp
001b6fecmov rsp, [r14+64]
001b6ff0call caml_initialize
001b6ff5mov rsp, rbx
001b6ff8lea rsi, [rip+0x18c669]
001b6ffflea rdi, [rip+0x18c742]
001b7006add rdi, 112
001b700amov rbx, rsp
001b700dmov rsp, [r14+64]
001b7011call caml_initialize
001b7016mov rsp, rbx
001b7019lea rsi, [rip+0x18c668]
001b7020lea rdi, [rip+0x18c721]
001b7027add rdi, 128
001b702emov rbx, rsp
001b7031mov rsp, [r14+64]
001b7035call caml_initialize
001b703amov rsp, rbx
001b703dlea rsi, [rip+0x18c664]
001b7044lea rdi, [rip+0x18c6fd]
001b704badd rdi, 120
001b704fmov rbx, rsp
001b7052mov rsp, [r14+64]
001b7056call caml_initialize
001b705bmov rsp, rbx
001b705elea rsi, [rip+0x18c663]
001b7065lea rdi, [rip+0x18c6dc]
001b706cadd rdi, 168
001b7073mov rbx, rsp
001b7076mov rsp, [r14+64]
001b707acall caml_initialize
001b707fmov rsp, rbx
001b7082lea rsi, [rip+0x18c65f]
001b7089lea rdi, [rip+0x18c6b8]
001b7090add rdi, 136
001b7097mov rbx, rsp
001b709amov rsp, [r14+64]
001b709ecall caml_initialize
001b70a3mov rsp, rbx
001b70a6lea rsi, [rip+0x18c65b]
001b70adlea rdi, [rip+0x18c694]
001b70b4add rdi, 144
001b70bbmov rbx, rsp
001b70bemov rsp, [r14+64]
001b70c2call caml_initialize
001b70c7mov rsp, rbx
001b70calea rsi, [rip+0x18c657]
001b70d1lea rdi, [rip+0x18c670]
001b70d8add rdi, 24
001b70dcmov rbx, rsp
001b70dfmov rsp, [r14+64]
001b70e3call caml_initialize
001b70e8mov rsp, rbx
001b70eblea rsi, [rip+0x18c476]
001b70f2lea rdi, [rip+0x18c64f]
001b70f9add rdi, 32
001b70fdmov rbx, rsp
001b7100mov rsp, [r14+64]
001b7104call caml_initialize
001b7109mov rsp, rbx
001b710clea rsi, [rip+0x18c475]
001b7113lea rdi, [rip+0x18c62e]
001b711aadd rdi, 152
001b7121mov rbx, rsp
001b7124mov rsp, [r14+64]
001b7128call caml_initialize
001b712dmov rsp, rbx
001b7130lea rsi, [rip+0x18c471]
001b7137lea rdi, [rip+0x18c60a]
001b713eadd rdi, 160
001b7145mov rbx, rsp
001b7148mov rsp, [r14+64]
001b714ccall caml_initialize
001b7151mov rsp, rbx
001b7154mov eax, 1
001b7159ret
001b6e70
001b715a
001b715a // align 0x10
001b715a // align 0x10
001b7160
001b7160Stdlib.Int64.succ:
001b7160sub r15, 24
001b7164cmp r15, [r14]
001b7167jb 0x1b718e
001b7169
001b7169loc_1b7169:
001b7169lea rbx, [r15+8]
001b716dmov [rbx-8], 2303
001b7175lea rdi, [rip+0xbe704]
001b717cmov [rbx], rdi
001b717fmov rax, [rax+8]
001b7183inc rax
001b7186mov [rbx+8], rax
001b718amov rax, rbx
001b718dret
001b718e
001b718eloc_1b718e:
001b718ecall caml_call_gc
001b7193jmp 0x1b7169
001b7160
001b7160Stdlib.Int64.succ:
001b7160sub r15, 24
001b7164cmp r15, [r14]
001b7167jb 0x1b718e
001b7169
001b7169loc_1b7169:
001b7169lea rbx, [r15+8]
001b716dmov [rbx-8], 2303
001b7175lea rdi, [rip+0xbe704]
001b717cmov [rbx], rdi
001b717fmov rax, [rax+8]
001b7183inc rax
001b7186mov [rbx+8], rax
001b718amov rax, rbx
001b718dret
001b718e
001b718eloc_1b718e:
001b718ecall caml_call_gc
001b7193jmp 0x1b7169
001b7160
001b7195
001b7195 // align 0x10
001b7195 // align 0x10
001b71a0
001b71a0Stdlib.Int64.pred:
001b71a0sub r15, 24
001b71a4cmp r15, [r14]
001b71a7jb 0x1b71ce
001b71a9
001b71a9loc_1b71a9:
001b71a9lea rbx, [r15+8]
001b71admov [rbx-8], 2303
001b71b5lea rdi, [rip+0xbe6c4]
001b71bcmov [rbx], rdi
001b71bfmov rax, [rax+8]
001b71c3dec rax
001b71c6mov [rbx+8], rax
001b71camov rax, rbx
001b71cdret
001b71ce
001b71celoc_1b71ce:
001b71cecall caml_call_gc
001b71d3jmp 0x1b71a9
001b71a0
001b71a0Stdlib.Int64.pred:
001b71a0sub r15, 24
001b71a4cmp r15, [r14]
001b71a7jb 0x1b71ce
001b71a9
001b71a9loc_1b71a9:
001b71a9lea rbx, [r15+8]
001b71admov [rbx-8], 2303
001b71b5lea rdi, [rip+0xbe6c4]
001b71bcmov [rbx], rdi
001b71bfmov rax, [rax+8]
001b71c3dec rax
001b71c6mov [rbx+8], rax
001b71camov rax, rbx
001b71cdret
001b71ce
001b71celoc_1b71ce:
001b71cecall caml_call_gc
001b71d3jmp 0x1b71a9
001b71a0
001b71d5
001b71d5 // align 0x10
001b71d5 // align 0x10
001b71e0
001b71e0Stdlib.Int64.abs:
001b71e0mov rbx, [rax+8]
001b71e4cmp rbx, 0
001b71e8jl 0x1b71ec
001b71earet
001b71eb
001b71eb 90 .
001b71ec
001b71ecloc_1b71ec:
001b71ecsub r15, 24
001b71f0cmp r15, [r14]
001b71f3jb 0x1b7215
001b71f5
001b71f5loc_1b71f5:
001b71f5lea rax, [r15+8]
001b71f9mov [rax-8], 2303
001b7201lea rdi, [rip+0xbe678]
001b7208mov [rax], rdi
001b720bxor edi, edi
001b720dsub rdi, rbx
001b7210mov [rax+8], rdi
001b7214ret
001b7215
001b7215loc_1b7215:
001b7215call caml_call_gc
001b721ajmp 0x1b71f5
001b71e0
001b71e0Stdlib.Int64.abs:
001b71e0mov rbx, [rax+8]
001b71e4cmp rbx, 0
001b71e8jl 0x1b71ec
001b71earet
001b71eb
001b71eb 90 .
001b71ec
001b71ecloc_1b71ec:
001b71ecsub r15, 24
001b71f0cmp r15, [r14]
001b71f3jb 0x1b7215
001b71f5
001b71f5loc_1b71f5:
001b71f5lea rax, [r15+8]
001b71f9mov [rax-8], 2303
001b7201lea rdi, [rip+0xbe678]
001b7208mov [rax], rdi
001b720bxor edi, edi
001b720dsub rdi, rbx
001b7210mov [rax+8], rdi
001b7214ret
001b7215
001b7215loc_1b7215:
001b7215call caml_call_gc
001b721ajmp 0x1b71f5
001b71e0
001b721c
001b721c // align 0x10
001b721c // align 0x10
001b7220
001b7220Stdlib.Int64.lognot:
001b7220sub r15, 24
001b7224cmp r15, [r14]
001b7227jb 0x1b724f
001b7229
001b7229loc_1b7229:
001b7229lea rbx, [r15+8]
001b722dmov [rbx-8], 2303
001b7235lea rdi, [rip+0xbe644]
001b723cmov [rbx], rdi
001b723fmov rax, [rax+8]
001b7243xor rax, -1
001b7247mov [rbx+8], rax
001b724bmov rax, rbx
001b724eret
001b724f
001b724floc_1b724f:
001b724fcall caml_call_gc
001b7254jmp 0x1b7229
001b7220
001b7220Stdlib.Int64.lognot:
001b7220sub r15, 24
001b7224cmp r15, [r14]
001b7227jb 0x1b724f
001b7229
001b7229loc_1b7229:
001b7229lea rbx, [r15+8]
001b722dmov [rbx-8], 2303
001b7235lea rdi, [rip+0xbe644]
001b723cmov [rbx], rdi
001b723fmov rax, [rax+8]
001b7243xor rax, -1
001b7247mov [rbx+8], rax
001b724bmov rax, rbx
001b724eret
001b724f
001b724floc_1b724f:
001b724fcall caml_call_gc
001b7254jmp 0x1b7229
001b7220
001b7256
001b7256 // align 0x10
001b7256 // align 0x10
001b7260
001b7260Stdlib.Int64.fun:
001b7260mov rax, [rax+8]
001b7264cmp rax, 0
001b7268jl 0x1b729c
001b726amov rbx, 0x3fffffffffffffff
001b7274cmp rax, rbx
001b7277jg 0x1b729c
001b7279sub r15, 16
001b727dcmp r15, [r14]
001b7280jb 0x1b72a2
001b7282
001b7282loc_1b7282:
001b7282lea rbx, [r15+8]
001b7286mov [rbx-8], 1024
001b728elea rax, [rax+rax+1]
001b7293mov [rbx], rax
001b7296mov rax, rbx
001b7299ret
001b729a
001b729a 66 90 f.
001b729c
001b729cloc_1b729c:
001b729cmov eax, 1
001b72a1ret
001b72a2
001b72a2loc_1b72a2:
001b72a2call caml_call_gc
001b72a7jmp 0x1b7282
001b7260
001b7260Stdlib.Int64.fun:
001b7260mov rax, [rax+8]
001b7264cmp rax, 0
001b7268jl 0x1b729c
001b726amov rbx, 0x3fffffffffffffff
001b7274cmp rax, rbx
001b7277jg 0x1b729c
001b7279sub r15, 16
001b727dcmp r15, [r14]
001b7280jb 0x1b72a2
001b7282
001b7282loc_1b7282:
001b7282lea rbx, [r15+8]
001b7286mov [rbx-8], 1024
001b728elea rax, [rax+rax+1]
001b7293mov [rbx], rax
001b7296mov rax, rbx
001b7299ret
001b729a
001b729a 66 90 f.
001b729c
001b729cloc_1b729c:
001b729cmov eax, 1
001b72a1ret
001b72a2
001b72a2loc_1b72a2:
001b72a2call caml_call_gc
001b72a7jmp 0x1b7282
001b7260
Loading..