	.file	"hg_lock_n_thread.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
	.p2align 4,,15
.globl vgHelgrind_is_sane_Thread
	.type	vgHelgrind_is_sane_Thread, @function
vgHelgrind_is_sane_Thread:
.LFB16:
	.file 1 "hg_lock_n_thread.c"
	.loc 1 48 0
	.cfi_startproc
.LVL0:
	pushl	%ebp
	.cfi_def_cfa_offset 8
	.cfi_offset 5, -8
	.loc 1 49 0
	xorl	%eax, %eax
	.loc 1 48 0
	movl	%esp, %ebp
	.cfi_def_cfa_register 5
	.loc 1 48 0
	movl	8(%ebp), %edx
	.loc 1 49 0
	testl	%edx, %edx
	je	.L3
	cmpl	$1347405285, 4(%edx)
	sete	%al
.L3:
	.loc 1 50 0
	popl	%ebp
	.cfi_restore 5
	.cfi_def_cfa 4, 4
	ret
	.cfi_endproc
.LFE16:
	.size	vgHelgrind_is_sane_Thread, .-vgHelgrind_is_sane_Thread
	.p2align 4,,15
	.type	is_sane_Lock_BASE, @function
is_sane_Lock_BASE:
.LFB18:
	.loc 1 66 0
	.cfi_startproc
.LVL1:
	pushl	%ebp
	.cfi_def_cfa_offset 8
	.cfi_offset 5, -8
	movl	%esp, %ebp
	.cfi_def_cfa_register 5
	subl	$32, %esp
	.loc 1 67 0
	testl	%eax, %eax
	.loc 1 66 0
	movl	%ebx, -12(%ebp)
	movl	%eax, %ebx
	.cfi_offset 3, -20
	movl	%esi, -8(%ebp)
	movl	%edi, -4(%ebp)
	.loc 1 67 0
	je	.L7
	.cfi_offset 7, -12
	.cfi_offset 6, -16
	.loc 1 68 0
	movl	16(%eax), %eax
.LVL2:
	.loc 1 67 0
	cmpl	$1968919638, %eax
	jne	.L18
.L17:
	.loc 1 70 0
	movl	36(%ebx), %eax
	subl	$1001, %eax
	cmpl	$2, %eax
	ja	.L7
	.loc 1 74 0
	movl	44(%ebx), %eax
	testl	%eax, %eax
	je	.L19
	.loc 1 79 0
	movl	24(%ebx), %edx
	testl	%edx, %edx
	je	.L7
	.loc 1 84 0
	movl	%eax, (%esp)
	call	vgPlain_isEmptyBag
	testb	%al, %al
	je	.L20
.LVL3:
	.p2align 4,,7
	.p2align 3
.L7:
	.loc 1 93 0
	xorl	%eax, %eax
.L11:
	.loc 1 100 0
	movl	-12(%ebp), %ebx
.LVL4:
	movl	-8(%ebp), %esi
	movl	-4(%ebp), %edi
	movl	%ebp, %esp
	.cfi_remember_state
	.cfi_def_cfa_register 4
	.cfi_restore 7
	.cfi_restore 6
	.cfi_restore 3
	popl	%ebp
	.cfi_restore 5
	.cfi_def_cfa_offset 4
	ret
.LVL5:
	.p2align 4,,7
	.p2align 3
.L18:
	.cfi_restore_state
	.loc 1 67 0
	cmpl	$1699067223, %eax
	je	.L17
	jmp	.L7
	.p2align 4,,7
	.p2align 3
.L20:
	.loc 1 88 0
	movl	44(%ebx), %esi
.LVL6:
.LBB8:
.LBB9:
	.loc 1 56 0
	leal	-16(%ebp), %edi
	movl	%esi, (%esp)
	call	vgPlain_initIterBag
.LVL7:
.L12:
	.loc 1 57 0
	leal	-20(%ebp), %eax
	movl	%eax, 8(%esp)
	movl	%edi, 4(%esp)
	movl	%esi, (%esp)
	call	vgPlain_nextIterBag
	testb	%al, %al
	je	.L21
	.loc 1 58 0
	movl	-20(%ebp), %eax
	testl	%eax, %eax
	jle	.L7
	.loc 1 59 0
	movl	-16(%ebp), %eax
.LVL8:
.LBB10:
.LBB11:
	.loc 1 49 0
	testl	%eax, %eax
	je	.L7
	cmpl	$1347405285, 4(%eax)
	jne	.L7
	jmp	.L12
.LVL9:
	.p2align 4,,7
	.p2align 3
.L19:
.LBE11:
.LBE10:
.LBE9:
.LBE8:
	.loc 1 75 0
	movl	24(%ebx), %ecx
	testl	%ecx, %ecx
	jne	.L7
	.loc 1 77 0
	cmpb	$0, 40(%ebx)
	sete	%al
	jmp	.L11
.LVL10:
	.p2align 4,,7
	.p2align 3
.L21:
.LBB13:
.LBB12:
	.loc 1 61 0
	movl	%esi, (%esp)
	call	vgPlain_doneIterBag
.LBE12:
.LBE13:
	.loc 1 90 0
	cmpb	$0, 40(%ebx)
	je	.L14
	.loc 1 92 0
	movl	36(%ebx), %edx
	movl	$1, %eax
	subl	$1002, %edx
	cmpl	$1, %edx
	ja	.L11
	.loc 1 93 0
	movl	44(%ebx), %eax
	movl	%eax, (%esp)
	call	vgPlain_isSingletonTotalBag
	testb	%al, %al
	setne	%al
	jmp	.L11
.L14:
	cmpl	$1003, 36(%ebx)
	sete	%al
	jmp	.L11
	.cfi_endproc
.LFE18:
	.size	is_sane_Lock_BASE, .-is_sane_Lock_BASE
	.p2align 4,,15
.globl vgHelgrind_is_sane_LockNorP
	.type	vgHelgrind_is_sane_LockNorP, @function
vgHelgrind_is_sane_LockNorP:
.LFB21:
	.loc 1 116 0
	.cfi_startproc
.LVL11:
	pushl	%ebp
	.cfi_def_cfa_offset 8
	.cfi_offset 5, -8
	movl	%esp, %ebp
	.cfi_def_cfa_register 5
	.loc 1 117 0
	movl	8(%ebp), %eax
	.loc 1 118 0
	popl	%ebp
	.cfi_restore 5
	.cfi_def_cfa 4, 4
	.loc 1 117 0
	jmp	is_sane_Lock_BASE
	.cfi_endproc
.LFE21:
	.size	vgHelgrind_is_sane_LockNorP, .-vgHelgrind_is_sane_LockNorP
	.p2align 4,,15
.globl vgHelgrind_is_sane_LockN
	.type	vgHelgrind_is_sane_LockN, @function
vgHelgrind_is_sane_LockN:
.LFB20:
	.loc 1 109 0
	.cfi_startproc
.LVL12:
	pushl	%ebp
	.cfi_def_cfa_offset 8
	.cfi_offset 5, -8
	movl	%esp, %ebp
	.cfi_def_cfa_register 5
	.loc 1 109 0
	movl	8(%ebp), %eax
	.loc 1 110 0
	testl	%eax, %eax
	je	.L25
	cmpl	$1699067223, 16(%eax)
	je	.L28
.L25:
	.loc 1 113 0
	xorl	%eax, %eax
	.loc 1 114 0
	popl	%ebp
	.cfi_remember_state
	.cfi_restore 5
	.cfi_def_cfa 4, 4
	ret
	.p2align 4,,7
	.p2align 3
.L28:
	.cfi_restore_state
	.loc 1 110 0
	movl	28(%eax), %edx
	testl	%edx, %edx
	je	.L25
	.loc 1 113 0
	call	is_sane_Lock_BASE
	.loc 1 114 0
	popl	%ebp
	.cfi_def_cfa 4, 4
	.cfi_restore 5
	.loc 1 113 0
	testb	%al, %al
	setne	%al
	.loc 1 114 0
	ret
	.cfi_endproc
.LFE20:
	.size	vgHelgrind_is_sane_LockN, .-vgHelgrind_is_sane_LockN
	.p2align 4,,15
.globl vgHelgrind_is_sane_LockP
	.type	vgHelgrind_is_sane_LockP, @function
vgHelgrind_is_sane_LockP:
.LFB19:
	.loc 1 102 0
	.cfi_startproc
.LVL13:
	pushl	%ebp
	.cfi_def_cfa_offset 8
	.cfi_offset 5, -8
	movl	%esp, %ebp
	.cfi_def_cfa_register 5
	.loc 1 102 0
	movl	8(%ebp), %eax
	.loc 1 103 0
	testl	%eax, %eax
	je	.L30
	cmpl	$1968919638, 16(%eax)
	je	.L33
.L30:
	.loc 1 106 0
	xorl	%eax, %eax
	.loc 1 107 0
	popl	%ebp
	.cfi_remember_state
	.cfi_restore 5
	.cfi_def_cfa 4, 4
	ret
	.p2align 4,,7
	.p2align 3
.L33:
	.cfi_restore_state
	.loc 1 103 0
	movl	28(%eax), %ecx
	testl	%ecx, %ecx
	jne	.L30
	.loc 1 106 0
	call	is_sane_Lock_BASE
	.loc 1 107 0
	popl	%ebp
	.cfi_def_cfa 4, 4
	.cfi_restore 5
	.loc 1 106 0
	testb	%al, %al
	setne	%al
	.loc 1 107 0
	ret
	.cfi_endproc
.LFE19:
	.size	vgHelgrind_is_sane_LockP, .-vgHelgrind_is_sane_LockP
.Letext0:
	.section	.debug_loc,"",@progbits
.Ldebug_loc0:
.LLST0:
	.long	.LVL1-.Ltext0
	.long	.LVL2-.Ltext0
	.value	0x1
	.byte	0x50
	.long	.LVL2-.Ltext0
	.long	.LVL4-.Ltext0
	.value	0x1
	.byte	0x53
	.long	.LVL5-.Ltext0
	.long	.LFE18-.Ltext0
	.value	0x1
	.byte	0x53
	.long	0x0
	.long	0x0
.LLST1:
	.long	.LVL6-.Ltext0
	.long	.LVL7-1-.Ltext0
	.value	0x2
	.byte	0x73
	.sleb128 44
	.long	.LVL7-1-.Ltext0
	.long	.LVL9-.Ltext0
	.value	0x1
	.byte	0x56
	.long	.LVL10-.Ltext0
	.long	.LFE18-.Ltext0
	.value	0x1
	.byte	0x56
	.long	0x0
	.long	0x0
.LLST2:
	.long	.LVL3-.Ltext0
	.long	.LVL5-.Ltext0
	.value	0x2
	.byte	0x91
	.sleb128 -24
	.long	.LVL7-.Ltext0
	.long	.LVL9-.Ltext0
	.value	0x2
	.byte	0x91
	.sleb128 -24
	.long	.LVL10-.Ltext0
	.long	.LFE18-.Ltext0
	.value	0x2
	.byte	0x91
	.sleb128 -24
	.long	0x0
	.long	0x0
.LLST3:
	.long	.LVL3-.Ltext0
	.long	.LVL5-.Ltext0
	.value	0x2
	.byte	0x91
	.sleb128 -28
	.long	.LVL7-.Ltext0
	.long	.LVL9-.Ltext0
	.value	0x2
	.byte	0x91
	.sleb128 -28
	.long	.LVL10-.Ltext0
	.long	.LFE18-.Ltext0
	.value	0x2
	.byte	0x91
	.sleb128 -28
	.long	0x0
	.long	0x0
.LLST4:
	.long	.LVL8-.Ltext0
	.long	.LVL9-.Ltext0
	.value	0x2
	.byte	0x77
	.sleb128 0
	.long	0x0
	.long	0x0
	.file 2 "../VEX/pub/libvex_basictypes.h"
	.file 3 "../include/pub_tool_basics.h"
	.file 4 "../include/pub_tool_execontext.h"
	.file 5 "../include/pub_tool_wordfm.h"
	.file 6 "hg_wordset.h"
	.file 7 "hg_lock_n_thread.h"
	.section	.debug_info
	.long	0x402
	.value	0x3
	.long	.Ldebug_abbrev0
	.byte	0x4
	.uleb128 0x1
	.long	.LASF57
	.byte	0x1
	.long	.LASF58
	.long	.LASF59
	.long	.Ltext0
	.long	.Letext0
	.long	.Ldebug_line0
	.uleb128 0x2
	.byte	0x1
	.byte	0x8
	.long	.LASF0
	.uleb128 0x2
	.byte	0x1
	.byte	0x6
	.long	.LASF1
	.uleb128 0x2
	.byte	0x1
	.byte	0x6
	.long	.LASF2
	.uleb128 0x2
	.byte	0x2
	.byte	0x7
	.long	.LASF3
	.uleb128 0x2
	.byte	0x2
	.byte	0x5
	.long	.LASF4
	.uleb128 0x3
	.long	.LASF6
	.byte	0x2
	.byte	0x37
	.long	0x53
	.uleb128 0x2
	.byte	0x4
	.byte	0x7
	.long	.LASF5
	.uleb128 0x4
	.string	"Int"
	.byte	0x2
	.byte	0x38
	.long	0x65
	.uleb128 0x5
	.byte	0x4
	.byte	0x5
	.string	"int"
	.uleb128 0x3
	.long	.LASF7
	.byte	0x2
	.byte	0x3b
	.long	0x77
	.uleb128 0x2
	.byte	0x8
	.byte	0x7
	.long	.LASF8
	.uleb128 0x2
	.byte	0x8
	.byte	0x5
	.long	.LASF9
	.uleb128 0x2
	.byte	0x4
	.byte	0x4
	.long	.LASF10
	.uleb128 0x2
	.byte	0x8
	.byte	0x4
	.long	.LASF11
	.uleb128 0x3
	.long	.LASF12
	.byte	0x2
	.byte	0x50
	.long	0x25
	.uleb128 0x2
	.byte	0x4
	.byte	0x7
	.long	.LASF13
	.uleb128 0x3
	.long	.LASF14
	.byte	0x3
	.byte	0x56
	.long	0x9e
	.uleb128 0x3
	.long	.LASF15
	.byte	0x3
	.byte	0x57
	.long	0xbb
	.uleb128 0x2
	.byte	0x4
	.byte	0x5
	.long	.LASF16
	.uleb128 0x3
	.long	.LASF17
	.byte	0x3
	.byte	0x5d
	.long	0xa5
	.uleb128 0x3
	.long	.LASF18
	.byte	0x3
	.byte	0x8b
	.long	0x48
	.uleb128 0x3
	.long	.LASF19
	.byte	0x4
	.byte	0x24
	.long	0xe3
	.uleb128 0x6
	.long	.LASF21
	.byte	0x1
	.uleb128 0x3
	.long	.LASF20
	.byte	0x5
	.byte	0xae
	.long	0xf4
	.uleb128 0x6
	.long	.LASF22
	.byte	0x1
	.uleb128 0x3
	.long	.LASF23
	.byte	0x6
	.byte	0x2f
	.long	0x48
	.uleb128 0x3
	.long	.LASF24
	.byte	0x7
	.byte	0x33
	.long	0xfa
	.uleb128 0x4
	.string	"SO"
	.byte	0x7
	.byte	0x37
	.long	0x11a
	.uleb128 0x7
	.string	"_SO"
	.byte	0x1
	.uleb128 0x4
	.string	"Thr"
	.byte	0x7
	.byte	0x3e
	.long	0x12b
	.uleb128 0x6
	.long	.LASF25
	.byte	0x1
	.uleb128 0x8
	.long	.LASF40
	.byte	0x24
	.byte	0x7
	.byte	0x52
	.long	0x1aa
	.uleb128 0x9
	.long	.LASF26
	.byte	0x7
	.byte	0x54
	.long	0x1aa
	.sleb128 0
	.uleb128 0x9
	.long	.LASF27
	.byte	0x7
	.byte	0x55
	.long	0x48
	.sleb128 4
	.uleb128 0x9
	.long	.LASF28
	.byte	0x7
	.byte	0x56
	.long	0x1b0
	.sleb128 8
	.uleb128 0x9
	.long	.LASF29
	.byte	0x7
	.byte	0x57
	.long	0xcd
	.sleb128 12
	.uleb128 0x9
	.long	.LASF30
	.byte	0x7
	.byte	0x59
	.long	0x105
	.sleb128 16
	.uleb128 0x9
	.long	.LASF31
	.byte	0x7
	.byte	0x5a
	.long	0x105
	.sleb128 20
	.uleb128 0x9
	.long	.LASF32
	.byte	0x7
	.byte	0x5d
	.long	0x1b6
	.sleb128 24
	.uleb128 0x9
	.long	.LASF33
	.byte	0x7
	.byte	0x5e
	.long	0x93
	.sleb128 28
	.uleb128 0x9
	.long	.LASF34
	.byte	0x7
	.byte	0x60
	.long	0x5a
	.sleb128 32
	.byte	0x0
	.uleb128 0xa
	.byte	0x4
	.long	0x131
	.uleb128 0xa
	.byte	0x4
	.long	0x120
	.uleb128 0xa
	.byte	0x4
	.long	0xd8
	.uleb128 0x3
	.long	.LASF35
	.byte	0x7
	.byte	0x62
	.long	0x131
	.uleb128 0xb
	.byte	0x4
	.byte	0x7
	.byte	0x72
	.long	0x1e5
	.uleb128 0xc
	.long	.LASF36
	.sleb128 1001
	.uleb128 0xc
	.long	.LASF37
	.sleb128 1002
	.uleb128 0xc
	.long	.LASF38
	.sleb128 1003
	.byte	0x0
	.uleb128 0x3
	.long	.LASF39
	.byte	0x7
	.byte	0x77
	.long	0x1c7
	.uleb128 0x8
	.long	.LASF41
	.byte	0x30
	.byte	0x7
	.byte	0x7a
	.long	0x281
	.uleb128 0x9
	.long	.LASF42
	.byte	0x7
	.byte	0x7c
	.long	0x281
	.sleb128 0
	.uleb128 0x9
	.long	.LASF43
	.byte	0x7
	.byte	0x7d
	.long	0x281
	.sleb128 4
	.uleb128 0x9
	.long	.LASF44
	.byte	0x7
	.byte	0x7e
	.long	0x6c
	.sleb128 8
	.uleb128 0x9
	.long	.LASF27
	.byte	0x7
	.byte	0x7f
	.long	0x48
	.sleb128 16
	.uleb128 0x9
	.long	.LASF45
	.byte	0x7
	.byte	0x82
	.long	0x1b6
	.sleb128 20
	.uleb128 0x9
	.long	.LASF46
	.byte	0x7
	.byte	0x86
	.long	0x1b6
	.sleb128 24
	.uleb128 0x9
	.long	.LASF47
	.byte	0x7
	.byte	0x88
	.long	0x287
	.sleb128 28
	.uleb128 0x9
	.long	.LASF48
	.byte	0x7
	.byte	0x89
	.long	0xc2
	.sleb128 32
	.uleb128 0x9
	.long	.LASF49
	.byte	0x7
	.byte	0x8a
	.long	0x1e5
	.sleb128 36
	.uleb128 0x9
	.long	.LASF50
	.byte	0x7
	.byte	0x8c
	.long	0x93
	.sleb128 40
	.uleb128 0x9
	.long	.LASF51
	.byte	0x7
	.byte	0x8d
	.long	0x28d
	.sleb128 44
	.byte	0x0
	.uleb128 0xa
	.byte	0x4
	.long	0x1f0
	.uleb128 0xa
	.byte	0x4
	.long	0x110
	.uleb128 0xa
	.byte	0x4
	.long	0xe9
	.uleb128 0x3
	.long	.LASF52
	.byte	0x7
	.byte	0x9d
	.long	0x1f0
	.uleb128 0xd
	.byte	0x1
	.long	.LASF60
	.byte	0x1
	.byte	0x30
	.byte	0x1
	.long	0x93
	.byte	0x3
	.long	0x2bc
	.uleb128 0xe
	.string	"thr"
	.byte	0x1
	.byte	0x30
	.long	0x2bc
	.byte	0x0
	.uleb128 0xa
	.byte	0x4
	.long	0x1bc
	.uleb128 0xf
	.long	.LASF61
	.byte	0x1
	.byte	0x34
	.byte	0x1
	.long	0x93
	.byte	0x1
	.long	0x2f5
	.uleb128 0xe
	.string	"bag"
	.byte	0x1
	.byte	0x34
	.long	0x28d
	.uleb128 0x10
	.string	"thr"
	.byte	0x1
	.byte	0x36
	.long	0x2bc
	.uleb128 0x11
	.long	.LASF53
	.byte	0x1
	.byte	0x37
	.long	0xb0
	.byte	0x0
	.uleb128 0x12
	.long	0x29e
	.long	.LFB16
	.long	.LFE16
	.byte	0x1
	.byte	0x9c
	.long	0x311
	.uleb128 0x13
	.long	0x2b0
	.byte	0x2
	.byte	0x91
	.sleb128 0
	.byte	0x0
	.uleb128 0x14
	.long	.LASF62
	.byte	0x1
	.byte	0x41
	.byte	0x1
	.long	0x93
	.long	.LFB18
	.long	.LFE18
	.byte	0x1
	.byte	0x9c
	.long	0x385
	.uleb128 0x15
	.long	.LASF54
	.byte	0x1
	.byte	0x41
	.long	0x385
	.long	.LLST0
	.uleb128 0x16
	.long	0x2c2
	.long	.LBB8
	.long	.Ldebug_ranges0+0x0
	.byte	0x1
	.byte	0x58
	.uleb128 0x17
	.long	0x2d3
	.long	.LLST1
	.uleb128 0x18
	.long	.Ldebug_ranges0+0x18
	.uleb128 0x19
	.long	0x2de
	.long	.LLST2
	.uleb128 0x19
	.long	0x2e9
	.long	.LLST3
	.uleb128 0x1a
	.long	0x29e
	.long	.LBB10
	.long	.LBE10
	.byte	0x1
	.byte	0x3b
	.uleb128 0x17
	.long	0x2b0
	.long	.LLST4
	.byte	0x0
	.byte	0x0
	.byte	0x0
	.byte	0x0
	.uleb128 0xa
	.byte	0x4
	.long	0x293
	.uleb128 0x1b
	.byte	0x1
	.long	.LASF55
	.byte	0x1
	.byte	0x74
	.byte	0x1
	.long	0x93
	.long	.LFB21
	.long	.LFE21
	.byte	0x1
	.byte	0x9c
	.long	0x3b5
	.uleb128 0x1c
	.long	.LASF54
	.byte	0x1
	.byte	0x74
	.long	0x385
	.byte	0x2
	.byte	0x91
	.sleb128 0
	.byte	0x0
	.uleb128 0x1b
	.byte	0x1
	.long	.LASF56
	.byte	0x1
	.byte	0x6d
	.byte	0x1
	.long	0x93
	.long	.LFB20
	.long	.LFE20
	.byte	0x1
	.byte	0x9c
	.long	0x3df
	.uleb128 0x1c
	.long	.LASF54
	.byte	0x1
	.byte	0x6d
	.long	0x385
	.byte	0x2
	.byte	0x91
	.sleb128 0
	.byte	0x0
	.uleb128 0x1d
	.byte	0x1
	.long	.LASF63
	.byte	0x1
	.byte	0x66
	.byte	0x1
	.long	0x93
	.long	.LFB19
	.long	.LFE19
	.byte	0x1
	.byte	0x9c
	.uleb128 0x1c
	.long	.LASF54
	.byte	0x1
	.byte	0x66
	.long	0x385
	.byte	0x2
	.byte	0x91
	.sleb128 0
	.byte	0x0
	.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 0x16
	.byte	0x0
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.byte	0x0
	.byte	0x0
	.uleb128 0x4
	.uleb128 0x16
	.byte	0x0
	.uleb128 0x3
	.uleb128 0x8
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.byte	0x0
	.byte	0x0
	.uleb128 0x5
	.uleb128 0x24
	.byte	0x0
	.uleb128 0xb
	.uleb128 0xb
	.uleb128 0x3e
	.uleb128 0xb
	.uleb128 0x3
	.uleb128 0x8
	.byte	0x0
	.byte	0x0
	.uleb128 0x6
	.uleb128 0x13
	.byte	0x0
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3c
	.uleb128 0xc
	.byte	0x0
	.byte	0x0
	.uleb128 0x7
	.uleb128 0x13
	.byte	0x0
	.uleb128 0x3
	.uleb128 0x8
	.uleb128 0x3c
	.uleb128 0xc
	.byte	0x0
	.byte	0x0
	.uleb128 0x8
	.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 0x9
	.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 0xa
	.uleb128 0xf
	.byte	0x0
	.uleb128 0xb
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.byte	0x0
	.byte	0x0
	.uleb128 0xb
	.uleb128 0x4
	.byte	0x1
	.uleb128 0xb
	.uleb128 0xb
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x1
	.uleb128 0x13
	.byte	0x0
	.byte	0x0
	.uleb128 0xc
	.uleb128 0x28
	.byte	0x0
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x1c
	.uleb128 0xd
	.byte	0x0
	.byte	0x0
	.uleb128 0xd
	.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 0x20
	.uleb128 0xb
	.uleb128 0x1
	.uleb128 0x13
	.byte	0x0
	.byte	0x0
	.uleb128 0xe
	.uleb128 0x5
	.byte	0x0
	.uleb128 0x3
	.uleb128 0x8
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.byte	0x0
	.byte	0x0
	.uleb128 0xf
	.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 0x20
	.uleb128 0xb
	.uleb128 0x1
	.uleb128 0x13
	.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
	.byte	0x0
	.byte	0x0
	.uleb128 0x11
	.uleb128 0x34
	.byte	0x0
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.byte	0x0
	.byte	0x0
	.uleb128 0x12
	.uleb128 0x2e
	.byte	0x1
	.uleb128 0x31
	.uleb128 0x13
	.uleb128 0x11
	.uleb128 0x1
	.uleb128 0x12
	.uleb128 0x1
	.uleb128 0x40
	.uleb128 0xa
	.uleb128 0x1
	.uleb128 0x13
	.byte	0x0
	.byte	0x0
	.uleb128 0x13
	.uleb128 0x5
	.byte	0x0
	.uleb128 0x31
	.uleb128 0x13
	.uleb128 0x2
	.uleb128 0xa
	.byte	0x0
	.byte	0x0
	.uleb128 0x14
	.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 0x15
	.uleb128 0x5
	.byte	0x0
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x2
	.uleb128 0x6
	.byte	0x0
	.byte	0x0
	.uleb128 0x16
	.uleb128 0x1d
	.byte	0x1
	.uleb128 0x31
	.uleb128 0x13
	.uleb128 0x52
	.uleb128 0x1
	.uleb128 0x55
	.uleb128 0x6
	.uleb128 0x58
	.uleb128 0xb
	.uleb128 0x59
	.uleb128 0xb
	.byte	0x0
	.byte	0x0
	.uleb128 0x17
	.uleb128 0x5
	.byte	0x0
	.uleb128 0x31
	.uleb128 0x13
	.uleb128 0x2
	.uleb128 0x6
	.byte	0x0
	.byte	0x0
	.uleb128 0x18
	.uleb128 0xb
	.byte	0x1
	.uleb128 0x55
	.uleb128 0x6
	.byte	0x0
	.byte	0x0
	.uleb128 0x19
	.uleb128 0x34
	.byte	0x0
	.uleb128 0x31
	.uleb128 0x13
	.uleb128 0x2
	.uleb128 0x6
	.byte	0x0
	.byte	0x0
	.uleb128 0x1a
	.uleb128 0x1d
	.byte	0x1
	.uleb128 0x31
	.uleb128 0x13
	.uleb128 0x11
	.uleb128 0x1
	.uleb128 0x12
	.uleb128 0x1
	.uleb128 0x58
	.uleb128 0xb
	.uleb128 0x59
	.uleb128 0xb
	.byte	0x0
	.byte	0x0
	.uleb128 0x1b
	.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 0x1c
	.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 0x1d
	.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
	.byte	0x0
	.byte	0x0
	.byte	0x0
	.section	.debug_pubnames,"",@progbits
	.long	0x86
	.value	0x2
	.long	.Ldebug_info0
	.long	0x406
	.long	0x2f5
	.string	"vgHelgrind_is_sane_Thread"
	.long	0x38b
	.string	"vgHelgrind_is_sane_LockNorP"
	.long	0x3b5
	.string	"vgHelgrind_is_sane_LockN"
	.long	0x3df
	.string	"vgHelgrind_is_sane_LockP"
	.long	0x0
	.section	.debug_pubtypes,"",@progbits
	.long	0xd6
	.value	0x2
	.long	.Ldebug_info0
	.long	0x406
	.long	0x48
	.string	"UInt"
	.long	0x5a
	.string	"Int"
	.long	0x6c
	.string	"ULong"
	.long	0x93
	.string	"Bool"
	.long	0xa5
	.string	"UWord"
	.long	0xb0
	.string	"Word"
	.long	0xc2
	.string	"Addr"
	.long	0xcd
	.string	"ThreadId"
	.long	0xd8
	.string	"ExeContext"
	.long	0xe9
	.string	"WordBag"
	.long	0xfa
	.string	"WordSet"
	.long	0x105
	.string	"WordSetID"
	.long	0x110
	.string	"SO"
	.long	0x120
	.string	"Thr"
	.long	0x131
	.string	"_Thread"
	.long	0x1bc
	.string	"Thread"
	.long	0x1e5
	.string	"LockKind"
	.long	0x1f0
	.string	"_Lock"
	.long	0x293
	.string	"Lock"
	.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_ranges,"",@progbits
.Ldebug_ranges0:
	.long	.LBB8-.Ltext0
	.long	.LBE8-.Ltext0
	.long	.LBB13-.Ltext0
	.long	.LBE13-.Ltext0
	.long	0x0
	.long	0x0
	.long	.LBB9-.Ltext0
	.long	.LBE9-.Ltext0
	.long	.LBB12-.Ltext0
	.long	.LBE12-.Ltext0
	.long	0x0
	.long	0x0
	.section	.debug_str,"MS",@progbits,1
.LASF49:
	.string	"kind"
.LASF32:
	.string	"created_at"
.LASF45:
	.string	"appeared_at"
.LASF18:
	.string	"ThreadId"
.LASF41:
	.string	"_Lock"
.LASF6:
	.string	"UInt"
.LASF4:
	.string	"short int"
.LASF31:
	.string	"locksetW"
.LASF29:
	.string	"coretid"
.LASF24:
	.string	"WordSetID"
.LASF61:
	.string	"is_sane_Bag_of_Threads"
.LASF46:
	.string	"acquired_at"
.LASF15:
	.string	"Word"
.LASF58:
	.string	"hg_lock_n_thread.c"
.LASF50:
	.string	"heldW"
.LASF44:
	.string	"unique"
.LASF10:
	.string	"float"
.LASF62:
	.string	"is_sane_Lock_BASE"
.LASF22:
	.string	"_WordBag"
.LASF9:
	.string	"long long int"
.LASF16:
	.string	"long int"
.LASF52:
	.string	"Lock"
.LASF14:
	.string	"UWord"
.LASF36:
	.string	"LK_mbRec"
.LASF47:
	.string	"hbso"
.LASF48:
	.string	"guestaddr"
.LASF17:
	.string	"Addr"
.LASF7:
	.string	"ULong"
.LASF0:
	.string	"unsigned char"
.LASF19:
	.string	"ExeContext"
.LASF20:
	.string	"WordBag"
.LASF1:
	.string	"signed char"
.LASF8:
	.string	"long long unsigned int"
.LASF43:
	.string	"admin_prev"
.LASF51:
	.string	"heldBy"
.LASF5:
	.string	"unsigned int"
.LASF60:
	.string	"vgHelgrind_is_sane_Thread"
.LASF42:
	.string	"admin_next"
.LASF40:
	.string	"_Thread"
.LASF55:
	.string	"vgHelgrind_is_sane_LockNorP"
.LASF3:
	.string	"short unsigned int"
.LASF2:
	.string	"char"
.LASF23:
	.string	"WordSet"
.LASF54:
	.string	"lock"
.LASF59:
	.string	"/root/genprog-many-bugs/valgrind-bug-12474-12475/valgrind/helgrind"
.LASF28:
	.string	"hbthr"
.LASF38:
	.string	"LK_rdwr"
.LASF21:
	.string	"_ExeContext"
.LASF13:
	.string	"long unsigned int"
.LASF33:
	.string	"announced"
.LASF11:
	.string	"double"
.LASF25:
	.string	"_Thr"
.LASF56:
	.string	"vgHelgrind_is_sane_LockN"
.LASF63:
	.string	"vgHelgrind_is_sane_LockP"
.LASF53:
	.string	"count"
.LASF26:
	.string	"admin"
.LASF37:
	.string	"LK_nonRec"
.LASF35:
	.string	"Thread"
.LASF57:
	.string	"GNU C 4.4.5 20101112 (Red Hat 4.4.5-2)"
.LASF27:
	.string	"magic"
.LASF39:
	.string	"LockKind"
.LASF30:
	.string	"locksetA"
.LASF34:
	.string	"errmsg_index"
.LASF12:
	.string	"Bool"
	.ident	"GCC: (GNU) 4.4.5 20101112 (Red Hat 4.4.5-2)"
	.section	.note.GNU-stack,"",@progbits
