#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