File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
    00161f30
    00161f30camlOutUnicode.entry:
    00161f30lea r10, [rsp-456]
    00161f38cmp r10, [r14+40]
    00161f3cjb 0x162f17
    00161f42
    00161f42loc_161f42:
    00161f42sub rsp, 136
    00161f49lea rsi, [rip+0x191d98]
    00161f50lea rdi, [rip+0x191de1]
    00161f57mov rbx, rsp
    00161f5amov rsp, [r14+64]
    00161f5ecall caml_initialize
    00161f63mov rsp, rbx
    00161f66mov edi, 1
    00161f6bmov rbx, rsp
    00161f6emov rsp, [r14+64]
    00161f72call caml_fresh_oo_id
    00161f77mov rsp, rbx
    00161f7acall caml_alloc2
    00161f7flea rsi, [r15+8]
    00161f83mov [rsi-8], 2296
    00161f8blea rbx, [rip+0x19214e]
    00161f92mov [rsi], rbx
    00161f95mov [rsi+8], rax
    00161f99lea rdi, [rip+0x191d98]
    00161fa0add rdi, 680
    00161fa7mov rbx, rsp
    00161faamov rsp, [r14+64]
    00161faecall caml_initialize
    00161fb3mov rsp, rbx
    00161fb6lea rsi, [rip+0x191d43]
    00161fbdlea rdi, [rip+0x191d74]
    00161fc4add rdi, 688
    00161fcbmov rbx, rsp
    00161fcemov rsp, [r14+64]
    00161fd2call caml_initialize
    00161fd7mov rsp, rbx
    00161fdalea rsi, [rip+0x191d37]
    00161fe1lea rdi, [rip+0x191d50]
    00161fe8add rdi, 696
    00161fefmov rbx, rsp
    00161ff2mov rsp, [r14+64]
    00161ff6call caml_initialize
    00161ffbmov rsp, rbx
    00161ffelea rsi, [rip+0x1917c3]
    00162005lea rdi, [rip+0x191d2c]
    0016200cadd rdi, 704
    00162013mov rbx, rsp
    00162016mov rsp, [r14+64]
    0016201acall caml_initialize
    0016201fmov rsp, rbx
    00162022lea rsi, [rip+0x1917bf]
    00162029lea rdi, [rip+0x191d08]
    00162030add rdi, 712
    00162037mov rbx, rsp
    0016203amov rsp, [r14+64]
    0016203ecall caml_initialize
    00162043mov rsp, rbx
    00162046lea rsi, [rip+0x1917b3]
    0016204dlea rdi, [rip+0x191ce4]
    00162054add rdi, 8
    00162058mov rbx, rsp
    0016205bmov rsp, [r14+64]
    0016205fcall caml_initialize
    00162064mov rsp, rbx
    00162067mov edi, 1
    0016206cmov rbx, rsp
    0016206fmov rsp, [r14+64]
    00162073call caml_fresh_oo_id
    00162078mov rsp, rbx
    0016207bcall caml_alloc2
    00162080lea rsi, [r15+8]
    00162084mov [rsi-8], 2296
    0016208clea rbx, [rip+0x19248d]
    00162093mov [rsi], rbx
    00162096mov [rsi+8], rax
    0016209alea rdi, [rip+0x191c97]
    001620a1add rdi, 40
    001620a5mov rbx, rsp
    001620a8mov rsp, [r14+64]
    001620accall caml_initialize
    001620b1mov rsp, rbx
    001620b4lea rsi, [rip+0x19175d]
    001620bblea rdi, [rip+0x191c76]
    001620c2add rdi, 720
    001620c9mov rbx, rsp
    001620ccmov rsp, [r14+64]
    001620d0call caml_initialize
    001620d5mov rsp, rbx
    001620d8lea rsi, [rip+0x191771]
    001620dflea r12, [rip+0x19174a]
    001620e6lea rdi, [rip+0x191c4b]
    001620edadd rdi, 728
    001620f4mov rbx, rsp
    001620f7mov rsp, [r14+64]
    001620fbcall caml_initialize
    00162100mov rsp, rbx
    00162103lea rdi, [rip+0x191c2e]
    0016210aadd rdi, 736
    00162111mov rsi, r12
    00162114mov rbx, rsp
    00162117mov rsp, [r14+64]
    0016211bcall caml_initialize
    00162120mov rsp, rbx
    00162123lea rsi, [rip+0x191766]
    0016212alea r12, [rip+0x19173f]
    00162131lea rdi, [rip+0x191c00]
    00162138add rdi, 744
    0016213fmov rbx, rsp
    00162142mov rsp, [r14+64]
    00162146call caml_initialize
    0016214bmov rsp, rbx
    0016214elea rdi, [rip+0x191be3]
    00162155add rdi, 752
    0016215cmov rsi, r12
    0016215fmov rbx, rsp
    00162162mov rsp, [r14+64]
    00162166call caml_initialize
    0016216bmov rsp, rbx
    0016216elea rsi, [rip+0x19175b]
    00162175lea r12, [rip+0x191734]
    0016217clea rdi, [rip+0x191bb5]
    00162183add rdi, 760
    0016218amov rbx, rsp
    0016218dmov rsp, [r14+64]
    00162191call caml_initialize
    00162196mov rsp, rbx
    00162199lea rdi, [rip+0x191b98]
    001621a0add rdi, 768
    001621a7mov rsi, r12
    001621aamov rbx, rsp
    001621admov rsp, [r14+64]
    001621b1call caml_initialize
    001621b6mov rsp, rbx
    001621b9call caml_alloc3
    001621belea rsi, [r15+8]
    001621c2add rsi, 16
    001621c6mov [rsi-8], 1024
    001621celea rdi, [rip+0x191b63]
    001621d5mov rax, [rdi+728]
    001621dcmov [rsi], rax
    001621dflea r12, [rsi-16]
    001621e3mov [r12-8], 1024
    001621ecmov rax, [rdi+736]
    001621f3mov [r12], rax
    001621f7add rdi, 776
    001621femov rbx, rsp
    00162201mov rsp, [r14+64]
    00162205call caml_initialize
    0016220amov rsp, rbx
    0016220dlea rdi, [rip+0x191b24]
    00162214add rdi, 784
    0016221bmov rsi, r12
    0016221emov rbx, rsp
    00162221mov rsp, [r14+64]
    00162225call caml_initialize
    0016222amov rsp, rbx
    0016222dlea rsi, [rip+0x1916d4]
    00162234lea r12, [rip+0x1916b5]
    0016223blea rdi, [rip+0x191af6]
    00162242add rdi, 792
    00162249mov rbx, rsp
    0016224cmov rsp, [r14+64]
    00162250call caml_initialize
    00162255mov rsp, rbx
    00162258lea rdi, [rip+0x191ad9]
    0016225fadd rdi, 800
    00162266mov rsi, r12
    00162269mov rbx, rsp
    0016226cmov rsp, [r14+64]
    00162270call caml_initialize
    00162275mov rsp, rbx
    00162278lea rsi, [rip+0x1916a1]
    0016227flea rdi, [rip+0x191ab2]
    00162286add rdi, 808
    0016228dmov rbx, rsp
    00162290mov rsp, [r14+64]
    00162294call caml_initialize
    00162299mov rsp, rbx
    0016229clea rsi, [rip+0x1916b5]
    001622a3lea r12, [rip+0x191696]
    001622aalea rdi, [rip+0x191a87]
    001622b1add rdi, 816
    001622b8mov rbx, rsp
    001622bbmov rsp, [r14+64]
    001622bfcall caml_initialize
    001622c4mov rsp, rbx
    001622c7lea rdi, [rip+0x191a6a]
    001622ceadd rdi, 824
    001622d5mov rsi, r12
    001622d8mov rbx, rsp
    001622dbmov rsp, [r14+64]
    001622dfcall caml_initialize
    001622e4mov rsp, rbx
    001622e7lea rsi, [rip+0x1916b2]
    001622eelea r12, [rip+0x191693]
    001622f5lea r13, [rip+0x191674]
    001622fclea rdi, [rip+0x191a35]
    00162303add rdi, 16
    00162307mov rbx, rsp
    0016230amov rsp, [r14+64]
    0016230ecall caml_initialize
    00162313mov rsp, rbx
    00162316lea rdi, [rip+0x191a1b]
    0016231dadd rdi, 24
    00162321mov rsi, r12
    00162324mov rbx, rsp
    00162327mov rsp, [r14+64]
    0016232bcall caml_initialize
    00162330mov rsp, rbx
    00162333lea rdi, [rip+0x1919fe]
    0016233aadd rdi, 32
    0016233emov rsi, r13
    00162341mov rbx, rsp
    00162344mov rsp, [r14+64]
    00162348call caml_initialize
    0016234dmov rsp, rbx
    00162350lea rsi, [rip+0x191681]
    00162357lea r12, [rip+0x19165a]
    0016235elea rdi, [rip+0x1919d3]
    00162365add rdi, 56
    00162369mov rbx, rsp
    0016236cmov rsp, [r14+64]
    00162370call caml_initialize
    00162375mov rsp, rbx
    00162378lea rdi, [rip+0x1919b9]
    0016237fadd rdi, 48
    00162383mov rsi, r12
    00162386mov rbx, rsp
    00162389mov rsp, [r14+64]
    0016238dcall caml_initialize
    00162392mov rsp, rbx
    00162395mov esi, 1
    0016239alea rdi, [rip+0x191997]
    001623a1add rdi, 264
    001623a8mov rbx, rsp
    001623abmov rsp, [r14+64]
    001623afcall caml_initialize
    001623b4mov rsp, rbx
    001623b7lea rsi, [rip+0x191632]
    001623belea rdi, [rip+0x191973]
    001623c5add rdi, 64
    001623c9mov rbx, rsp
    001623ccmov rsp, [r14+64]
    001623d0call caml_initialize
    001623d5mov rsp, rbx
    001623d8lea rsi, [rip+0x191631]
    001623dflea rdi, [rip+0x191952]
    001623e6add rdi, 72
    001623eamov rbx, rsp
    001623edmov rsp, [r14+64]
    001623f1call caml_initialize
    001623f6mov rsp, rbx
    001623f9lea rax, [rip+0x1917f8]
    00162400mov [rsp], rax
    00162404lea rax, [rip+0x1917d5]
    0016240bmov [rsp+8], rax
    00162410lea rax, [rip+0x1917b1]
    00162417mov [rsp+16], rax
    0016241clea rax, [rip+0x19178d]
    00162423mov [rsp+24], rax
    00162428lea rax, [rip+0x191769]
    0016242fmov [rsp+32], rax
    00162434lea rax, [rip+0x191745]
    0016243bmov [rsp+40], rax
    00162440lea rax, [rip+0x191721]
    00162447mov [rsp+48], rax
    0016244clea rax, [rip+0x1916fd]
    00162453mov [rsp+56], rax
    00162458lea rax, [rip+0x1916d9]
    0016245fmov [rsp+64], rax
    00162464lea rax, [rip+0x1916b5]
    0016246bmov [rsp+72], rax
    00162470lea rax, [rip+0x191691]
    00162477mov [rsp+80], rax
    0016247clea rax, [rip+0x19166d]
    00162483mov [rsp+88], rax
    00162488lea rax, [rip+0x191649]
    0016248fmov [rsp+96], rax
    00162494lea rax, [rip+0x191625]
    0016249bmov [rsp+104], rax
    001624a0lea rax, [rip+0x191601]
    001624a7mov [rsp+112], rax
    001624aclea rax, [rip+0x1915dd]
    001624b3mov [rsp+120], rax
    001624b8lea r12, [rip+0x1915b9]
    001624bflea r13, [rip+0x19159a]
    001624c6lea rbp, [rip+0x19157b]
    001624cdlea rax, [rip+0x19155c]
    001624d4mov [rsp+128], rax
    001624dclea rdi, [rip+0x191855]
    001624e3add rdi, 80
    001624e7mov rsi, [rsp]
    001624ebmov rbx, rsp
    001624eemov rsp, [r14+64]
    001624f2call caml_initialize
    001624f7mov rsp, rbx
    001624falea rdi, [rip+0x191837]
    00162501add rdi, 88
    00162505mov rsi, [rsp+8]
    0016250amov rbx, rsp
    0016250dmov rsp, [r14+64]
    00162511call caml_initialize
    00162516mov rsp, rbx
    00162519lea rdi, [rip+0x191818]
    00162520add rdi, 96
    00162524mov rsi, [rsp+16]
    00162529mov rbx, rsp
    0016252cmov rsp, [r14+64]
    00162530call caml_initialize
    00162535mov rsp, rbx
    00162538lea rdi, [rip+0x1917f9]
    0016253fadd rdi, 104
    00162543mov rsi, [rsp+24]
    00162548mov rbx, rsp
    0016254bmov rsp, [r14+64]
    0016254fcall caml_initialize
    00162554mov rsp, rbx
    00162557lea rdi, [rip+0x1917da]
    0016255eadd rdi, 112
    00162562mov rsi, [rsp+32]
    00162567mov rbx, rsp
    0016256amov rsp, [r14+64]
    0016256ecall caml_initialize
    00162573mov rsp, rbx
    00162576lea rdi, [rip+0x1917bb]
    0016257dadd rdi, 120
    00162581mov rsi, [rsp+40]
    00162586mov rbx, rsp
    00162589mov rsp, [r14+64]
    0016258dcall caml_initialize
    00162592mov rsp, rbx
    00162595lea rdi, [rip+0x19179c]
    0016259cadd rdi, 128
    001625a3mov rsi, [rsp+48]
    001625a8mov rbx, rsp
    001625abmov rsp, [r14+64]
    001625afcall caml_initialize
    001625b4mov rsp, rbx
    001625b7lea rdi, [rip+0x19177a]
    001625beadd rdi, 136
    001625c5mov rsi, [rsp+56]
    001625camov rbx, rsp
    001625cdmov rsp, [r14+64]
    001625d1call caml_initialize
    001625d6mov rsp, rbx
    001625d9lea rdi, [rip+0x191758]
    001625e0add rdi, 144
    001625e7mov rsi, [rsp+64]
    001625ecmov rbx, rsp
    001625efmov rsp, [r14+64]
    001625f3call caml_initialize
    001625f8mov rsp, rbx
    001625fblea rdi, [rip+0x191736]
    00162602add rdi, 152
    00162609mov rsi, [rsp+72]
    0016260emov rbx, rsp
    00162611mov rsp, [r14+64]
    00162615call caml_initialize
    0016261amov rsp, rbx
    0016261dlea rdi, [rip+0x191714]
    00162624add rdi, 160
    0016262bmov rsi, [rsp+80]
    00162630mov rbx, rsp
    00162633mov rsp, [r14+64]
    00162637call caml_initialize
    0016263cmov rsp, rbx
    0016263flea rdi, [rip+0x1916f2]
    00162646add rdi, 168
    0016264dmov rsi, [rsp+88]
    00162652mov rbx, rsp
    00162655mov rsp, [r14+64]
    00162659call caml_initialize
    0016265emov rsp, rbx
    00162661lea rdi, [rip+0x1916d0]
    00162668add rdi, 176
    0016266fmov rsi, [rsp+96]
    00162674mov rbx, rsp
    00162677mov rsp, [r14+64]
    0016267bcall caml_initialize
    00162680mov rsp, rbx
    00162683lea rdi, [rip+0x1916ae]
    0016268aadd rdi, 184
    00162691mov rsi, [rsp+104]
    00162696mov rbx, rsp
    00162699mov rsp, [r14+64]
    0016269dcall caml_initialize
    001626a2mov rsp, rbx
    001626a5lea rdi, [rip+0x19168c]
    001626acadd rdi, 192
    001626b3mov rsi, [rsp+112]
    001626b8mov rbx, rsp
    001626bbmov rsp, [r14+64]
    001626bfcall caml_initialize
    001626c4mov rsp, rbx
    001626c7lea rdi, [rip+0x19166a]
    001626ceadd rdi, 200
    001626d5mov rsi, [rsp+120]
    001626damov rbx, rsp
    001626ddmov rsp, [r14+64]
    001626e1call caml_initialize
    001626e6mov rsp, rbx
    001626e9lea rdi, [rip+0x191648]
    001626f0add rdi, 208
    001626f7mov rsi, r12
    001626famov rbx, rsp
    001626fdmov rsp, [r14+64]
    00162701call caml_initialize
    00162706mov rsp, rbx
    00162709lea rdi, [rip+0x191628]
    00162710add rdi, 216
    00162717mov rsi, r13
    0016271amov rbx, rsp
    0016271dmov rsp, [r14+64]
    00162721call caml_initialize
    00162726mov rsp, rbx
    00162729lea rdi, [rip+0x191608]
    00162730add rdi, 224
    00162737mov rsi, rbp
    0016273amov rbx, rsp
    0016273dmov rsp, [r14+64]
    00162741call caml_initialize
    00162746mov rsp, rbx
    00162749lea rdi, [rip+0x1915e8]
    00162750add rdi, 232
    00162757mov rsi, [rsp+128]
    0016275fmov rbx, rsp
    00162762mov rsp, [r14+64]
    00162766call caml_initialize
    0016276bmov rsp, rbx
    0016276elea rax, [rip+0x207893]
    00162775mov rax, [rax+272]
    0016277cmov rax, [rax]
    0016277fmov ebx, 203
    00162784call Stdlib.Hashtbl.create_inner
    00162789lea rdi, [rip+0x1915a8]
    00162790add rdi, 832
    00162797mov rsi, rax
    0016279amov rbx, rsp
    0016279dmov rsp, [r14+64]
    001627a1call caml_initialize
    001627a6mov rsp, rbx
    001627a9lea rsi, [rip+0x191478]
    001627b0lea r12, [rip+0x191459]
    001627b7lea rdi, [rip+0x19157a]
    001627beadd rdi, 240
    001627c5mov rbx, rsp
    001627c8mov rsp, [r14+64]
    001627cccall caml_initialize
    001627d1mov rsp, rbx
    001627d4lea rdi, [rip+0x19155d]
    001627dbadd rdi, 248
    001627e2mov rsi, r12
    001627e5mov rbx, rsp
    001627e8mov rsp, [r14+64]
    001627eccall caml_initialize
    001627f1mov rsp, rbx
    001627f4lea rsi, [rip+0x19144d]
    001627fblea rdi, [rip+0x191536]
    00162802add rdi, 256
    00162809mov rbx, rsp
    0016280cmov rsp, [r14+64]
    00162810call caml_initialize
    00162815mov rsp, rbx
    00162818mov esi, 65
    0016281dlea rdi, [rip+0x191514]
    00162824add rdi, 272
    0016282bmov rbx, rsp
    0016282emov rsp, [r14+64]
    00162832call caml_initialize
    00162837mov rsp, rbx
    0016283amov esi, 321
    0016283flea rdi, [rip+0x1914f2]
    00162846add rdi, 280
    0016284dmov rbx, rsp
    00162850mov rsp, [r14+64]
    00162854call caml_initialize
    00162859mov rsp, rbx
    0016285cmov esi, 18503
    00162861lea rdi, [rip+0x1914d0]
    00162868add rdi, 288
    0016286fmov rbx, rsp
    00162872mov rsp, [r14+64]
    00162876call caml_initialize
    0016287bmov rsp, rbx
    0016287emov esi, 16391
    00162883lea rdi, [rip+0x1914ae]
    0016288aadd rdi, 296
    00162891mov rbx, rsp
    00162894mov rsp, [r14+64]
    00162898call caml_initialize
    0016289dmov rsp, rbx
    001628a0mov esi, 16389
    001628a5lea rdi, [rip+0x19148c]
    001628acadd rdi, 304
    001628b3mov rbx, rsp
    001628b6mov rsp, [r14+64]
    001628bacall caml_initialize
    001628bfmov rsp, rbx
    001628c2mov esi, 16393
    001628c7lea rdi, [rip+0x19146a]
    001628ceadd rdi, 312
    001628d5mov rbx, rsp
    001628d8mov rsp, [r14+64]
    001628dccall caml_initialize
    001628e1mov rsp, rbx
    001628e4mov esi, 16395
    001628e9lea rdi, [rip+0x191448]
    001628f0add rdi, 320
    001628f7mov rbx, rsp
    001628famov rsp, [r14+64]
    001628fecall caml_initialize
    00162903mov rsp, rbx
    00162906mov esi, 16397
    0016290blea rdi, [rip+0x191426]
    00162912add rdi, 328
    00162919mov rbx, rsp
    0016291cmov rsp, [r14+64]
    00162920call caml_initialize
    00162925mov rsp, rbx
    00162928mov esi, 16405
    0016292dlea rdi, [rip+0x191404]
    00162934add rdi, 336
    0016293bmov rbx, rsp
    0016293emov rsp, [r14+64]
    00162942call caml_initialize
    00162947mov rsp, rbx
    0016294amov esi, 16407
    0016294flea rdi, [rip+0x1913e2]
    00162956add rdi, 344
    0016295dmov rbx, rsp
    00162960mov rsp, [r14+64]
    00162964call caml_initialize
    00162969mov rsp, rbx
    0016296cmov esi, 16411
    00162971lea rdi, [rip+0x1913c0]
    00162978add rdi, 352
    0016297fmov rbx, rsp
    00162982mov rsp, [r14+64]
    00162986call caml_initialize
    0016298bmov rsp, rbx
    0016298emov esi, 16479
    00162993lea rdi, [rip+0x19139e]
    0016299aadd rdi, 360
    001629a1mov rbx, rsp
    001629a4mov rsp, [r14+64]
    001629a8call caml_initialize
    001629admov rsp, rbx
    001629b0mov esi, 16575
    001629b5lea rdi, [rip+0x19137c]
    001629bcadd rdi, 368
    001629c3mov rbx, rsp
    001629c6mov rsp, [r14+64]
    001629cacall caml_initialize
    001629cfmov rsp, rbx
    001629d2mov esi, 16577
    001629d7lea rdi, [rip+0x19135a]
    001629deadd rdi, 376
    001629e5mov rbx, rsp
    001629e8mov rsp, [r14+64]
    001629eccall caml_initialize
    001629f1mov rsp, rbx
    001629f4mov esi, 361
    001629f9lea rdi, [rip+0x191338]
    00162a00add rdi, 384
    00162a07mov rbx, rsp
    00162a0amov rsp, [r14+64]
    00162a0ecall caml_initialize
    00162a13mov rsp, rbx
    00162a16mov esi, 193
    00162a1blea rdi, [rip+0x191316]
    00162a22add rdi, 392
    00162a29mov rbx, rsp
    00162a2cmov rsp, [r14+64]
    00162a30call caml_initialize
    00162a35mov rsp, rbx
    00162a38mov esi, 189
    00162a3dlea rdi, [rip+0x1912f4]
    00162a44add rdi, 400
    00162a4bmov rbx, rsp
    00162a4emov rsp, [r14+64]
    00162a52call caml_initialize
    00162a57mov rsp, rbx
    00162a5amov esi, 337
    00162a5flea rdi, [rip+0x1912d2]
    00162a66add rdi, 408
    00162a6dmov rbx, rsp
    00162a70mov rsp, [r14+64]
    00162a74call caml_initialize
    00162a79mov rsp, rbx
    00162a7cmov esi, 369
    00162a81lea rdi, [rip+0x1912b0]
    00162a88add rdi, 416
    00162a8fmov rbx, rsp
    00162a92mov rsp, [r14+64]
    00162a96call caml_initialize
    00162a9bmov rsp, rbx
    00162a9emov esi, 253
    00162aa3lea rdi, [rip+0x19128e]
    00162aaaadd rdi, 424
    00162ab1mov rbx, rsp
    00162ab4mov rsp, [r14+64]
    00162ab8call caml_initialize
    00162abdmov rsp, rbx
    00162ac0mov esi, 351
    00162ac5lea rdi, [rip+0x19126c]
    00162accadd rdi, 432
    00162ad3mov rbx, rsp
    00162ad6mov rsp, [r14+64]
    00162adacall caml_initialize
    00162adfmov rsp, rbx
    00162ae2mov esi, 1467
    00162ae7lea rdi, [rip+0x19124a]
    00162aeeadd rdi, 440
    00162af5mov rbx, rsp
    00162af8mov rsp, [r14+64]
    00162afccall caml_initialize
    00162b01mov rsp, rbx
    00162b04mov esi, 1457
    00162b09lea rdi, [rip+0x191228]
    00162b10add rdi, 448
    00162b17mov rbx, rsp
    00162b1amov rsp, [r14+64]
    00162b1ecall caml_initialize
    00162b23mov rsp, rbx
    00162b26mov esi, 1459
    00162b2blea rdi, [rip+0x191206]
    00162b32add rdi, 456
    00162b39mov rbx, rsp
    00162b3cmov rsp, [r14+64]
    00162b40call caml_initialize
    00162b45mov rsp, rbx
    00162b48mov esi, 1449
    00162b4dlea rdi, [rip+0x1911e4]
    00162b54add rdi, 464
    00162b5bmov rbx, rsp
    00162b5emov rsp, [r14+64]
    00162b62call caml_initialize
    00162b67mov rsp, rbx
    00162b6amov esi, 191
    00162b6flea rdi, [rip+0x1911c2]
    00162b76add rdi, 472
    00162b7dmov rbx, rsp
    00162b80mov rsp, [r14+64]
    00162b84call caml_initialize
    00162b89mov rsp, rbx
    00162b8cmov esi, 1463
    00162b91lea rdi, [rip+0x1911a0]
    00162b98add rdi, 480
    00162b9fmov rbx, rsp
    00162ba2mov rsp, [r14+64]
    00162ba6call caml_initialize
    00162babmov rsp, rbx
    00162baemov esi, 1461
    00162bb3lea rdi, [rip+0x19117e]
    00162bbaadd rdi, 488
    00162bc1mov rbx, rsp
    00162bc4mov rsp, [r14+64]
    00162bc8call caml_initialize
    00162bcdmov rsp, rbx
    00162bd0mov esi, 1423
    00162bd5lea rdi, [rip+0x19115c]
    00162bdcadd rdi, 496
    00162be3mov rbx, rsp
    00162be6mov rsp, [r14+64]
    00162beacall caml_initialize
    00162befmov rsp, rbx
    00162bf2mov esi, 19423
    00162bf7lea rdi, [rip+0x19113a]
    00162bfeadd rdi, 504
    00162c05mov rbx, rsp
    00162c08mov rsp, [r14+64]
    00162c0ccall caml_initialize
    00162c11mov rsp, rbx
    00162c14mov esi, 447
    00162c19lea rdi, [rip+0x191118]
    00162c20add rdi, 512
    00162c27mov rbx, rsp
    00162c2amov rsp, [r14+64]
    00162c2ecall caml_initialize
    00162c33mov rsp, rbx
    00162c36mov esi, 383
    00162c3blea rdi, [rip+0x1910f6]
    00162c42add rdi, 520
    00162c49mov rbx, rsp
    00162c4cmov rsp, [r14+64]
    00162c50call caml_initialize
    00162c55mov rsp, rbx
    00162c58mov esi, 323
    00162c5dlea rdi, [rip+0x1910d4]
    00162c64add rdi, 528
    00162c6bmov rbx, rsp
    00162c6emov rsp, [r14+64]
    00162c72call caml_initialize
    00162c77mov rsp, rbx
    00162c7amov esi, 17445
    00162c7flea rdi, [rip+0x1910b2]
    00162c86add rdi, 536
    00162c8dmov rbx, rsp
    00162c90mov rsp, [r14+64]
    00162c94call caml_initialize
    00162c99mov rsp, rbx
    00162c9cmov esi, 16423
    00162ca1lea rdi, [rip+0x191090]
    00162ca8add rdi, 544
    00162cafmov rbx, rsp
    00162cb2mov rsp, [r14+64]
    00162cb6call caml_initialize
    00162cbbmov rsp, rbx
    00162cbemov esi, 16425
    00162cc3lea rdi, [rip+0x19106e]
    00162ccaadd rdi, 552
    00162cd1mov rbx, rsp
    00162cd4mov rsp, [r14+64]
    00162cd8call caml_initialize
    00162cddmov rsp, rbx
    00162ce0mov esi, 16441
    00162ce5lea rdi, [rip+0x19104c]
    00162cecadd rdi, 560
    00162cf3mov rbx, rsp
    00162cf6mov rsp, [r14+64]
    00162cfacall caml_initialize
    00162cffmov rsp, rbx
    00162d02mov esi, 16443
    00162d07lea rdi, [rip+0x19102a]
    00162d0eadd rdi, 568
    00162d15mov rbx, rsp
    00162d18mov rsp, [r14+64]
    00162d1ccall caml_initialize
    00162d21mov rsp, rbx
    00162d24mov esi, 16433
    00162d29lea rdi, [rip+0x191008]
    00162d30add rdi, 576
    00162d37mov rbx, rsp
    00162d3amov rsp, [r14+64]
    00162d3ecall caml_initialize
    00162d43mov rsp, rbx
    00162d46mov esi, 16435
    00162d4blea rdi, [rip+0x190fe6]
    00162d52add rdi, 584
    00162d59mov rbx, rsp
    00162d5cmov rsp, [r14+64]
    00162d60call caml_initialize
    00162d65mov rsp, rbx
    00162d68mov esi, 16485
    00162d6dlea rdi, [rip+0x190fc4]
    00162d74add rdi, 592
    00162d7bmov rbx, rsp
    00162d7emov rsp, [r14+64]
    00162d82call caml_initialize
    00162d87mov rsp, rbx
    00162d8amov esi, 16487
    00162d8flea rdi, [rip+0x190fa2]
    00162d96add rdi, 600
    00162d9dmov rbx, rsp
    00162da0mov rsp, [r14+64]
    00162da4call caml_initialize
    00162da9mov rsp, rbx
    00162dacmov esi, 16489
    00162db1lea rdi, [rip+0x190f80]
    00162db8add rdi, 608
    00162dbfmov rbx, rsp
    00162dc2mov rsp, [r14+64]
    00162dc6call caml_initialize
    00162dcbmov rsp, rbx
    00162dcemov esi, 16491
    00162dd3lea rdi, [rip+0x190f5e]
    00162ddaadd rdi, 616
    00162de1mov rbx, rsp
    00162de4mov rsp, [r14+64]
    00162de8call caml_initialize
    00162dedmov rsp, rbx
    00162df0mov esi, 16493
    00162df5lea rdi, [rip+0x190f3c]
    00162dfcadd rdi, 624
    00162e03mov rbx, rsp
    00162e06mov rsp, [r14+64]
    00162e0acall caml_initialize
    00162e0fmov rsp, rbx
    00162e12mov esi, 16495
    00162e17lea rdi, [rip+0x190f1a]
    00162e1eadd rdi, 632
    00162e25mov rbx, rsp
    00162e28mov rsp, [r14+64]
    00162e2ccall caml_initialize
    00162e31mov rsp, rbx
    00162e34lea rsi, [rip+0x190e2d]
    00162e3blea rdi, [rip+0x190ef6]
    00162e42add rdi, 640
    00162e49mov rbx, rsp
    00162e4cmov rsp, [r14+64]
    00162e50call caml_initialize
    00162e55mov rsp, rbx
    00162e58lea rsi, [rip+0x190e21]
    00162e5flea rdi, [rip+0x190ed2]
    00162e66add rdi, 648
    00162e6dmov rbx, rsp
    00162e70mov rsp, [r14+64]
    00162e74call caml_initialize
    00162e79mov rsp, rbx
    00162e7clea rsi, [rip+0x190e15]
    00162e83lea rdi, [rip+0x190eae]
    00162e8aadd rdi, 656
    00162e91mov rbx, rsp
    00162e94mov rsp, [r14+64]
    00162e98call caml_initialize
    00162e9dmov rsp, rbx
    00162ea0mov esi, 1731
    00162ea5lea rdi, [rip+0x190e8c]
    00162eacadd rdi, 664
    00162eb3mov rbx, rsp
    00162eb6mov rsp, [r14+64]
    00162ebacall caml_initialize
    00162ebfmov rsp, rbx
    00162ec2lea rsi, [rip+0x190de7]
    00162ec9lea rdi, [rip+0x190e68]
    00162ed0add rdi, 840
    00162ed7mov rbx, rsp
    00162edamov rsp, [r14+64]
    00162edecall caml_initialize
    00162ee3mov rsp, rbx
    00162ee6lea rsi, [rip+0x190ddb]
    00162eedlea rdi, [rip+0x190e44]
    00162ef4add rdi, 672
    00162efbmov rbx, rsp
    00162efemov rsp, [r14+64]
    00162f02call caml_initialize
    00162f07mov rsp, rbx
    00162f0amov eax, 1
    00162f0fadd rsp, 136
    00162f16ret
    00162f17
    00162f17loc_162f17:
    00162f17push 50
    00162f19call caml_call_realloc_stack
    00162f1epop r10
    00162f20jmp 0x161f42
    00161f30
    00162f25
    00162f25 // align 0x10
    00162f30
    00162f30camlGet.result_555:
    00162f30mov rdi, rbx
    00162f33cmp r15, [r14]
    00162f36jbe 0x162f46
    00162f38
    00162f38loc_162f38:
    00162f38add rdi, 24
    00162f3cmov ebx, 1
    00162f41jmp 0x162f50
    00162f46
    00162f46loc_162f46:
    00162f46call caml_call_gc
    00162f4bjmp 0x162f38
    00162f30
    00162f4d
    00162f4d // align 0x10
    00162f50
    00162f50Get..ocaml_lex_result_rec:
    00162f50lea r10, [rsp-352]
    00162f58cmp r10, [r14+40]
    00162f5cjb 0x163766
    00162f62
    00162f62loc_162f62:
    00162f62sub rsp, 32
    00162f66
    00162f66loc_162f66:
    00162f66mov rsi, rax
    00162f69mov [rsp+16], rsi
    00162f6emov [rsp+24], rdi
    00162f73cmp r15, [r14]
    00162f76jbe 0x163757
    00162f7c
    00162f7cloc_162f7c:
    00162f7clea rax, [rip+0x192e6d]
    00162f83mov rdi, rsi
    00162f86call Stdlib.Lexing.engine
    00162f8bcmp rax, 33
    00162f8fjbe 0x162fb4
    00162f91mov [rsp], rax
    00162f95mov rax, [rsp+16]
    00162f9amov rbx, [rax]
    00162f9dmov rdi, [rbx]
    00162fa0call rdi
    00162fa2mov rax, [rsp+16]
    00162fa7mov rbx, [rsp]
    00162fabmov rdi, [rsp+24]
    00162fb0jmp 0x162f66
    00162fb2nop
    00162fb4
    00162fb4loc_162fb4:
    00162fb4sar rax, 1
    00162fb7lea rdx, [rip+0xc9342]
    00162fbemovsxd rax, [rdx+4*rax]
    00162fc2add rdx, rax
    00162fc5jmp rdx
    00162fc7nop
    00162fc8mov rax, [rsp+16]
    00162fcdmov rbx, [rax+32]
    00162fd1mov rdi, [rax+40]
    00162fd5sub rdi, rbx
    00162fd8inc rdi
    00162fdbmov rax, [rax+8]
    00162fdfcall Stdlib.Bytes.sub
    00162fe4mov rdi, rax
    00162fe7lea rax, [rip+0xaa3f2]
    00162feecall caml_c_call
    00162ff3call camlGet.push_int_535
    00162ff8mov rdi, [rsp+24]
    00162ffdadd rdi, -24
    00163001add rdi, 24
    00163005mov ebx, 1
    0016300amov rax, [rsp+16]
    0016300fjmp 0x162f66
    00163014mov rax, [rsp+16]
    00163019mov rbx, [rax+32]
    0016301dmov rdi, [rax+40]
    00163021sub rdi, rbx
    00163024inc rdi
    00163027mov rax, [rax+8]
    0016302bcall Stdlib.Bytes.sub
    00163030mov rbx, [rax-8]
    00163034shr rbx, 10
    00163038lea rbx, [8*rbx-1]
    00163040movzx rdi, [rax+rbx]
    00163045sub rbx, rdi
    00163048lea rdi, [rbx+rbx-1]
    0016304dmov ebx, 3
    00163052call Stdlib.Bytes.sub
    00163057mov rbx, rax
    0016305alea rax, [rip+0x192d5f]
    00163061call camlStdlib.$5e_139
    00163066mov rdi, rax
    00163069lea rax, [rip+0xaa370]
    00163070call caml_c_call
    00163075call camlGet.push_int_535
    0016307amov rdi, [rsp+24]
    0016307fadd rdi, -24
    00163083add rdi, 24
    00163087mov ebx, 1
    0016308cmov rax, [rsp+16]
    00163091jmp 0x162f66
    00163096nop
    00163098mov rax, [rsp+16]
    0016309dmov rbx, [rax+32]
    001630a1mov rdi, [rax+40]
    001630a5sub rdi, rbx
    001630a8inc rdi
    001630abmov rax, [rax+8]
    001630afcall Stdlib.Bytes.sub
    001630b4mov rbx, [rax-8]
    001630b8shr rbx, 10
    001630bclea rbx, [8*rbx-1]
    001630c4movzx rdi, [rax+rbx]
    001630c9sub rbx, rdi
    001630cclea rdi, [rbx+rbx-1]
    001630d1mov ebx, 3
    001630d6call Stdlib.Bytes.sub
    001630dbmov rbx, rax
    001630delea rax, [rip+0x192ccb]
    001630e5call camlStdlib.$5e_139
    001630eamov rdi, rax
    001630edlea rax, [rip+0xaa2ec]
    001630f4call caml_c_call
    001630f9call camlGet.push_int_535
    001630femov rdi, [rsp+24]
    00163103add rdi, -24
    00163107add rdi, 24
    0016310bmov ebx, 1
    00163110mov rax, [rsp+16]
    00163115jmp 0x162f66
    0016311anop
    0016311clea rax, [rip+0x19273d]
    00163123mov rax, [rax+104]
    00163127mov rbx, [rax]
    0016312amov rdi, [rbx]
    0016312dmov rax, [rsp+16]
    00163132call rdi
    00163134call camlMyLexing.from_string_309
    00163139mov rbx, [rsp+24]
    0016313eadd rbx, 32
    00163142call camlGet.after_quote_557
    00163147mov rdi, [rsp+24]
    0016314cadd rdi, -24
    00163150add rdi, 24
    00163154mov ebx, 1
    00163159mov rax, [rsp+16]
    0016315ejmp 0x162f66
    00163163nop
    00163164lea rax, [rip+0x1926f5]
    0016316bmov rdi, [rax+144]
    00163172sub r15, 24
    00163176cmp r15, [r14]
    00163179jb 0x16374d
    0016317f
    0016317floc_16317f:
    0016317flea rsi, [r15+8]
    00163183mov [rsi-8], 2048
    0016318bmov [rsi], 3
    00163192mov rax, [rdi]
    00163195mov [rsi+8], rax
    00163199mov rbx, rsp
    0016319cmov rsp, [r14+64]
    001631a0call caml_modify
    001631a5mov rsp, rbx
    001631a8mov rdi, [rsp+24]
    001631adadd rdi, -24
    001631b1add rdi, 24
    001631b5mov ebx, 1
    001631bamov rax, [rsp+16]
    001631bfjmp 0x162f66
    001631c4lea rax, [rip+0x192695]
    001631cbmov rdi, [rax+144]
    001631d2sub r15, 24
    001631d6cmp r15, [r14]
    001631d9jb 0x163743
    001631df
    001631dfloc_1631df:
    001631dflea rsi, [r15+8]
    001631e3mov [rsi-8], 2048
    001631ebmov [rsi], 1
    001631f2mov rax, [rdi]
    001631f5mov [rsi+8], rax
    001631f9mov rbx, rsp
    001631fcmov rsp, [r14+64]
    00163200call caml_modify
    00163205mov rsp, rbx
    00163208mov rdi, [rsp+24]
    0016320dadd rdi, -24
    00163211add rdi, 24
    00163215mov ebx, 1
    0016321amov rax, [rsp+16]
    0016321fjmp 0x162f66
    00163224mov rbx, [rsp+16]
    00163229mov rax, [rbx+32]
    0016322dsar rax, 1
    00163230mov rbx, [rbx+8]
    00163234mov rdi, [rbx-8]
    00163238shr rdi, 10
    0016323clea rdi, [8*rdi-1]
    00163244movzx rsi, [rbx+rdi]
    00163249sub rdi, rsi
    0016324ccmp rdi, rax
    0016324fjbe 0x163761
    00163255movzx rax, [rbx+rax]
    0016325alea rax, [rax+rax+1]
    0016325fmov [rsp], rax
    00163263lea rax, [rip+0x1925f6]
    0016326amov rbx, [rax+160]
    00163271mov rbx, [rbx]
    00163274cmp rbx, 1
    00163278je 0x1632d4
    0016327amov rax, [rax+152]
    00163281call camlMyStack.pop_292
    00163286sub r15, 40
    0016328acmp r15, [r14]
    0016328djb 0x163739
    00163293
    00163293loc_163293:
    00163293lea rdi, [r15+8]
    00163297mov [rdi-8], 4343
    0016329flea rbx, [rip+3146]
    001632a6mov [rdi], rbx
    001632a9mov rbx, 0x100000000000005
    001632b3mov [rdi+8], rbx
    001632b7mov rbx, [rsp]
    001632bbmov [rdi+16], rbx
    001632bfmov [rdi+24], rax
    001632c3lea rbx, [rip+0x192a86]
    001632camov rax, rdi
    001632cdcall camlGet.open_aftergroup_550
    001632d2jmp 0x16332d
    001632d4
    001632d4loc_1632d4:
    001632d4mov eax, 5
    001632d9call camlGet.close_ngroups_544
    001632desub r15, 32
    001632e2cmp r15, [r14]
    001632e5jb 0x16372f
    001632eb
    001632ebloc_1632eb:
    001632eblea rax, [r15+8]
    001632efmov [rax-8], 3319
    001632f7lea rbx, [rip+3378]
    001632femov [rax], rbx
    00163301mov rbx, 0x100000000000005
    0016330bmov [rax+8], rbx
    0016330fmov rbx, [rsp]
    00163313mov [rax+16], rbx
    00163317lea rbx, [rip+0x1929ea]
    0016331ecall camlGet.open_aftergroup_550
    00163323mov eax, 3
    00163328call camlGet.open_ngroups_538
    0016332d
    0016332dloc_16332d:
    0016332dmov rdi, [rsp+24]
    00163332add rdi, -24
    00163336add rdi, 24
    0016333amov ebx, 1
    0016333fmov rax, [rsp+16]
    00163344jmp 0x162f66
    00163349nop [rax]
    0016334cmov rbx, [rsp+16]
    00163351mov rax, [rbx+32]
    00163355sar rax, 1
    00163358mov rbx, [rbx+8]
    0016335cmov rdi, [rbx-8]
    00163360shr rdi, 10
    00163364lea rdi, [8*rdi-1]
    0016336cmovzx rsi, [rbx+rdi]
    00163371sub rdi, rsi
    00163374cmp rdi, rax
    00163377jbe 0x163761
    0016337dmovzx rax, [rbx+rax]
    00163382lea rax, [rax+rax+1]
    00163387mov [rsp], rax
    0016338bmov eax, 3
    00163390call camlGet.close_ngroups_544
    00163395sub r15, 32
    00163399cmp r15, [r14]
    0016339cjb 0x163725
    001633a2
    001633a2loc_1633a2:
    001633a2lea rax, [r15+8]
    001633a6mov [rax-8], 3319
    001633aelea rbx, [rip+3499]
    001633b5mov [rax], rbx
    001633b8mov rbx, 0x100000000000005
    001633c2mov [rax+8], rbx
    001633c6mov rbx, [rsp]
    001633camov [rax+16], rbx
    001633celea rbx, [rip+0x1928d3]
    001633d5call camlGet.open_aftergroup_550
    001633damov rdi, [rsp+24]
    001633dfadd rdi, -24
    001633e3add rdi, 24
    001633e7mov ebx, 1
    001633ecmov rax, [rsp+16]
    001633f1jmp 0x162f66
    001633f6nop
    001633f8mov rbx, [rsp+16]
    001633fdmov rax, [rbx+32]
    00163401sar rax, 1
    00163404mov rbx, [rbx+8]
    00163408mov rdi, [rbx-8]
    0016340cshr rdi, 10
    00163410lea rdi, [8*rdi-1]
    00163418movzx rsi, [rbx+rdi]
    0016341dsub rdi, rsi
    00163420cmp rdi, rax
    00163423jbe 0x163761
    00163429movzx rax, [rbx+rax]
    0016342elea rax, [rax+rax+1]
    00163433mov [rsp], rax
    00163437mov eax, 7
    0016343ccall camlGet.close_ngroups_544
    00163441sub r15, 32
    00163445cmp r15, [r14]
    00163448jb 0x16371b
    0016344e
    0016344eloc_16344e:
    0016344elea rax, [r15+8]
    00163452mov [rax-8], 3319
    0016345alea rbx, [rip+3663]
    00163461mov [rax], rbx
    00163464mov rbx, 0x100000000000005
    0016346emov [rax+8], rbx
    00163472mov rbx, [rsp]
    00163476mov [rax+16], rbx
    0016347alea rbx, [rip+0x1927e7]
    00163481call camlGet.open_aftergroup_550
    00163486mov eax, 5
    0016348bcall camlGet.open_ngroups_538
    00163490mov rdi, [rsp+24]
    00163495add rdi, -24
    00163499add rdi, 24
    0016349dmov ebx, 1
    001634a2mov rax, [rsp+16]
    001634a7jmp 0x162f66
    001634acmov eax, 5
    001634b1call camlGet.open_ngroups_538
    001634b6mov rdi, [rsp+24]
    001634bbadd rdi, -24
    001634bfadd rdi, 24
    001634c3mov ebx, 1
    001634c8mov rax, [rsp+16]
    001634cdjmp 0x162f66
    001634d2nop
    001634d4mov eax, 5
    001634d9call camlGet.close_ngroups_544
    001634demov rdi, [rsp+24]
    001634e3add rdi, -24
    001634e7add rdi, 24
    001634ebmov ebx, 1
    001634f0mov rax, [rsp+16]
    001634f5jmp 0x162f66
    001634fanop
    001634fcmov rax, [rsp+16]
    00163501mov rbx, [rax+32]
    00163505mov rdi, [rax+40]
    00163509sub rdi, rbx
    0016350cinc rdi
    0016350fmov rax, [rax+8]
    00163513call Stdlib.Bytes.sub
    00163518mov rbx, [rax-8]
    0016351cshr rbx, 10
    00163520lea rbx, [8*rbx-1]
    00163528movzx rdi, [rax+rbx]
    0016352dsub rbx, rdi
    00163530cmp rbx, 1
    00163534jbe 0x163761
    0016353amovzx rax, [rax+1]
    0016353flea rbx, [rax+rax-97]
    00163544mov rdi, [rsp+24]
    00163549add rdi, -24
    0016354dlea rax, [rip+0x1b344c]
    00163554mov rsi, [rax+656]
    0016355bsub r15, 40
    0016355fcmp r15, [r14]
    00163562jb 0x163711
    00163568
    00163568loc_163568:
    00163568lea rax, [r15+8]
    0016356cmov [rax-8], 4343
    00163574lea rdx, [rip+3861]
    0016357bmov [rax], rdx
    0016357emov rdx, 0x100000000000005
    00163588mov [rax+8], rdx
    0016358cmov [rax+16], rdi
    00163590mov [rax+24], rsi
    00163594call camlLexstate.scan_arg_855
    00163599mov rdi, [rsp+24]
    0016359eadd rdi, -24
    001635a2add rdi, 24
    001635a6mov ebx, 1
    001635abmov rax, [rsp+16]
    001635b0jmp 0x162f66
    001635b5nop [rax]
    001635b8mov rax, [rsp+16]
    001635bdmov rdi, [rax+40]
    001635c1mov rbx, [rax+32]
    001635c5sub rdi, rbx
    001635c8inc rdi
    001635cbmov rax, [rax+8]
    001635cfcall Stdlib.Bytes.sub
    001635d4mov [rsp], rax
    001635d8call camlLatexmacros.find_941
    001635ddmov [rsp+8], rax
    001635e2mov rbx, [rax]
    001635e5mov rax, [rsp]
    001635e9mov rdi, [rsp+16]
    001635eecall camlLexstate.make_stack_1175
    001635f3mov rdi, rax
    001635f6sub r15, 40
    001635facmp r15, [r14]
    001635fdjb 0x163707
    00163603
    00163603loc_163603:
    00163603lea rax, [r15+8]
    00163607mov [rax-8], 4343
    0016360flea rbx, [rip+3722]
    00163616mov [rax], rbx
    00163619mov rbx, 0x100000000000005
    00163623mov [rax+8], rbx
    00163627mov rbx, [rsp+24]
    0016362cadd rbx, -24
    00163630mov [rax+16], rbx
    00163634mov rbx, [rsp+16]
    00163639mov [rax+24], rbx
    0016363dmov rbx, [rsp+8]
    00163642mov rbx, [rbx+8]
    00163646call camlLexstate.scan_body_856
    0016364bmov rdi, [rsp+24]
    00163650add rdi, -24
    00163654add rdi, 24
    00163658mov ebx, 1
    0016365dmov rax, [rsp+16]
    00163662jmp 0x162f66
    00163667nop
    00163668mov rax, [rsp+16]
    0016366dmov rbx, [rax+32]
    00163671mov rdi, [rax+40]
    00163675sub rdi, rbx
    00163678inc rdi
    0016367bmov rax, [rax+8]
    0016367fcall Stdlib.Bytes.sub
    00163684lea rbx, [rip+0x192585]
    0016368bcall camlStdlib.$5e_139
    00163690mov rbx, rax
    00163693lea rax, [rip+0x1925a6]
    0016369acall camlStdlib.$5e_139
    0016369fsub r15, 24
    001636a3cmp r15, [r14]
    001636a6jb 0x163700
    001636a8
    001636a8loc_1636a8:
    001636a8lea rbx, [r15+8]
    001636acmov [rbx-8], 2048
    001636b4lea rdi, [rip+0x1921a5]
    001636bbmov rdi, [rdi]
    001636bemov [rbx], rdi
    001636c1mov [rbx+8], rax
    001636c5mov rax, rbx
    001636c8mov rsp, [r14+48]
    001636ccpop [r14+48]
    001636d0pop r11
    001636d2jmp r11
    001636d5nop [rax]
    001636d8mov eax, 1
    001636ddadd rsp, 32
    001636e1ret
    001636e2nop
    001636e4mov rdi, [rsp+24]
    001636e9add rdi, -24
    001636edadd rdi, 24
    001636f1mov ebx, 1
    001636f6mov rax, [rsp+16]
    001636fbjmp 0x162f66
    00163700
    00163700loc_163700:
    00163700call caml_call_gc
    00163705jmp 0x1636a8
    00163707
    00163707loc_163707:
    00163707call caml_call_gc
    0016370cjmp 0x163603
    00163711
    00163711loc_163711:
    00163711call caml_call_gc
    00163716jmp 0x163568
    0016371b
    0016371bloc_16371b:
    0016371bcall caml_call_gc
    00163720jmp 0x16344e
    00163725
    00163725loc_163725:
    00163725call caml_call_gc
    0016372ajmp 0x1633a2
    0016372f
    0016372floc_16372f:
    0016372fcall caml_call_gc
    00163734jmp 0x1632eb
    00163739
    00163739loc_163739:
    00163739call caml_call_gc
    0016373ejmp 0x163293
    00163743
    00163743loc_163743:
    00163743call caml_call_gc
    00163748jmp 0x1631df
    0016374d
    0016374dloc_16374d:
    0016374dcall caml_call_gc
    00163752jmp 0x16317f
    00163757
    00163757loc_163757:
    00163757call caml_call_gc
    0016375cjmp 0x162f7c
    00163761
    00163761loc_163761:
    00163761call caml_ml_array_bound_error
    00163766
    00163766loc_163766:
    00163766push 37
    00163768call caml_call_realloc_stack
    0016376dpop r10
    0016376fjmp 0x162f62
    00162f50
    00163774
    00163774 // align 0x10
    00163780
    00163780camlGet.after_quote_557:
    00163780mov rdi, rbx
    00163783cmp r15, [r14]
    00163786jbe 0x163796
    00163788
    00163788loc_163788:
    00163788add rdi, 24
    0016378cmov ebx, 67
    00163791jmp 0x1637a0
    00163796
    00163796loc_163796:
    00163796call caml_call_gc
    0016379bjmp 0x163788
    00163780
    0016379d
    0016379d // align 0x10
    001637a0
    001637a0Get..ocaml_lex_after_quote_rec:
    001637a0lea r10, [rsp-344]
    001637a8cmp r10, [r14+40]
    001637acjb 0x163907
    001637b2
    001637b2loc_1637b2:
    001637b2sub rsp, 24
    001637b6
    001637b6loc_1637b6:
    001637b6mov rsi, rax
    001637b9mov [rsp], rsi
    001637bdmov [rsp+16], rdi
    001637c2cmp r15, [r14]
    001637c5jbe 0x1638f8
    001637cb
    001637cbloc_1637cb:
    001637cblea rax, [rip+0x19261e]
    001637d2mov rdi, rsi
    001637d5call Stdlib.Lexing.engine
    001637dacmp rax, 5
    001637dejbe 0x163804
    001637e0mov [rsp+8], rax
    001637e5mov rax, [rsp]
    001637e9mov rbx, [rax]
    001637ecmov rdi, [rbx]
    001637efcall rdi
    001637f1mov rax, [rsp]
    001637f5mov rbx, [rsp+8]
    001637famov rdi, [rsp+16]
    001637ffjmp 0x1637b6
    00163801
    00163801 0f 1f 00 ...
    00163804
    00163804loc_163804:
    00163804sar rax, 1
    00163807cmp rax, 1
    0016380bje 0x163880
    0016380dja 0x1638e8
    00163813mov rax, [rsp]
    00163817mov rbx, [rax+32]
    0016381bmov rdi, [rax+40]
    0016381fsub rdi, rbx
    00163822inc rdi
    00163825mov rax, [rax+8]
    00163829call Stdlib.Bytes.sub
    0016382emov rbx, [rax-8]
    00163832shr rbx, 10
    00163836lea rbx, [8*rbx-1]
    0016383emovzx rdi, [rax+rbx]
    00163843sub rbx, rdi
    00163846cmp rbx, 1
    0016384ajbe 0x163902
    00163850movzx rax, [rax+1]
    00163855lea rax, [rax+rax+1]
    0016385acall camlGet.push_int_535
    0016385fmov rdi, [rsp+16]
    00163864add rdi, -80
    00163868add rdi, 24
    0016386cmov ebx, 1
    00163871mov rax, [rsp]
    00163875add rsp, 24
    00163879jmp 0x162f50
    0016387e
    0016387e 66 90 f.
    00163880
    00163880loc_163880:
    00163880mov rax, [rsp]
    00163884mov rbx, [rax+32]
    00163888mov rdi, [rax+40]
    0016388csub rdi, rbx
    0016388finc rdi
    00163892mov rax, [rax+8]
    00163896call Stdlib.Bytes.sub
    0016389bmov rbx, [rax-8]
    0016389fshr rbx, 10
    001638a3lea rbx, [8*rbx-1]
    001638abmovzx rdi, [rax+rbx]
    001638b0sub rbx, rdi
    001638b3cmp rbx, 0
    001638b7jbe 0x163902
    001638b9movzx rax, [rax]
    001638bdlea rax, [rax+rax+1]
    001638c2call camlGet.push_int_535
    001638c7mov rdi, [rsp+16]
    001638ccadd rdi, -80
    001638d0add rdi, 24
    001638d4mov ebx, 1
    001638d9mov rax, [rsp]
    001638ddadd rsp, 24
    001638e1jmp 0x162f50
    001638e6
    001638e6 66 90 f.
    001638e8
    001638e8loc_1638e8:
    001638e8lea rax, [rip+0x1922e9]
    001638efadd rsp, 24
    001638f3jmp 0x191ae0
    001638f8
    001638f8loc_1638f8:
    001638f8call caml_call_gc
    001638fdjmp 0x1637cb
    00163902
    00163902loc_163902:
    00163902call caml_ml_array_bound_error
    00163907
    00163907loc_163907:
    00163907push 36
    00163909call caml_call_realloc_stack
    0016390epop r10
    00163910jmp 0x1637b2
    001637a0
    00163915
    00163915 // align 0x10
    00163920
    00163920camlGet.sbool_500:
    00163920cmp rax, 1
    00163924je 0x163930
    00163926lea rax, [rip+0x192973]
    0016392dret
    0016392e
    0016392e 66 90 f.
    00163930
    00163930loc_163930:
    00163930lea rax, [rip+0x1924a9]
    00163937ret
    00163920
    00163938
    00163938 // align 0x10
    00163940
    00163940camlGet.fun_969:
    00163940sub r15, 24
    00163944cmp r15, [r14]
    00163947jb 0x163977
    00163949
    00163949loc_163949:
    00163949lea rax, [r15+8]
    0016394dmov [rax-8], 2048
    00163955lea rbx, [rip+0x1128ac]
    0016395cmov [rax], rbx
    0016395flea rbx, [rip+0x19242a]
    00163966mov [rax+8], rbx
    0016396amov rsp, [r14+48]
    0016396epop [r14+48]
    00163972pop r11
    00163974jmp r11
    00163977
    00163977loc_163977:
    00163977call caml_call_gc
    0016397cjmp 0x163949
    00163940
    0016397e
    0016397e // align 0x10
    00163980
    00163980camlGet.fun_971:
    00163980sub r15, 24
    00163984cmp r15, [r14]
    00163987jb 0x1639b7
    00163989
    00163989loc_163989:
    00163989lea rax, [r15+8]
    0016398dmov [rax-8], 2048
    00163995lea rbx, [rip+0x11286c]
    0016399cmov [rax], rbx
    0016399flea rbx, [rip+0x192342]
    001639a6mov [rax+8], rbx
    001639aamov rsp, [r14+48]
    001639aepop [r14+48]
    001639b2pop r11
    001639b4jmp r11
    001639b7
    001639b7loc_1639b7:
    001639b7call caml_call_gc
    001639bcjmp 0x163989
    00163980
    001639be
    001639be // align 0x10
    001639c0
    001639c0camlGet.fun_973:
    001639c0mov eax, 1
    001639c5ret
    001639c0
    001639c6
    001639c6 // align 0x10
    001639d0
    001639d0camlGet.fun_975:
    001639d0mov eax, 1
    001639d5ret
    001639d0
    001639d6
    001639d6 // align 0x10
    001639e0
    001639e0camlGet.fun_977:
    001639e0sub r15, 24
    001639e4cmp r15, [r14]
    001639e7jb 0x163a17
    001639e9
    001639e9loc_1639e9:
    001639e9lea rax, [r15+8]
    001639edmov [rax-8], 2048
    001639f5lea rbx, [rip+0x11280c]
    001639fcmov [rax], rbx
    001639fflea rbx, [rip+0x19221a]
    00163a06mov [rax+8], rbx
    00163a0amov rsp, [r14+48]
    00163a0epop [r14+48]
    00163a12pop r11
    00163a14jmp r11
    00163a17
    00163a17loc_163a17:
    00163a17call caml_call_gc
    00163a1cjmp 0x1639e9
    001639e0
    00163a1e
    00163a1e // align 0x10
    00163a20
    00163a20camlGet.fun_979:
    00163a20sub r15, 24
    00163a24cmp r15, [r14]
    00163a27jb 0x163a57
    00163a29
    00163a29loc_163a29:
    00163a29lea rax, [r15+8]
    00163a2dmov [rax-8], 2048
    00163a35lea rbx, [rip+0x1127cc]
    00163a3cmov [rax], rbx
    00163a3flea rbx, [rip+0x1920d2]
    00163a46mov [rax+8], rbx
    00163a4amov rsp, [r14+48]
    00163a4epop [r14+48]
    00163a52pop r11
    00163a54jmp r11
    00163a57
    00163a57loc_163a57:
    00163a57call caml_call_gc
    00163a5cjmp 0x163a29
    00163a20
    00163a5e
    00163a5e // align 0x10
    00163a60
    00163a60camlGet.check_523:
    00163a60sub r15, 56
    00163a64cmp r15, [r14]
    00163a67jb 0x163acd
    00163a69
    00163a69loc_163a69:
    00163a69lea rax, [r15+8]
    00163a6dmov [rax-8], 6144
    00163a75lea rbx, [rip+0x191de4]
    00163a7cmov rdi, [rbx+120]
    00163a80mov rdi, [rdi]
    00163a83mov [rax], rdi
    00163a86mov rdi, [rbx+144]
    00163a8dmov rdi, [rdi]
    00163a90mov [rax+8], rdi
    00163a94mov rdi, [rbx+128]
    00163a9bmov rdi, [rdi]
    00163a9emov [rax+16], rdi
    00163aa2mov rdi, [rbx+136]
    00163aa9mov rdi, [rdi]
    00163aacmov [rax+24], rdi
    00163ab0mov rdi, [rbx+152]
    00163ab7mov rdi, [rdi]
    00163abamov [rax+32], rdi
    00163abemov rbx, [rbx+160]
    00163ac5mov rbx, [rbx]
    00163ac8mov [rax+40], rbx
    00163accret
    00163acd
    00163acdloc_163acd:
    00163acdcall caml_call_gc
    00163ad2jmp 0x163a69
    00163a60
    00163ad4
    00163ad4 // align 0x10
    00163ae0
    00163ae0camlGet.hot_524:
    00163ae0sub rsp, 8
    00163ae4mov r12, rdi
    00163ae7mov r13, rsi
    00163aeamov rbp, rdx
    00163aedmov [rsp], rcx
    00163af1lea rdi, [rip+0x191d68]
    00163af8mov rsi, [rdi+120]
    00163afcmov [rsi], rax
    00163affmov rdi, [rdi+144]
    00163b06mov rsi, rbx
    00163b09mov rbx, rsp
    00163b0cmov rsp, [r14+64]
    00163b10call caml_modify
    00163b15mov rsp, rbx
    00163b18lea rax, [rip+0x191d41]
    00163b1fmov rbx, [rax+128]
    00163b26mov [rbx], r12
    00163b29mov rdi, [rax+136]
    00163b30mov rsi, r13
    00163b33mov rbx, rsp
    00163b36mov rsp, [r14+64]
    00163b3acall caml_modify
    00163b3fmov rsp, rbx
    00163b42lea rax, [rip+0x191d17]
    00163b49mov rdi, [rax+152]
    00163b50mov rsi, rbp
    00163b53mov rbx, rsp
    00163b56mov rsp, [r14+64]
    00163b5acall caml_modify
    00163b5fmov rsp, rbx
    00163b62lea rax, [rip+0x191cf7]
    00163b69mov rax, [rax+160]
    00163b70mov rbx, [rsp]
    00163b74mov [rax], rbx
    00163b77mov eax, 1
    00163b7cadd rsp, 8
    00163b80ret
    00163ae0
    00163b81
    00163b81 // align 0x10
    00163b90
    00163b90camlGet.push_int_535:
    00163b90lea r10, [rsp-328]
    00163b98cmp r10, [r14+40]
    00163b9cjb 0x163c36
    00163ba2
    00163ba2loc_163ba2:
    00163ba2sub rsp, 8
    00163ba6mov [rsp], rax
    00163baalea rbx, [rip+0x1c64bf]
    00163bb1mov rbx, [rbx+80]
    00163bb5mov rbx, [rbx]
    00163bb8cmp rbx, 5
    00163bbcjle 0x163bd7
    00163bbecall camlStdlib.string_of_int_175
    00163bc3mov rbx, rax
    00163bc6lea rax, [rip+0x192e1b]
    00163bcdcall camlStdlib.$5e_139
    00163bd2call camlStdlib.prerr_endline_390
    00163bd7
    00163bd7loc_163bd7:
    00163bd7lea rax, [rip+0x191c82]
    00163bdemov rbx, [rax+160]
    00163be5mov [rbx], 1
    00163becmov rdi, [rax+136]
    00163bf3sub r15, 24
    00163bf7cmp r15, [r14]
    00163bfajb 0x163c2f
    00163bfc
    00163bfcloc_163bfc:
    00163bfclea rsi, [r15+8]
    00163c00mov [rsi-8], 2048
    00163c08mov rax, [rsp]
    00163c0cmov [rsi], rax
    00163c0fmov rax, [rdi]
    00163c12mov [rsi+8], rax
    00163c16mov rbx, rsp
    00163c19mov rsp, [r14+64]
    00163c1dcall caml_modify
    00163c22mov rsp, rbx
    00163c25mov eax, 1
    00163c2aadd rsp, 8
    00163c2eret
    00163c2f
    00163c2floc_163c2f:
    00163c2fcall caml_call_gc
    00163c34jmp 0x163bfc
    00163c36
    00163c36loc_163c36:
    00163c36push 34
    00163c38call caml_call_realloc_stack
    00163c3dpop r10
    00163c3fjmp 0x163ba2
    00163b90
    00163c44
    00163c44 // align 0x10
    00163c50
    00163c50camlGet.open_ngroups_538:
    00163c50lea r10, [rsp-328]
    00163c58cmp r10, [r14+40]
    00163c5cjb 0x163cd1
    00163c5e
    00163c5eloc_163c5e:
    00163c5esub rsp, 8
    00163c62mov [rsp], rax
    00163c66cmp r15, [r14]
    00163c69jbe 0x163cca
    00163c6b
    00163c6bloc_163c6b:
    00163c6blea rbx, [rip+0x1c63fe]
    00163c72mov rbx, [rbx+80]
    00163c76mov rbx, [rbx]
    00163c79cmp rbx, 5
    00163c7djle 0x163c98
    00163c7fcall camlStdlib.string_of_int_175
    00163c84mov rbx, rax
    00163c87lea rax, [rip+0x192c42]
    00163c8ecall camlStdlib.$5e_139
    00163c93call camlStdlib.prerr_endline_390
    00163c98
    00163c98loc_163c98:
    00163c98mov rax, [rsp]
    00163c9ccmp rax, 1
    00163ca0jle 0x163cc0
    00163ca2lea rbx, [rip+0x191bb7]
    00163ca9mov rbx, [rbx+160]
    00163cb0mov [rbx], 3
    00163cb7add rsp, 8
    00163cbbjmp 0x163ce0
    00163cc0
    00163cc0loc_163cc0:
    00163cc0mov eax, 1
    00163cc5add rsp, 8
    00163cc9ret
    00163cca
    00163ccaloc_163cca:
    00163ccacall caml_call_gc
    00163ccfjmp 0x163c6b
    00163cd1
    00163cd1loc_163cd1:
    00163cd1push 34
    00163cd3call caml_call_realloc_stack
    00163cd8pop r10
    00163cdajmp 0x163c5e
    00163c50
    00163cdc
    00163cdc // align 0x10
    00163ce0
    00163ce0camlGet.open_ngroups_rec_541:
    00163ce0mov r12, rax
    00163ce3cmp r12, 1
    00163ce7je 0x163d38
    00163ce9lea rax, [rip+0x191668]
    00163cf0lea rbx, [rip+0x191b69]
    00163cf7mov rdi, [rbx+152]
    00163cfesub r15, 24
    00163d02cmp r15, [r14]
    00163d05jb 0x163d3e
    00163d07
    00163d07loc_163d07:
    00163d07lea rsi, [r15+8]
    00163d0bmov [rsi-8], 2048
    00163d13mov [rsi], rax
    00163d16mov rax, [rdi]
    00163d19mov [rsi+8], rax
    00163d1dmov rbx, rsp
    00163d20mov rsp, [r14+64]
    00163d24call caml_modify
    00163d29mov rsp, rbx
    00163d2cmov rax, r12
    00163d2fadd rax, -2
    00163d33jmp 0x163ce0
    00163d35
    00163d35 0f 1f 00 ...
    00163d38
    00163d38loc_163d38:
    00163d38mov eax, 1
    00163d3dret
    00163d3e
    00163d3eloc_163d3e:
    00163d3ecall caml_call_gc
    00163d43jmp 0x163d07
    00163ce0
    00163d45
    00163d45 // align 0x10
    00163d50
    00163d50camlGet.fun_993:
    00163d50mov eax, 1
    00163d55ret
    00163d50
    00163d56
    00163d56 // align 0x10
    00163d60
    00163d60camlGet.close_ngroups_544:
    00163d60lea r10, [rsp-328]
    00163d68cmp r10, [r14+40]
    00163d6cjb 0x163dbc
    00163d6e
    00163d6eloc_163d6e:
    00163d6esub rsp, 8
    00163d72mov [rsp], rax
    00163d76cmp r15, [r14]
    00163d79jbe 0x163db5
    00163d7b
    00163d7bloc_163d7b:
    00163d7blea rbx, [rip+0x1c62ee]
    00163d82mov rbx, [rbx+80]
    00163d86mov rbx, [rbx]
    00163d89cmp rbx, 5
    00163d8djle 0x163da8
    00163d8fcall camlStdlib.string_of_int_175
    00163d94mov rbx, rax
    00163d97lea rax, [rip+0x192a72]
    00163d9ecall camlStdlib.$5e_139
    00163da3call camlStdlib.prerr_endline_390
    00163da8
    00163da8loc_163da8:
    00163da8mov rax, [rsp]
    00163dacadd rsp, 8
    00163db0jmp 0x163dd0
    00163db5
    00163db5loc_163db5:
    00163db5call caml_call_gc
    00163dbajmp 0x163d7b
    00163dbc
    00163dbcloc_163dbc:
    00163dbcpush 34
    00163dbecall caml_call_realloc_stack
    00163dc3pop r10
    00163dc5jmp 0x163d6e
    00163d60
    00163dc7
    00163dc7 // align 0x10
    00163dd0
    00163dd0camlGet.close_ngroups_rec_547:
    00163dd0lea r10, [rsp-328]
    00163dd8cmp r10, [r14+40]
    00163ddcjb 0x163e2d
    00163dde
    00163ddeloc_163dde:
    00163ddesub rsp, 8
    00163de2
    00163de2loc_163de2:
    00163de2cmp r15, [r14]
    00163de5jbe 0x163e26
    00163de7
    00163de7loc_163de7:
    00163de7cmp rax, 1
    00163debje 0x163e1c
    00163dedmov [rsp], rax
    00163df1lea rax, [rip+0x191a68]
    00163df8mov rax, [rax+152]
    00163dffcall camlMyStack.pop_292
    00163e04mov rbx, rax
    00163e07mov eax, 1
    00163e0cmov rdi, [rbx]
    00163e0fcall rdi
    00163e11mov rax, [rsp]
    00163e15add rax, -2
    00163e19jmp 0x163de2
    00163e1b
    00163e1b 90 .
    00163e1c
    00163e1cloc_163e1c:
    00163e1cmov eax, 1
    00163e21add rsp, 8
    00163e25ret
    00163e26
    00163e26loc_163e26:
    00163e26call caml_call_gc
    00163e2bjmp 0x163de7
    00163e2d
    00163e2dloc_163e2d:
    00163e2dpush 34
    00163e2fcall caml_call_realloc_stack
    00163e34pop r10
    00163e36jmp 0x163dde
    00163dd0
    00163e38
    00163e38 // align 0x10
    00163e40
    00163e40camlGet.open_aftergroup_550:
    00163e40lea r10, [rsp-328]
    00163e48cmp r10, [r14+40]
    00163e4cjb 0x163ede
    00163e52
    00163e52loc_163e52:
    00163e52sub rsp, 8
    00163e56mov [rsp], rax
    00163e5alea rax, [rip+0x1c620f]
    00163e61mov rax, [rax+80]
    00163e65mov rax, [rax]
    00163e68cmp rax, 5
    00163e6cjle 0x163e7f
    00163e6elea rax, [rip+0x192983]
    00163e75call camlStdlib.$5e_139
    00163e7acall camlStdlib.prerr_endline_390
    00163e7f
    00163e7floc_163e7f:
    00163e7flea rax, [rip+0x1919da]
    00163e86mov rbx, [rax+160]
    00163e8dmov [rbx], 3
    00163e94mov rdi, [rax+152]
    00163e9bsub r15, 24
    00163e9fcmp r15, [r14]
    00163ea2jb 0x163ed7
    00163ea4
    00163ea4loc_163ea4:
    00163ea4lea rsi, [r15+8]
    00163ea8mov [rsi-8], 2048
    00163eb0mov rax, [rsp]
    00163eb4mov [rsi], rax
    00163eb7mov rax, [rdi]
    00163ebamov [rsi+8], rax
    00163ebemov rbx, rsp
    00163ec1mov rsp, [r14+64]
    00163ec5call caml_modify
    00163ecamov rsp, rbx
    00163ecdmov eax, 1
    00163ed2add rsp, 8
    00163ed6ret
    00163ed7
    00163ed7loc_163ed7:
    00163ed7call caml_call_gc
    00163edcjmp 0x163ea4
    00163ede
    00163edeloc_163ede:
    00163edepush 34
    00163ee0call caml_call_realloc_stack
    00163ee5pop r10
    00163ee7jmp 0x163e52
    00163e40
    00163eec
    00163eec // align 0x10
    00163ef0
    00163ef0camlGet.fun_1104:
    00163ef0lea r10, [rsp-328]
    00163ef8cmp r10, [r14+40]
    00163efcjb 0x164018
    00163f02
    00163f02loc_163f02:
    00163f02sub rsp, 8
    00163f06mov [rsp], rbx
    00163f0acmp r15, [r14]
    00163f0djbe 0x16400e
    00163f13
    00163f13loc_163f13:
    00163f13lea rax, [rip+0x1c6156]
    00163f1amov rax, [rax+80]
    00163f1emov rax, [rax]
    00163f21cmp rax, 5
    00163f25jle 0x163f6a
    00163f27mov rbx, [rbx+16]
    00163f2bmov eax, 3
    00163f30call Stdlib.Bytes.make
    00163f35mov rbx, rax
    00163f38lea rax, [rip+0x191e41]
    00163f3fcall camlStdlib.$5e_139
    00163f44call camlStdlib.prerr_endline_390
    00163f49lea rax, [rip+0x191910]
    00163f50mov rbx, [rax+136]
    00163f57lea rax, [rip+0x1c96ba]
    00163f5emov rax, [rax+256]
    00163f65call camlMyStack.pretty_387
    00163f6a
    00163f6aloc_163f6a:
    00163f6alea rax, [rip+0x1918ef]
    00163f71mov rax, [rax+136]
    00163f78call camlMyStack.pop_292
    00163f7dmov rbx, rax
    00163f80mov rdi, [rsp]
    00163f84mov rax, [rdi+16]
    00163f88add rax, -86
    00163f8ccmp rax, 5
    00163f90ja 0x163fb4
    00163f92mov [rsp], rdi
    00163f96sar rax, 1
    00163f99cmp rax, 1
    00163f9dje 0x163fb4
    00163f9fja 0x163fa8
    00163fa1mov rax, rbx
    00163fa4jmp 0x163fec
    00163fa6nop
    00163fa8
    00163fa8loc_163fa8:
    00163fa8mov eax, 2
    00163fadsub rax, rbx
    00163fb0jmp 0x163fec
    00163fb2nop
    00163fb4
    00163fb4loc_163fb4:
    00163fb4sub r15, 24
    00163fb8cmp r15, [r14]
    00163fbbjb 0x164007
    00163fbd
    00163fbdloc_163fbd:
    00163fbdlea rax, [r15+8]
    00163fc1mov [rax-8], 2048
    00163fc9lea rbx, [rip+0x112238]
    00163fd0mov [rax], rbx
    00163fd3lea rbx, [rip+0x191d86]
    00163fdamov [rax+8], rbx
    00163fdemov rsp, [r14+48]
    00163fe2pop [r14+48]
    00163fe6pop r11
    00163fe8jmp r11
    00163febnop
    00163fec
    00163fecloc_163fec:
    00163feccall camlGet.push_int_535
    00163ff1mov rax, [rsp]
    00163ff5mov rbx, [rax+24]
    00163ff9mov eax, 1
    00163ffemov rdi, [rbx]
    00164001add rsp, 8
    00164005jmp rdi
    00164007
    00164007loc_164007:
    00164007call caml_call_gc
    0016400cjmp 0x163fbd
    0016400e
    0016400eloc_16400e:
    0016400ecall caml_call_gc
    00164013jmp 0x163f13
    00164018
    00164018loc_164018:
    00164018push 34
    0016401acall caml_call_realloc_stack
    0016401fpop r10
    00164021jmp 0x163f02
    00163ef0
    00164026
    00164026 // align 0x10
    00164030
    00164030camlGet.fun_1111:
    00164030lea r10, [rsp-336]
    00164038cmp r10, [r14+40]
    0016403cjb 0x164150
    00164042
    00164042loc_164042:
    00164042sub rsp, 16
    00164046mov [rsp], rbx
    0016404alea rax, [rip+0x1c601f]
    00164051mov rax, [rax+80]
    00164055mov rax, [rax]
    00164058cmp rax, 5
    0016405cjle 0x1640a1
    0016405emov rbx, [rbx+16]
    00164062mov eax, 3
    00164067call Stdlib.Bytes.make
    0016406cmov rbx, rax
    0016406flea rax, [rip+0x191cc2]
    00164076call camlStdlib.$5e_139
    0016407bcall camlStdlib.prerr_endline_390
    00164080lea rax, [rip+0x1917d9]
    00164087mov rbx, [rax+136]
    0016408elea rax, [rip+0x1c9583]
    00164095mov rax, [rax+256]
    0016409ccall camlMyStack.pretty_387
    001640a1
    001640a1loc_1640a1:
    001640a1lea rax, [rip+0x1917b8]
    001640a8mov rax, [rax+136]
    001640afcall camlMyStack.pop_292
    001640b4mov [rsp+8], rax
    001640b9lea rax, [rip+0x1917a0]
    001640c0mov rax, [rax+136]
    001640c7call camlMyStack.pop_292
    001640ccmov rbx, rax
    001640cfmov rax, [rsp]
    001640d3mov rax, [rax+16]
    001640d7add rax, -86
    001640dbcmp rax, 5
    001640dfja 0x164108
    001640e1sar rax, 1
    001640e4cmp rax, 1
    001640e8je 0x164108
    001640eaja 0x1640f8
    001640ecmov rax, [rsp+8]
    001640f1lea rax, [rbx+rax-1]
    001640f6jmp 0x164140
    001640f8
    001640f8loc_1640f8:
    001640f8mov rax, rbx
    001640fbmov rbx, [rsp+8]
    00164100sub rax, rbx
    00164103inc rax
    00164106jmp 0x164140
    00164108
    00164108loc_164108:
    00164108sub r15, 24
    0016410ccmp r15, [r14]
    0016410fjb 0x164149
    00164111
    00164111loc_164111:
    00164111lea rax, [r15+8]
    00164115mov [rax-8], 2048
    0016411dlea rbx, [rip+0x1120e4]
    00164124mov [rax], rbx
    00164127lea rbx, [rip+0x191bea]
    0016412emov [rax+8], rbx
    00164132mov rsp, [r14+48]
    00164136pop [r14+48]
    0016413apop r11
    0016413cjmp r11
    0016413fnop
    00164140
    00164140loc_164140:
    00164140add rsp, 16
    00164144jmp 0x163b90
    00164149
    00164149loc_164149:
    00164149call caml_call_gc
    0016414ejmp 0x164111
    00164150
    00164150loc_164150:
    00164150push 35
    00164152call caml_call_realloc_stack
    00164157pop r10
    00164159jmp 0x164042
    00164030
    0016415e
    0016415e // align 0x10
    00164160
    00164160camlGet.fun_1118:
    00164160lea r10, [rsp-336]
    00164168cmp r10, [r14+40]
    0016416cjb 0x164296
    00164172
    00164172loc_164172:
    00164172sub rsp, 16
    00164176mov [rsp], rbx
    0016417alea rax, [rip+0x1c5eef]
    00164181mov rax, [rax+80]
    00164185mov rax, [rax]
    00164188cmp rax, 5
    0016418cjle 0x1641d1
    0016418emov rbx, [rbx+16]
    00164192mov eax, 3
    00164197call Stdlib.Bytes.make
    0016419cmov rbx, rax
    0016419flea rax, [rip+0x191b32]
    001641a6call camlStdlib.$5e_139
    001641abcall camlStdlib.prerr_endline_390
    001641b0lea rax, [rip+0x1916a9]
    001641b7mov rbx, [rax+136]
    001641belea rax, [rip+0x1c9453]
    001641c5mov rax, [rax+256]
    001641cccall camlMyStack.pretty_387
    001641d1
    001641d1loc_1641d1:
    001641d1lea rax, [rip+0x191688]
    001641d8mov rax, [rax+136]
    001641dfcall camlMyStack.pop_292
    001641e4mov [rsp+8], rax
    001641e9lea rax, [rip+0x191670]
    001641f0mov rax, [rax+136]
    001641f7call camlMyStack.pop_292
    001641fcmov rbx, [rsp]
    00164200mov rbx, [rbx+16]
    00164204cmp rbx, 85
    00164208je 0x164274
    0016420acmp rbx, 95
    0016420eje 0x164248
    00164210sub r15, 24
    00164214cmp r15, [r14]
    00164217jb 0x16428f
    00164219
    00164219loc_164219:
    00164219lea rax, [r15+8]
    0016421dmov [rax-8], 2048
    00164225lea rbx, [rip+0x111fdc]
    0016422cmov [rax], rbx
    0016422flea rbx, [rip+0x191a82]
    00164236mov [rax+8], rbx
    0016423amov rsp, [r14+48]
    0016423epop [r14+48]
    00164242pop r11
    00164244jmp r11
    00164247nop
    00164248
    00164248loc_164248:
    00164248mov rcx, [rsp+8]
    0016424dsar rcx, 1
    00164250sar rax, 1
    00164253test rcx, rcx
    00164256je 0x164260
    00164258cqo
    0016425aidiv rcx
    0016425djmp 0x16426c
    0016425fnop
    00164260
    00164260loc_164260:
    00164260lea rax, [rip+0x111ea9]
    00164267call caml_raise_exn
    0016426c
    0016426cloc_16426c:
    0016426cshl rax, 1
    0016426finc rax
    00164272jmp 0x164286
    00164274
    00164274loc_164274:
    00164274mov rbx, [rsp+8]
    00164279sar rbx, 1
    0016427cdec rax
    0016427fimul rax, rbx
    00164283inc rax
    00164286
    00164286loc_164286:
    00164286add rsp, 16
    0016428ajmp 0x163b90
    0016428f
    0016428floc_16428f:
    0016428fcall caml_call_gc
    00164294jmp 0x164219
    00164296
    00164296loc_164296:
    00164296push 35
    00164298call caml_call_realloc_stack
    0016429dpop r10
    0016429fjmp 0x164172
    00164160
    001642a4
    001642a4 // align 0x10
    001642b0
    001642b0camlGet.fun_1125:
    001642b0lea r10, [rsp-336]
    001642b8cmp r10, [r14+40]
    001642bcjb 0x164473
    001642c2
    001642c2loc_1642c2:
    001642c2sub rsp, 16
    001642c6mov [rsp], rbx
    001642calea rax, [rip+0x1c5d9f]
    001642d1mov rax, [rax+80]
    001642d5mov rax, [rax]
    001642d8cmp rax, 5
    001642dcjle 0x164321
    001642demov rbx, [rbx+16]
    001642e2mov eax, 3
    001642e7call Stdlib.Bytes.make
    001642ecmov rbx, rax
    001642eflea rax, [rip+0x1919a2]
    001642f6call camlStdlib.$5e_139
    001642fbcall camlStdlib.prerr_endline_390
    00164300lea rax, [rip+0x191559]
    00164307mov rbx, [rax+136]
    0016430elea rax, [rip+0x1c9303]
    00164315mov rax, [rax+256]
    0016431ccall camlMyStack.pretty_387
    00164321
    00164321loc_164321:
    00164321lea rax, [rip+0x191538]
    00164328mov rax, [rax+136]
    0016432fcall camlMyStack.pop_292
    00164334mov [rsp+8], rax
    00164339lea rax, [rip+0x191520]
    00164340mov rax, [rax+136]
    00164347call camlMyStack.pop_292
    0016434cmov rbx, rax
    0016434fmov rax, [rsp]
    00164353mov rax, [rax+16]
    00164357add rax, -120
    0016435bcmp rax, 5
    0016435fjbe 0x16439c
    00164361sub r15, 24
    00164365cmp r15, [r14]
    00164368jb 0x164469
    0016436e
    0016436eloc_16436e:
    0016436elea rax, [r15+8]
    00164372mov [rax-8], 2048
    0016437alea rbx, [rip+0x111e87]
    00164381mov [rax], rbx
    00164384lea rbx, [rip+0x1918ed]
    0016438bmov [rax+8], rbx
    0016438fmov rsp, [r14+48]
    00164393pop [r14+48]
    00164397pop r11
    00164399jmp r11
    0016439c
    0016439cloc_16439c:
    0016439csar rax, 1
    0016439fcmp rax, 1
    001643a3je 0x1643c0
    001643a5ja 0x1643d8
    001643a7mov rax, [rsp+8]
    001643accmp rbx, rax
    001643afsetl al
    001643b2movzx rax, al
    001643b6lea rax, [rax+rax+1]
    001643bbjmp 0x1643ec
    001643bdnop [rax]
    001643c0
    001643c0loc_1643c0:
    001643c0mov rax, [rsp+8]
    001643c5cmp rbx, rax
    001643c8sete al
    001643cbmovzx rax, al
    001643cflea rax, [rax+rax+1]
    001643d4jmp 0x1643ec
    001643d6nop
    001643d8
    001643d8loc_1643d8:
    001643d8mov rax, [rsp+8]
    001643ddcmp rbx, rax
    001643e0setg al
    001643e3movzx rax, al
    001643e7lea rax, [rax+rax+1]
    001643ec
    001643ecloc_1643ec:
    001643eclea rbx, [rip+0x19146d]
    001643f3mov rdi, [rbx+144]
    001643fasub r15, 24
    001643fecmp r15, [r14]
    00164401jb 0x164462
    00164403
    00164403loc_164403:
    00164403lea rsi, [r15+8]
    00164407mov [rsi-8], 2048
    0016440fmov [rsi], rax
    00164412mov rax, [rdi]
    00164415mov [rsi+8], rax
    00164419mov rbx, rsp
    0016441cmov rsp, [r14+64]
    00164420call caml_modify
    00164425mov rsp, rbx
    00164428lea rax, [rip+0x1c5c41]
    0016442fmov rax, [rax+80]
    00164433mov rax, [rax]
    00164436cmp rax, 5
    0016443ajle 0x164458
    0016443clea rax, [rip+0x19141d]
    00164443mov rbx, [rax+144]
    0016444amov rax, [rax+64]
    0016444eadd rsp, 16
    00164452jmp 0x193dd0
    00164457nop
    00164458
    00164458loc_164458:
    00164458mov eax, 1
    0016445dadd rsp, 16
    00164461ret
    00164462
    00164462loc_164462:
    00164462call caml_call_gc
    00164467jmp 0x164403
    00164469
    00164469loc_164469:
    00164469call caml_call_gc
    0016446ejmp 0x16436e
    00164473
    00164473loc_164473:
    00164473push 35
    00164475call caml_call_realloc_stack
    0016447apop r10
    0016447cjmp 0x1642c2
    001642b0
    00164481
    00164481 // align 0x10
    00164490
    00164490camlGet.fun_1142:
    00164490mov rdi, rax
    00164493mov rax, [rbx+16]
    00164497mov rbx, rdi
    0016449ajmp 0x17f460
    00164490
    0016449f
    0016449f // align 0x10
    001644a0
    001644a0camlGet.fun_1149:
    001644a0lea r10, [rsp-328]
    001644a8cmp r10, [r14+40]
    001644acjb 0x164579
    001644b2
    001644b2loc_1644b2:
    001644b2sub rsp, 8
    001644b6mov rsi, rax
    001644b9mov [rsp], rbx
    001644bdmovzx rax, [rsi-8]
    001644c2cmp rax, 1
    001644c6je 0x1644e0
    001644c8ja 0x164544
    001644camov rdi, [rsi]
    001644cdmov rax, [rbx+16]
    001644d1mov rbx, rdi
    001644d4add rsp, 8
    001644d8jmp 0x17f240
    001644dd
    001644dd 0f 1f 00 ...
    001644e0
    001644e0loc_1644e0:
    001644e0mov rax, [rsi]
    001644e3mov ebx, 1
    001644e8call Stdlib.List.rev_append
    001644edmov rbx, rax
    001644f0mov rax, [rsp]
    001644f4mov rdi, [rax+16]
    001644f8lea rax, [rip+0x1b24a1]
    001644ffmov rsi, [rax+632]
    00164506sub r15, 40
    0016450acmp r15, [r14]
    0016450djb 0x164572
    0016450f
    0016450floc_16450f:
    0016450flea rax, [r15+8]
    00164513mov [rax-8], 4343
    0016451blea rdx, [rip+110]
    00164522mov [rax], rdx
    00164525mov rdx, 0x100000000000005
    0016452fmov [rax+8], rdx
    00164533mov [rax+16], rdi
    00164537mov [rax+24], rsi
    0016453badd rsp, 8
    0016453fjmp 0x1a0330
    00164544
    00164544loc_164544:
    00164544lea rax, [rip+0x191315]
    0016454bmov rax, [rax+80]
    0016454fmov rdi, [rax]
    00164552mov rbx, [rbx+24]
    00164556mov rax, [rsi]
    00164559call caml_apply2
    0016455emov rbx, rax
    00164561mov rax, [rsp]
    00164565mov rax, [rax+16]
    00164569add rsp, 8
    0016456djmp 0x17f150
    00164572
    00164572loc_164572:
    00164572call caml_call_gc
    00164577jmp 0x16450f
    00164579
    00164579loc_164579:
    00164579push 34
    0016457bcall caml_call_realloc_stack
    00164580pop r10
    00164582jmp 0x1644b2
    001644a0
    00164587
    00164587 // align 0x10
    00164590
    00164590camlGet.fun_1162:
    00164590mov rdi, rax
    00164593mov rax, [rbx+16]
    00164597mov rbx, rdi
    0016459ajmp 0x17f150
    00164590
    0016459f
    0016459f // align 0x10
    001645a0
    001645a0camlGet.init_779:
    001645a0sub rsp, 16
    001645a4mov [rsp], rbx
    001645a8mov r12, rdi
    001645abmov r13, rsi
    001645aemov rbp, rdx
    001645b1mov [rsp+8], rcx
    001645b6lea rbx, [rip+0x1912a3]
    001645bdmov rdi, [rbx+72]
    001645c1mov rsi, rax
    001645c4mov rbx, rsp
    001645c7mov rsp, [r14+64]
    001645cbcall caml_modify
    001645d0mov rsp, rbx
    001645d3lea rax, [rip+0x191286]
    001645damov rdi, [rax+80]
    001645demov rsi, [rsp]
    001645e2mov rbx, rsp
    001645e5mov rsp, [r14+64]
    001645e9call caml_modify
    001645eemov rsp, rbx
    001645f1lea rax, [rip+0x191268]
    001645f8mov rdi, [rax+88]
    001645fcmov rsi, r12
    001645ffmov rbx, rsp
    00164602mov rsp, [r14+64]
    00164606call caml_modify
    0016460bmov rsp, rbx
    0016460elea rax, [rip+0x19124b]
    00164615mov rdi, [rax+96]
    00164619mov rsi, r13
    0016461cmov rbx, rsp
    0016461fmov rsp, [r14+64]
    00164623call caml_modify
    00164628mov rsp, rbx
    0016462blea rax, [rip+0x19122e]
    00164632mov rdi, [rax+104]
    00164636mov rsi, rbp
    00164639mov rbx, rsp
    0016463cmov rsp, [r14+64]
    00164640call caml_modify
    00164645mov rsp, rbx
    00164648lea rax, [rip+0x191211]
    0016464fmov rdi, [rax+112]
    00164653mov rsi, [rsp+8]
    00164658mov rbx, rsp
    0016465bmov rsp, [r14+64]
    0016465fcall caml_modify
    00164664mov rsp, rbx
    00164667mov eax, 1
    0016466cadd rsp, 16
    00164670ret
    001645a0
    00164671
    00164671 // align 0x10
    00164680
    00164680camlGet.def_loc_787:
    00164680sub r15, 16
    00164684cmp r15, [r14]
    00164687jb 0x1646a8
    00164689
    00164689loc_164689:
    00164689lea rdi, [r15+8]
    0016468dmov [rdi-8], 1026
    00164695mov [rdi], rbx
    00164698lea rbx, [rip+0x1b2301]
    0016469fmov rbx, [rbx+56]
    001646a3jmp 0x17af20
    001646a8
    001646a8loc_1646a8:
    001646a8call caml_call_gc
    001646adjmp 0x164689
    00164680
    001646af
    001646af // align 0x10
    001646b0
    001646b0camlGet.def_commands_791:
    001646b0mov rbx, rax
    001646b3lea rax, [rip+0x190d86]
    001646bajmp 0x19fe40
    001646b0
    001646bf
    001646bf // align 0x10
    001646c0
    001646c0camlGet.fun_1181:
    001646c0lea r10, [rsp-328]
    001646c8cmp r10, [r14+40]
    001646ccjb 0x16475e
    001646d2
    001646d2loc_1646d2:
    001646d2sub rsp, 8
    001646d6mov [rsp], rax
    001646dasub r15, 56
    001646decmp r15, [r14]
    001646e1jb 0x164757
    001646e3
    001646e3loc_1646e3:
    001646e3lea rdi, [r15+8]
    001646e7add rdi, 40
    001646ebmov [rdi-8], 1026
    001646f3mov [rdi], rbx
    001646f6lea rsi, [rdi-24]
    001646famov [rsi-8], 2048
    00164702lea rbx, [rip+0x1b2297]
    00164709mov rbx, [rbx+56]
    0016470dmov [rsi], rbx
    00164710mov [rsi+8], rdi
    00164714lea rbx, [rsi-16]
    00164718mov [rbx-8], 1024
    00164720mov [rbx], rsi
    00164723call camlLatexmacros.replace_969
    00164728sub r15, 24
    0016472ccmp r15, [r14]
    0016472fjb 0x164750
    00164731
    00164731loc_164731:
    00164731lea rbx, [r15+8]
    00164735mov [rbx-8], 2048
    0016473dmov rdi, [rsp]
    00164741mov [rbx], rdi
    00164744mov [rbx+8], rax
    00164748mov rax, rbx
    0016474badd rsp, 8
    0016474fret
    00164750
    00164750loc_164750:
    00164750call caml_call_gc
    00164755jmp 0x164731
    00164757
    00164757loc_164757:
    00164757call caml_call_gc
    0016475cjmp 0x1646e3
    0016475e
    0016475eloc_16475e:
    0016475epush 34
    00164760call caml_call_realloc_stack
    00164765pop r10
    00164767jmp 0x1646d2
    001646c0
    0016476c
    0016476c // align 0x10
    00164770
    00164770camlGet.def_commands_int_797:
    00164770sub r15, 144
    00164777cmp r15, [r14]
    0016477ajb 0x164829
    00164780
    00164780loc_164780:
    00164780lea rax, [r15+8]
    00164784add rax, 120
    00164788mov [rax-8], 2048
    00164790lea rbx, [rip+0x191401]
    00164797mov [rax], rbx
    0016479alea rbx, [rip+0x190cbf]
    001647a1mov [rax+8], rbx
    001647a5lea rbx, [rax-24]
    001647a9mov [rbx-8], 2048
    001647b1mov [rbx], rax
    001647b4mov [rbx+8], 1
    001647bclea rax, [rbx-24]
    001647c0mov [rax-8], 2048
    001647c8lea rdi, [rip+0x1913e1]
    001647cfmov [rax], rdi
    001647d2lea rdi, [rip+0x190c9f]
    001647d9mov [rax+8], rdi
    001647ddlea rdi, [rax-24]
    001647e1mov [rdi-8], 2048
    001647e9mov [rdi], rax
    001647ecmov [rdi+8], rbx
    001647f0lea rbx, [rdi-24]
    001647f4mov [rbx-8], 2048
    001647fclea rax, [rip+0x1913c5]
    00164803mov [rbx], rax
    00164806lea rax, [rip+0x190c83]
    0016480dmov [rbx+8], rax
    00164811lea rax, [rbx-24]
    00164815mov [rax-8], 2048
    0016481dmov [rax], rbx
    00164820mov [rax+8], rdi
    00164824jmp 0x1646b0
    00164829
    00164829loc_164829:
    00164829call caml_call_gc
    0016482ejmp 0x164780
    00164770
    00164833
    00164833 // align 0x10
    00164840
    00164840camlGet.fun_1184:
    00164840lea r10, [rsp-328]
    00164848cmp r10, [r14+40]
    0016484cjb 0x164880
    0016484e
    0016484eloc_16484e:
    0016484esub rsp, 8
    00164852lea rbx, [rip+0x191007]
    00164859mov rbx, [rbx+72]
    0016485dmov rbx, [rbx]
    00164860mov [rsp], rbx
    00164864call camlLexstate.save_arg_1030
    00164869mov rbx, [rsp]
    0016486dmov rdi, [rbx]
    00164870call rdi
    00164872call camlCounter.value_counter_658
    00164877add rsp, 8
    0016487bjmp 0x163b90
    00164880
    00164880loc_164880:
    00164880push 34
    00164882call caml_call_realloc_stack
    00164887pop r10
    00164889jmp 0x16484e
    00164840
    0016488b
    0016488b // align 0x10
    00164890
    00164890camlGet.fun_1186:
    00164890lea r10, [rsp-328]
    00164898cmp r10, [r14+40]
    0016489cjb 0x164932
    001648a2
    001648a2loc_1648a2:
    001648a2sub rsp, 8
    001648a6lea rbx, [rip+0x190fb3]
    001648admov rbx, [rbx+72]
    001648b1mov rbx, [rbx]
    001648b4mov [rsp], rbx
    001648b8call camlLexstate.save_arg_1030
    001648bdmov rbx, [rsp]
    001648c1mov rdi, [rbx]
    001648c4call rdi
    001648c6call camlMyLexing.from_string_309
    001648cbcall camlLength.main_473
    001648d0test al, 1
    001648d2jne 0x164924
    001648d4movzx rbx, [rax-8]
    001648d9cmp rbx, 1
    001648ddje 0x1648ec
    001648dftest rbx, rbx
    001648e2jne 0x164924
    001648e4mov rax, [rax]
    001648e7jmp 0x164929
    001648e9
    001648e9 0f 1f 00 ...
    001648ec
    001648ecloc_1648ec:
    001648ecmov rbx, [rax]
    001648efimul rbx, rbx, 100
    001648f3inc rbx
    001648f6sar rbx, 1
    001648f9mov rdi, rbx
    001648fcshr rdi, 63
    00164900mov rsi, 0xa3d70a3d70a3d70b
    0016490amov rax, rbx
    0016490dimul rsi
    00164910add rdx, rbx
    00164913sar rdx, 10
    00164917add rdx, rdi
    0016491alea rax, [rdx+rdx+1]
    0016491fjmp 0x164929
    00164921
    00164921 0f 1f 00 ...
    00164924
    00164924loc_164924:
    00164924mov eax, 5
    00164929
    00164929loc_164929:
    00164929add rsp, 8
    0016492djmp 0x163b90
    00164932
    00164932loc_164932:
    00164932push 34
    00164934call caml_call_realloc_stack
    00164939pop r10
    0016493bjmp 0x1648a2
    00164890
    00164940
    00164940camlGet.fun_1189:
    00164940lea r10, [rsp-328]
    00164948cmp r10, [r14+40]
    0016494cjb 0x16498c
    0016494e
    0016494eloc_16494e:
    0016494esub rsp, 8
    00164952lea rbx, [rip+0x190f07]
    00164959mov rbx, [rbx+72]
    0016495dmov rbx, [rbx]
    00164960mov [rsp], rbx
    00164964call camlLexstate.save_arg_1030
    00164969mov rbx, [rsp]
    0016496dmov rdi, [rbx]
    00164970call rdi
    00164972mov rbx, rax
    00164975lea rax, [rip+0x190ee4]
    0016497cmov rax, [rax+208]
    00164983add rsp, 8
    00164987jmp 0x17f150
    0016498c
    0016498cloc_16498c:
    0016498cpush 34
    0016498ecall caml_call_realloc_stack
    00164993pop r10
    00164995jmp 0x16494e
    00164940
    00164997
    00164997 // align 0x10
    001649a0
    001649a0camlGet.def_commands_bool_819:
    001649a0lea r10, [rsp-352]
    001649a8cmp r10, [r14+40]
    001649acjb 0x164cb3
    001649b2
    001649b2loc_1649b2:
    001649b2sub rsp, 16
    001649b6mov eax, 1
    001649bbcall camlGet.def_commands_int_797
    001649c0mov [rsp], rax
    001649c4sub r15, 432
    001649cbcmp r15, [r14]
    001649cejb 0x164ca9
    001649d4
    001649d4loc_1649d4:
    001649d4lea rax, [r15+8]
    001649d8add rax, 408
    001649demov [rax-8], 2048
    001649e6lea rbx, [rip+0x19106b]
    001649edmov [rax], rbx
    001649f0lea rbx, [rip+0x190ab1]
    001649f7mov [rax+8], rbx
    001649fblea rbx, [rax-24]
    001649ffmov [rbx-8], 2048
    00164a07mov [rbx], rax
    00164a0amov [rbx+8], 1
    00164a12lea rax, [rbx-24]
    00164a16mov [rax-8], 2048
    00164a1elea rdi, [rip+0x19108b]
    00164a25mov [rax], rdi
    00164a28lea rdi, [rip+0x190a91]
    00164a2fmov [rax+8], rdi
    00164a33lea rdi, [rax-24]
    00164a37mov [rdi-8], 2048
    00164a3fmov [rdi], rax
    00164a42mov [rdi+8], rbx
    00164a46lea rax, [rdi-24]
    00164a4amov [rax-8], 2048
    00164a52lea rbx, [rip+0x19107f]
    00164a59mov [rax], rbx
    00164a5clea rbx, [rip+0x190a75]
    00164a63mov [rax+8], rbx
    00164a67lea rbx, [rax-24]
    00164a6bmov [rbx-8], 2048
    00164a73mov [rbx], rax
    00164a76mov [rbx+8], rdi
    00164a7alea rax, [rbx-24]
    00164a7emov [rax-8], 2048
    00164a86lea rdi, [rip+0x19106b]
    00164a8dmov [rax], rdi
    00164a90lea rdi, [rip+0x190a59]
    00164a97mov [rax+8], rdi
    00164a9blea rdi, [rax-24]
    00164a9fmov [rdi-8], 2048
    00164aa7mov [rdi], rax
    00164aaamov [rdi+8], rbx
    00164aaelea rax, [rdi-24]
    00164ab2mov [rax-8], 2048
    00164abalea rbx, [rip+0x191077]
    00164ac1mov [rax], rbx
    00164ac4lea rbx, [rip+0x190a3d]
    00164acbmov [rax+8], rbx
    00164acflea rbx, [rax-24]
    00164ad3mov [rbx-8], 2048
    00164adbmov [rbx], rax
    00164ademov [rbx+8], rdi
    00164ae2lea rax, [rbx-24]
    00164ae6mov [rax-8], 2048
    00164aeelea rdi, [rip+0x191053]
    00164af5mov [rax], rdi
    00164af8lea rdi, [rip+0x190a21]
    00164affmov [rax+8], rdi
    00164b03lea rdi, [rax-24]
    00164b07mov [rdi-8], 2048
    00164b0fmov [rdi], rax
    00164b12mov [rdi+8], rbx
    00164b16lea rax, [rdi-24]
    00164b1amov [rax-8], 2048
    00164b22lea rbx, [rip+0x191037]
    00164b29mov [rax], rbx
    00164b2clea rbx, [rip+0x190a05]
    00164b33mov [rax+8], rbx
    00164b37lea rbx, [rax-24]
    00164b3bmov [rbx-8], 2048
    00164b43mov [rbx], rax
    00164b46mov [rbx+8], rdi
    00164b4alea rax, [rbx-24]
    00164b4emov [rax-8], 2048
    00164b56lea rdi, [rip+0x19101b]
    00164b5dmov [rax], rdi
    00164b60lea rdi, [rip+0x1909e9]
    00164b67mov [rax+8], rdi
    00164b6blea rdi, [rax-24]
    00164b6fmov [rdi-8], 2048
    00164b77mov [rdi], rax
    00164b7amov [rdi+8], rbx
    00164b7elea rbx, [rdi-24]
    00164b82mov [rbx-8], 2048
    00164b8alea rax, [rip+0x190ff7]
    00164b91mov [rbx], rax
    00164b94lea rax, [rip+0x1909cd]
    00164b9bmov [rbx+8], rax
    00164b9flea rax, [rbx-24]
    00164ba3mov [rax-8], 2048
    00164babmov [rax], rbx
    00164baemov [rax+8], rdi
    00164bb2call camlGet.def_commands_791
    00164bb7mov [rsp+8], rax
    00164bbclea r11, [rip+61]
    00164bc3push r11
    00164bc5push [r14+48]
    00164bc9mov [r14+48], rsp
    00164bcdlea rax, [rip+0x190e4c]
    00164bd4call camlLatexmacros.find_fail_942
    00164bd9sub r15, 16
    00164bddcmp r15, [r14]
    00164be0jb 0x164c9f
    00164be6
    00164be6loc_164be6:
    00164be6lea rbx, [r15+8]
    00164beamov [rbx-8], 1024
    00164bf2mov [rbx], rax
    00164bf5pop [r14+48]
    00164bf9add rsp, 8
    00164bfdjmp 0x164c28
    00164bffnop
    00164c00lea rbx, [rip+0x1afd61]
    00164c07mov rbx, [rbx]
    00164c0acmp rax, rbx
    00164c0djne 0x164c18
    00164c0fmov ebx, 1
    00164c14jmp 0x164c28
    00164c16nop
    00164c18
    00164c18loc_164c18:
    00164c18mov rsp, [r14+48]
    00164c1cpop [r14+48]
    00164c20pop r11
    00164c22jmp r11
    00164c25nop [rax]
    00164c28
    00164c28loc_164c28:
    00164c28sub r15, 64
    00164c2ccmp r15, [r14]
    00164c2fjb 0x164c98
    00164c31
    00164c31loc_164c31:
    00164c31lea rax, [r15+8]
    00164c35add rax, 16
    00164c39mov [rax-8], 5367
    00164c41lea rdi, [rip+2312]
    00164c48mov [rax], rdi
    00164c4bmov rdi, 0x100000000000005
    00164c55mov [rax+8], rdi
    00164c59mov rdi, [rsp]
    00164c5dmov [rax+16], rdi
    00164c61mov rdi, [rsp+8]
    00164c66mov [rax+24], rdi
    00164c6amov [rax+32], rbx
    00164c6elea rdi, [rax-16]
    00164c72mov [rdi-8], 1026
    00164c7amov [rdi], rax
    00164c7dlea rax, [rip+0x1b1d1c]
    00164c84mov rbx, [rax+56]
    00164c88lea rax, [rip+0x190d91]
    00164c8fadd rsp, 16
    00164c93jmp 0x17af20
    00164c98
    00164c98loc_164c98:
    00164c98call caml_call_gc
    00164c9djmp 0x164c31
    00164c9f
    00164c9floc_164c9f:
    00164c9fcall caml_call_gc
    00164ca4jmp 0x164be6
    00164ca9
    00164ca9loc_164ca9:
    00164ca9call caml_call_gc
    00164caejmp 0x1649d4
    00164cb3
    00164cb3loc_164cb3:
    00164cb3push 37
    00164cb5call caml_call_realloc_stack
    00164cbapop r10
    00164cbcjmp 0x1649b2
    001649a0
    00164cc1
    00164cc1 // align 0x10
    00164cd0
    00164cd0camlGet.fun_1192:
    00164cd0mov eax, 15
    00164cd5jmp 0x163c50
    00164cd0
    00164cda
    00164cda // align 0x10