	.file	"tc22_exit_w_lock.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 mxC1
	.bss
	.align 4
	.type	mxC1, @object
	.size	mxC1, 24
mxC1:
	.zero	24
.globl mxC2
	.align 4
	.type	mxC2, @object
	.size	mxC2, 24
mxC2:
	.zero	24
.globl mxC2b
	.align 4
	.type	mxC2b, @object
	.size	mxC2b, 24
mxC2b:
	.zero	24
.globl mxP
	.align 4
	.type	mxP, @object
	.size	mxP, 24
mxP:
	.zero	24
	.section	.rodata
.LC0:
	.string	"tc22_exit_w_lock.c"
.LC1:
	.string	"!r"
	.text
.globl child_fn1
	.type	child_fn1, @function
child_fn1:
.LFB0:
	.file 1 "tc22_exit_w_lock.c"
	.loc 1 17 0
	.cfi_startproc
	pushl	%ebp
	.cfi_def_cfa_offset 8
	.cfi_offset 5, -8
	movl	%esp, %ebp
	.cfi_def_cfa_register 5
	subl	$40, %esp
	.loc 1 18 0
	movl	$mxC1, (%esp)
	call	pthread_mutex_lock
	movl	%eax, -12(%ebp)
	cmpl	$0, -12(%ebp)
	je	.L2
	movl	$__PRETTY_FUNCTION__.2922, 12(%esp)
	movl	$18, 8(%esp)
	movl	$.LC0, 4(%esp)
	movl	$.LC1, (%esp)
	call	__assert_fail
.L2:
	.loc 1 19 0
	movl	$0, %eax
	.loc 1 20 0
	leave
	.cfi_restore 5
	.cfi_def_cfa 4, 4
	ret
	.cfi_endproc
.LFE0:
	.size	child_fn1, .-child_fn1
.globl child_fn2
	.type	child_fn2, @function
child_fn2:
.LFB1:
	.loc 1 24 0
	.cfi_startproc
	pushl	%ebp
	.cfi_def_cfa_offset 8
	.cfi_offset 5, -8
	movl	%esp, %ebp
	.cfi_def_cfa_register 5
	subl	$40, %esp
	.loc 1 26 0
	movl	$mxC2, (%esp)
	call	pthread_mutex_lock
	movl	%eax, -12(%ebp)
	cmpl	$0, -12(%ebp)
	je	.L5
	movl	$__PRETTY_FUNCTION__.2931, 12(%esp)
	movl	$26, 8(%esp)
	movl	$.LC0, 4(%esp)
	movl	$.LC1, (%esp)
	call	__assert_fail
.L5:
	.loc 1 27 0
	movl	$mxC2b, (%esp)
	call	pthread_mutex_lock
	movl	%eax, -12(%ebp)
	cmpl	$0, -12(%ebp)
	je	.L6
	movl	$__PRETTY_FUNCTION__.2931, 12(%esp)
	movl	$27, 8(%esp)
	movl	$.LC0, 4(%esp)
	movl	$.LC1, (%esp)
	call	__assert_fail
.L6:
	.loc 1 28 0
	call	pthread_self
	movl	%eax, (%esp)
	call	pthread_detach
	movl	%eax, -12(%ebp)
	cmpl	$0, -12(%ebp)
	je	.L7
	movl	$__PRETTY_FUNCTION__.2931, 12(%esp)
	movl	$28, 8(%esp)
	movl	$.LC0, 4(%esp)
	movl	$.LC1, (%esp)
	call	__assert_fail
.L7:
	.loc 1 29 0
	movl	$0, %eax
	.loc 1 30 0
	leave
	.cfi_restore 5
	.cfi_def_cfa 4, 4
	ret
	.cfi_endproc
.LFE1:
	.size	child_fn2, .-child_fn2
.globl main
	.type	main, @function
main:
.LFB2:
	.loc 1 35 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 39 0
	movl	$0, 12(%esp)
	movl	$child_fn2, 8(%esp)
	movl	$0, 4(%esp)
	leal	20(%esp), %eax
	movl	%eax, (%esp)
	call	pthread_create
	movl	%eax, 28(%esp)
	cmpl	$0, 28(%esp)
	je	.L10
	movl	$__PRETTY_FUNCTION__.2949, 12(%esp)
	movl	$39, 8(%esp)
	movl	$.LC0, 4(%esp)
	movl	$.LC1, (%esp)
	call	__assert_fail
.L10:
	.loc 1 40 0
	movl	$1, (%esp)
	call	sleep
	.loc 1 42 0
	movl	$0, 12(%esp)
	movl	$child_fn1, 8(%esp)
	movl	$0, 4(%esp)
	leal	24(%esp), %eax
	movl	%eax, (%esp)
	call	pthread_create
	movl	%eax, 28(%esp)
	cmpl	$0, 28(%esp)
	je	.L11
	movl	$__PRETTY_FUNCTION__.2949, 12(%esp)
	movl	$42, 8(%esp)
	movl	$.LC0, 4(%esp)
	movl	$.LC1, (%esp)
	call	__assert_fail
.L11:
	.loc 1 43 0
	movl	24(%esp), %eax
	movl	$0, 4(%esp)
	movl	%eax, (%esp)
	call	pthread_join
	movl	%eax, 28(%esp)
	cmpl	$0, 28(%esp)
	je	.L12
	movl	$__PRETTY_FUNCTION__.2949, 12(%esp)
	movl	$43, 8(%esp)
	movl	$.LC0, 4(%esp)
	movl	$.LC1, (%esp)
	call	__assert_fail
.L12:
	.loc 1 44 0
	movl	$1, (%esp)
	call	sleep
	.loc 1 46 0
	movl	$mxP, (%esp)
	call	pthread_mutex_lock
	movl	%eax, 28(%esp)
	.loc 1 48 0
	call	getpid
	movl	$6, 4(%esp)
	movl	%eax, (%esp)
	call	kill
	.loc 1 49 0
	movl	$0, %eax
	.loc 1 50 0
	leave
	.cfi_restore 5
	.cfi_def_cfa 4, 4
	ret
	.cfi_endproc
.LFE2:
	.size	main, .-main
	.section	.rodata
	.type	__PRETTY_FUNCTION__.2949, @object
	.size	__PRETTY_FUNCTION__.2949, 5
__PRETTY_FUNCTION__.2949:
	.string	"main"
	.type	__PRETTY_FUNCTION__.2931, @object
	.size	__PRETTY_FUNCTION__.2931, 10
__PRETTY_FUNCTION__.2931:
	.string	"child_fn2"
	.type	__PRETTY_FUNCTION__.2922, @object
	.size	__PRETTY_FUNCTION__.2922, 10
__PRETTY_FUNCTION__.2922:
	.string	"child_fn1"
	.text
.Letext0:
	.file 2 "/usr/include/bits/pthreadtypes.h"
	.section	.debug_info
	.long	0x2e4
	.value	0x3
	.long	.Ldebug_abbrev0
	.byte	0x4
	.uleb128 0x1
	.long	.LASF35
	.byte	0x1
	.long	.LASF36
	.long	.LASF37
	.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 0x2
	.byte	0x4
	.byte	0x5
	.long	.LASF8
	.uleb128 0x4
	.byte	0x4
	.uleb128 0x2
	.byte	0x1
	.byte	0x6
	.long	.LASF9
	.uleb128 0x5
	.long	.LASF10
	.byte	0x2
	.byte	0x24
	.long	0x3a
	.uleb128 0x6
	.long	.LASF14
	.byte	0x4
	.byte	0x2
	.byte	0x2f
	.long	0x98
	.uleb128 0x7
	.long	.LASF16
	.byte	0x2
	.byte	0x30
	.long	0x98
	.sleb128 0
	.byte	0x0
	.uleb128 0x8
	.byte	0x4
	.long	0x7f
	.uleb128 0x5
	.long	.LASF11
	.byte	0x2
	.byte	0x31
	.long	0x7f
	.uleb128 0x9
	.byte	0x4
	.byte	0x2
	.byte	0x42
	.long	0xc8
	.uleb128 0xa
	.long	.LASF12
	.byte	0x2
	.byte	0x43
	.long	0x4f
	.uleb128 0xa
	.long	.LASF13
	.byte	0x2
	.byte	0x44
	.long	0x9e
	.byte	0x0
	.uleb128 0x6
	.long	.LASF15
	.byte	0x18
	.byte	0x2
	.byte	0x39
	.long	0x117
	.uleb128 0x7
	.long	.LASF17
	.byte	0x2
	.byte	0x3a
	.long	0x4f
	.sleb128 0
	.uleb128 0x7
	.long	.LASF18
	.byte	0x2
	.byte	0x3b
	.long	0x33
	.sleb128 4
	.uleb128 0x7
	.long	.LASF19
	.byte	0x2
	.byte	0x3c
	.long	0x4f
	.sleb128 8
	.uleb128 0x7
	.long	.LASF20
	.byte	0x2
	.byte	0x3f
	.long	0x4f
	.sleb128 12
	.uleb128 0x7
	.long	.LASF21
	.byte	0x2
	.byte	0x40
	.long	0x33
	.sleb128 16
	.uleb128 0xb
	.long	0xa9
	.sleb128 20
	.byte	0x0
	.uleb128 0x9
	.byte	0x18
	.byte	0x2
	.byte	0x37
	.long	0x141
	.uleb128 0xa
	.long	.LASF22
	.byte	0x2
	.byte	0x46
	.long	0xc8
	.uleb128 0xa
	.long	.LASF23
	.byte	0x2
	.byte	0x47
	.long	0x141
	.uleb128 0xa
	.long	.LASF24
	.byte	0x2
	.byte	0x48
	.long	0x64
	.byte	0x0
	.uleb128 0xc
	.long	0x6d
	.long	0x151
	.uleb128 0xd
	.long	0x33
	.byte	0x17
	.byte	0x0
	.uleb128 0x5
	.long	.LASF25
	.byte	0x2
	.byte	0x49
	.long	0x117
	.uleb128 0xe
	.byte	0x1
	.long	.LASF26
	.byte	0x1
	.byte	0x10
	.byte	0x1
	.long	0x6b
	.long	.LFB0
	.long	.LFE0
	.byte	0x1
	.byte	0x9c
	.long	0x1a2
	.uleb128 0xf
	.string	"arg"
	.byte	0x1
	.byte	0x10
	.long	0x6b
	.byte	0x2
	.byte	0x91
	.sleb128 0
	.uleb128 0x10
	.string	"r"
	.byte	0x1
	.byte	0x12
	.long	0x4f
	.byte	0x2
	.byte	0x91
	.sleb128 -20
	.uleb128 0x11
	.long	.LASF28
	.long	0x1b2
	.byte	0x1
	.byte	0x5
	.byte	0x3
	.long	__PRETTY_FUNCTION__.2922
	.byte	0x0
	.uleb128 0xc
	.long	0x6d
	.long	0x1b2
	.uleb128 0xd
	.long	0x33
	.byte	0x9
	.byte	0x0
	.uleb128 0x12
	.long	0x1a2
	.uleb128 0xe
	.byte	0x1
	.long	.LASF27
	.byte	0x1
	.byte	0x17
	.byte	0x1
	.long	0x6b
	.long	.LFB1
	.long	.LFE1
	.byte	0x1
	.byte	0x9c
	.long	0x1fd
	.uleb128 0xf
	.string	"arg"
	.byte	0x1
	.byte	0x17
	.long	0x6b
	.byte	0x2
	.byte	0x91
	.sleb128 0
	.uleb128 0x10
	.string	"r"
	.byte	0x1
	.byte	0x19
	.long	0x4f
	.byte	0x2
	.byte	0x91
	.sleb128 -20
	.uleb128 0x11
	.long	.LASF28
	.long	0x1fd
	.byte	0x1
	.byte	0x5
	.byte	0x3
	.long	__PRETTY_FUNCTION__.2931
	.byte	0x0
	.uleb128 0x12
	.long	0x1a2
	.uleb128 0xe
	.byte	0x1
	.long	.LASF29
	.byte	0x1
	.byte	0x22
	.byte	0x1
	.long	0x4f
	.long	.LFB2
	.long	.LFE2
	.byte	0x1
	.byte	0x9c
	.long	0x256
	.uleb128 0x10
	.string	"r"
	.byte	0x1
	.byte	0x24
	.long	0x4f
	.byte	0x2
	.byte	0x74
	.sleb128 28
	.uleb128 0x13
	.long	.LASF30
	.byte	0x1
	.byte	0x25
	.long	0x74
	.byte	0x2
	.byte	0x74
	.sleb128 24
	.uleb128 0x13
	.long	.LASF31
	.byte	0x1
	.byte	0x25
	.long	0x74
	.byte	0x2
	.byte	0x74
	.sleb128 20
	.uleb128 0x11
	.long	.LASF28
	.long	0x266
	.byte	0x1
	.byte	0x5
	.byte	0x3
	.long	__PRETTY_FUNCTION__.2949
	.byte	0x0
	.uleb128 0xc
	.long	0x6d
	.long	0x266
	.uleb128 0xd
	.long	0x33
	.byte	0x4
	.byte	0x0
	.uleb128 0x12
	.long	0x256
	.uleb128 0x14
	.long	.LASF32
	.byte	0x1
	.byte	0xa
	.long	0x151
	.byte	0x1
	.byte	0x1
	.uleb128 0x14
	.long	.LASF33
	.byte	0x1
	.byte	0xb
	.long	0x151
	.byte	0x1
	.byte	0x1
	.uleb128 0x14
	.long	.LASF34
	.byte	0x1
	.byte	0xc
	.long	0x151
	.byte	0x1
	.byte	0x1
	.uleb128 0x15
	.string	"mxP"
	.byte	0x1
	.byte	0xd
	.long	0x151
	.byte	0x1
	.byte	0x1
	.uleb128 0x16
	.long	.LASF32
	.byte	0x1
	.byte	0xa
	.long	0x151
	.byte	0x1
	.byte	0x5
	.byte	0x3
	.long	mxC1
	.uleb128 0x16
	.long	.LASF33
	.byte	0x1
	.byte	0xb
	.long	0x151
	.byte	0x1
	.byte	0x5
	.byte	0x3
	.long	mxC2
	.uleb128 0x16
	.long	.LASF34
	.byte	0x1
	.byte	0xc
	.long	0x151
	.byte	0x1
	.byte	0x5
	.byte	0x3
	.long	mxC2b
	.uleb128 0x17
	.string	"mxP"
	.byte	0x1
	.byte	0xd
	.long	0x151
	.byte	0x1
	.byte	0x5
	.byte	0x3
	.long	mxP
	.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 0xf
	.byte	0x0
	.uleb128 0xb
	.uleb128 0xb
	.byte	0x0
	.byte	0x0
	.uleb128 0x5
	.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 0x6
	.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 0x7
	.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 0x8
	.uleb128 0xf
	.byte	0x0
	.uleb128 0xb
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.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 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 0xf
	.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 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 0x34
	.byte	0x0
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x34
	.uleb128 0xc
	.uleb128 0x2
	.uleb128 0xa
	.byte	0x0
	.byte	0x0
	.uleb128 0x12
	.uleb128 0x26
	.byte	0x0
	.uleb128 0x49
	.uleb128 0x13
	.byte	0x0
	.byte	0x0
	.uleb128 0x13
	.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 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 0x8
	.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 0x16
	.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
	.uleb128 0x17
	.uleb128 0x34
	.byte	0x0
	.uleb128 0x3
	.uleb128 0x8
	.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	0x57
	.value	0x2
	.long	.Ldebug_info0
	.long	0x2e8
	.long	0x15c
	.string	"child_fn1"
	.long	0x1b7
	.string	"child_fn2"
	.long	0x202
	.string	"main"
	.long	0x29f
	.string	"mxC1"
	.long	0x2b1
	.string	"mxC2"
	.long	0x2c3
	.string	"mxC2b"
	.long	0x2d5
	.string	"mxP"
	.long	0x0
	.section	.debug_pubtypes,"",@progbits
	.long	0x79
	.value	0x2
	.long	.Ldebug_info0
	.long	0x2e8
	.long	0x74
	.string	"pthread_t"
	.long	0x7f
	.string	"__pthread_internal_slist"
	.long	0x9e
	.string	"__pthread_slist_t"
	.long	0xc8
	.string	"__pthread_mutex_s"
	.long	0x151
	.string	"pthread_mutex_t"
	.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
.LASF22:
	.string	"__data"
.LASF17:
	.string	"__lock"
.LASF28:
	.string	"__PRETTY_FUNCTION__"
.LASF19:
	.string	"__owner"
.LASF37:
	.string	"/root/genprog-many-bugs/valgrind-bug-12474-12475/valgrind/helgrind/tests"
.LASF27:
	.string	"child_fn2"
.LASF20:
	.string	"__kind"
.LASF25:
	.string	"pthread_mutex_t"
.LASF14:
	.string	"__pthread_internal_slist"
.LASF10:
	.string	"pthread_t"
.LASF0:
	.string	"unsigned char"
.LASF23:
	.string	"__size"
.LASF15:
	.string	"__pthread_mutex_s"
.LASF34:
	.string	"mxC2b"
.LASF3:
	.string	"long unsigned int"
.LASF1:
	.string	"short unsigned int"
.LASF29:
	.string	"main"
.LASF2:
	.string	"unsigned int"
.LASF36:
	.string	"tc22_exit_w_lock.c"
.LASF7:
	.string	"long long unsigned int"
.LASF12:
	.string	"__spins"
.LASF35:
	.string	"GNU C 4.4.5 20101112 (Red Hat 4.4.5-2)"
.LASF30:
	.string	"child1"
.LASF31:
	.string	"child2"
.LASF6:
	.string	"long long int"
.LASF9:
	.string	"char"
.LASF11:
	.string	"__pthread_slist_t"
.LASF24:
	.string	"__align"
.LASF21:
	.string	"__nusers"
.LASF18:
	.string	"__count"
.LASF5:
	.string	"short int"
.LASF26:
	.string	"child_fn1"
.LASF8:
	.string	"long int"
.LASF13:
	.string	"__list"
.LASF16:
	.string	"__next"
.LASF4:
	.string	"signed char"
.LASF32:
	.string	"mxC1"
.LASF33:
	.string	"mxC2"
	.ident	"GCC: (GNU) 4.4.5 20101112 (Red Hat 4.4.5-2)"
	.section	.note.GNU-stack,"",@progbits
