scanf_format:
	.asciz "%lf"

printf_format:
	.asciz "With tax:  %lf\n"

tax_rate:
	.double 1.07

.global _start
_start:
	sub $16, %rsp
	mov $scanf_format, %rdi
	mov %rsp, %rsi
	call scanf

	movsd (%rsp), %xmm0
	movsd (tax_rate), %xmm1
	mulsd %xmm1, %xmm0

	mov $printf_format, %rdi
	// Number to print is already in xmm0
	call printf

	mov $60, %rax
	mov $0, %rdi
	syscall