When debugging c code with gdb, the displayed assembly code is
0x000000000040116c main+0 push %rbp 0x000000000040116d main+1 mov %rsp,%rbp !0x00000000004011