=> 0x7f03f7b5760c:	mov    (%rsi),%rax
   0x7f03f7b5760f:	mov    %rbp,%rdi
   0x7f03f7b57612:	mov    %rax,0x8(%r12)
   0x7f03f7b57617:	callq  0x7f03f7b570a0
   0x7f03f7b5761c:	test   %r12,%r12
   0x7f03f7b5761f:	jne    0x7f03f7b576e0
   0x7f03f7b57625:	test   %r13,%r13
   0x7f03f7b57628:	jne    0x7f03f7b575f0
   0x7f03f7b5762a:	mov    (%rbx),%r8d
   0x7f03f7b5762d:	test   %r8d,%r8d
   0x7f03f7b57630:	je     0x7f03f7b57643
   0x7f03f7b57632:	mov    0x28d937(%rip),%rax        # 0x7f03f7de4f70
   0x7f03f7b57639:	mov    0x28e740(%rip),%rdi        # 0x7f03f7de5d80
   0x7f03f7b57640:	callq  *0x18(%rax)
   0x7f03f7b57643:	add    $0x28,%rsp
   0x7f03f7b57647:	pop    %rbx