0x7fb1673b6c42 : mov 0x0(%rbp,%rax,1),%rbp 0x7fb1673b6c47 : je 0x7fb1673b6c5e 0x7fb1673b6c49 : mov 0x30(%rsp),%rsi 0x7fb1673b6c4e : mov %rbx,%rdi 0x7fb1673b6c51 : callq 0x7fb1673b5200 0x7fb1673b6c56 : test %eax,%eax 0x7fb1673b6c58 : je 0x7fb1673b6e7d 0x7fb1673b6c5e : mov 0x26c023(%rip),%rax # 0x7fb167622c88 0x7fb1673b6c65 : xor %edx,%edx 0x7fb1673b6c67 : mov %r13,%rsi 0x7fb1673b6c6a : mov $0x4,%ecx 0x7fb1673b6c6f : add 0x8(%r12),%rsi 0x7fb1673b6c74 : div %r14 0x7fb1673b6c77 : mov 0x8(%rsi),%rdi 0x7fb1673b6c7b : cmp $0x4,%rax 0x7fb1673b6c7f : cmovae %rax,%rcx