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