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