0x7fe884231456 : mov 0x0(%rbp),%rax 0x7fe88423145a : test %rax,%rax 0x7fe88423145d : je 0x7fe884231464 0x7fe88423145f : cmp %rbx,(%rax) 0x7fe884231462 : je 0x7fe88423147a 0x7fe884231464 : mov %rbx,%rsi 0x7fe884231467 : mov %rbp,%rdi 0x7fe88423146a : callq 0x7fe884042b38 0x7fe88423146f : test %eax,%eax 0x7fe884231471 : lea 0x38c34(%rip),%rdx # 0x7fe88426a0ac 0x7fe884231478 : je 0x7fe8842314f0 0x7fe88423147a : test %r12,%r12 0x7fe88423147d : je 0x7fe88423148d 0x7fe88423147f : mov (%r12),%rax 0x7fe884231483 : test %rax,%rax 0x7fe884231486 : je 0x7fe88423148d