	.file	"839803.c"
	.intel_syntax noprefix
	.text
	.globl	ssl3_accept
	.type	ssl3_accept, @function
ssl3_accept:
.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, 304
	mov	DWORD PTR -292[rbp], edi
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -228[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 -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 -268[rbp], eax
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -264[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_long@PLT
	mov	QWORD PTR -80[rbp], rax
	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_long@PLT
	mov	QWORD PTR -72[rbp], rax
	mov	eax, DWORD PTR -292[rbp]
	mov	DWORD PTR -276[rbp], eax
	mov	DWORD PTR -232[rbp], 0
	mov	rax, QWORD PTR -80[rbp]
	mov	QWORD PTR -64[rbp], rax
	mov	DWORD PTR -252[rbp], 0
	mov	DWORD PTR -248[rbp], -1
	mov	DWORD PTR -244[rbp], 0
	mov	DWORD PTR -240[rbp], 0
	cmp	DWORD PTR -228[rbp], 0
	je	.L2
	mov	eax, DWORD PTR -228[rbp]
	mov	DWORD PTR -252[rbp], eax
	jmp	.L3
.L2:
	cmp	DWORD PTR -188[rbp], 0
	je	.L3
	mov	eax, DWORD PTR -188[rbp]
	mov	DWORD PTR -252[rbp], eax
.L3:
	add	DWORD PTR -224[rbp], 1
	cmp	DWORD PTR -208[rbp], 0
	jne	.L145
	mov	eax, -1
	jmp	.L5
.L145:
	nop
.L4:
	mov	eax, DWORD PTR -276[rbp]
	mov	DWORD PTR -152[rbp], eax
	cmp	DWORD PTR -276[rbp], 12292
	je	.L146
	cmp	DWORD PTR -276[rbp], 16384
	je	.L147
	cmp	DWORD PTR -276[rbp], 8192
	je	.L148
	cmp	DWORD PTR -276[rbp], 24576
	je	.L149
	cmp	DWORD PTR -276[rbp], 8195
	je	.L150
	cmp	DWORD PTR -276[rbp], 8480
	je	.L151
	cmp	DWORD PTR -276[rbp], 8481
	je	.L152
	cmp	DWORD PTR -276[rbp], 8482
	je	.L153
	cmp	DWORD PTR -276[rbp], 8464
	je	.L154
	cmp	DWORD PTR -276[rbp], 8465
	je	.L155
	cmp	DWORD PTR -276[rbp], 8466
	je	.L156
	cmp	DWORD PTR -276[rbp], 8496
	je	.L157
	cmp	DWORD PTR -276[rbp], 8497
	je	.L158
	cmp	DWORD PTR -276[rbp], 8512
	je	.L159
	cmp	DWORD PTR -276[rbp], 8513
	je	.L160
	cmp	DWORD PTR -276[rbp], 8528
	je	.L161
	cmp	DWORD PTR -276[rbp], 8529
	je	.L162
	cmp	DWORD PTR -276[rbp], 8544
	je	.L163
	cmp	DWORD PTR -276[rbp], 8545
	je	.L164
	cmp	DWORD PTR -276[rbp], 8560
	je	.L165
	cmp	DWORD PTR -276[rbp], 8561
	je	.L166
	cmp	DWORD PTR -276[rbp], 8448
	je	.L167
	cmp	DWORD PTR -276[rbp], 8576
	je	.L168
	cmp	DWORD PTR -276[rbp], 8577
	je	.L169
	cmp	DWORD PTR -276[rbp], 8592
	je	.L170
	cmp	DWORD PTR -276[rbp], 8593
	je	.L171
	cmp	DWORD PTR -276[rbp], 8608
	je	.L172
	cmp	DWORD PTR -276[rbp], 8609
	je	.L173
	cmp	DWORD PTR -276[rbp], 8640
	je	.L174
	cmp	DWORD PTR -276[rbp], 8641
	je	.L175
	cmp	DWORD PTR -276[rbp], 8656
	je	.L176
	cmp	DWORD PTR -276[rbp], 8657
	je	.L177
	cmp	DWORD PTR -276[rbp], 8672
	je	.L178
	cmp	DWORD PTR -276[rbp], 8673
	je	.L179
	cmp	DWORD PTR -276[rbp], 3
	jne	.L180
	jmp	.L143
.L146:
	nop
.L7:
	mov	DWORD PTR -144[rbp], 1
	jmp	.L15
.L9:
.L11:
.L13:
.L147:
	nop
	jmp	.L15
.L148:
	nop
	jmp	.L15
.L149:
	nop
	jmp	.L15
.L150:
	nop
.L15:
	mov	DWORD PTR -108[rbp], 1
	mov	eax, DWORD PTR -220[rbp]
	sal	eax, 3
	mov	DWORD PTR -104[rbp], eax
	cmp	DWORD PTR -104[rbp], 3
	je	.L77
	mov	eax, -1
	jmp	.L5
.L77:
	mov	DWORD PTR -100[rbp], 8192
	cmp	DWORD PTR -272[rbp], 0
	jne	.L78
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -96[rbp], eax
	cmp	DWORD PTR -96[rbp], 0
	jne	.L79
	mov	DWORD PTR -248[rbp], -1
	jmp	.L80
.L79:
	mov	eax, DWORD PTR -164[rbp]
	mov	DWORD PTR -272[rbp], eax
.L78:
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -92[rbp], eax
	cmp	DWORD PTR -92[rbp], 0
	jne	.L81
	mov	DWORD PTR -248[rbp], -1
	jmp	.L80
.L81:
	mov	DWORD PTR -148[rbp], 0
	cmp	DWORD PTR -276[rbp], 12292
	je	.L82
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -88[rbp], eax
	cmp	DWORD PTR -88[rbp], 0
	jne	.L83
	mov	DWORD PTR -248[rbp], -1
	jmp	.L80
.L83:
	mov	DWORD PTR -276[rbp], 8464
	add	DWORD PTR -264[rbp], 1
	jmp	.L85
.L82:
	add	DWORD PTR -268[rbp], 1
	mov	DWORD PTR -276[rbp], 8480
	jmp	.L85
.L17:
.L151:
	nop
	jmp	.L19
.L152:
	nop
.L19:
	mov	DWORD PTR -112[rbp], 0
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -248[rbp], eax
	cmp	DWORD PTR -248[rbp], 0
	jle	.L181
	mov	DWORD PTR -256[rbp], 8482
	mov	DWORD PTR -276[rbp], 8448
	mov	DWORD PTR -148[rbp], 0
	jmp	.L85
.L153:
	nop
.L21:
	mov	DWORD PTR -276[rbp], 3
	jmp	.L85
.L23:
.L25:
.L154:
	nop
	jmp	.L27
.L155:
	nop
	jmp	.L27
.L156:
	nop
.L27:
	mov	DWORD PTR -112[rbp], 0
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -248[rbp], eax
	cmp	DWORD PTR -232[rbp], 0
	jne	.L87
	mov	DWORD PTR -232[rbp], 1
.L87:
	cmp	DWORD PTR -248[rbp], 0
	jle	.L182
	mov	DWORD PTR -240[rbp], 1
	mov	DWORD PTR -276[rbp], 8496
	mov	DWORD PTR -148[rbp], 0
	jmp	.L85
.L29:
.L157:
	nop
	jmp	.L31
.L158:
	nop
.L31:
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -248[rbp], eax
	cmp	DWORD PTR -232[rbp], 1
	jne	.L89
	mov	DWORD PTR -232[rbp], 2
.L89:
	cmp	DWORD PTR -248[rbp], 0
	jle	.L183
	cmp	DWORD PTR -216[rbp], 0
	je	.L91
	mov	DWORD PTR -276[rbp], 8656
	jmp	.L92
.L91:
	mov	DWORD PTR -276[rbp], 8512
.L92:
	mov	DWORD PTR -148[rbp], 0
	jmp	.L85
.L33:
.L159:
	nop
	jmp	.L35
.L160:
	nop
.L35:
	mov	eax, DWORD PTR -172[rbp]
	cdqe
	mov	QWORD PTR -8[rbp], rax
	cmp	QWORD PTR -8[rbp], -256
	je	.L93
	mov	DWORD PTR -244[rbp], 1
	jmp	.L94
.L93:
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -248[rbp], eax
	cmp	DWORD PTR -248[rbp], 0
	jle	.L184
.L94:
	mov	DWORD PTR -276[rbp], 8528
	mov	DWORD PTR -148[rbp], 0
	jmp	.L85
.L37:
.L161:
	nop
	jmp	.L39
.L162:
	nop
.L39:
	mov	eax, DWORD PTR -172[rbp]
	cdqe
	mov	QWORD PTR -40[rbp], rax
	mov	eax, DWORD PTR -204[rbp]
	cdqe
	mov	QWORD PTR -32[rbp], rax
	cmp	QWORD PTR -32[rbp], -2097152
	je	.L95
	mov	DWORD PTR -260[rbp], 1
	jmp	.L96
.L95:
	mov	DWORD PTR -260[rbp], 0
.L96:
	cmp	DWORD PTR -260[rbp], 0
	jne	.L185
	cmp	QWORD PTR -40[rbp], -30
	jne	.L186
	cmp	QWORD PTR -40[rbp], -1
	je	.L100
	cmp	DWORD PTR -192[rbp], 0
	je	.L187
	mov	eax, DWORD PTR -168[rbp]
	cdqe
	mov	QWORD PTR -24[rbp], rax
	cmp	QWORD PTR -24[rbp], -2
	je	.L102
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -120[rbp], eax
	mov	eax, DWORD PTR -168[rbp]
	cdqe
	mov	QWORD PTR -16[rbp], rax
	cmp	QWORD PTR -16[rbp], -4
	je	.L103
	mov	DWORD PTR -236[rbp], 512
	jmp	.L104
.L103:
	mov	DWORD PTR -236[rbp], 1024
.L104:
	mov	eax, DWORD PTR -120[rbp]
	sal	eax, 3
	mov	DWORD PTR -116[rbp], eax
	mov	eax, DWORD PTR -116[rbp]
	cmp	eax, DWORD PTR -236[rbp]
	jle	.L105
	jmp	.L98
.L185:
	nop
	jmp	.L98
.L186:
	nop
	jmp	.L98
.L187:
	nop
.L98:
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -248[rbp], eax
	cmp	DWORD PTR -248[rbp], 0
	jg	.L106
	jmp	.L80
.L105:
	mov	DWORD PTR -244[rbp], 1
	jmp	.L106
.L102:
	mov	DWORD PTR -244[rbp], 1
	jmp	.L106
.L100:
	mov	DWORD PTR -244[rbp], 1
.L106:
	mov	DWORD PTR -276[rbp], 8544
	mov	DWORD PTR -148[rbp], 0
	jmp	.L85
.L41:
.L163:
	nop
	jmp	.L43
.L164:
	nop
.L43:
	cmp	DWORD PTR -200[rbp], -1
	je	.L107
	cmp	DWORD PTR -196[rbp], 0
	je	.L188
	cmp	DWORD PTR -200[rbp], -4
	je	.L189
	mov	DWORD PTR -244[rbp], 1
	mov	DWORD PTR -124[rbp], 0
	mov	DWORD PTR -276[rbp], 8560
	jmp	.L85
.L188:
	nop
	jmp	.L108
.L189:
	nop
.L108:
	mov	eax, DWORD PTR -172[rbp]
	cdqe
	mov	QWORD PTR -48[rbp], rax
	cmp	QWORD PTR -48[rbp], -256
	je	.L190
	cmp	DWORD PTR -200[rbp], -2
	jne	.L191
	mov	DWORD PTR -244[rbp], 1
	mov	DWORD PTR -124[rbp], 0
	mov	DWORD PTR -276[rbp], 8560
	jmp	.L85
.L190:
	nop
	jmp	.L111
.L191:
	nop
.L111:
	mov	DWORD PTR -124[rbp], 1
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -248[rbp], eax
	cmp	DWORD PTR -248[rbp], 0
	jle	.L192
	mov	DWORD PTR -276[rbp], 8448
	mov	DWORD PTR -256[rbp], 8576
	mov	DWORD PTR -148[rbp], 0
	jmp	.L85
.L107:
	mov	DWORD PTR -244[rbp], 1
	mov	DWORD PTR -124[rbp], 0
	mov	DWORD PTR -276[rbp], 8560
	jmp	.L85
.L45:
.L165:
	nop
	jmp	.L47
.L166:
	nop
.L47:
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -248[rbp], eax
	cmp	DWORD PTR -248[rbp], 0
	jle	.L193
	mov	DWORD PTR -256[rbp], 8576
	mov	DWORD PTR -276[rbp], 8448
	mov	DWORD PTR -148[rbp], 0
	jmp	.L85
.L167:
	nop
.L49:
	call	__VERIFIER_nondet_int@PLT
	cdqe
	mov	QWORD PTR -56[rbp], rax
	cmp	QWORD PTR -56[rbp], 0
	jle	.L115
	mov	DWORD PTR -128[rbp], 2
	mov	rax, QWORD PTR -72[rbp]
	mov	QWORD PTR -56[rbp], rax
	cmp	QWORD PTR -56[rbp], 0
	jg	.L116
	mov	DWORD PTR -248[rbp], -1
	jmp	.L80
.L116:
	mov	DWORD PTR -128[rbp], 1
.L115:
	mov	eax, DWORD PTR -256[rbp]
	mov	DWORD PTR -276[rbp], eax
	jmp	.L85
.L51:
.L168:
	nop
	jmp	.L53
.L169:
	nop
.L53:
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -248[rbp], eax
	cmp	DWORD PTR -248[rbp], 0
	jle	.L194
	cmp	DWORD PTR -248[rbp], 2
	jne	.L118
	mov	DWORD PTR -276[rbp], 8466
	jmp	.L85
.L118:
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -248[rbp], eax
	cmp	DWORD PTR -248[rbp], 0
	jle	.L195
	mov	DWORD PTR -148[rbp], 0
	mov	DWORD PTR -276[rbp], 8592
	jmp	.L85
.L55:
.L170:
	nop
	jmp	.L57
.L171:
	nop
.L57:
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -248[rbp], eax
	cmp	DWORD PTR -248[rbp], 0
	jle	.L196
	mov	DWORD PTR -276[rbp], 8608
	mov	DWORD PTR -148[rbp], 0
	jmp	.L85
.L59:
.L172:
	nop
	jmp	.L61
.L173:
	nop
.L61:
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -248[rbp], eax
	cmp	DWORD PTR -248[rbp], 0
	jle	.L197
	mov	DWORD PTR -276[rbp], 8640
	mov	DWORD PTR -148[rbp], 0
	jmp	.L85
.L63:
.L174:
	nop
	jmp	.L65
.L175:
	nop
.L65:
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -248[rbp], eax
	cmp	DWORD PTR -232[rbp], 3
	jne	.L123
	mov	DWORD PTR -232[rbp], 4
.L123:
	cmp	DWORD PTR -248[rbp], 0
	jle	.L198
	cmp	DWORD PTR -216[rbp], 0
	je	.L125
	mov	DWORD PTR -276[rbp], 3
	jmp	.L126
.L125:
	mov	DWORD PTR -276[rbp], 8656
.L126:
	mov	DWORD PTR -148[rbp], 0
	jmp	.L85
.L67:
.L176:
	nop
	jmp	.L69
.L177:
	nop
.L69:
	mov	eax, DWORD PTR -176[rbp]
	mov	DWORD PTR -140[rbp], eax
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -136[rbp], eax
	cmp	DWORD PTR -136[rbp], 0
	jne	.L127
	mov	DWORD PTR -248[rbp], -1
	jmp	.L80
.L127:
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -248[rbp], eax
	cmp	DWORD PTR -232[rbp], 2
	jne	.L128
	mov	DWORD PTR -232[rbp], 3
.L128:
	cmp	DWORD PTR -248[rbp], 0
	jle	.L199
	mov	DWORD PTR -276[rbp], 8672
	mov	DWORD PTR -148[rbp], 0
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -132[rbp], eax
	cmp	DWORD PTR -132[rbp], 0
	jne	.L200
	mov	DWORD PTR -248[rbp], -1
	jmp	.L80
.L71:
.L178:
	nop
	jmp	.L73
.L179:
	nop
.L73:
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -248[rbp], eax
	cmp	DWORD PTR -232[rbp], 4
	jne	.L131
	mov	DWORD PTR -232[rbp], 5
	jmp	.L132
.L131:
	cmp	DWORD PTR -232[rbp], 3
	je	.L201
.L132:
	cmp	DWORD PTR -248[rbp], 0
	jle	.L202
	mov	DWORD PTR -276[rbp], 8448
	cmp	DWORD PTR -216[rbp], 0
	je	.L135
	mov	DWORD PTR -256[rbp], 8640
	jmp	.L136
.L135:
	mov	DWORD PTR -256[rbp], 3
.L136:
	mov	DWORD PTR -148[rbp], 0
	jmp	.L85
.L143:
.L75:
	mov	DWORD PTR -272[rbp], 0
	mov	DWORD PTR -148[rbp], 0
	cmp	DWORD PTR -240[rbp], 0
	je	.L137
	mov	DWORD PTR -144[rbp], 0
	add	DWORD PTR -184[rbp], 1
.L137:
	mov	DWORD PTR -248[rbp], 1
	jmp	.L80
.L180:
	nop
.L76:
	mov	DWORD PTR -248[rbp], -1
	jmp	.L80
.L200:
	nop
.L85:
	cmp	DWORD PTR -180[rbp], 0
	jne	.L138
	cmp	DWORD PTR -244[rbp], 0
	jne	.L138
	cmp	DWORD PTR -212[rbp], 0
	je	.L139
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR -248[rbp], eax
	cmp	DWORD PTR -248[rbp], 0
	jle	.L203
.L139:
	cmp	DWORD PTR -252[rbp], 0
	je	.L138
	mov	eax, DWORD PTR -276[rbp]
	cmp	eax, DWORD PTR -152[rbp]
	je	.L138
	mov	eax, DWORD PTR -276[rbp]
	mov	DWORD PTR -84[rbp], eax
	mov	eax, DWORD PTR -152[rbp]
	mov	DWORD PTR -276[rbp], eax
	mov	eax, DWORD PTR -84[rbp]
	mov	DWORD PTR -276[rbp], eax
.L138:
	mov	DWORD PTR -244[rbp], 0
	jmp	.L145
.L181:
	nop
	jmp	.L80
.L182:
	nop
	jmp	.L80
.L183:
	nop
	jmp	.L80
.L184:
	nop
	jmp	.L80
.L192:
	nop
	jmp	.L80
.L193:
	nop
	jmp	.L80
.L194:
	nop
	jmp	.L80
.L195:
	nop
	jmp	.L80
.L196:
	nop
	jmp	.L80
.L197:
	nop
	jmp	.L80
.L198:
	nop
	jmp	.L80
.L199:
	nop
	jmp	.L80
.L202:
	nop
	jmp	.L80
.L203:
	nop
.L80:
	sub	DWORD PTR -224[rbp], 1
	mov	eax, DWORD PTR -248[rbp]
	jmp	.L5
.L201:
	nop
.L133:
	mov	eax, 0
	call	__VERIFIER_error@PLT
.L5:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE0:
	.size	ssl3_accept, .-ssl3_accept
	.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 -8[rbp], 8464
	mov	eax, DWORD PTR -8[rbp]
	mov	edi, eax
	call	ssl3_accept
	mov	DWORD PTR -4[rbp], eax
	mov	eax, DWORD PTR -4[rbp]
	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	"839803.c"
	.text
	.align	2
	.global	ssl3_accept
	.syntax unified
	.arm
	.fpu softvfp
	.type	ssl3_accept, %function
ssl3_accept:
	@ args = 0, pretend = 0, frame = 248
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #248
	str	r0, [fp, #-248]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-192]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-188]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-184]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-180]
	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, #-232]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-228]
	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_long
	mov	r3, r0
	str	r3, [fp, #-124]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-120]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-116]
	bl	__VERIFIER_nondet_long
	str	r0, [fp, #-112]
	ldr	r3, [fp, #-248]
	str	r3, [fp, #-240]
	mov	r3, #0
	str	r3, [fp, #-196]
	ldr	r3, [fp, #-124]
	str	r3, [fp, #-108]
	mov	r3, #0
	str	r3, [fp, #-216]
	mvn	r3, #0
	str	r3, [fp, #-212]
	mov	r3, #0
	str	r3, [fp, #-208]
	mov	r3, #0
	str	r3, [fp, #-204]
	ldr	r3, [fp, #-192]
	cmp	r3, #0
	beq	.L2
	ldr	r3, [fp, #-192]
	str	r3, [fp, #-216]
	b	.L3
.L2:
	ldr	r3, [fp, #-152]
	cmp	r3, #0
	beq	.L3
	ldr	r3, [fp, #-152]
	str	r3, [fp, #-216]
.L3:
	ldr	r3, [fp, #-188]
	add	r3, r3, #1
	str	r3, [fp, #-188]
	ldr	r3, [fp, #-172]
	cmp	r3, #0
	bne	.L146
	mvn	r3, #0
	b	.L5
.L146:
	nop
.L4:
	ldr	r3, [fp, #-240]
	str	r3, [fp, #-104]
	ldr	r3, [fp, #-240]
	ldr	r2, .L205
	cmp	r3, r2
	beq	.L147
	ldr	r3, [fp, #-240]
	cmp	r3, #16384
	beq	.L148
	ldr	r3, [fp, #-240]
	cmp	r3, #8192
	beq	.L149
	ldr	r3, [fp, #-240]
	cmp	r3, #24576
	beq	.L150
	ldr	r3, [fp, #-240]
	ldr	r2, .L205+4
	cmp	r3, r2
	beq	.L151
	ldr	r3, [fp, #-240]
	ldr	r2, .L205+8
	cmp	r3, r2
	beq	.L152
	ldr	r3, [fp, #-240]
	ldr	r2, .L205+12
	cmp	r3, r2
	beq	.L153
	ldr	r3, [fp, #-240]
	ldr	r2, .L205+16
	cmp	r3, r2
	beq	.L154
	ldr	r3, [fp, #-240]
	ldr	r2, .L205+20
	cmp	r3, r2
	beq	.L155
	ldr	r3, [fp, #-240]
	ldr	r2, .L205+24
	cmp	r3, r2
	beq	.L156
	ldr	r3, [fp, #-240]
	ldr	r2, .L205+28
	cmp	r3, r2
	beq	.L157
	ldr	r3, [fp, #-240]
	ldr	r2, .L205+32
	cmp	r3, r2
	beq	.L158
	ldr	r3, [fp, #-240]
	ldr	r2, .L205+36
	cmp	r3, r2
	beq	.L159
	ldr	r3, [fp, #-240]
	cmp	r3, #8512
	beq	.L160
	ldr	r3, [fp, #-240]
	ldr	r2, .L205+40
	cmp	r3, r2
	beq	.L161
	ldr	r3, [fp, #-240]
	ldr	r2, .L205+44
	cmp	r3, r2
	beq	.L162
	ldr	r3, [fp, #-240]
	ldr	r2, .L205+48
	cmp	r3, r2
	beq	.L163
	ldr	r3, [fp, #-240]
	ldr	r2, .L205+52
	cmp	r3, r2
	beq	.L164
	ldr	r3, [fp, #-240]
	ldr	r2, .L205+56
	cmp	r3, r2
	beq	.L165
	ldr	r3, [fp, #-240]
	ldr	r2, .L205+60
	cmp	r3, r2
	beq	.L166
	ldr	r3, [fp, #-240]
	ldr	r2, .L205+64
	cmp	r3, r2
	beq	.L167
	ldr	r3, [fp, #-240]
	cmp	r3, #8448
	beq	.L168
	ldr	r3, [fp, #-240]
	cmp	r3, #8576
	beq	.L169
	ldr	r3, [fp, #-240]
	ldr	r2, .L205+68
	cmp	r3, r2
	beq	.L170
	ldr	r3, [fp, #-240]
	ldr	r2, .L205+72
	cmp	r3, r2
	beq	.L171
	ldr	r3, [fp, #-240]
	ldr	r2, .L205+76
	cmp	r3, r2
	beq	.L172
	ldr	r3, [fp, #-240]
	ldr	r2, .L205+80
	cmp	r3, r2
	beq	.L173
	ldr	r3, [fp, #-240]
	ldr	r2, .L205+84
	cmp	r3, r2
	beq	.L174
	ldr	r3, [fp, #-240]
	cmp	r3, #8640
	beq	.L175
	ldr	r3, [fp, #-240]
	ldr	r2, .L205+88
	cmp	r3, r2
	beq	.L176
	ldr	r3, [fp, #-240]
	ldr	r2, .L205+92
	cmp	r3, r2
	beq	.L177
	ldr	r3, [fp, #-240]
	ldr	r2, .L205+96
	cmp	r3, r2
	beq	.L178
	ldr	r3, [fp, #-240]
	ldr	r2, .L205+100
	cmp	r3, r2
	beq	.L179
	ldr	r3, [fp, #-240]
	ldr	r2, .L205+104
	cmp	r3, r2
	beq	.L180
	ldr	r3, [fp, #-240]
	cmp	r3, #3
	bne	.L181
	b	.L144
.L147:
	nop
.L7:
	mov	r3, #1
	str	r3, [fp, #-96]
	b	.L62
.L9:
.L60:
.L61:
.L148:
	nop
	b	.L62
.L149:
	nop
	b	.L62
.L150:
	nop
	b	.L62
.L151:
	nop
.L62:
	mov	r3, #1
	str	r3, [fp, #-32]
	ldr	r3, [fp, #-184]
	lsl	r3, r3, #3
	str	r3, [fp, #-28]
	ldr	r3, [fp, #-28]
	cmp	r3, #3
	beq	.L63
	mvn	r3, #0
	b	.L5
.L63:
	mov	r3, #8192
	str	r3, [fp, #-24]
	ldr	r3, [fp, #-236]
	cmp	r3, #0
	bne	.L64
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-20]
	ldr	r3, [fp, #-20]
	cmp	r3, #0
	bne	.L65
	mvn	r3, #0
	str	r3, [fp, #-212]
	b	.L140
.L65:
	ldr	r3, [fp, #-128]
	str	r3, [fp, #-236]
.L64:
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-16]
	ldr	r3, [fp, #-16]
	cmp	r3, #0
	bne	.L67
	mvn	r3, #0
	str	r3, [fp, #-212]
	b	.L140
.L67:
	mov	r3, #0
	str	r3, [fp, #-100]
	ldr	r3, [fp, #-240]
	ldr	r2, .L205
	cmp	r3, r2
	beq	.L68
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-12]
	ldr	r3, [fp, #-12]
	cmp	r3, #0
	bne	.L69
	mvn	r3, #0
	str	r3, [fp, #-212]
	b	.L140
.L69:
	ldr	r3, .L205+20
	str	r3, [fp, #-240]
	ldr	r3, [fp, #-228]
	add	r3, r3, #1
	str	r3, [fp, #-228]
	b	.L71
.L68:
	ldr	r3, [fp, #-232]
	add	r3, r3, #1
	str	r3, [fp, #-232]
	ldr	r3, .L205+8
	str	r3, [fp, #-240]
	b	.L71
.L14:
.L152:
	nop
	b	.L72
.L153:
	nop
.L72:
	mov	r3, #0
	str	r3, [fp, #-36]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-212]
	ldr	r3, [fp, #-212]
	cmp	r3, #0
	ble	.L182
	ldr	r3, .L205+16
	str	r3, [fp, #-220]
	mov	r3, #8448
	str	r3, [fp, #-240]
	mov	r3, #0
	str	r3, [fp, #-100]
	b	.L71
.L154:
	nop
.L17:
	mov	r3, #3
	str	r3, [fp, #-240]
	b	.L71
.L19:
.L74:
.L155:
	nop
	b	.L75
.L156:
	nop
	b	.L75
.L157:
	nop
.L75:
	mov	r3, #0
	str	r3, [fp, #-36]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-212]
	ldr	r3, [fp, #-196]
	cmp	r3, #0
	bne	.L76
	mov	r3, #1
	str	r3, [fp, #-196]
.L76:
	ldr	r3, [fp, #-212]
	cmp	r3, #0
	ble	.L183
	mov	r3, #1
	str	r3, [fp, #-204]
	ldr	r3, .L205+32
	str	r3, [fp, #-240]
	mov	r3, #0
	str	r3, [fp, #-100]
	b	.L71
.L23:
.L158:
	nop
	b	.L78
.L159:
	nop
.L78:
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-212]
	ldr	r3, [fp, #-196]
	cmp	r3, #1
	bne	.L79
	mov	r3, #2
	str	r3, [fp, #-196]
.L79:
	ldr	r3, [fp, #-212]
	cmp	r3, #0
	ble	.L184
	ldr	r3, [fp, #-180]
	cmp	r3, #0
	beq	.L81
	ldr	r3, .L205+92
	str	r3, [fp, #-240]
	b	.L82
.L81:
	mov	r3, #8512
	str	r3, [fp, #-240]
.L82:
	mov	r3, #0
	str	r3, [fp, #-100]
	b	.L71
.L26:
.L160:
	nop
	b	.L83
.L161:
	nop
.L83:
	ldr	r3, [fp, #-136]
	str	r3, [fp, #-40]
	ldr	r3, [fp, #-40]
	cmn	r3, #256
	beq	.L84
	mov	r3, #1
	str	r3, [fp, #-208]
	b	.L85
.L84:
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-212]
	ldr	r3, [fp, #-212]
	cmp	r3, #0
	ble	.L185
.L85:
	ldr	r3, .L205+44
	str	r3, [fp, #-240]
	mov	r3, #0
	str	r3, [fp, #-100]
	b	.L71
.L29:
.L162:
	nop
	b	.L86
.L163:
	nop
.L86:
	ldr	r3, [fp, #-136]
	str	r3, [fp, #-64]
	ldr	r3, [fp, #-168]
	str	r3, [fp, #-60]
	ldr	r3, [fp, #-60]
	cmn	r3, #2097152
	beq	.L87
	mov	r3, #1
	str	r3, [fp, #-224]
	b	.L88
.L87:
	mov	r3, #0
	str	r3, [fp, #-224]
.L88:
	ldr	r3, [fp, #-224]
	cmp	r3, #0
	bne	.L186
	ldr	r3, [fp, #-64]
	cmn	r3, #30
	bne	.L187
	ldr	r3, [fp, #-64]
	cmn	r3, #1
	beq	.L92
	ldr	r3, [fp, #-156]
	cmp	r3, #0
	beq	.L188
	ldr	r3, [fp, #-132]
	str	r3, [fp, #-56]
	ldr	r3, [fp, #-56]
	cmn	r3, #2
	beq	.L94
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-52]
	ldr	r3, [fp, #-132]
	str	r3, [fp, #-48]
	ldr	r3, [fp, #-48]
	cmn	r3, #4
	beq	.L95
	mov	r3, #512
	str	r3, [fp, #-200]
	b	.L96
.L95:
	mov	r3, #1024
	str	r3, [fp, #-200]
.L96:
	ldr	r3, [fp, #-52]
	lsl	r3, r3, #3
	str	r3, [fp, #-44]
	ldr	r2, [fp, #-44]
	ldr	r3, [fp, #-200]
	cmp	r2, r3
	ble	.L97
	b	.L90
.L186:
	nop
	b	.L90
.L187:
	nop
	b	.L90
.L188:
	nop
.L90:
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-212]
	ldr	r3, [fp, #-212]
	cmp	r3, #0
	bgt	.L98
	b	.L140
.L97:
	mov	r3, #1
	str	r3, [fp, #-208]
	b	.L98
.L94:
	mov	r3, #1
	str	r3, [fp, #-208]
	b	.L98
.L92:
	mov	r3, #1
	str	r3, [fp, #-208]
.L98:
	ldr	r3, .L205+52
	str	r3, [fp, #-240]
	mov	r3, #0
	str	r3, [fp, #-100]
	b	.L71
.L32:
.L164:
	nop
	b	.L99
.L165:
	nop
.L99:
	ldr	r3, [fp, #-164]
	cmn	r3, #1
	beq	.L100
	ldr	r3, [fp, #-160]
	cmp	r3, #0
	beq	.L189
	ldr	r3, [fp, #-164]
	cmn	r3, #4
	beq	.L190
	mov	r3, #1
	str	r3, [fp, #-208]
	mov	r3, #0
	str	r3, [fp, #-72]
	ldr	r3, .L205+60
	str	r3, [fp, #-240]
	b	.L71
.L189:
	nop
	b	.L101
.L190:
	nop
.L101:
	ldr	r3, [fp, #-136]
	str	r3, [fp, #-68]
	ldr	r3, [fp, #-68]
	cmn	r3, #256
	beq	.L191
	ldr	r3, [fp, #-164]
	cmn	r3, #2
	bne	.L192
	mov	r3, #1
	str	r3, [fp, #-208]
	mov	r3, #0
	str	r3, [fp, #-72]
	ldr	r3, .L205+60
	str	r3, [fp, #-240]
	b	.L71
.L191:
	nop
	b	.L104
.L192:
	nop
.L104:
	mov	r3, #1
	str	r3, [fp, #-72]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-212]
	ldr	r3, [fp, #-212]
	cmp	r3, #0
	ble	.L193
	mov	r3, #8448
	str	r3, [fp, #-240]
	mov	r3, #8576
	str	r3, [fp, #-220]
	mov	r3, #0
	str	r3, [fp, #-100]
	b	.L71
.L100:
	mov	r3, #1
	str	r3, [fp, #-208]
	mov	r3, #0
	str	r3, [fp, #-72]
	ldr	r3, .L205+60
	str	r3, [fp, #-240]
	b	.L71
.L35:
.L166:
	nop
	b	.L107
.L167:
	nop
.L107:
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-212]
	ldr	r3, [fp, #-212]
	cmp	r3, #0
	ble	.L194
	mov	r3, #8576
	str	r3, [fp, #-220]
	mov	r3, #8448
	str	r3, [fp, #-240]
	mov	r3, #0
	str	r3, [fp, #-100]
	b	.L71
.L168:
	nop
.L38:
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-80]
	ldr	r3, [fp, #-80]
	cmp	r3, #0
	ble	.L109
	mov	r3, #2
	str	r3, [fp, #-76]
	ldr	r3, [fp, #-112]
	str	r3, [fp, #-80]
	ldr	r3, [fp, #-80]
	cmp	r3, #0
	bgt	.L110
	mvn	r3, #0
	str	r3, [fp, #-212]
	b	.L140
.L110:
	mov	r3, #1
	str	r3, [fp, #-76]
.L109:
	ldr	r3, [fp, #-220]
	str	r3, [fp, #-240]
	b	.L71
.L40:
.L169:
	nop
	b	.L111
.L170:
	nop
.L111:
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-212]
	ldr	r3, [fp, #-212]
	cmp	r3, #0
	ble	.L195
	ldr	r3, [fp, #-212]
	cmp	r3, #2
	bne	.L113
	ldr	r3, .L205+28
	str	r3, [fp, #-240]
	b	.L71
.L113:
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-212]
	ldr	r3, [fp, #-212]
	cmp	r3, #0
	ble	.L196
	mov	r3, #0
	str	r3, [fp, #-100]
	ldr	r3, .L205+72
	str	r3, [fp, #-240]
	b	.L71
.L43:
.L171:
	nop
	b	.L116
.L172:
	nop
.L116:
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-212]
	ldr	r3, [fp, #-212]
	cmp	r3, #0
	ble	.L197
	ldr	r3, .L205+80
	str	r3, [fp, #-240]
	mov	r3, #0
	str	r3, [fp, #-100]
	b	.L71
.L46:
.L173:
	nop
	b	.L118
.L174:
	nop
.L118:
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-212]
	ldr	r3, [fp, #-212]
	cmp	r3, #0
	ble	.L198
	mov	r3, #8640
	str	r3, [fp, #-240]
	mov	r3, #0
	str	r3, [fp, #-100]
	b	.L71
.L49:
.L175:
	nop
	b	.L120
.L176:
	nop
.L120:
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-212]
	ldr	r3, [fp, #-196]
	cmp	r3, #3
	bne	.L121
	mov	r3, #4
	str	r3, [fp, #-196]
.L121:
	ldr	r3, [fp, #-212]
	cmp	r3, #0
	ble	.L199
	ldr	r3, [fp, #-180]
	cmp	r3, #0
	beq	.L123
	mov	r3, #3
	str	r3, [fp, #-240]
	b	.L124
.L123:
	ldr	r3, .L205+92
	str	r3, [fp, #-240]
.L124:
	mov	r3, #0
	str	r3, [fp, #-100]
	b	.L71
.L52:
.L177:
	nop
	b	.L125
.L178:
	nop
.L125:
	ldr	r3, [fp, #-140]
	str	r3, [fp, #-92]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-88]
	ldr	r3, [fp, #-88]
	cmp	r3, #0
	bne	.L126
	mvn	r3, #0
	str	r3, [fp, #-212]
	b	.L140
.L126:
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-212]
	ldr	r3, [fp, #-196]
	cmp	r3, #2
	bne	.L127
	mov	r3, #3
	str	r3, [fp, #-196]
.L127:
	ldr	r3, [fp, #-212]
	cmp	r3, #0
	ble	.L200
	ldr	r3, .L205+100
	str	r3, [fp, #-240]
	mov	r3, #0
	str	r3, [fp, #-100]
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-84]
	ldr	r3, [fp, #-84]
	cmp	r3, #0
	bne	.L201
	mvn	r3, #0
	str	r3, [fp, #-212]
	b	.L140
.L55:
.L179:
	nop
	b	.L130
.L180:
	nop
.L130:
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-212]
	ldr	r3, [fp, #-196]
	cmp	r3, #4
	bne	.L131
	mov	r3, #5
	str	r3, [fp, #-196]
	b	.L132
.L131:
	ldr	r3, [fp, #-196]
	cmp	r3, #3
	beq	.L202
.L132:
	ldr	r3, [fp, #-212]
	cmp	r3, #0
	ble	.L203
	mov	r3, #8448
	str	r3, [fp, #-240]
	ldr	r3, [fp, #-180]
	cmp	r3, #0
	beq	.L135
	mov	r3, #8640
	str	r3, [fp, #-220]
	b	.L136
.L135:
	mov	r3, #3
	str	r3, [fp, #-220]
.L136:
	mov	r3, #0
	str	r3, [fp, #-100]
	b	.L71
.L144:
.L58:
	mov	r3, #0
	str	r3, [fp, #-236]
	mov	r3, #0
	str	r3, [fp, #-100]
	ldr	r3, [fp, #-204]
	cmp	r3, #0
	beq	.L137
	mov	r3, #0
	str	r3, [fp, #-96]
	ldr	r3, [fp, #-148]
	add	r3, r3, #1
	str	r3, [fp, #-148]
.L137:
	mov	r3, #1
	str	r3, [fp, #-212]
	b	.L140
.L181:
	nop
.L59:
	mvn	r3, #0
	str	r3, [fp, #-212]
	b	.L140
.L201:
	nop
.L71:
	ldr	r3, [fp, #-144]
	cmp	r3, #0
	bne	.L138
	ldr	r3, [fp, #-208]
	cmp	r3, #0
	bne	.L138
	ldr	r3, [fp, #-176]
	cmp	r3, #0
	beq	.L139
	bl	__VERIFIER_nondet_int
	str	r0, [fp, #-212]
	ldr	r3, [fp, #-212]
	cmp	r3, #0
	ble	.L204
.L139:
	ldr	r3, [fp, #-216]
	cmp	r3, #0
	beq	.L138
	ldr	r2, [fp, #-240]
	ldr	r3, [fp, #-104]
	cmp	r2, r3
	beq	.L138
	ldr	r3, [fp, #-240]
	str	r3, [fp, #-8]
	ldr	r3, [fp, #-104]
	str	r3, [fp, #-240]
	ldr	r3, [fp, #-8]
	str	r3, [fp, #-240]
.L138:
	mov	r3, #0
	str	r3, [fp, #-208]
	b	.L146
.L66:
.L182:
	nop
	b	.L140
.L183:
	nop
	b	.L140
.L184:
	nop
	b	.L140
.L185:
	nop
	b	.L140
.L193:
	nop
	b	.L140
.L194:
	nop
	b	.L140
.L195:
	nop
	b	.L140
.L196:
	nop
	b	.L140
.L197:
	nop
	b	.L140
.L198:
	nop
	b	.L140
.L199:
	nop
	b	.L140
.L200:
	nop
	b	.L140
.L203:
	nop
	b	.L140
.L204:
	nop
.L140:
	ldr	r3, [fp, #-188]
	sub	r3, r3, #1
	str	r3, [fp, #-188]
	ldr	r3, [fp, #-212]
	b	.L5
.L202:
	nop
.L133:
	bl	__VERIFIER_error
.L5:
	mov	r0, r3
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L206:
	.align	2
.L205:
	.word	12292
	.word	8195
	.word	8480
	.word	8481
	.word	8482
	.word	8464
	.word	8465
	.word	8466
	.word	8496
	.word	8497
	.word	8513
	.word	8528
	.word	8529
	.word	8544
	.word	8545
	.word	8560
	.word	8561
	.word	8577
	.word	8592
	.word	8593
	.word	8608
	.word	8609
	.word	8641
	.word	8656
	.word	8657
	.word	8672
	.word	8673
	.size	ssl3_accept, .-ssl3_accept
	.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, .L209
	str	r3, [fp, #-12]
	ldr	r0, [fp, #-12]
	bl	ssl3_accept
	str	r0, [fp, #-8]
	ldr	r3, [fp, #-8]
	mov	r0, r3
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L210:
	.align	2
.L209:
	.word	8464
	.size	main, .-main
	.ident	"GCC: (Ubuntu 9.4.0-1ubuntu1~20.04.2) 9.4.0"
	.section	.note.GNU-stack,"",%progbits
