#include <stdio.h>
 
int main(int argc, char** argv)
{
        printf ("Hello, world.\n");
        return 0;
}

/*
ERRORS when I do: gcc hello.c

/tmp/djd8Dd9s.s: Assembler messages:
/tmp/djd8Dd9s.s:11: Error: bad register name `%rbp'
/tmp/djd8Dd9s.s:13: Error: bad register name `%rsp'
/tmp/djd8Dd9s.s:16: Error: bad register name `%rsp'
/tmp/djd8Dd9s.s:17: Error: bad register name `%rbp)'
/tmp/djd8Dd9s.s:18: Error: bad register name `%rsi'
*/

/*
Assembler output of gcc:
	.file	"test.c"
	.section	.rodata
.LC0:
	.string	"Hello, world."
	.text
.globl main
	.type	main, @function
main:
.LFB0:
	.cfi_startproc
	pushq	%rbp
	.cfi_def_cfa_offset 16
	movq	%rsp, %rbp
	.cfi_offset 6, -16
	.cfi_def_cfa_register 6
	subq	$16, %rsp
	movl	%edi, -4(%rbp)
	movq	%rsi, -16(%rbp)
	movl	$.LC0, %edi
	call	puts
	movl	$0, %eax
	leave
	ret
	.cfi_endproc
.LFE0:
	.size	main, .-main
	.ident	"GCC: (Ubuntu 4.4.3-4ubuntu5) 4.4.3"
	.section	.note.GNU-stack,"",@progbits
*/

Hello, world.