0x7f80811f7634 <vfprintf+20>:	mov    %rdx,-0x640(%rbp)
0x7f80811f763b <vfprintf+27>:	
    mov    0x317956(%rip),%rdx        # 0x7f808150ef98
0x7f80811f7642 <vfprintf+34>:	mov    %rdi,-0x630(%rbp)
0x7f80811f7649 <vfprintf+41>:	mov    %rsi,-0x638(%rbp)
0x7f80811f7650 <vfprintf+48>:	mov    %fs:(%rdx),%eax
0x7f80811f7653 <vfprintf+51>:	mov    %eax,-0x5c8(%rbp)
0x7f80811f7659 <vfprintf+57>:	mov    0xc0(%rdi),%eax
0x7f80811f765f <vfprintf+63>:	test   %eax,%eax
0x7f80811f7661 <vfprintf+65>:	jne    0x7f80811f9a55 <vfprintf+9269>
0x7f80811f7667 <vfprintf+71>:	movl   $0xffffffff,0xc0(%rdi)
0x7f80811f7671 <vfprintf+81>:	mov    -0x630(%rbp),%rcx
0x7f80811f7678 <vfprintf+88>:	mov    (%rcx),%ebx
0x7f80811f767a <vfprintf+90>:	test   $0x8,%bl
0x7f80811f767d <vfprintf+93>:	jne    0x7f80811f9a6d <vfprintf+9293>
0x7f80811f7683 <vfprintf+99>:	cmpq   $0x0,-0x638(%rbp)
0x7f80811f768b <vfprintf+107>:	je     0x7f80811fa50e <vfprintf+12014>