.file	"while1.c"
gcc2_compiled.:
___gnu_compiled_c:
	.def	___main;	.scl	2;	.type	32;	.endef
.text
LC0:
	.ascii "x = %d\12\0"
LC1:
	.ascii "Done.\0"
	.align 4
.globl _main
	.def	_main;	.scl	2;	.type	32;	.endef
_main:
	pushl %ebp
	movl %esp,%ebp
	subl $24,%esp
	call ___main
	movl $7,-4(%ebp)
	.p2align 4,,7
L3:
	cmpl $0,-4(%ebp)
	jg L5
	jmp L4
	.p2align 4,,7
L5:
	addl $-8,%esp
	movl -4(%ebp),%eax
	pushl %eax
	pushl $LC0
	call _printf
	addl $16,%esp
	decl -4(%ebp)
	jmp L3
	.p2align 4,,7
L4:
	addl $-12,%esp
	pushl $LC1
	call _printf
	addl $16,%esp
L2:
	leave
	ret
	.def	_printf;	.scl	2;	.type	32;	.endef