0000000000400f50 <_IO_printf>:
  400f50:       48 81 ec d8 00 00 00    sub    $0xd8,%rsp
  400f57:       48 89 54 24 30          mov    %rdx,0x30(%rsp)
  400f5c:       0f b6 d0                movzbl %al,%edx
  400f5f:       48 89 74 24 28          mov    %rsi,0x28(%rsp)
  400f64:       48 8d 04 95 00 00 00    lea    0x0(,%rdx,4),%rax
  400f6b:       00 
  400f6c:       ba b0 0f 40 00          mov    $0x400fb0,%edx
  400f71:       48 89 4c 24 38          mov    %rcx,0x38(%rsp)
  400f76:       4c 89 44 24 40          mov    %r8,0x40(%rsp)
  400f7b:       4c 89 4c 24 48          mov    %r9,0x48(%rsp)
  400f80:       48 89 fe                mov    %rdi,%rsi
  400f83:       48 29 c2                sub    %rax,%rdx
  400f86:       48 8d 84 24 cf 00 00    lea    0xcf(%rsp),%rax
  400f8d:       00 
  400f8e:       ff e2                   jmpq   *%rdx
  400f90:       0f 29 78 f1             movaps %xmm7,0xfffffffffffffff1(%rax)
  400f94:       0f 29 70 e1             movaps %xmm6,0xffffffffffffffe1(%rax)
  400f98:       0f 29 68 d1             movaps %xmm5,0xffffffffffffffd1(%rax)
  400f9c:       0f 29 60 c1             movaps %xmm4,0xffffffffffffffc1(%rax)
  400fa0:       0f 29 58 b1             movaps %xmm3,0xffffffffffffffb1(%rax)
  400fa4:       0f 29 50 a1             movaps %xmm2,0xffffffffffffffa1(%rax)
  400fa8:       0f 29 48 91             movaps %xmm1,0xffffffffffffff91(%rax)
  400fac:       0f 29 40 81             movaps %xmm0,0xffffffffffffff81(%rax)
  400fb0:       48 8d 84 24 e0 00 00    lea    0xe0(%rsp),%rax
  400fb7:       00 
  400fb8:       48 8b 3d 71 71 18 00    mov    1601905(%rip),%rdi        # 588130 <_IO_stdout>
  400fbf:       48 89 e2                mov    %rsp,%rdx
  400fc2:       c7 04 24 08 00 00 00    movl   $0x8,(%rsp)
  400fc9:       c7 44 24 04 30 00 00    movl   $0x30,0x4(%rsp)
  400fd0:       00 
  400fd1:       48 89 44 24 08          mov    %rax,0x8(%rsp)
  400fd6:       48 8d 44 24 20          lea    0x20(%rsp),%rax
  400fdb:       48 89 44 24 10          mov    %rax,0x10(%rsp)
  400fe0:       e8 8b 12 01 00          callq  412270 <_IO_vfprintf>
  400fe5:       48 81 c4 d8 00 00 00    add    $0xd8,%rsp
  400fec:       c3                      retq