.file	"hello1.c"
gcc2_compiled.:
___gnu_compiled_c:
	.def	___main;	.scl	2;	.type	32;	.endef
.text
LC0:
	.ascii "Hello world\12\0"
	.align 4
.globl _main
	.def	_main;	.scl	2;	.type	32;	.endef
_main:
	pushl %ebp
	movl %esp,%ebp
	subl $8,%esp
	call ___main
	addl $-12,%esp
	pushl $LC0
	call _printf
	addl $16,%esp
L2:
	leave
	ret
	.def	_printf;	.scl	2;	.type	32;	.endef