File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
    00157230
    00157230camlText.do_rec_1685:
    00157230lea r10, [rsp-368]
    00157238cmp r10, [r14+40]
    0015723cjb 0x1574d5
    00157242
    00157242loc_157242:
    00157242sub rsp, 48
    00157246
    00157246loc_157246:
    00157246cmp r15, [r14]
    00157249jbe 0x1574c6
    0015724f
    0015724floc_15724f:
    0015724ftest al, 1
    00157251je 0x157260
    00157253mov eax, 1
    00157258add rsp, 48
    0015725cret
    0015725d
    0015725d 0f 1f 00 ...
    00157260
    00157260loc_157260:
    00157260mov [rsp], rax
    00157264mov rax, [rax]
    00157267mov rbx, [rax+16]
    0015726bmov [rsp+8], rbx
    00157270mov rbx, [rax+8]
    00157274mov [rsp+32], rbx
    00157279mov rax, [rax]
    0015727cmov [rsp+40], rax
    00157281call camlText.somme_1677
    00157286mov [rsp+16], rax
    0015728blea rax, [rip+0x1d2dde]
    00157292mov rax, [rax+80]
    00157296mov rax, [rax]
    00157299cmp rax, 7
    0015729djle 0x157339
    001572a3mov rax, [rsp+8]
    001572a8call camlStdlib.string_of_int_175
    001572admov rbx, rax
    001572b0lea rax, [rip+0x190ab1]
    001572b7call camlStdlib.$5e_139
    001572bcmov [rsp+24], rax
    001572c1mov rax, [rsp+16]
    001572c6call camlStdlib.string_of_int_175
    001572cbmov rbx, [rsp+24]
    001572d0call camlStdlib.$5e_139
    001572d5mov rbx, rax
    001572d8lea rax, [rip+0x190ac1]
    001572dfcall camlStdlib.$5e_139
    001572e4mov [rsp+24], rax
    001572e9mov rax, [rsp+32]
    001572eecall camlStdlib.string_of_int_175
    001572f3mov rbx, [rsp+24]
    001572f8call camlStdlib.$5e_139
    001572fdmov rbx, rax
    00157300lea rax, [rip+0x190ab1]
    00157307call camlStdlib.$5e_139
    0015730cmov [rsp+24], rax
    00157311mov rax, [rsp+40]
    00157316call camlStdlib.string_of_int_175
    0015731bmov rbx, [rsp+24]
    00157320call camlStdlib.$5e_139
    00157325mov rbx, rax
    00157328lea rax, [rip+0x190a99]
    0015732fcall camlStdlib.$5e_139
    00157334call camlStdlib.prerr_endline_390
    00157339
    00157339loc_157339:
    00157339mov rax, [rsp+16]
    0015733emov rbx, [rsp+8]
    00157343cmp rax, rbx
    00157346jge 0x1574af
    0015734cmov [rsp+16], rax
    00157351mov [rsp+8], rbx
    00157356lea rax, [rip+0x1d2d13]
    0015735dmov rax, [rax+80]
    00157361mov rax, [rax]
    00157364cmp rax, 7
    00157368jle 0x157376
    0015736alea rax, [rip+0x1909df]
    00157371call camlStdlib.prerr_endline_390
    00157376
    00157376loc_157376:
    00157376mov r9, [rsp+40]
    0015737bmov r8, r9
    0015737emov r12, [rsp+32]
    00157383cmp r8, r12
    00157386jg 0x1574af
    0015738c
    0015738cloc_15738c:
    0015738cmov rsi, [rsp+16]
    00157391cmp rsi, 1
    00157395jne 0x1573cc
    00157397lea rax, [rip+0x18f71a]
    0015739emov rax, [rax+1128]
    001573a5mov rax, [rax]
    001573a8mov rax, [rax+32]
    001573acmov rbx, [rax-8]
    001573b0shr rbx, 9
    001573b4cmp rbx, r9
    001573b7jbe 0x1574d0
    001573bdmov rbx, [rsp+8]
    001573c2mov [rax+4*r9-4], rbx
    001573c7jmp 0x157498
    001573cc
    001573ccloc_1573cc:
    001573ccmov rax, [rsp+8]
    001573d1sar rax, 1
    001573d4lea rbx, [rip+0x18f6dd]
    001573dbmov rbx, [rbx+1128]
    001573e2mov rbx, [rbx]
    001573e5mov rbx, [rbx+32]
    001573e9mov rdi, [rbx-8]
    001573edshr rdi, 9
    001573f1cmp rdi, r8
    001573f4jbe 0x1574d0
    001573famov rbx, [rbx+4*r8-4]
    001573ffdec rbx
    00157402imul rbx, rax
    00157406inc rbx
    00157409mov rcx, rsi
    0015740csar rcx, 1
    0015740fmov rax, rbx
    00157412sar rax, 1
    00157415test rcx, rcx
    00157418je 0x157424
    0015741acqo
    0015741cidiv rcx
    0015741fjmp 0x157430
    00157421
    00157421 0f 1f 00 ...
    00157424
    00157424loc_157424:
    00157424lea rax, [rip+0x11ece5]
    0015742bcall caml_raise_exn
    00157430
    00157430loc_157430:
    00157430shl rdx, 2
    00157434inc rdx
    00157437cmp rdx, rsi
    0015743asetge al
    0015743dmovzx rdi, al
    00157441shl rdi, 1
    00157444sar rsi, 1
    00157447mov rax, rbx
    0015744asar rax, 1
    0015744dtest rsi, rsi
    00157450je 0x15745c
    00157452mov rcx, rsi
    00157455cqo
    00157457idiv rcx
    0015745ajmp 0x157468
    0015745c
    0015745cloc_15745c:
    0015745clea rax, [rip+0x11ecad]
    00157463call caml_raise_exn
    00157468
    00157468loc_157468:
    00157468shl rax, 1
    0015746badd rax, rdi
    0015746einc rax
    00157471lea rbx, [rip+0x18f640]
    00157478mov rbx, [rbx+1128]
    0015747fmov rbx, [rbx]
    00157482mov rbx, [rbx+32]
    00157486mov rdi, [rbx-8]
    0015748ashr rdi, 9
    0015748ecmp rdi, r8
    00157491jbe 0x1574d0
    00157493mov [rbx+4*r8-4], rax
    00157498
    00157498loc_157498:
    00157498mov rax, r8
    0015749badd r8, 2
    0015749fcmp rax, r12
    001574a2je 0x1574af
    001574a4cmp r15, [r14]
    001574a7ja 0x15738c
    001574adjmp 0x1574bc
    001574af
    001574afloc_1574af:
    001574afmov rax, [rsp]
    001574b3mov rax, [rax+8]
    001574b7jmp 0x157246
    001574bc
    001574bcloc_1574bc:
    001574bccall caml_call_gc
    001574c1jmp 0x15738c
    001574c6
    001574c6loc_1574c6:
    001574c6call caml_call_gc
    001574cbjmp 0x15724f
    001574d0
    001574d0loc_1574d0:
    001574d0call caml_ml_array_bound_error
    001574d5
    001574d5loc_1574d5:
    001574d5push 39
    001574d7call caml_call_realloc_stack
    001574dcpop r10
    001574dejmp 0x157242
    00157230
    001574e3
    001574e3 // align 0x10
    001574f0
    001574f0camlText.close_table_1695:
    001574f0lea r10, [rsp-416]
    001574f8cmp r10, [r14+40]
    001574fcjb 0x157e7f
    00157502
    00157502loc_157502:
    00157502sub rsp, 96
    00157506lea rax, [rip+0x1d2b63]
    0015750dmov rax, [rax+80]
    00157511mov rax, [rax]
    00157514cmp rax, 5
    00157518jle 0x157539
    0015751alea rax, [rip+0x1907c7]
    00157521call camlStdlib.prerr_endline_390
    00157526lea rax, [rip+0x18f58b]
    0015752dmov rax, [rax+768]
    00157534call camlText.pretty_stack_771
    00157539
    00157539loc_157539:
    00157539lea rax, [rip+0x18f578]
    00157540mov rax, [rax+1128]
    00157547mov rax, [rax]
    0015754acall camlText.register_taille_1561
    0015754flea rax, [rip+0x18f562]
    00157556mov rax, [rax+1128]
    0015755dmov rax, [rax]
    00157560mov rax, [rax+40]
    00157564mov [rsp], rax
    00157568mov rdi, [rax]
    0015756bmov ebx, 1
    00157570mov rax, [rax+8]
    00157574call Stdlib.Array.sub
    00157579mov rbx, [rsp]
    0015757dmov [rbx], 1
    00157584mov [rsp+32], rax
    00157589lea rbx, [rip+0x18f528]
    00157590mov rbx, [rbx+1128]
    00157597mov rdi, [rbx]
    0015759amov rax, [rax-8]
    0015759eshr rax, 9
    001575a2or rax, 1
    001575a6mov [rdi], rax
    001575a9lea rax, [rip+0x1d2ac0]
    001575b0mov rax, [rax+80]
    001575b4mov rax, [rax]
    001575b7cmp rax, 5
    001575bbjle 0x1575dc
    001575bdmov rax, [rbx]
    001575c0mov rax, [rax]
    001575c3call camlStdlib.string_of_int_175
    001575c8mov rbx, rax
    001575cblea rax, [rip+0x190706]
    001575d2call camlStdlib.$5e_139
    001575d7call camlStdlib.prerr_endline_390
    001575dc
    001575dcloc_1575dc:
    001575dcmov eax, 1
    001575e1call camlText.calculate_multi_1683
    001575e6lea rax, [rip+0x18f4cb]
    001575edmov rax, [rax+1128]
    001575f4mov rax, [rax]
    001575f7mov rax, [rax+32]
    001575fbmov rbx, [rax-8]
    001575ffshr rbx, 9
    00157603or rbx, 1
    00157607add rbx, -2
    0015760bmov eax, 1
    00157610call camlText.somme_1677
    00157615lea rbx, [rip+0x18f49c]
    0015761cmov rbx, [rbx+1128]
    00157623mov rbx, [rbx]
    00157626mov [rbx+16], rax
    0015762amov eax, 1
    0015762fcall camlText.finit_ligne_1135
    00157634lea rax, [rip+0x18f47d]
    0015763bmov rbx, [rax+824]
    00157642mov rbx, [rbx+64]
    00157646mov rax, [rax+1128]
    0015764dmov rax, [rax]
    00157650mov rax, [rax+16]
    00157654cmp rax, rbx
    00157657jle 0x157665
    00157659lea rax, [rip+0x190648]
    00157660call camlMisc.warning_287
    00157665
    00157665loc_157665:
    00157665mov eax, 1
    0015766alea rbx, [rip+0x18f447]
    00157671mov rbx, [rbx+1128]
    00157678mov rbx, [rbx]
    0015767bmov rbx, [rbx]
    0015767eadd rbx, -2
    00157682cmp rax, rbx
    00157685jg 0x157cd1
    0015768bmov [rsp], rbx
    0015768fmov [rsp+88], rax
    00157694
    00157694loc_157694:
    00157694mov rsi, [rsp+32]
    00157699mov rbx, [rsi-8]
    0015769dshr rbx, 9
    001576a1cmp rbx, rax
    001576a4jbe 0x157e7a
    001576aamov rbx, [rsi+4*rax-4]
    001576afmov rbx, [rbx+8]
    001576b3movzx rdi, [rbx-8]
    001576b8test rdi, rdi
    001576bbje 0x1576c8
    001576bdmov rbx, [rbx]
    001576c0mov [rsp+80], rbx
    001576c5jmp 0x157708
    001576c7nop
    001576c8
    001576c8loc_1576c8:
    001576c8sub r15, 24
    001576cccmp r15, [r14]
    001576cfjb 0x157e70
    001576d5
    001576d5loc_1576d5:
    001576d5lea rax, [r15+8]
    001576d9mov [rax-8], 2048
    001576e1lea rbx, [rip+0x18f3d0]
    001576e8mov rbx, [rbx]
    001576ebmov [rax], rbx
    001576eelea rbx, [rip+0x190593]
    001576f5mov [rax+8], rbx
    001576f9mov rsp, [r14+48]
    001576fdpop [r14+48]
    00157701pop r11
    00157703jmp r11
    00157706nop
    00157708
    00157708loc_157708:
    00157708lea rbx, [rip+0x1d2961]
    0015770fmov rbx, [rbx+80]
    00157713mov rbx, [rbx]
    00157716cmp rbx, 5
    0015771ajle 0x1577ae
    00157720mov rbx, [rsi-8]
    00157724shr rbx, 9
    00157728cmp rbx, rax
    0015772bjbe 0x157e7a
    00157731mov rax, [rsi+4*rax-4]
    00157736mov rax, [rax]
    00157739call camlStdlib.string_of_int_175
    0015773emov rbx, rax
    00157741lea rax, [rip+0x1904e8]
    00157748call camlStdlib.$5e_139
    0015774dmov [rsp+8], rax
    00157752mov rax, [rsp+80]
    00157757mov rax, [rax-8]
    0015775bshr rax, 9
    0015775for rax, 1
    00157763call camlStdlib.string_of_int_175
    00157768mov rbx, [rsp+8]
    0015776dcall camlStdlib.$5e_139
    00157772mov rbx, rax
    00157775lea rax, [rip+0x1904e4]
    0015777ccall camlStdlib.$5e_139
    00157781mov [rsp+8], rax
    00157786mov rax, [rsp+88]
    0015778bcall camlStdlib.string_of_int_175
    00157790mov rbx, [rsp+8]
    00157795call camlStdlib.$5e_139
    0015779amov rbx, rax
    0015779dlea rax, [rip+0x1904d4]
    001577a4call camlStdlib.$5e_139
    001577a9call camlStdlib.prerr_endline_390
    001577ae
    001577aeloc_1577ae:
    001577aemov esi, 1
    001577b3mov rax, [rsp+80]
    001577b8mov rdi, [rax-8]
    001577bcshr rdi, 9
    001577c0or rdi, 1
    001577c4lea rax, [rip+0xa24d5]
    001577cbcall caml_c_call
    001577d0mov [rsp+64], rax
    001577d5lea rax, [rip+0x18f2dc]
    001577dcmov rax, [rax+1120]
    001577e3mov rax, [rax]
    001577e6mov [rax], 1
    001577edmov eax, 1
    001577f2mov [rsp+40], rax
    001577f7mov rdi, [rsp+32]
    001577fcmov rbx, [rdi-8]
    00157800shr rbx, 9
    00157804mov rsi, [rsp+88]
    00157809cmp rbx, rsi
    0015780cjbe 0x157e7a
    00157812mov rbx, [rdi+4*rsi-4]
    00157817mov rbx, [rbx]
    0015781aadd rbx, -2
    0015781emov [rsp+8], rbx
    00157823cmp rax, rbx
    00157826jg 0x157ca9
    0015782c
    0015782cloc_15782c:
    0015782cmov rbx, [rsp+88]
    00157831cmp rbx, 1
    00157835jne 0x15783d
    00157837cmp rax, 1
    0015783bje 0x157847
    0015783d
    0015783dloc_15783d:
    0015783dmov eax, 21
    00157842call camlText.do_put_char_1129
    00157847
    00157847loc_157847:
    00157847mov eax, 1
    0015784cmov [rsp+16], rax
    00157851mov eax, 1
    00157856mov [rsp+72], rax
    0015785bmov rbx, [rsp+80]
    00157860mov rbx, [rbx-8]
    00157864shr rbx, 9
    00157868or rbx, 1
    0015786cadd rbx, -2
    00157870mov [rsp+24], rbx
    00157875cmp rax, rbx
    00157878jg 0x157c16
    0015787e
    0015787eloc_15787e:
    0015787emov rbx, [rsp+80]
    00157883mov rdi, [rbx-8]
    00157887shr rdi, 9
    0015788bcmp rdi, rax
    0015788ejbe 0x157e7a
    00157894mov rdi, [rbx+4*rax-4]
    00157899mov rsi, [rdi+32]
    0015789dcmp rsi, 5
    001578a1jne 0x1578c8
    001578a3lea rsi, [rip+0x18f20e]
    001578aamov rsi, [rsi+1128]
    001578b1mov rsi, [rsi]
    001578b4mov rsi, [rsi+32]
    001578b8mov rsi, [rsi-8]
    001578bcshr rsi, 9
    001578c0or rsi, 1
    001578c4mov [rdi+40], rsi
    001578c8
    001578c8loc_1578c8:
    001578c8mov rdi, [rbx-8]
    001578ccshr rdi, 9
    001578d0cmp rdi, rax
    001578d3jbe 0x157e7a
    001578d9mov rax, [rbx+4*rax-4]
    001578demov rbx, [rax+64]
    001578e2mov rdi, [rbx-8]
    001578e6shr rdi, 10
    001578ealea rdi, [8*rdi-1]
    001578f2movzx rbx, [rbx+rdi]
    001578f7sub rdi, rbx
    001578famov rbx, [rax+56]
    001578femov rsi, [rbx-8]
    00157902shr rsi, 10
    00157906lea rsi, [8*rsi-1]
    0015790emovzx rbx, [rbx+rsi]
    00157913sub rsi, rbx
    00157916shl rsi, 1
    00157919lea rbx, [rsi+2*rdi+1]
    0015791emov [rsp+48], rbx
    00157923mov rbx, [rax+40]
    00157927mov rax, [rsp+16]
    0015792clea rbx, [rax+rbx-3]
    00157931call camlText.somme_1677
    00157936mov rbx, [rsp+48]
    0015793bsub rax, rbx
    0015793einc rax
    00157941mov [rsp+56], rax
    00157946lea rbx, [rip+0x1d2723]
    0015794dmov rbx, [rbx+80]
    00157951mov rbx, [rbx]
    00157954cmp rbx, 5
    00157958jle 0x157a0a
    0015795ecall camlStdlib.string_of_int_175
    00157963mov rbx, rax
    00157966lea rax, [rip+0x1906bb]
    0015796dcall camlStdlib.$5e_139
    00157972mov rbx, rax
    00157975mov rdi, [rsp+80]
    0015797amov rax, [rdi-8]
    0015797eshr rax, 9
    00157982mov rsi, [rsp+72]
    00157987cmp rax, rsi
    0015798ajbe 0x157e7a
    00157990mov rax, [rdi+4*rsi-4]
    00157995mov rax, [rax+64]
    00157999call camlStdlib.$5e_139
    0015799emov rbx, rax
    001579a1mov rdi, [rsp+80]
    001579a6mov rax, [rdi-8]
    001579aashr rax, 9
    001579aemov rsi, [rsp+72]
    001579b3cmp rax, rsi
    001579b6jbe 0x157e7a
    001579bcmov rax, [rdi+4*rsi-4]
    001579c1mov rax, [rax+48]
    001579c5call camlStdlib.$5e_139
    001579camov rbx, rax
    001579cdmov rdi, [rsp+80]
    001579d2mov rax, [rdi-8]
    001579d6shr rax, 9
    001579damov rsi, [rsp+72]
    001579dfcmp rax, rsi
    001579e2jbe 0x157e7a
    001579e8mov rax, [rdi+4*rsi-4]
    001579edmov rax, [rax+56]
    001579f1call camlStdlib.$5e_139
    001579f6mov rbx, rax
    001579f9lea rax, [rip+0x190218]
    00157a00call camlStdlib.$5e_139
    00157a05call camlStdlib.prerr_endline_390
    00157a0a
    00157a0aloc_157a0a:
    00157a0amov rbx, [rsp+80]
    00157a0fmov rax, [rbx-8]
    00157a13shr rax, 9
    00157a17mov rdi, [rsp+72]
    00157a1ccmp rax, rdi
    00157a1fjbe 0x157e7a
    00157a25mov rax, [rbx+4*rdi-4]
    00157a2amov rbx, [rax+72]
    00157a2emov rax, [rax+56]
    00157a32mov rdi, [rsp+40]
    00157a37call camlText.put_border_1671
    00157a3cmov rbx, [rsp+80]
    00157a41mov rax, [rbx-8]
    00157a45shr rax, 9
    00157a49mov rdi, [rsp+72]
    00157a4ecmp rax, rdi
    00157a51jbe 0x157e7a
    00157a57mov rax, [rbx+4*rdi-4]
    00157a5cmov rsi, [rax]
    00157a5fmov rdi, [rax+16]
    00157a63mov rbx, [rsp+32]
    00157a68mov rax, [rbx-8]
    00157a6cshr rax, 9
    00157a70mov rdx, [rsp+88]
    00157a75cmp rax, rdx
    00157a78jbe 0x157e7a
    00157a7emov rax, [rbx+4*rdx-4]
    00157a83mov rbx, [rax]
    00157a86mov rax, [rsp+40]
    00157a8bcall camlText.text_out_1646
    00157a90cmp rax, 1
    00157a94je 0x157b28
    00157a9amov rdi, [rsp+80]
    00157a9fmov rbx, [rdi-8]
    00157aa3shr rbx, 9
    00157aa7mov rax, [rsp+72]
    00157aaccmp rbx, rax
    00157aafjbe 0x157e7a
    00157ab5mov rbx, [rdi+4*rax-4]
    00157abamov rcx, [rbx+32]
    00157abecmp rcx, 5
    00157ac2je 0x157b28
    00157ac4mov rsi, [rbx+24]
    00157ac8mov rdi, [rsp+48]
    00157acdsub rsi, rdi
    00157ad0inc rsi
    00157ad3mov rdi, [rbx+8]
    00157ad7mov r8, [rsp+64]
    00157adcmov rdx, [r8-8]
    00157ae0shr rdx, 9
    00157ae4cmp rdx, rax
    00157ae7jbe 0x157e7a
    00157aedmov rdx, [r8+4*rax-4]
    00157af2mov rax, [rbx+48]
    00157af6mov rbx, rdx
    00157af9mov rdx, [rsp+56]
    00157afecall camlText.put_ligne_1657
    00157b03mov rdi, [rsp+64]
    00157b08mov rbx, [rdi-8]
    00157b0cshr rbx, 9
    00157b10mov rsi, [rsp+72]
    00157b15cmp rbx, rsi
    00157b18jbe 0x157e7a
    00157b1emov [rdi+4*rsi-4], rax
    00157b23jmp 0x157ba8
    00157b28
    00157b28loc_157b28:
    00157b28mov rbx, [rsp+80]
    00157b2dmov rax, [rbx-8]
    00157b31shr rax, 9
    00157b35mov rdi, [rsp+72]
    00157b3acmp rax, rdi
    00157b3djbe 0x157e7a
    00157b43mov rax, [rbx+4*rdi-4]
    00157b48mov rbx, [rax+32]
    00157b4ccmp rbx, 5
    00157b50jne 0x157b94
    00157b52mov rax, [rax+48]
    00157b56mov rbx, [rax-8]
    00157b5ashr rbx, 10
    00157b5elea rbx, [8*rbx-1]
    00157b66movzx rdi, [rax+rbx]
    00157b6bsub rbx, rdi
    00157b6ecmp rbx, 0
    00157b72jbe 0x157e7a
    00157b78movzx rax, [rax]
    00157b7clea rbx, [rax+rax+1]
    00157b81mov rax, [rsp+56]
    00157b86call Stdlib.Bytes.make
    00157b8bcall camlText.do_put_1141
    00157b90jmp 0x157ba8
    00157b92nop
    00157b94
    00157b94loc_157b94:
    00157b94mov ebx, 65
    00157b99mov rax, [rsp+56]
    00157b9ecall Stdlib.Bytes.make
    00157ba3call camlText.do_put_1141
    00157ba8
    00157ba8loc_157ba8:
    00157ba8mov rbx, [rsp+80]
    00157badmov rax, [rbx-8]
    00157bb1shr rax, 9
    00157bb5mov rdi, [rsp+72]
    00157bbacmp rax, rdi
    00157bbdjbe 0x157e7a
    00157bc3mov rax, [rbx+4*rdi-4]
    00157bc8mov rbx, [rax+40]
    00157bccmov rdi, [rsp+16]
    00157bd1lea rdi, [rdi+rbx-1]
    00157bd6mov [rsp+16], rdi
    00157bdbmov rbx, [rax+80]
    00157bdfmov rax, [rax+64]
    00157be3mov rdi, [rsp+40]
    00157be8call camlText.put_border_1671
    00157bedmov rax, [rsp+72]
    00157bf2mov rbx, rax
    00157bf5add rax, 2
    00157bf9mov [rsp+72], rax
    00157bfemov rdi, [rsp+24]
    00157c03cmp rbx, rdi
    00157c06je 0x157c16
    00157c08cmp r15, [r14]
    00157c0bja 0x15787e
    00157c11jmp 0x157e66
    00157c16
    00157c16loc_157c16:
    00157c16lea rax, [rip+0x18ee9b]
    00157c1dmov rax, [rax+1128]
    00157c24mov rax, [rax]
    00157c27mov rax, [rax+32]
    00157c2bmov rax, [rax-8]
    00157c2fshr rax, 9
    00157c33or rax, 1
    00157c37add rax, -2
    00157c3bmov rbx, [rsp+16]
    00157c40cmp rbx, rax
    00157c43jge 0x157c80
    00157c45add rbx, -2
    00157c49mov eax, 1
    00157c4ecall camlText.somme_1677
    00157c53mov rbx, rax
    00157c56lea rax, [rip+0x18ee5b]
    00157c5dmov rax, [rax+1128]
    00157c64mov rax, [rax]
    00157c67mov rax, [rax+16]
    00157c6bsub rax, rbx
    00157c6einc rax
    00157c71mov ebx, 65
    00157c76call Stdlib.Bytes.make
    00157c7bcall camlText.do_put_1141
    00157c80
    00157c80loc_157c80:
    00157c80mov rax, [rsp+40]
    00157c85mov rbx, rax
    00157c88add rax, 2
    00157c8cmov [rsp+40], rax
    00157c91mov rdi, [rsp+8]
    00157c96cmp rbx, rdi
    00157c99je 0x157ca9
    00157c9bcmp r15, [r14]
    00157c9eja 0x15782c
    00157ca4jmp 0x157e5c
    00157ca9
    00157ca9loc_157ca9:
    00157ca9mov rax, [rsp+88]
    00157caemov rbx, rax
    00157cb1add rax, 2
    00157cb5mov [rsp+88], rax
    00157cbamov rdi, [rsp]
    00157cbecmp rbx, rdi
    00157cc1je 0x157cd1
    00157cc3cmp r15, [r14]
    00157cc6ja 0x157694
    00157cccjmp 0x157e52
    00157cd1
    00157cd1loc_157cd1:
    00157cd1lea rax, [rip+0x18ede0]
    00157cd8mov rax, [rax+848]
    00157cdfmov rax, [rax+32]
    00157ce3call camlMyStack.pop_292
    00157ce8lea rbx, [rip+0x18edc9]
    00157cefmov rdi, [rbx+824]
    00157cf6mov [rdi+48], rax
    00157cfamov rax, [rbx+1136]
    00157d01call camlMyStack.pop_292
    00157d06lea rbx, [rip+0x18edab]
    00157d0dmov rdi, [rbx+1128]
    00157d14mov rsi, rax
    00157d17mov rbx, rsp
    00157d1amov rsp, [r14+64]
    00157d1ecall caml_modify
    00157d23mov rsp, rbx
    00157d26lea rax, [rip+0x18ed8b]
    00157d2dmov rax, [rax+1144]
    00157d34call camlMyStack.pop_292
    00157d39lea rbx, [rip+0x18ed78]
    00157d40mov rdi, [rbx+1120]
    00157d47mov rsi, rax
    00157d4amov rbx, rsp
    00157d4dmov rsp, [r14+64]
    00157d51call caml_modify
    00157d56mov rsp, rbx
    00157d59lea rax, [rip+0x18ed58]
    00157d60mov rax, [rax+1152]
    00157d67call camlMyStack.pop_292
    00157d6clea rbx, [rip+0x18ed45]
    00157d73mov rdi, [rbx+1112]
    00157d7amov rsi, rax
    00157d7dmov rbx, rsp
    00157d80mov rsp, [r14+64]
    00157d84call caml_modify
    00157d89mov rsp, rbx
    00157d8clea rax, [rip+0x18ed25]
    00157d93mov rax, [rax+1168]
    00157d9acall camlMyStack.pop_292
    00157d9flea rbx, [rip+0x18ed12]
    00157da6mov rdi, [rbx+1160]
    00157dadmov rsi, rax
    00157db0mov rbx, rsp
    00157db3mov rsp, [r14+64]
    00157db7call caml_modify
    00157dbcmov rsp, rbx
    00157dbflea rax, [rip+0x18ecf2]
    00157dc6mov rax, [rax+848]
    00157dcdmov rax, [rax+64]
    00157dd1call camlMyStack.pop_292
    00157dd6lea rbx, [rip+0x18ecdb]
    00157dddmov rbx, [rbx+824]
    00157de4mov [rbx+128], rax
    00157deblea rbx, [rip+0x18fd46]
    00157df2mov rax, rbx
    00157df5call camlText.tr_block_630
    00157dfacall camlText.do_close_block_1239
    00157dfflea rax, [rip+0x18ecb2]
    00157e06mov rax, [rax+824]
    00157e0dmov rax, [rax+128]
    00157e14cmp rax, 1
    00157e18jne 0x157e24
    00157e1amov eax, 1
    00157e1fcall camlText.finit_ligne_1135
    00157e24
    00157e24loc_157e24:
    00157e24lea rax, [rip+0x1d2245]
    00157e2bmov rax, [rax+80]
    00157e2fmov rax, [rax]
    00157e32cmp rax, 5
    00157e36jle 0x157e48
    00157e38lea rax, [rip+0x18fdc1]
    00157e3fadd rsp, 96
    00157e43jmp 0x196d50
    00157e48
    00157e48loc_157e48:
    00157e48mov eax, 1
    00157e4dadd rsp, 96
    00157e51ret
    00157e52
    00157e52loc_157e52:
    00157e52call caml_call_gc
    00157e57jmp 0x157694
    00157e5c
    00157e5cloc_157e5c:
    00157e5ccall caml_call_gc
    00157e61jmp 0x15782c
    00157e66
    00157e66loc_157e66:
    00157e66call caml_call_gc
    00157e6bjmp 0x15787e
    00157e70
    00157e70loc_157e70:
    00157e70call caml_call_gc
    00157e75jmp 0x1576d5
    00157e7a
    00157e7aloc_157e7a:
    00157e7acall caml_ml_array_bound_error
    00157e7f
    00157e7floc_157e7f:
    00157e7fpush 45
    00157e81call caml_call_realloc_stack
    00157e86pop r10
    00157e88jmp 0x157502
    001574f0
    00157e8d
    00157e8d // align 0x10
    00157e90
    00157e90camlText.infomenu_1709:
    00157e90mov eax, 1
    00157e95ret
    00157e90
    00157e96
    00157e96 // align 0x10
    00157ea0
    00157ea0camlText.infonode_1712:
    00157ea0mov eax, 1
    00157ea5ret
    00157ea0
    00157ea6
    00157ea6 // align 0x10
    00157eb0
    00157eb0camlText.infoextranode_1713:
    00157eb0mov eax, 1
    00157eb5ret
    00157eb0
    00157eb6
    00157eb6 // align 0x10
    00157ec0
    00157ec0camlText.is_empty_1722:
    00157ec0lea r10, [rsp-320]
    00157ec8cmp r10, [r14+40]
    00157eccjb 0x157f2e
    00157ece
    00157eceloc_157ece:
    00157ecelea rax, [rip+0x18ebe3]
    00157ed5mov rbx, [rax+824]
    00157edcmov rbx, [rbx+128]
    00157ee3cmp rbx, 1
    00157ee7je 0x157f28
    00157ee9mov rax, [rax+792]
    00157ef0mov rax, [rax]
    00157ef3mov rax, [rax+16]
    00157ef7call camlDoOut.is_empty_702
    00157efccmp rax, 1
    00157f00je 0x157f28
    00157f02lea rax, [rip+0x18ebaf]
    00157f09mov rax, [rax+824]
    00157f10mov rax, [rax+72]
    00157f14cmp rax, -1
    00157f18sete al
    00157f1bmovzx rax, al
    00157f1flea rax, [rax+rax+1]
    00157f24ret
    00157f25
    00157f25 0f 1f 00 ...
    00157f28
    00157f28loc_157f28:
    00157f28mov eax, 1
    00157f2dret
    00157f2e
    00157f2eloc_157f2e:
    00157f2epush 33
    00157f30call caml_call_realloc_stack
    00157f35pop r10
    00157f37jmp 0x157ece
    00157ec0
    00157f39
    00157f39 // align 0x10
    00157f40
    00157f40camlText.image_1725:
    00157f40lea r10, [rsp-320]
    00157f48cmp r10, [r14+40]
    00157f4cjb 0x157f8a
    00157f4e
    00157f4eloc_157f4e:
    00157f4emov r12, rax
    00157f51lea rsi, [rip+0x18fbe0]
    00157f58mov rdi, r12
    00157f5bmov rbx, rsp
    00157f5emov rsp, [r14+64]
    00157f62call caml_string_notequal
    00157f67mov rsp, rbx
    00157f6acmp rax, 1
    00157f6eje 0x157f84
    00157f70mov rax, r12
    00157f73call camlText.put_1298
    00157f78mov eax, 65
    00157f7djmp 0x154300
    00157f82
    00157f82 66 90 f.
    00157f84
    00157f84loc_157f84:
    00157f84mov eax, 1
    00157f89ret
    00157f8a
    00157f8aloc_157f8a:
    00157f8apush 33
    00157f8ccall caml_call_realloc_stack
    00157f91pop r10
    00157f93jmp 0x157f4e
    00157f40
    00157f95
    00157f95 // align 0x10
    00157fa0
    00157fa0camlText.horizontal_line_1729:
    00157fa0lea r10, [rsp-352]
    00157fa8cmp r10, [r14+40]
    00157facjb 0x1582d1
    00157fb2
    00157fb2loc_157fb2:
    00157fb2sub rsp, 32
    00157fb6mov [rsp+16], rax
    00157fbbmov [rsp], rbx
    00157fbfmov rax, rdi
    00157fc2lea rbx, [rip+0x18eaef]
    00157fc9mov rbx, [rbx+824]
    00157fd0mov rbx, [rbx+128]
    00157fd7cmp rbx, 1
    00157fdbje 0x158038
    00157fddcall camlLength.pretty_315
    00157fe2mov [rsp+24], rax
    00157fe7mov rax, [rsp]
    00157febcall camlLength.pretty_315
    00157ff0mov [rsp+8], rax
    00157ff5mov rax, [rsp+16]
    00157ffamov [rsp], rax
    00157ffelea rbx, [rip+0x18fb1b]
    00158005lea rax, [rip+0x1d560c]
    0015800cmov rax, [rax+312]
    00158013call Stdlib.Printf.fprintf
    00158018mov rsi, rax
    0015801bmov rax, [rsp]
    0015801fmov rbx, [rsp+8]
    00158024mov rdi, [rsp+24]
    00158029call caml_apply3
    0015802emov eax, 1
    00158033add rsp, 32
    00158037ret
    00158038
    00158038loc_158038:
    00158038mov eax, 1
    0015803dlea rdi, [rip+0x18faf4]
    00158044lea rbx, [rip+0x190e9d]
    0015804bcall camlText.open_block_inner_2309
    00158050mov eax, 1
    00158055call camlText.finit_ligne_1135
    0015805amov rdi, [rsp]
    0015805etest dil, 1
    00158062je 0x158084
    00158064lea rax, [rip+0x18ea4d]
    0015806bmov rax, [rax+824]
    00158072mov rax, [rax+64]
    00158076add rax, -2
    0015807amov [rsp+8], rax
    0015807fjmp 0x158188
    00158084
    00158084loc_158084:
    00158084movzx rax, [rdi-8]
    00158089lea rdx, [rip+0xd29a8]
    00158090movsxd rax, [rdx+4*rax]
    00158094add rdx, rax
    00158097jmp rdx
    00158099nop [rax]
    0015809cmov rax, [rdi]
    0015809fmov [rsp+8], rax
    001580a4jmp 0x158188
    001580a9nop [rax]
    001580acmov rax, [rdi]
    001580afsar rax, 1
    001580b2mov rbx, rax
    001580b5shr rbx, 63
    001580b9mov rdi, 0x2aaaaaaaaaaaaaab
    001580c3imul rdi
    001580c6sar rdx, 1
    001580c9add rdx, rbx
    001580cclea rax, [rdx+rdx+1]
    001580d1mov [rsp+8], rax
    001580d6jmp 0x158188
    001580dbnop
    001580dcmov rax, [rdi]
    001580dfsar rax, 1
    001580e2lea rbx, [rip+0x18e9cf]
    001580e9mov rbx, [rbx+824]
    001580f0mov rbx, [rbx+64]
    001580f4add rbx, -3
    001580f8imul rbx, rax
    001580fcinc rbx
    001580ffsar rbx, 1
    00158102mov rdi, rbx
    00158105shr rdi, 63
    00158109mov rsi, 0xa3d70a3d70a3d70b
    00158113mov rax, rbx
    00158116imul rsi
    00158119add rdx, rbx
    0015811csar rdx, 6
    00158120add rdx, rdi
    00158123lea rax, [rdx+rdx+1]
    00158128mov [rsp+8], rax
    0015812djmp 0x158188
    0015812fnop
    00158130lea rbx, [rip+0x190089]
    00158137mov rax, [rdi]
    0015813acall camlStdlib.$5e_139
    0015813fmov rbx, rax
    00158142lea rax, [rip+0x1900a7]
    00158149call camlStdlib.$5e_139
    0015814esub r15, 24
    00158152cmp r15, [r14]
    00158155jb 0x1582c7
    0015815b
    0015815bloc_15815b:
    0015815blea rbx, [r15+8]
    0015815fmov [rbx-8], 2048
    00158167lea rdi, [rip+0x1d3322]
    0015816emov rdi, [rdi]
    00158171mov [rbx], rdi
    00158174mov [rbx+8], rax
    00158178mov rax, rbx
    0015817bmov rsp, [r14+48]
    0015817fpop [r14+48]
    00158183pop r11
    00158185jmp r11
    00158188
    00158188loc_158188:
    00158188mov ebx, 91
    0015818dcall Stdlib.Bytes.make
    00158192sub r15, 24
    00158196cmp r15, [r14]
    00158199jb 0x1582bd
    0015819f
    0015819floc_15819f:
    0015819flea rbx, [r15+8]
    001581a3mov [rsp], rbx
    001581a7mov [rbx-8], 2048
    001581afmov [rbx], rax
    001581b2mov [rbx+8], 1
    001581bamov rbx, [rsp+16]
    001581bfmov rax, [rbx-8]
    001581c3shr rax, 10
    001581c7cmp rax, 2
    001581cbjge 0x158258
    001581d1mov rax, [rbx]
    001581d4mov rbx, 0x1007265746e6563
    001581decmp rax, rbx
    001581e1jne 0x158220
    001581e3lea rax, [rip+0x18e8ce]
    001581eamov rax, [rax+824]
    001581f1mov rax, [rax+64]
    001581f5mov rbx, [rsp+8]
    001581fasub rax, rbx
    001581fdinc rax
    00158200sar rax, 1
    00158203mov rbx, rax
    00158206shr rbx, 63
    0015820aadd rax, rbx
    0015820dor rax, 1
    00158211mov ebx, 65
    00158216call Stdlib.Bytes.make
    0015821bjmp 0x15825f
    0015821dnop [rax]
    00158220
    00158220loc_158220:
    00158220mov rbx, 0x200007468676972
    0015822acmp rax, rbx
    0015822djne 0x158258
    0015822flea rax, [rip+0x18e882]
    00158236mov rax, [rax+824]
    0015823dmov rax, [rax+64]
    00158241mov rbx, [rsp+8]
    00158246sub rax, rbx
    00158249dec rax
    0015824cmov ebx, 65
    00158251call Stdlib.Bytes.make
    00158256jmp 0x15825f
    00158258
    00158258loc_158258:
    00158258lea rax, [rip+0x18f8d9]
    0015825f
    0015825floc_15825f:
    0015825fsub r15, 24
    00158263cmp r15, [r14]
    00158266jb 0x1582b6
    00158268
    00158268loc_158268:
    00158268lea rbx, [r15+8]
    0015826cmov [rbx-8], 2048
    00158274mov [rbx], rax
    00158277mov rax, [rsp]
    0015827bmov [rbx+8], rax
    0015827flea rax, [rip+0x18f8b2]
    00158286call Stdlib.String.concat
    0015828bcall camlText.put_1298
    00158290mov eax, 1
    00158295call camlText.finit_ligne_1135
    0015829alea rbx, [rip+0x18f897]
    001582a1lea rax, [rip+0x190c40]
    001582a8call camlText.tr_block_630
    001582adadd rsp, 32
    001582b1jmp 0x1538f0
    001582b6
    001582b6loc_1582b6:
    001582b6call caml_call_gc
    001582bbjmp 0x158268
    001582bd
    001582bdloc_1582bd:
    001582bdcall caml_call_gc
    001582c2jmp 0x15819f
    001582c7
    001582c7loc_1582c7:
    001582c7call caml_call_gc
    001582ccjmp 0x15815b
    001582d1
    001582d1loc_1582d1:
    001582d1push 37
    001582d3call caml_call_realloc_stack
    001582d8pop r10
    001582dajmp 0x157fb2
    00157fa0
    001582df
    001582df // align 0x10
    001582e0
    001582e0camlText.formated_1741:
    001582e0mov rbx, [rax-8]
    001582e4shr rbx, 10
    001582e8cmp rbx, 2
    001582ecjge 0x158392
    001582f2mov rbx, [rax]
    001582f5mov rdi, 0x500000000006d63
    001582ffcmp rbx, rdi
    00158302jge 0x158344
    00158304mov rdi, 0x4000000006d6d63
    0015830ecmp rbx, rdi
    00158311jne 0x158320
    00158313lea rbx, [rip+0x18f7d6]
    0015831ajmp 0x1583bb
    0015831f
    0015831f 90 .
    00158320
    00158320loc_158320:
    00158320mov rdi, 0x500000000006263
    0015832acmp rbx, rdi
    0015832dje 0x1583b4
    00158333mov rdi, 0x50000000000626c
    0015833dcmp rbx, rdi
    00158340je 0x1583b4
    00158342jmp 0x158392
    00158344
    00158344loc_158344:
    00158344mov rdi, 0x500000000007463
    0015834ecmp rbx, rdi
    00158351jge 0x158374
    00158353mov rdi, 0x500000000006d63
    0015835dcmp rbx, rdi
    00158360je 0x15839c
    00158362mov rdi, 0x500000000006d6c
    0015836ccmp rbx, rdi
    0015836fje 0x15839c
    00158371jmp 0x158392
    00158373
    00158373 90 .
    00158374
    00158374loc_158374:
    00158374mov rdi, 0x500000000007463
    0015837ecmp rbx, rdi
    00158381je 0x1583a8
    00158383mov rdi, 0x50000000000746c
    0015838dcmp rbx, rdi
    00158390je 0x1583a8
    00158392
    00158392loc_158392:
    00158392lea rbx, [rip+0x18f777]
    00158399jmp 0x1583bb
    0015839b
    0015839b 90 .
    0015839c
    0015839cloc_15839c:
    0015839clea rbx, [rip+0x18f76d]
    001583a3jmp 0x1583bb
    001583a5
    001583a5 0f 1f 00 ...
    001583a8
    001583a8loc_1583a8:
    001583a8lea rbx, [rip+0x18fbc1]
    001583afjmp 0x1583bb
    001583b1
    001583b1 0f 1f 00 ...
    001583b4
    001583b4loc_1583b4:
    001583b4lea rbx, [rip+0x18f725]
    001583bb
    001583bbloc_1583bb:
    001583bbmov rdi, [rax-8]
    001583bfshr rdi, 10
    001583c3cmp rdi, 2
    001583c7jge 0x15845e
    001583cdmov rax, [rax]
    001583d0mov rdi, 0x500000000006d63
    001583dacmp rax, rdi
    001583ddjge 0x158410
    001583dfmov rdi, 0x4000000006d6d63
    001583e9cmp rax, rdi
    001583ecje 0x158468
    001583eemov rdi, 0x500000000006263
    001583f8cmp rax, rdi
    001583fbje 0x158468
    001583fdmov rdi, 0x50000000000626c
    00158407cmp rax, rdi
    0015840aje 0x158474
    0015840cjmp 0x15845e
    0015840e
    0015840e 66 90 f.
    00158410
    00158410loc_158410:
    00158410mov rdi, 0x500000000007463
    0015841acmp rax, rdi
    0015841djge 0x158440
    0015841fmov rdi, 0x500000000006d63
    00158429cmp rax, rdi
    0015842cje 0x158468
    0015842emov rdi, 0x500000000006d6c
    00158438cmp rax, rdi
    0015843bje 0x158474
    0015843djmp 0x15845e
    0015843f
    0015843f 90 .
    00158440
    00158440loc_158440:
    00158440mov rdi, 0x500000000007463
    0015844acmp rax, rdi
    0015844dje 0x158468
    0015844fmov rdi, 0x50000000000746c
    00158459cmp rax, rdi
    0015845cje 0x158474
    0015845e
    0015845eloc_15845e:
    0015845elea rax, [rip+0x18f69b]
    00158465jmp 0x15847b
    00158467
    00158467 90 .
    00158468
    00158468loc_158468:
    00158468lea rax, [rip+0x18fb11]
    0015846fjmp 0x15847b
    00158471
    00158471 0f 1f 00 ...
    00158474
    00158474loc_158474:
    00158474lea rax, [rip+0x18f685]
    0015847b
    0015847bloc_15847b:
    0015847bsub r15, 72
    0015847fcmp r15, [r14]
    00158482jb 0x1584ca
    00158484
    00158484loc_158484:
    00158484lea rdi, [r15+8]
    00158488add rdi, 16
    0015848cmov [rdi-8], 6144
    00158494mov [rdi], rax
    00158497mov [rdi+8], rbx
    0015849bmov [rdi+16], 1
    001584a3lea rax, [rip+0x18f68e]
    001584aamov [rdi+24], rax
    001584aemov [rdi+32], rax
    001584b2mov [rdi+40], 1
    001584balea rax, [rdi-16]
    001584bemov [rax-8], 1024
    001584c6mov [rax], rdi
    001584c9ret
    001584ca
    001584caloc_1584ca:
    001584cacall caml_call_gc
    001584cfjmp 0x158484
    001582e0
    001584d1
    001584d1 // align 0x10
    001584e0
    001584e0camlText.freeze_1744:
    001584e0lea r10, [rsp-320]
    001584e8cmp r10, [r14+40]
    001584ecjb 0x158598
    001584f2
    001584f2loc_1584f2:
    001584f2sub r15, 40
    001584f6cmp r15, [r14]
    001584f9jb 0x15858e
    001584ff
    001584ffloc_1584ff:
    001584fflea rbx, [r15+8]
    00158503add rbx, 24
    00158507mov [rbx-8], 1025
    0015850fmov [rbx], rax
    00158512lea rax, [rip+0x18e59f]
    00158519mov rdi, [rax+768]
    00158520lea rsi, [rbx-24]
    00158524mov [rsi-8], 2048
    0015852cmov [rsi], rbx
    0015852fmov rax, [rdi]
    00158532mov [rsi+8], rax
    00158536mov rbx, rsp
    00158539mov rsp, [r14+64]
    0015853dcall caml_modify
    00158542mov rsp, rbx
    00158545lea rax, [rip+0x1d1b24]
    0015854cmov rax, [rax+80]
    00158550mov rax, [rax]
    00158553cmp rax, 5
    00158557jle 0x158588
    00158559lea rbx, [rip+0x18f568]
    00158560lea rax, [rip+0x1d50b1]
    00158567mov rax, [rax+312]
    0015856ecall camlStdlib.output_string_253
    00158573lea rax, [rip+0x18e53e]
    0015857amov rax, [rax+768]
    00158581jmp 0x14fec0
    00158586
    00158586 66 90 f.
    00158588
    00158588loc_158588:
    00158588mov eax, 1
    0015858dret
    0015858e
    0015858eloc_15858e:
    0015858ecall caml_call_gc
    00158593jmp 0x1584ff
    00158598
    00158598loc_158598:
    00158598push 33
    0015859acall caml_call_realloc_stack
    0015859fpop r10
    001585a1jmp 0x1584f2
    001584e0
    001585a6
    001585a6 // align 0x10
    001585b0
    001585b0camlText.flush_freeze_1747:
    001585b0lea r10, [rsp-328]
    001585b8cmp r10, [r14+40]
    001585bcjb 0x158676
    001585c2
    001585c2loc_1585c2:
    001585c2sub rsp, 8
    001585c6lea rax, [rip+0x18e4eb]
    001585cdmov rbx, [rax+768]
    001585d4mov rax, [rbx]
    001585d7test al, 1
    001585d9je 0x1585ec
    001585dblea rax, [rip+0x1d2f8e]
    001585e2call camlMyStack.bottom_285
    001585e7jmp 0x1585ef
    001585e9
    001585e9 0f 1f 00 ...
    001585ec
    001585ecloc_1585ec:
    001585ecmov rax, [rax]
    001585ef
    001585efloc_1585ef:
    001585efmovzx rbx, [rax-8]
    001585f4test rbx, rbx
    001585f7je 0x15866c
    001585f9mov [rsp], rax
    001585fdlea rax, [rip+0x18e4b4]
    00158604mov rax, [rax+768]
    0015860bcall camlMyStack.pop_292
    00158610lea rax, [rip+0x1d1a59]
    00158617mov rax, [rax+80]
    0015861bmov rax, [rax]
    0015861ecmp rax, 5
    00158622jle 0x158651
    00158624lea rbx, [rip+0x18f485]
    0015862blea rax, [rip+0x1d4fe6]
    00158632mov rax, [rax+312]
    00158639call camlStdlib.output_string_253
    0015863elea rax, [rip+0x18e473]
    00158645mov rax, [rax+768]
    0015864ccall camlText.pretty_stack_771
    00158651
    00158651loc_158651:
    00158651mov rax, [rsp]
    00158655mov rbx, [rax]
    00158658mov eax, 1
    0015865dmov rdi, [rbx]
    00158660call rdi
    00158662mov eax, 3
    00158667add rsp, 8
    0015866bret
    0015866c
    0015866cloc_15866c:
    0015866cmov eax, 1
    00158671add rsp, 8
    00158675ret
    00158676
    00158676loc_158676:
    00158676push 34
    00158678call caml_call_realloc_stack
    0015867dpop r10
    0015867fjmp 0x1585c2
    001585b0
    00158684
    00158684 // align 0x10
    00158690
    00158690camlText.pop_freeze_1751:
    00158690lea r10, [rsp-328]
    00158698cmp r10, [r14+40]
    0015869cjb 0x158756
    001586a2
    001586a2loc_1586a2:
    001586a2sub rsp, 8
    001586a6lea rax, [rip+0x18e40b]
    001586admov rbx, [rax+768]
    001586b4mov rax, [rbx]
    001586b7test al, 1
    001586b9je 0x1586cc
    001586bblea rax, [rip+0x1d2eae]
    001586c2call camlMyStack.bottom_285
    001586c7jmp 0x1586cf
    001586c9
    001586c9 0f 1f 00 ...
    001586cc
    001586ccloc_1586cc:
    001586ccmov rax, [rax]
    001586cf
    001586cfloc_1586cf:
    001586cfmovzx rbx, [rax-8]
    001586d4test rbx, rbx
    001586d7je 0x15871c
    001586d9mov [rsp], rax
    001586ddlea rax, [rip+0x18e3d4]
    001586e4mov rax, [rax+768]
    001586ebcall camlMyStack.pop_292
    001586f0sub r15, 24
    001586f4cmp r15, [r14]
    001586f7jb 0x15874f
    001586f9
    001586f9loc_1586f9:
    001586f9lea rax, [r15+8]
    001586fdmov [rax-8], 2048
    00158705mov rbx, [rsp]
    00158709mov rbx, [rbx]
    0015870cmov [rax], rbx
    0015870fmov [rax+8], 3
    00158717add rsp, 8
    0015871bret
    0015871c
    0015871cloc_15871c:
    0015871csub r15, 24
    00158720cmp r15, [r14]
    00158723jb 0x158748
    00158725
    00158725loc_158725:
    00158725lea rax, [r15+8]
    00158729mov [rax-8], 2048
    00158731lea rbx, [rip+0x18d3e0]
    00158738mov [rax], rbx
    0015873bmov [rax+8], 1
    00158743add rsp, 8
    00158747ret
    00158748
    00158748loc_158748:
    00158748call caml_call_gc
    0015874djmp 0x158725
    0015874f
    0015874floc_15874f:
    0015874fcall caml_call_gc
    00158754jmp 0x1586f9
    00158756
    00158756loc_158756:
    00158756push 34
    00158758call caml_call_realloc_stack
    0015875dpop r10
    0015875fjmp 0x1586a2
    00158690
    00158764
    00158764 // align 0x10
    00158770
    00158770camlText.fun_2501:
    00158770mov eax, 1
    00158775ret
    00158770
    00158776
    00158776 // align 0x10
    00158780
    00158780camlText.open_display_1756:
    00158780lea r10, [rsp-320]
    00158788cmp r10, [r14+40]
    0015878cjb 0x158827
    00158792
    00158792loc_158792:
    00158792lea rbx, [rip+0x18f39f]
    00158799lea rax, [rip+0x1d18d0]
    001587a0mov rax, [rax+80]
    001587a4mov rax, [rax]
    001587a7cmp rax, 3
    001587absetg al
    001587aemovzx rax, al
    001587b2lea rax, [rax+rax+1]
    001587b7call camlText.open_table_1557
    001587bcmov eax, 1
    001587c1call camlText.new_row_1571
    001587c6lea rax, [rip+0x1d18a3]
    001587cdmov rax, [rax+80]
    001587d1mov rax, [rax]
    001587d4cmp rax, 3
    001587d8jle 0x1587e6
    001587dalea rax, [rip+0x18f2bf]
    001587e1call camlText.make_border_1631
    001587e6
    001587e6loc_1587e6:
    001587e6mov esi, 1
    001587ebmov edi, 1
    001587f0mov ebx, 3
    001587f5lea rax, [rip+0x18e2bc]
    001587fcmov rax, [rax+1248]
    00158803call camlText.open_cell_1595
    00158808lea rax, [rip+0x18e2a9]
    0015880fmov rax, [rax+1128]
    00158816mov rax, [rax]
    00158819mov [rax+64], 3
    00158821mov eax, 1
    00158826ret
    00158827
    00158827loc_158827:
    00158827push 33
    00158829call caml_call_realloc_stack
    0015882epop r10
    00158830jmp 0x158792
    00158780
    00158835
    00158835 // align 0x10
    00158840
    00158840camlText.open_display_varg_1759:
    00158840lea rax, [rip+0x18f2f1]
    00158847jmp 0x158780
    00158840
    0015884c
    0015884c // align 0x10
    00158850
    00158850camlText.close_display_1762:
    00158850lea r10, [rsp-320]
    00158858cmp r10, [r14+40]
    0015885cjb 0x1588cb
    0015885e
    0015885eloc_15885e:
    0015885emov eax, 1
    00158863call camlText.flush_freeze_1747
    00158868cmp rax, 1
    0015886cje 0x158874
    0015886emov eax, 1
    00158873ret
    00158874
    00158874loc_158874:
    00158874lea rax, [rip+0x1d17f5]
    0015887bmov rax, [rax+80]
    0015887fmov rax, [rax]
    00158882cmp rax, 3
    00158886jle 0x158894
    00158888lea rax, [rip+0x18ff11]
    0015888fcall camlText.make_border_1631
    00158894
    00158894loc_158894:
    00158894lea rax, [rip+0x18e21d]
    0015889bmov rax, [rax+1128]
    001588a2mov rax, [rax]
    001588a5mov [rax+64], 1
    001588admov eax, 1
    001588b2call camlText.do_close_cell_1601
    001588b7mov eax, 1
    001588bccall camlText.close_row_1624
    001588c1mov eax, 1
    001588c6jmp 0x1574f0
    001588cb
    001588cbloc_1588cb:
    001588cbpush 33
    001588cdcall caml_call_realloc_stack
    001588d2pop r10
    001588d4jmp 0x15885e
    00158850
    001588d6
    001588d6 // align 0x10
    001588e0
    001588e0camlText.item_display_1765:
    001588e0lea r10, [rsp-328]
    001588e8cmp r10, [r14+40]
    001588ecjb 0x1589a2
    001588f2
    001588f2loc_1588f2:
    001588f2sub rsp, 8
    001588f6mov eax, 1
    001588fbcall camlText.pop_freeze_1751
    00158900mov [rsp], rax
    00158904lea rax, [rip+0x1d1765]
    0015890bmov rax, [rax+80]
    0015890fmov rax, [rax]
    00158912cmp rax, 3
    00158916jle 0x158924
    00158918lea rax, [rip+0x190571]
    0015891fcall camlText.make_border_1631
    00158924
    00158924loc_158924:
    00158924mov eax, 1
    00158929call camlText.do_close_cell_1601
    0015892elea rax, [rip+0x18e183]
    00158935mov rbx, [rax+1128]
    0015893cmov rbx, [rbx]
    0015893fmov [rbx+64], 1
    00158947mov esi, 1
    0015894cmov edi, 1
    00158951mov ebx, 3
    00158956mov rax, [rax+1248]
    0015895dcall camlText.open_cell_1595
    00158962lea rax, [rip+0x18e14f]
    00158969mov rax, [rax+1128]
    00158970mov rax, [rax]
    00158973mov [rax+64], 3
    0015897bmov rbx, [rsp]
    0015897fmov rax, [rbx+8]
    00158983cmp rax, 1
    00158987je 0x158998
    00158989mov rax, [rbx]
    0015898cadd rsp, 8
    00158990jmp 0x1584e0
    00158995
    00158995 0f 1f 00 ...
    00158998
    00158998loc_158998:
    00158998mov eax, 1
    0015899dadd rsp, 8
    001589a1ret
    001589a2
    001589a2loc_1589a2:
    001589a2push 34
    001589a4call caml_call_realloc_stack
    001589a9pop r10
    001589abjmp 0x1588f2
    001588e0
    001589b0
    001589b0camlText.item_display_format_1770:
    001589b0lea r10, [rsp-336]
    001589b8cmp r10, [r14+40]
    001589bcjb 0x158a7a
    001589c2
    001589c2loc_1589c2:
    001589c2sub rsp, 16
    001589c6mov [rsp], rax
    001589camov eax, 1
    001589cfcall camlText.pop_freeze_1751
    001589d4mov [rsp+8], rax
    001589d9lea rax, [rip+0x1d1690]
    001589e0mov rax, [rax+80]
    001589e4mov rax, [rax]
    001589e7cmp rax, 3
    001589ebjle 0x1589f9
    001589edlea rax, [rip+0x19049c]
    001589f4call camlText.make_border_1631
    001589f9
    001589f9loc_1589f9:
    001589f9mov eax, 1
    001589fecall camlText.do_close_cell_1601
    00158a03lea rax, [rip+0x18e0ae]
    00158a0amov rax, [rax+1128]
    00158a11mov rax, [rax]
    00158a14mov [rax+64], 1
    00158a1cmov rax, [rsp]
    00158a20call camlText.formated_1741
    00158a25mov esi, 1
    00158a2amov edi, 1
    00158a2fmov ebx, 3
    00158a34call camlText.open_cell_1595
    00158a39lea rax, [rip+0x18e078]
    00158a40mov rax, [rax+1128]
    00158a47mov rax, [rax]
    00158a4amov [rax+64], 3
    00158a52mov rbx, [rsp+8]
    00158a57mov rax, [rbx+8]
    00158a5bcmp rax, 1
    00158a5fje 0x158a70
    00158a61mov rax, [rbx]
    00158a64add rsp, 16
    00158a68jmp 0x1584e0
    00158a6d
    00158a6d 0f 1f 00 ...
    00158a70
    00158a70loc_158a70:
    00158a70mov eax, 1
    00158a75add rsp, 16
    00158a79ret
    00158a7a
    00158a7aloc_158a7a:
    00158a7apush 35
    00158a7ccall caml_call_realloc_stack
    00158a81pop r10
    00158a83jmp 0x1589c2
    001589b0
    00158a88
    00158a88 // align 0x10
    00158a90
    00158a90camlText.force_item_display_1775:
    00158a90mov eax, 1
    00158a95jmp 0x1588e0
    00158a90
    00158a9a
    00158a9a // align 0x10
    00158aa0
    00158aa0camlText.erase_display_1778:
    00158aa0lea r10, [rsp-320]
    00158aa8cmp r10, [r14+40]
    00158aacjb 0x158b05
    00158aae
    00158aaeloc_158aae:
    00158aaelea rax, [rip+0x1d15bb]
    00158ab5mov rax, [rax+80]
    00158ab9mov rax, [rax]
    00158abccmp rax, 5
    00158ac0jle 0x158ace
    00158ac2lea rax, [rip+0x18efbf]
    00158ac9call camlStdlib.prerr_endline_390
    00158ace
    00158aceloc_158ace:
    00158acemov eax, 1
    00158ad3call camlText.erase_cell_1620
    00158ad8lea rax, [rip+0x18dfd9]
    00158adfmov rax, [rax+1128]
    00158ae6mov rax, [rax]
    00158ae9mov [rax+64], 1
    00158af1mov eax, 1
    00158af6call camlText.erase_row_1623
    00158afbmov eax, 1
    00158b00jmp 0x1574f0
    00158b05
    00158b05loc_158b05:
    00158b05push 33
    00158b07call caml_call_realloc_stack
    00158b0cpop r10
    00158b0ejmp 0x158aae
    00158aa0
    00158b10
    00158b10camlText.open_maths_1781:
    00158b10lea r10, [rsp-328]
    00158b18cmp r10, [r14+40]
    00158b1cjb 0x158bb8
    00158b22
    00158b22loc_158b22:
    00158b22sub rsp, 8
    00158b26mov [rsp], rax
    00158b2alea rax, [rip+0x1d153f]
    00158b31mov rax, [rax+80]
    00158b35mov rax, [rax]
    00158b38cmp rax, 3
    00158b3cjle 0x158b4a
    00158b3elea rax, [rip+0x18ef2b]
    00158b45call camlStdlib.prerr_endline_390
    00158b4a
    00158b4aloc_158b4a:
    00158b4amov rax, [rsp]
    00158b4ecmp rax, 1
    00158b52je 0x158ba0
    00158b54mov eax, 1
    00158b59lea rdi, [rip+0x18eee8]
    00158b60lea rbx, [rip+0x18faf9]
    00158b67call camlText.open_block_inner_2309
    00158b6clea rax, [rip+0x18efc5]
    00158b73call camlText.open_display_1756
    00158b78lea rax, [rip+0x18df39]
    00158b7fmov rax, [rax+824]
    00158b86mov [rax+104], 1
    00158b8elea rax, [rip+0x18efa3]
    00158b95add rsp, 8
    00158b99jmp 0x158780
    00158b9e
    00158b9e 66 90 f.
    00158ba0
    00158ba0loc_158ba0:
    00158ba0mov eax, 1
    00158ba5lea rdi, [rip+0x18ef8c]
    00158bacmov rbx, rdi
    00158bafadd rsp, 8
    00158bb3jmp 0x1534e0
    00158bb8
    00158bb8loc_158bb8:
    00158bb8push 34
    00158bbacall caml_call_realloc_stack
    00158bbfpop r10
    00158bc1jmp 0x158b22
    00158b10
    00158bc6
    00158bc6 // align 0x10
    00158bd0
    00158bd0camlText.close_maths_1782:
    00158bd0lea r10, [rsp-320]
    00158bd8cmp r10, [r14+40]
    00158bdcjb 0x158c4e
    00158bde
    00158bdeloc_158bde:
    00158bdecmp rax, 1
    00158be2je 0x158c14
    00158be4mov eax, 1
    00158be9call camlText.close_display_1762
    00158beemov eax, 1
    00158bf3call camlText.close_display_1762
    00158bf8lea rbx, [rip+0x18ef39]
    00158bfflea rax, [rip+0x18fa5a]
    00158c06call camlText.tr_block_630
    00158c0bcall camlText.do_close_block_1239
    00158c10jmp 0x158c28
    00158c12
    00158c12 66 90 f.
    00158c14
    00158c14loc_158c14:
    00158c14lea rbx, [rip+0x18ef1d]
    00158c1bmov rax, rbx
    00158c1ecall camlText.tr_block_630
    00158c23call camlText.do_close_block_1239
    00158c28
    00158c28loc_158c28:
    00158c28lea rax, [rip+0x1d1441]
    00158c2fmov rax, [rax+80]
    00158c33mov rax, [rax]
    00158c36cmp rax, 3
    00158c3ajle 0x158c48
    00158c3clea rax, [rip+0x18eded]
    00158c43jmp 0x196d50
    00158c48
    00158c48loc_158c48:
    00158c48mov eax, 1
    00158c4dret
    00158c4e
    00158c4eloc_158c4e:
    00158c4epush 33
    00158c50call caml_call_realloc_stack
    00158c55pop r10
    00158c57jmp 0x158bde
    00158bd0
    00158c59
    00158c59 // align 0x10
    00158c60
    00158c60camlText.open_vdisplay_1787:
    00158c60lea rbx, [rip+0x18eed1]
    00158c67lea rax, [rip+0x1d1402]
    00158c6emov rax, [rax+80]
    00158c72mov rax, [rax]
    00158c75cmp rax, 3
    00158c79setg al
    00158c7cmovzx rax, al
    00158c80lea rax, [rax+rax+1]
    00158c85jmp 0x154a30
    00158c60
    00158c8a
    00158c8a // align 0x10
    00158c90
    00158c90camlText.close_vdisplay_1788:
    00158c90mov eax, 1
    00158c95jmp 0x1574f0
    00158c90
    00158c9a
    00158c9a // align 0x10
    00158ca0
    00158ca0camlText.open_vdisplay_row_1789:
    00158ca0lea r10, [rsp-328]
    00158ca8cmp r10, [r14+40]
    00158cacjb 0x158d26
    00158cae
    00158caeloc_158cae:
    00158caesub rsp, 8
    00158cb2mov [rsp], rax
    00158cb6mov eax, 1
    00158cbbcall camlText.new_row_1571
    00158cc0lea rax, [rip+0x1d13a9]
    00158cc7mov rax, [rax+80]
    00158ccbmov rax, [rax]
    00158ccecmp rax, 1
    00158cd2jle 0x158ce0
    00158cd4lea rax, [rip+0x18f845]
    00158cdbcall camlText.make_border_1631
    00158ce0
    00158ce0loc_158ce0:
    00158ce0mov rax, [rsp]
    00158ce4call camlText.formated_1741
    00158ce9mov esi, 1
    00158ceemov edi, 1
    00158cf3mov ebx, 3
    00158cf8call camlText.open_cell_1595
    00158cfdlea rax, [rip+0x18ddb4]
    00158d04mov rax, [rax+1128]
    00158d0bmov rax, [rax]
    00158d0emov [rax+64], 3
    00158d16lea rax, [rip+0x18ee1b]
    00158d1dadd rsp, 8
    00158d21jmp 0x158780
    00158d26
    00158d26loc_158d26:
    00158d26push 34
    00158d28call caml_call_realloc_stack
    00158d2dpop r10
    00158d2fjmp 0x158cae
    00158ca0
    00158d34
    00158d34 // align 0x10
    00158d40
    00158d40camlText.close_vdisplay_row_1790:
    00158d40lea r10, [rsp-320]
    00158d48cmp r10, [r14+40]
    00158d4cjb 0x158dd2
    00158d52
    00158d52loc_158d52:
    00158d52mov eax, 1
    00158d57call camlText.close_display_1762
    00158d5clea rax, [rip+0x1d130d]
    00158d63mov rax, [rax+80]
    00158d67mov rax, [rax]
    00158d6acmp rax, 1
    00158d6ejle 0x158d7c
    00158d70lea rax, [rip+0x190231]
    00158d77call camlText.make_border_1631
    00158d7c
    00158d7cloc_158d7c:
    00158d7cmov eax, 1
    00158d81call camlText.do_close_cell_1601
    00158d86lea rax, [rip+0x18dd2b]
    00158d8dmov rax, [rax+1128]
    00158d94mov rax, [rax]
    00158d97mov [rax+64], 1
    00158d9fmov eax, 1
    00158da4call camlText.close_row_1624
    00158da9lea rax, [rip+0x1d12c0]
    00158db0mov rax, [rax+80]
    00158db4mov rax, [rax]
    00158db7cmp rax, 1
    00158dbbjle 0x158dcc
    00158dbdmov ebx, 1
    00158dc2mov eax, 1
    00158dc7jmp 0x1569d0
    00158dcc
    00158dccloc_158dcc:
    00158dccmov eax, 1
    00158dd1ret
    00158dd2
    00158dd2loc_158dd2:
    00158dd2push 33
    00158dd4call caml_call_realloc_stack
    00158dd9pop r10
    00158ddbjmp 0x158d52
    00158d40
    00158de0
    00158de0camlText.insert_sup_sub_1799:
    00158de0lea r10, [rsp-352]
    00158de8cmp r10, [r14+40]
    00158decjb 0x158f80
    00158df2
    00158df2loc_158df2:
    00158df2sub rsp, 32
    00158df6mov eax, 1
    00158dfbcall camlText.pop_freeze_1751
    00158e00mov [rsp+16], rax
    00158e05lea rax, [rip+0x18dcac]
    00158e0cmov rax, [rax+768]
    00158e13call camlText.pop_out_777
    00158e18mov [rsp+8], rax
    00158e1dmov rax, [rax]
    00158e20mov [rsp], rax
    00158e24cmp rax, 29
    00158e28je 0x158e52
    00158e2acall camlText.pp_block_727
    00158e2fmov [rsp+24], rax
    00158e34lea rax, [rip+0x18eb45]
    00158e3bcall Stdlib.Printf.sprintf
    00158e40mov rbx, rax
    00158e43mov rdi, [rbx]
    00158e46mov rax, [rsp+24]
    00158e4bcall rdi
    00158e4dcall camlText.failclose_454
    00158e52
    00158e52loc_158e52:
    00158e52mov esi, 3
    00158e57mov edi, 1
    00158e5cmov ebx, 1
    00158e61mov eax, 1
    00158e66call camlText.newstatus_796
    00158e6bmov [rsp+24], rax
    00158e70sub r15, 32
    00158e74cmp r15, [r14]
    00158e77jb 0x158f76
    00158e7d
    00158e7dloc_158e7d:
    00158e7dlea rbx, [r15+8]
    00158e81mov [rbx-8], 3072
    00158e89mov rdi, [rsp]
    00158e8dmov [rbx], rdi
    00158e90mov rdi, [rsp+8]
    00158e95mov rdi, [rdi+8]
    00158e99mov [rbx+8], rdi
    00158e9dmov [rbx+16], rax
    00158ea1lea rax, [rip+0x18dc10]
    00158ea8mov rax, [rax+768]
    00158eafcall camlText.push_out_764
    00158eb4lea rbx, [rip+0x18ec7d]
    00158ebbmov rax, rbx
    00158ebecall camlText.tr_block_630
    00158ec3call camlText.do_close_block_1239
    00158ec8mov rax, [rsp+8]
    00158ecdmov rsi, [rax+16]
    00158ed1lea rax, [rip+0x18dbe0]
    00158ed8mov rdi, [rax+792]
    00158edfmov rbx, rsp
    00158ee2mov rsp, [r14+64]
    00158ee6call caml_modify
    00158eebmov rsp, rbx
    00158eeemov eax, 1
    00158ef3lea rdi, [rip+0x18ec3e]
    00158efamov rbx, rdi
    00158efdcall camlText.open_block_inner_2309
    00158f02mov rbx, [rsp+16]
    00158f07mov rax, [rbx+8]
    00158f0bcmp rax, 1
    00158f0fje 0x158f19
    00158f11mov rax, [rbx]
    00158f14call camlText.freeze_1744
    00158f19
    00158f19loc_158f19:
    00158f19lea rax, [rip+0x18ec18]
    00158f20call camlText.open_display_1756
    00158f25mov rax, [rsp+24]
    00158f2amov rax, [rax+16]
    00158f2ecall camlDoOut.to_string_830
    00158f33mov [rsp], rax
    00158f37call camlText.do_put_1141
    00158f3clea rsi, [rip+0x18ebf5]
    00158f43mov rdi, [rsp]
    00158f47mov rbx, rsp
    00158f4amov rsp, [r14+64]
    00158f4ecall caml_string_equal
    00158f53mov rsp, rbx
    00158f56lea rbx, [rip+0x18db5b]
    00158f5dmov rbx, [rbx+824]
    00158f64mov [rbx+8], rax
    00158f68mov rax, [rsp+24]
    00158f6dadd rsp, 32
    00158f71jmp 0x150050
    00158f76
    00158f76loc_158f76:
    00158f76call caml_call_gc
    00158f7bjmp 0x158e7d
    00158f80
    00158f80loc_158f80:
    00158f80push 37
    00158f82call caml_call_realloc_stack
    00158f87pop r10
    00158f89jmp 0x158df2
    00158de0
    00158f8e
    00158f8e // align 0x10
    00158f90
    00158f90camlText.standard_sup_sub_1809:
    00158f90lea r10, [rsp-368]
    00158f98cmp r10, [r14+40]
    00158f9cjb 0x1592e4
    00158fa2
    00158fa2loc_158fa2:
    00158fa2sub rsp, 48
    00158fa6mov [rsp+8], rax
    00158fabmov [rsp+32], rdi
    00158fb0mov [rsp+40], rsi
    00158fb5cmp r15, [r14]
    00158fb8jbe 0x1592da
    00158fbe
    00158fbeloc_158fbe:
    00158fbecmp rdx, 1
    00158fc2je 0x159238
    00158fc8mov [rsp+24], rbx
    00158fcdmov eax, 1
    00158fd2call camlText.insert_sup_sub_1799
    00158fd7mov rax, [rsp+32]
    00158fdcmov rax, [rax]
    00158fdfmov rbx, [rsp+40]
    00158fe4mov rbx, [rbx]
    00158fe7mov rdi, [rax-8]
    00158febshr rdi, 10
    00158fefcmp rdi, 2
    00158ff3jge 0x159060
    00158ff5mov rax, [rax]
    00158ff8mov rdi, 0x700000000000000
    00159002cmp rax, rdi
    00159005jne 0x159060
    00159007mov rax, [rbx-8]
    0015900bshr rax, 10
    0015900fcmp rax, 2
    00159013jge 0x159038
    00159015mov rax, [rbx]
    00159018mov rbx, 0x700000000000000
    00159022cmp rax, rbx
    00159025jne 0x159038
    00159027lea rax, [rip+0x18e942]
    0015902emov rbx, rax
    00159031mov [rsp], rax
    00159035jmp 0x1590b6
    00159037nop
    00159038
    00159038loc_159038:
    00159038lea rax, [rip+0x18e909]
    0015903fcall camlText.formated_1741
    00159044call camlText.change_format_1575
    00159049lea rax, [rip+0x18e920]
    00159050lea rbx, [rip+0x18e8e1]
    00159057mov [rsp], rax
    0015905bjmp 0x1590b6
    0015905dnop [rax]
    00159060
    00159060loc_159060:
    00159060mov rax, [rbx-8]
    00159064shr rax, 10
    00159068cmp rax, 2
    0015906cjge 0x1590a8
    0015906emov rax, [rbx]
    00159071mov rbx, 0x700000000000000
    0015907bcmp rax, rbx
    0015907ejne 0x1590a8
    00159080lea rax, [rip+0x18e8a1]
    00159087call camlText.formated_1741
    0015908ccall camlText.change_format_1575
    00159091lea rax, [rip+0x18e880]
    00159098lea rbx, [rip+0x18e8a9]
    0015909fmov [rsp], rax
    001590a3jmp 0x1590b6
    001590a5nop [rax]
    001590a8
    001590a8loc_1590a8:
    001590a8lea rax, [rip+0x18e8c1]
    001590afmov rbx, rax
    001590b2mov [rsp], rax
    001590b6
    001590b6loc_1590b6:
    001590b6lea rax, [rip+0x18d9fb]
    001590bdmov rax, [rax+824]
    001590c4mov rax, [rax+8]
    001590c8mov [rsp+16], rax
    001590cdmov rax, rbx
    001590d0call camlText.item_display_format_1770
    001590d5lea rsi, [rip+0x18ea5c]
    001590dcmov rax, [rsp+32]
    001590e1mov rdi, [rax]
    001590e4mov rbx, rsp
    001590e7mov rsp, [r14+64]
    001590ebcall caml_string_notequal
    001590f0mov rsp, rbx
    001590f3cmp rax, 1
    001590f7jne 0x159134
    001590f9lea rsi, [rip+0x18ea38]
    00159100mov rax, [rsp+40]
    00159105mov rdi, [rax]
    00159108mov rbx, rsp
    0015910bmov rsp, [r14+64]
    0015910fcall caml_string_notequal
    00159114mov rsp, rbx
    00159117cmp rax, 1
    0015911bjne 0x159134
    0015911dmov eax, 1
    00159122mov rbx, [rsp+24]
    00159127mov rdi, [rbx]
    0015912acall rdi
    0015912cjmp 0x159210
    00159131nop [rax]
    00159134
    00159134loc_159134:
    00159134lea rbx, [rip+0x18e9fd]
    0015913blea rax, [rip+0x1d0f2e]
    00159142mov rax, [rax+80]
    00159146mov rax, [rax]
    00159149cmp rax, 3
    0015914dsetg al
    00159150movzx rax, al
    00159154lea rax, [rax+rax+1]
    00159159call camlText.open_table_1557
    0015915elea rax, [rip+0x18e7e3]
    00159165call camlText.open_vdisplay_row_1789
    0015916amov rbx, [rsp+8]
    0015916fmov rdi, [rbx]
    00159172mov rax, [rsp+32]
    00159177call rdi
    00159179mov eax, 1
    0015917ecall camlText.close_vdisplay_row_1790
    00159183lea rax, [rip+0x18e79e]
    0015918acall camlText.open_vdisplay_row_1789
    0015918fmov eax, 1
    00159194mov rbx, [rsp+24]
    00159199mov rdi, [rbx]
    0015919ccall rdi
    0015919emov eax, 1
    001591a3call camlText.close_vdisplay_row_1790
    001591a8lea rsi, [rip+0x18e989]
    001591afmov rax, [rsp+40]
    001591b4mov rdi, [rax]
    001591b7mov rbx, rsp
    001591bamov rsp, [r14+64]
    001591becall caml_string_notequal
    001591c3mov rsp, rbx
    001591c6cmp rax, 1
    001591cajne 0x1591d7
    001591ccmov rax, [rsp+16]
    001591d1cmp rax, 1
    001591d5je 0x1591fc
    001591d7
    001591d7loc_1591d7:
    001591d7lea rax, [rip+0x18e75a]
    001591decall camlText.open_vdisplay_row_1789
    001591e3mov rbx, [rsp+8]
    001591e8mov rdi, [rbx]
    001591ebmov rax, [rsp+40]
    001591f0call rdi
    001591f2mov eax, 1
    001591f7call camlText.close_vdisplay_row_1790
    001591fc
    001591fcloc_1591fc:
    001591fcmov eax, 1
    00159201call camlText.close_table_1695
    00159206mov eax, 1
    0015920bcall camlText.item_display_1765
    00159210
    00159210loc_159210:
    00159210mov eax, 1
    00159215call camlText.close_display_1762
    0015921amov rax, [rsp]
    0015921ecall camlText.formated_1741
    00159223call camlText.change_format_1575
    00159228mov eax, 1
    0015922dadd rsp, 48
    00159231jmp 0x1588e0
    00159236nop
    00159238
    00159238loc_159238:
    00159238mov eax, 1
    0015923dmov rdi, [rbx]
    00159240call rdi
    00159242lea rsi, [rip+0x18e8ef]
    00159249mov r12, [rsp+40]
    0015924emov rdi, [r12]
    00159252mov rbx, rsp
    00159255mov rsp, [r14+64]
    00159259call caml_string_notequal
    0015925emov rsp, rbx
    00159261cmp rax, 1
    00159265je 0x159287
    00159267mov [rsp+40], r12
    0015926clea rax, [rip+0x18e695]
    00159273call camlText.put_1298
    00159278mov rbx, [rsp+8]
    0015927dmov rdi, [rbx]
    00159280mov rax, [rsp+40]
    00159285call rdi
    00159287
    00159287loc_159287:
    00159287lea rsi, [rip+0x18e8aa]
    0015928emov r12, [rsp+32]
    00159293mov rdi, [r12]
    00159297mov rbx, rsp
    0015929amov rsp, [r14+64]
    0015929ecall caml_string_notequal
    001592a3mov rsp, rbx
    001592a6cmp rax, 1
    001592aaje 0x1592d0
    001592acmov [rsp+32], r12
    001592b1lea rax, [rip+0x18e640]
    001592b8call camlText.put_1298
    001592bdmov rbx, [rsp+8]
    001592c2mov rdi, [rbx]
    001592c5mov rax, [rsp+32]
    001592caadd rsp, 48
    001592cejmp rdi
    001592d0
    001592d0loc_1592d0:
    001592d0mov eax, 1
    001592d5add rsp, 48
    001592d9ret
    001592da
    001592daloc_1592da:
    001592dacall caml_call_gc
    001592dfjmp 0x158fbe
    001592e4
    001592e4loc_1592e4:
    001592e4push 39
    001592e6call caml_call_realloc_stack
    001592ebpop r10
    001592edjmp 0x158fa2
    00158f90
    001592f2
    001592f2 // align 0x10
    00159300
    00159300camlText.limit_sup_sub_1810:
    00159300lea r10, [rsp-352]
    00159308cmp r10, [r14+40]
    0015930cjb 0x1593e3
    00159312
    00159312loc_159312:
    00159312sub rsp, 32
    00159316mov [rsp+16], rax
    0015931bmov [rsp+8], rbx
    00159320mov [rsp], rdi
    00159324mov [rsp+24], rsi
    00159329mov eax, 1
    0015932ecall camlText.item_display_1765
    00159333lea rbx, [rip+0x18e7fe]
    0015933alea rax, [rip+0x1d0d2f]
    00159341mov rax, [rax+80]
    00159345mov rax, [rax]
    00159348cmp rax, 3
    0015934csetg al
    0015934fmovzx rax, al
    00159353lea rax, [rax+rax+1]
    00159358call camlText.open_table_1557
    0015935dlea rax, [rip+0x18e60c]
    00159364call camlText.open_vdisplay_row_1789
    00159369mov rbx, [rsp+16]
    0015936emov rdi, [rbx]
    00159371mov rax, [rsp]
    00159375call rdi
    00159377mov eax, 1
    0015937ccall camlText.close_vdisplay_row_1790
    00159381lea rax, [rip+0x18e5e8]
    00159388call camlText.open_vdisplay_row_1789
    0015938dmov eax, 1
    00159392mov rbx, [rsp+8]
    00159397mov rdi, [rbx]
    0015939acall rdi
    0015939cmov eax, 1
    001593a1call camlText.close_vdisplay_row_1790
    001593a6lea rax, [rip+0x18e5c3]
    001593adcall camlText.open_vdisplay_row_1789
    001593b2mov rbx, [rsp+16]
    001593b7mov rdi, [rbx]
    001593bamov rax, [rsp+24]
    001593bfcall rdi
    001593c1mov eax, 1
    001593c6call camlText.close_vdisplay_row_1790
    001593cbmov eax, 1
    001593d0call camlText.close_table_1695
    001593d5mov eax, 1
    001593daadd rsp, 32
    001593dejmp 0x1588e0
    001593e3
    001593e3loc_1593e3:
    001593e3push 37
    001593e5call caml_call_realloc_stack
    001593eapop r10
    001593ecjmp 0x159312
    00159300