#include <stdio.h>

int main() {
    int i = 0;
    int k = 1;
    k = i++;
    printf("k = %d",k);
}

///////////////////////////////////////////////////////
DISASSEMBLY OF main()
///////////////////////////////////////////////////////

0000000000400594 <main>:
  400594:   55                      push   %rbp
  400595:   48 89 e5                mov    %rsp,%rbp
  400598:   48 83 ec 10             sub    $0x10,%rsp
  40059c:   c7 45 fc 00 00 00 00    movl   $0x0,-0x4(%rbp)
  4005a3:   c7 45 f8 01 00 00 00    movl   $0x1,-0x8(%rbp)
  4005aa:   8b 45 fc                mov    -0x4(%rbp),%eax
  4005ad:   89 45 f8                mov    %eax,-0x8(%rbp)
  4005b0:   83 45 fc 01             addl   $0x1,-0x4(%rbp)
  4005b4:   8b 45 f8                mov    -0x8(%rbp),%eax
  4005b7:   89 c6                   mov    %eax,%esi
  4005b9:   bf bc 06 40 00          mov    $0x4006bc,%edi
  4005be:   b8 00 00 00 00          mov    $0x0,%eax
  4005c3:   e8 c8 fe ff ff          callq  400490 <printf@plt>
  4005c8:   b8 00 00 00 00          mov    $0x0,%eax
  4005cd:   c9                      leaveq
  4005ce:   c3                      retq
  4005cf:   90                      nop