	.file	"main_globals.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 vex_initdone
	.bss
	.type	vex_initdone, @object
	.size	vex_initdone, 1
vex_initdone:
	.zero	1
.globl vex_failure_exit
	.align 4
	.type	vex_failure_exit, @object
	.size	vex_failure_exit, 4
vex_failure_exit:
	.zero	4
.globl vex_log_bytes
	.align 4
	.type	vex_log_bytes, @object
	.size	vex_log_bytes, 4
vex_log_bytes:
	.zero	4
.globl vex_debuglevel
	.align 4
	.type	vex_debuglevel, @object
	.size	vex_debuglevel, 4
vex_debuglevel:
	.zero	4
.globl vex_traceflags
	.align 4
	.type	vex_traceflags, @object
	.size	vex_traceflags, 4
vex_traceflags:
	.zero	4
.globl vex_valgrind_support
	.type	vex_valgrind_support, @object
	.size	vex_valgrind_support, 1
vex_valgrind_support:
	.zero	1
.globl vex_control
	.align 4
	.type	vex_control, @object
	.size	vex_control, 28
vex_control:
	.zero	28
	.text
.Letext0:
	.file 1 "../VEX/pub/libvex_basictypes.h"
	.file 2 "../VEX/pub/libvex.h"
	.file 3 "priv/main_globals.c"
	.section	.debug_info
	.long	0x1e8
	.value	0x3
	.long	.Ldebug_abbrev0
	.byte	0x4
	.uleb128 0x1
	.long	.LASF30
	.byte	0x1
	.long	.LASF31
	.long	.LASF32
	.long	.Ltext0
	.long	.Letext0
	.long	.Ldebug_line0
	.uleb128 0x2
	.byte	0x1
	.byte	0x8
	.long	.LASF0
	.uleb128 0x2
	.byte	0x1
	.byte	0x6
	.long	.LASF1
	.uleb128 0x3
	.long	.LASF6
	.byte	0x1
	.byte	0x2e
	.long	0x3e
	.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 0x2
	.byte	0x4
	.byte	0x7
	.long	.LASF5
	.uleb128 0x4
	.string	"Int"
	.byte	0x1
	.byte	0x38
	.long	0x65
	.uleb128 0x5
	.byte	0x4
	.byte	0x5
	.string	"int"
	.uleb128 0x2
	.byte	0x8
	.byte	0x7
	.long	.LASF7
	.uleb128 0x2
	.byte	0x8
	.byte	0x5
	.long	.LASF8
	.uleb128 0x2
	.byte	0x4
	.byte	0x4
	.long	.LASF9
	.uleb128 0x2
	.byte	0x8
	.byte	0x4
	.long	.LASF10
	.uleb128 0x3
	.long	.LASF11
	.byte	0x1
	.byte	0x50
	.long	0x25
	.uleb128 0x2
	.byte	0x4
	.byte	0x7
	.long	.LASF12
	.uleb128 0x6
	.byte	0x4
	.long	0x33
	.uleb128 0x7
	.byte	0x1c
	.byte	0x2
	.value	0x126
	.long	0x105
	.uleb128 0x8
	.long	.LASF13
	.byte	0x2
	.value	0x128
	.long	0x5a
	.sleb128 0
	.uleb128 0x8
	.long	.LASF14
	.byte	0x2
	.value	0x12b
	.long	0x5a
	.sleb128 4
	.uleb128 0x8
	.long	.LASF15
	.byte	0x2
	.value	0x12f
	.long	0x88
	.sleb128 8
	.uleb128 0x8
	.long	.LASF16
	.byte	0x2
	.value	0x133
	.long	0x5a
	.sleb128 12
	.uleb128 0x8
	.long	.LASF17
	.byte	0x2
	.value	0x137
	.long	0x5a
	.sleb128 16
	.uleb128 0x8
	.long	.LASF18
	.byte	0x2
	.value	0x13d
	.long	0x5a
	.sleb128 20
	.uleb128 0x8
	.long	.LASF19
	.byte	0x2
	.value	0x140
	.long	0x88
	.sleb128 24
	.byte	0x0
	.uleb128 0x9
	.long	.LASF20
	.byte	0x2
	.value	0x142
	.long	0xa0
	.uleb128 0xa
	.long	.LASF21
	.byte	0x2
	.value	0x156
	.long	0x9a
	.byte	0x1
	.byte	0x1
	.uleb128 0xa
	.long	.LASF22
	.byte	0x2
	.value	0x157
	.long	0x9a
	.byte	0x1
	.byte	0x1
	.uleb128 0xa
	.long	.LASF21
	.byte	0x2
	.value	0x156
	.long	0x9a
	.byte	0x1
	.byte	0x1
	.uleb128 0xa
	.long	.LASF22
	.byte	0x2
	.value	0x157
	.long	0x9a
	.byte	0x1
	.byte	0x1
	.uleb128 0xb
	.long	.LASF23
	.byte	0x3
	.byte	0x2e
	.long	0x88
	.byte	0x1
	.byte	0x5
	.byte	0x3
	.long	vex_initdone
	.uleb128 0xc
	.byte	0x1
	.uleb128 0xb
	.long	.LASF24
	.byte	0x3
	.byte	0x32
	.long	0x16f
	.byte	0x1
	.byte	0x5
	.byte	0x3
	.long	vex_failure_exit
	.uleb128 0x6
	.byte	0x4
	.long	0x175
	.uleb128 0xd
	.long	0x15b
	.uleb128 0xe
	.byte	0x1
	.long	0x18b
	.uleb128 0xf
	.long	0x9a
	.uleb128 0xf
	.long	0x5a
	.byte	0x0
	.uleb128 0xb
	.long	.LASF25
	.byte	0x3
	.byte	0x35
	.long	0x19d
	.byte	0x1
	.byte	0x5
	.byte	0x3
	.long	vex_log_bytes
	.uleb128 0x6
	.byte	0x4
	.long	0x17a
	.uleb128 0xb
	.long	.LASF26
	.byte	0x3
	.byte	0x38
	.long	0x5a
	.byte	0x1
	.byte	0x5
	.byte	0x3
	.long	vex_debuglevel
	.uleb128 0xb
	.long	.LASF27
	.byte	0x3
	.byte	0x3b
	.long	0x5a
	.byte	0x1
	.byte	0x5
	.byte	0x3
	.long	vex_traceflags
	.uleb128 0xb
	.long	.LASF28
	.byte	0x3
	.byte	0x3e
	.long	0x88
	.byte	0x1
	.byte	0x5
	.byte	0x3
	.long	vex_valgrind_support
	.uleb128 0xb
	.long	.LASF29
	.byte	0x3
	.byte	0x41
	.long	0x105
	.byte	0x1
	.byte	0x5
	.byte	0x3
	.long	vex_control
	.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 0xf
	.byte	0x0
	.uleb128 0xb
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.byte	0x0
	.byte	0x0
	.uleb128 0x7
	.uleb128 0x13
	.byte	0x1
	.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 0x5
	.uleb128 0x49
	.uleb128 0x13
	.byte	0x0
	.byte	0x0
	.uleb128 0xa
	.uleb128 0x34
	.byte	0x0
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0x5
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x3f
	.uleb128 0xc
	.uleb128 0x3c
	.uleb128 0xc
	.byte	0x0
	.byte	0x0
	.uleb128 0xb
	.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 0xc
	.uleb128 0x15
	.byte	0x0
	.uleb128 0x27
	.uleb128 0xc
	.byte	0x0
	.byte	0x0
	.uleb128 0xd
	.uleb128 0x35
	.byte	0x0
	.uleb128 0x49
	.uleb128 0x13
	.byte	0x0
	.byte	0x0
	.uleb128 0xe
	.uleb128 0x15
	.byte	0x1
	.uleb128 0x27
	.uleb128 0xc
	.uleb128 0x1
	.uleb128 0x13
	.byte	0x0
	.byte	0x0
	.uleb128 0xf
	.uleb128 0x5
	.byte	0x0
	.uleb128 0x49
	.uleb128 0x13
	.byte	0x0
	.byte	0x0
	.byte	0x0
	.section	.debug_pubnames,"",@progbits
	.long	0x95
	.value	0x2
	.long	.Ldebug_info0
	.long	0x1ec
	.long	0x149
	.string	"vex_initdone"
	.long	0x15d
	.string	"vex_failure_exit"
	.long	0x18b
	.string	"vex_log_bytes"
	.long	0x1a3
	.string	"vex_debuglevel"
	.long	0x1b5
	.string	"vex_traceflags"
	.long	0x1c7
	.string	"vex_valgrind_support"
	.long	0x1d9
	.string	"vex_control"
	.long	0x0
	.section	.debug_pubtypes,"",@progbits
	.long	0x38
	.value	0x2
	.long	.Ldebug_info0
	.long	0x1ec
	.long	0x33
	.string	"HChar"
	.long	0x5a
	.string	"Int"
	.long	0x88
	.string	"Bool"
	.long	0x105
	.string	"VexControl"
	.long	0x0
	.section	.debug_str,"MS",@progbits,1
.LASF14:
	.string	"iropt_level"
.LASF16:
	.string	"iropt_unroll_thresh"
.LASF32:
	.string	"/root/genprog-many-bugs/valgrind-bug-12474-12475/valgrind/VEX"
.LASF25:
	.string	"vex_log_bytes"
.LASF29:
	.string	"vex_control"
.LASF9:
	.string	"float"
.LASF22:
	.string	"private_LibVEX_alloc_last"
.LASF7:
	.string	"long long unsigned int"
.LASF28:
	.string	"vex_valgrind_support"
.LASF21:
	.string	"private_LibVEX_alloc_curr"
.LASF0:
	.string	"unsigned char"
.LASF31:
	.string	"priv/main_globals.c"
.LASF11:
	.string	"Bool"
.LASF12:
	.string	"long unsigned int"
.LASF3:
	.string	"short unsigned int"
.LASF20:
	.string	"VexControl"
.LASF10:
	.string	"double"
.LASF17:
	.string	"guest_max_insns"
.LASF5:
	.string	"unsigned int"
.LASF27:
	.string	"vex_traceflags"
.LASF2:
	.string	"char"
.LASF30:
	.string	"GNU C 4.4.5 20101112 (Red Hat 4.4.5-2)"
.LASF19:
	.string	"guest_chase_cond"
.LASF15:
	.string	"iropt_precise_memory_exns"
.LASF13:
	.string	"iropt_verbosity"
.LASF8:
	.string	"long long int"
.LASF18:
	.string	"guest_chase_thresh"
.LASF24:
	.string	"vex_failure_exit"
.LASF6:
	.string	"HChar"
.LASF4:
	.string	"short int"
.LASF23:
	.string	"vex_initdone"
.LASF1:
	.string	"signed char"
.LASF26:
	.string	"vex_debuglevel"
	.ident	"GCC: (GNU) 4.4.5 20101112 (Red Hat 4.4.5-2)"
	.section	.note.GNU-stack,"",@progbits
