.global main
main:
	mov $formatstring, %rdi
	mov $42, %rsi
	mov $67, %rax
	xor %rdx, %rdx
	push %rax
	push %rsi
	push %rdi
	call printf
	ret
	
formatstring:
	.asciz "The numbers are %d, %d\n"