hello.s

	.file	"hello.c"
	.section .rdata,"dr"
.LC0:
	.ascii "Hello, World!\0"
	.text
	.globl	sayHello
	.def	sayHello;	.scl	2;	.type	32;	.endef
	.seh_proc	sayHello
sayHello:
	pushq	%rbp
	.seh_pushreg	%rbp
	movq	%rsp, %rbp
	.seh_setframe	%rbp, 0
	subq	$32, %rsp
	.seh_stackalloc	32
	.seh_endprologue
	leaq	.LC0(%rip), %rcx
	call	puts
	nop
	addq	$32, %rsp
	popq	%rbp
	ret
	.seh_endproc
	.ident	"GCC: (GNU) 4.9.2"
	.def	puts;	.scl	2;	.type	32;	.endef

main.s

	.file	"main.c"
	.def	__main;	.scl	2;	.type	32;	.endef
	.text
	.globl	main
	.def	main;	.scl	2;	.type	32;	.endef
	.seh_proc	main
main:
	pushq	%rbp
	.seh_pushreg	%rbp
	movq	%rsp, %rbp
	.seh_setframe	%rbp, 0
	subq	$32, %rsp
	.seh_stackalloc	32
	.seh_endprologue
	call	__main
	call	sayHello
	movl	$0, %eax
	addq	$32, %rsp
	popq	%rbp
	ret
	.seh_endproc
	.ident	"GCC: (GNU) 4.9.2"
	.def	sayHello;	.scl	2;	.type	32;	.endef