	.file	"1129022.c"
	.intel_syntax noprefix
	.text
	.globl	reach_error
	.type	reach_error, @function
reach_error:
.LFB0:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE0:
	.size	reach_error, .-reach_error
	.globl	ssl3_connect
	.type	ssl3_connect, @function
ssl3_connect:
.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, 320
	mov	DWORD PTR -308[rbp], edi
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -248[rbp], eax
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -244[rbp], eax
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -240[rbp], eax
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -236[rbp], eax
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -232[rbp], eax
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -228[rbp], eax
	mov	DWORD PTR -288[rbp], 1
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -224[rbp], eax
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -220[rbp], eax
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -284[rbp], eax
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -280[rbp], eax
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -216[rbp], eax
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -212[rbp], eax
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -208[rbp], eax
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -204[rbp], eax
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -200[rbp], eax
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -196[rbp], eax
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -192[rbp], eax
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -188[rbp], eax
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -184[rbp], eax
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -180[rbp], eax
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -176[rbp], eax
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -172[rbp], eax
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -168[rbp], eax
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -164[rbp], eax
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -160[rbp], eax
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -156[rbp], eax
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -152[rbp], eax
	mov	eax, DWORD PTR -308[rbp]
	mov	DWORD PTR -292[rbp], eax
	mov	DWORD PTR -252[rbp], 0
	call	__VERIFIER_nondet_int@PLT
	cdqe
	mov	QWORD PTR -88[rbp], rax
	mov	DWORD PTR -264[rbp], 0
	mov	DWORD PTR -260[rbp], -1
	mov	DWORD PTR -256[rbp], 0
	mov	DWORD PTR -148[rbp], 0
	cmp	DWORD PTR -248[rbp], 0
	je	.L3
	mov	eax, DWORD PTR -248[rbp]
	mov	DWORD PTR -264[rbp], eax
	jmp	.L4
.L3:
	cmp	DWORD PTR -220[rbp], 0
	je	.L4
	mov	eax, DWORD PTR -220[rbp]
	mov	DWORD PTR -264[rbp], eax
.L4:
	add	DWORD PTR -244[rbp], 1
	cmp	DWORD PTR -184[rbp], 12288
	nop
.L5:
.L122:
	mov	eax, DWORD PTR -292[rbp]
	mov	DWORD PTR -144[rbp], eax
	cmp	DWORD PTR -292[rbp], 12292
	je	.L129
	cmp	DWORD PTR -292[rbp], 16384
	je	.L130
	cmp	DWORD PTR -292[rbp], 4096
	je	.L131
	cmp	DWORD PTR -292[rbp], 20480
	je	.L132
	cmp	DWORD PTR -292[rbp], 4099
	je	.L133
	cmp	DWORD PTR -292[rbp], 4368
	je	.L134
	cmp	DWORD PTR -292[rbp], 4369
	je	.L135
	cmp	DWORD PTR -292[rbp], 4384
	je	.L136
	cmp	DWORD PTR -292[rbp], 4385
	je	.L137
	cmp	DWORD PTR -292[rbp], 4400
	je	.L138
	cmp	DWORD PTR -292[rbp], 4401
	je	.L139
	cmp	DWORD PTR -292[rbp], 4416
	je	.L140
	cmp	DWORD PTR -292[rbp], 4417
	je	.L141
	cmp	DWORD PTR -292[rbp], 4432
	je	.L142
	cmp	DWORD PTR -292[rbp], 4433
	je	.L143
	cmp	DWORD PTR -292[rbp], 4448
	je	.L144
	cmp	DWORD PTR -292[rbp], 4449
	je	.L145
	cmp	DWORD PTR -292[rbp], 4464
	je	.L146
	cmp	DWORD PTR -292[rbp], 4465
	je	.L147
	cmp	DWORD PTR -292[rbp], 4466
	je	.L148
	cmp	DWORD PTR -292[rbp], 4467
	je	.L149
	cmp	DWORD PTR -292[rbp], 4480
	je	.L150
	cmp	DWORD PTR -292[rbp], 4481
	je	.L151
	cmp	DWORD PTR -292[rbp], 4496
	je	.L152
	cmp	DWORD PTR -292[rbp], 4497
	je	.L153
	cmp	DWORD PTR -292[rbp], 4512
	je	.L154
	cmp	DWORD PTR -292[rbp], 4513
	je	.L155
	cmp	DWORD PTR -292[rbp], 4528
	je	.L156
	cmp	DWORD PTR -292[rbp], 4529
	je	.L157
	cmp	DWORD PTR -292[rbp], 4560
	je	.L158
	cmp	DWORD PTR -292[rbp], 4561
	je	.L159
	cmp	DWORD PTR -292[rbp], 4352
	je	.L160
	cmp	DWORD PTR -292[rbp], 3
	jne	.L161
	jmp	.L126
.L129:
	nop
.L7:
	mov	DWORD PTR -136[rbp], 1
	mov	DWORD PTR -292[rbp], 4096
	add	DWORD PTR -284[rbp], 1
	jmp	.L15
.L9:
.L11:
.L13:
.L130:
	nop
	jmp	.L15
.L131:
	nop
	jmp	.L15
.L132:
	nop
	jmp	.L15
.L133:
	nop
.L15:
	mov	DWORD PTR -108[rbp], 0
	mov	eax, DWORD PTR -240[rbp]
	sub	eax, 65280
	mov	DWORD PTR -104[rbp], eax
	cmp	DWORD PTR -104[rbp], 768
	je	.L73
	mov	DWORD PTR -260[rbp], -1
	jmp	.L74
.L73:
	mov	DWORD PTR -100[rbp], 4096
	cmp	DWORD PTR -288[rbp], 0
	jne	.L75
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -96[rbp], eax
	cmp	DWORD PTR -96[rbp], 0
	jne	.L76
	mov	DWORD PTR -260[rbp], -1
	jmp	.L74
.L76:
	cmp	DWORD PTR -176[rbp], 0
	jne	.L77
	mov	DWORD PTR -260[rbp], -1
	jmp	.L74
.L77:
	mov	eax, DWORD PTR -96[rbp]
	mov	DWORD PTR -288[rbp], eax
.L75:
	cmp	DWORD PTR -172[rbp], 0
	jne	.L78
	mov	DWORD PTR -260[rbp], -1
	jmp	.L74
.L78:
	cmp	DWORD PTR -168[rbp], 0
	jne	.L79
	mov	DWORD PTR -260[rbp], -1
	jmp	.L74
.L79:
	mov	DWORD PTR -292[rbp], 4368
	add	DWORD PTR -280[rbp], 1
	mov	DWORD PTR -140[rbp], 0
	jmp	.L80
.L17:
.L134:
	nop
	jmp	.L19
.L135:
	nop
.L19:
	mov	DWORD PTR -112[rbp], 0
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -260[rbp], eax
	cmp	DWORD PTR -252[rbp], 0
	jne	.L81
	mov	DWORD PTR -252[rbp], 1
.L81:
	cmp	DWORD PTR -260[rbp], 0
	jle	.L162
	mov	DWORD PTR -292[rbp], 4384
	mov	DWORD PTR -140[rbp], 0
	jmp	.L80
.L21:
.L136:
	nop
	jmp	.L23
.L137:
	nop
.L23:
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -260[rbp], eax
	cmp	DWORD PTR -252[rbp], 1
	jne	.L83
	mov	DWORD PTR -252[rbp], 2
.L83:
	cmp	DWORD PTR -260[rbp], 0
	jle	.L163
	cmp	DWORD PTR -228[rbp], 0
	je	.L85
	mov	DWORD PTR -292[rbp], 4560
	jmp	.L86
.L85:
	mov	DWORD PTR -292[rbp], 4400
.L86:
	mov	DWORD PTR -140[rbp], 0
	jmp	.L80
.L25:
.L138:
	nop
	jmp	.L27
.L139:
	nop
.L27:
	cmp	DWORD PTR -192[rbp], 256
	je	.L87
	mov	DWORD PTR -256[rbp], 1
	jmp	.L88
.L87:
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -260[rbp], eax
	cmp	DWORD PTR -252[rbp], 2
	jne	.L89
	mov	DWORD PTR -252[rbp], 3
.L89:
	cmp	DWORD PTR -260[rbp], 0
	jle	.L164
.L88:
	mov	DWORD PTR -292[rbp], 4416
	mov	DWORD PTR -140[rbp], 0
	jmp	.L80
.L29:
.L140:
	nop
	jmp	.L31
.L141:
	nop
.L31:
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -260[rbp], eax
	cmp	DWORD PTR -252[rbp], 3
	jne	.L90
	mov	DWORD PTR -252[rbp], 4
.L90:
	cmp	DWORD PTR -260[rbp], 0
	jle	.L165
	mov	DWORD PTR -292[rbp], 4432
	mov	DWORD PTR -140[rbp], 0
	cmp	DWORD PTR -164[rbp], 0
	jne	.L166
	mov	DWORD PTR -260[rbp], -1
	jmp	.L74
.L33:
.L142:
	nop
	jmp	.L35
.L143:
	nop
.L35:
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -260[rbp], eax
	cmp	DWORD PTR -252[rbp], 5
	je	.L167
	cmp	DWORD PTR -260[rbp], 0
	jle	.L168
	mov	DWORD PTR -292[rbp], 4448
	mov	DWORD PTR -140[rbp], 0
	jmp	.L80
.L37:
.L144:
	nop
	jmp	.L39
.L145:
	nop
.L39:
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -260[rbp], eax
	cmp	DWORD PTR -252[rbp], 4
	jne	.L96
	mov	DWORD PTR -252[rbp], 5
.L96:
	cmp	DWORD PTR -260[rbp], 0
	jle	.L169
	cmp	DWORD PTR -208[rbp], 0
	je	.L98
	mov	DWORD PTR -292[rbp], 4464
	jmp	.L99
.L98:
	mov	DWORD PTR -292[rbp], 4480
.L99:
	mov	DWORD PTR -140[rbp], 0
	jmp	.L80
.L41:
.L43:
.L45:
.L146:
	nop
	jmp	.L47
.L147:
	nop
	jmp	.L47
.L148:
	nop
	jmp	.L47
.L149:
	nop
.L47:
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -260[rbp], eax
	cmp	DWORD PTR -260[rbp], 0
	jle	.L170
	mov	DWORD PTR -292[rbp], 4480
	mov	DWORD PTR -140[rbp], 0
	jmp	.L80
.L49:
.L150:
	nop
	jmp	.L51
.L151:
	nop
.L51:
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -260[rbp], eax
	cmp	DWORD PTR -260[rbp], 0
	jle	.L171
	mov	eax, DWORD PTR -192[rbp]
	cdqe
	mov	QWORD PTR -8[rbp], rax
	cmp	DWORD PTR -208[rbp], 1
	jne	.L102
	mov	DWORD PTR -292[rbp], 4496
	jmp	.L103
.L102:
	mov	DWORD PTR -292[rbp], 4512
	mov	DWORD PTR -116[rbp], 0
.L103:
	mov	DWORD PTR -140[rbp], 0
	jmp	.L80
.L53:
.L152:
	nop
	jmp	.L55
.L153:
	nop
.L55:
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -260[rbp], eax
	cmp	DWORD PTR -260[rbp], 0
	jle	.L172
	mov	DWORD PTR -292[rbp], 4512
	mov	DWORD PTR -140[rbp], 0
	mov	DWORD PTR -116[rbp], 0
	jmp	.L80
.L57:
.L154:
	nop
	jmp	.L59
.L155:
	nop
.L59:
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -260[rbp], eax
	cmp	DWORD PTR -260[rbp], 0
	jle	.L173
	mov	DWORD PTR -292[rbp], 4528
	mov	DWORD PTR -140[rbp], 0
	mov	eax, DWORD PTR -196[rbp]
	mov	DWORD PTR -124[rbp], eax
	cmp	DWORD PTR -204[rbp], 0
	jne	.L106
	mov	DWORD PTR -120[rbp], 0
	jmp	.L107
.L106:
	mov	eax, DWORD PTR -188[rbp]
	mov	DWORD PTR -120[rbp], eax
.L107:
	cmp	DWORD PTR -160[rbp], 0
	jne	.L108
	mov	DWORD PTR -260[rbp], -1
	jmp	.L74
.L108:
	cmp	DWORD PTR -156[rbp], 0
	jne	.L174
	mov	DWORD PTR -260[rbp], -1
	jmp	.L74
.L61:
.L156:
	nop
	jmp	.L63
.L157:
	nop
.L63:
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -260[rbp], eax
	cmp	DWORD PTR -260[rbp], 0
	jle	.L175
	mov	DWORD PTR -292[rbp], 4352
	mov	eax, DWORD PTR -276[rbp]
	cdqe
	mov	QWORD PTR -48[rbp], rax
	mov	rax, QWORD PTR -48[rbp]
	add	rax, 5
	mov	QWORD PTR -40[rbp], rax
	mov	rax, QWORD PTR -40[rbp]
	mov	DWORD PTR -276[rbp], eax
	cmp	DWORD PTR -228[rbp], 0
	je	.L111
	mov	DWORD PTR -272[rbp], 3
	mov	eax, DWORD PTR -276[rbp]
	cdqe
	mov	QWORD PTR -32[rbp], rax
	cmp	QWORD PTR -32[rbp], 2
	je	.L112
	mov	DWORD PTR -292[rbp], 3
	mov	eax, DWORD PTR -276[rbp]
	cdqe
	mov	QWORD PTR -24[rbp], rax
	mov	rax, QWORD PTR -24[rbp]
	add	rax, 4
	mov	QWORD PTR -16[rbp], rax
	mov	rax, QWORD PTR -16[rbp]
	mov	DWORD PTR -276[rbp], eax
	mov	DWORD PTR -128[rbp], 0
	jmp	.L112
.L111:
	mov	DWORD PTR -272[rbp], 4560
.L112:
	mov	DWORD PTR -140[rbp], 0
	jmp	.L80
.L65:
.L158:
	nop
	jmp	.L67
.L159:
	nop
.L67:
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -260[rbp], eax
	cmp	DWORD PTR -260[rbp], 0
	jle	.L176
	cmp	DWORD PTR -228[rbp], 0
	je	.L114
	mov	DWORD PTR -292[rbp], 4512
	jmp	.L115
.L114:
	mov	DWORD PTR -292[rbp], 3
.L115:
	mov	DWORD PTR -140[rbp], 0
	jmp	.L80
.L160:
	nop
.L69:
	mov	eax, DWORD PTR -268[rbp]
	cdqe
	mov	QWORD PTR -64[rbp], rax
	cmp	QWORD PTR -64[rbp], 0
	jle	.L116
	mov	DWORD PTR -132[rbp], 2
	mov	eax, DWORD PTR -152[rbp]
	mov	DWORD PTR -268[rbp], eax
	mov	eax, DWORD PTR -268[rbp]
	cdqe
	mov	QWORD PTR -56[rbp], rax
	cmp	QWORD PTR -56[rbp], 0
	jg	.L117
	mov	DWORD PTR -260[rbp], -1
	jmp	.L74
.L117:
	mov	DWORD PTR -132[rbp], 1
.L116:
	mov	eax, DWORD PTR -272[rbp]
	mov	DWORD PTR -292[rbp], eax
	jmp	.L80
.L126:
.L71:
	cmp	DWORD PTR -288[rbp], 0
	je	.L118
	mov	DWORD PTR -288[rbp], 0
.L118:
	mov	eax, DWORD PTR -276[rbp]
	cdqe
	mov	QWORD PTR -80[rbp], rax
	mov	rax, QWORD PTR -80[rbp]
	sub	rax, 4
	mov	QWORD PTR -72[rbp], rax
	mov	DWORD PTR -140[rbp], 0
	mov	DWORD PTR -136[rbp], 0
	cmp	DWORD PTR -228[rbp], 0
	je	.L119
	add	DWORD PTR -216[rbp], 1
.L119:
	mov	DWORD PTR -260[rbp], 1
	add	DWORD PTR -212[rbp], 1
	jmp	.L74
.L161:
	nop
.L72:
	mov	DWORD PTR -260[rbp], -1
	jmp	.L74
.L166:
	nop
	jmp	.L80
.L174:
	nop
.L80:
	cmp	DWORD PTR -200[rbp], 0
	jne	.L120
	cmp	DWORD PTR -256[rbp], 0
	jne	.L120
	cmp	DWORD PTR -224[rbp], 0
	je	.L121
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -260[rbp], eax
	cmp	DWORD PTR -260[rbp], 0
	jle	.L177
.L121:
	cmp	DWORD PTR -264[rbp], 0
	je	.L120
	mov	eax, DWORD PTR -292[rbp]
	cmp	eax, DWORD PTR -144[rbp]
	je	.L120
	mov	eax, DWORD PTR -292[rbp]
	mov	DWORD PTR -92[rbp], eax
	mov	eax, DWORD PTR -144[rbp]
	mov	DWORD PTR -292[rbp], eax
	mov	eax, DWORD PTR -92[rbp]
	mov	DWORD PTR -292[rbp], eax
.L120:
	mov	DWORD PTR -256[rbp], 0
	jmp	.L122
.L162:
	nop
	jmp	.L74
.L163:
	nop
	jmp	.L74
.L164:
	nop
	jmp	.L74
.L165:
	nop
	jmp	.L74
.L168:
	nop
	jmp	.L74
.L169:
	nop
	jmp	.L74
.L170:
	nop
	jmp	.L74
.L171:
	nop
	jmp	.L74
.L172:
	nop
	jmp	.L74
.L173:
	nop
	jmp	.L74
.L175:
	nop
	jmp	.L74
.L176:
	nop
	jmp	.L74
.L177:
	nop
.L74:
	sub	DWORD PTR -244[rbp], 1
	mov	eax, DWORD PTR -260[rbp]
	jmp	.L128
.L167:
	nop
.L94:
	mov	eax, 0
	call	reach_error
	call	abort@PLT
.L128:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE1:
	.size	ssl3_connect, .-ssl3_connect
	.globl	main
	.type	main, @function
main:
.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, 16
	mov	DWORD PTR -4[rbp], 12292
	mov	edi, 12292
	call	ssl3_connect
	mov	eax, 0
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE2:
	.size	main, .-main
	.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	"1129022.c"
	.text
	.align	2
	.global	reach_error
	.syntax unified
	.arm
	.fpu softvfp
	.type	reach_error, %function
reach_error:
	@ 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
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
	.size	reach_error, .-reach_error
	.align	2
	.global	ssl3_connect
	.syntax unified
	.arm
	.fpu softvfp
	.type	ssl3_connect, %function
ssl3_connect:
	@ args = 0, pretend = 0, frame = 256
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #256
	str	r0, [fp, #-256]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-208]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-204]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-200]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-196]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-192]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-188]
	mov	r3, #1
	str	r3, [fp, #-248]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-184]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-180]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-244]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-240]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-176]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-172]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-168]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-164]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-160]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-156]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-152]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-148]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-144]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-140]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-136]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-132]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-128]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-124]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-120]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-116]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-112]
	ldr	r3, [fp, #-256]
	str	r3, [fp, #-252]
	mov	r3, #0
	str	r3, [fp, #-212]
	bl	__VERIFIER_nondet_int
	mov	r3, r0
	str	r3, [fp, #-108]
	mov	r3, #0
	str	r3, [fp, #-224]
	mvn	r3, #0
	str	r3, [fp, #-220]
	mov	r3, #0
	str	r3, [fp, #-216]
	mov	r3, #0
	str	r3, [fp, #-104]
	ldr	r3, [fp, #-208]
	cmp	r3, #0
	beq	.L3
	ldr	r3, [fp, #-208]
	str	r3, [fp, #-224]
	b	.L4
.L3:
	ldr	r3, [fp, #-180]
	cmp	r3, #0
	beq	.L4
	ldr	r3, [fp, #-180]
	str	r3, [fp, #-224]
.L4:
	ldr	r3, [fp, #-204]
	add	r3, r3, #1
	str	r3, [fp, #-204]
	ldr	r3, [fp, #-144]
	cmp	r3, #12288
	nop
.L5:
.L122:
	ldr	r3, [fp, #-252]
	str	r3, [fp, #-100]
	ldr	r3, [fp, #-252]
	ldr	r2, .L179
	cmp	r3, r2
	beq	.L130
	ldr	r3, [fp, #-252]
	cmp	r3, #16384
	beq	.L131
	ldr	r3, [fp, #-252]
	cmp	r3, #4096
	beq	.L132
	ldr	r3, [fp, #-252]
	cmp	r3, #20480
	beq	.L133
	ldr	r3, [fp, #-252]
	ldr	r2, .L179+4
	cmp	r3, r2
	beq	.L134
	ldr	r3, [fp, #-252]
	ldr	r2, .L179+8
	cmp	r3, r2
	beq	.L135
	ldr	r3, [fp, #-252]
	ldr	r2, .L179+12
	cmp	r3, r2
	beq	.L136
	ldr	r3, [fp, #-252]
	ldr	r2, .L179+16
	cmp	r3, r2
	beq	.L137
	ldr	r3, [fp, #-252]
	ldr	r2, .L179+20
	cmp	r3, r2
	beq	.L138
	ldr	r3, [fp, #-252]
	ldr	r2, .L179+24
	cmp	r3, r2
	beq	.L139
	ldr	r3, [fp, #-252]
	ldr	r2, .L179+28
	cmp	r3, r2
	beq	.L140
	ldr	r3, [fp, #-252]
	cmp	r3, #4416
	beq	.L141
	ldr	r3, [fp, #-252]
	ldr	r2, .L179+32
	cmp	r3, r2
	beq	.L142
	ldr	r3, [fp, #-252]
	ldr	r2, .L179+36
	cmp	r3, r2
	beq	.L143
	ldr	r3, [fp, #-252]
	ldr	r2, .L179+40
	cmp	r3, r2
	beq	.L144
	ldr	r3, [fp, #-252]
	ldr	r2, .L179+44
	cmp	r3, r2
	beq	.L145
	ldr	r3, [fp, #-252]
	ldr	r2, .L179+48
	cmp	r3, r2
	beq	.L146
	ldr	r3, [fp, #-252]
	ldr	r2, .L179+52
	cmp	r3, r2
	beq	.L147
	ldr	r3, [fp, #-252]
	ldr	r2, .L179+56
	cmp	r3, r2
	beq	.L148
	ldr	r3, [fp, #-252]
	ldr	r2, .L179+60
	cmp	r3, r2
	beq	.L149
	ldr	r3, [fp, #-252]
	ldr	r2, .L179+64
	cmp	r3, r2
	beq	.L150
	ldr	r3, [fp, #-252]
	cmp	r3, #4480
	beq	.L151
	ldr	r3, [fp, #-252]
	ldr	r2, .L179+68
	cmp	r3, r2
	beq	.L152
	ldr	r3, [fp, #-252]
	ldr	r2, .L179+72
	cmp	r3, r2
	beq	.L153
	ldr	r3, [fp, #-252]
	ldr	r2, .L179+76
	cmp	r3, r2
	beq	.L154
	ldr	r3, [fp, #-252]
	ldr	r2, .L179+80
	cmp	r3, r2
	beq	.L155
	ldr	r3, [fp, #-252]
	ldr	r2, .L179+84
	cmp	r3, r2
	beq	.L156
	ldr	r3, [fp, #-252]
	ldr	r2, .L179+88
	cmp	r3, r2
	beq	.L157
	ldr	r3, [fp, #-252]
	ldr	r2, .L179+92
	cmp	r3, r2
	beq	.L158
	ldr	r3, [fp, #-252]
	ldr	r2, .L179+96
	cmp	r3, r2
	beq	.L159
	ldr	r3, [fp, #-252]
	ldr	r2, .L179+100
	cmp	r3, r2
	beq	.L160
	ldr	r3, [fp, #-252]
	cmp	r3, #4352
	beq	.L161
	ldr	r3, [fp, #-252]
	cmp	r3, #3
	bne	.L162
	b	.L127
.L130:
	nop
.L7:
	mov	r3, #1
	str	r3, [fp, #-84]
	mov	r3, #4096
	str	r3, [fp, #-252]
	ldr	r3, [fp, #-244]
	add	r3, r3, #1
	str	r3, [fp, #-244]
	b	.L58
.L9:
.L56:
.L57:
.L131:
	nop
	b	.L58
.L132:
	nop
	b	.L58
.L133:
	nop
	b	.L58
.L134:
	nop
.L58:
	mov	r3, #0
	str	r3, [fp, #-24]
	ldr	r3, [fp, #-200]
	sub	r3, r3, #65280
	str	r3, [fp, #-20]
	ldr	r3, [fp, #-20]
	cmp	r3, #768
	beq	.L59
	mvn	r3, #0
	str	r3, [fp, #-220]
	b	.L123
.L59:
	mov	r3, #4096
	str	r3, [fp, #-16]
	ldr	r3, [fp, #-248]
	cmp	r3, #0
	bne	.L61
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-12]
	ldr	r3, [fp, #-12]
	cmp	r3, #0
	bne	.L62
	mvn	r3, #0
	str	r3, [fp, #-220]
	b	.L123
.L62:
	ldr	r3, [fp, #-136]
	cmp	r3, #0
	bne	.L63
	mvn	r3, #0
	str	r3, [fp, #-220]
	b	.L123
.L63:
	ldr	r3, [fp, #-12]
	str	r3, [fp, #-248]
.L61:
	ldr	r3, [fp, #-132]
	cmp	r3, #0
	bne	.L64
	mvn	r3, #0
	str	r3, [fp, #-220]
	b	.L123
.L64:
	ldr	r3, [fp, #-128]
	cmp	r3, #0
	bne	.L65
	mvn	r3, #0
	str	r3, [fp, #-220]
	b	.L123
.L65:
	ldr	r3, .L179+8
	str	r3, [fp, #-252]
	ldr	r3, [fp, #-240]
	add	r3, r3, #1
	str	r3, [fp, #-240]
	mov	r3, #0
	str	r3, [fp, #-88]
	b	.L66
.L14:
.L135:
	nop
	b	.L67
.L136:
	nop
.L67:
	mov	r3, #0
	str	r3, [fp, #-28]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-220]
	ldr	r3, [fp, #-212]
	cmp	r3, #0
	bne	.L68
	mov	r3, #1
	str	r3, [fp, #-212]
.L68:
	ldr	r3, [fp, #-220]
	cmp	r3, #0
	ble	.L163
	ldr	r3, .L179+16
	str	r3, [fp, #-252]
	mov	r3, #0
	str	r3, [fp, #-88]
	b	.L66
.L17:
.L137:
	nop
	b	.L70
.L138:
	nop
.L70:
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-220]
	ldr	r3, [fp, #-212]
	cmp	r3, #1
	bne	.L71
	mov	r3, #2
	str	r3, [fp, #-212]
.L71:
	ldr	r3, [fp, #-220]
	cmp	r3, #0
	ble	.L164
	ldr	r3, [fp, #-188]
	cmp	r3, #0
	beq	.L73
	ldr	r3, .L179+96
	str	r3, [fp, #-252]
	b	.L74
.L73:
	ldr	r3, .L179+24
	str	r3, [fp, #-252]
.L74:
	mov	r3, #0
	str	r3, [fp, #-88]
	b	.L66
.L20:
.L139:
	nop
	b	.L75
.L140:
	nop
.L75:
	ldr	r3, [fp, #-152]
	cmp	r3, #256
	beq	.L76
	mov	r3, #1
	str	r3, [fp, #-216]
	b	.L77
.L76:
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-220]
	ldr	r3, [fp, #-212]
	cmp	r3, #2
	bne	.L78
	mov	r3, #3
	str	r3, [fp, #-212]
.L78:
	ldr	r3, [fp, #-220]
	cmp	r3, #0
	ble	.L165
.L77:
	mov	r3, #4416
	str	r3, [fp, #-252]
	mov	r3, #0
	str	r3, [fp, #-88]
	b	.L66
.L23:
.L141:
	nop
	b	.L79
.L142:
	nop
.L79:
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-220]
	ldr	r3, [fp, #-212]
	cmp	r3, #3
	bne	.L80
	mov	r3, #4
	str	r3, [fp, #-212]
.L80:
	ldr	r3, [fp, #-220]
	cmp	r3, #0
	ble	.L166
	ldr	r3, .L179+36
	str	r3, [fp, #-252]
	mov	r3, #0
	str	r3, [fp, #-88]
	ldr	r3, [fp, #-124]
	cmp	r3, #0
	bne	.L167
	mvn	r3, #0
	str	r3, [fp, #-220]
	b	.L123
.L26:
.L143:
	nop
	b	.L83
.L144:
	nop
.L83:
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-220]
	ldr	r3, [fp, #-212]
	cmp	r3, #5
	beq	.L168
	ldr	r3, [fp, #-220]
	cmp	r3, #0
	ble	.L169
	ldr	r3, .L179+44
	str	r3, [fp, #-252]
	mov	r3, #0
	str	r3, [fp, #-88]
	b	.L66
.L29:
.L145:
	nop
	b	.L87
.L146:
	nop
.L87:
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-220]
	ldr	r3, [fp, #-212]
	cmp	r3, #4
	bne	.L88
	mov	r3, #5
	str	r3, [fp, #-212]
.L88:
	ldr	r3, [fp, #-220]
	cmp	r3, #0
	ble	.L170
	ldr	r3, [fp, #-168]
	cmp	r3, #0
	beq	.L90
	ldr	r3, .L179+52
	str	r3, [fp, #-252]
	b	.L91
.L90:
	mov	r3, #4480
	str	r3, [fp, #-252]
.L91:
	mov	r3, #0
	str	r3, [fp, #-88]
	b	.L66
.L32:
.L92:
.L93:
.L147:
	nop
	b	.L94
.L148:
	nop
	b	.L94
.L149:
	nop
	b	.L94
.L150:
	nop
.L94:
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-220]
	ldr	r3, [fp, #-220]
	cmp	r3, #0
	ble	.L171
	mov	r3, #4480
	str	r3, [fp, #-252]
	mov	r3, #0
	str	r3, [fp, #-88]
	b	.L66
.L37:
.L151:
	nop
	b	.L96
.L152:
	nop
.L96:
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-220]
	ldr	r3, [fp, #-220]
	cmp	r3, #0
	ble	.L172
	ldr	r3, [fp, #-152]
	str	r3, [fp, #-32]
	ldr	r3, [fp, #-168]
	cmp	r3, #1
	bne	.L98
	ldr	r3, .L179+72
	str	r3, [fp, #-252]
	b	.L99
.L98:
	ldr	r3, .L179+80
	str	r3, [fp, #-252]
	mov	r3, #0
	str	r3, [fp, #-36]
.L99:
	mov	r3, #0
	str	r3, [fp, #-88]
	b	.L66
.L40:
.L153:
	nop
	b	.L100
.L154:
	nop
.L100:
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-220]
	ldr	r3, [fp, #-220]
	cmp	r3, #0
	ble	.L173
	ldr	r3, .L179+80
	str	r3, [fp, #-252]
	mov	r3, #0
	str	r3, [fp, #-88]
	mov	r3, #0
	str	r3, [fp, #-36]
	b	.L66
.L43:
.L155:
	nop
	b	.L102
.L156:
	nop
.L102:
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-220]
	ldr	r3, [fp, #-220]
	cmp	r3, #0
	ble	.L174
	ldr	r3, .L179+88
	str	r3, [fp, #-252]
	mov	r3, #0
	str	r3, [fp, #-88]
	ldr	r3, [fp, #-156]
	str	r3, [fp, #-44]
	ldr	r3, [fp, #-164]
	cmp	r3, #0
	bne	.L104
	mov	r3, #0
	str	r3, [fp, #-40]
	b	.L105
.L104:
	ldr	r3, [fp, #-148]
	str	r3, [fp, #-40]
.L105:
	ldr	r3, [fp, #-120]
	cmp	r3, #0
	bne	.L106
	mvn	r3, #0
	str	r3, [fp, #-220]
	b	.L123
.L106:
	ldr	r3, [fp, #-116]
	cmp	r3, #0
	bne	.L175
	mvn	r3, #0
	str	r3, [fp, #-220]
	b	.L123
.L46:
.L157:
	nop
	b	.L108
.L158:
	nop
.L108:
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-220]
	ldr	r3, [fp, #-220]
	cmp	r3, #0
	ble	.L176
	mov	r3, #4352
	str	r3, [fp, #-252]
	ldr	r3, [fp, #-236]
	str	r3, [fp, #-68]
	ldr	r3, [fp, #-68]
	add	r3, r3, #5
	str	r3, [fp, #-64]
	ldr	r3, [fp, #-64]
	str	r3, [fp, #-236]
	ldr	r3, [fp, #-188]
	cmp	r3, #0
	beq	.L110
	mov	r3, #3
	str	r3, [fp, #-232]
	ldr	r3, [fp, #-236]
	str	r3, [fp, #-60]
	ldr	r3, [fp, #-60]
	cmp	r3, #2
	beq	.L111
	mov	r3, #3
	str	r3, [fp, #-252]
	ldr	r3, [fp, #-236]
	str	r3, [fp, #-56]
	ldr	r3, [fp, #-56]
	add	r3, r3, #4
	str	r3, [fp, #-52]
	ldr	r3, [fp, #-52]
	str	r3, [fp, #-236]
	mov	r3, #0
	str	r3, [fp, #-48]
	b	.L111
.L110:
	ldr	r3, .L179+96
	str	r3, [fp, #-232]
.L111:
	mov	r3, #0
	str	r3, [fp, #-88]
	b	.L66
.L49:
.L159:
	nop
	b	.L112
.L160:
	nop
.L112:
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-220]
	ldr	r3, [fp, #-220]
	cmp	r3, #0
	ble	.L177
	ldr	r3, [fp, #-188]
	cmp	r3, #0
	beq	.L114
	ldr	r3, .L179+80
	str	r3, [fp, #-252]
	b	.L115
.L114:
	mov	r3, #3
	str	r3, [fp, #-252]
.L115:
	mov	r3, #0
	str	r3, [fp, #-88]
	b	.L66
.L161:
	nop
.L52:
	ldr	r3, [fp, #-228]
	str	r3, [fp, #-80]
	ldr	r3, [fp, #-80]
	cmp	r3, #0
	ble	.L116
	mov	r3, #2
	str	r3, [fp, #-76]
	ldr	r3, [fp, #-112]
	str	r3, [fp, #-228]
	ldr	r3, [fp, #-228]
	str	r3, [fp, #-72]
	ldr	r3, [fp, #-72]
	cmp	r3, #0
	bgt	.L117
	mvn	r3, #0
	str	r3, [fp, #-220]
	b	.L123
.L117:
	mov	r3, #1
	str	r3, [fp, #-76]
.L116:
	ldr	r3, [fp, #-232]
	str	r3, [fp, #-252]
	b	.L66
.L127:
.L54:
	ldr	r3, [fp, #-248]
	cmp	r3, #0
	beq	.L118
	mov	r3, #0
	str	r3, [fp, #-248]
.L118:
	ldr	r3, [fp, #-236]
	str	r3, [fp, #-96]
	ldr	r3, [fp, #-96]
	sub	r3, r3, #4
	str	r3, [fp, #-92]
	mov	r3, #0
	str	r3, [fp, #-88]
	mov	r3, #0
	str	r3, [fp, #-84]
	ldr	r3, [fp, #-188]
	cmp	r3, #0
	beq	.L119
	ldr	r3, [fp, #-176]
	add	r3, r3, #1
	str	r3, [fp, #-176]
.L119:
	mov	r3, #1
	str	r3, [fp, #-220]
	ldr	r3, [fp, #-172]
	add	r3, r3, #1
	str	r3, [fp, #-172]
	b	.L123
.L162:
	nop
.L55:
	mvn	r3, #0
	str	r3, [fp, #-220]
	b	.L123
.L167:
	nop
	b	.L66
.L175:
	nop
.L66:
	ldr	r3, [fp, #-160]
	cmp	r3, #0
	bne	.L120
	ldr	r3, [fp, #-216]
	cmp	r3, #0
	bne	.L120
	ldr	r3, [fp, #-184]
	cmp	r3, #0
	beq	.L121
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-220]
	ldr	r3, [fp, #-220]
	cmp	r3, #0
	ble	.L178
.L121:
	ldr	r3, [fp, #-224]
	cmp	r3, #0
	beq	.L120
	ldr	r2, [fp, #-252]
	ldr	r3, [fp, #-100]
	cmp	r2, r3
	beq	.L120
	ldr	r3, [fp, #-252]
	str	r3, [fp, #-8]
	ldr	r3, [fp, #-100]
	str	r3, [fp, #-252]
	ldr	r3, [fp, #-8]
	str	r3, [fp, #-252]
.L120:
	mov	r3, #0
	str	r3, [fp, #-216]
	b	.L122
.L60:
.L163:
	nop
	b	.L123
.L164:
	nop
	b	.L123
.L165:
	nop
	b	.L123
.L166:
	nop
	b	.L123
.L169:
	nop
	b	.L123
.L170:
	nop
	b	.L123
.L171:
	nop
	b	.L123
.L172:
	nop
	b	.L123
.L173:
	nop
	b	.L123
.L174:
	nop
	b	.L123
.L176:
	nop
	b	.L123
.L177:
	nop
	b	.L123
.L178:
	nop
.L123:
	ldr	r3, [fp, #-204]
	sub	r3, r3, #1
	str	r3, [fp, #-204]
	ldr	r3, [fp, #-220]
	b	.L129
.L168:
	nop
.L85:
	bl	reach_error
	bl	abort
.L129:
	mov	r0, r3
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L180:
	.align	2
.L179:
	.word	12292
	.word	4099
	.word	4368
	.word	4369
	.word	4384
	.word	4385
	.word	4400
	.word	4401
	.word	4417
	.word	4432
	.word	4433
	.word	4448
	.word	4449
	.word	4464
	.word	4465
	.word	4466
	.word	4467
	.word	4481
	.word	4496
	.word	4497
	.word	4512
	.word	4513
	.word	4528
	.word	4529
	.word	4560
	.word	4561
	.size	ssl3_connect, .-ssl3_connect
	.align	2
	.global	main
	.syntax unified
	.arm
	.fpu softvfp
	.type	main, %function
main:
	@ 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, .L183
	str	r3, [fp, #-8]
	ldr	r0, .L183
	bl	ssl3_connect
	mov	r3, #0
	mov	r0, r3
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L184:
	.align	2
.L183:
	.word	12292
	.size	main, .-main
	.ident	"GCC: (Ubuntu 9.4.0-1ubuntu1~20.04.2) 9.4.0"
	.section	.note.GNU-stack,"",%progbits
