(gdb) disas Congrats
Dump of assembler code for function Congrats:
0x0000000100001789 <Congrats+0>:    push   %rbp
0x000000010000178a <Congrats+1>:    mov    %rsp,%rbp
0x000000010000178d <Congrats+4>:    sub    $0x10,%rsp
0x0000000100001791 <Congrats+8>:    mov    0xee8(%rip),%rsi        # 0x100002680
0x0000000100001798 <Congrats+15>:    mov    0xef1(%rip),%rdi        # 0x100002690
0x000000010000179f <Congrats+22>:    lea    0x101a(%rip),%rax        # 0x1000027c0
0x00000001000017a6 <Congrats+29>:    mov    %rax,(%rsp)
0x00000001000017aa <Congrats+33>:    lea    0xfef(%rip),%rdx        # 0x1000027a0
0x00000001000017b1 <Congrats+40>:    xor    %ecx,%ecx
0x00000001000017b3 <Congrats+42>:    xor    %r8d,%r8d
0x00000001000017b6 <Congrats+45>:    xor    %r9d,%r9d
0x00000001000017b9 <Congrats+48>:    xor    %al,%al
0x00000001000017bb <Congrats+50>:    callq  *0x877(%rip)        # 0x100002038
0x00000001000017c1 <Congrats+56>:    mov    0xec0(%rip),%rsi        # 0x100002688
0x00000001000017c8 <Congrats+63>:    mov    %rax,%rdi
0x00000001000017cb <Congrats+66>:    mov    0x866(%rip),%rax        # 0x100002038
0x00000001000017d2 <Congrats+73>:    add    $0x10,%rsp
0x00000001000017d6 <Congrats+77>:    pop    %rbp
0x00000001000017d7 <Congrats+78>:    jmpq   *%rax
End of assembler dump.