0x7f8fc523722f : mov 0x28(%r12),%rdi 0x7f8fc5237234 : mov %rbx,%rsi 0x7f8fc5237237 : callq 0x7f8fc5221950 0x7f8fc523723c : test %rax,%rax 0x7f8fc523723f : mov %rax,%rbp 0x7f8fc5237242 : je 0x7f8fc5237360 0x7f8fc5237248 : mov 0xc(%rax),%eax 0x7f8fc523724b : test %eax,%eax 0x7f8fc523724d : je 0x7f8fc5237278 0x7f8fc523724f : sub $0x1,%eax 0x7f8fc5237252 : test %eax,%eax 0x7f8fc5237254 : mov %eax,0xc(%rbp) 0x7f8fc5237257 : je 0x7f8fc5237298 0x7f8fc5237259 : mov 0x18(%rsp),%rbx 0x7f8fc523725e : mov 0x20(%rsp),%rbp 0x7f8fc5237263 : mov 0x28(%rsp),%r12