	.file	"64157.c"
	.intel_syntax noprefix
	.text
	.globl	zero_or_ten
	.type	zero_or_ten, @function
zero_or_ten:
.LFB0:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	DWORD PTR -4[rbp], edi
	cmp	DWORD PTR -4[rbp], 0
	je	.L2
	mov	eax, 10
	jmp	.L3
.L2:
	mov	eax, 0
.L3:
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE0:
	.size	zero_or_ten, .-zero_or_ten
	.globl	zero_to_infty
	.type	zero_to_infty, @function
zero_to_infty:
.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, 16
	mov	DWORD PTR -8[rbp], 0
	mov	DWORD PTR -4[rbp], 0
	jmp	.L5
.L6:
	add	DWORD PTR -8[rbp], 1
	add	DWORD PTR -4[rbp], 1
.L5:
	mov	edi, 0
	call	zero_or_ten
	cmp	DWORD PTR -4[rbp], eax
	jl	.L6
	mov	eax, DWORD PTR -8[rbp]
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE1:
	.size	zero_to_infty, .-zero_to_infty
	.globl	l1_concrete_overrun_Bad
	.type	l1_concrete_overrun_Bad, @function
l1_concrete_overrun_Bad:
.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, 48
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	mov	DWORD PTR -8[rbp], 0
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L9
	call	__stack_chk_fail@PLT
.L9:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE2:
	.size	l1_concrete_overrun_Bad, .-l1_concrete_overrun_Bad
	.globl	l1_concrete_underrun_Bad
	.type	l1_concrete_underrun_Bad, @function
l1_concrete_underrun_Bad:
.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, 48
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	mov	DWORD PTR -52[rbp], 0
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L11
	call	__stack_chk_fail@PLT
.L11:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE3:
	.size	l1_concrete_underrun_Bad, .-l1_concrete_underrun_Bad
	.globl	l1_symbolic_overrun_Bad
	.type	l1_symbolic_overrun_Bad, @function
l1_symbolic_overrun_Bad:
.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, 64
	mov	DWORD PTR -52[rbp], edi
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	cmp	DWORD PTR -52[rbp], 9
	jle	.L15
	mov	eax, DWORD PTR -52[rbp]
	cdqe
	mov	DWORD PTR -48[rbp+rax*4], 0
.L15:
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L14
	call	__stack_chk_fail@PLT
.L14:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE4:
	.size	l1_symbolic_overrun_Bad, .-l1_symbolic_overrun_Bad
	.globl	l1_symbolic_overrun2_Bad
	.type	l1_symbolic_overrun2_Bad, @function
l1_symbolic_overrun2_Bad:
.LFB5:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	push	rbx
	sub	rsp, 56
	.cfi_offset 3, -24
	mov	DWORD PTR -52[rbp], edi
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -24[rbp], rax
	xor	eax, eax
	mov	rax, rsp
	mov	rsi, rax
	mov	eax, DWORD PTR -52[rbp]
	movsx	rdx, eax
	sub	rdx, 1
	mov	QWORD PTR -40[rbp], rdx
	movsx	rdx, eax
	mov	r8, rdx
	mov	r9d, 0
	movsx	rdx, eax
	mov	rcx, rdx
	mov	ebx, 0
	cdqe
	lea	rdx, 0[0+rax*4]
	mov	eax, 16
	sub	rax, 1
	add	rax, rdx
	mov	ebx, 16
	mov	edx, 0
	div	rbx
	imul	rax, rax, 16
	mov	rcx, rax
	and	rcx, -4096
	mov	rdx, rsp
	sub	rdx, rcx
.L17:
	cmp	rsp, rdx
	je	.L18
	sub	rsp, 4096
	or	QWORD PTR 4088[rsp], 0
	jmp	.L17
.L18:
	mov	rdx, rax
	and	edx, 4095
	sub	rsp, rdx
	mov	rdx, rax
	and	edx, 4095
	test	rdx, rdx
	je	.L19
	and	eax, 4095
	sub	rax, 8
	add	rax, rsp
	or	QWORD PTR [rax], 0
.L19:
	mov	rax, rsp
	add	rax, 3
	shr	rax, 2
	sal	rax, 2
	mov	QWORD PTR -32[rbp], rax
	mov	rax, QWORD PTR -32[rbp]
	mov	edx, DWORD PTR -52[rbp]
	movsx	rdx, edx
	mov	DWORD PTR [rax+rdx*4], 0
	mov	rsp, rsi
	nop
	mov	rax, QWORD PTR -24[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L20
	call	__stack_chk_fail@PLT
.L20:
	mov	rbx, QWORD PTR -8[rbp]
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE5:
	.size	l1_symbolic_overrun2_Bad, .-l1_symbolic_overrun2_Bad
	.globl	l1_symbolic_underrun_Bad
	.type	l1_symbolic_underrun_Bad, @function
l1_symbolic_underrun_Bad:
.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, 64
	mov	DWORD PTR -52[rbp], edi
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	cmp	DWORD PTR -52[rbp], 0
	jns	.L24
	mov	eax, DWORD PTR -52[rbp]
	cdqe
	mov	DWORD PTR -48[rbp+rax*4], 0
.L24:
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L23
	call	__stack_chk_fail@PLT
.L23:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE6:
	.size	l1_symbolic_underrun_Bad, .-l1_symbolic_underrun_Bad
	.globl	less_than
	.type	less_than, @function
less_than:
.LFB7:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	DWORD PTR -4[rbp], edi
	mov	DWORD PTR -8[rbp], esi
	mov	eax, DWORD PTR -4[rbp]
	cmp	eax, DWORD PTR -8[rbp]
	setl	al
	movzx	eax, al
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE7:
	.size	less_than, .-less_than
	.globl	l1_symbolic_widened_Bad
	.type	l1_symbolic_widened_Bad, @function
l1_symbolic_widened_Bad:
.LFB8:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	push	rbx
	sub	rsp, 56
	.cfi_offset 3, -24
	mov	DWORD PTR -52[rbp], edi
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -24[rbp], rax
	xor	eax, eax
	mov	rax, rsp
	mov	rbx, rax
	mov	eax, DWORD PTR -52[rbp]
	movsx	rdx, eax
	sub	rdx, 1
	mov	QWORD PTR -40[rbp], rdx
	movsx	rdx, eax
	mov	r10, rdx
	mov	r11d, 0
	movsx	rdx, eax
	mov	r8, rdx
	mov	r9d, 0
	cdqe
	lea	rdx, 0[0+rax*4]
	mov	eax, 16
	sub	rax, 1
	add	rax, rdx
	mov	esi, 16
	mov	edx, 0
	div	rsi
	imul	rax, rax, 16
	mov	rcx, rax
	and	rcx, -4096
	mov	rdx, rsp
	sub	rdx, rcx
.L28:
	cmp	rsp, rdx
	je	.L29
	sub	rsp, 4096
	or	QWORD PTR 4088[rsp], 0
	jmp	.L28
.L29:
	mov	rdx, rax
	and	edx, 4095
	sub	rsp, rdx
	mov	rdx, rax
	and	edx, 4095
	test	rdx, rdx
	je	.L30
	and	eax, 4095
	sub	rax, 8
	add	rax, rsp
	or	QWORD PTR [rax], 0
.L30:
	mov	rax, rsp
	add	rax, 3
	shr	rax, 2
	sal	rax, 2
	mov	QWORD PTR -32[rbp], rax
	mov	eax, DWORD PTR -52[rbp]
	mov	DWORD PTR -44[rbp], eax
	jmp	.L31
.L32:
	mov	rax, QWORD PTR -32[rbp]
	mov	edx, DWORD PTR -44[rbp]
	movsx	rdx, edx
	mov	DWORD PTR [rax+rdx*4], 0
	add	DWORD PTR -44[rbp], 1
.L31:
	mov	eax, DWORD PTR -52[rbp]
	lea	edx, [rax+rax]
	mov	eax, DWORD PTR -44[rbp]
	mov	esi, edx
	mov	edi, eax
	call	less_than
	test	eax, eax
	jne	.L32
	mov	rsp, rbx
	nop
	mov	rax, QWORD PTR -24[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L33
	call	__stack_chk_fail@PLT
.L33:
	mov	rbx, QWORD PTR -8[rbp]
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE8:
	.size	l1_symbolic_widened_Bad, .-l1_symbolic_widened_Bad
	.globl	l1_symbolic_widened_Good_FP
	.type	l1_symbolic_widened_Good_FP, @function
l1_symbolic_widened_Good_FP:
.LFB9:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	push	rbx
	sub	rsp, 56
	.cfi_offset 3, -24
	mov	DWORD PTR -52[rbp], edi
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -24[rbp], rax
	xor	eax, eax
	mov	rax, rsp
	mov	rbx, rax
	mov	eax, DWORD PTR -52[rbp]
	movsx	rdx, eax
	sub	rdx, 1
	mov	QWORD PTR -40[rbp], rdx
	movsx	rdx, eax
	mov	r10, rdx
	mov	r11d, 0
	movsx	rdx, eax
	mov	r8, rdx
	mov	r9d, 0
	cdqe
	lea	rdx, 0[0+rax*4]
	mov	eax, 16
	sub	rax, 1
	add	rax, rdx
	mov	esi, 16
	mov	edx, 0
	div	rsi
	imul	rax, rax, 16
	mov	rcx, rax
	and	rcx, -4096
	mov	rdx, rsp
	sub	rdx, rcx
.L35:
	cmp	rsp, rdx
	je	.L36
	sub	rsp, 4096
	or	QWORD PTR 4088[rsp], 0
	jmp	.L35
.L36:
	mov	rdx, rax
	and	edx, 4095
	sub	rsp, rdx
	mov	rdx, rax
	and	edx, 4095
	test	rdx, rdx
	je	.L37
	and	eax, 4095
	sub	rax, 8
	add	rax, rsp
	or	QWORD PTR [rax], 0
.L37:
	mov	rax, rsp
	add	rax, 3
	shr	rax, 2
	sal	rax, 2
	mov	QWORD PTR -32[rbp], rax
	mov	eax, DWORD PTR -52[rbp]
	mov	DWORD PTR -44[rbp], eax
	jmp	.L38
.L39:
	mov	rax, QWORD PTR -32[rbp]
	mov	edx, DWORD PTR -44[rbp]
	movsx	rdx, edx
	mov	DWORD PTR [rax+rdx*4], 0
	add	DWORD PTR -44[rbp], 1
.L38:
	mov	edx, DWORD PTR -52[rbp]
	mov	eax, DWORD PTR -44[rbp]
	mov	esi, edx
	mov	edi, eax
	call	less_than
	test	eax, eax
	jne	.L39
	mov	rsp, rbx
	nop
	mov	rax, QWORD PTR -24[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L40
	call	__stack_chk_fail@PLT
.L40:
	mov	rbx, QWORD PTR -8[rbp]
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE9:
	.size	l1_symbolic_widened_Good_FP, .-l1_symbolic_widened_Good_FP
	.globl	l2_concrete_overrun_Bad
	.type	l2_concrete_overrun_Bad, @function
l2_concrete_overrun_Bad:
.LFB10:
	.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	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	mov	edi, 1
	call	zero_or_ten
	cdqe
	mov	DWORD PTR -48[rbp+rax*4], 0
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L42
	call	__stack_chk_fail@PLT
.L42:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE10:
	.size	l2_concrete_overrun_Bad, .-l2_concrete_overrun_Bad
	.globl	l2_concrete_underrun_Bad
	.type	l2_concrete_underrun_Bad, @function
l2_concrete_underrun_Bad:
.LFB11:
	.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	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	mov	edi, 0
	call	zero_or_ten
	sub	eax, 1
	cdqe
	mov	DWORD PTR -48[rbp+rax*4], 0
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L44
	call	__stack_chk_fail@PLT
.L44:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE11:
	.size	l2_concrete_underrun_Bad, .-l2_concrete_underrun_Bad
	.globl	l2_concrete_no_overrun_Good_FP
	.type	l2_concrete_no_overrun_Good_FP, @function
l2_concrete_no_overrun_Good_FP:
.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, 48
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	mov	edi, 0
	call	zero_or_ten
	cdqe
	mov	DWORD PTR -48[rbp+rax*4], 0
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L46
	call	__stack_chk_fail@PLT
.L46:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE12:
	.size	l2_concrete_no_overrun_Good_FP, .-l2_concrete_no_overrun_Good_FP
	.globl	l2_concrete_no_underrun_Good_FP
	.type	l2_concrete_no_underrun_Good_FP, @function
l2_concrete_no_underrun_Good_FP:
.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, 48
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	mov	edi, 1
	call	zero_or_ten
	sub	eax, 1
	cdqe
	mov	DWORD PTR -48[rbp+rax*4], 0
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L48
	call	__stack_chk_fail@PLT
.L48:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE13:
	.size	l2_concrete_no_underrun_Good_FP, .-l2_concrete_no_underrun_Good_FP
	.globl	l2_symbolic_overrun_Bad
	.type	l2_symbolic_overrun_Bad, @function
l2_symbolic_overrun_Bad:
.LFB14:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	push	rbx
	sub	rsp, 56
	.cfi_offset 3, -24
	mov	QWORD PTR -56[rbp], rdi
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -24[rbp], rax
	xor	eax, eax
	mov	rax, rsp
	mov	rsi, rax
	mov	rax, QWORD PTR -56[rbp]
	mov	eax, DWORD PTR [rax]
	movsx	rdx, eax
	sub	rdx, 1
	mov	QWORD PTR -40[rbp], rdx
	movsx	rdx, eax
	mov	r8, rdx
	mov	r9d, 0
	movsx	rdx, eax
	mov	rcx, rdx
	mov	ebx, 0
	cdqe
	lea	rdx, 0[0+rax*4]
	mov	eax, 16
	sub	rax, 1
	add	rax, rdx
	mov	ebx, 16
	mov	edx, 0
	div	rbx
	imul	rax, rax, 16
	mov	rcx, rax
	and	rcx, -4096
	mov	rdx, rsp
	sub	rdx, rcx
.L50:
	cmp	rsp, rdx
	je	.L51
	sub	rsp, 4096
	or	QWORD PTR 4088[rsp], 0
	jmp	.L50
.L51:
	mov	rdx, rax
	and	edx, 4095
	sub	rsp, rdx
	mov	rdx, rax
	and	edx, 4095
	test	rdx, rdx
	je	.L52
	and	eax, 4095
	sub	rax, 8
	add	rax, rsp
	or	QWORD PTR [rax], 0
.L52:
	mov	rax, rsp
	add	rax, 3
	shr	rax, 2
	sal	rax, 2
	mov	QWORD PTR -32[rbp], rax
	mov	rax, QWORD PTR -56[rbp]
	mov	edx, DWORD PTR [rax]
	mov	rax, QWORD PTR -32[rbp]
	movsx	rdx, edx
	mov	DWORD PTR [rax+rdx*4], 0
	mov	rsp, rsi
	nop
	mov	rax, QWORD PTR -24[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L53
	call	__stack_chk_fail@PLT
.L53:
	mov	rbx, QWORD PTR -8[rbp]
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE14:
	.size	l2_symbolic_overrun_Bad, .-l2_symbolic_overrun_Bad
	.globl	l2_symbolic_no_overrun_Good
	.type	l2_symbolic_no_overrun_Good, @function
l2_symbolic_no_overrun_Good:
.LFB15:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	push	rbx
	sub	rsp, 56
	.cfi_offset 3, -24
	mov	DWORD PTR -52[rbp], edi
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -24[rbp], rax
	xor	eax, eax
	mov	rax, rsp
	mov	rsi, rax
	mov	eax, DWORD PTR -52[rbp]
	movsx	rdx, eax
	sub	rdx, 1
	mov	QWORD PTR -40[rbp], rdx
	movsx	rdx, eax
	mov	r8, rdx
	mov	r9d, 0
	movsx	rdx, eax
	mov	rcx, rdx
	mov	ebx, 0
	cdqe
	lea	rdx, 0[0+rax*4]
	mov	eax, 16
	sub	rax, 1
	add	rax, rdx
	mov	ebx, 16
	mov	edx, 0
	div	rbx
	imul	rax, rax, 16
	mov	rcx, rax
	and	rcx, -4096
	mov	rdx, rsp
	sub	rdx, rcx
.L55:
	cmp	rsp, rdx
	je	.L56
	sub	rsp, 4096
	or	QWORD PTR 4088[rsp], 0
	jmp	.L55
.L56:
	mov	rdx, rax
	and	edx, 4095
	sub	rsp, rdx
	mov	rdx, rax
	and	edx, 4095
	test	rdx, rdx
	je	.L57
	and	eax, 4095
	sub	rax, 8
	add	rax, rsp
	or	QWORD PTR [rax], 0
.L57:
	mov	rax, rsp
	add	rax, 3
	shr	rax, 2
	sal	rax, 2
	mov	QWORD PTR -32[rbp], rax
	cmp	DWORD PTR -52[rbp], 0
	jle	.L58
	mov	eax, DWORD PTR -52[rbp]
	lea	edx, -1[rax]
	mov	rax, QWORD PTR -32[rbp]
	movsx	rdx, edx
	mov	DWORD PTR [rax+rdx*4], 0
.L58:
	mov	rsp, rsi
	nop
	mov	rax, QWORD PTR -24[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L59
	call	__stack_chk_fail@PLT
.L59:
	mov	rbx, QWORD PTR -8[rbp]
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE15:
	.size	l2_symbolic_no_overrun_Good, .-l2_symbolic_no_overrun_Good
	.globl	l3_concrete_overrun_Bad
	.type	l3_concrete_overrun_Bad, @function
l3_concrete_overrun_Bad:
.LFB16:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	push	r15
	push	r14
	push	r13
	push	r12
	push	rbx
	sub	rsp, 40
	.cfi_offset 15, -24
	.cfi_offset 14, -32
	.cfi_offset 13, -40
	.cfi_offset 12, -48
	.cfi_offset 3, -56
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -56[rbp], rax
	xor	eax, eax
	mov	rax, rsp
	mov	rbx, rax
	mov	edi, 0
	call	zero_or_ten
	add	eax, 5
	movsx	rdx, eax
	sub	rdx, 1
	mov	QWORD PTR -72[rbp], rdx
	movsx	rdx, eax
	mov	r14, rdx
	mov	r15d, 0
	movsx	rdx, eax
	mov	r12, rdx
	mov	r13d, 0
	cdqe
	lea	rdx, 0[0+rax*4]
	mov	eax, 16
	sub	rax, 1
	add	rax, rdx
	mov	esi, 16
	mov	edx, 0
	div	rsi
	imul	rax, rax, 16
	mov	rcx, rax
	and	rcx, -4096
	mov	rdx, rsp
	sub	rdx, rcx
.L61:
	cmp	rsp, rdx
	je	.L62
	sub	rsp, 4096
	or	QWORD PTR 4088[rsp], 0
	jmp	.L61
.L62:
	mov	rdx, rax
	and	edx, 4095
	sub	rsp, rdx
	mov	rdx, rax
	and	edx, 4095
	test	rdx, rdx
	je	.L63
	and	eax, 4095
	sub	rax, 8
	add	rax, rsp
	or	QWORD PTR [rax], 0
.L63:
	mov	rax, rsp
	add	rax, 3
	shr	rax, 2
	sal	rax, 2
	mov	QWORD PTR -64[rbp], rax
	mov	edi, 1
	call	zero_or_ten
	mov	edx, eax
	mov	rax, QWORD PTR -64[rbp]
	movsx	rdx, edx
	mov	DWORD PTR [rax+rdx*4], 0
	mov	rsp, rbx
	nop
	mov	rax, QWORD PTR -56[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L64
	call	__stack_chk_fail@PLT
.L64:
	lea	rsp, -40[rbp]
	pop	rbx
	pop	r12
	pop	r13
	pop	r14
	pop	r15
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE16:
	.size	l3_concrete_overrun_Bad, .-l3_concrete_overrun_Bad
	.globl	l3_concrete_underrun_Bad
	.type	l3_concrete_underrun_Bad, @function
l3_concrete_underrun_Bad:
.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, 48
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	mov	edi, 0
	call	zero_or_ten
	sub	eax, 1
	cdqe
	mov	DWORD PTR -48[rbp+rax*4], 0
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L66
	call	__stack_chk_fail@PLT
.L66:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE17:
	.size	l3_concrete_underrun_Bad, .-l3_concrete_underrun_Bad
	.globl	l3_concrete_no_overrun_Good_FP
	.type	l3_concrete_no_overrun_Good_FP, @function
l3_concrete_no_overrun_Good_FP:
.LFB18:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	push	r15
	push	r14
	push	r13
	push	r12
	push	rbx
	sub	rsp, 40
	.cfi_offset 15, -24
	.cfi_offset 14, -32
	.cfi_offset 13, -40
	.cfi_offset 12, -48
	.cfi_offset 3, -56
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -56[rbp], rax
	xor	eax, eax
	mov	rax, rsp
	mov	rbx, rax
	mov	edi, 1
	call	zero_or_ten
	add	eax, 5
	movsx	rdx, eax
	sub	rdx, 1
	mov	QWORD PTR -72[rbp], rdx
	movsx	rdx, eax
	mov	r14, rdx
	mov	r15d, 0
	movsx	rdx, eax
	mov	r12, rdx
	mov	r13d, 0
	cdqe
	lea	rdx, 0[0+rax*4]
	mov	eax, 16
	sub	rax, 1
	add	rax, rdx
	mov	esi, 16
	mov	edx, 0
	div	rsi
	imul	rax, rax, 16
	mov	rcx, rax
	and	rcx, -4096
	mov	rdx, rsp
	sub	rdx, rcx
.L68:
	cmp	rsp, rdx
	je	.L69
	sub	rsp, 4096
	or	QWORD PTR 4088[rsp], 0
	jmp	.L68
.L69:
	mov	rdx, rax
	and	edx, 4095
	sub	rsp, rdx
	mov	rdx, rax
	and	edx, 4095
	test	rdx, rdx
	je	.L70
	and	eax, 4095
	sub	rax, 8
	add	rax, rsp
	or	QWORD PTR [rax], 0
.L70:
	mov	rax, rsp
	add	rax, 3
	shr	rax, 2
	sal	rax, 2
	mov	QWORD PTR -64[rbp], rax
	mov	edi, 1
	call	zero_or_ten
	mov	edx, eax
	mov	rax, QWORD PTR -64[rbp]
	movsx	rdx, edx
	mov	DWORD PTR [rax+rdx*4], 0
	mov	rsp, rbx
	nop
	mov	rax, QWORD PTR -56[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L71
	call	__stack_chk_fail@PLT
.L71:
	lea	rsp, -40[rbp]
	pop	rbx
	pop	r12
	pop	r13
	pop	r14
	pop	r15
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE18:
	.size	l3_concrete_no_overrun_Good_FP, .-l3_concrete_no_overrun_Good_FP
	.globl	l3_concrete_no_underrun_Good_FP
	.type	l3_concrete_no_underrun_Good_FP, @function
l3_concrete_no_underrun_Good_FP:
.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, 48
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	mov	edi, 1
	call	zero_or_ten
	sub	eax, 1
	cdqe
	mov	DWORD PTR -48[rbp+rax*4], 0
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L73
	call	__stack_chk_fail@PLT
.L73:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE19:
	.size	l3_concrete_no_underrun_Good_FP, .-l3_concrete_no_underrun_Good_FP
	.globl	l4_widened_overrun_Bad
	.type	l4_widened_overrun_Bad, @function
l4_widened_overrun_Bad:
.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, 64
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	mov	DWORD PTR -52[rbp], 0
	jmp	.L75
.L76:
	mov	eax, DWORD PTR -52[rbp]
	cdqe
	mov	DWORD PTR -48[rbp+rax*4], 0
	add	DWORD PTR -52[rbp], 1
.L75:
	mov	eax, DWORD PTR -52[rbp]
	mov	esi, 11
	mov	edi, eax
	call	less_than
	test	eax, eax
	jne	.L76
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L77
	call	__stack_chk_fail@PLT
.L77:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE20:
	.size	l4_widened_overrun_Bad, .-l4_widened_overrun_Bad
	.globl	l4_widened_no_overrun_Good_FP
	.type	l4_widened_no_overrun_Good_FP, @function
l4_widened_no_overrun_Good_FP:
.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, 64
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	mov	DWORD PTR -52[rbp], 0
	jmp	.L79
.L80:
	mov	eax, DWORD PTR -52[rbp]
	cdqe
	mov	DWORD PTR -48[rbp+rax*4], 0
	add	DWORD PTR -52[rbp], 1
.L79:
	mov	eax, DWORD PTR -52[rbp]
	mov	esi, 10
	mov	edi, eax
	call	less_than
	test	eax, eax
	jne	.L80
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L81
	call	__stack_chk_fail@PLT
.L81:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE21:
	.size	l4_widened_no_overrun_Good_FP, .-l4_widened_no_overrun_Good_FP
	.globl	l5_external_Warn_Bad
	.type	l5_external_Warn_Bad, @function
l5_external_Warn_Bad:
.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, 48
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	mov	eax, 0
	call	unknown_function@PLT
	cdqe
	mov	DWORD PTR -48[rbp+rax*4], 0
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L83
	call	__stack_chk_fail@PLT
.L83:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE22:
	.size	l5_external_Warn_Bad, .-l5_external_Warn_Bad
	.globl	s2_symbolic_widened_Bad
	.type	s2_symbolic_widened_Bad, @function
s2_symbolic_widened_Bad:
.LFB23:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	push	rbx
	sub	rsp, 56
	.cfi_offset 3, -24
	mov	QWORD PTR -56[rbp], rdi
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -24[rbp], rax
	xor	eax, eax
	mov	rax, rsp
	mov	rbx, rax
	mov	rax, QWORD PTR -56[rbp]
	mov	eax, DWORD PTR [rax]
	movsx	rdx, eax
	sub	rdx, 1
	mov	QWORD PTR -40[rbp], rdx
	movsx	rdx, eax
	mov	r10, rdx
	mov	r11d, 0
	movsx	rdx, eax
	mov	r8, rdx
	mov	r9d, 0
	cdqe
	lea	rdx, 0[0+rax*4]
	mov	eax, 16
	sub	rax, 1
	add	rax, rdx
	mov	esi, 16
	mov	edx, 0
	div	rsi
	imul	rax, rax, 16
	mov	rcx, rax
	and	rcx, -4096
	mov	rdx, rsp
	sub	rdx, rcx
.L85:
	cmp	rsp, rdx
	je	.L86
	sub	rsp, 4096
	or	QWORD PTR 4088[rsp], 0
	jmp	.L85
.L86:
	mov	rdx, rax
	and	edx, 4095
	sub	rsp, rdx
	mov	rdx, rax
	and	edx, 4095
	test	rdx, rdx
	je	.L87
	and	eax, 4095
	sub	rax, 8
	add	rax, rsp
	or	QWORD PTR [rax], 0
.L87:
	mov	rax, rsp
	add	rax, 3
	shr	rax, 2
	sal	rax, 2
	mov	QWORD PTR -32[rbp], rax
	mov	rax, QWORD PTR -56[rbp]
	mov	eax, DWORD PTR [rax]
	mov	DWORD PTR -44[rbp], eax
	jmp	.L88
.L89:
	mov	rax, QWORD PTR -32[rbp]
	mov	edx, DWORD PTR -44[rbp]
	movsx	rdx, edx
	mov	DWORD PTR [rax+rdx*4], 0
	add	DWORD PTR -44[rbp], 1
.L88:
	mov	rax, QWORD PTR -56[rbp]
	mov	eax, DWORD PTR [rax]
	lea	edx, [rax+rax]
	mov	eax, DWORD PTR -44[rbp]
	mov	esi, edx
	mov	edi, eax
	call	less_than
	test	eax, eax
	jne	.L89
	mov	rsp, rbx
	nop
	mov	rax, QWORD PTR -24[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L90
	call	__stack_chk_fail@PLT
.L90:
	mov	rbx, QWORD PTR -8[rbp]
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE23:
	.size	s2_symbolic_widened_Bad, .-s2_symbolic_widened_Bad
	.globl	s2_symbolic_widened_Good_FP
	.type	s2_symbolic_widened_Good_FP, @function
s2_symbolic_widened_Good_FP:
.LFB24:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	push	rbx
	sub	rsp, 56
	.cfi_offset 3, -24
	mov	QWORD PTR -56[rbp], rdi
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -24[rbp], rax
	xor	eax, eax
	mov	rax, rsp
	mov	rbx, rax
	mov	rax, QWORD PTR -56[rbp]
	mov	eax, DWORD PTR [rax]
	movsx	rdx, eax
	sub	rdx, 1
	mov	QWORD PTR -40[rbp], rdx
	movsx	rdx, eax
	mov	r10, rdx
	mov	r11d, 0
	movsx	rdx, eax
	mov	r8, rdx
	mov	r9d, 0
	cdqe
	lea	rdx, 0[0+rax*4]
	mov	eax, 16
	sub	rax, 1
	add	rax, rdx
	mov	esi, 16
	mov	edx, 0
	div	rsi
	imul	rax, rax, 16
	mov	rcx, rax
	and	rcx, -4096
	mov	rdx, rsp
	sub	rdx, rcx
.L92:
	cmp	rsp, rdx
	je	.L93
	sub	rsp, 4096
	or	QWORD PTR 4088[rsp], 0
	jmp	.L92
.L93:
	mov	rdx, rax
	and	edx, 4095
	sub	rsp, rdx
	mov	rdx, rax
	and	edx, 4095
	test	rdx, rdx
	je	.L94
	and	eax, 4095
	sub	rax, 8
	add	rax, rsp
	or	QWORD PTR [rax], 0
.L94:
	mov	rax, rsp
	add	rax, 3
	shr	rax, 2
	sal	rax, 2
	mov	QWORD PTR -32[rbp], rax
	mov	rax, QWORD PTR -56[rbp]
	mov	eax, DWORD PTR [rax]
	mov	DWORD PTR -44[rbp], eax
	jmp	.L95
.L96:
	mov	rax, QWORD PTR -32[rbp]
	mov	edx, DWORD PTR -44[rbp]
	movsx	rdx, edx
	mov	DWORD PTR [rax+rdx*4], 0
	add	DWORD PTR -44[rbp], 1
.L95:
	mov	rax, QWORD PTR -56[rbp]
	mov	edx, DWORD PTR [rax]
	mov	eax, DWORD PTR -44[rbp]
	mov	esi, edx
	mov	edi, eax
	call	less_than
	test	eax, eax
	jne	.L96
	mov	rsp, rbx
	nop
	mov	rax, QWORD PTR -24[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L97
	call	__stack_chk_fail@PLT
.L97:
	mov	rbx, QWORD PTR -8[rbp]
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE24:
	.size	s2_symbolic_widened_Good_FP, .-s2_symbolic_widened_Good_FP
	.globl	FP_call_s2_symbolic_widened_Silenced
	.type	FP_call_s2_symbolic_widened_Silenced, @function
FP_call_s2_symbolic_widened_Silenced:
.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	QWORD PTR -8[rbp], rdi
	mov	rax, QWORD PTR -8[rbp]
	mov	rdi, rax
	call	s2_symbolic_widened_Bad
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE25:
	.size	FP_call_s2_symbolic_widened_Silenced, .-FP_call_s2_symbolic_widened_Silenced
	.globl	l1_call_to_s2_symbolic_widened_Bad
	.type	l1_call_to_s2_symbolic_widened_Bad, @function
l1_call_to_s2_symbolic_widened_Bad:
.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, 16
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	mov	DWORD PTR -12[rbp], 1
	lea	rax, -12[rbp]
	mov	rdi, rax
	call	s2_symbolic_widened_Bad
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L100
	call	__stack_chk_fail@PLT
.L100:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE26:
	.size	l1_call_to_s2_symbolic_widened_Bad, .-l1_call_to_s2_symbolic_widened_Bad
	.globl	may_underrun_symbolic_Nowarn_Good
	.type	may_underrun_symbolic_Nowarn_Good, @function
may_underrun_symbolic_Nowarn_Good:
.LFB27:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	push	rbx
	sub	rsp, 56
	.cfi_offset 3, -24
	mov	DWORD PTR -52[rbp], edi
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -24[rbp], rax
	xor	eax, eax
	mov	rax, rsp
	mov	rsi, rax
	mov	eax, DWORD PTR -52[rbp]
	movsx	rdx, eax
	sub	rdx, 1
	mov	QWORD PTR -40[rbp], rdx
	movsx	rdx, eax
	mov	r8, rdx
	mov	r9d, 0
	movsx	rdx, eax
	mov	rcx, rdx
	mov	ebx, 0
	cdqe
	lea	rdx, 0[0+rax*4]
	mov	eax, 16
	sub	rax, 1
	add	rax, rdx
	mov	ebx, 16
	mov	edx, 0
	div	rbx
	imul	rax, rax, 16
	mov	rcx, rax
	and	rcx, -4096
	mov	rdx, rsp
	sub	rdx, rcx
.L102:
	cmp	rsp, rdx
	je	.L103
	sub	rsp, 4096
	or	QWORD PTR 4088[rsp], 0
	jmp	.L102
.L103:
	mov	rdx, rax
	and	edx, 4095
	sub	rsp, rdx
	mov	rdx, rax
	and	edx, 4095
	test	rdx, rdx
	je	.L104
	and	eax, 4095
	sub	rax, 8
	add	rax, rsp
	or	QWORD PTR [rax], 0
.L104:
	mov	rax, rsp
	add	rax, 3
	shr	rax, 2
	sal	rax, 2
	mov	QWORD PTR -32[rbp], rax
	mov	eax, DWORD PTR -52[rbp]
	lea	edx, -1[rax]
	mov	rax, QWORD PTR -32[rbp]
	movsx	rdx, edx
	mov	DWORD PTR [rax+rdx*4], 0
	mov	rsp, rsi
	nop
	mov	rax, QWORD PTR -24[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L105
	call	__stack_chk_fail@PLT
.L105:
	mov	rbx, QWORD PTR -8[rbp]
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE27:
	.size	may_underrun_symbolic_Nowarn_Good, .-may_underrun_symbolic_Nowarn_Good
	.globl	may_over_or_underrun_symbolic_Nowarn_Good
	.type	may_over_or_underrun_symbolic_Nowarn_Good, @function
may_over_or_underrun_symbolic_Nowarn_Good:
.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, 64
	mov	DWORD PTR -52[rbp], edi
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	mov	eax, DWORD PTR -52[rbp]
	cdqe
	mov	DWORD PTR -48[rbp+rax*4], 0
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L107
	call	__stack_chk_fail@PLT
.L107:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE28:
	.size	may_over_or_underrun_symbolic_Nowarn_Good, .-may_over_or_underrun_symbolic_Nowarn_Good
	.globl	may_over_or_underrun_symbolic2_Nowarn_Good
	.type	may_over_or_underrun_symbolic2_Nowarn_Good, @function
may_over_or_underrun_symbolic2_Nowarn_Good:
.LFB29:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	push	rbx
	sub	rsp, 56
	.cfi_offset 3, -24
	mov	DWORD PTR -52[rbp], edi
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -24[rbp], rax
	xor	eax, eax
	mov	rax, rsp
	mov	rsi, rax
	mov	eax, DWORD PTR -52[rbp]
	movsx	rdx, eax
	sub	rdx, 1
	mov	QWORD PTR -40[rbp], rdx
	movsx	rdx, eax
	mov	r8, rdx
	mov	r9d, 0
	movsx	rdx, eax
	mov	rcx, rdx
	mov	ebx, 0
	cdqe
	lea	rdx, 0[0+rax*4]
	mov	eax, 16
	sub	rax, 1
	add	rax, rdx
	mov	ebx, 16
	mov	edx, 0
	div	rbx
	imul	rax, rax, 16
	mov	rcx, rax
	and	rcx, -4096
	mov	rdx, rsp
	sub	rdx, rcx
.L109:
	cmp	rsp, rdx
	je	.L110
	sub	rsp, 4096
	or	QWORD PTR 4088[rsp], 0
	jmp	.L109
.L110:
	mov	rdx, rax
	and	edx, 4095
	sub	rsp, rdx
	mov	rdx, rax
	and	edx, 4095
	test	rdx, rdx
	je	.L111
	and	eax, 4095
	sub	rax, 8
	add	rax, rsp
	or	QWORD PTR [rax], 0
.L111:
	mov	rax, rsp
	add	rax, 3
	shr	rax, 2
	sal	rax, 2
	mov	QWORD PTR -32[rbp], rax
	mov	rax, QWORD PTR -32[rbp]
	mov	DWORD PTR 4[rax], 0
	mov	rsp, rsi
	nop
	mov	rax, QWORD PTR -24[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L112
	call	__stack_chk_fail@PLT
.L112:
	mov	rbx, QWORD PTR -8[rbp]
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE29:
	.size	may_over_or_underrun_symbolic2_Nowarn_Good, .-may_over_or_underrun_symbolic2_Nowarn_Good
	.globl	alloc_is_negative_Bad
	.type	alloc_is_negative_Bad, @function
alloc_is_negative_Bad:
.LFB30:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	rdi, -2
	call	malloc@PLT
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE30:
	.size	alloc_is_negative_Bad, .-alloc_is_negative_Bad
	.globl	alloc_may_be_negative_Bad
	.type	alloc_may_be_negative_Bad, @function
alloc_may_be_negative_Bad:
.LFB31:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	edi, 0
	call	zero_or_ten
	sub	eax, 5
	cdqe
	mov	rdi, rax
	call	malloc@PLT
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE31:
	.size	alloc_may_be_negative_Bad, .-alloc_may_be_negative_Bad
	.globl	alloc_may_be_negative_Good_FP
	.type	alloc_may_be_negative_Good_FP, @function
alloc_may_be_negative_Good_FP:
.LFB32:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	edi, 1
	call	zero_or_ten
	sub	eax, 5
	cdqe
	mov	rdi, rax
	call	malloc@PLT
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE32:
	.size	alloc_may_be_negative_Good_FP, .-alloc_may_be_negative_Good_FP
	.globl	alloc_is_zero_Bad
	.type	alloc_is_zero_Bad, @function
alloc_is_zero_Bad:
.LFB33:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	edi, 0
	call	malloc@PLT
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE33:
	.size	alloc_is_zero_Bad, .-alloc_is_zero_Bad
	.globl	alloc_is_big_Bad
	.type	alloc_is_big_Bad, @function
alloc_is_big_Bad:
.LFB34:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	edi, 2000000000
	call	malloc@PLT
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE34:
	.size	alloc_is_big_Bad, .-alloc_is_big_Bad
	.globl	alloc_may_be_big_Bad
	.type	alloc_may_be_big_Bad, @function
alloc_may_be_big_Bad:
.LFB35:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	edi, 1
	call	zero_or_ten
	imul	eax, eax, 100000000
	add	eax, 1
	cdqe
	mov	rdi, rax
	call	malloc@PLT
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE35:
	.size	alloc_may_be_big_Bad, .-alloc_may_be_big_Bad
	.globl	call_to_alloc_may_be_big_Good
	.type	call_to_alloc_may_be_big_Good, @function
call_to_alloc_may_be_big_Good:
.LFB36:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	eax, 0
	call	alloc_may_be_big_Bad
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE36:
	.size	call_to_alloc_may_be_big_Good, .-call_to_alloc_may_be_big_Good
	.globl	alloc_may_be_big_Good_FP
	.type	alloc_may_be_big_Good_FP, @function
alloc_may_be_big_Good_FP:
.LFB37:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	edi, 1
	call	zero_or_ten
	imul	eax, eax, 100000000
	add	eax, 1
	cdqe
	mov	rdi, rax
	call	malloc@PLT
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE37:
	.size	alloc_may_be_big_Good_FP, .-alloc_may_be_big_Good_FP
	.globl	alloc_may_be_big2_Silenced
	.type	alloc_may_be_big2_Silenced, @function
alloc_may_be_big2_Silenced:
.LFB38:
	.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	DWORD PTR -4[rbp], edi
	mov	eax, 0
	call	zero_to_infty
	mov	edx, DWORD PTR -4[rbp]
	add	eax, edx
	cdqe
	mov	rdi, rax
	call	malloc@PLT
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE38:
	.size	alloc_may_be_big2_Silenced, .-alloc_may_be_big2_Silenced
	.globl	call_to_alloc_may_be_big2_is_big_Bad
	.type	call_to_alloc_may_be_big2_is_big_Bad, @function
call_to_alloc_may_be_big2_is_big_Bad:
.LFB39:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	edi, 100000000
	call	alloc_may_be_big2_Silenced
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE39:
	.size	call_to_alloc_may_be_big2_is_big_Bad, .-call_to_alloc_may_be_big2_is_big_Bad
	.globl	l1_unknown_function_Bad
	.type	l1_unknown_function_Bad, @function
l1_unknown_function_Bad:
.LFB40:
	.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	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	mov	eax, 0
	call	unknown_function@PLT
	mov	edx, eax
	mov	eax, edx
	sal	eax, 2
	add	eax, edx
	add	eax, eax
	mov	DWORD PTR -36[rbp], eax
	cmp	DWORD PTR -36[rbp], 9
	jle	.L126
	cmp	DWORD PTR -36[rbp], 10
	jg	.L126
	mov	eax, DWORD PTR -36[rbp]
	cdqe
	mov	DWORD PTR -32[rbp+rax*4], 0
.L126:
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L125
	call	__stack_chk_fail@PLT
.L125:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE40:
	.size	l1_unknown_function_Bad, .-l1_unknown_function_Bad
	.globl	loop_underrun_Bad_FN
	.type	loop_underrun_Bad_FN, @function
loop_underrun_Bad_FN:
.LFB41:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	push	rbx
	sub	rsp, 56
	.cfi_offset 3, -24
	mov	DWORD PTR -52[rbp], edi
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -24[rbp], rax
	xor	eax, eax
	mov	rax, rsp
	mov	rsi, rax
	mov	eax, DWORD PTR -52[rbp]
	movsx	rdx, eax
	sub	rdx, 1
	mov	QWORD PTR -40[rbp], rdx
	movsx	rdx, eax
	mov	r8, rdx
	mov	r9d, 0
	movsx	rdx, eax
	mov	rcx, rdx
	mov	ebx, 0
	cdqe
	mov	edx, 16
	sub	rdx, 1
	add	rax, rdx
	mov	ebx, 16
	mov	edx, 0
	div	rbx
	imul	rax, rax, 16
	mov	rcx, rax
	and	rcx, -4096
	mov	rdx, rsp
	sub	rdx, rcx
.L128:
	cmp	rsp, rdx
	je	.L129
	sub	rsp, 4096
	or	QWORD PTR 4088[rsp], 0
	jmp	.L128
.L129:
	mov	rdx, rax
	and	edx, 4095
	sub	rsp, rdx
	mov	rdx, rax
	and	edx, 4095
	test	rdx, rdx
	je	.L130
	and	eax, 4095
	sub	rax, 8
	add	rax, rsp
	or	QWORD PTR [rax], 0
.L130:
	mov	rax, rsp
	add	rax, 0
	mov	QWORD PTR -32[rbp], rax
	mov	eax, DWORD PTR -52[rbp]
	sub	eax, 1
	mov	DWORD PTR -44[rbp], eax
	jmp	.L131
.L132:
	mov	eax, DWORD PTR -44[rbp]
	sub	eax, 1
	mov	rdx, QWORD PTR -32[rbp]
	cdqe
	mov	BYTE PTR [rdx+rax], 85
	sub	DWORD PTR -44[rbp], 1
.L131:
	cmp	DWORD PTR -44[rbp], 0
	jns	.L132
	mov	rsp, rsi
	nop
	mov	rax, QWORD PTR -24[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L133
	call	__stack_chk_fail@PLT
.L133:
	mov	rbx, QWORD PTR -8[rbp]
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE41:
	.size	loop_underrun_Bad_FN, .-loop_underrun_Bad_FN
	.globl	l2_loop_overflow_Bad
	.type	l2_loop_overflow_Bad, @function
l2_loop_overflow_Bad:
.LFB42:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	push	rbx
	sub	rsp, 56
	.cfi_offset 3, -24
	mov	DWORD PTR -52[rbp], edi
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -24[rbp], rax
	xor	eax, eax
	mov	rax, rsp
	mov	rsi, rax
	mov	eax, DWORD PTR -52[rbp]
	movsx	rdx, eax
	sub	rdx, 1
	mov	QWORD PTR -40[rbp], rdx
	movsx	rdx, eax
	mov	r8, rdx
	mov	r9d, 0
	movsx	rdx, eax
	mov	rcx, rdx
	mov	ebx, 0
	cdqe
	mov	edx, 16
	sub	rdx, 1
	add	rax, rdx
	mov	ebx, 16
	mov	edx, 0
	div	rbx
	imul	rax, rax, 16
	mov	rcx, rax
	and	rcx, -4096
	mov	rdx, rsp
	sub	rdx, rcx
.L135:
	cmp	rsp, rdx
	je	.L136
	sub	rsp, 4096
	or	QWORD PTR 4088[rsp], 0
	jmp	.L135
.L136:
	mov	rdx, rax
	and	edx, 4095
	sub	rsp, rdx
	mov	rdx, rax
	and	edx, 4095
	test	rdx, rdx
	je	.L137
	and	eax, 4095
	sub	rax, 8
	add	rax, rsp
	or	QWORD PTR [rax], 0
.L137:
	mov	rax, rsp
	add	rax, 0
	mov	QWORD PTR -32[rbp], rax
	mov	eax, DWORD PTR -52[rbp]
	sub	eax, 1
	mov	DWORD PTR -44[rbp], eax
	jmp	.L138
.L139:
	mov	eax, DWORD PTR -44[rbp]
	add	eax, 1
	mov	rdx, QWORD PTR -32[rbp]
	cdqe
	mov	BYTE PTR [rdx+rax], 79
	sub	DWORD PTR -44[rbp], 1
.L138:
	cmp	DWORD PTR -44[rbp], 0
	jns	.L139
	mov	rsp, rsi
	nop
	mov	rax, QWORD PTR -24[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L140
	call	__stack_chk_fail@PLT
.L140:
	mov	rbx, QWORD PTR -8[rbp]
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE42:
	.size	l2_loop_overflow_Bad, .-l2_loop_overflow_Bad
	.globl	l2_loop_overflow2_Bad
	.type	l2_loop_overflow2_Bad, @function
l2_loop_overflow2_Bad:
.LFB43:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	push	rbx
	sub	rsp, 56
	.cfi_offset 3, -24
	mov	DWORD PTR -52[rbp], edi
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -24[rbp], rax
	xor	eax, eax
	mov	rax, rsp
	mov	rsi, rax
	mov	eax, DWORD PTR -52[rbp]
	movsx	rdx, eax
	sub	rdx, 1
	mov	QWORD PTR -40[rbp], rdx
	movsx	rdx, eax
	mov	r8, rdx
	mov	r9d, 0
	movsx	rdx, eax
	mov	rcx, rdx
	mov	ebx, 0
	cdqe
	mov	edx, 16
	sub	rdx, 1
	add	rax, rdx
	mov	ebx, 16
	mov	edx, 0
	div	rbx
	imul	rax, rax, 16
	mov	rcx, rax
	and	rcx, -4096
	mov	rdx, rsp
	sub	rdx, rcx
.L142:
	cmp	rsp, rdx
	je	.L143
	sub	rsp, 4096
	or	QWORD PTR 4088[rsp], 0
	jmp	.L142
.L143:
	mov	rdx, rax
	and	edx, 4095
	sub	rsp, rdx
	mov	rdx, rax
	and	edx, 4095
	test	rdx, rdx
	je	.L144
	and	eax, 4095
	sub	rax, 8
	add	rax, rsp
	or	QWORD PTR [rax], 0
.L144:
	mov	rax, rsp
	add	rax, 0
	mov	QWORD PTR -32[rbp], rax
	mov	eax, DWORD PTR -52[rbp]
	sub	eax, 1
	mov	DWORD PTR -44[rbp], eax
	jmp	.L145
.L146:
	mov	eax, DWORD PTR -52[rbp]
	sub	eax, DWORD PTR -44[rbp]
	mov	rdx, QWORD PTR -32[rbp]
	cdqe
	mov	BYTE PTR [rdx+rax], 79
	sub	DWORD PTR -44[rbp], 1
.L145:
	cmp	DWORD PTR -44[rbp], 0
	jns	.L146
	mov	rsp, rsi
	nop
	mov	rax, QWORD PTR -24[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L147
	call	__stack_chk_fail@PLT
.L147:
	mov	rbx, QWORD PTR -8[rbp]
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE43:
	.size	l2_loop_overflow2_Bad, .-l2_loop_overflow2_Bad
	.globl	False_Issue_Type_l3_unknown_function_Bad
	.type	False_Issue_Type_l3_unknown_function_Bad, @function
False_Issue_Type_l3_unknown_function_Bad:
.LFB44:
	.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	eax, 0
	call	zero_to_infty
	add	eax, 5
	cdqe
	sal	rax, 2
	mov	rdi, rax
	call	malloc@PLT
	mov	QWORD PTR -8[rbp], rax
	mov	eax, 0
	call	unknown_function@PLT
	mov	edx, eax
	mov	eax, edx
	sal	eax, 2
	add	eax, edx
	add	eax, eax
	mov	DWORD PTR -12[rbp], eax
	cmp	DWORD PTR -12[rbp], 9
	jle	.L150
	cmp	DWORD PTR -12[rbp], 10
	jg	.L150
	mov	eax, DWORD PTR -12[rbp]
	cdqe
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -8[rbp]
	add	rax, rdx
	mov	DWORD PTR [rax], 0
.L150:
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE44:
	.size	False_Issue_Type_l3_unknown_function_Bad, .-False_Issue_Type_l3_unknown_function_Bad
	.globl	mone_to_one
	.type	mone_to_one, @function
mone_to_one:
.LFB45:
	.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	eax, 0
	call	unknown_function@PLT
	mov	DWORD PTR -4[rbp], eax
	cmp	DWORD PTR -4[rbp], -1
	jl	.L152
	cmp	DWORD PTR -4[rbp], 1
	jg	.L152
	mov	eax, DWORD PTR -4[rbp]
	jmp	.L153
.L152:
	mov	eax, 0
.L153:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE45:
	.size	mone_to_one, .-mone_to_one
	.globl	two_safety_conditions
	.type	two_safety_conditions, @function
two_safety_conditions:
.LFB46:
	.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	DWORD PTR -36[rbp], edi
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	mov	eax, 0
	call	mone_to_one
	mov	DWORD PTR -24[rbp], eax
	mov	eax, 0
	call	unknown_function@PLT
	test	eax, eax
	je	.L155
	mov	eax, DWORD PTR -36[rbp]
	cdqe
	mov	BYTE PTR -18[rbp+rax], 0
	jmp	.L158
.L155:
	mov	edx, DWORD PTR -36[rbp]
	mov	eax, DWORD PTR -24[rbp]
	add	eax, edx
	cdqe
	mov	BYTE PTR -18[rbp+rax], 0
.L158:
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L157
	call	__stack_chk_fail@PLT
.L157:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE46:
	.size	two_safety_conditions, .-two_safety_conditions
	.globl	call_two_safety_conditions_l1_and_l2_Bad
	.type	call_two_safety_conditions_l1_and_l2_Bad, @function
call_two_safety_conditions_l1_and_l2_Bad:
.LFB47:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	edi, 10
	call	two_safety_conditions
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE47:
	.size	call_two_safety_conditions_l1_and_l2_Bad, .-call_two_safety_conditions_l1_and_l2_Bad
	.globl	deduplicate_issues_Bad
	.type	deduplicate_issues_Bad, @function
deduplicate_issues_Bad:
.LFB48:
	.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	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	mov	DWORD PTR -52[rbp], 10
	mov	eax, DWORD PTR -52[rbp]
	cdqe
	mov	DWORD PTR -48[rbp+rax*4], 0
	mov	eax, 0
	call	unknown_function@PLT
	mov	DWORD PTR -52[rbp], eax
	cmp	DWORD PTR -52[rbp], 9
	jle	.L163
	mov	eax, DWORD PTR -52[rbp]
	cdqe
	mov	DWORD PTR -48[rbp+rax*4], 0
.L163:
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L162
	call	__stack_chk_fail@PLT
.L162:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE48:
	.size	deduplicate_issues_Bad, .-deduplicate_issues_Bad
	.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	"64157.c"
	.text
	.align	2
	.global	zero_or_ten
	.syntax unified
	.arm
	.fpu softvfp
	.type	zero_or_ten, %function
zero_or_ten:
	@ 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]
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	beq	.L2
	mov	r3, #10
	b	.L3
.L2:
	mov	r3, #0
.L3:
	mov	r0, r3
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
	.size	zero_or_ten, .-zero_or_ten
	.align	2
	.global	zero_to_infty
	.syntax unified
	.arm
	.fpu softvfp
	.type	zero_to_infty, %function
zero_to_infty:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	mov	r3, #0
	str	r3, [fp, #-12]
	mov	r3, #0
	str	r3, [fp, #-8]
	b	.L5
.L6:
	ldr	r3, [fp, #-12]
	add	r3, r3, #1
	str	r3, [fp, #-12]
	ldr	r3, [fp, #-8]
	add	r3, r3, #1
	str	r3, [fp, #-8]
.L5:
	mov	r0, #0
	bl	zero_or_ten
	mov	r2, r0
	ldr	r3, [fp, #-8]
	cmp	r3, r2
	blt	.L6
	ldr	r3, [fp, #-12]
	mov	r0, r3
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	zero_to_infty, .-zero_to_infty
	.section	.rodata
	.align	2
.LC0:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	l1_concrete_overrun_Bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	l1_concrete_overrun_Bad, %function
l1_concrete_overrun_Bad:
	@ args = 0, pretend = 0, frame = 48
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #48
	ldr	r3, .L10
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	mov	r3, #0
	str	r3, [fp, #-8]
	nop
	ldr	r3, .L10
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L9
	bl	__stack_chk_fail
.L9:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L11:
	.align	2
.L10:
	.word	.LC0
	.size	l1_concrete_overrun_Bad, .-l1_concrete_overrun_Bad
	.section	.rodata
	.align	2
.LC1:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	l1_concrete_underrun_Bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	l1_concrete_underrun_Bad, %function
l1_concrete_underrun_Bad:
	@ args = 0, pretend = 0, frame = 48
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #48
	ldr	r3, .L14
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	mov	r3, #0
	str	r3, [fp, #-52]
	nop
	ldr	r3, .L14
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L13
	bl	__stack_chk_fail
.L13:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L15:
	.align	2
.L14:
	.word	.LC1
	.size	l1_concrete_underrun_Bad, .-l1_concrete_underrun_Bad
	.section	.rodata
	.align	2
.LC2:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	l1_symbolic_overrun_Bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	l1_symbolic_overrun_Bad, %function
l1_symbolic_overrun_Bad:
	@ args = 0, pretend = 0, frame = 56
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #56
	str	r0, [fp, #-56]
	ldr	r3, .L20
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	ldr	r3, [fp, #-56]
	cmp	r3, #9
	ble	.L19
	ldr	r3, [fp, #-56]
	lsl	r3, r3, #2
	sub	r2, fp, #4
	add	r3, r2, r3
	mov	r2, #0
	str	r2, [r3, #-44]
.L19:
	nop
	ldr	r3, .L20
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L18
	bl	__stack_chk_fail
.L18:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L21:
	.align	2
.L20:
	.word	.LC2
	.size	l1_symbolic_overrun_Bad, .-l1_symbolic_overrun_Bad
	.section	.rodata
	.align	2
.LC3:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	l1_symbolic_overrun2_Bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	l1_symbolic_overrun2_Bad, %function
l1_symbolic_overrun2_Bad:
	@ 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, #-24]
	ldr	r3, .L24
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	mov	r3, sp
	mov	lr, r3
	ldr	ip, [fp, #-24]
	sub	r3, ip, #1
	str	r3, [fp, #-16]
	mov	r3, ip
	mov	r0, r3
	mov	r1, #0
	mov	r2, #0
	mov	r3, #0
	lsl	r3, r1, #5
	orr	r3, r3, r0, lsr #27
	lsl	r2, r0, #5
	mov	r3, ip
	mov	r0, r3
	mov	r1, #0
	mov	r2, #0
	mov	r3, #0
	lsl	r3, r1, #5
	orr	r3, r3, r0, lsr #27
	lsl	r2, r0, #5
	mov	r3, ip
	lsl	r3, r3, #2
	add	r3, r3, #7
	lsr	r3, r3, #3
	lsl	r3, r3, #3
	sub	sp, sp, r3
	mov	r3, sp
	add	r3, r3, #3
	lsr	r3, r3, #2
	lsl	r3, r3, #2
	str	r3, [fp, #-12]
	ldr	r3, [fp, #-12]
	ldr	r2, [fp, #-24]
	mov	r1, #0
	str	r1, [r3, r2, lsl #2]
	mov	sp, lr
	nop
	ldr	r3, .L24
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L23
	bl	__stack_chk_fail
.L23:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L25:
	.align	2
.L24:
	.word	.LC3
	.size	l1_symbolic_overrun2_Bad, .-l1_symbolic_overrun2_Bad
	.section	.rodata
	.align	2
.LC4:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	l1_symbolic_underrun_Bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	l1_symbolic_underrun_Bad, %function
l1_symbolic_underrun_Bad:
	@ args = 0, pretend = 0, frame = 56
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #56
	str	r0, [fp, #-56]
	ldr	r3, .L30
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	ldr	r3, [fp, #-56]
	cmp	r3, #0
	bge	.L29
	ldr	r3, [fp, #-56]
	lsl	r3, r3, #2
	sub	r2, fp, #4
	add	r3, r2, r3
	mov	r2, #0
	str	r2, [r3, #-44]
.L29:
	nop
	ldr	r3, .L30
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L28
	bl	__stack_chk_fail
.L28:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L31:
	.align	2
.L30:
	.word	.LC4
	.size	l1_symbolic_underrun_Bad, .-l1_symbolic_underrun_Bad
	.align	2
	.global	less_than
	.syntax unified
	.arm
	.fpu softvfp
	.type	less_than, %function
less_than:
	@ 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	r2, [fp, #-8]
	ldr	r3, [fp, #-12]
	cmp	r2, r3
	movlt	r3, #1
	movge	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
	.size	less_than, .-less_than
	.section	.rodata
	.align	2
.LC5:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	l1_symbolic_widened_Bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	l1_symbolic_widened_Bad, %function
l1_symbolic_widened_Bad:
	@ args = 0, pretend = 0, frame = 24
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, fp, lr}
	add	fp, sp, #8
	sub	sp, sp, #28
	str	r0, [fp, #-32]
	ldr	r3, .L38
	ldr	r3, [r3]
	str	r3, [fp, #-16]
	mov	r3,#0
	mov	r3, sp
	mov	r4, r3
	ldr	ip, [fp, #-32]
	sub	r3, ip, #1
	str	r3, [fp, #-24]
	mov	r3, ip
	mov	r0, r3
	mov	r1, #0
	mov	r2, #0
	mov	r3, #0
	lsl	r3, r1, #5
	orr	r3, r3, r0, lsr #27
	lsl	r2, r0, #5
	mov	r3, ip
	mov	r0, r3
	mov	r1, #0
	mov	r2, #0
	mov	r3, #0
	lsl	r3, r1, #5
	orr	r3, r3, r0, lsr #27
	lsl	r2, r0, #5
	mov	r3, ip
	lsl	r3, r3, #2
	add	r3, r3, #7
	lsr	r3, r3, #3
	lsl	r3, r3, #3
	sub	sp, sp, r3
	mov	r3, sp
	add	r3, r3, #3
	lsr	r3, r3, #2
	lsl	r3, r3, #2
	str	r3, [fp, #-20]
	ldr	r3, [fp, #-32]
	str	r3, [fp, #-28]
	b	.L35
.L36:
	ldr	r3, [fp, #-20]
	ldr	r2, [fp, #-28]
	mov	r1, #0
	str	r1, [r3, r2, lsl #2]
	ldr	r3, [fp, #-28]
	add	r3, r3, #1
	str	r3, [fp, #-28]
.L35:
	ldr	r3, [fp, #-32]
	lsl	r3, r3, #1
	mov	r1, r3
	ldr	r0, [fp, #-28]
	bl	less_than
	mov	r3, r0
	cmp	r3, #0
	bne	.L36
	mov	sp, r4
	nop
	ldr	r3, .L38
	ldr	r2, [r3]
	ldr	r3, [fp, #-16]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L37
	bl	__stack_chk_fail
.L37:
	sub	sp, fp, #8
	@ sp needed
	pop	{r4, fp, pc}
.L39:
	.align	2
.L38:
	.word	.LC5
	.size	l1_symbolic_widened_Bad, .-l1_symbolic_widened_Bad
	.section	.rodata
	.align	2
.LC6:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	l1_symbolic_widened_Good_FP
	.syntax unified
	.arm
	.fpu softvfp
	.type	l1_symbolic_widened_Good_FP, %function
l1_symbolic_widened_Good_FP:
	@ args = 0, pretend = 0, frame = 24
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, fp, lr}
	add	fp, sp, #8
	sub	sp, sp, #28
	str	r0, [fp, #-32]
	ldr	r3, .L44
	ldr	r3, [r3]
	str	r3, [fp, #-16]
	mov	r3,#0
	mov	r3, sp
	mov	r4, r3
	ldr	ip, [fp, #-32]
	sub	r3, ip, #1
	str	r3, [fp, #-24]
	mov	r3, ip
	mov	r0, r3
	mov	r1, #0
	mov	r2, #0
	mov	r3, #0
	lsl	r3, r1, #5
	orr	r3, r3, r0, lsr #27
	lsl	r2, r0, #5
	mov	r3, ip
	mov	r0, r3
	mov	r1, #0
	mov	r2, #0
	mov	r3, #0
	lsl	r3, r1, #5
	orr	r3, r3, r0, lsr #27
	lsl	r2, r0, #5
	mov	r3, ip
	lsl	r3, r3, #2
	add	r3, r3, #7
	lsr	r3, r3, #3
	lsl	r3, r3, #3
	sub	sp, sp, r3
	mov	r3, sp
	add	r3, r3, #3
	lsr	r3, r3, #2
	lsl	r3, r3, #2
	str	r3, [fp, #-20]
	ldr	r3, [fp, #-32]
	str	r3, [fp, #-28]
	b	.L41
.L42:
	ldr	r3, [fp, #-20]
	ldr	r2, [fp, #-28]
	mov	r1, #0
	str	r1, [r3, r2, lsl #2]
	ldr	r3, [fp, #-28]
	add	r3, r3, #1
	str	r3, [fp, #-28]
.L41:
	ldr	r1, [fp, #-32]
	ldr	r0, [fp, #-28]
	bl	less_than
	mov	r3, r0
	cmp	r3, #0
	bne	.L42
	mov	sp, r4
	nop
	ldr	r3, .L44
	ldr	r2, [r3]
	ldr	r3, [fp, #-16]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L43
	bl	__stack_chk_fail
.L43:
	sub	sp, fp, #8
	@ sp needed
	pop	{r4, fp, pc}
.L45:
	.align	2
.L44:
	.word	.LC6
	.size	l1_symbolic_widened_Good_FP, .-l1_symbolic_widened_Good_FP
	.section	.rodata
	.align	2
.LC7:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	l2_concrete_overrun_Bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	l2_concrete_overrun_Bad, %function
l2_concrete_overrun_Bad:
	@ args = 0, pretend = 0, frame = 48
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #48
	ldr	r3, .L48
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	mov	r0, #1
	bl	zero_or_ten
	mov	r3, r0
	lsl	r3, r3, #2
	sub	r2, fp, #4
	add	r3, r2, r3
	mov	r2, #0
	str	r2, [r3, #-44]
	nop
	ldr	r3, .L48
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L47
	bl	__stack_chk_fail
.L47:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L49:
	.align	2
.L48:
	.word	.LC7
	.size	l2_concrete_overrun_Bad, .-l2_concrete_overrun_Bad
	.section	.rodata
	.align	2
.LC8:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	l2_concrete_underrun_Bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	l2_concrete_underrun_Bad, %function
l2_concrete_underrun_Bad:
	@ args = 0, pretend = 0, frame = 40
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #40
	ldr	r3, .L52
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	mov	r0, #0
	bl	zero_or_ten
	mov	r3, r0
	sub	r3, r3, #1
	lsl	r3, r3, #2
	sub	r2, fp, #4
	add	r3, r2, r3
	mov	r2, #0
	str	r2, [r3, #-40]
	nop
	ldr	r3, .L52
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L51
	bl	__stack_chk_fail
.L51:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L53:
	.align	2
.L52:
	.word	.LC8
	.size	l2_concrete_underrun_Bad, .-l2_concrete_underrun_Bad
	.section	.rodata
	.align	2
.LC9:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	l2_concrete_no_overrun_Good_FP
	.syntax unified
	.arm
	.fpu softvfp
	.type	l2_concrete_no_overrun_Good_FP, %function
l2_concrete_no_overrun_Good_FP:
	@ args = 0, pretend = 0, frame = 48
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #48
	ldr	r3, .L56
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	mov	r0, #0
	bl	zero_or_ten
	mov	r3, r0
	lsl	r3, r3, #2
	sub	r2, fp, #4
	add	r3, r2, r3
	mov	r2, #0
	str	r2, [r3, #-44]
	nop
	ldr	r3, .L56
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L55
	bl	__stack_chk_fail
.L55:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L57:
	.align	2
.L56:
	.word	.LC9
	.size	l2_concrete_no_overrun_Good_FP, .-l2_concrete_no_overrun_Good_FP
	.section	.rodata
	.align	2
.LC10:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	l2_concrete_no_underrun_Good_FP
	.syntax unified
	.arm
	.fpu softvfp
	.type	l2_concrete_no_underrun_Good_FP, %function
l2_concrete_no_underrun_Good_FP:
	@ args = 0, pretend = 0, frame = 40
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #40
	ldr	r3, .L60
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	mov	r0, #1
	bl	zero_or_ten
	mov	r3, r0
	sub	r3, r3, #1
	lsl	r3, r3, #2
	sub	r2, fp, #4
	add	r3, r2, r3
	mov	r2, #0
	str	r2, [r3, #-40]
	nop
	ldr	r3, .L60
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L59
	bl	__stack_chk_fail
.L59:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L61:
	.align	2
.L60:
	.word	.LC10
	.size	l2_concrete_no_underrun_Good_FP, .-l2_concrete_no_underrun_Good_FP
	.section	.rodata
	.align	2
.LC11:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	l2_symbolic_overrun_Bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	l2_symbolic_overrun_Bad, %function
l2_symbolic_overrun_Bad:
	@ 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, #-24]
	ldr	r3, .L64
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	mov	r3, sp
	mov	lr, r3
	ldr	r3, [fp, #-24]
	ldr	ip, [r3]
	sub	r3, ip, #1
	str	r3, [fp, #-16]
	mov	r3, ip
	mov	r0, r3
	mov	r1, #0
	mov	r2, #0
	mov	r3, #0
	lsl	r3, r1, #5
	orr	r3, r3, r0, lsr #27
	lsl	r2, r0, #5
	mov	r3, ip
	mov	r0, r3
	mov	r1, #0
	mov	r2, #0
	mov	r3, #0
	lsl	r3, r1, #5
	orr	r3, r3, r0, lsr #27
	lsl	r2, r0, #5
	mov	r3, ip
	lsl	r3, r3, #2
	add	r3, r3, #7
	lsr	r3, r3, #3
	lsl	r3, r3, #3
	sub	sp, sp, r3
	mov	r3, sp
	add	r3, r3, #3
	lsr	r3, r3, #2
	lsl	r3, r3, #2
	str	r3, [fp, #-12]
	ldr	r3, [fp, #-24]
	ldr	r2, [r3]
	ldr	r3, [fp, #-12]
	mov	r1, #0
	str	r1, [r3, r2, lsl #2]
	mov	sp, lr
	nop
	ldr	r3, .L64
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L63
	bl	__stack_chk_fail
.L63:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L65:
	.align	2
.L64:
	.word	.LC11
	.size	l2_symbolic_overrun_Bad, .-l2_symbolic_overrun_Bad
	.section	.rodata
	.align	2
.LC12:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	l2_symbolic_no_overrun_Good
	.syntax unified
	.arm
	.fpu softvfp
	.type	l2_symbolic_no_overrun_Good, %function
l2_symbolic_no_overrun_Good:
	@ 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, #-24]
	ldr	r3, .L69
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	mov	r3, sp
	mov	lr, r3
	ldr	ip, [fp, #-24]
	sub	r3, ip, #1
	str	r3, [fp, #-16]
	mov	r3, ip
	mov	r0, r3
	mov	r1, #0
	mov	r2, #0
	mov	r3, #0
	lsl	r3, r1, #5
	orr	r3, r3, r0, lsr #27
	lsl	r2, r0, #5
	mov	r3, ip
	mov	r0, r3
	mov	r1, #0
	mov	r2, #0
	mov	r3, #0
	lsl	r3, r1, #5
	orr	r3, r3, r0, lsr #27
	lsl	r2, r0, #5
	mov	r3, ip
	lsl	r3, r3, #2
	add	r3, r3, #7
	lsr	r3, r3, #3
	lsl	r3, r3, #3
	sub	sp, sp, r3
	mov	r3, sp
	add	r3, r3, #3
	lsr	r3, r3, #2
	lsl	r3, r3, #2
	str	r3, [fp, #-12]
	ldr	r3, [fp, #-24]
	cmp	r3, #0
	ble	.L67
	ldr	r3, [fp, #-24]
	sub	r2, r3, #1
	ldr	r3, [fp, #-12]
	mov	r1, #0
	str	r1, [r3, r2, lsl #2]
.L67:
	mov	sp, lr
	nop
	ldr	r3, .L69
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L68
	bl	__stack_chk_fail
.L68:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L70:
	.align	2
.L69:
	.word	.LC12
	.size	l2_symbolic_no_overrun_Good, .-l2_symbolic_no_overrun_Good
	.section	.rodata
	.align	2
.LC13:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	l3_concrete_overrun_Bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	l3_concrete_overrun_Bad, %function
l3_concrete_overrun_Bad:
	@ args = 0, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, fp, lr}
	add	fp, sp, #8
	sub	sp, sp, #20
	ldr	r3, .L73
	ldr	r3, [r3]
	str	r3, [fp, #-16]
	mov	r3,#0
	mov	r3, sp
	mov	r4, r3
	mov	r0, #0
	bl	zero_or_ten
	mov	r3, r0
	add	ip, r3, #5
	sub	r3, ip, #1
	str	r3, [fp, #-24]
	mov	r3, ip
	mov	r0, r3
	mov	r1, #0
	mov	r2, #0
	mov	r3, #0
	lsl	r3, r1, #5
	orr	r3, r3, r0, lsr #27
	lsl	r2, r0, #5
	mov	r3, ip
	mov	r0, r3
	mov	r1, #0
	mov	r2, #0
	mov	r3, #0
	lsl	r3, r1, #5
	orr	r3, r3, r0, lsr #27
	lsl	r2, r0, #5
	mov	r3, ip
	lsl	r3, r3, #2
	add	r3, r3, #7
	lsr	r3, r3, #3
	lsl	r3, r3, #3
	sub	sp, sp, r3
	mov	r3, sp
	add	r3, r3, #3
	lsr	r3, r3, #2
	lsl	r3, r3, #2
	str	r3, [fp, #-20]
	mov	r0, #1
	bl	zero_or_ten
	mov	r2, r0
	ldr	r3, [fp, #-20]
	mov	r1, #0
	str	r1, [r3, r2, lsl #2]
	mov	sp, r4
	nop
	ldr	r3, .L73
	ldr	r2, [r3]
	ldr	r3, [fp, #-16]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L72
	bl	__stack_chk_fail
.L72:
	sub	sp, fp, #8
	@ sp needed
	pop	{r4, fp, pc}
.L74:
	.align	2
.L73:
	.word	.LC13
	.size	l3_concrete_overrun_Bad, .-l3_concrete_overrun_Bad
	.section	.rodata
	.align	2
.LC14:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	l3_concrete_underrun_Bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	l3_concrete_underrun_Bad, %function
l3_concrete_underrun_Bad:
	@ args = 0, pretend = 0, frame = 48
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #48
	ldr	r3, .L77
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	mov	r0, #0
	bl	zero_or_ten
	mov	r3, r0
	sub	r3, r3, #1
	lsl	r3, r3, #2
	sub	r2, fp, #4
	add	r3, r2, r3
	mov	r2, #0
	str	r2, [r3, #-44]
	nop
	ldr	r3, .L77
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L76
	bl	__stack_chk_fail
.L76:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L78:
	.align	2
.L77:
	.word	.LC14
	.size	l3_concrete_underrun_Bad, .-l3_concrete_underrun_Bad
	.section	.rodata
	.align	2
.LC15:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	l3_concrete_no_overrun_Good_FP
	.syntax unified
	.arm
	.fpu softvfp
	.type	l3_concrete_no_overrun_Good_FP, %function
l3_concrete_no_overrun_Good_FP:
	@ args = 0, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, fp, lr}
	add	fp, sp, #8
	sub	sp, sp, #20
	ldr	r3, .L81
	ldr	r3, [r3]
	str	r3, [fp, #-16]
	mov	r3,#0
	mov	r3, sp
	mov	r4, r3
	mov	r0, #1
	bl	zero_or_ten
	mov	r3, r0
	add	ip, r3, #5
	sub	r3, ip, #1
	str	r3, [fp, #-24]
	mov	r3, ip
	mov	r0, r3
	mov	r1, #0
	mov	r2, #0
	mov	r3, #0
	lsl	r3, r1, #5
	orr	r3, r3, r0, lsr #27
	lsl	r2, r0, #5
	mov	r3, ip
	mov	r0, r3
	mov	r1, #0
	mov	r2, #0
	mov	r3, #0
	lsl	r3, r1, #5
	orr	r3, r3, r0, lsr #27
	lsl	r2, r0, #5
	mov	r3, ip
	lsl	r3, r3, #2
	add	r3, r3, #7
	lsr	r3, r3, #3
	lsl	r3, r3, #3
	sub	sp, sp, r3
	mov	r3, sp
	add	r3, r3, #3
	lsr	r3, r3, #2
	lsl	r3, r3, #2
	str	r3, [fp, #-20]
	mov	r0, #1
	bl	zero_or_ten
	mov	r2, r0
	ldr	r3, [fp, #-20]
	mov	r1, #0
	str	r1, [r3, r2, lsl #2]
	mov	sp, r4
	nop
	ldr	r3, .L81
	ldr	r2, [r3]
	ldr	r3, [fp, #-16]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L80
	bl	__stack_chk_fail
.L80:
	sub	sp, fp, #8
	@ sp needed
	pop	{r4, fp, pc}
.L82:
	.align	2
.L81:
	.word	.LC15
	.size	l3_concrete_no_overrun_Good_FP, .-l3_concrete_no_overrun_Good_FP
	.section	.rodata
	.align	2
.LC16:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	l3_concrete_no_underrun_Good_FP
	.syntax unified
	.arm
	.fpu softvfp
	.type	l3_concrete_no_underrun_Good_FP, %function
l3_concrete_no_underrun_Good_FP:
	@ args = 0, pretend = 0, frame = 48
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #48
	ldr	r3, .L85
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	mov	r0, #1
	bl	zero_or_ten
	mov	r3, r0
	sub	r3, r3, #1
	lsl	r3, r3, #2
	sub	r2, fp, #4
	add	r3, r2, r3
	mov	r2, #0
	str	r2, [r3, #-44]
	nop
	ldr	r3, .L85
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L84
	bl	__stack_chk_fail
.L84:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L86:
	.align	2
.L85:
	.word	.LC16
	.size	l3_concrete_no_underrun_Good_FP, .-l3_concrete_no_underrun_Good_FP
	.section	.rodata
	.align	2
.LC17:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	l4_widened_overrun_Bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	l4_widened_overrun_Bad, %function
l4_widened_overrun_Bad:
	@ args = 0, pretend = 0, frame = 48
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #48
	ldr	r3, .L91
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	mov	r3, #0
	str	r3, [fp, #-52]
	b	.L88
.L89:
	ldr	r3, [fp, #-52]
	lsl	r3, r3, #2
	sub	r2, fp, #4
	add	r3, r2, r3
	mov	r2, #0
	str	r2, [r3, #-44]
	ldr	r3, [fp, #-52]
	add	r3, r3, #1
	str	r3, [fp, #-52]
.L88:
	mov	r1, #11
	ldr	r0, [fp, #-52]
	bl	less_than
	mov	r3, r0
	cmp	r3, #0
	bne	.L89
	nop
	ldr	r3, .L91
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L90
	bl	__stack_chk_fail
.L90:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L92:
	.align	2
.L91:
	.word	.LC17
	.size	l4_widened_overrun_Bad, .-l4_widened_overrun_Bad
	.section	.rodata
	.align	2
.LC18:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	l4_widened_no_overrun_Good_FP
	.syntax unified
	.arm
	.fpu softvfp
	.type	l4_widened_no_overrun_Good_FP, %function
l4_widened_no_overrun_Good_FP:
	@ args = 0, pretend = 0, frame = 48
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #48
	ldr	r3, .L97
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	mov	r3, #0
	str	r3, [fp, #-52]
	b	.L94
.L95:
	ldr	r3, [fp, #-52]
	lsl	r3, r3, #2
	sub	r2, fp, #4
	add	r3, r2, r3
	mov	r2, #0
	str	r2, [r3, #-44]
	ldr	r3, [fp, #-52]
	add	r3, r3, #1
	str	r3, [fp, #-52]
.L94:
	mov	r1, #10
	ldr	r0, [fp, #-52]
	bl	less_than
	mov	r3, r0
	cmp	r3, #0
	bne	.L95
	nop
	ldr	r3, .L97
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L96
	bl	__stack_chk_fail
.L96:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L98:
	.align	2
.L97:
	.word	.LC18
	.size	l4_widened_no_overrun_Good_FP, .-l4_widened_no_overrun_Good_FP
	.section	.rodata
	.align	2
.LC19:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	l5_external_Warn_Bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	l5_external_Warn_Bad, %function
l5_external_Warn_Bad:
	@ args = 0, pretend = 0, frame = 48
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #48
	ldr	r3, .L101
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	bl	unknown_function
	mov	r3, r0
	lsl	r3, r3, #2
	sub	r2, fp, #4
	add	r3, r2, r3
	mov	r2, #0
	str	r2, [r3, #-44]
	nop
	ldr	r3, .L101
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L100
	bl	__stack_chk_fail
.L100:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L102:
	.align	2
.L101:
	.word	.LC19
	.size	l5_external_Warn_Bad, .-l5_external_Warn_Bad
	.section	.rodata
	.align	2
.LC20:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	s2_symbolic_widened_Bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	s2_symbolic_widened_Bad, %function
s2_symbolic_widened_Bad:
	@ args = 0, pretend = 0, frame = 24
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, fp, lr}
	add	fp, sp, #8
	sub	sp, sp, #28
	str	r0, [fp, #-32]
	ldr	r3, .L107
	ldr	r3, [r3]
	str	r3, [fp, #-16]
	mov	r3,#0
	mov	r3, sp
	mov	r4, r3
	ldr	r3, [fp, #-32]
	ldr	ip, [r3]
	sub	r3, ip, #1
	str	r3, [fp, #-24]
	mov	r3, ip
	mov	r0, r3
	mov	r1, #0
	mov	r2, #0
	mov	r3, #0
	lsl	r3, r1, #5
	orr	r3, r3, r0, lsr #27
	lsl	r2, r0, #5
	mov	r3, ip
	mov	r0, r3
	mov	r1, #0
	mov	r2, #0
	mov	r3, #0
	lsl	r3, r1, #5
	orr	r3, r3, r0, lsr #27
	lsl	r2, r0, #5
	mov	r3, ip
	lsl	r3, r3, #2
	add	r3, r3, #7
	lsr	r3, r3, #3
	lsl	r3, r3, #3
	sub	sp, sp, r3
	mov	r3, sp
	add	r3, r3, #3
	lsr	r3, r3, #2
	lsl	r3, r3, #2
	str	r3, [fp, #-20]
	ldr	r3, [fp, #-32]
	ldr	r3, [r3]
	str	r3, [fp, #-28]
	b	.L104
.L105:
	ldr	r3, [fp, #-20]
	ldr	r2, [fp, #-28]
	mov	r1, #0
	str	r1, [r3, r2, lsl #2]
	ldr	r3, [fp, #-28]
	add	r3, r3, #1
	str	r3, [fp, #-28]
.L104:
	ldr	r3, [fp, #-32]
	ldr	r3, [r3]
	lsl	r3, r3, #1
	mov	r1, r3
	ldr	r0, [fp, #-28]
	bl	less_than
	mov	r3, r0
	cmp	r3, #0
	bne	.L105
	mov	sp, r4
	nop
	ldr	r3, .L107
	ldr	r2, [r3]
	ldr	r3, [fp, #-16]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L106
	bl	__stack_chk_fail
.L106:
	sub	sp, fp, #8
	@ sp needed
	pop	{r4, fp, pc}
.L108:
	.align	2
.L107:
	.word	.LC20
	.size	s2_symbolic_widened_Bad, .-s2_symbolic_widened_Bad
	.section	.rodata
	.align	2
.LC21:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	s2_symbolic_widened_Good_FP
	.syntax unified
	.arm
	.fpu softvfp
	.type	s2_symbolic_widened_Good_FP, %function
s2_symbolic_widened_Good_FP:
	@ args = 0, pretend = 0, frame = 24
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, fp, lr}
	add	fp, sp, #8
	sub	sp, sp, #28
	str	r0, [fp, #-32]
	ldr	r3, .L113
	ldr	r3, [r3]
	str	r3, [fp, #-16]
	mov	r3,#0
	mov	r3, sp
	mov	r4, r3
	ldr	r3, [fp, #-32]
	ldr	ip, [r3]
	sub	r3, ip, #1
	str	r3, [fp, #-24]
	mov	r3, ip
	mov	r0, r3
	mov	r1, #0
	mov	r2, #0
	mov	r3, #0
	lsl	r3, r1, #5
	orr	r3, r3, r0, lsr #27
	lsl	r2, r0, #5
	mov	r3, ip
	mov	r0, r3
	mov	r1, #0
	mov	r2, #0
	mov	r3, #0
	lsl	r3, r1, #5
	orr	r3, r3, r0, lsr #27
	lsl	r2, r0, #5
	mov	r3, ip
	lsl	r3, r3, #2
	add	r3, r3, #7
	lsr	r3, r3, #3
	lsl	r3, r3, #3
	sub	sp, sp, r3
	mov	r3, sp
	add	r3, r3, #3
	lsr	r3, r3, #2
	lsl	r3, r3, #2
	str	r3, [fp, #-20]
	ldr	r3, [fp, #-32]
	ldr	r3, [r3]
	str	r3, [fp, #-28]
	b	.L110
.L111:
	ldr	r3, [fp, #-20]
	ldr	r2, [fp, #-28]
	mov	r1, #0
	str	r1, [r3, r2, lsl #2]
	ldr	r3, [fp, #-28]
	add	r3, r3, #1
	str	r3, [fp, #-28]
.L110:
	ldr	r3, [fp, #-32]
	ldr	r3, [r3]
	mov	r1, r3
	ldr	r0, [fp, #-28]
	bl	less_than
	mov	r3, r0
	cmp	r3, #0
	bne	.L111
	mov	sp, r4
	nop
	ldr	r3, .L113
	ldr	r2, [r3]
	ldr	r3, [fp, #-16]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L112
	bl	__stack_chk_fail
.L112:
	sub	sp, fp, #8
	@ sp needed
	pop	{r4, fp, pc}
.L114:
	.align	2
.L113:
	.word	.LC21
	.size	s2_symbolic_widened_Good_FP, .-s2_symbolic_widened_Good_FP
	.align	2
	.global	FP_call_s2_symbolic_widened_Silenced
	.syntax unified
	.arm
	.fpu softvfp
	.type	FP_call_s2_symbolic_widened_Silenced, %function
FP_call_s2_symbolic_widened_Silenced:
	@ 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	r0, [fp, #-8]
	bl	s2_symbolic_widened_Bad
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	FP_call_s2_symbolic_widened_Silenced, .-FP_call_s2_symbolic_widened_Silenced
	.section	.rodata
	.align	2
.LC22:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	l1_call_to_s2_symbolic_widened_Bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	l1_call_to_s2_symbolic_widened_Bad, %function
l1_call_to_s2_symbolic_widened_Bad:
	@ 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, .L118
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	mov	r3, #1
	str	r3, [fp, #-12]
	sub	r3, fp, #12
	mov	r0, r3
	bl	s2_symbolic_widened_Bad
	nop
	ldr	r3, .L118
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L117
	bl	__stack_chk_fail
.L117:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L119:
	.align	2
.L118:
	.word	.LC22
	.size	l1_call_to_s2_symbolic_widened_Bad, .-l1_call_to_s2_symbolic_widened_Bad
	.section	.rodata
	.align	2
.LC23:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	may_underrun_symbolic_Nowarn_Good
	.syntax unified
	.arm
	.fpu softvfp
	.type	may_underrun_symbolic_Nowarn_Good, %function
may_underrun_symbolic_Nowarn_Good:
	@ 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, #-24]
	ldr	r3, .L122
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	mov	r3, sp
	mov	lr, r3
	ldr	ip, [fp, #-24]
	sub	r3, ip, #1
	str	r3, [fp, #-16]
	mov	r3, ip
	mov	r0, r3
	mov	r1, #0
	mov	r2, #0
	mov	r3, #0
	lsl	r3, r1, #5
	orr	r3, r3, r0, lsr #27
	lsl	r2, r0, #5
	mov	r3, ip
	mov	r0, r3
	mov	r1, #0
	mov	r2, #0
	mov	r3, #0
	lsl	r3, r1, #5
	orr	r3, r3, r0, lsr #27
	lsl	r2, r0, #5
	mov	r3, ip
	lsl	r3, r3, #2
	add	r3, r3, #7
	lsr	r3, r3, #3
	lsl	r3, r3, #3
	sub	sp, sp, r3
	mov	r3, sp
	add	r3, r3, #3
	lsr	r3, r3, #2
	lsl	r3, r3, #2
	str	r3, [fp, #-12]
	ldr	r3, [fp, #-24]
	sub	r2, r3, #1
	ldr	r3, [fp, #-12]
	mov	r1, #0
	str	r1, [r3, r2, lsl #2]
	mov	sp, lr
	nop
	ldr	r3, .L122
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L121
	bl	__stack_chk_fail
.L121:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L123:
	.align	2
.L122:
	.word	.LC23
	.size	may_underrun_symbolic_Nowarn_Good, .-may_underrun_symbolic_Nowarn_Good
	.section	.rodata
	.align	2
.LC24:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	may_over_or_underrun_symbolic_Nowarn_Good
	.syntax unified
	.arm
	.fpu softvfp
	.type	may_over_or_underrun_symbolic_Nowarn_Good, %function
may_over_or_underrun_symbolic_Nowarn_Good:
	@ args = 0, pretend = 0, frame = 56
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #56
	str	r0, [fp, #-56]
	ldr	r3, .L126
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	ldr	r3, [fp, #-56]
	lsl	r3, r3, #2
	sub	r2, fp, #4
	add	r3, r2, r3
	mov	r2, #0
	str	r2, [r3, #-44]
	nop
	ldr	r3, .L126
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L125
	bl	__stack_chk_fail
.L125:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L127:
	.align	2
.L126:
	.word	.LC24
	.size	may_over_or_underrun_symbolic_Nowarn_Good, .-may_over_or_underrun_symbolic_Nowarn_Good
	.section	.rodata
	.align	2
.LC25:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	may_over_or_underrun_symbolic2_Nowarn_Good
	.syntax unified
	.arm
	.fpu softvfp
	.type	may_over_or_underrun_symbolic2_Nowarn_Good, %function
may_over_or_underrun_symbolic2_Nowarn_Good:
	@ 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, #-24]
	ldr	r3, .L130
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	mov	r3, sp
	mov	lr, r3
	ldr	ip, [fp, #-24]
	sub	r3, ip, #1
	str	r3, [fp, #-16]
	mov	r3, ip
	mov	r0, r3
	mov	r1, #0
	mov	r2, #0
	mov	r3, #0
	lsl	r3, r1, #5
	orr	r3, r3, r0, lsr #27
	lsl	r2, r0, #5
	mov	r3, ip
	mov	r0, r3
	mov	r1, #0
	mov	r2, #0
	mov	r3, #0
	lsl	r3, r1, #5
	orr	r3, r3, r0, lsr #27
	lsl	r2, r0, #5
	mov	r3, ip
	lsl	r3, r3, #2
	add	r3, r3, #7
	lsr	r3, r3, #3
	lsl	r3, r3, #3
	sub	sp, sp, r3
	mov	r3, sp
	add	r3, r3, #3
	lsr	r3, r3, #2
	lsl	r3, r3, #2
	str	r3, [fp, #-12]
	ldr	r3, [fp, #-12]
	mov	r2, #0
	str	r2, [r3, #4]
	mov	sp, lr
	nop
	ldr	r3, .L130
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L129
	bl	__stack_chk_fail
.L129:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L131:
	.align	2
.L130:
	.word	.LC25
	.size	may_over_or_underrun_symbolic2_Nowarn_Good, .-may_over_or_underrun_symbolic2_Nowarn_Good
	.align	2
	.global	alloc_is_negative_Bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	alloc_is_negative_Bad, %function
alloc_is_negative_Bad:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	mvn	r0, #1
	bl	malloc
	nop
	pop	{fp, pc}
	.size	alloc_is_negative_Bad, .-alloc_is_negative_Bad
	.align	2
	.global	alloc_may_be_negative_Bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	alloc_may_be_negative_Bad, %function
alloc_may_be_negative_Bad:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	mov	r0, #0
	bl	zero_or_ten
	mov	r3, r0
	sub	r3, r3, #5
	mov	r0, r3
	bl	malloc
	nop
	pop	{fp, pc}
	.size	alloc_may_be_negative_Bad, .-alloc_may_be_negative_Bad
	.align	2
	.global	alloc_may_be_negative_Good_FP
	.syntax unified
	.arm
	.fpu softvfp
	.type	alloc_may_be_negative_Good_FP, %function
alloc_may_be_negative_Good_FP:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	mov	r0, #1
	bl	zero_or_ten
	mov	r3, r0
	sub	r3, r3, #5
	mov	r0, r3
	bl	malloc
	nop
	pop	{fp, pc}
	.size	alloc_may_be_negative_Good_FP, .-alloc_may_be_negative_Good_FP
	.align	2
	.global	alloc_is_zero_Bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	alloc_is_zero_Bad, %function
alloc_is_zero_Bad:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	mov	r0, #0
	bl	malloc
	nop
	pop	{fp, pc}
	.size	alloc_is_zero_Bad, .-alloc_is_zero_Bad
	.align	2
	.global	alloc_is_big_Bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	alloc_is_big_Bad, %function
alloc_is_big_Bad:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r0, .L137
	bl	malloc
	nop
	pop	{fp, pc}
.L138:
	.align	2
.L137:
	.word	2000000000
	.size	alloc_is_big_Bad, .-alloc_is_big_Bad
	.align	2
	.global	alloc_may_be_big_Bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	alloc_may_be_big_Bad, %function
alloc_may_be_big_Bad:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	mov	r0, #1
	bl	zero_or_ten
	mov	r3, r0
	ldr	r2, .L140
	mul	r3, r2, r3
	add	r3, r3, #1
	mov	r0, r3
	bl	malloc
	nop
	pop	{fp, pc}
.L141:
	.align	2
.L140:
	.word	100000000
	.size	alloc_may_be_big_Bad, .-alloc_may_be_big_Bad
	.align	2
	.global	call_to_alloc_may_be_big_Good
	.syntax unified
	.arm
	.fpu softvfp
	.type	call_to_alloc_may_be_big_Good, %function
call_to_alloc_may_be_big_Good:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	bl	alloc_may_be_big_Bad
	nop
	pop	{fp, pc}
	.size	call_to_alloc_may_be_big_Good, .-call_to_alloc_may_be_big_Good
	.align	2
	.global	alloc_may_be_big_Good_FP
	.syntax unified
	.arm
	.fpu softvfp
	.type	alloc_may_be_big_Good_FP, %function
alloc_may_be_big_Good_FP:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	mov	r0, #1
	bl	zero_or_ten
	mov	r3, r0
	ldr	r2, .L144
	mul	r3, r2, r3
	add	r3, r3, #1
	mov	r0, r3
	bl	malloc
	nop
	pop	{fp, pc}
.L145:
	.align	2
.L144:
	.word	100000000
	.size	alloc_may_be_big_Good_FP, .-alloc_may_be_big_Good_FP
	.align	2
	.global	alloc_may_be_big2_Silenced
	.syntax unified
	.arm
	.fpu softvfp
	.type	alloc_may_be_big2_Silenced, %function
alloc_may_be_big2_Silenced:
	@ 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]
	bl	zero_to_infty
	mov	r2, r0
	ldr	r3, [fp, #-8]
	add	r3, r2, r3
	mov	r0, r3
	bl	malloc
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	alloc_may_be_big2_Silenced, .-alloc_may_be_big2_Silenced
	.align	2
	.global	call_to_alloc_may_be_big2_is_big_Bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	call_to_alloc_may_be_big2_is_big_Bad, %function
call_to_alloc_may_be_big2_is_big_Bad:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r0, .L148
	bl	alloc_may_be_big2_Silenced
	nop
	pop	{fp, pc}
.L149:
	.align	2
.L148:
	.word	100000000
	.size	call_to_alloc_may_be_big2_is_big_Bad, .-call_to_alloc_may_be_big2_is_big_Bad
	.section	.rodata
	.align	2
.LC26:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	l1_unknown_function_Bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	l1_unknown_function_Bad, %function
l1_unknown_function_Bad:
	@ args = 0, pretend = 0, frame = 32
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #32
	ldr	r3, .L154
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	bl	unknown_function
	mov	r2, r0
	mov	r3, r2
	lsl	r3, r3, #2
	add	r3, r3, r2
	lsl	r3, r3, #1
	str	r3, [fp, #-32]
	ldr	r3, [fp, #-32]
	cmp	r3, #9
	ble	.L153
	ldr	r3, [fp, #-32]
	cmp	r3, #10
	bgt	.L153
	ldr	r3, [fp, #-32]
	lsl	r3, r3, #2
	sub	r2, fp, #4
	add	r3, r2, r3
	mov	r2, #0
	str	r2, [r3, #-24]
.L153:
	nop
	ldr	r3, .L154
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L152
	bl	__stack_chk_fail
.L152:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L155:
	.align	2
.L154:
	.word	.LC26
	.size	l1_unknown_function_Bad, .-l1_unknown_function_Bad
	.section	.rodata
	.align	2
.LC27:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	loop_underrun_Bad_FN
	.syntax unified
	.arm
	.fpu softvfp
	.type	loop_underrun_Bad_FN, %function
loop_underrun_Bad_FN:
	@ 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, #-24]
	ldr	r3, .L160
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	mov	r3, sp
	mov	lr, r3
	ldr	ip, [fp, #-24]
	sub	r3, ip, #1
	str	r3, [fp, #-16]
	mov	r3, ip
	mov	r0, r3
	mov	r1, #0
	mov	r2, #0
	mov	r3, #0
	lsl	r3, r1, #3
	orr	r3, r3, r0, lsr #29
	lsl	r2, r0, #3
	mov	r3, ip
	mov	r0, r3
	mov	r1, #0
	mov	r2, #0
	mov	r3, #0
	lsl	r3, r1, #3
	orr	r3, r3, r0, lsr #29
	lsl	r2, r0, #3
	mov	r3, ip
	add	r3, r3, #7
	lsr	r3, r3, #3
	lsl	r3, r3, #3
	sub	sp, sp, r3
	mov	r3, sp
	add	r3, r3, #0
	str	r3, [fp, #-12]
	ldr	r3, [fp, #-24]
	sub	r3, r3, #1
	str	r3, [fp, #-20]
	b	.L157
.L158:
	ldr	r3, [fp, #-20]
	sub	r3, r3, #1
	ldr	r2, [fp, #-12]
	mov	r1, #85
	strb	r1, [r2, r3]
	ldr	r3, [fp, #-20]
	sub	r3, r3, #1
	str	r3, [fp, #-20]
.L157:
	ldr	r3, [fp, #-20]
	cmp	r3, #0
	bge	.L158
	mov	sp, lr
	nop
	ldr	r3, .L160
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L159
	bl	__stack_chk_fail
.L159:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L161:
	.align	2
.L160:
	.word	.LC27
	.size	loop_underrun_Bad_FN, .-loop_underrun_Bad_FN
	.section	.rodata
	.align	2
.LC28:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	l2_loop_overflow_Bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	l2_loop_overflow_Bad, %function
l2_loop_overflow_Bad:
	@ 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, #-24]
	ldr	r3, .L166
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	mov	r3, sp
	mov	lr, r3
	ldr	ip, [fp, #-24]
	sub	r3, ip, #1
	str	r3, [fp, #-16]
	mov	r3, ip
	mov	r0, r3
	mov	r1, #0
	mov	r2, #0
	mov	r3, #0
	lsl	r3, r1, #3
	orr	r3, r3, r0, lsr #29
	lsl	r2, r0, #3
	mov	r3, ip
	mov	r0, r3
	mov	r1, #0
	mov	r2, #0
	mov	r3, #0
	lsl	r3, r1, #3
	orr	r3, r3, r0, lsr #29
	lsl	r2, r0, #3
	mov	r3, ip
	add	r3, r3, #7
	lsr	r3, r3, #3
	lsl	r3, r3, #3
	sub	sp, sp, r3
	mov	r3, sp
	add	r3, r3, #0
	str	r3, [fp, #-12]
	ldr	r3, [fp, #-24]
	sub	r3, r3, #1
	str	r3, [fp, #-20]
	b	.L163
.L164:
	ldr	r3, [fp, #-20]
	add	r3, r3, #1
	ldr	r2, [fp, #-12]
	mov	r1, #79
	strb	r1, [r2, r3]
	ldr	r3, [fp, #-20]
	sub	r3, r3, #1
	str	r3, [fp, #-20]
.L163:
	ldr	r3, [fp, #-20]
	cmp	r3, #0
	bge	.L164
	mov	sp, lr
	nop
	ldr	r3, .L166
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L165
	bl	__stack_chk_fail
.L165:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L167:
	.align	2
.L166:
	.word	.LC28
	.size	l2_loop_overflow_Bad, .-l2_loop_overflow_Bad
	.section	.rodata
	.align	2
.LC29:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	l2_loop_overflow2_Bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	l2_loop_overflow2_Bad, %function
l2_loop_overflow2_Bad:
	@ 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, #-24]
	ldr	r3, .L172
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	mov	r3, sp
	mov	lr, r3
	ldr	ip, [fp, #-24]
	sub	r3, ip, #1
	str	r3, [fp, #-16]
	mov	r3, ip
	mov	r0, r3
	mov	r1, #0
	mov	r2, #0
	mov	r3, #0
	lsl	r3, r1, #3
	orr	r3, r3, r0, lsr #29
	lsl	r2, r0, #3
	mov	r3, ip
	mov	r0, r3
	mov	r1, #0
	mov	r2, #0
	mov	r3, #0
	lsl	r3, r1, #3
	orr	r3, r3, r0, lsr #29
	lsl	r2, r0, #3
	mov	r3, ip
	add	r3, r3, #7
	lsr	r3, r3, #3
	lsl	r3, r3, #3
	sub	sp, sp, r3
	mov	r3, sp
	add	r3, r3, #0
	str	r3, [fp, #-12]
	ldr	r3, [fp, #-24]
	sub	r3, r3, #1
	str	r3, [fp, #-20]
	b	.L169
.L170:
	ldr	r2, [fp, #-24]
	ldr	r3, [fp, #-20]
	sub	r3, r2, r3
	ldr	r2, [fp, #-12]
	mov	r1, #79
	strb	r1, [r2, r3]
	ldr	r3, [fp, #-20]
	sub	r3, r3, #1
	str	r3, [fp, #-20]
.L169:
	ldr	r3, [fp, #-20]
	cmp	r3, #0
	bge	.L170
	mov	sp, lr
	nop
	ldr	r3, .L172
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L171
	bl	__stack_chk_fail
.L171:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L173:
	.align	2
.L172:
	.word	.LC29
	.size	l2_loop_overflow2_Bad, .-l2_loop_overflow2_Bad
	.align	2
	.global	False_Issue_Type_l3_unknown_function_Bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	False_Issue_Type_l3_unknown_function_Bad, %function
False_Issue_Type_l3_unknown_function_Bad:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	bl	zero_to_infty
	mov	r3, r0
	add	r3, r3, #5
	lsl	r3, r3, #2
	mov	r0, r3
	bl	malloc
	mov	r3, r0
	str	r3, [fp, #-12]
	bl	unknown_function
	mov	r2, r0
	mov	r3, r2
	lsl	r3, r3, #2
	add	r3, r3, r2
	lsl	r3, r3, #1
	str	r3, [fp, #-8]
	ldr	r3, [fp, #-8]
	cmp	r3, #9
	ble	.L176
	ldr	r3, [fp, #-8]
	cmp	r3, #10
	bgt	.L176
	ldr	r3, [fp, #-8]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-12]
	add	r3, r2, r3
	mov	r2, #0
	str	r2, [r3]
.L176:
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	False_Issue_Type_l3_unknown_function_Bad, .-False_Issue_Type_l3_unknown_function_Bad
	.align	2
	.global	mone_to_one
	.syntax unified
	.arm
	.fpu softvfp
	.type	mone_to_one, %function
mone_to_one:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	bl	unknown_function
	str	r0, [fp, #-8]
	ldr	r3, [fp, #-8]
	cmn	r3, #1
	blt	.L178
	ldr	r3, [fp, #-8]
	cmp	r3, #1
	bgt	.L178
	ldr	r3, [fp, #-8]
	b	.L179
.L178:
	mov	r3, #0
.L179:
	mov	r0, r3
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	mone_to_one, .-mone_to_one
	.section	.rodata
	.align	2
.LC30:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	two_safety_conditions
	.syntax unified
	.arm
	.fpu softvfp
	.type	two_safety_conditions, %function
two_safety_conditions:
	@ args = 0, pretend = 0, frame = 32
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #32
	str	r0, [fp, #-32]
	ldr	r3, .L185
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	bl	mone_to_one
	str	r0, [fp, #-24]
	bl	unknown_function
	mov	r3, r0
	cmp	r3, #0
	beq	.L181
	sub	r2, fp, #20
	ldr	r3, [fp, #-32]
	add	r3, r2, r3
	mov	r2, #0
	strb	r2, [r3]
	b	.L184
.L181:
	ldr	r2, [fp, #-32]
	ldr	r3, [fp, #-24]
	add	r3, r2, r3
	sub	r2, fp, #4
	add	r3, r2, r3
	mov	r2, #0
	strb	r2, [r3, #-16]
.L184:
	nop
	ldr	r3, .L185
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L183
	bl	__stack_chk_fail
.L183:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L186:
	.align	2
.L185:
	.word	.LC30
	.size	two_safety_conditions, .-two_safety_conditions
	.align	2
	.global	call_two_safety_conditions_l1_and_l2_Bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	call_two_safety_conditions_l1_and_l2_Bad, %function
call_two_safety_conditions_l1_and_l2_Bad:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	mov	r0, #10
	bl	two_safety_conditions
	nop
	pop	{fp, pc}
	.size	call_two_safety_conditions_l1_and_l2_Bad, .-call_two_safety_conditions_l1_and_l2_Bad
	.section	.rodata
	.align	2
.LC31:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	deduplicate_issues_Bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	deduplicate_issues_Bad, %function
deduplicate_issues_Bad:
	@ args = 0, pretend = 0, frame = 48
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #48
	ldr	r3, .L192
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	mov	r3, #10
	str	r3, [fp, #-52]
	ldr	r3, [fp, #-52]
	lsl	r3, r3, #2
	sub	r2, fp, #4
	add	r3, r2, r3
	mov	r2, #0
	str	r2, [r3, #-44]
	bl	unknown_function
	str	r0, [fp, #-52]
	ldr	r3, [fp, #-52]
	cmp	r3, #9
	ble	.L191
	ldr	r3, [fp, #-52]
	lsl	r3, r3, #2
	sub	r2, fp, #4
	add	r3, r2, r3
	mov	r2, #0
	str	r2, [r3, #-44]
.L191:
	nop
	ldr	r3, .L192
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L190
	bl	__stack_chk_fail
.L190:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L193:
	.align	2
.L192:
	.word	.LC31
	.size	deduplicate_issues_Bad, .-deduplicate_issues_Bad
	.ident	"GCC: (Ubuntu 9.4.0-1ubuntu1~20.04.2) 9.4.0"
	.section	.note.GNU-stack,"",%progbits
