=> 0x2b3d2ed5255a:	mov    %rdx,0x30(%rax)
   0x2b3d2ed5255e:	mov    0x58(%rsp),%rdx
   0x2b3d2ed52563:	mov    0x80(%rdx),%eax
   0x2b3d2ed52569:	lea    (%rax,%rax,2),%rax
   0x2b3d2ed5256d:	lea    0x0(%rbp,%rax,8),%rax
   0x2b3d2ed52572:	cmp    %rax,%rbp
   0x2b3d2ed52575:	mov    %rax,0x48(%rsp)
   0x2b3d2ed5257a:	jae    0x2b3d2ed528d7
   0x2b3d2ed52580:	lea    0x12c(%rsp),%rcx
   0x2b3d2ed52588:	lea    0x100(%rsp),%rbx
   0x2b3d2ed52590:	lea    0x120(%rsp),%rsi
   0x2b3d2ed52598:	mov    %r15,0x70(%rsp)
   0x2b3d2ed5259d:	mov    %rcx,0xb8(%rsp)
   0x2b3d2ed525a5:	mov    %rbx,0xa0(%rsp)
   0x2b3d2ed525ad:	mov    %rsi,0x90(%rsp)
   0x2b3d2ed525b5:	nopl   (%rax)