; Listing generated by Microsoft (R) Optimizing Compiler Version 15.00.21022.08 

include listing.inc

INCLUDELIB LIBCMT
INCLUDELIB OLDNAMES

_DATA	SEGMENT
$SG695	DB	'%I64u', 0aH, 00H
_DATA	ENDS
PUBLIC	main
EXTRN	printf:PROC
pdata	SEGMENT
$pdata$main DD	imagerel $LN3
	DD	imagerel $LN3+43
	DD	imagerel $unwind$main
pdata	ENDS
xdata	SEGMENT
$unwind$main DD	010401H
	DD	06204H
; Function compile flags: /Odtp
xdata	ENDS
_TEXT	SEGMENT
x$ = 32
main	PROC
; File c:\test\proof.c
; Line 2
$LN3:
	sub	rsp, 56					; 00000038H
; Line 3
	mov	rax, -3859904458173506500		; ca6edd588f9f1c3cH
	mov	QWORD PTR x$[rsp], rax
; Line 5
	mov	rdx, QWORD PTR x$[rsp]
	lea	rcx, OFFSET FLAT:$SG695
	call	printf
; Line 6
	xor	eax, eax
	add	rsp, 56					; 00000038H
	ret	0
main	ENDP
_TEXT	ENDS
END