	.file	"os_test.c"
	.section	.debug_abbrev,"",@progbits
.Ldebug_abbrev0:
	.section	.debug_info,"",@progbits
.Ldebug_info0:
	.section	.debug_line,"",@progbits
.Ldebug_line0:
	.text
.Ltext0:
	.cfi_sections	.debug_frame
.globl all_OSes
	.section	.rodata
.LC0:
	.string	"linux"
.LC1:
	.string	"darwin"
	.data
	.align 4
	.type	all_OSes, @object
	.size	all_OSes, 12
all_OSes:
	.long	.LC0
	.long	.LC1
	.long	0
	.section	.rodata
.LC2:
	.string	"r"
.LC3:
	.string	"/proc/sys/kernel/osrelease"
.LC4:
	.string	"%d.%d.%d"
	.text
	.type	matches_version, @function
matches_version:
.LFB0:
	.file 1 "os_test.c"
	.loc 1 31 0
	.cfi_startproc
	pushl	%ebp
	.cfi_def_cfa_offset 8
	.cfi_offset 5, -8
	movl	%esp, %ebp
	.cfi_def_cfa_register 5
	subl	$72, %esp
	.loc 1 34 0
	cmpl	$0, 8(%ebp)
	jne	.L2
	movl	$1, %eax
	jmp	.L3
.L2:
	.loc 1 37 0
	movl	$.LC2, %edx
	movl	$.LC3, %eax
	movl	%edx, 4(%esp)
	movl	%eax, (%esp)
	call	fopen
	movl	%eax, -12(%ebp)
	.loc 1 38 0
	cmpl	$0, -12(%ebp)
	je	.L4
	movl	$.LC4, %eax
	leal	-24(%ebp), %edx
	movl	%edx, 16(%esp)
	leal	-20(%ebp), %edx
	movl	%edx, 12(%esp)
	leal	-16(%ebp), %edx
	movl	%edx, 8(%esp)
	movl	%eax, 4(%esp)
	movl	-12(%ebp), %eax
	movl	%eax, (%esp)
	call	__isoc99_fscanf
	cmpl	$3, %eax
	je	.L5
.L4:
	movl	$0, %eax
	jmp	.L3
.L5:
	.loc 1 39 0
	movl	-12(%ebp), %eax
	movl	%eax, (%esp)
	call	fclose
	.loc 1 42 0
	movl	$.LC4, %edx
	movl	8(%ebp), %eax
	leal	-36(%ebp), %ecx
	movl	%ecx, 16(%esp)
	leal	-32(%ebp), %ecx
	movl	%ecx, 12(%esp)
	leal	-28(%ebp), %ecx
	movl	%ecx, 8(%esp)
	movl	%edx, 4(%esp)
	movl	%eax, (%esp)
	call	__isoc99_sscanf
	cmpl	$3, %eax
	je	.L6
	movl	$0, %eax
	jmp	.L3
.L6:
	.loc 1 47 0
	movl	-16(%ebp), %edx
	movl	-28(%ebp), %eax
	cmpl	%eax, %edx
	jle	.L7
	movl	$1, %eax
	jmp	.L3
.L7:
	.loc 1 48 0
	movl	-16(%ebp), %edx
	movl	-28(%ebp), %eax
	cmpl	%eax, %edx
	jge	.L8
	movl	$0, %eax
	jmp	.L3
.L8:
	.loc 1 49 0
	movl	-20(%ebp), %edx
	movl	-32(%ebp), %eax
	cmpl	%eax, %edx
	jle	.L9
	movl	$1, %eax
	jmp	.L3
.L9:
	.loc 1 50 0
	movl	-20(%ebp), %edx
	movl	-32(%ebp), %eax
	cmpl	%eax, %edx
	jge	.L10
	movl	$0, %eax
	jmp	.L3
.L10:
	.loc 1 51 0
	movl	-24(%ebp), %edx
	movl	-36(%ebp), %eax
	cmpl	%eax, %edx
	jl	.L11
	movl	$1, %eax
	jmp	.L3
.L11:
	.loc 1 53 0
	movl	$0, %eax
.L3:
	.loc 1 54 0
	leave
	.cfi_restore 5
	.cfi_def_cfa 4, 4
	ret
	.cfi_endproc
.LFE0:
	.size	matches_version, .-matches_version
	.type	go, @function
go:
.LFB1:
	.loc 1 58 0
	.cfi_startproc
	pushl	%ebp
	.cfi_def_cfa_offset 8
	.cfi_offset 5, -8
	movl	%esp, %ebp
	.cfi_def_cfa_register 5
	subl	$24, %esp
	.loc 1 60 0
	movl	$.LC0, 4(%esp)
	movl	8(%ebp), %eax
	movl	%eax, (%esp)
	call	strcmp
	testl	%eax, %eax
	jne	.L14
	movl	12(%ebp), %eax
	movl	%eax, (%esp)
	call	matches_version
	testl	%eax, %eax
	je	.L14
	movl	$1, %eax
	jmp	.L15
.L14:
	.loc 1 69 0
	movl	$0, %eax
.L15:
	.loc 1 70 0
	leave
	.cfi_restore 5
	.cfi_def_cfa 4, 4
	ret
	.cfi_endproc
.LFE1:
	.size	go, .-go
	.section	.rodata
	.align 4
.LC5:
	.string	"usage: os_test <OS-type> [<min-version>]\n"
	.text
.globl main
	.type	main, @function
main:
.LFB2:
	.loc 1 76 0
	.cfi_startproc
	pushl	%ebp
	.cfi_def_cfa_offset 8
	.cfi_offset 5, -8
	movl	%esp, %ebp
	.cfi_def_cfa_register 5
	andl	$-16, %esp
	subl	$32, %esp
	.loc 1 78 0
	cmpl	$1, 8(%ebp)
	jg	.L18
	.loc 1 79 0
	movl	stderr, %eax
	movl	%eax, %edx
	movl	$.LC5, %eax
	movl	%edx, 12(%esp)
	movl	$41, 8(%esp)
	movl	$1, 4(%esp)
	movl	%eax, (%esp)
	call	fwrite
	.loc 1 80 0
	movl	$3, (%esp)
	call	exit
.L18:
	.loc 1 82 0
	movl	12(%ebp), %eax
	addl	$8, %eax
	movl	(%eax), %edx
	movl	12(%ebp), %eax
	addl	$4, %eax
	movl	(%eax), %eax
	movl	%edx, 4(%esp)
	movl	%eax, (%esp)
	call	go
	testl	%eax, %eax
	je	.L19
	.loc 1 83 0
	movl	$0, %eax
	jmp	.L20
.L19:
	.loc 1 85 0
	movl	$0, 28(%esp)
	jmp	.L21
.L23:
	.loc 1 86 0
	movl	28(%esp), %eax
	movl	all_OSes(,%eax,4), %edx
	movl	12(%ebp), %eax
	addl	$4, %eax
	movl	(%eax), %eax
	movl	%edx, 4(%esp)
	movl	%eax, (%esp)
	call	strcmp
	testl	%eax, %eax
	jne	.L22
	.loc 1 87 0
	movl	$1, %eax
	jmp	.L20
.L22:
	.loc 1 85 0
	addl	$1, 28(%esp)
.L21:
	movl	28(%esp), %eax
	movl	all_OSes(,%eax,4), %eax
	testl	%eax, %eax
	jne	.L23
	.loc 1 89 0
	movl	$2, %eax
.L20:
	.loc 1 90 0
	leave
	.cfi_restore 5
	.cfi_def_cfa 4, 4
	ret
	.cfi_endproc
.LFE2:
	.size	main, .-main
.Letext0:
	.file 2 "/usr/lib/gcc/i686-redhat-linux/4.4.5/include/stddef.h"
	.file 3 "/usr/include/bits/types.h"
	.file 4 "/usr/include/stdio.h"
	.file 5 "/usr/include/libio.h"
	.section	.debug_info
	.long	0x409
	.value	0x3
	.long	.Ldebug_abbrev0
	.byte	0x4
	.uleb128 0x1
	.long	.LASF56
	.byte	0x1
	.long	.LASF57
	.long	.LASF58
	.long	.Ltext0
	.long	.Letext0
	.long	.Ldebug_line0
	.uleb128 0x2
	.long	.LASF8
	.byte	0x2
	.byte	0xd3
	.long	0x30
	.uleb128 0x3
	.byte	0x4
	.byte	0x7
	.long	.LASF0
	.uleb128 0x3
	.byte	0x1
	.byte	0x8
	.long	.LASF1
	.uleb128 0x3
	.byte	0x2
	.byte	0x7
	.long	.LASF2
	.uleb128 0x3
	.byte	0x4
	.byte	0x7
	.long	.LASF3
	.uleb128 0x3
	.byte	0x1
	.byte	0x6
	.long	.LASF4
	.uleb128 0x3
	.byte	0x2
	.byte	0x5
	.long	.LASF5
	.uleb128 0x4
	.byte	0x4
	.byte	0x5
	.string	"int"
	.uleb128 0x3
	.byte	0x8
	.byte	0x5
	.long	.LASF6
	.uleb128 0x3
	.byte	0x8
	.byte	0x7
	.long	.LASF7
	.uleb128 0x2
	.long	.LASF9
	.byte	0x3
	.byte	0x38
	.long	0x61
	.uleb128 0x2
	.long	.LASF10
	.byte	0x3
	.byte	0x8d
	.long	0x85
	.uleb128 0x3
	.byte	0x4
	.byte	0x5
	.long	.LASF11
	.uleb128 0x2
	.long	.LASF12
	.byte	0x3
	.byte	0x8e
	.long	0x6f
	.uleb128 0x5
	.byte	0x4
	.uleb128 0x6
	.byte	0x4
	.long	0x9f
	.uleb128 0x3
	.byte	0x1
	.byte	0x6
	.long	.LASF13
	.uleb128 0x2
	.long	.LASF14
	.byte	0x4
	.byte	0x31
	.long	0xb1
	.uleb128 0x7
	.long	.LASF44
	.byte	0x94
	.byte	0x5
	.value	0x10f
	.long	0x245
	.uleb128 0x8
	.long	.LASF15
	.byte	0x5
	.value	0x110
	.long	0x5a
	.sleb128 0
	.uleb128 0x8
	.long	.LASF16
	.byte	0x5
	.value	0x115
	.long	0x99
	.sleb128 4
	.uleb128 0x8
	.long	.LASF17
	.byte	0x5
	.value	0x116
	.long	0x99
	.sleb128 8
	.uleb128 0x8
	.long	.LASF18
	.byte	0x5
	.value	0x117
	.long	0x99
	.sleb128 12
	.uleb128 0x8
	.long	.LASF19
	.byte	0x5
	.value	0x118
	.long	0x99
	.sleb128 16
	.uleb128 0x8
	.long	.LASF20
	.byte	0x5
	.value	0x119
	.long	0x99
	.sleb128 20
	.uleb128 0x8
	.long	.LASF21
	.byte	0x5
	.value	0x11a
	.long	0x99
	.sleb128 24
	.uleb128 0x8
	.long	.LASF22
	.byte	0x5
	.value	0x11b
	.long	0x99
	.sleb128 28
	.uleb128 0x8
	.long	.LASF23
	.byte	0x5
	.value	0x11c
	.long	0x99
	.sleb128 32
	.uleb128 0x8
	.long	.LASF24
	.byte	0x5
	.value	0x11e
	.long	0x99
	.sleb128 36
	.uleb128 0x8
	.long	.LASF25
	.byte	0x5
	.value	0x11f
	.long	0x99
	.sleb128 40
	.uleb128 0x8
	.long	.LASF26
	.byte	0x5
	.value	0x120
	.long	0x99
	.sleb128 44
	.uleb128 0x8
	.long	.LASF27
	.byte	0x5
	.value	0x122
	.long	0x27d
	.sleb128 48
	.uleb128 0x8
	.long	.LASF28
	.byte	0x5
	.value	0x124
	.long	0x283
	.sleb128 52
	.uleb128 0x8
	.long	.LASF29
	.byte	0x5
	.value	0x126
	.long	0x5a
	.sleb128 56
	.uleb128 0x8
	.long	.LASF30
	.byte	0x5
	.value	0x12a
	.long	0x5a
	.sleb128 60
	.uleb128 0x8
	.long	.LASF31
	.byte	0x5
	.value	0x12c
	.long	0x7a
	.sleb128 64
	.uleb128 0x8
	.long	.LASF32
	.byte	0x5
	.value	0x130
	.long	0x3e
	.sleb128 68
	.uleb128 0x8
	.long	.LASF33
	.byte	0x5
	.value	0x131
	.long	0x4c
	.sleb128 70
	.uleb128 0x8
	.long	.LASF34
	.byte	0x5
	.value	0x132
	.long	0x289
	.sleb128 71
	.uleb128 0x8
	.long	.LASF35
	.byte	0x5
	.value	0x136
	.long	0x299
	.sleb128 72
	.uleb128 0x8
	.long	.LASF36
	.byte	0x5
	.value	0x13f
	.long	0x8c
	.sleb128 76
	.uleb128 0x8
	.long	.LASF37
	.byte	0x5
	.value	0x148
	.long	0x97
	.sleb128 84
	.uleb128 0x8
	.long	.LASF38
	.byte	0x5
	.value	0x149
	.long	0x97
	.sleb128 88
	.uleb128 0x8
	.long	.LASF39
	.byte	0x5
	.value	0x14a
	.long	0x97
	.sleb128 92
	.uleb128 0x8
	.long	.LASF40
	.byte	0x5
	.value	0x14b
	.long	0x97
	.sleb128 96
	.uleb128 0x8
	.long	.LASF41
	.byte	0x5
	.value	0x14c
	.long	0x25
	.sleb128 100
	.uleb128 0x8
	.long	.LASF42
	.byte	0x5
	.value	0x14e
	.long	0x5a
	.sleb128 104
	.uleb128 0x8
	.long	.LASF43
	.byte	0x5
	.value	0x150
	.long	0x29f
	.sleb128 108
	.byte	0x0
	.uleb128 0x9
	.long	.LASF59
	.byte	0x5
	.byte	0xb4
	.uleb128 0xa
	.long	.LASF45
	.byte	0xc
	.byte	0x5
	.byte	0xba
	.long	0x27d
	.uleb128 0xb
	.long	.LASF46
	.byte	0x5
	.byte	0xbb
	.long	0x27d
	.sleb128 0
	.uleb128 0xb
	.long	.LASF47
	.byte	0x5
	.byte	0xbc
	.long	0x283
	.sleb128 4
	.uleb128 0xb
	.long	.LASF48
	.byte	0x5
	.byte	0xc0
	.long	0x5a
	.sleb128 8
	.byte	0x0
	.uleb128 0x6
	.byte	0x4
	.long	0x24c
	.uleb128 0x6
	.byte	0x4
	.long	0xb1
	.uleb128 0xc
	.long	0x9f
	.long	0x299
	.uleb128 0xd
	.long	0x30
	.byte	0x0
	.byte	0x0
	.uleb128 0x6
	.byte	0x4
	.long	0x245
	.uleb128 0xc
	.long	0x9f
	.long	0x2af
	.uleb128 0xd
	.long	0x30
	.byte	0x27
	.byte	0x0
	.uleb128 0x2
	.long	.LASF49
	.byte	0x1
	.byte	0x15
	.long	0x5a
	.uleb128 0xe
	.long	.LASF50
	.byte	0x1
	.byte	0x1e
	.byte	0x1
	.long	0x2af
	.long	.LFB0
	.long	.LFE0
	.byte	0x1
	.byte	0x9c
	.long	0x33e
	.uleb128 0xf
	.long	.LASF51
	.byte	0x1
	.byte	0x1e
	.long	0x99
	.byte	0x2
	.byte	0x91
	.sleb128 0
	.uleb128 0x10
	.string	"a1"
	.byte	0x1
	.byte	0x20
	.long	0x5a
	.byte	0x2
	.byte	0x91
	.sleb128 -24
	.uleb128 0x10
	.string	"a2"
	.byte	0x1
	.byte	0x20
	.long	0x5a
	.byte	0x2
	.byte	0x91
	.sleb128 -28
	.uleb128 0x10
	.string	"a3"
	.byte	0x1
	.byte	0x20
	.long	0x5a
	.byte	0x2
	.byte	0x91
	.sleb128 -32
	.uleb128 0x10
	.string	"g1"
	.byte	0x1
	.byte	0x20
	.long	0x5a
	.byte	0x2
	.byte	0x91
	.sleb128 -36
	.uleb128 0x10
	.string	"g2"
	.byte	0x1
	.byte	0x20
	.long	0x5a
	.byte	0x2
	.byte	0x91
	.sleb128 -40
	.uleb128 0x10
	.string	"g3"
	.byte	0x1
	.byte	0x20
	.long	0x5a
	.byte	0x2
	.byte	0x91
	.sleb128 -44
	.uleb128 0x10
	.string	"fp"
	.byte	0x1
	.byte	0x25
	.long	0x33e
	.byte	0x2
	.byte	0x91
	.sleb128 -20
	.byte	0x0
	.uleb128 0x6
	.byte	0x4
	.long	0xa6
	.uleb128 0x11
	.string	"go"
	.byte	0x1
	.byte	0x39
	.byte	0x1
	.long	0x2af
	.long	.LFB1
	.long	.LFE1
	.byte	0x1
	.byte	0x9c
	.long	0x379
	.uleb128 0x12
	.string	"OS"
	.byte	0x1
	.byte	0x39
	.long	0x99
	.byte	0x2
	.byte	0x91
	.sleb128 0
	.uleb128 0xf
	.long	.LASF51
	.byte	0x1
	.byte	0x39
	.long	0x99
	.byte	0x2
	.byte	0x91
	.sleb128 4
	.byte	0x0
	.uleb128 0x13
	.byte	0x1
	.long	.LASF60
	.byte	0x1
	.byte	0x4b
	.byte	0x1
	.long	0x5a
	.long	.LFB2
	.long	.LFE2
	.byte	0x1
	.byte	0x9c
	.long	0x3bd
	.uleb128 0xf
	.long	.LASF52
	.byte	0x1
	.byte	0x4b
	.long	0x5a
	.byte	0x2
	.byte	0x91
	.sleb128 0
	.uleb128 0xf
	.long	.LASF53
	.byte	0x1
	.byte	0x4b
	.long	0x3bd
	.byte	0x2
	.byte	0x91
	.sleb128 4
	.uleb128 0x10
	.string	"i"
	.byte	0x1
	.byte	0x4d
	.long	0x5a
	.byte	0x2
	.byte	0x74
	.sleb128 28
	.byte	0x0
	.uleb128 0x6
	.byte	0x4
	.long	0x99
	.uleb128 0x14
	.long	.LASF54
	.byte	0x4
	.byte	0xa7
	.long	0x283
	.byte	0x1
	.byte	0x1
	.uleb128 0xc
	.long	0x99
	.long	0x3e0
	.uleb128 0xd
	.long	0x30
	.byte	0x2
	.byte	0x0
	.uleb128 0x14
	.long	.LASF55
	.byte	0x1
	.byte	0x17
	.long	0x3d0
	.byte	0x1
	.byte	0x1
	.uleb128 0x14
	.long	.LASF54
	.byte	0x4
	.byte	0xa7
	.long	0x283
	.byte	0x1
	.byte	0x1
	.uleb128 0x15
	.long	.LASF55
	.byte	0x1
	.byte	0x17
	.long	0x3d0
	.byte	0x1
	.byte	0x5
	.byte	0x3
	.long	all_OSes
	.byte	0x0
	.section	.debug_abbrev
	.uleb128 0x1
	.uleb128 0x11
	.byte	0x1
	.uleb128 0x25
	.uleb128 0xe
	.uleb128 0x13
	.uleb128 0xb
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x1b
	.uleb128 0xe
	.uleb128 0x11
	.uleb128 0x1
	.uleb128 0x12
	.uleb128 0x1
	.uleb128 0x10
	.uleb128 0x6
	.byte	0x0
	.byte	0x0
	.uleb128 0x2
	.uleb128 0x16
	.byte	0x0
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.byte	0x0
	.byte	0x0
	.uleb128 0x3
	.uleb128 0x24
	.byte	0x0
	.uleb128 0xb
	.uleb128 0xb
	.uleb128 0x3e
	.uleb128 0xb
	.uleb128 0x3
	.uleb128 0xe
	.byte	0x0
	.byte	0x0
	.uleb128 0x4
	.uleb128 0x24
	.byte	0x0
	.uleb128 0xb
	.uleb128 0xb
	.uleb128 0x3e
	.uleb128 0xb
	.uleb128 0x3
	.uleb128 0x8
	.byte	0x0
	.byte	0x0
	.uleb128 0x5
	.uleb128 0xf
	.byte	0x0
	.uleb128 0xb
	.uleb128 0xb
	.byte	0x0
	.byte	0x0
	.uleb128 0x6
	.uleb128 0xf
	.byte	0x0
	.uleb128 0xb
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.byte	0x0
	.byte	0x0
	.uleb128 0x7
	.uleb128 0x13
	.byte	0x1
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0xb
	.uleb128 0xb
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0x5
	.uleb128 0x1
	.uleb128 0x13
	.byte	0x0
	.byte	0x0
	.uleb128 0x8
	.uleb128 0xd
	.byte	0x0
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0x5
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x38
	.uleb128 0xd
	.byte	0x0
	.byte	0x0
	.uleb128 0x9
	.uleb128 0x16
	.byte	0x0
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.byte	0x0
	.byte	0x0
	.uleb128 0xa
	.uleb128 0x13
	.byte	0x1
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0xb
	.uleb128 0xb
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x1
	.uleb128 0x13
	.byte	0x0
	.byte	0x0
	.uleb128 0xb
	.uleb128 0xd
	.byte	0x0
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x38
	.uleb128 0xd
	.byte	0x0
	.byte	0x0
	.uleb128 0xc
	.uleb128 0x1
	.byte	0x1
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x1
	.uleb128 0x13
	.byte	0x0
	.byte	0x0
	.uleb128 0xd
	.uleb128 0x21
	.byte	0x0
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x2f
	.uleb128 0xb
	.byte	0x0
	.byte	0x0
	.uleb128 0xe
	.uleb128 0x2e
	.byte	0x1
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x27
	.uleb128 0xc
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x11
	.uleb128 0x1
	.uleb128 0x12
	.uleb128 0x1
	.uleb128 0x40
	.uleb128 0xa
	.uleb128 0x1
	.uleb128 0x13
	.byte	0x0
	.byte	0x0
	.uleb128 0xf
	.uleb128 0x5
	.byte	0x0
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x2
	.uleb128 0xa
	.byte	0x0
	.byte	0x0
	.uleb128 0x10
	.uleb128 0x34
	.byte	0x0
	.uleb128 0x3
	.uleb128 0x8
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x2
	.uleb128 0xa
	.byte	0x0
	.byte	0x0
	.uleb128 0x11
	.uleb128 0x2e
	.byte	0x1
	.uleb128 0x3
	.uleb128 0x8
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x27
	.uleb128 0xc
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x11
	.uleb128 0x1
	.uleb128 0x12
	.uleb128 0x1
	.uleb128 0x40
	.uleb128 0xa
	.uleb128 0x1
	.uleb128 0x13
	.byte	0x0
	.byte	0x0
	.uleb128 0x12
	.uleb128 0x5
	.byte	0x0
	.uleb128 0x3
	.uleb128 0x8
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x2
	.uleb128 0xa
	.byte	0x0
	.byte	0x0
	.uleb128 0x13
	.uleb128 0x2e
	.byte	0x1
	.uleb128 0x3f
	.uleb128 0xc
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x27
	.uleb128 0xc
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x11
	.uleb128 0x1
	.uleb128 0x12
	.uleb128 0x1
	.uleb128 0x40
	.uleb128 0xa
	.uleb128 0x1
	.uleb128 0x13
	.byte	0x0
	.byte	0x0
	.uleb128 0x14
	.uleb128 0x34
	.byte	0x0
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x3f
	.uleb128 0xc
	.uleb128 0x3c
	.uleb128 0xc
	.byte	0x0
	.byte	0x0
	.uleb128 0x15
	.uleb128 0x34
	.byte	0x0
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x3f
	.uleb128 0xc
	.uleb128 0x2
	.uleb128 0xa
	.byte	0x0
	.byte	0x0
	.byte	0x0
	.section	.debug_pubnames,"",@progbits
	.long	0x24
	.value	0x2
	.long	.Ldebug_info0
	.long	0x40d
	.long	0x379
	.string	"main"
	.long	0x3fa
	.string	"all_OSes"
	.long	0x0
	.section	.debug_pubtypes,"",@progbits
	.long	0x7d
	.value	0x2
	.long	.Ldebug_info0
	.long	0x40d
	.long	0x25
	.string	"size_t"
	.long	0x6f
	.string	"__quad_t"
	.long	0x7a
	.string	"__off_t"
	.long	0x8c
	.string	"__off64_t"
	.long	0xa6
	.string	"FILE"
	.long	0x245
	.string	"_IO_lock_t"
	.long	0x24c
	.string	"_IO_marker"
	.long	0xb1
	.string	"_IO_FILE"
	.long	0x2af
	.string	"Bool"
	.long	0x0
	.section	.debug_aranges,"",@progbits
	.long	0x1c
	.value	0x2
	.long	.Ldebug_info0
	.byte	0x4
	.byte	0x0
	.value	0x0
	.value	0x0
	.long	.Ltext0
	.long	.Letext0-.Ltext0
	.long	0x0
	.long	0x0
	.section	.debug_str,"MS",@progbits,1
.LASF10:
	.string	"__off_t"
.LASF16:
	.string	"_IO_read_ptr"
.LASF28:
	.string	"_chain"
.LASF34:
	.string	"_shortbuf"
.LASF8:
	.string	"size_t"
.LASF57:
	.string	"os_test.c"
.LASF22:
	.string	"_IO_buf_base"
.LASF7:
	.string	"long long unsigned int"
.LASF50:
	.string	"matches_version"
.LASF51:
	.string	"min_version"
.LASF6:
	.string	"long long int"
.LASF4:
	.string	"signed char"
.LASF29:
	.string	"_fileno"
.LASF17:
	.string	"_IO_read_end"
.LASF11:
	.string	"long int"
.LASF15:
	.string	"_flags"
.LASF23:
	.string	"_IO_buf_end"
.LASF32:
	.string	"_cur_column"
.LASF9:
	.string	"__quad_t"
.LASF31:
	.string	"_old_offset"
.LASF36:
	.string	"_offset"
.LASF45:
	.string	"_IO_marker"
.LASF0:
	.string	"unsigned int"
.LASF3:
	.string	"long unsigned int"
.LASF20:
	.string	"_IO_write_ptr"
.LASF47:
	.string	"_sbuf"
.LASF2:
	.string	"short unsigned int"
.LASF24:
	.string	"_IO_save_base"
.LASF35:
	.string	"_lock"
.LASF30:
	.string	"_flags2"
.LASF42:
	.string	"_mode"
.LASF21:
	.string	"_IO_write_end"
.LASF59:
	.string	"_IO_lock_t"
.LASF44:
	.string	"_IO_FILE"
.LASF48:
	.string	"_pos"
.LASF56:
	.string	"GNU C 4.4.5 20101112 (Red Hat 4.4.5-2)"
.LASF27:
	.string	"_markers"
.LASF1:
	.string	"unsigned char"
.LASF5:
	.string	"short int"
.LASF33:
	.string	"_vtable_offset"
.LASF14:
	.string	"FILE"
.LASF55:
	.string	"all_OSes"
.LASF13:
	.string	"char"
.LASF46:
	.string	"_next"
.LASF12:
	.string	"__off64_t"
.LASF18:
	.string	"_IO_read_base"
.LASF26:
	.string	"_IO_save_end"
.LASF37:
	.string	"__pad1"
.LASF38:
	.string	"__pad2"
.LASF39:
	.string	"__pad3"
.LASF40:
	.string	"__pad4"
.LASF41:
	.string	"__pad5"
.LASF43:
	.string	"_unused2"
.LASF54:
	.string	"stderr"
.LASF53:
	.string	"argv"
.LASF58:
	.string	"/root/genprog-many-bugs/valgrind-bug-12474-12475/valgrind/tests"
.LASF25:
	.string	"_IO_backup_base"
.LASF52:
	.string	"argc"
.LASF49:
	.string	"Bool"
.LASF60:
	.string	"main"
.LASF19:
	.string	"_IO_write_base"
	.ident	"GCC: (GNU) 4.4.5 20101112 (Red Hat 4.4.5-2)"
	.section	.note.GNU-stack,"",@progbits
