(gdb) x/6i $pc-120x17bd9f1: mov (%rbx),%eax ; 0x17bd9f3: mov %rbx,%rdi ; 0x17bd9f6: callq *0x70(%rax) ; 0x17bd9f9 <_Z3Foov+345>: cmp %eax,%r12d ; 0x17bd9fc <_Z3Foov+348>: mov %eax,-0x80(%rbp) ; 0x17bd9ff <_Z3Foov+351>: jge 0x17bd97e ;