0000000100000f50	pushq	%rbp
0000000100000f51	movq	%rsp, %rbp
0000000100000f54	subq	$0x10, %rsp
0000000100000f58	leaq	0x4f(%rip), %rdi
0000000100000f5f	movl	$0x0, -0x4(%rbp)
0000000100000f66	movl	$0x0, -0x8(%rbp)
0000000100000f6d	movl	$0x1, -0xc(%rbp)
0000000100000f74	movl	-0x8(%rbp), %esi
0000000100000f77	movl	-0xc(%rbp), %edx
0000000100000f7a	movb	$0x0, %al
0000000100000f7c	callq	0x100000f8e
0000000100000f81	xorl	%edx, %edx
0000000100000f83	movl	%eax, -0x10(%rbp)
0000000100000f86	movl	%edx, %eax
0000000100000f88	addq	$0x10, %rsp
0000000100000f8c	popq	%rbp
0000000100000f8d	retq

#include <stdio.h>
int main(){
	int x, y;
	x = 0;
	y = 1;
	printf("%d, %d\n", x, y);
	return 0;
}