	.file	"tc09_bad_unlock.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 child_fn
	.type	child_fn, @function
child_fn:
.LFB0:
	.file 1 "tc09_bad_unlock.c"
	.loc 1 10 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 11 0
	movl	8(%ebp), %eax
	movl	%eax, (%esp)
	call	pthread_mutex_unlock
	.loc 1 12 0
	movl	$0, %eax
	.loc 1 13 0
	leave
	.cfi_restore 5
	.cfi_def_cfa 4, 4
	ret
	.cfi_endproc
.LFE0:
	.size	child_fn, .-child_fn
.globl nearly_main
	.type	nearly_main, @function
nearly_main:
.LFB1:
	.loc 1 16 0
	.cfi_startproc
	pushl	%ebp
	.cfi_def_cfa_offset 8
	.cfi_offset 5, -8
	movl	%esp, %ebp
	.cfi_def_cfa_register 5
	subl	$488, %esp
	.loc 1 21 0
	movl	$0, -12(%ebp)
	jmp	.L4
.L5:
	movl	-12(%ebp), %eax
	movl	$-1, -464(%ebp,%eax,4)
	addl	$1, -12(%ebp)
.L4:
	cmpl	$99, -12(%ebp)
	jle	.L5
	.loc 1 23 0
	movl	$0, 4(%esp)
	leal	-40(%ebp), %eax
	movl	%eax, (%esp)
	call	pthread_mutex_init
	.loc 1 24 0
	leal	-40(%ebp), %eax
	movl	%eax, (%esp)
	call	pthread_mutex_lock
	.loc 1 25 0
	leal	-40(%ebp), %eax
	movl	%eax, (%esp)
	call	pthread_mutex_unlock
	.loc 1 27 0
	leal	-40(%ebp), %eax
	movl	%eax, (%esp)
	call	pthread_mutex_unlock
	.loc 1 31 0
	movl	$0, 4(%esp)
	leal	-64(%ebp), %eax
	movl	%eax, (%esp)
	call	pthread_mutex_init
	.loc 1 32 0
	leal	-64(%ebp), %eax
	movl	%eax, (%esp)
	call	pthread_mutex_lock
	.loc 1 35 0
	leal	-64(%ebp), %eax
	movl	%eax, 12(%esp)
	movl	$child_fn, 8(%esp)
	movl	$0, 4(%esp)
	leal	-16(%ebp), %eax
	movl	%eax, (%esp)
	call	pthread_create
	.loc 1 38 0
	movl	-16(%ebp), %eax
	movl	$0, 4(%esp)
	movl	%eax, (%esp)
	call	pthread_join
	.loc 1 41 0
	leal	-464(%ebp), %eax
	addl	$200, %eax
	movl	%eax, (%esp)
	call	pthread_mutex_unlock
	.loc 1 45 0
	leave
	.cfi_restore 5
	.cfi_def_cfa 4, 4
	ret
	.cfi_endproc
.LFE1:
	.size	nearly_main, .-nearly_main
	.section	.rodata
.LC0:
	.string	"---------------------\n"
	.text
.globl main
	.type	main, @function
main:
.LFB2:
	.loc 1 48 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	$16, %esp
	.loc 1 49 0
	call	nearly_main
	movl	stderr, %eax
	movl	%eax, %edx
	movl	$.LC0, %eax
	movl	%edx, 12(%esp)
	movl	$22, 8(%esp)
	movl	$1, 4(%esp)
	movl	%eax, (%esp)
	call	fwrite
	.loc 1 50 0
	call	nearly_main
	.loc 1 51 0
	movl	$0, %eax
	.loc 1 52 0
	leave
	.cfi_restore 5
	.cfi_def_cfa 4, 4
	ret
	.cfi_endproc
.LFE2:
	.size	main, .-main
.Letext0:
	.file 2 "/usr/include/bits/types.h"
	.file 3 "/usr/lib/gcc/i686-redhat-linux/4.4.5/include/stddef.h"
	.file 4 "/usr/include/bits/pthreadtypes.h"
	.file 5 "/usr/include/libio.h"
	.file 6 "/usr/include/stdio.h"
	.section	.debug_info
	.long	0x452
	.value	0x3
	.long	.Ldebug_abbrev0
	.byte	0x4
	.uleb128 0x1
	.long	.LASF67
	.byte	0x1
	.long	.LASF68
	.long	.LASF69
	.long	.Ltext0
	.long	.Letext0
	.long	.Ldebug_line0
	.uleb128 0x2
	.byte	0x1
	.byte	0x8
	.long	.LASF0
	.uleb128 0x2
	.byte	0x2
	.byte	0x7
	.long	.LASF1
	.uleb128 0x2
	.byte	0x4
	.byte	0x7
	.long	.LASF2
	.uleb128 0x2
	.byte	0x4
	.byte	0x7
	.long	.LASF3
	.uleb128 0x2
	.byte	0x1
	.byte	0x6
	.long	.LASF4
	.uleb128 0x2
	.byte	0x2
	.byte	0x5
	.long	.LASF5
	.uleb128 0x3
	.byte	0x4
	.byte	0x5
	.string	"int"
	.uleb128 0x2
	.byte	0x8
	.byte	0x5
	.long	.LASF6
	.uleb128 0x2
	.byte	0x8
	.byte	0x7
	.long	.LASF7
	.uleb128 0x4
	.long	.LASF8
	.byte	0x2
	.byte	0x38
	.long	0x56
	.uleb128 0x4
	.long	.LASF9
	.byte	0x2
	.byte	0x8d
	.long	0x7a
	.uleb128 0x2
	.byte	0x4
	.byte	0x5
	.long	.LASF10
	.uleb128 0x4
	.long	.LASF11
	.byte	0x2
	.byte	0x8e
	.long	0x64
	.uleb128 0x5
	.byte	0x4
	.uleb128 0x6
	.byte	0x4
	.long	0x94
	.uleb128 0x2
	.byte	0x1
	.byte	0x6
	.long	.LASF12
	.uleb128 0x4
	.long	.LASF13
	.byte	0x3
	.byte	0xd3
	.long	0x33
	.uleb128 0x4
	.long	.LASF14
	.byte	0x4
	.byte	0x24
	.long	0x3a
	.uleb128 0x7
	.long	.LASF18
	.byte	0x4
	.byte	0x4
	.byte	0x2f
	.long	0xca
	.uleb128 0x8
	.long	.LASF20
	.byte	0x4
	.byte	0x30
	.long	0xca
	.sleb128 0
	.byte	0x0
	.uleb128 0x6
	.byte	0x4
	.long	0xb1
	.uleb128 0x4
	.long	.LASF15
	.byte	0x4
	.byte	0x31
	.long	0xb1
	.uleb128 0x9
	.byte	0x4
	.byte	0x4
	.byte	0x42
	.long	0xfa
	.uleb128 0xa
	.long	.LASF16
	.byte	0x4
	.byte	0x43
	.long	0x4f
	.uleb128 0xa
	.long	.LASF17
	.byte	0x4
	.byte	0x44
	.long	0xd0
	.byte	0x0
	.uleb128 0x7
	.long	.LASF19
	.byte	0x18
	.byte	0x4
	.byte	0x39
	.long	0x149
	.uleb128 0x8
	.long	.LASF21
	.byte	0x4
	.byte	0x3a
	.long	0x4f
	.sleb128 0
	.uleb128 0x8
	.long	.LASF22
	.byte	0x4
	.byte	0x3b
	.long	0x33
	.sleb128 4
	.uleb128 0x8
	.long	.LASF23
	.byte	0x4
	.byte	0x3c
	.long	0x4f
	.sleb128 8
	.uleb128 0x8
	.long	.LASF24
	.byte	0x4
	.byte	0x3f
	.long	0x4f
	.sleb128 12
	.uleb128 0x8
	.long	.LASF25
	.byte	0x4
	.byte	0x40
	.long	0x33
	.sleb128 16
	.uleb128 0xb
	.long	0xdb
	.sleb128 20
	.byte	0x0
	.uleb128 0x9
	.byte	0x18
	.byte	0x4
	.byte	0x37
	.long	0x173
	.uleb128 0xa
	.long	.LASF26
	.byte	0x4
	.byte	0x46
	.long	0xfa
	.uleb128 0xa
	.long	.LASF27
	.byte	0x4
	.byte	0x47
	.long	0x173
	.uleb128 0xa
	.long	.LASF28
	.byte	0x4
	.byte	0x48
	.long	0x7a
	.byte	0x0
	.uleb128 0xc
	.long	0x94
	.long	0x183
	.uleb128 0xd
	.long	0x33
	.byte	0x17
	.byte	0x0
	.uleb128 0x4
	.long	.LASF29
	.byte	0x4
	.byte	0x49
	.long	0x149
	.uleb128 0xe
	.long	.LASF30
	.byte	0x94
	.byte	0x5
	.value	0x10f
	.long	0x322
	.uleb128 0xf
	.long	.LASF31
	.byte	0x5
	.value	0x110
	.long	0x4f
	.sleb128 0
	.uleb128 0xf
	.long	.LASF32
	.byte	0x5
	.value	0x115
	.long	0x8e
	.sleb128 4
	.uleb128 0xf
	.long	.LASF33
	.byte	0x5
	.value	0x116
	.long	0x8e
	.sleb128 8
	.uleb128 0xf
	.long	.LASF34
	.byte	0x5
	.value	0x117
	.long	0x8e
	.sleb128 12
	.uleb128 0xf
	.long	.LASF35
	.byte	0x5
	.value	0x118
	.long	0x8e
	.sleb128 16
	.uleb128 0xf
	.long	.LASF36
	.byte	0x5
	.value	0x119
	.long	0x8e
	.sleb128 20
	.uleb128 0xf
	.long	.LASF37
	.byte	0x5
	.value	0x11a
	.long	0x8e
	.sleb128 24
	.uleb128 0xf
	.long	.LASF38
	.byte	0x5
	.value	0x11b
	.long	0x8e
	.sleb128 28
	.uleb128 0xf
	.long	.LASF39
	.byte	0x5
	.value	0x11c
	.long	0x8e
	.sleb128 32
	.uleb128 0xf
	.long	.LASF40
	.byte	0x5
	.value	0x11e
	.long	0x8e
	.sleb128 36
	.uleb128 0xf
	.long	.LASF41
	.byte	0x5
	.value	0x11f
	.long	0x8e
	.sleb128 40
	.uleb128 0xf
	.long	.LASF42
	.byte	0x5
	.value	0x120
	.long	0x8e
	.sleb128 44
	.uleb128 0xf
	.long	.LASF43
	.byte	0x5
	.value	0x122
	.long	0x35a
	.sleb128 48
	.uleb128 0xf
	.long	.LASF44
	.byte	0x5
	.value	0x124
	.long	0x360
	.sleb128 52
	.uleb128 0xf
	.long	.LASF45
	.byte	0x5
	.value	0x126
	.long	0x4f
	.sleb128 56
	.uleb128 0xf
	.long	.LASF46
	.byte	0x5
	.value	0x12a
	.long	0x4f
	.sleb128 60
	.uleb128 0xf
	.long	.LASF47
	.byte	0x5
	.value	0x12c
	.long	0x6f
	.sleb128 64
	.uleb128 0xf
	.long	.LASF48
	.byte	0x5
	.value	0x130
	.long	0x2c
	.sleb128 68
	.uleb128 0xf
	.long	.LASF49
	.byte	0x5
	.value	0x131
	.long	0x41
	.sleb128 70
	.uleb128 0xf
	.long	.LASF50
	.byte	0x5
	.value	0x132
	.long	0x366
	.sleb128 71
	.uleb128 0xf
	.long	.LASF51
	.byte	0x5
	.value	0x136
	.long	0x376
	.sleb128 72
	.uleb128 0xf
	.long	.LASF52
	.byte	0x5
	.value	0x13f
	.long	0x81
	.sleb128 76
	.uleb128 0xf
	.long	.LASF53
	.byte	0x5
	.value	0x148
	.long	0x8c
	.sleb128 84
	.uleb128 0xf
	.long	.LASF54
	.byte	0x5
	.value	0x149
	.long	0x8c
	.sleb128 88
	.uleb128 0xf
	.long	.LASF55
	.byte	0x5
	.value	0x14a
	.long	0x8c
	.sleb128 92
	.uleb128 0xf
	.long	.LASF56
	.byte	0x5
	.value	0x14b
	.long	0x8c
	.sleb128 96
	.uleb128 0xf
	.long	.LASF57
	.byte	0x5
	.value	0x14c
	.long	0x9b
	.sleb128 100
	.uleb128 0xf
	.long	.LASF58
	.byte	0x5
	.value	0x14e
	.long	0x4f
	.sleb128 104
	.uleb128 0xf
	.long	.LASF59
	.byte	0x5
	.value	0x150
	.long	0x37c
	.sleb128 108
	.byte	0x0
	.uleb128 0x10
	.long	.LASF70
	.byte	0x5
	.byte	0xb4
	.uleb128 0x7
	.long	.LASF60
	.byte	0xc
	.byte	0x5
	.byte	0xba
	.long	0x35a
	.uleb128 0x8
	.long	.LASF61
	.byte	0x5
	.byte	0xbb
	.long	0x35a
	.sleb128 0
	.uleb128 0x8
	.long	.LASF62
	.byte	0x5
	.byte	0xbc
	.long	0x360
	.sleb128 4
	.uleb128 0x8
	.long	.LASF63
	.byte	0x5
	.byte	0xc0
	.long	0x4f
	.sleb128 8
	.byte	0x0
	.uleb128 0x6
	.byte	0x4
	.long	0x329
	.uleb128 0x6
	.byte	0x4
	.long	0x18e
	.uleb128 0xc
	.long	0x94
	.long	0x376
	.uleb128 0xd
	.long	0x33
	.byte	0x0
	.byte	0x0
	.uleb128 0x6
	.byte	0x4
	.long	0x322
	.uleb128 0xc
	.long	0x94
	.long	0x38c
	.uleb128 0xd
	.long	0x33
	.byte	0x27
	.byte	0x0
	.uleb128 0x11
	.byte	0x1
	.long	.LASF71
	.byte	0x1
	.byte	0x9
	.byte	0x1
	.long	0x8c
	.long	.LFB0
	.long	.LFE0
	.byte	0x1
	.byte	0x9c
	.long	0x3b6
	.uleb128 0x12
	.string	"arg"
	.byte	0x1
	.byte	0x9
	.long	0x8c
	.byte	0x2
	.byte	0x91
	.sleb128 0
	.byte	0x0
	.uleb128 0x13
	.byte	0x1
	.long	.LASF72
	.byte	0x1
	.byte	0xf
	.byte	0x1
	.long	.LFB1
	.long	.LFE1
	.byte	0x1
	.byte	0x9c
	.long	0x414
	.uleb128 0x14
	.long	.LASF64
	.byte	0x1
	.byte	0x11
	.long	0xa6
	.byte	0x2
	.byte	0x91
	.sleb128 -24
	.uleb128 0x15
	.string	"mx1"
	.byte	0x1
	.byte	0x12
	.long	0x183
	.byte	0x2
	.byte	0x91
	.sleb128 -48
	.uleb128 0x15
	.string	"mx2"
	.byte	0x1
	.byte	0x12
	.long	0x183
	.byte	0x3
	.byte	0x91
	.sleb128 -72
	.uleb128 0x14
	.long	.LASF65
	.byte	0x1
	.byte	0x13
	.long	0x414
	.byte	0x3
	.byte	0x91
	.sleb128 -472
	.uleb128 0x15
	.string	"i"
	.byte	0x1
	.byte	0x13
	.long	0x4f
	.byte	0x2
	.byte	0x91
	.sleb128 -20
	.byte	0x0
	.uleb128 0xc
	.long	0x4f
	.long	0x424
	.uleb128 0xd
	.long	0x33
	.byte	0x63
	.byte	0x0
	.uleb128 0x16
	.byte	0x1
	.long	.LASF73
	.byte	0x1
	.byte	0x2f
	.byte	0x1
	.long	0x4f
	.long	.LFB2
	.long	.LFE2
	.byte	0x1
	.byte	0x9c
	.uleb128 0x17
	.long	.LASF66
	.byte	0x6
	.byte	0xa7
	.long	0x360
	.byte	0x1
	.byte	0x1
	.uleb128 0x17
	.long	.LASF66
	.byte	0x6
	.byte	0xa7
	.long	0x360
	.byte	0x1
	.byte	0x1
	.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 0x24
	.byte	0x0
	.uleb128 0xb
	.uleb128 0xb
	.uleb128 0x3e
	.uleb128 0xb
	.uleb128 0x3
	.uleb128 0xe
	.byte	0x0
	.byte	0x0
	.uleb128 0x3
	.uleb128 0x24
	.byte	0x0
	.uleb128 0xb
	.uleb128 0xb
	.uleb128 0x3e
	.uleb128 0xb
	.uleb128 0x3
	.uleb128 0x8
	.byte	0x0
	.byte	0x0
	.uleb128 0x4
	.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 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 0xb
	.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 0xb
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x38
	.uleb128 0xd
	.byte	0x0
	.byte	0x0
	.uleb128 0x9
	.uleb128 0x17
	.byte	0x1
	.uleb128 0xb
	.uleb128 0xb
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x1
	.uleb128 0x13
	.byte	0x0
	.byte	0x0
	.uleb128 0xa
	.uleb128 0xd
	.byte	0x0
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.byte	0x0
	.byte	0x0
	.uleb128 0xb
	.uleb128 0xd
	.byte	0x0
	.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 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 0xf
	.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 0x10
	.uleb128 0x16
	.byte	0x0
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.byte	0x0
	.byte	0x0
	.uleb128 0x11
	.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 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 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 0x2
	.uleb128 0xa
	.byte	0x0
	.byte	0x0
	.uleb128 0x15
	.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 0x16
	.uleb128 0x2e
	.byte	0x0
	.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
	.byte	0x0
	.byte	0x0
	.uleb128 0x17
	.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
	.byte	0x0
	.section	.debug_pubnames,"",@progbits
	.long	0x34
	.value	0x2
	.long	.Ldebug_info0
	.long	0x456
	.long	0x38c
	.string	"child_fn"
	.long	0x3b6
	.string	"nearly_main"
	.long	0x424
	.string	"main"
	.long	0x0
	.section	.debug_pubtypes,"",@progbits
	.long	0xd6
	.value	0x2
	.long	.Ldebug_info0
	.long	0x456
	.long	0x64
	.string	"__quad_t"
	.long	0x6f
	.string	"__off_t"
	.long	0x81
	.string	"__off64_t"
	.long	0x9b
	.string	"size_t"
	.long	0xa6
	.string	"pthread_t"
	.long	0xb1
	.string	"__pthread_internal_slist"
	.long	0xd0
	.string	"__pthread_slist_t"
	.long	0xfa
	.string	"__pthread_mutex_s"
	.long	0x183
	.string	"pthread_mutex_t"
	.long	0x322
	.string	"_IO_lock_t"
	.long	0x329
	.string	"_IO_marker"
	.long	0x18e
	.string	"_IO_FILE"
	.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
.LASF9:
	.string	"__off_t"
.LASF32:
	.string	"_IO_read_ptr"
.LASF44:
	.string	"_chain"
.LASF13:
	.string	"size_t"
.LASF28:
	.string	"__align"
.LASF50:
	.string	"_shortbuf"
.LASF27:
	.string	"__size"
.LASF38:
	.string	"_IO_buf_base"
.LASF7:
	.string	"long long unsigned int"
.LASF20:
	.string	"__next"
.LASF6:
	.string	"long long int"
.LASF4:
	.string	"signed char"
.LASF45:
	.string	"_fileno"
.LASF33:
	.string	"_IO_read_end"
.LASF10:
	.string	"long int"
.LASF71:
	.string	"child_fn"
.LASF31:
	.string	"_flags"
.LASF68:
	.string	"tc09_bad_unlock.c"
.LASF48:
	.string	"_cur_column"
.LASF69:
	.string	"/root/genprog-many-bugs/valgrind-bug-12474-12475/valgrind/helgrind/tests"
.LASF8:
	.string	"__quad_t"
.LASF36:
	.string	"_IO_write_ptr"
.LASF47:
	.string	"_old_offset"
.LASF52:
	.string	"_offset"
.LASF19:
	.string	"__pthread_mutex_s"
.LASF56:
	.string	"__pad4"
.LASF60:
	.string	"_IO_marker"
.LASF2:
	.string	"unsigned int"
.LASF3:
	.string	"long unsigned int"
.LASF24:
	.string	"__kind"
.LASF26:
	.string	"__data"
.LASF62:
	.string	"_sbuf"
.LASF1:
	.string	"short unsigned int"
.LASF40:
	.string	"_IO_save_base"
.LASF51:
	.string	"_lock"
.LASF46:
	.string	"_flags2"
.LASF58:
	.string	"_mode"
.LASF23:
	.string	"__owner"
.LASF37:
	.string	"_IO_write_end"
.LASF70:
	.string	"_IO_lock_t"
.LASF30:
	.string	"_IO_FILE"
.LASF63:
	.string	"_pos"
.LASF67:
	.string	"GNU C 4.4.5 20101112 (Red Hat 4.4.5-2)"
.LASF43:
	.string	"_markers"
.LASF14:
	.string	"pthread_t"
.LASF0:
	.string	"unsigned char"
.LASF64:
	.string	"child"
.LASF39:
	.string	"_IO_buf_end"
.LASF5:
	.string	"short int"
.LASF49:
	.string	"_vtable_offset"
.LASF22:
	.string	"__count"
.LASF21:
	.string	"__lock"
.LASF18:
	.string	"__pthread_internal_slist"
.LASF12:
	.string	"char"
.LASF61:
	.string	"_next"
.LASF11:
	.string	"__off64_t"
.LASF34:
	.string	"_IO_read_base"
.LASF42:
	.string	"_IO_save_end"
.LASF65:
	.string	"bogus"
.LASF29:
	.string	"pthread_mutex_t"
.LASF53:
	.string	"__pad1"
.LASF54:
	.string	"__pad2"
.LASF55:
	.string	"__pad3"
.LASF16:
	.string	"__spins"
.LASF57:
	.string	"__pad5"
.LASF59:
	.string	"_unused2"
.LASF66:
	.string	"stderr"
.LASF72:
	.string	"nearly_main"
.LASF25:
	.string	"__nusers"
.LASF41:
	.string	"_IO_backup_base"
.LASF15:
	.string	"__pthread_slist_t"
.LASF17:
	.string	"__list"
.LASF73:
	.string	"main"
.LASF35:
	.string	"_IO_write_base"
	.ident	"GCC: (GNU) 4.4.5 20101112 (Red Hat 4.4.5-2)"
	.section	.note.GNU-stack,"",@progbits
