Dump of assembler code for function main():
   0x0000000000400760 <+0>:     push   %r12
   0x0000000000400762 <+2>:     xor    %r12d,%r12d
   0x0000000000400765 <+5>:     push   %rbp
   0x0000000000400766 <+6>:     push   %rbx
   0x0000000000400767 <+7>:     jmp    0x40078b <main()+43>
   0x0000000000400769 <+9>:     nopl   0x0(%rax)
   0x0000000000400770 <+16>:    movsbl 0x43(%rbx),%esi
   0x0000000000400774 <+20>:    mov    %rbp,%rdi
   0x0000000000400777 <+23>:    add    $0x5b4699,%r12d
   0x000000000040077e <+30>:    callq  0x400740 <_ZNSo3putEc@plt>
   0x0000000000400783 <+35>:    mov    %rax,%rdi
   0x0000000000400786 <+38>:    callq  0x400730 <_ZNSo5flushEv@plt>
   0x000000000040078b <+43>:    mov    %r12d,%esi
   0x000000000040078e <+46>:    mov    $0x601080,%edi
   0x0000000000400793 <+51>:    callq  0x4006c0 <_ZNSolsEi@plt>
   0x0000000000400798 <+56>:    mov    %rax,%rbp
   0x000000000040079b <+59>:    mov    (%rax),%rax
   0x000000000040079e <+62>:    mov    -0x18(%rax),%rax
   0x00000000004007a2 <+66>:    mov    0xf0(%rbp,%rax,1),%rbx
   0x00000000004007aa <+74>:    test   %rbx,%rbx
   0x00000000004007ad <+77>:    je     0x4007db <main()+123>
   0x00000000004007af <+79>:    cmpb   $0x0,0x38(%rbx)
   0x00000000004007b3 <+83>:    jne    0x400770 <main()+16>
   0x00000000004007b5 <+85>:    mov    %rbx,%rdi
   0x00000000004007b8 <+88>:    callq  0x4006e0 <_ZNKSt5ctypeIcE13_M_widen_initEv@plt>
   0x00000000004007bd <+93>:    mov    (%rbx),%rax
   0x00000000004007c0 <+96>:    mov    $0xa,%esi
   0x00000000004007c5 <+101>:   mov    0x30(%rax),%rax
   0x00000000004007c9 <+105>:   cmp    $0x400910,%rax
   0x00000000004007cf <+111>:   je     0x400774 <main()+20>
   0x00000000004007d1 <+113>:   mov    %rbx,%rdi
   0x00000000004007d4 <+116>:   callq  *%rax
   0x00000000004007d6 <+118>:   movsbl %al,%esi
   0x00000000004007d9 <+121>:   jmp    0x400774 <main()+20>
   0x00000000004007db <+123>:   callq  0x4006d0 <_ZSt16__throw_bad_castv@plt>