	.file	"882506.c"
	.intel_syntax noprefix
	.text
	.globl	INT_64_MIN
	.section	.rodata
	.align 8
	.type	INT_64_MIN, @object
	.size	INT_64_MIN, 8
INT_64_MIN:
	.quad	-9223372036854775808
	.globl	INT_64_MIN_OFF
	.align 8
	.type	INT_64_MIN_OFF, @object
	.size	INT_64_MIN_OFF, 8
INT_64_MIN_OFF:
	.quad	-9223372036854775808
	.globl	heap_list
	.bss
	.align 8
	.type	heap_list, @object
	.size	heap_list, 8
heap_list:
	.zero	8
	.globl	stack_list
	.align 8
	.type	stack_list, @object
	.size	stack_list, 8
stack_list:
	.zero	8
	.globl	deallocated_list
	.align 8
	.type	deallocated_list, @object
	.size	deallocated_list, 8
deallocated_list:
	.zero	8
	.globl	globals_list
	.align 8
	.type	globals_list, @object
	.size	globals_list, 8
globals_list:
	.zero	8
	.text
	.type	__INSTR_list_prepend, @function
__INSTR_list_prepend:
.LFB0:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	QWORD PTR -8[rbp], rdi
	mov	QWORD PTR -16[rbp], rsi
	mov	rax, QWORD PTR -16[rbp]
	mov	rax, QWORD PTR [rax]
	test	rax, rax
	je	.L2
	mov	rax, QWORD PTR -16[rbp]
	mov	rax, QWORD PTR [rax]
	mov	rdx, QWORD PTR -8[rbp]
	mov	QWORD PTR 32[rax], rdx
.L2:
	mov	rax, QWORD PTR -16[rbp]
	mov	rdx, QWORD PTR [rax]
	mov	rax, QWORD PTR -8[rbp]
	mov	QWORD PTR 24[rax], rdx
	mov	rax, QWORD PTR -8[rbp]
	mov	QWORD PTR 32[rax], 0
	mov	rax, QWORD PTR -16[rbp]
	mov	rdx, QWORD PTR -8[rbp]
	mov	QWORD PTR [rax], rdx
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE0:
	.size	__INSTR_list_prepend, .-__INSTR_list_prepend
	.type	__INSTR_globals_list_prepend, @function
__INSTR_globals_list_prepend:
.LFB1:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 8
	mov	QWORD PTR -8[rbp], rdi
	mov	rax, QWORD PTR -8[rbp]
	lea	rsi, globals_list[rip]
	mov	rdi, rax
	call	__INSTR_list_prepend
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE1:
	.size	__INSTR_globals_list_prepend, .-__INSTR_globals_list_prepend
	.type	__INSTR_heap_list_prepend, @function
__INSTR_heap_list_prepend:
.LFB2:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 8
	mov	QWORD PTR -8[rbp], rdi
	mov	rax, QWORD PTR -8[rbp]
	lea	rsi, heap_list[rip]
	mov	rdi, rax
	call	__INSTR_list_prepend
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE2:
	.size	__INSTR_heap_list_prepend, .-__INSTR_heap_list_prepend
	.type	__INSTR_stack_list_prepend, @function
__INSTR_stack_list_prepend:
.LFB3:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 8
	mov	QWORD PTR -8[rbp], rdi
	mov	rax, QWORD PTR -8[rbp]
	lea	rsi, stack_list[rip]
	mov	rdi, rax
	call	__INSTR_list_prepend
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE3:
	.size	__INSTR_stack_list_prepend, .-__INSTR_stack_list_prepend
	.type	__INSTR_deallocated_list_prepend, @function
__INSTR_deallocated_list_prepend:
.LFB4:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 8
	mov	QWORD PTR -8[rbp], rdi
	mov	rax, QWORD PTR -8[rbp]
	lea	rsi, deallocated_list[rip]
	mov	rdi, rax
	call	__INSTR_list_prepend
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE4:
	.size	__INSTR_deallocated_list_prepend, .-__INSTR_deallocated_list_prepend
	.globl	__INSTR_node_create
	.type	__INSTR_node_create, @function
__INSTR_node_create:
.LFB5:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 32
	mov	QWORD PTR -24[rbp], rdi
	mov	QWORD PTR -32[rbp], rsi
	mov	edi, 40
	call	malloc@PLT
	mov	QWORD PTR -8[rbp], rax
	mov	rax, QWORD PTR -8[rbp]
	mov	QWORD PTR 24[rax], 0
	mov	rax, QWORD PTR -8[rbp]
	mov	QWORD PTR 32[rax], 0
	mov	rax, QWORD PTR -8[rbp]
	mov	DWORD PTR [rax], 0
	mov	rax, QWORD PTR -8[rbp]
	mov	rdx, QWORD PTR -24[rbp]
	mov	QWORD PTR 8[rax], rdx
	mov	rax, QWORD PTR -8[rbp]
	mov	rdx, QWORD PTR -32[rbp]
	mov	QWORD PTR 16[rax], rdx
	mov	rax, QWORD PTR -8[rbp]
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE5:
	.size	__INSTR_node_create, .-__INSTR_node_create
	.globl	__INSTR_rec_create_stack
	.type	__INSTR_rec_create_stack, @function
__INSTR_rec_create_stack:
.LFB6:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 32
	mov	QWORD PTR -24[rbp], rdi
	mov	QWORD PTR -32[rbp], rsi
	mov	rdx, QWORD PTR -32[rbp]
	mov	rax, QWORD PTR -24[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	__INSTR_node_create
	mov	QWORD PTR -8[rbp], rax
	mov	rax, QWORD PTR -8[rbp]
	mov	rdi, rax
	call	__INSTR_stack_list_prepend
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE6:
	.size	__INSTR_rec_create_stack, .-__INSTR_rec_create_stack
	.globl	__INSTR_rec_create_heap
	.type	__INSTR_rec_create_heap, @function
__INSTR_rec_create_heap:
.LFB7:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 32
	mov	QWORD PTR -24[rbp], rdi
	mov	QWORD PTR -32[rbp], rsi
	mov	rdx, QWORD PTR -32[rbp]
	mov	rax, QWORD PTR -24[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	__INSTR_node_create
	mov	QWORD PTR -8[rbp], rax
	mov	rax, QWORD PTR -8[rbp]
	mov	rdi, rax
	call	__INSTR_heap_list_prepend
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE7:
	.size	__INSTR_rec_create_heap, .-__INSTR_rec_create_heap
	.globl	__INSTR_rec_create_deallocated
	.type	__INSTR_rec_create_deallocated, @function
__INSTR_rec_create_deallocated:
.LFB8:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 32
	mov	QWORD PTR -24[rbp], rdi
	mov	QWORD PTR -32[rbp], rsi
	mov	rdx, QWORD PTR -32[rbp]
	mov	rax, QWORD PTR -24[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	__INSTR_node_create
	mov	QWORD PTR -8[rbp], rax
	mov	rax, QWORD PTR -8[rbp]
	mov	rdi, rax
	call	__INSTR_deallocated_list_prepend
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE8:
	.size	__INSTR_rec_create_deallocated, .-__INSTR_rec_create_deallocated
	.globl	__INSTR_rec_create_global
	.type	__INSTR_rec_create_global, @function
__INSTR_rec_create_global:
.LFB9:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 32
	mov	QWORD PTR -24[rbp], rdi
	mov	QWORD PTR -32[rbp], rsi
	mov	rdx, QWORD PTR -32[rbp]
	mov	rax, QWORD PTR -24[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	__INSTR_node_create
	mov	QWORD PTR -8[rbp], rax
	mov	rax, QWORD PTR -8[rbp]
	mov	rdi, rax
	call	__INSTR_globals_list_prepend
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE9:
	.size	__INSTR_rec_create_global, .-__INSTR_rec_create_global
	.globl	__INSTR_list_search
	.type	__INSTR_list_search, @function
__INSTR_list_search:
.LFB10:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	QWORD PTR -24[rbp], rdi
	mov	QWORD PTR -32[rbp], rsi
	mov	rax, QWORD PTR -24[rbp]
	mov	QWORD PTR -8[rbp], rax
	jmp	.L14
.L18:
	mov	rax, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR 8[rax]
	cmp	QWORD PTR -32[rbp], rax
	jb	.L15
	mov	rax, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR 8[rax]
	cmp	QWORD PTR -32[rbp], rax
	je	.L16
	mov	rax, QWORD PTR -8[rbp]
	mov	rdx, QWORD PTR 8[rax]
	mov	rax, QWORD PTR -32[rbp]
	sub	rax, rdx
	mov	rdx, rax
	mov	rax, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR 16[rax]
	cmp	rdx, rax
	jnb	.L15
.L16:
	mov	rax, QWORD PTR -8[rbp]
	jmp	.L17
.L15:
	mov	rax, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR 24[rax]
	mov	QWORD PTR -8[rbp], rax
.L14:
	cmp	QWORD PTR -8[rbp], 0
	jne	.L18
	mov	eax, 0
.L17:
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE10:
	.size	__INSTR_list_search, .-__INSTR_list_search
	.globl	__INSTR_detach_node
	.type	__INSTR_detach_node, @function
__INSTR_detach_node:
.LFB11:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	QWORD PTR -8[rbp], rdi
	mov	QWORD PTR -16[rbp], rsi
	mov	rax, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR 32[rax]
	test	rax, rax
	je	.L20
	mov	rax, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR 32[rax]
	mov	rdx, QWORD PTR -8[rbp]
	mov	rdx, QWORD PTR 24[rdx]
	mov	QWORD PTR 24[rax], rdx
	jmp	.L21
.L20:
	mov	rax, QWORD PTR -8[rbp]
	mov	rdx, QWORD PTR 24[rax]
	mov	rax, QWORD PTR -16[rbp]
	mov	QWORD PTR [rax], rdx
.L21:
	mov	rax, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR 24[rax]
	test	rax, rax
	je	.L22
	mov	rax, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR 24[rax]
	mov	rdx, QWORD PTR -8[rbp]
	mov	rdx, QWORD PTR 32[rdx]
	mov	QWORD PTR 32[rax], rdx
.L22:
	mov	rax, QWORD PTR -8[rbp]
	mov	QWORD PTR 24[rax], 0
	mov	rax, QWORD PTR -8[rbp]
	mov	QWORD PTR 32[rax], 0
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE11:
	.size	__INSTR_detach_node, .-__INSTR_detach_node
	.globl	__INSTR_rec_destroy
	.type	__INSTR_rec_destroy, @function
__INSTR_rec_destroy:
.LFB12:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 16
	mov	QWORD PTR -8[rbp], rdi
	mov	QWORD PTR -16[rbp], rsi
	mov	rdx, QWORD PTR -16[rbp]
	mov	rax, QWORD PTR -8[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	__INSTR_detach_node
	mov	rax, QWORD PTR -8[rbp]
	mov	rdi, rax
	call	free@PLT
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE12:
	.size	__INSTR_rec_destroy, .-__INSTR_rec_destroy
	.section	.rodata
.LC0:
	.string	"the_stack_data/882506.c"
	.align 8
.LC1:
	.string	"0 && \"free on non-allocated memory\""
.LC2:
	.string	"0 && \"double free\""
	.text
	.globl	__INSTR_free
	.type	__INSTR_free, @function
__INSTR_free:
.LFB13:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 32
	mov	QWORD PTR -24[rbp], rdi
	cmp	QWORD PTR -24[rbp], 0
	je	.L29
	mov	rax, QWORD PTR heap_list[rip]
	mov	rdx, QWORD PTR -24[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	__INSTR_list_search
	mov	QWORD PTR -8[rbp], rax
	cmp	QWORD PTR -8[rbp], 0
	je	.L27
	mov	rax, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR 8[rax]
	cmp	QWORD PTR -24[rbp], rax
	jne	.L27
	mov	rax, QWORD PTR -8[rbp]
	lea	rsi, heap_list[rip]
	mov	rdi, rax
	call	__INSTR_detach_node
	mov	rax, QWORD PTR -8[rbp]
	mov	rdi, rax
	call	__INSTR_deallocated_list_prepend
	jmp	.L24
.L27:
	mov	rax, QWORD PTR deallocated_list[rip]
	mov	rdx, QWORD PTR -24[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	__INSTR_list_search
	mov	QWORD PTR -8[rbp], rax
	cmp	QWORD PTR -8[rbp], 0
	jne	.L28
	lea	rcx, __PRETTY_FUNCTION__.10[rip]
	mov	edx, 167
	lea	rsi, .LC0[rip]
	lea	rdi, .LC1[rip]
	call	__assert_fail@PLT
.L28:
	lea	rcx, __PRETTY_FUNCTION__.10[rip]
	mov	edx, 170
	lea	rsi, .LC0[rip]
	lea	rdi, .LC2[rip]
	call	__assert_fail@PLT
.L29:
	nop
.L24:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE13:
	.size	__INSTR_free, .-__INSTR_free
	.globl	__INSTR_remember_global
	.type	__INSTR_remember_global, @function
__INSTR_remember_global:
.LFB14:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 32
	mov	QWORD PTR -24[rbp], rdi
	mov	QWORD PTR -32[rbp], rsi
	mov	rax, QWORD PTR globals_list[rip]
	mov	rdx, QWORD PTR -24[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	__INSTR_list_search
	mov	QWORD PTR -8[rbp], rax
	cmp	QWORD PTR -8[rbp], 0
	je	.L31
	mov	rax, QWORD PTR -8[rbp]
	mov	rdx, QWORD PTR -32[rbp]
	mov	QWORD PTR 16[rax], rdx
	jmp	.L30
.L31:
	mov	rax, QWORD PTR deallocated_list[rip]
	mov	rdx, QWORD PTR -24[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	__INSTR_list_search
	mov	QWORD PTR -8[rbp], rax
	cmp	QWORD PTR -8[rbp], 0
	je	.L33
	mov	rax, QWORD PTR -8[rbp]
	lea	rsi, deallocated_list[rip]
	mov	rdi, rax
	call	__INSTR_detach_node
	mov	rax, QWORD PTR -8[rbp]
	mov	rdi, rax
	call	__INSTR_globals_list_prepend
	jmp	.L30
.L33:
	mov	rdx, QWORD PTR -32[rbp]
	mov	rax, QWORD PTR -24[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	__INSTR_rec_create_global
.L30:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE14:
	.size	__INSTR_remember_global, .-__INSTR_remember_global
	.globl	__INSTR_remember
	.type	__INSTR_remember, @function
__INSTR_remember:
.LFB15:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 48
	mov	QWORD PTR -24[rbp], rdi
	mov	QWORD PTR -32[rbp], rsi
	mov	DWORD PTR -36[rbp], edx
	mov	rax, QWORD PTR stack_list[rip]
	mov	rdx, QWORD PTR -24[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	__INSTR_list_search
	mov	QWORD PTR -8[rbp], rax
	cmp	QWORD PTR -8[rbp], 0
	je	.L35
	mov	eax, DWORD PTR -36[rbp]
	cdqe
	imul	rax, QWORD PTR -32[rbp]
	mov	rdx, rax
	mov	rax, QWORD PTR -8[rbp]
	mov	QWORD PTR 16[rax], rdx
	jmp	.L34
.L35:
	mov	rax, QWORD PTR deallocated_list[rip]
	mov	rdx, QWORD PTR -24[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	__INSTR_list_search
	mov	QWORD PTR -8[rbp], rax
	cmp	QWORD PTR -8[rbp], 0
	je	.L37
	mov	rax, QWORD PTR -8[rbp]
	lea	rsi, deallocated_list[rip]
	mov	rdi, rax
	call	__INSTR_detach_node
	mov	rax, QWORD PTR -8[rbp]
	mov	rdi, rax
	call	__INSTR_stack_list_prepend
	jmp	.L34
.L37:
	mov	eax, DWORD PTR -36[rbp]
	cdqe
	imul	rax, QWORD PTR -32[rbp]
	mov	rdx, rax
	mov	rax, QWORD PTR -24[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	__INSTR_rec_create_stack
.L34:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE15:
	.size	__INSTR_remember, .-__INSTR_remember
	.globl	__INSTR_remember_malloc_calloc
	.type	__INSTR_remember_malloc_calloc, @function
__INSTR_remember_malloc_calloc:
.LFB16:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 48
	mov	QWORD PTR -24[rbp], rdi
	mov	QWORD PTR -32[rbp], rsi
	mov	DWORD PTR -36[rbp], edx
	cmp	QWORD PTR -24[rbp], 0
	je	.L42
	mov	rax, QWORD PTR heap_list[rip]
	mov	rdx, QWORD PTR -24[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	__INSTR_list_search
	mov	QWORD PTR -8[rbp], rax
	cmp	QWORD PTR -8[rbp], 0
	jne	.L38
	mov	rax, QWORD PTR deallocated_list[rip]
	mov	rdx, QWORD PTR -24[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	__INSTR_list_search
	mov	QWORD PTR -8[rbp], rax
	cmp	QWORD PTR -8[rbp], 0
	je	.L41
	mov	rax, QWORD PTR -8[rbp]
	lea	rsi, deallocated_list[rip]
	mov	rdi, rax
	call	__INSTR_detach_node
	mov	rax, QWORD PTR -8[rbp]
	mov	rdi, rax
	call	__INSTR_heap_list_prepend
	jmp	.L38
.L41:
	mov	eax, DWORD PTR -36[rbp]
	cdqe
	imul	rax, QWORD PTR -32[rbp]
	mov	rdx, rax
	mov	rax, QWORD PTR -24[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	__INSTR_rec_create_heap
	jmp	.L38
.L42:
	nop
.L38:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE16:
	.size	__INSTR_remember_malloc_calloc, .-__INSTR_remember_malloc_calloc
	.section	.rodata
	.align 8
.LC3:
	.string	"0 && \"dereference out of range\""
	.text
	.globl	__INSTR_check_bounds
	.type	__INSTR_check_bounds, @function
__INSTR_check_bounds:
.LFB17:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 64
	mov	QWORD PTR -24[rbp], rdi
	mov	QWORD PTR -32[rbp], rsi
	mov	QWORD PTR -40[rbp], rdx
	mov	QWORD PTR -48[rbp], rcx
	mov	QWORD PTR -56[rbp], r8
	mov	rax, QWORD PTR -48[rbp]
	sub	rax, QWORD PTR -24[rbp]
	mov	rdx, rax
	mov	rax, QWORD PTR -32[rbp]
	add	rax, rdx
	mov	QWORD PTR -8[rbp], rax
	cmp	QWORD PTR -8[rbp], 0
	js	.L44
	mov	rdx, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR -56[rbp]
	add	rax, rdx
	cmp	QWORD PTR -40[rbp], rax
	jnb	.L46
.L44:
	lea	rcx, __PRETTY_FUNCTION__.9[rip]
	mov	edx, 243
	lea	rsi, .LC0[rip]
	lea	rdi, .LC3[rip]
	call	__assert_fail@PLT
.L46:
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE17:
	.size	__INSTR_check_bounds, .-__INSTR_check_bounds
	.globl	__INSTR_check
	.type	__INSTR_check, @function
__INSTR_check:
.LFB18:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 32
	mov	QWORD PTR -8[rbp], rdi
	mov	QWORD PTR -16[rbp], rsi
	mov	QWORD PTR -32[rbp], rdx
	mov	QWORD PTR -24[rbp], rcx
	mov	rax, QWORD PTR -24[rbp]
	cmp	QWORD PTR -16[rbp], rax
	ja	.L48
	mov	rdx, QWORD PTR -32[rbp]
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, rdx
	mov	rdx, rax
	mov	rax, QWORD PTR -24[rbp]
	sub	rax, QWORD PTR -16[rbp]
	cmp	rdx, rax
	jbe	.L50
.L48:
	lea	rcx, __PRETTY_FUNCTION__.8[rip]
	mov	edx, 254
	lea	rsi, .LC0[rip]
	lea	rdi, .LC3[rip]
	call	__assert_fail@PLT
.L50:
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE18:
	.size	__INSTR_check, .-__INSTR_check
	.section	.rodata
	.align 8
.LC4:
	.string	"0 && \"dereference on freed memory\""
	.align 8
.LC5:
	.string	"0 && \"invalid pointer dereference\""
	.text
	.globl	__INSTR_check_stack
	.type	__INSTR_check_stack, @function
__INSTR_check_stack:
.LFB19:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 32
	mov	QWORD PTR -24[rbp], rdi
	mov	QWORD PTR -32[rbp], rsi
	mov	QWORD PTR -8[rbp], 0
	mov	rax, QWORD PTR stack_list[rip]
	mov	rdx, QWORD PTR -24[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	__INSTR_list_search
	mov	QWORD PTR -8[rbp], rax
	cmp	QWORD PTR -8[rbp], 0
	je	.L52
	mov	rax, QWORD PTR -8[rbp]
	mov	rdx, QWORD PTR 16[rax]
	mov	rax, QWORD PTR 8[rax]
	mov	rsi, QWORD PTR -32[rbp]
	mov	rdi, QWORD PTR -24[rbp]
	mov	rcx, rdx
	mov	rdx, rax
	call	__INSTR_check
	jmp	.L55
.L52:
	mov	rax, QWORD PTR deallocated_list[rip]
	mov	rdx, QWORD PTR -24[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	__INSTR_list_search
	mov	QWORD PTR -8[rbp], rax
	cmp	QWORD PTR -8[rbp], 0
	je	.L54
	lea	rcx, __PRETTY_FUNCTION__.7[rip]
	mov	edx, 265
	lea	rsi, .LC0[rip]
	lea	rdi, .LC4[rip]
	call	__assert_fail@PLT
.L54:
	lea	rcx, __PRETTY_FUNCTION__.7[rip]
	mov	edx, 268
	lea	rsi, .LC0[rip]
	lea	rdi, .LC5[rip]
	call	__assert_fail@PLT
.L55:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE19:
	.size	__INSTR_check_stack, .-__INSTR_check_stack
	.globl	__INSTR_check_globals
	.type	__INSTR_check_globals, @function
__INSTR_check_globals:
.LFB20:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 32
	mov	QWORD PTR -24[rbp], rdi
	mov	QWORD PTR -32[rbp], rsi
	mov	QWORD PTR -8[rbp], 0
	mov	rax, QWORD PTR globals_list[rip]
	mov	rdx, QWORD PTR -24[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	__INSTR_list_search
	mov	QWORD PTR -8[rbp], rax
	cmp	QWORD PTR -8[rbp], 0
	je	.L57
	mov	rax, QWORD PTR -8[rbp]
	mov	rdx, QWORD PTR 16[rax]
	mov	rax, QWORD PTR 8[rax]
	mov	rsi, QWORD PTR -32[rbp]
	mov	rdi, QWORD PTR -24[rbp]
	mov	rcx, rdx
	mov	rdx, rax
	call	__INSTR_check
	jmp	.L60
.L57:
	mov	rax, QWORD PTR deallocated_list[rip]
	mov	rdx, QWORD PTR -24[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	__INSTR_list_search
	mov	QWORD PTR -8[rbp], rax
	cmp	QWORD PTR -8[rbp], 0
	je	.L59
	lea	rcx, __PRETTY_FUNCTION__.6[rip]
	mov	edx, 279
	lea	rsi, .LC0[rip]
	lea	rdi, .LC4[rip]
	call	__assert_fail@PLT
.L59:
	lea	rcx, __PRETTY_FUNCTION__.6[rip]
	mov	edx, 282
	lea	rsi, .LC0[rip]
	lea	rdi, .LC5[rip]
	call	__assert_fail@PLT
.L60:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE20:
	.size	__INSTR_check_globals, .-__INSTR_check_globals
	.globl	__INSTR_check_heap
	.type	__INSTR_check_heap, @function
__INSTR_check_heap:
.LFB21:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 32
	mov	QWORD PTR -24[rbp], rdi
	mov	QWORD PTR -32[rbp], rsi
	mov	QWORD PTR -8[rbp], 0
	mov	rax, QWORD PTR heap_list[rip]
	mov	rdx, QWORD PTR -24[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	__INSTR_list_search
	mov	QWORD PTR -8[rbp], rax
	cmp	QWORD PTR -8[rbp], 0
	je	.L62
	mov	rax, QWORD PTR -8[rbp]
	mov	rdx, QWORD PTR 16[rax]
	mov	rax, QWORD PTR 8[rax]
	mov	rsi, QWORD PTR -32[rbp]
	mov	rdi, QWORD PTR -24[rbp]
	mov	rcx, rdx
	mov	rdx, rax
	call	__INSTR_check
	jmp	.L65
.L62:
	mov	rax, QWORD PTR deallocated_list[rip]
	mov	rdx, QWORD PTR -24[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	__INSTR_list_search
	mov	QWORD PTR -8[rbp], rax
	cmp	QWORD PTR -8[rbp], 0
	je	.L64
	lea	rcx, __PRETTY_FUNCTION__.5[rip]
	mov	edx, 293
	lea	rsi, .LC0[rip]
	lea	rdi, .LC4[rip]
	call	__assert_fail@PLT
.L64:
	lea	rcx, __PRETTY_FUNCTION__.5[rip]
	mov	edx, 296
	lea	rsi, .LC0[rip]
	lea	rdi, .LC5[rip]
	call	__assert_fail@PLT
.L65:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE21:
	.size	__INSTR_check_heap, .-__INSTR_check_heap
	.globl	__INSTR_check_pointer
	.type	__INSTR_check_pointer, @function
__INSTR_check_pointer:
.LFB22:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 32
	mov	QWORD PTR -24[rbp], rdi
	mov	QWORD PTR -32[rbp], rsi
	mov	QWORD PTR -8[rbp], 0
	mov	rax, QWORD PTR heap_list[rip]
	mov	rdx, QWORD PTR -24[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	__INSTR_list_search
	mov	QWORD PTR -8[rbp], rax
	cmp	QWORD PTR -8[rbp], 0
	je	.L67
	mov	rax, QWORD PTR -8[rbp]
	mov	rdx, QWORD PTR 16[rax]
	mov	rax, QWORD PTR 8[rax]
	mov	rsi, QWORD PTR -32[rbp]
	mov	rdi, QWORD PTR -24[rbp]
	mov	rcx, rdx
	mov	rdx, rax
	call	__INSTR_check
	jmp	.L66
.L67:
	mov	rax, QWORD PTR stack_list[rip]
	mov	rdx, QWORD PTR -24[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	__INSTR_list_search
	mov	QWORD PTR -8[rbp], rax
	cmp	QWORD PTR -8[rbp], 0
	je	.L69
	mov	rax, QWORD PTR -8[rbp]
	mov	rdx, QWORD PTR 16[rax]
	mov	rax, QWORD PTR 8[rax]
	mov	rsi, QWORD PTR -32[rbp]
	mov	rdi, QWORD PTR -24[rbp]
	mov	rcx, rdx
	mov	rdx, rax
	call	__INSTR_check
	jmp	.L66
.L69:
	mov	rax, QWORD PTR globals_list[rip]
	mov	rdx, QWORD PTR -24[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	__INSTR_list_search
	mov	QWORD PTR -8[rbp], rax
	cmp	QWORD PTR -8[rbp], 0
	je	.L70
	mov	rax, QWORD PTR -8[rbp]
	mov	rdx, QWORD PTR 16[rax]
	mov	rax, QWORD PTR 8[rax]
	mov	rsi, QWORD PTR -32[rbp]
	mov	rdi, QWORD PTR -24[rbp]
	mov	rcx, rdx
	mov	rdx, rax
	call	__INSTR_check
	jmp	.L66
.L70:
	mov	rax, QWORD PTR deallocated_list[rip]
	mov	rdx, QWORD PTR -24[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	__INSTR_list_search
	mov	QWORD PTR -8[rbp], rax
	cmp	QWORD PTR -8[rbp], 0
	je	.L71
	lea	rcx, __PRETTY_FUNCTION__.4[rip]
	mov	edx, 314
	lea	rsi, .LC0[rip]
	lea	rdi, .LC4[rip]
	call	__assert_fail@PLT
.L71:
	lea	rcx, __PRETTY_FUNCTION__.4[rip]
	mov	edx, 320
	lea	rsi, .LC0[rip]
	lea	rdi, .LC5[rip]
	call	__assert_fail@PLT
.L66:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE22:
	.size	__INSTR_check_pointer, .-__INSTR_check_pointer
	.globl	__INSTR_check_bounds_min
	.type	__INSTR_check_bounds_min, @function
__INSTR_check_bounds_min:
.LFB23:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 64
	mov	QWORD PTR -24[rbp], rdi
	mov	QWORD PTR -32[rbp], rsi
	mov	QWORD PTR -40[rbp], rdx
	mov	QWORD PTR -48[rbp], rcx
	mov	QWORD PTR -56[rbp], r8
	mov	rax, QWORD PTR -48[rbp]
	sub	rax, QWORD PTR -24[rbp]
	mov	QWORD PTR -8[rbp], rax
	movabs	rax, -9223372036854775808
	cmp	QWORD PTR -8[rbp], rax
	jne	.L73
	movabs	rax, -9223372036854775808
	cmp	QWORD PTR -32[rbp], rax
	jnb	.L73
	mov	rdx, QWORD PTR -56[rbp]
	mov	rax, QWORD PTR -48[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	__INSTR_check_pointer
	jmp	.L76
.L73:
	mov	rax, QWORD PTR -8[rbp]
	neg	rax
	cmp	QWORD PTR -32[rbp], rax
	jbe	.L75
	mov	rdx, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR -56[rbp]
	add	rax, rdx
	cmp	QWORD PTR -40[rbp], rax
	jnb	.L76
.L75:
	mov	rdx, QWORD PTR -56[rbp]
	mov	rax, QWORD PTR -48[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	__INSTR_check_pointer
.L76:
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE23:
	.size	__INSTR_check_bounds_min, .-__INSTR_check_bounds_min
	.globl	__INSTR_check_bounds_min_max
	.type	__INSTR_check_bounds_min_max, @function
__INSTR_check_bounds_min_max:
.LFB24:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 64
	mov	QWORD PTR -24[rbp], rdi
	mov	QWORD PTR -32[rbp], rsi
	mov	QWORD PTR -40[rbp], rdx
	mov	QWORD PTR -48[rbp], rcx
	mov	QWORD PTR -56[rbp], r8
	mov	QWORD PTR -64[rbp], r9
	mov	rax, QWORD PTR -64[rbp]
	sub	rax, QWORD PTR -24[rbp]
	mov	QWORD PTR -16[rbp], rax
	movabs	rax, -9223372036854775808
	cmp	QWORD PTR -16[rbp], rax
	jne	.L78
	movabs	rax, -9223372036854775808
	cmp	QWORD PTR -32[rbp], rax
	jnb	.L78
	mov	rax, QWORD PTR -64[rbp]
	mov	rsi, QWORD PTR 16[rbp]
	mov	rdi, rax
	call	__INSTR_check_pointer
	jmp	.L79
.L78:
	movabs	rax, -9223372036854775808
	cmp	QWORD PTR -16[rbp], rax
	jne	.L79
	movabs	rax, -9223372036854775808
	cmp	QWORD PTR -48[rbp], rax
	jnb	.L79
	lea	rcx, __PRETTY_FUNCTION__.3[rip]
	mov	edx, 343
	lea	rsi, .LC0[rip]
	lea	rdi, .LC5[rip]
	call	__assert_fail@PLT
.L79:
	cmp	QWORD PTR -16[rbp], 0
	jns	.L80
	mov	rax, QWORD PTR -16[rbp]
	neg	rax
	mov	QWORD PTR -8[rbp], rax
	mov	rax, QWORD PTR -8[rbp]
	cmp	QWORD PTR -48[rbp], rax
	jbe	.L81
	mov	rdx, QWORD PTR -16[rbp]
	mov	rax, QWORD PTR 16[rbp]
	add	rax, rdx
	cmp	QWORD PTR -56[rbp], rax
	jnb	.L82
.L81:
	lea	rcx, __PRETTY_FUNCTION__.3[rip]
	mov	edx, 348
	lea	rsi, .LC0[rip]
	lea	rdi, .LC5[rip]
	call	__assert_fail@PLT
.L82:
	mov	rax, QWORD PTR -8[rbp]
	cmp	QWORD PTR -32[rbp], rax
	jbe	.L83
	mov	rdx, QWORD PTR -16[rbp]
	mov	rax, QWORD PTR 16[rbp]
	add	rax, rdx
	cmp	QWORD PTR -40[rbp], rax
	jnb	.L86
.L83:
	mov	rax, QWORD PTR -64[rbp]
	mov	rsi, QWORD PTR 16[rbp]
	mov	rdi, rax
	call	__INSTR_check_pointer
	jmp	.L86
.L80:
	mov	rdx, QWORD PTR -16[rbp]
	mov	rax, QWORD PTR 16[rbp]
	add	rax, rdx
	cmp	QWORD PTR -56[rbp], rax
	jnb	.L85
	lea	rcx, __PRETTY_FUNCTION__.3[rip]
	mov	edx, 355
	lea	rsi, .LC0[rip]
	lea	rdi, .LC5[rip]
	call	__assert_fail@PLT
.L85:
	mov	rdx, QWORD PTR -16[rbp]
	mov	rax, QWORD PTR 16[rbp]
	add	rax, rdx
	cmp	QWORD PTR -40[rbp], rax
	jnb	.L86
	mov	rax, QWORD PTR -64[rbp]
	mov	rsi, QWORD PTR 16[rbp]
	mov	rdi, rax
	call	__INSTR_check_pointer
.L86:
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE24:
	.size	__INSTR_check_bounds_min_max, .-__INSTR_check_bounds_min_max
	.section	.rodata
.LC6:
	.string	"0 && \"memory leak detected\""
	.text
	.globl	__INSTR_check_leaks
	.type	__INSTR_check_leaks, @function
__INSTR_check_leaks:
.LFB25:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 16
	mov	rax, QWORD PTR heap_list[rip]
	mov	QWORD PTR -8[rbp], rax
	cmp	QWORD PTR -8[rbp], 0
	je	.L89
	lea	rcx, __PRETTY_FUNCTION__.2[rip]
	mov	edx, 367
	lea	rsi, .LC0[rip]
	lea	rdi, .LC6[rip]
	call	__assert_fail@PLT
.L89:
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE25:
	.size	__INSTR_check_leaks, .-__INSTR_check_leaks
	.globl	__INSTR_destroy_list
	.type	__INSTR_destroy_list, @function
__INSTR_destroy_list:
.LFB26:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 32
	mov	QWORD PTR -24[rbp], rdi
	mov	rax, QWORD PTR -24[rbp]
	mov	QWORD PTR -16[rbp], rax
	jmp	.L91
.L92:
	mov	rax, QWORD PTR -16[rbp]
	mov	rax, QWORD PTR 24[rax]
	mov	QWORD PTR -8[rbp], rax
	mov	rax, QWORD PTR -16[rbp]
	mov	rdi, rax
	call	free@PLT
	mov	rax, QWORD PTR -8[rbp]
	mov	QWORD PTR -16[rbp], rax
.L91:
	cmp	QWORD PTR -16[rbp], 0
	jne	.L92
	nop
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE26:
	.size	__INSTR_destroy_list, .-__INSTR_destroy_list
	.globl	__INSTR_destroy_lists
	.type	__INSTR_destroy_lists, @function
__INSTR_destroy_lists:
.LFB27:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	rax, QWORD PTR heap_list[rip]
	mov	rdi, rax
	call	__INSTR_destroy_list
	mov	rax, QWORD PTR stack_list[rip]
	mov	rdi, rax
	call	__INSTR_destroy_list
	mov	rax, QWORD PTR deallocated_list[rip]
	mov	rdi, rax
	call	__INSTR_destroy_list
	mov	rax, QWORD PTR globals_list[rip]
	mov	rdi, rax
	call	__INSTR_destroy_list
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE27:
	.size	__INSTR_destroy_lists, .-__INSTR_destroy_lists
	.section	.rodata
	.align 8
.LC7:
	.string	"0 && \"realloc on freed memory\""
	.align 8
.LC8:
	.string	"0 && \"realloc on non-dynamically allocated memory\""
	.text
	.globl	__INSTR_check_realloc
	.type	__INSTR_check_realloc, @function
__INSTR_check_realloc:
.LFB28:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 32
	mov	QWORD PTR -24[rbp], rdi
	cmp	QWORD PTR -24[rbp], 0
	je	.L98
	mov	rax, QWORD PTR deallocated_list[rip]
	mov	rdx, QWORD PTR -24[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	__INSTR_list_search
	mov	QWORD PTR -8[rbp], rax
	cmp	QWORD PTR -8[rbp], 0
	je	.L97
	lea	rcx, __PRETTY_FUNCTION__.1[rip]
	mov	edx, 396
	lea	rsi, .LC0[rip]
	lea	rdi, .LC7[rip]
	call	__assert_fail@PLT
.L97:
	mov	rax, QWORD PTR stack_list[rip]
	mov	rdx, QWORD PTR -24[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	__INSTR_list_search
	mov	QWORD PTR -8[rbp], rax
	cmp	QWORD PTR -8[rbp], 0
	je	.L94
	lea	rcx, __PRETTY_FUNCTION__.1[rip]
	mov	edx, 399
	lea	rsi, .LC0[rip]
	lea	rdi, .LC8[rip]
	call	__assert_fail@PLT
.L98:
	nop
.L94:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE28:
	.size	__INSTR_check_realloc, .-__INSTR_check_realloc
	.globl	__INSTR_realloc
	.type	__INSTR_realloc, @function
__INSTR_realloc:
.LFB29:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 48
	mov	QWORD PTR -24[rbp], rdi
	mov	QWORD PTR -32[rbp], rsi
	mov	QWORD PTR -40[rbp], rdx
	cmp	QWORD PTR -32[rbp], 0
	je	.L103
	cmp	QWORD PTR -24[rbp], 0
	jne	.L102
	mov	rdx, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR -32[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	__INSTR_rec_create_heap
	jmp	.L99
.L102:
	mov	rax, QWORD PTR heap_list[rip]
	mov	rdx, QWORD PTR -24[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	__INSTR_list_search
	mov	QWORD PTR -8[rbp], rax
	cmp	QWORD PTR -8[rbp], 0
	je	.L99
	mov	rdx, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR -32[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	__INSTR_rec_create_heap
	mov	rax, QWORD PTR -8[rbp]
	lea	rsi, heap_list[rip]
	mov	rdi, rax
	call	__INSTR_rec_destroy
	jmp	.L99
.L103:
	nop
.L99:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE29:
	.size	__INSTR_realloc, .-__INSTR_realloc
	.globl	__INSTR_set_flag
	.type	__INSTR_set_flag, @function
__INSTR_set_flag:
.LFB30:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	rax, QWORD PTR stack_list[rip]
	test	rax, rax
	je	.L106
	mov	rax, QWORD PTR stack_list[rip]
	mov	edx, DWORD PTR [rax]
	add	edx, 1
	mov	DWORD PTR [rax], edx
.L106:
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE30:
	.size	__INSTR_set_flag, .-__INSTR_set_flag
	.globl	__INSTR_destroy
	.type	__INSTR_destroy, @function
__INSTR_destroy:
.LFB31:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 32
	mov	QWORD PTR -24[rbp], rdi
	mov	rax, QWORD PTR stack_list[rip]
	mov	rdx, QWORD PTR -24[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	__INSTR_list_search
	mov	QWORD PTR -8[rbp], rax
	cmp	QWORD PTR -8[rbp], 0
	je	.L109
	mov	rax, QWORD PTR -8[rbp]
	lea	rsi, stack_list[rip]
	mov	rdi, rax
	call	__INSTR_rec_destroy
.L109:
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE31:
	.size	__INSTR_destroy, .-__INSTR_destroy
	.globl	__INSTR_destroy_allocas
	.type	__INSTR_destroy_allocas, @function
__INSTR_destroy_allocas:
.LFB32:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 16
	mov	rax, QWORD PTR stack_list[rip]
	mov	QWORD PTR -16[rbp], rax
	jmp	.L111
.L113:
	mov	rax, QWORD PTR -16[rbp]
	mov	rax, QWORD PTR 24[rax]
	mov	QWORD PTR -8[rbp], rax
	mov	rax, QWORD PTR -16[rbp]
	mov	rdi, rax
	call	free@PLT
	mov	rax, QWORD PTR -8[rbp]
	mov	QWORD PTR -16[rbp], rax
.L111:
	cmp	QWORD PTR -16[rbp], 0
	je	.L112
	mov	rax, QWORD PTR -16[rbp]
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	je	.L113
.L112:
	cmp	QWORD PTR -16[rbp], 0
	je	.L114
	mov	rax, QWORD PTR -16[rbp]
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	jle	.L114
	mov	rax, QWORD PTR -16[rbp]
	mov	eax, DWORD PTR [rax]
	lea	edx, -1[rax]
	mov	rax, QWORD PTR -16[rbp]
	mov	DWORD PTR [rax], edx
.L114:
	mov	rax, QWORD PTR -16[rbp]
	mov	QWORD PTR stack_list[rip], rax
	cmp	QWORD PTR -16[rbp], 0
	je	.L116
	mov	rax, QWORD PTR -16[rbp]
	mov	QWORD PTR 32[rax], 0
.L116:
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE32:
	.size	__INSTR_destroy_allocas, .-__INSTR_destroy_allocas
	.section	.rodata
	.align 8
.LC9:
	.string	"0 && \"invalid dereference (null or freed)\""
	.text
	.globl	__INSTR_fail
	.type	__INSTR_fail, @function
__INSTR_fail:
.LFB33:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	lea	rcx, __PRETTY_FUNCTION__.0[rip]
	mov	edx, 453
	lea	rsi, .LC0[rip]
	lea	rdi, .LC9[rip]
	call	__assert_fail@PLT
	.cfi_endproc
.LFE33:
	.size	__INSTR_fail, .-__INSTR_fail
	.section	.rodata
	.align 8
	.type	__PRETTY_FUNCTION__.10, @object
	.size	__PRETTY_FUNCTION__.10, 13
__PRETTY_FUNCTION__.10:
	.string	"__INSTR_free"
	.align 16
	.type	__PRETTY_FUNCTION__.9, @object
	.size	__PRETTY_FUNCTION__.9, 21
__PRETTY_FUNCTION__.9:
	.string	"__INSTR_check_bounds"
	.align 8
	.type	__PRETTY_FUNCTION__.8, @object
	.size	__PRETTY_FUNCTION__.8, 14
__PRETTY_FUNCTION__.8:
	.string	"__INSTR_check"
	.align 16
	.type	__PRETTY_FUNCTION__.7, @object
	.size	__PRETTY_FUNCTION__.7, 20
__PRETTY_FUNCTION__.7:
	.string	"__INSTR_check_stack"
	.align 16
	.type	__PRETTY_FUNCTION__.6, @object
	.size	__PRETTY_FUNCTION__.6, 22
__PRETTY_FUNCTION__.6:
	.string	"__INSTR_check_globals"
	.align 16
	.type	__PRETTY_FUNCTION__.5, @object
	.size	__PRETTY_FUNCTION__.5, 19
__PRETTY_FUNCTION__.5:
	.string	"__INSTR_check_heap"
	.align 16
	.type	__PRETTY_FUNCTION__.4, @object
	.size	__PRETTY_FUNCTION__.4, 22
__PRETTY_FUNCTION__.4:
	.string	"__INSTR_check_pointer"
	.align 16
	.type	__PRETTY_FUNCTION__.3, @object
	.size	__PRETTY_FUNCTION__.3, 29
__PRETTY_FUNCTION__.3:
	.string	"__INSTR_check_bounds_min_max"
	.align 16
	.type	__PRETTY_FUNCTION__.2, @object
	.size	__PRETTY_FUNCTION__.2, 20
__PRETTY_FUNCTION__.2:
	.string	"__INSTR_check_leaks"
	.align 16
	.type	__PRETTY_FUNCTION__.1, @object
	.size	__PRETTY_FUNCTION__.1, 22
__PRETTY_FUNCTION__.1:
	.string	"__INSTR_check_realloc"
	.align 8
	.type	__PRETTY_FUNCTION__.0, @object
	.size	__PRETTY_FUNCTION__.0, 13
__PRETTY_FUNCTION__.0:
	.string	"__INSTR_fail"
	.ident	"GCC: (Ubuntu 10.5.0-1ubuntu1~20.04) 10.5.0"
	.section	.note.GNU-stack,"",@progbits
	.section	.note.gnu.property,"a"
	.align 8
	.long	 1f - 0f
	.long	 4f - 1f
	.long	 5
0:
	.string	 "GNU"
1:
	.align 8
	.long	 0xc0000002
	.long	 3f - 2f
2:
	.long	 0x3
3:
	.align 8
4:

	.arch armv5t
	.eabi_attribute 20, 1
	.eabi_attribute 21, 1
	.eabi_attribute 23, 3
	.eabi_attribute 24, 1
	.eabi_attribute 25, 1
	.eabi_attribute 26, 2
	.eabi_attribute 30, 6
	.eabi_attribute 34, 0
	.eabi_attribute 18, 4
	.file	"882506.c"
	.text
	.global	INT_64_MIN
	.section	.rodata
	.align	3
	.type	INT_64_MIN, %object
	.size	INT_64_MIN, 8
INT_64_MIN:
	.word	0
	.word	-2147483648
	.global	INT_64_MIN_OFF
	.align	3
	.type	INT_64_MIN_OFF, %object
	.size	INT_64_MIN_OFF, 8
INT_64_MIN_OFF:
	.word	0
	.word	-2147483648
	.global	heap_list
	.bss
	.align	2
	.type	heap_list, %object
	.size	heap_list, 4
heap_list:
	.space	4
	.global	stack_list
	.align	2
	.type	stack_list, %object
	.size	stack_list, 4
stack_list:
	.space	4
	.global	deallocated_list
	.align	2
	.type	deallocated_list, %object
	.size	deallocated_list, 4
deallocated_list:
	.space	4
	.global	globals_list
	.align	2
	.type	globals_list, %object
	.size	globals_list, 4
globals_list:
	.space	4
	.text
	.align	2
	.syntax unified
	.arm
	.fpu softvfp
	.type	__INSTR_list_prepend, %function
__INSTR_list_prepend:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	@ link register save eliminated.
	str	fp, [sp, #-4]!
	add	fp, sp, #0
	sub	sp, sp, #12
	str	r0, [fp, #-8]
	str	r1, [fp, #-12]
	ldr	r3, [fp, #-12]
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L2
	ldr	r3, [fp, #-12]
	ldr	r3, [r3]
	ldr	r2, [fp, #-8]
	str	r2, [r3, #28]
.L2:
	ldr	r3, [fp, #-12]
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	str	r2, [r3, #24]
	ldr	r3, [fp, #-8]
	mov	r2, #0
	str	r2, [r3, #28]
	ldr	r3, [fp, #-12]
	ldr	r2, [fp, #-8]
	str	r2, [r3]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
	.size	__INSTR_list_prepend, .-__INSTR_list_prepend
	.align	2
	.syntax unified
	.arm
	.fpu softvfp
	.type	__INSTR_globals_list_prepend, %function
__INSTR_globals_list_prepend:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	str	r0, [fp, #-8]
	ldr	r1, .L4
	ldr	r0, [fp, #-8]
	bl	__INSTR_list_prepend
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L5:
	.align	2
.L4:
	.word	globals_list
	.size	__INSTR_globals_list_prepend, .-__INSTR_globals_list_prepend
	.align	2
	.syntax unified
	.arm
	.fpu softvfp
	.type	__INSTR_heap_list_prepend, %function
__INSTR_heap_list_prepend:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	str	r0, [fp, #-8]
	ldr	r1, .L7
	ldr	r0, [fp, #-8]
	bl	__INSTR_list_prepend
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L8:
	.align	2
.L7:
	.word	heap_list
	.size	__INSTR_heap_list_prepend, .-__INSTR_heap_list_prepend
	.align	2
	.syntax unified
	.arm
	.fpu softvfp
	.type	__INSTR_stack_list_prepend, %function
__INSTR_stack_list_prepend:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	str	r0, [fp, #-8]
	ldr	r1, .L10
	ldr	r0, [fp, #-8]
	bl	__INSTR_list_prepend
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L11:
	.align	2
.L10:
	.word	stack_list
	.size	__INSTR_stack_list_prepend, .-__INSTR_stack_list_prepend
	.align	2
	.syntax unified
	.arm
	.fpu softvfp
	.type	__INSTR_deallocated_list_prepend, %function
__INSTR_deallocated_list_prepend:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	str	r0, [fp, #-8]
	ldr	r1, .L13
	ldr	r0, [fp, #-8]
	bl	__INSTR_list_prepend
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L14:
	.align	2
.L13:
	.word	deallocated_list
	.size	__INSTR_deallocated_list_prepend, .-__INSTR_deallocated_list_prepend
	.align	2
	.global	__INSTR_node_create
	.syntax unified
	.arm
	.fpu softvfp
	.type	__INSTR_node_create, %function
__INSTR_node_create:
	@ args = 0, pretend = 0, frame = 24
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #24
	str	r0, [fp, #-16]
	str	r2, [fp, #-28]
	str	r3, [fp, #-24]
	mov	r0, #32
	bl	malloc
	mov	r3, r0
	str	r3, [fp, #-8]
	ldr	r3, [fp, #-8]
	mov	r2, #0
	str	r2, [r3, #24]
	ldr	r3, [fp, #-8]
	mov	r2, #0
	str	r2, [r3, #28]
	ldr	r3, [fp, #-8]
	mov	r2, #0
	str	r2, [r3]
	ldr	r3, [fp, #-8]
	ldr	r2, [fp, #-16]
	str	r2, [r3, #8]
	ldr	r1, [fp, #-8]
	sub	r3, fp, #28
	ldmia	r3, {r2-r3}
	str	r2, [r1, #16]
	str	r3, [r1, #20]
	ldr	r3, [fp, #-8]
	mov	r0, r3
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	__INSTR_node_create, .-__INSTR_node_create
	.align	2
	.global	__INSTR_rec_create_stack
	.syntax unified
	.arm
	.fpu softvfp
	.type	__INSTR_rec_create_stack, %function
__INSTR_rec_create_stack:
	@ args = 0, pretend = 0, frame = 24
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #24
	str	r0, [fp, #-16]
	str	r2, [fp, #-28]
	str	r3, [fp, #-24]
	sub	r3, fp, #28
	ldmia	r3, {r2-r3}
	ldr	r0, [fp, #-16]
	bl	__INSTR_node_create
	str	r0, [fp, #-8]
	ldr	r0, [fp, #-8]
	bl	__INSTR_stack_list_prepend
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	__INSTR_rec_create_stack, .-__INSTR_rec_create_stack
	.align	2
	.global	__INSTR_rec_create_heap
	.syntax unified
	.arm
	.fpu softvfp
	.type	__INSTR_rec_create_heap, %function
__INSTR_rec_create_heap:
	@ args = 0, pretend = 0, frame = 24
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #24
	str	r0, [fp, #-16]
	str	r2, [fp, #-28]
	str	r3, [fp, #-24]
	sub	r3, fp, #28
	ldmia	r3, {r2-r3}
	ldr	r0, [fp, #-16]
	bl	__INSTR_node_create
	str	r0, [fp, #-8]
	ldr	r0, [fp, #-8]
	bl	__INSTR_heap_list_prepend
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	__INSTR_rec_create_heap, .-__INSTR_rec_create_heap
	.align	2
	.global	__INSTR_rec_create_deallocated
	.syntax unified
	.arm
	.fpu softvfp
	.type	__INSTR_rec_create_deallocated, %function
__INSTR_rec_create_deallocated:
	@ args = 0, pretend = 0, frame = 24
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #24
	str	r0, [fp, #-16]
	str	r2, [fp, #-28]
	str	r3, [fp, #-24]
	sub	r3, fp, #28
	ldmia	r3, {r2-r3}
	ldr	r0, [fp, #-16]
	bl	__INSTR_node_create
	str	r0, [fp, #-8]
	ldr	r0, [fp, #-8]
	bl	__INSTR_deallocated_list_prepend
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	__INSTR_rec_create_deallocated, .-__INSTR_rec_create_deallocated
	.align	2
	.global	__INSTR_rec_create_global
	.syntax unified
	.arm
	.fpu softvfp
	.type	__INSTR_rec_create_global, %function
__INSTR_rec_create_global:
	@ args = 0, pretend = 0, frame = 24
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #24
	str	r0, [fp, #-16]
	str	r2, [fp, #-28]
	str	r3, [fp, #-24]
	sub	r3, fp, #28
	ldmia	r3, {r2-r3}
	ldr	r0, [fp, #-16]
	bl	__INSTR_node_create
	str	r0, [fp, #-8]
	ldr	r0, [fp, #-8]
	bl	__INSTR_globals_list_prepend
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	__INSTR_rec_create_global, .-__INSTR_rec_create_global
	.align	2
	.global	__INSTR_list_search
	.syntax unified
	.arm
	.fpu softvfp
	.type	__INSTR_list_search, %function
__INSTR_list_search:
	@ args = 0, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	@ link register save eliminated.
	str	fp, [sp, #-4]!
	add	fp, sp, #0
	sub	sp, sp, #20
	str	r0, [fp, #-16]
	str	r1, [fp, #-20]
	ldr	r3, [fp, #-16]
	str	r3, [fp, #-8]
	b	.L22
.L26:
	ldr	r3, [fp, #-8]
	ldr	r3, [r3, #8]
	ldr	r2, [fp, #-20]
	cmp	r2, r3
	bcc	.L23
	ldr	r3, [fp, #-8]
	ldr	r3, [r3, #8]
	ldr	r2, [fp, #-20]
	cmp	r2, r3
	beq	.L24
	ldr	r3, [fp, #-8]
	ldr	r3, [r3, #8]
	ldr	r2, [fp, #-20]
	sub	r3, r2, r3
	mov	r0, r3
	asr	r1, r0, #31
	ldr	r3, [fp, #-8]
	add	r3, r3, #16
	ldmia	r3, {r2-r3}
	cmp	r1, r3
	cmpeq	r0, r2
	bcs	.L23
.L24:
	ldr	r3, [fp, #-8]
	b	.L25
.L23:
	ldr	r3, [fp, #-8]
	ldr	r3, [r3, #24]
	str	r3, [fp, #-8]
.L22:
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	bne	.L26
	mov	r3, #0
.L25:
	mov	r0, r3
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
	.size	__INSTR_list_search, .-__INSTR_list_search
	.align	2
	.global	__INSTR_detach_node
	.syntax unified
	.arm
	.fpu softvfp
	.type	__INSTR_detach_node, %function
__INSTR_detach_node:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	@ link register save eliminated.
	str	fp, [sp, #-4]!
	add	fp, sp, #0
	sub	sp, sp, #12
	str	r0, [fp, #-8]
	str	r1, [fp, #-12]
	ldr	r3, [fp, #-8]
	ldr	r3, [r3, #28]
	cmp	r3, #0
	beq	.L28
	ldr	r3, [fp, #-8]
	ldr	r3, [r3, #28]
	ldr	r2, [fp, #-8]
	ldr	r2, [r2, #24]
	str	r2, [r3, #24]
	b	.L29
.L28:
	ldr	r3, [fp, #-8]
	ldr	r2, [r3, #24]
	ldr	r3, [fp, #-12]
	str	r2, [r3]
.L29:
	ldr	r3, [fp, #-8]
	ldr	r3, [r3, #24]
	cmp	r3, #0
	beq	.L30
	ldr	r3, [fp, #-8]
	ldr	r3, [r3, #24]
	ldr	r2, [fp, #-8]
	ldr	r2, [r2, #28]
	str	r2, [r3, #28]
.L30:
	ldr	r3, [fp, #-8]
	mov	r2, #0
	str	r2, [r3, #24]
	ldr	r3, [fp, #-8]
	mov	r2, #0
	str	r2, [r3, #28]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
	.size	__INSTR_detach_node, .-__INSTR_detach_node
	.align	2
	.global	__INSTR_rec_destroy
	.syntax unified
	.arm
	.fpu softvfp
	.type	__INSTR_rec_destroy, %function
__INSTR_rec_destroy:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	str	r0, [fp, #-8]
	str	r1, [fp, #-12]
	ldr	r1, [fp, #-12]
	ldr	r0, [fp, #-8]
	bl	__INSTR_detach_node
	ldr	r0, [fp, #-8]
	bl	free
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	__INSTR_rec_destroy, .-__INSTR_rec_destroy
	.section	.rodata
	.align	2
.LC0:
	.ascii	"the_stack_data/882506.c\000"
	.align	2
.LC1:
	.ascii	"0 && \"free on non-allocated memory\"\000"
	.align	2
.LC2:
	.ascii	"0 && \"double free\"\000"
	.text
	.align	2
	.global	__INSTR_free
	.syntax unified
	.arm
	.fpu softvfp
	.type	__INSTR_free, %function
__INSTR_free:
	@ args = 0, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #16
	str	r0, [fp, #-16]
	ldr	r3, [fp, #-16]
	cmp	r3, #0
	beq	.L37
	ldr	r3, .L38
	ldr	r3, [r3]
	ldr	r1, [fp, #-16]
	mov	r0, r3
	bl	__INSTR_list_search
	str	r0, [fp, #-8]
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	beq	.L35
	ldr	r3, [fp, #-8]
	ldr	r3, [r3, #8]
	ldr	r2, [fp, #-16]
	cmp	r2, r3
	bne	.L35
	ldr	r1, .L38
	ldr	r0, [fp, #-8]
	bl	__INSTR_detach_node
	ldr	r0, [fp, #-8]
	bl	__INSTR_deallocated_list_prepend
	b	.L32
.L35:
	ldr	r3, .L38+4
	ldr	r3, [r3]
	ldr	r1, [fp, #-16]
	mov	r0, r3
	bl	__INSTR_list_search
	str	r0, [fp, #-8]
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	bne	.L36
	ldr	r3, .L38+8
	mov	r2, #167
	ldr	r1, .L38+12
	ldr	r0, .L38+16
	bl	__assert_fail
.L36:
	ldr	r3, .L38+8
	mov	r2, #170
	ldr	r1, .L38+12
	ldr	r0, .L38+20
	bl	__assert_fail
.L37:
	nop
.L32:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L39:
	.align	2
.L38:
	.word	heap_list
	.word	deallocated_list
	.word	__PRETTY_FUNCTION__.4386
	.word	.LC0
	.word	.LC1
	.word	.LC2
	.size	__INSTR_free, .-__INSTR_free
	.align	2
	.global	__INSTR_remember_global
	.syntax unified
	.arm
	.fpu softvfp
	.type	__INSTR_remember_global, %function
__INSTR_remember_global:
	@ args = 0, pretend = 0, frame = 24
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #24
	str	r0, [fp, #-16]
	str	r2, [fp, #-28]
	str	r3, [fp, #-24]
	ldr	r3, .L44
	ldr	r3, [r3]
	ldr	r1, [fp, #-16]
	mov	r0, r3
	bl	__INSTR_list_search
	str	r0, [fp, #-8]
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	beq	.L41
	ldr	r1, [fp, #-8]
	sub	r3, fp, #28
	ldmia	r3, {r2-r3}
	str	r2, [r1, #16]
	str	r3, [r1, #20]
	b	.L40
.L41:
	ldr	r3, .L44+4
	ldr	r3, [r3]
	ldr	r1, [fp, #-16]
	mov	r0, r3
	bl	__INSTR_list_search
	str	r0, [fp, #-8]
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	beq	.L43
	ldr	r1, .L44+4
	ldr	r0, [fp, #-8]
	bl	__INSTR_detach_node
	ldr	r0, [fp, #-8]
	bl	__INSTR_globals_list_prepend
	b	.L40
.L43:
	sub	r3, fp, #28
	ldmia	r3, {r2-r3}
	ldr	r0, [fp, #-16]
	bl	__INSTR_rec_create_global
.L40:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L45:
	.align	2
.L44:
	.word	globals_list
	.word	deallocated_list
	.size	__INSTR_remember_global, .-__INSTR_remember_global
	.align	2
	.global	__INSTR_remember
	.syntax unified
	.arm
	.fpu softvfp
	.type	__INSTR_remember, %function
__INSTR_remember:
	@ args = 4, pretend = 0, frame = 24
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #24
	str	r0, [fp, #-16]
	str	r2, [fp, #-28]
	str	r3, [fp, #-24]
	ldr	r3, .L50
	ldr	r3, [r3]
	ldr	r1, [fp, #-16]
	mov	r0, r3
	bl	__INSTR_list_search
	str	r0, [fp, #-8]
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	beq	.L47
	ldr	r3, [fp, #4]
	mov	r2, r3
	asr	r3, r2, #31
	ldr	r1, [fp, #-28]
	mul	r0, r3, r1
	ldr	r1, [fp, #-24]
	mul	r1, r2, r1
	add	ip, r0, r1
	ldr	lr, [fp, #-28]
	umull	r0, r1, lr, r2
	add	r3, ip, r1
	mov	r1, r3
	ldr	r3, [fp, #-8]
	str	r0, [r3, #16]
	str	r1, [r3, #20]
	b	.L46
.L47:
	ldr	r3, .L50+4
	ldr	r3, [r3]
	ldr	r1, [fp, #-16]
	mov	r0, r3
	bl	__INSTR_list_search
	str	r0, [fp, #-8]
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	beq	.L49
	ldr	r1, .L50+4
	ldr	r0, [fp, #-8]
	bl	__INSTR_detach_node
	ldr	r0, [fp, #-8]
	bl	__INSTR_stack_list_prepend
	b	.L46
.L49:
	ldr	r3, [fp, #4]
	mov	r2, r3
	asr	r3, r2, #31
	ldr	r1, [fp, #-28]
	mul	r0, r3, r1
	ldr	r1, [fp, #-24]
	mul	r1, r2, r1
	add	ip, r0, r1
	ldr	lr, [fp, #-28]
	umull	r0, r1, lr, r2
	add	r3, ip, r1
	mov	r1, r3
	mov	r2, r0
	mov	r3, r1
	ldr	r0, [fp, #-16]
	bl	__INSTR_rec_create_stack
.L46:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L51:
	.align	2
.L50:
	.word	stack_list
	.word	deallocated_list
	.size	__INSTR_remember, .-__INSTR_remember
	.align	2
	.global	__INSTR_remember_malloc_calloc
	.syntax unified
	.arm
	.fpu softvfp
	.type	__INSTR_remember_malloc_calloc, %function
__INSTR_remember_malloc_calloc:
	@ args = 0, pretend = 0, frame = 24
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #24
	str	r0, [fp, #-16]
	str	r1, [fp, #-20]
	str	r2, [fp, #-24]
	ldr	r3, [fp, #-16]
	cmp	r3, #0
	beq	.L56
	ldr	r3, .L57
	ldr	r3, [r3]
	ldr	r1, [fp, #-16]
	mov	r0, r3
	bl	__INSTR_list_search
	str	r0, [fp, #-8]
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	bne	.L52
	ldr	r3, .L57+4
	ldr	r3, [r3]
	ldr	r1, [fp, #-16]
	mov	r0, r3
	bl	__INSTR_list_search
	str	r0, [fp, #-8]
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	beq	.L55
	ldr	r1, .L57+4
	ldr	r0, [fp, #-8]
	bl	__INSTR_detach_node
	ldr	r0, [fp, #-8]
	bl	__INSTR_heap_list_prepend
	b	.L52
.L55:
	ldr	r3, [fp, #-24]
	ldr	r2, [fp, #-20]
	mul	r3, r2, r3
	mov	r2, r3
	mov	r3, #0
	ldr	r0, [fp, #-16]
	bl	__INSTR_rec_create_heap
	b	.L52
.L56:
	nop
.L52:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L58:
	.align	2
.L57:
	.word	heap_list
	.word	deallocated_list
	.size	__INSTR_remember_malloc_calloc, .-__INSTR_remember_malloc_calloc
	.section	.rodata
	.align	2
.LC3:
	.ascii	"0 && \"dereference out of range\"\000"
	.text
	.align	2
	.global	__INSTR_check_bounds
	.syntax unified
	.arm
	.fpu softvfp
	.type	__INSTR_check_bounds, %function
__INSTR_check_bounds:
	@ args = 24, pretend = 0, frame = 24
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, r5, r6, r7, fp, lr}
	add	fp, sp, #20
	sub	sp, sp, #24
	str	r0, [fp, #-32]
	str	r2, [fp, #-44]
	str	r3, [fp, #-40]
	ldr	r2, [fp, #12]
	ldr	r3, [fp, #-32]
	sub	r3, r2, r3
	mov	r0, r3
	asr	r1, r0, #31
	sub	r3, fp, #44
	ldmia	r3, {r2-r3}
	adds	r6, r0, r2
	adc	r7, r1, r3
	str	r6, [fp, #-28]
	str	r7, [fp, #-24]
	sub	r3, fp, #28
	ldmia	r3, {r2-r3}
	cmp	r2, #0
	sbcs	r3, r3, #0
	blt	.L60
	sub	r1, fp, #28
	ldmia	r1, {r0-r1}
	add	r3, fp, #20
	ldmia	r3, {r2-r3}
	adds	r4, r0, r2
	adc	r5, r1, r3
	ldmib	fp, {r2-r3}
	cmp	r3, r5
	cmpeq	r2, r4
	bcs	.L62
.L60:
	ldr	r3, .L63
	mov	r2, #243
	ldr	r1, .L63+4
	ldr	r0, .L63+8
	bl	__assert_fail
.L62:
	nop
	sub	sp, fp, #20
	@ sp needed
	pop	{r4, r5, r6, r7, fp, pc}
.L64:
	.align	2
.L63:
	.word	__PRETTY_FUNCTION__.4412
	.word	.LC0
	.word	.LC3
	.size	__INSTR_check_bounds, .-__INSTR_check_bounds
	.align	2
	.global	__INSTR_check
	.syntax unified
	.arm
	.fpu softvfp
	.type	__INSTR_check, %function
__INSTR_check:
	@ args = 16, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, r5, r6, r7, fp, lr}
	add	fp, sp, #20
	sub	sp, sp, #16
	str	r0, [fp, #-24]
	str	r2, [fp, #-36]
	str	r3, [fp, #-32]
	add	r3, fp, #12
	ldmia	r3, {r2-r3}
	sub	r1, fp, #36
	ldmia	r1, {r0-r1}
	cmp	r1, r3
	cmpeq	r0, r2
	bhi	.L66
	ldr	r3, [fp, #4]
	ldr	r2, [fp, #-24]
	sub	r3, r2, r3
	mov	r6, r3
	asr	r7, r6, #31
	add	r1, fp, #12
	ldmia	r1, {r0-r1}
	sub	r3, fp, #36
	ldmia	r3, {r2-r3}
	subs	r4, r0, r2
	sbc	r5, r1, r3
	cmp	r7, r5
	cmpeq	r6, r4
	bls	.L68
.L66:
	ldr	r3, .L69
	mov	r2, #254
	ldr	r1, .L69+4
	ldr	r0, .L69+8
	bl	__assert_fail
.L68:
	nop
	sub	sp, fp, #20
	@ sp needed
	pop	{r4, r5, r6, r7, fp, pc}
.L70:
	.align	2
.L69:
	.word	__PRETTY_FUNCTION__.4418
	.word	.LC0
	.word	.LC3
	.size	__INSTR_check, .-__INSTR_check
	.section	.rodata
	.align	2
.LC4:
	.ascii	"0 && \"dereference on freed memory\"\000"
	.align	2
.LC5:
	.ascii	"0 && \"invalid pointer dereference\"\000"
	.text
	.align	2
	.global	__INSTR_check_stack
	.syntax unified
	.arm
	.fpu softvfp
	.type	__INSTR_check_stack, %function
__INSTR_check_stack:
	@ args = 0, pretend = 0, frame = 24
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #40
	str	r0, [fp, #-16]
	str	r2, [fp, #-28]
	str	r3, [fp, #-24]
	mov	r3, #0
	str	r3, [fp, #-8]
	ldr	r3, .L76
	ldr	r3, [r3]
	ldr	r1, [fp, #-16]
	mov	r0, r3
	bl	__INSTR_list_search
	str	r0, [fp, #-8]
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	beq	.L72
	ldr	r3, [fp, #-8]
	mov	ip, sp
	add	r3, r3, #8
	ldm	r3, {r0, r1, r2, r3}
	stm	ip, {r0, r1, r2, r3}
	sub	r3, fp, #28
	ldmia	r3, {r2-r3}
	ldr	r0, [fp, #-16]
	bl	__INSTR_check
	b	.L75
.L72:
	ldr	r3, .L76+4
	ldr	r3, [r3]
	ldr	r1, [fp, #-16]
	mov	r0, r3
	bl	__INSTR_list_search
	str	r0, [fp, #-8]
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	beq	.L74
	ldr	r3, .L76+8
	ldr	r2, .L76+12
	ldr	r1, .L76+16
	ldr	r0, .L76+20
	bl	__assert_fail
.L74:
	ldr	r3, .L76+8
	mov	r2, #268
	ldr	r1, .L76+16
	ldr	r0, .L76+24
	bl	__assert_fail
.L75:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L77:
	.align	2
.L76:
	.word	stack_list
	.word	deallocated_list
	.word	__PRETTY_FUNCTION__.4424
	.word	265
	.word	.LC0
	.word	.LC4
	.word	.LC5
	.size	__INSTR_check_stack, .-__INSTR_check_stack
	.align	2
	.global	__INSTR_check_globals
	.syntax unified
	.arm
	.fpu softvfp
	.type	__INSTR_check_globals, %function
__INSTR_check_globals:
	@ args = 0, pretend = 0, frame = 24
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #40
	str	r0, [fp, #-16]
	str	r2, [fp, #-28]
	str	r3, [fp, #-24]
	mov	r3, #0
	str	r3, [fp, #-8]
	ldr	r3, .L83
	ldr	r3, [r3]
	ldr	r1, [fp, #-16]
	mov	r0, r3
	bl	__INSTR_list_search
	str	r0, [fp, #-8]
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	beq	.L79
	ldr	r3, [fp, #-8]
	mov	ip, sp
	add	r3, r3, #8
	ldm	r3, {r0, r1, r2, r3}
	stm	ip, {r0, r1, r2, r3}
	sub	r3, fp, #28
	ldmia	r3, {r2-r3}
	ldr	r0, [fp, #-16]
	bl	__INSTR_check
	b	.L82
.L79:
	ldr	r3, .L83+4
	ldr	r3, [r3]
	ldr	r1, [fp, #-16]
	mov	r0, r3
	bl	__INSTR_list_search
	str	r0, [fp, #-8]
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	beq	.L81
	ldr	r3, .L83+8
	ldr	r2, .L83+12
	ldr	r1, .L83+16
	ldr	r0, .L83+20
	bl	__assert_fail
.L81:
	ldr	r3, .L83+8
	ldr	r2, .L83+24
	ldr	r1, .L83+16
	ldr	r0, .L83+28
	bl	__assert_fail
.L82:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L84:
	.align	2
.L83:
	.word	globals_list
	.word	deallocated_list
	.word	__PRETTY_FUNCTION__.4430
	.word	279
	.word	.LC0
	.word	.LC4
	.word	282
	.word	.LC5
	.size	__INSTR_check_globals, .-__INSTR_check_globals
	.align	2
	.global	__INSTR_check_heap
	.syntax unified
	.arm
	.fpu softvfp
	.type	__INSTR_check_heap, %function
__INSTR_check_heap:
	@ args = 0, pretend = 0, frame = 24
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #40
	str	r0, [fp, #-16]
	str	r2, [fp, #-28]
	str	r3, [fp, #-24]
	mov	r3, #0
	str	r3, [fp, #-8]
	ldr	r3, .L90
	ldr	r3, [r3]
	ldr	r1, [fp, #-16]
	mov	r0, r3
	bl	__INSTR_list_search
	str	r0, [fp, #-8]
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	beq	.L86
	ldr	r3, [fp, #-8]
	mov	ip, sp
	add	r3, r3, #8
	ldm	r3, {r0, r1, r2, r3}
	stm	ip, {r0, r1, r2, r3}
	sub	r3, fp, #28
	ldmia	r3, {r2-r3}
	ldr	r0, [fp, #-16]
	bl	__INSTR_check
	b	.L89
.L86:
	ldr	r3, .L90+4
	ldr	r3, [r3]
	ldr	r1, [fp, #-16]
	mov	r0, r3
	bl	__INSTR_list_search
	str	r0, [fp, #-8]
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	beq	.L88
	ldr	r3, .L90+8
	ldr	r2, .L90+12
	ldr	r1, .L90+16
	ldr	r0, .L90+20
	bl	__assert_fail
.L88:
	ldr	r3, .L90+8
	mov	r2, #296
	ldr	r1, .L90+16
	ldr	r0, .L90+24
	bl	__assert_fail
.L89:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L91:
	.align	2
.L90:
	.word	heap_list
	.word	deallocated_list
	.word	__PRETTY_FUNCTION__.4436
	.word	293
	.word	.LC0
	.word	.LC4
	.word	.LC5
	.size	__INSTR_check_heap, .-__INSTR_check_heap
	.align	2
	.global	__INSTR_check_pointer
	.syntax unified
	.arm
	.fpu softvfp
	.type	__INSTR_check_pointer, %function
__INSTR_check_pointer:
	@ args = 0, pretend = 0, frame = 24
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #40
	str	r0, [fp, #-16]
	str	r2, [fp, #-28]
	str	r3, [fp, #-24]
	mov	r3, #0
	str	r3, [fp, #-8]
	ldr	r3, .L98
	ldr	r3, [r3]
	ldr	r1, [fp, #-16]
	mov	r0, r3
	bl	__INSTR_list_search
	str	r0, [fp, #-8]
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	beq	.L93
	ldr	r3, [fp, #-8]
	mov	ip, sp
	add	r3, r3, #8
	ldm	r3, {r0, r1, r2, r3}
	stm	ip, {r0, r1, r2, r3}
	sub	r3, fp, #28
	ldmia	r3, {r2-r3}
	ldr	r0, [fp, #-16]
	bl	__INSTR_check
	b	.L92
.L93:
	ldr	r3, .L98+4
	ldr	r3, [r3]
	ldr	r1, [fp, #-16]
	mov	r0, r3
	bl	__INSTR_list_search
	str	r0, [fp, #-8]
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	beq	.L95
	ldr	r3, [fp, #-8]
	mov	ip, sp
	add	r3, r3, #8
	ldm	r3, {r0, r1, r2, r3}
	stm	ip, {r0, r1, r2, r3}
	sub	r3, fp, #28
	ldmia	r3, {r2-r3}
	ldr	r0, [fp, #-16]
	bl	__INSTR_check
	b	.L92
.L95:
	ldr	r3, .L98+8
	ldr	r3, [r3]
	ldr	r1, [fp, #-16]
	mov	r0, r3
	bl	__INSTR_list_search
	str	r0, [fp, #-8]
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	beq	.L96
	ldr	r3, [fp, #-8]
	mov	ip, sp
	add	r3, r3, #8
	ldm	r3, {r0, r1, r2, r3}
	stm	ip, {r0, r1, r2, r3}
	sub	r3, fp, #28
	ldmia	r3, {r2-r3}
	ldr	r0, [fp, #-16]
	bl	__INSTR_check
	b	.L92
.L96:
	ldr	r3, .L98+12
	ldr	r3, [r3]
	ldr	r1, [fp, #-16]
	mov	r0, r3
	bl	__INSTR_list_search
	str	r0, [fp, #-8]
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	beq	.L97
	ldr	r3, .L98+16
	ldr	r2, .L98+20
	ldr	r1, .L98+24
	ldr	r0, .L98+28
	bl	__assert_fail
.L97:
	ldr	r3, .L98+16
	mov	r2, #320
	ldr	r1, .L98+24
	ldr	r0, .L98+32
	bl	__assert_fail
.L92:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L99:
	.align	2
.L98:
	.word	heap_list
	.word	stack_list
	.word	globals_list
	.word	deallocated_list
	.word	__PRETTY_FUNCTION__.4442
	.word	314
	.word	.LC0
	.word	.LC4
	.word	.LC5
	.size	__INSTR_check_pointer, .-__INSTR_check_pointer
	.align	2
	.global	__INSTR_check_bounds_min
	.syntax unified
	.arm
	.fpu softvfp
	.type	__INSTR_check_bounds_min, %function
__INSTR_check_bounds_min:
	@ args = 24, pretend = 0, frame = 24
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, r5, fp, lr}
	add	fp, sp, #12
	sub	sp, sp, #24
	str	r0, [fp, #-24]
	str	r2, [fp, #-36]
	str	r3, [fp, #-32]
	ldr	r2, [fp, #12]
	ldr	r3, [fp, #-24]
	sub	r3, r2, r3
	mov	r2, r3
	asr	r3, r2, #31
	str	r2, [fp, #-20]
	str	r3, [fp, #-16]
	mov	r0, #0
	mov	r1, #-2147483648
	sub	r3, fp, #20
	ldmia	r3, {r2-r3}
	cmp	r3, r1
	cmpeq	r2, r0
	bne	.L101
	mov	r0, #0
	mov	r1, #-2147483648
	sub	r3, fp, #36
	ldmia	r3, {r2-r3}
	cmp	r3, r1
	cmpeq	r2, r0
	bcs	.L101
	add	r3, fp, #20
	ldmia	r3, {r2-r3}
	ldr	r0, [fp, #12]
	bl	__INSTR_check_pointer
	b	.L104
.L101:
	sub	r3, fp, #20
	ldmia	r3, {r2-r3}
	rsbs	r2, r2, #0
	rsc	r3, r3, #0
	mov	r0, r2
	mov	r1, r3
	sub	r3, fp, #36
	ldmia	r3, {r2-r3}
	cmp	r3, r1
	cmpeq	r2, r0
	bls	.L103
	sub	r1, fp, #20
	ldmia	r1, {r0-r1}
	add	r3, fp, #20
	ldmia	r3, {r2-r3}
	adds	r4, r0, r2
	adc	r5, r1, r3
	ldmib	fp, {r2-r3}
	cmp	r3, r5
	cmpeq	r2, r4
	bcs	.L104
.L103:
	add	r3, fp, #20
	ldmia	r3, {r2-r3}
	ldr	r0, [fp, #12]
	bl	__INSTR_check_pointer
.L104:
	nop
	sub	sp, fp, #12
	@ sp needed
	pop	{r4, r5, fp, pc}
	.size	__INSTR_check_bounds_min, .-__INSTR_check_bounds_min
	.align	2
	.global	__INSTR_check_bounds_min_max
	.syntax unified
	.arm
	.fpu softvfp
	.type	__INSTR_check_bounds_min_max, %function
__INSTR_check_bounds_min_max:
	@ args = 40, pretend = 0, frame = 40
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, r5, r6, r7, r8, r9, fp, lr}
	add	fp, sp, #28
	sub	sp, sp, #40
	str	r0, [fp, #-48]
	str	r2, [fp, #-60]
	str	r3, [fp, #-56]
	ldr	r2, [fp, #28]
	ldr	r3, [fp, #-48]
	sub	r3, r2, r3
	mov	r2, r3
	asr	r3, r2, #31
	str	r2, [fp, #-44]
	str	r3, [fp, #-40]
	mov	r0, #0
	mov	r1, #-2147483648
	sub	r3, fp, #44
	ldmia	r3, {r2-r3}
	cmp	r3, r1
	cmpeq	r2, r0
	bne	.L106
	mov	r0, #0
	mov	r1, #-2147483648
	sub	r3, fp, #60
	ldmia	r3, {r2-r3}
	cmp	r3, r1
	cmpeq	r2, r0
	bcs	.L106
	add	r3, fp, #36
	ldmia	r3, {r2-r3}
	ldr	r0, [fp, #28]
	bl	__INSTR_check_pointer
	b	.L107
.L106:
	mov	r0, #0
	mov	r1, #-2147483648
	sub	r3, fp, #44
	ldmia	r3, {r2-r3}
	cmp	r3, r1
	cmpeq	r2, r0
	bne	.L107
	mov	r0, #0
	mov	r1, #-2147483648
	add	r3, fp, #12
	ldmia	r3, {r2-r3}
	cmp	r3, r1
	cmpeq	r2, r0
	bcs	.L107
	ldr	r3, .L115
	ldr	r2, .L115+4
	ldr	r1, .L115+8
	ldr	r0, .L115+12
	bl	__assert_fail
.L107:
	sub	r3, fp, #44
	ldmia	r3, {r2-r3}
	cmp	r2, #0
	sbcs	r3, r3, #0
	bge	.L108
	sub	r3, fp, #44
	ldmia	r3, {r2-r3}
	rsbs	r2, r2, #0
	rsc	r3, r3, #0
	str	r2, [fp, #-36]
	str	r3, [fp, #-32]
	sub	r3, fp, #36
	ldmia	r3, {r2-r3}
	add	r1, fp, #12
	ldmia	r1, {r0-r1}
	cmp	r1, r3
	cmpeq	r0, r2
	bls	.L109
	sub	r1, fp, #44
	ldmia	r1, {r0-r1}
	add	r3, fp, #36
	ldmia	r3, {r2-r3}
	adds	ip, r0, r2
	str	ip, [fp, #-68]
	adc	r3, r1, r3
	str	r3, [fp, #-64]
	add	r3, fp, #20
	ldmia	r3, {r2-r3}
	sub	r1, fp, #68
	ldmia	r1, {r0-r1}
	cmp	r3, r1
	cmpeq	r2, r0
	bcs	.L110
.L109:
	ldr	r3, .L115
	mov	r2, #348
	ldr	r1, .L115+8
	ldr	r0, .L115+12
	bl	__assert_fail
.L110:
	sub	r3, fp, #36
	ldmia	r3, {r2-r3}
	sub	r1, fp, #60
	ldmia	r1, {r0-r1}
	cmp	r1, r3
	cmpeq	r0, r2
	bls	.L111
	sub	r1, fp, #44
	ldmia	r1, {r0-r1}
	add	r3, fp, #36
	ldmia	r3, {r2-r3}
	adds	r8, r0, r2
	adc	r9, r1, r3
	ldmib	fp, {r2-r3}
	cmp	r3, r9
	cmpeq	r2, r8
	bcs	.L114
.L111:
	add	r3, fp, #36
	ldmia	r3, {r2-r3}
	ldr	r0, [fp, #28]
	bl	__INSTR_check_pointer
	b	.L114
.L108:
	sub	r1, fp, #44
	ldmia	r1, {r0-r1}
	add	r3, fp, #36
	ldmia	r3, {r2-r3}
	adds	r6, r0, r2
	adc	r7, r1, r3
	add	r3, fp, #20
	ldmia	r3, {r2-r3}
	cmp	r3, r7
	cmpeq	r2, r6
	bcs	.L113
	ldr	r3, .L115
	ldr	r2, .L115+16
	ldr	r1, .L115+8
	ldr	r0, .L115+12
	bl	__assert_fail
.L113:
	sub	r1, fp, #44
	ldmia	r1, {r0-r1}
	add	r3, fp, #36
	ldmia	r3, {r2-r3}
	adds	r4, r0, r2
	adc	r5, r1, r3
	ldmib	fp, {r2-r3}
	cmp	r3, r5
	cmpeq	r2, r4
	bcs	.L114
	add	r3, fp, #36
	ldmia	r3, {r2-r3}
	ldr	r0, [fp, #28]
	bl	__INSTR_check_pointer
.L114:
	nop
	sub	sp, fp, #28
	@ sp needed
	pop	{r4, r5, r6, r7, r8, r9, fp, pc}
.L116:
	.align	2
.L115:
	.word	__PRETTY_FUNCTION__.4461
	.word	343
	.word	.LC0
	.word	.LC5
	.word	355
	.size	__INSTR_check_bounds_min_max, .-__INSTR_check_bounds_min_max
	.section	.rodata
	.align	2
.LC6:
	.ascii	"0 && \"memory leak detected\"\000"
	.text
	.align	2
	.global	__INSTR_check_leaks
	.syntax unified
	.arm
	.fpu softvfp
	.type	__INSTR_check_leaks, %function
__INSTR_check_leaks:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	ldr	r3, .L120
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	beq	.L119
	ldr	r3, .L120+4
	ldr	r2, .L120+8
	ldr	r1, .L120+12
	ldr	r0, .L120+16
	bl	__assert_fail
.L119:
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L121:
	.align	2
.L120:
	.word	heap_list
	.word	__PRETTY_FUNCTION__.4466
	.word	367
	.word	.LC0
	.word	.LC6
	.size	__INSTR_check_leaks, .-__INSTR_check_leaks
	.align	2
	.global	__INSTR_destroy_list
	.syntax unified
	.arm
	.fpu softvfp
	.type	__INSTR_destroy_list, %function
__INSTR_destroy_list:
	@ args = 0, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #16
	str	r0, [fp, #-16]
	ldr	r3, [fp, #-16]
	str	r3, [fp, #-12]
	b	.L123
.L124:
	ldr	r3, [fp, #-12]
	ldr	r3, [r3, #24]
	str	r3, [fp, #-8]
	ldr	r0, [fp, #-12]
	bl	free
	ldr	r3, [fp, #-8]
	str	r3, [fp, #-12]
.L123:
	ldr	r3, [fp, #-12]
	cmp	r3, #0
	bne	.L124
	nop
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	__INSTR_destroy_list, .-__INSTR_destroy_list
	.align	2
	.global	__INSTR_destroy_lists
	.syntax unified
	.arm
	.fpu softvfp
	.type	__INSTR_destroy_lists, %function
__INSTR_destroy_lists:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r3, .L126
	ldr	r3, [r3]
	mov	r0, r3
	bl	__INSTR_destroy_list
	ldr	r3, .L126+4
	ldr	r3, [r3]
	mov	r0, r3
	bl	__INSTR_destroy_list
	ldr	r3, .L126+8
	ldr	r3, [r3]
	mov	r0, r3
	bl	__INSTR_destroy_list
	ldr	r3, .L126+12
	ldr	r3, [r3]
	mov	r0, r3
	bl	__INSTR_destroy_list
	nop
	pop	{fp, pc}
.L127:
	.align	2
.L126:
	.word	heap_list
	.word	stack_list
	.word	deallocated_list
	.word	globals_list
	.size	__INSTR_destroy_lists, .-__INSTR_destroy_lists
	.section	.rodata
	.align	2
.LC7:
	.ascii	"0 && \"realloc on freed memory\"\000"
	.align	2
.LC8:
	.ascii	"0 && \"realloc on non-dynamically allocated memory\""
	.ascii	"\000"
	.text
	.align	2
	.global	__INSTR_check_realloc
	.syntax unified
	.arm
	.fpu softvfp
	.type	__INSTR_check_realloc, %function
__INSTR_check_realloc:
	@ args = 0, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #16
	str	r0, [fp, #-16]
	ldr	r3, [fp, #-16]
	cmp	r3, #0
	beq	.L132
	ldr	r3, .L133
	ldr	r3, [r3]
	ldr	r1, [fp, #-16]
	mov	r0, r3
	bl	__INSTR_list_search
	str	r0, [fp, #-8]
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	beq	.L131
	ldr	r3, .L133+4
	mov	r2, #396
	ldr	r1, .L133+8
	ldr	r0, .L133+12
	bl	__assert_fail
.L131:
	ldr	r3, .L133+16
	ldr	r3, [r3]
	ldr	r1, [fp, #-16]
	mov	r0, r3
	bl	__INSTR_list_search
	str	r0, [fp, #-8]
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	beq	.L128
	ldr	r3, .L133+4
	ldr	r2, .L133+20
	ldr	r1, .L133+8
	ldr	r0, .L133+24
	bl	__assert_fail
.L132:
	nop
.L128:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L134:
	.align	2
.L133:
	.word	deallocated_list
	.word	__PRETTY_FUNCTION__.4481
	.word	.LC0
	.word	.LC7
	.word	stack_list
	.word	399
	.word	.LC8
	.size	__INSTR_check_realloc, .-__INSTR_check_realloc
	.align	2
	.global	__INSTR_realloc
	.syntax unified
	.arm
	.fpu softvfp
	.type	__INSTR_realloc, %function
__INSTR_realloc:
	@ args = 0, pretend = 0, frame = 24
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #24
	str	r0, [fp, #-16]
	str	r1, [fp, #-20]
	str	r2, [fp, #-24]
	ldr	r3, [fp, #-20]
	cmp	r3, #0
	beq	.L139
	ldr	r3, [fp, #-16]
	cmp	r3, #0
	bne	.L138
	ldr	r3, [fp, #-24]
	mov	r2, r3
	mov	r3, #0
	ldr	r0, [fp, #-20]
	bl	__INSTR_rec_create_heap
	b	.L135
.L138:
	ldr	r3, .L140
	ldr	r3, [r3]
	ldr	r1, [fp, #-16]
	mov	r0, r3
	bl	__INSTR_list_search
	str	r0, [fp, #-8]
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	beq	.L135
	ldr	r3, [fp, #-24]
	mov	r2, r3
	mov	r3, #0
	ldr	r0, [fp, #-20]
	bl	__INSTR_rec_create_heap
	ldr	r1, .L140
	ldr	r0, [fp, #-8]
	bl	__INSTR_rec_destroy
	b	.L135
.L139:
	nop
.L135:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L141:
	.align	2
.L140:
	.word	heap_list
	.size	__INSTR_realloc, .-__INSTR_realloc
	.align	2
	.global	__INSTR_set_flag
	.syntax unified
	.arm
	.fpu softvfp
	.type	__INSTR_set_flag, %function
__INSTR_set_flag:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	@ link register save eliminated.
	str	fp, [sp, #-4]!
	add	fp, sp, #0
	ldr	r3, .L145
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L144
	ldr	r3, .L145
	ldr	r3, [r3]
	ldr	r2, [r3]
	add	r2, r2, #1
	str	r2, [r3]
.L144:
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
.L146:
	.align	2
.L145:
	.word	stack_list
	.size	__INSTR_set_flag, .-__INSTR_set_flag
	.align	2
	.global	__INSTR_destroy
	.syntax unified
	.arm
	.fpu softvfp
	.type	__INSTR_destroy, %function
__INSTR_destroy:
	@ args = 0, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #16
	str	r0, [fp, #-16]
	ldr	r3, .L150
	ldr	r3, [r3]
	ldr	r1, [fp, #-16]
	mov	r0, r3
	bl	__INSTR_list_search
	str	r0, [fp, #-8]
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	beq	.L149
	ldr	r1, .L150
	ldr	r0, [fp, #-8]
	bl	__INSTR_rec_destroy
.L149:
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L151:
	.align	2
.L150:
	.word	stack_list
	.size	__INSTR_destroy, .-__INSTR_destroy
	.align	2
	.global	__INSTR_destroy_allocas
	.syntax unified
	.arm
	.fpu softvfp
	.type	__INSTR_destroy_allocas, %function
__INSTR_destroy_allocas:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	ldr	r3, .L159
	ldr	r3, [r3]
	str	r3, [fp, #-12]
	b	.L153
.L155:
	ldr	r3, [fp, #-12]
	ldr	r3, [r3, #24]
	str	r3, [fp, #-8]
	ldr	r0, [fp, #-12]
	bl	free
	ldr	r3, [fp, #-8]
	str	r3, [fp, #-12]
.L153:
	ldr	r3, [fp, #-12]
	cmp	r3, #0
	beq	.L154
	ldr	r3, [fp, #-12]
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L155
.L154:
	ldr	r3, [fp, #-12]
	cmp	r3, #0
	beq	.L156
	ldr	r3, [fp, #-12]
	ldr	r3, [r3]
	cmp	r3, #0
	ble	.L156
	ldr	r3, [fp, #-12]
	ldr	r3, [r3]
	sub	r2, r3, #1
	ldr	r3, [fp, #-12]
	str	r2, [r3]
.L156:
	ldr	r2, .L159
	ldr	r3, [fp, #-12]
	str	r3, [r2]
	ldr	r3, [fp, #-12]
	cmp	r3, #0
	beq	.L158
	ldr	r3, [fp, #-12]
	mov	r2, #0
	str	r2, [r3, #28]
.L158:
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L160:
	.align	2
.L159:
	.word	stack_list
	.size	__INSTR_destroy_allocas, .-__INSTR_destroy_allocas
	.section	.rodata
	.align	2
.LC9:
	.ascii	"0 && \"invalid dereference (null or freed)\"\000"
	.text
	.align	2
	.global	__INSTR_fail
	.syntax unified
	.arm
	.fpu softvfp
	.type	__INSTR_fail, %function
__INSTR_fail:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r3, .L162
	ldr	r2, .L162+4
	ldr	r1, .L162+8
	ldr	r0, .L162+12
	bl	__assert_fail
.L163:
	.align	2
.L162:
	.word	__PRETTY_FUNCTION__.4503
	.word	453
	.word	.LC0
	.word	.LC9
	.size	__INSTR_fail, .-__INSTR_fail
	.section	.rodata
	.align	2
	.type	__PRETTY_FUNCTION__.4386, %object
	.size	__PRETTY_FUNCTION__.4386, 13
__PRETTY_FUNCTION__.4386:
	.ascii	"__INSTR_free\000"
	.align	2
	.type	__PRETTY_FUNCTION__.4412, %object
	.size	__PRETTY_FUNCTION__.4412, 21
__PRETTY_FUNCTION__.4412:
	.ascii	"__INSTR_check_bounds\000"
	.align	2
	.type	__PRETTY_FUNCTION__.4418, %object
	.size	__PRETTY_FUNCTION__.4418, 14
__PRETTY_FUNCTION__.4418:
	.ascii	"__INSTR_check\000"
	.align	2
	.type	__PRETTY_FUNCTION__.4424, %object
	.size	__PRETTY_FUNCTION__.4424, 20
__PRETTY_FUNCTION__.4424:
	.ascii	"__INSTR_check_stack\000"
	.align	2
	.type	__PRETTY_FUNCTION__.4430, %object
	.size	__PRETTY_FUNCTION__.4430, 22
__PRETTY_FUNCTION__.4430:
	.ascii	"__INSTR_check_globals\000"
	.align	2
	.type	__PRETTY_FUNCTION__.4436, %object
	.size	__PRETTY_FUNCTION__.4436, 19
__PRETTY_FUNCTION__.4436:
	.ascii	"__INSTR_check_heap\000"
	.align	2
	.type	__PRETTY_FUNCTION__.4442, %object
	.size	__PRETTY_FUNCTION__.4442, 22
__PRETTY_FUNCTION__.4442:
	.ascii	"__INSTR_check_pointer\000"
	.align	2
	.type	__PRETTY_FUNCTION__.4461, %object
	.size	__PRETTY_FUNCTION__.4461, 29
__PRETTY_FUNCTION__.4461:
	.ascii	"__INSTR_check_bounds_min_max\000"
	.align	2
	.type	__PRETTY_FUNCTION__.4466, %object
	.size	__PRETTY_FUNCTION__.4466, 20
__PRETTY_FUNCTION__.4466:
	.ascii	"__INSTR_check_leaks\000"
	.align	2
	.type	__PRETTY_FUNCTION__.4481, %object
	.size	__PRETTY_FUNCTION__.4481, 22
__PRETTY_FUNCTION__.4481:
	.ascii	"__INSTR_check_realloc\000"
	.align	2
	.type	__PRETTY_FUNCTION__.4503, %object
	.size	__PRETTY_FUNCTION__.4503, 13
__PRETTY_FUNCTION__.4503:
	.ascii	"__INSTR_fail\000"
	.ident	"GCC: (Ubuntu 9.4.0-1ubuntu1~20.04.2) 9.4.0"
	.section	.note.GNU-stack,"",%progbits
