4004b8:       55                      push   %rbp
  4004b9:       48 89 e5                mov    %rsp,%rbp
  4004bc:       48 83 ec 30             sub    $0x30,%rsp
  4004c0:       48 b8 00 00 00 00 00    mov    $0xc3e0000000000000,%rax
  4004c7:       00 e0 c3 
  4004ca:       48 89 45 e8             mov    %rax,0xffffffffffffffe8(%rbp)
  4004ce:       48 8d 45 e8             lea    0xffffffffffffffe8(%rbp),%rax
  4004d2:       48 89 45 f0             mov    %rax,0xfffffffffffffff0(%rbp)
  4004d6:       66 0f 12 45 e8          movlpd 0xffffffffffffffe8(%rbp),%xmm0
  4004db:       f2 48 0f 2c c0          cvttsd2siq %xmm0,%rax
  4004e0:       48 89 45 f8             mov    %rax,0xfffffffffffffff8(%rbp)
  4004e4:       48 8b 45 e8             mov    0xffffffffffffffe8(%rbp),%rax
  4004e8:       48 8b 75 f8             mov    0xfffffffffffffff8(%rbp),%rsi
  4004ec:       48 89 45 d8             mov    %rax,0xffffffffffffffd8(%rbp)
  4004f0:       66 0f 12 45 d8          movlpd 0xffffffffffffffd8(%rbp),%xmm0
  4004f5:       bf fc 05 40 00          mov    $0x4005fc,%edi
  4004fa:       b8 01 00 00 00          mov    $0x1,%eax
  4004ff:       e8 e4 fe ff ff          callq  4003e8 <printf@plt>
  400504:       b8 00 00 00 00          mov    $0x0,%eax
  400509:       c9                      leaveq 
  40050a:       c3                      retq