.file	"times.c"
gcc2_compiled.:
___gnu_compiled_c:
.globl _uid
.data
	.align 2
_uid:
	.long 0
.text
LC0:
	.ascii "user time:%f system time:%f\12\0"
	.align 4
.globl _main
_main:
	pushl %ebp
	movl %esp,%ebp
	subl $16,%esp
	pushl %esi
	pushl %ebx
	call ___main
	movl $10000,%ebx
	leal -16(%ebp),%esi
	.align 2,0x90
L2:
	movl _uid,%eax
	testl %eax,%eax
	je L4
	pushl %esi
	call _times
	addl $4,%esp
L4:
	decl %ebx
	jne L2
	leal -16(%ebp),%eax
	pushl %eax
	call _times
	pushl $2
	call _sysconf
	pushl %eax
	fildl (%esp)
	addl $4,%esp
	fidivrl -12(%ebp)
	subl $8,%esp
	fstpl (%esp)
	pushl $2
	call _sysconf
	addl $4,%esp
	pushl %eax
	fildl (%esp)
	addl $4,%esp
	fidivrl -16(%ebp)
	subl $8,%esp
	fstpl (%esp)
	pushl $LC0
	call _printf
	xorl %eax,%eax
	leal -24(%ebp),%esp
	popl %ebx
	popl %esi
	movl %ebp,%esp
	popl %ebp
	ret