; LLVM IR from aws/s2n-tls :: tests/unit (s2n_sequence_number_test)

; Unoptimized IR (clang -disable-llvm-passes):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%struct.s2n_blob = type { ptr, i32, i32, i8 }
%struct.s2n_stuffer = type { %struct.s2n_blob, i32, i32, i32, i8 }

@s2n_use_color_in_output = external dso_local global i8, align 1
@test_count = external dso_local global i32, align 4
@stdout = external global ptr, align 8
@.str = external hidden unnamed_addr constant [19 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [83 x i8], align 1
@stderr = external global ptr, align 8
@.str.2 = external hidden unnamed_addr constant [101 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [52 x i8], align 1
@s2n_errno = external thread_local global i32, align 4
@.str.4 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [90 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [48 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [56 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [69 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [85 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [60 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [49 x i8], align 1
@__const.main.data = external hidden unnamed_addr constant [8 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [49 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [95 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [70 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [70 x i8], align 1
@.str.19 = external hidden unnamed_addr constant [82 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [33 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [42 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [25 x i8], align 1

; Function Attrs: nounwind uwtable
define dso_local i32 @main(i32 noundef %0, ptr noundef %1) #0 {
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca ptr, align 8
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca i64, align 8
  %11 = alloca [8 x i8], align 1
  %12 = alloca %struct.s2n_blob, align 8
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  %16 = alloca i64, align 8
  %17 = alloca [8 x i8], align 1
  %18 = alloca %struct.s2n_blob, align 8
  %19 = alloca i32, align 4
  %20 = alloca i32, align 4
  %21 = alloca i32, align 4
  %22 = alloca i64, align 8
  %23 = alloca [8 x i8], align 1
  %24 = alloca %struct.s2n_blob, align 8
  %25 = alloca i32, align 4
  %26 = alloca i32, align 4
  %27 = alloca i64, align 8
  %28 = alloca i32, align 4
  %29 = alloca i32, align 4
  %30 = alloca i64, align 8
  %31 = alloca [8 x i8], align 1
  %32 = alloca %struct.s2n_blob, align 8
  %33 = alloca i32, align 4
  %34 = alloca i32, align 4
  %35 = alloca i32, align 4
  %36 = alloca i64, align 8
  %37 = alloca [8 x i8], align 1
  %38 = alloca %struct.s2n_blob, align 8
  %39 = alloca %struct.s2n_stuffer, align 8
  %40 = alloca i32, align 4
  %41 = alloca i32, align 4
  %42 = alloca i32, align 4
  %43 = alloca i64, align 8
  %44 = alloca i32, align 4
  %45 = alloca i32, align 4
  %46 = alloca i32, align 4
  %47 = alloca i32, align 4
  store i32 0, ptr %3, align 4
  store i32 %0, ptr %4, align 4, !tbaa !5
  store ptr %1, ptr %5, align 8, !tbaa !9
  br label %48

48:                                               ; preds = %2
  br label %49

49:                                               ; preds = %48
  store i32 0, ptr @test_count, align 4, !tbaa !5
  %50 = load ptr, ptr @stdout, align 8, !tbaa !9
  %51 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %50, ptr noundef @.str, ptr noundef @.str.1) #9
  %52 = load ptr, ptr @stdout, align 8, !tbaa !9
  %53 = call i32 @fflush(ptr noundef %52)
  br label %54

54:                                               ; preds = %49
  %55 = call i32 @s2n_in_unit_test_set(i1 noundef zeroext true)
  %56 = icmp eq i32 %55, -1
  br i1 %56, label %57, label %108

57:                                               ; preds = %54
  br label %58

58:                                               ; preds = %57
  br label %59

59:                                               ; preds = %58
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #9
  %60 = call ptr @__errno_location() #10
  %61 = load i32, ptr %60, align 4, !tbaa !5
  store i32 %61, ptr %6, align 4, !tbaa !5
  %62 = load ptr, ptr @stderr, align 8, !tbaa !9
  %63 = call i32 @s2n_print_stacktrace(ptr noundef %62)
  %64 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %65 = trunc i8 %64 to i1
  br i1 %65, label %66, label %88

66:                                               ; preds = %59
  %67 = load ptr, ptr @stderr, align 8, !tbaa !9
  %68 = call i32 @fileno(ptr noundef %67) #9
  %69 = call i32 @isatty(i32 noundef %68) #9
  %70 = icmp ne i32 %69, 0
  br i1 %70, label %71, label %88

71:                                               ; preds = %66
  %72 = load i32, ptr %6, align 4, !tbaa !5
  %73 = call ptr @__errno_location() #10
  store i32 %72, ptr %73, align 4, !tbaa !5
  %74 = load ptr, ptr @stderr, align 8, !tbaa !9
  %75 = load i32, ptr @test_count, align 4, !tbaa !5
  %76 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %77 = load i32, ptr %76, align 4, !tbaa !5
  %78 = call ptr @s2n_strerror(i32 noundef %77, ptr noundef @.str.4)
  %79 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %80 = load i32, ptr %79, align 4, !tbaa !5
  %81 = call ptr @s2n_strerror_debug(i32 noundef %80, ptr noundef @.str.4)
  %82 = call ptr @__errno_location() #10
  %83 = load i32, ptr %82, align 4, !tbaa !5
  %84 = call ptr @strerror(i32 noundef %83) #9
  %85 = call ptr @__errno_location() #10
  %86 = load i32, ptr %85, align 4, !tbaa !5
  %87 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %74, ptr noundef @.str.2, i32 noundef %75, ptr noundef @.str.3, ptr noundef @.str.1, i32 noundef 24, ptr noundef %78, ptr noundef %81, ptr noundef %84, i32 noundef %86) #9
  br label %105

88:                                               ; preds = %66, %59
  %89 = load i32, ptr %6, align 4, !tbaa !5
  %90 = call ptr @__errno_location() #10
  store i32 %89, ptr %90, align 4, !tbaa !5
  %91 = load ptr, ptr @stderr, align 8, !tbaa !9
  %92 = load i32, ptr @test_count, align 4, !tbaa !5
  %93 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %94 = load i32, ptr %93, align 4, !tbaa !5
  %95 = call ptr @s2n_strerror(i32 noundef %94, ptr noundef @.str.4)
  %96 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %97 = load i32, ptr %96, align 4, !tbaa !5
  %98 = call ptr @s2n_strerror_debug(i32 noundef %97, ptr noundef @.str.4)
  %99 = call ptr @__errno_location() #10
  %100 = load i32, ptr %99, align 4, !tbaa !5
  %101 = call ptr @strerror(i32 noundef %100) #9
  %102 = call ptr @__errno_location() #10
  %103 = load i32, ptr %102, align 4, !tbaa !5
  %104 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %91, ptr noundef @.str.5, i32 noundef %92, ptr noundef @.str.3, ptr noundef @.str.1, i32 noundef 24, ptr noundef %95, ptr noundef %98, ptr noundef %101, i32 noundef %103) #9
  br label %105

105:                                              ; preds = %88, %71
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #9
  br label %106

106:                                              ; preds = %105
  call void @exit(i32 noundef 1) #11
  unreachable

107:                                              ; No predecessors!
  br label %108

108:                                              ; preds = %107, %54
  br label %109

109:                                              ; preds = %108
  br label %110

110:                                              ; preds = %109
  %111 = load i32, ptr @test_count, align 4, !tbaa !5
  %112 = add nsw i32 %111, 1
  store i32 %112, ptr @test_count, align 4, !tbaa !5
  %113 = call i32 @s2n_enable_atexit()
  %114 = icmp eq i32 %113, -1
  br i1 %114, label %115, label %166

115:                                              ; preds = %110
  br label %116

116:                                              ; preds = %115
  br label %117

117:                                              ; preds = %116
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #9
  %118 = call ptr @__errno_location() #10
  %119 = load i32, ptr %118, align 4, !tbaa !5
  store i32 %119, ptr %7, align 4, !tbaa !5
  %120 = load ptr, ptr @stderr, align 8, !tbaa !9
  %121 = call i32 @s2n_print_stacktrace(ptr noundef %120)
  %122 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %123 = trunc i8 %122 to i1
  br i1 %123, label %124, label %146

124:                                              ; preds = %117
  %125 = load ptr, ptr @stderr, align 8, !tbaa !9
  %126 = call i32 @fileno(ptr noundef %125) #9
  %127 = call i32 @isatty(i32 noundef %126) #9
  %128 = icmp ne i32 %127, 0
  br i1 %128, label %129, label %146

129:                                              ; preds = %124
  %130 = load i32, ptr %7, align 4, !tbaa !5
  %131 = call ptr @__errno_location() #10
  store i32 %130, ptr %131, align 4, !tbaa !5
  %132 = load ptr, ptr @stderr, align 8, !tbaa !9
  %133 = load i32, ptr @test_count, align 4, !tbaa !5
  %134 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %135 = load i32, ptr %134, align 4, !tbaa !5
  %136 = call ptr @s2n_strerror(i32 noundef %135, ptr noundef @.str.4)
  %137 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %138 = load i32, ptr %137, align 4, !tbaa !5
  %139 = call ptr @s2n_strerror_debug(i32 noundef %138, ptr noundef @.str.4)
  %140 = call ptr @__errno_location() #10
  %141 = load i32, ptr %140, align 4, !tbaa !5
  %142 = call ptr @strerror(i32 noundef %141) #9
  %143 = call ptr @__errno_location() #10
  %144 = load i32, ptr %143, align 4, !tbaa !5
  %145 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %132, ptr noundef @.str.2, i32 noundef %133, ptr noundef @.str.6, ptr noundef @.str.1, i32 noundef 24, ptr noundef %136, ptr noundef %139, ptr noundef %142, i32 noundef %144) #9
  br label %163

146:                                              ; preds = %124, %117
  %147 = load i32, ptr %7, align 4, !tbaa !5
  %148 = call ptr @__errno_location() #10
  store i32 %147, ptr %148, align 4, !tbaa !5
  %149 = load ptr, ptr @stderr, align 8, !tbaa !9
  %150 = load i32, ptr @test_count, align 4, !tbaa !5
  %151 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %152 = load i32, ptr %151, align 4, !tbaa !5
  %153 = call ptr @s2n_strerror(i32 noundef %152, ptr noundef @.str.4)
  %154 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %155 = load i32, ptr %154, align 4, !tbaa !5
  %156 = call ptr @s2n_strerror_debug(i32 noundef %155, ptr noundef @.str.4)
  %157 = call ptr @__errno_location() #10
  %158 = load i32, ptr %157, align 4, !tbaa !5
  %159 = call ptr @strerror(i32 noundef %158) #9
  %160 = call ptr @__errno_location() #10
  %161 = load i32, ptr %160, align 4, !tbaa !5
  %162 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %149, ptr noundef @.str.5, i32 noundef %150, ptr noundef @.str.6, ptr noundef @.str.1, i32 noundef 24, ptr noundef %153, ptr noundef %156, ptr noundef %159, i32 noundef %161) #9
  br label %163

163:                                              ; preds = %146, %129
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #9
  br label %164

164:                                              ; preds = %163
  call void @exit(i32 noundef 1) #11
  unreachable

165:                                              ; No predecessors!
  br label %166

166:                                              ; preds = %165, %110
  br label %167

167:                                              ; preds = %166
  br label %168

168:                                              ; preds = %167
  br label %169

169:                                              ; preds = %168
  %170 = call i32 @s2n_init()
  %171 = icmp eq i32 %170, -1
  br i1 %171, label %172, label %223

172:                                              ; preds = %169
  br label %173

173:                                              ; preds = %172
  br label %174

174:                                              ; preds = %173
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #9
  %175 = call ptr @__errno_location() #10
  %176 = load i32, ptr %175, align 4, !tbaa !5
  store i32 %176, ptr %8, align 4, !tbaa !5
  %177 = load ptr, ptr @stderr, align 8, !tbaa !9
  %178 = call i32 @s2n_print_stacktrace(ptr noundef %177)
  %179 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %180 = trunc i8 %179 to i1
  br i1 %180, label %181, label %203

181:                                              ; preds = %174
  %182 = load ptr, ptr @stderr, align 8, !tbaa !9
  %183 = call i32 @fileno(ptr noundef %182) #9
  %184 = call i32 @isatty(i32 noundef %183) #9
  %185 = icmp ne i32 %184, 0
  br i1 %185, label %186, label %203

186:                                              ; preds = %181
  %187 = load i32, ptr %8, align 4, !tbaa !5
  %188 = call ptr @__errno_location() #10
  store i32 %187, ptr %188, align 4, !tbaa !5
  %189 = load ptr, ptr @stderr, align 8, !tbaa !9
  %190 = load i32, ptr @test_count, align 4, !tbaa !5
  %191 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %192 = load i32, ptr %191, align 4, !tbaa !5
  %193 = call ptr @s2n_strerror(i32 noundef %192, ptr noundef @.str.4)
  %194 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %195 = load i32, ptr %194, align 4, !tbaa !5
  %196 = call ptr @s2n_strerror_debug(i32 noundef %195, ptr noundef @.str.4)
  %197 = call ptr @__errno_location() #10
  %198 = load i32, ptr %197, align 4, !tbaa !5
  %199 = call ptr @strerror(i32 noundef %198) #9
  %200 = call ptr @__errno_location() #10
  %201 = load i32, ptr %200, align 4, !tbaa !5
  %202 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %189, ptr noundef @.str.2, i32 noundef %190, ptr noundef @.str.7, ptr noundef @.str.1, i32 noundef 24, ptr noundef %193, ptr noundef %196, ptr noundef %199, i32 noundef %201) #9
  br label %220

203:                                              ; preds = %181, %174
  %204 = load i32, ptr %8, align 4, !tbaa !5
  %205 = call ptr @__errno_location() #10
  store i32 %204, ptr %205, align 4, !tbaa !5
  %206 = load ptr, ptr @stderr, align 8, !tbaa !9
  %207 = load i32, ptr @test_count, align 4, !tbaa !5
  %208 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %209 = load i32, ptr %208, align 4, !tbaa !5
  %210 = call ptr @s2n_strerror(i32 noundef %209, ptr noundef @.str.4)
  %211 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %212 = load i32, ptr %211, align 4, !tbaa !5
  %213 = call ptr @s2n_strerror_debug(i32 noundef %212, ptr noundef @.str.4)
  %214 = call ptr @__errno_location() #10
  %215 = load i32, ptr %214, align 4, !tbaa !5
  %216 = call ptr @strerror(i32 noundef %215) #9
  %217 = call ptr @__errno_location() #10
  %218 = load i32, ptr %217, align 4, !tbaa !5
  %219 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %206, ptr noundef @.str.5, i32 noundef %207, ptr noundef @.str.7, ptr noundef @.str.1, i32 noundef 24, ptr noundef %210, ptr noundef %213, ptr noundef %216, i32 noundef %218) #9
  br label %220

220:                                              ; preds = %203, %186
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #9
  br label %221

221:                                              ; preds = %220
  call void @exit(i32 noundef 1) #11
  unreachable

222:                                              ; No predecessors!
  br label %223

223:                                              ; preds = %222, %169
  br label %224

224:                                              ; preds = %223
  br label %225

225:                                              ; preds = %224
  br label %226

226:                                              ; preds = %225
  %227 = load i32, ptr @test_count, align 4, !tbaa !5
  %228 = add nsw i32 %227, 1
  store i32 %228, ptr @test_count, align 4, !tbaa !5
  %229 = call i32 (...) @s2n_disable_tls13_in_test()
  %230 = icmp eq i32 %229, -1
  br i1 %230, label %231, label %282

231:                                              ; preds = %226
  br label %232

232:                                              ; preds = %231
  br label %233

233:                                              ; preds = %232
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #9
  %234 = call ptr @__errno_location() #10
  %235 = load i32, ptr %234, align 4, !tbaa !5
  store i32 %235, ptr %9, align 4, !tbaa !5
  %236 = load ptr, ptr @stderr, align 8, !tbaa !9
  %237 = call i32 @s2n_print_stacktrace(ptr noundef %236)
  %238 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %239 = trunc i8 %238 to i1
  br i1 %239, label %240, label %262

240:                                              ; preds = %233
  %241 = load ptr, ptr @stderr, align 8, !tbaa !9
  %242 = call i32 @fileno(ptr noundef %241) #9
  %243 = call i32 @isatty(i32 noundef %242) #9
  %244 = icmp ne i32 %243, 0
  br i1 %244, label %245, label %262

245:                                              ; preds = %240
  %246 = load i32, ptr %9, align 4, !tbaa !5
  %247 = call ptr @__errno_location() #10
  store i32 %246, ptr %247, align 4, !tbaa !5
  %248 = load ptr, ptr @stderr, align 8, !tbaa !9
  %249 = load i32, ptr @test_count, align 4, !tbaa !5
  %250 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %251 = load i32, ptr %250, align 4, !tbaa !5
  %252 = call ptr @s2n_strerror(i32 noundef %251, ptr noundef @.str.4)
  %253 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %254 = load i32, ptr %253, align 4, !tbaa !5
  %255 = call ptr @s2n_strerror_debug(i32 noundef %254, ptr noundef @.str.4)
  %256 = call ptr @__errno_location() #10
  %257 = load i32, ptr %256, align 4, !tbaa !5
  %258 = call ptr @strerror(i32 noundef %257) #9
  %259 = call ptr @__errno_location() #10
  %260 = load i32, ptr %259, align 4, !tbaa !5
  %261 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %248, ptr noundef @.str.2, i32 noundef %249, ptr noundef @.str.8, ptr noundef @.str.1, i32 noundef 25, ptr noundef %252, ptr noundef %255, ptr noundef %258, i32 noundef %260) #9
  br label %279

262:                                              ; preds = %240, %233
  %263 = load i32, ptr %9, align 4, !tbaa !5
  %264 = call ptr @__errno_location() #10
  store i32 %263, ptr %264, align 4, !tbaa !5
  %265 = load ptr, ptr @stderr, align 8, !tbaa !9
  %266 = load i32, ptr @test_count, align 4, !tbaa !5
  %267 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %268 = load i32, ptr %267, align 4, !tbaa !5
  %269 = call ptr @s2n_strerror(i32 noundef %268, ptr noundef @.str.4)
  %270 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %271 = load i32, ptr %270, align 4, !tbaa !5
  %272 = call ptr @s2n_strerror_debug(i32 noundef %271, ptr noundef @.str.4)
  %273 = call ptr @__errno_location() #10
  %274 = load i32, ptr %273, align 4, !tbaa !5
  %275 = call ptr @strerror(i32 noundef %274) #9
  %276 = call ptr @__errno_location() #10
  %277 = load i32, ptr %276, align 4, !tbaa !5
  %278 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %265, ptr noundef @.str.5, i32 noundef %266, ptr noundef @.str.8, ptr noundef @.str.1, i32 noundef 25, ptr noundef %269, ptr noundef %272, ptr noundef %275, i32 noundef %277) #9
  br label %279

279:                                              ; preds = %262, %245
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #9
  br label %280

280:                                              ; preds = %279
  call void @exit(i32 noundef 1) #11
  unreachable

281:                                              ; No predecessors!
  br label %282

282:                                              ; preds = %281, %226
  br label %283

283:                                              ; preds = %282
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #9
  store i64 1, ptr %10, align 8, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #9
  call void @llvm.memset.p0.i64(ptr align 1 %11, i8 0, i64 8, i1 false)
  call void @llvm.lifetime.start.p0(i64 24, ptr %12) #9
  call void @llvm.memset.p0.i64(ptr align 8 %12, i8 0, i64 24, i1 false)
  br label %284

284:                                              ; preds = %283
  %285 = load i32, ptr @test_count, align 4, !tbaa !5
  %286 = add nsw i32 %285, 1
  store i32 %286, ptr @test_count, align 4, !tbaa !5
  %287 = getelementptr inbounds [8 x i8], ptr %11, i64 0, i64 0
  %288 = call i32 @s2n_blob_init(ptr noundef %12, ptr noundef %287, i32 noundef 8)
  %289 = icmp eq i32 %288, -1
  br i1 %289, label %290, label %343

290:                                              ; preds = %284
  br label %291

291:                                              ; preds = %290
  br label %292

292:                                              ; preds = %291
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #9
  %293 = call ptr @__errno_location() #10
  %294 = load i32, ptr %293, align 4, !tbaa !5
  store i32 %294, ptr %13, align 4, !tbaa !5
  %295 = load ptr, ptr @stderr, align 8, !tbaa !9
  %296 = call i32 @s2n_print_stacktrace(ptr noundef %295)
  %297 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %298 = trunc i8 %297 to i1
  br i1 %298, label %299, label %321

299:                                              ; preds = %292
  %300 = load ptr, ptr @stderr, align 8, !tbaa !9
  %301 = call i32 @fileno(ptr noundef %300) #9
  %302 = call i32 @isatty(i32 noundef %301) #9
  %303 = icmp ne i32 %302, 0
  br i1 %303, label %304, label %321

304:                                              ; preds = %299
  %305 = load i32, ptr %13, align 4, !tbaa !5
  %306 = call ptr @__errno_location() #10
  store i32 %305, ptr %306, align 4, !tbaa !5
  %307 = load ptr, ptr @stderr, align 8, !tbaa !9
  %308 = load i32, ptr @test_count, align 4, !tbaa !5
  %309 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %310 = load i32, ptr %309, align 4, !tbaa !5
  %311 = call ptr @s2n_strerror(i32 noundef %310, ptr noundef @.str.4)
  %312 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %313 = load i32, ptr %312, align 4, !tbaa !5
  %314 = call ptr @s2n_strerror_debug(i32 noundef %313, ptr noundef @.str.4)
  %315 = call ptr @__errno_location() #10
  %316 = load i32, ptr %315, align 4, !tbaa !5
  %317 = call ptr @strerror(i32 noundef %316) #9
  %318 = call ptr @__errno_location() #10
  %319 = load i32, ptr %318, align 4, !tbaa !5
  %320 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %307, ptr noundef @.str.2, i32 noundef %308, ptr noundef @.str.9, ptr noundef @.str.1, i32 noundef 34, ptr noundef %311, ptr noundef %314, ptr noundef %317, i32 noundef %319) #9
  br label %338

321:                                              ; preds = %299, %292
  %322 = load i32, ptr %13, align 4, !tbaa !5
  %323 = call ptr @__errno_location() #10
  store i32 %322, ptr %323, align 4, !tbaa !5
  %324 = load ptr, ptr @stderr, align 8, !tbaa !9
  %325 = load i32, ptr @test_count, align 4, !tbaa !5
  %326 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %327 = load i32, ptr %326, align 4, !tbaa !5
  %328 = call ptr @s2n_strerror(i32 noundef %327, ptr noundef @.str.4)
  %329 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %330 = load i32, ptr %329, align 4, !tbaa !5
  %331 = call ptr @s2n_strerror_debug(i32 noundef %330, ptr noundef @.str.4)
  %332 = call ptr @__errno_location() #10
  %333 = load i32, ptr %332, align 4, !tbaa !5
  %334 = call ptr @strerror(i32 noundef %333) #9
  %335 = call ptr @__errno_location() #10
  %336 = load i32, ptr %335, align 4, !tbaa !5
  %337 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %324, ptr noundef @.str.5, i32 noundef %325, ptr noundef @.str.9, ptr noundef @.str.1, i32 noundef 34, ptr noundef %328, ptr noundef %331, ptr noundef %334, i32 noundef %336) #9
  br label %338

338:                                              ; preds = %321, %304
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #9
  br label %339

339:                                              ; preds = %338
  br label %340

340:                                              ; preds = %339
  call void @exit(i32 noundef 1) #11
  unreachable

341:                                              ; No predecessors!
  br label %342

342:                                              ; preds = %341
  br label %343

343:                                              ; preds = %342, %284
  br label %344

344:                                              ; preds = %343
  br label %345

345:                                              ; preds = %344
  br label %346

346:                                              ; preds = %345
  %347 = load i32, ptr @test_count, align 4, !tbaa !5
  %348 = add nsw i32 %347, 1
  store i32 %348, ptr @test_count, align 4, !tbaa !5
  %349 = call i32 @s2n_sequence_number_to_uint64(ptr noundef %12, ptr noundef %10)
  %350 = icmp eq i32 %349, -1
  br i1 %350, label %351, label %404

351:                                              ; preds = %346
  br label %352

352:                                              ; preds = %351
  br label %353

353:                                              ; preds = %352
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #9
  %354 = call ptr @__errno_location() #10
  %355 = load i32, ptr %354, align 4, !tbaa !5
  store i32 %355, ptr %14, align 4, !tbaa !5
  %356 = load ptr, ptr @stderr, align 8, !tbaa !9
  %357 = call i32 @s2n_print_stacktrace(ptr noundef %356)
  %358 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %359 = trunc i8 %358 to i1
  br i1 %359, label %360, label %382

360:                                              ; preds = %353
  %361 = load ptr, ptr @stderr, align 8, !tbaa !9
  %362 = call i32 @fileno(ptr noundef %361) #9
  %363 = call i32 @isatty(i32 noundef %362) #9
  %364 = icmp ne i32 %363, 0
  br i1 %364, label %365, label %382

365:                                              ; preds = %360
  %366 = load i32, ptr %14, align 4, !tbaa !5
  %367 = call ptr @__errno_location() #10
  store i32 %366, ptr %367, align 4, !tbaa !5
  %368 = load ptr, ptr @stderr, align 8, !tbaa !9
  %369 = load i32, ptr @test_count, align 4, !tbaa !5
  %370 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %371 = load i32, ptr %370, align 4, !tbaa !5
  %372 = call ptr @s2n_strerror(i32 noundef %371, ptr noundef @.str.4)
  %373 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %374 = load i32, ptr %373, align 4, !tbaa !5
  %375 = call ptr @s2n_strerror_debug(i32 noundef %374, ptr noundef @.str.4)
  %376 = call ptr @__errno_location() #10
  %377 = load i32, ptr %376, align 4, !tbaa !5
  %378 = call ptr @strerror(i32 noundef %377) #9
  %379 = call ptr @__errno_location() #10
  %380 = load i32, ptr %379, align 4, !tbaa !5
  %381 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %368, ptr noundef @.str.2, i32 noundef %369, ptr noundef @.str.10, ptr noundef @.str.1, i32 noundef 36, ptr noundef %372, ptr noundef %375, ptr noundef %378, i32 noundef %380) #9
  br label %399

382:                                              ; preds = %360, %353
  %383 = load i32, ptr %14, align 4, !tbaa !5
  %384 = call ptr @__errno_location() #10
  store i32 %383, ptr %384, align 4, !tbaa !5
  %385 = load ptr, ptr @stderr, align 8, !tbaa !9
  %386 = load i32, ptr @test_count, align 4, !tbaa !5
  %387 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %388 = load i32, ptr %387, align 4, !tbaa !5
  %389 = call ptr @s2n_strerror(i32 noundef %388, ptr noundef @.str.4)
  %390 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %391 = load i32, ptr %390, align 4, !tbaa !5
  %392 = call ptr @s2n_strerror_debug(i32 noundef %391, ptr noundef @.str.4)
  %393 = call ptr @__errno_location() #10
  %394 = load i32, ptr %393, align 4, !tbaa !5
  %395 = call ptr @strerror(i32 noundef %394) #9
  %396 = call ptr @__errno_location() #10
  %397 = load i32, ptr %396, align 4, !tbaa !5
  %398 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %385, ptr noundef @.str.5, i32 noundef %386, ptr noundef @.str.10, ptr noundef @.str.1, i32 noundef 36, ptr noundef %389, ptr noundef %392, ptr noundef %395, i32 noundef %397) #9
  br label %399

399:                                              ; preds = %382, %365
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #9
  br label %400

400:                                              ; preds = %399
  br label %401

401:                                              ; preds = %400
  call void @exit(i32 noundef 1) #11
  unreachable

402:                                              ; No predecessors!
  br label %403

403:                                              ; preds = %402
  br label %404

404:                                              ; preds = %403, %346
  br label %405

405:                                              ; preds = %404
  br label %406

406:                                              ; preds = %405
  br label %407

407:                                              ; preds = %406
  %408 = load i32, ptr @test_count, align 4, !tbaa !5
  %409 = add nsw i32 %408, 1
  store i32 %409, ptr @test_count, align 4, !tbaa !5
  %410 = load i64, ptr %10, align 8, !tbaa !15
  %411 = icmp eq i64 %410, 0
  br i1 %411, label %465, label %412

412:                                              ; preds = %407
  br label %413

413:                                              ; preds = %412
  br label %414

414:                                              ; preds = %413
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #9
  %415 = call ptr @__errno_location() #10
  %416 = load i32, ptr %415, align 4, !tbaa !5
  store i32 %416, ptr %15, align 4, !tbaa !5
  %417 = load ptr, ptr @stderr, align 8, !tbaa !9
  %418 = call i32 @s2n_print_stacktrace(ptr noundef %417)
  %419 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %420 = trunc i8 %419 to i1
  br i1 %420, label %421, label %443

421:                                              ; preds = %414
  %422 = load ptr, ptr @stderr, align 8, !tbaa !9
  %423 = call i32 @fileno(ptr noundef %422) #9
  %424 = call i32 @isatty(i32 noundef %423) #9
  %425 = icmp ne i32 %424, 0
  br i1 %425, label %426, label %443

426:                                              ; preds = %421
  %427 = load i32, ptr %15, align 4, !tbaa !5
  %428 = call ptr @__errno_location() #10
  store i32 %427, ptr %428, align 4, !tbaa !5
  %429 = load ptr, ptr @stderr, align 8, !tbaa !9
  %430 = load i32, ptr @test_count, align 4, !tbaa !5
  %431 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %432 = load i32, ptr %431, align 4, !tbaa !5
  %433 = call ptr @s2n_strerror(i32 noundef %432, ptr noundef @.str.4)
  %434 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %435 = load i32, ptr %434, align 4, !tbaa !5
  %436 = call ptr @s2n_strerror_debug(i32 noundef %435, ptr noundef @.str.4)
  %437 = call ptr @__errno_location() #10
  %438 = load i32, ptr %437, align 4, !tbaa !5
  %439 = call ptr @strerror(i32 noundef %438) #9
  %440 = call ptr @__errno_location() #10
  %441 = load i32, ptr %440, align 4, !tbaa !5
  %442 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %429, ptr noundef @.str.2, i32 noundef %430, ptr noundef @.str.11, ptr noundef @.str.1, i32 noundef 38, ptr noundef %433, ptr noundef %436, ptr noundef %439, i32 noundef %441) #9
  br label %460

443:                                              ; preds = %421, %414
  %444 = load i32, ptr %15, align 4, !tbaa !5
  %445 = call ptr @__errno_location() #10
  store i32 %444, ptr %445, align 4, !tbaa !5
  %446 = load ptr, ptr @stderr, align 8, !tbaa !9
  %447 = load i32, ptr @test_count, align 4, !tbaa !5
  %448 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %449 = load i32, ptr %448, align 4, !tbaa !5
  %450 = call ptr @s2n_strerror(i32 noundef %449, ptr noundef @.str.4)
  %451 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %452 = load i32, ptr %451, align 4, !tbaa !5
  %453 = call ptr @s2n_strerror_debug(i32 noundef %452, ptr noundef @.str.4)
  %454 = call ptr @__errno_location() #10
  %455 = load i32, ptr %454, align 4, !tbaa !5
  %456 = call ptr @strerror(i32 noundef %455) #9
  %457 = call ptr @__errno_location() #10
  %458 = load i32, ptr %457, align 4, !tbaa !5
  %459 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %446, ptr noundef @.str.5, i32 noundef %447, ptr noundef @.str.11, ptr noundef @.str.1, i32 noundef 38, ptr noundef %450, ptr noundef %453, ptr noundef %456, i32 noundef %458) #9
  br label %460

460:                                              ; preds = %443, %426
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #9
  br label %461

461:                                              ; preds = %460
  br label %462

462:                                              ; preds = %461
  call void @exit(i32 noundef 1) #11
  unreachable

463:                                              ; No predecessors!
  br label %464

464:                                              ; preds = %463
  br label %465

465:                                              ; preds = %464, %407
  br label %466

466:                                              ; preds = %465
  br label %467

467:                                              ; preds = %466
  call void @llvm.lifetime.end.p0(i64 24, ptr %12) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #9
  store i64 0, ptr %16, align 8, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #9
  call void @llvm.memset.p0.i64(ptr align 1 %17, i8 0, i64 8, i1 false)
  %468 = getelementptr inbounds [8 x i8], ptr %17, i64 0, i64 7
  store i8 1, ptr %468, align 1, !tbaa !17
  call void @llvm.lifetime.start.p0(i64 24, ptr %18) #9
  call void @llvm.memset.p0.i64(ptr align 8 %18, i8 0, i64 24, i1 false)
  br label %469

469:                                              ; preds = %467
  %470 = load i32, ptr @test_count, align 4, !tbaa !5
  %471 = add nsw i32 %470, 1
  store i32 %471, ptr @test_count, align 4, !tbaa !5
  %472 = getelementptr inbounds [8 x i8], ptr %17, i64 0, i64 0
  %473 = call i32 @s2n_blob_init(ptr noundef %18, ptr noundef %472, i32 noundef 8)
  %474 = icmp eq i32 %473, -1
  br i1 %474, label %475, label %528

475:                                              ; preds = %469
  br label %476

476:                                              ; preds = %475
  br label %477

477:                                              ; preds = %476
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #9
  %478 = call ptr @__errno_location() #10
  %479 = load i32, ptr %478, align 4, !tbaa !5
  store i32 %479, ptr %19, align 4, !tbaa !5
  %480 = load ptr, ptr @stderr, align 8, !tbaa !9
  %481 = call i32 @s2n_print_stacktrace(ptr noundef %480)
  %482 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %483 = trunc i8 %482 to i1
  br i1 %483, label %484, label %506

484:                                              ; preds = %477
  %485 = load ptr, ptr @stderr, align 8, !tbaa !9
  %486 = call i32 @fileno(ptr noundef %485) #9
  %487 = call i32 @isatty(i32 noundef %486) #9
  %488 = icmp ne i32 %487, 0
  br i1 %488, label %489, label %506

489:                                              ; preds = %484
  %490 = load i32, ptr %19, align 4, !tbaa !5
  %491 = call ptr @__errno_location() #10
  store i32 %490, ptr %491, align 4, !tbaa !5
  %492 = load ptr, ptr @stderr, align 8, !tbaa !9
  %493 = load i32, ptr @test_count, align 4, !tbaa !5
  %494 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %495 = load i32, ptr %494, align 4, !tbaa !5
  %496 = call ptr @s2n_strerror(i32 noundef %495, ptr noundef @.str.4)
  %497 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %498 = load i32, ptr %497, align 4, !tbaa !5
  %499 = call ptr @s2n_strerror_debug(i32 noundef %498, ptr noundef @.str.4)
  %500 = call ptr @__errno_location() #10
  %501 = load i32, ptr %500, align 4, !tbaa !5
  %502 = call ptr @strerror(i32 noundef %501) #9
  %503 = call ptr @__errno_location() #10
  %504 = load i32, ptr %503, align 4, !tbaa !5
  %505 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %492, ptr noundef @.str.2, i32 noundef %493, ptr noundef @.str.9, ptr noundef @.str.1, i32 noundef 48, ptr noundef %496, ptr noundef %499, ptr noundef %502, i32 noundef %504) #9
  br label %523

506:                                              ; preds = %484, %477
  %507 = load i32, ptr %19, align 4, !tbaa !5
  %508 = call ptr @__errno_location() #10
  store i32 %507, ptr %508, align 4, !tbaa !5
  %509 = load ptr, ptr @stderr, align 8, !tbaa !9
  %510 = load i32, ptr @test_count, align 4, !tbaa !5
  %511 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %512 = load i32, ptr %511, align 4, !tbaa !5
  %513 = call ptr @s2n_strerror(i32 noundef %512, ptr noundef @.str.4)
  %514 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %515 = load i32, ptr %514, align 4, !tbaa !5
  %516 = call ptr @s2n_strerror_debug(i32 noundef %515, ptr noundef @.str.4)
  %517 = call ptr @__errno_location() #10
  %518 = load i32, ptr %517, align 4, !tbaa !5
  %519 = call ptr @strerror(i32 noundef %518) #9
  %520 = call ptr @__errno_location() #10
  %521 = load i32, ptr %520, align 4, !tbaa !5
  %522 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %509, ptr noundef @.str.5, i32 noundef %510, ptr noundef @.str.9, ptr noundef @.str.1, i32 noundef 48, ptr noundef %513, ptr noundef %516, ptr noundef %519, i32 noundef %521) #9
  br label %523

523:                                              ; preds = %506, %489
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #9
  br label %524

524:                                              ; preds = %523
  br label %525

525:                                              ; preds = %524
  call void @exit(i32 noundef 1) #11
  unreachable

526:                                              ; No predecessors!
  br label %527

527:                                              ; preds = %526
  br label %528

528:                                              ; preds = %527, %469
  br label %529

529:                                              ; preds = %528
  br label %530

530:                                              ; preds = %529
  br label %531

531:                                              ; preds = %530
  %532 = load i32, ptr @test_count, align 4, !tbaa !5
  %533 = add nsw i32 %532, 1
  store i32 %533, ptr @test_count, align 4, !tbaa !5
  %534 = call i32 @s2n_sequence_number_to_uint64(ptr noundef %18, ptr noundef %16)
  %535 = icmp eq i32 %534, -1
  br i1 %535, label %536, label %589

536:                                              ; preds = %531
  br label %537

537:                                              ; preds = %536
  br label %538

538:                                              ; preds = %537
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #9
  %539 = call ptr @__errno_location() #10
  %540 = load i32, ptr %539, align 4, !tbaa !5
  store i32 %540, ptr %20, align 4, !tbaa !5
  %541 = load ptr, ptr @stderr, align 8, !tbaa !9
  %542 = call i32 @s2n_print_stacktrace(ptr noundef %541)
  %543 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %544 = trunc i8 %543 to i1
  br i1 %544, label %545, label %567

545:                                              ; preds = %538
  %546 = load ptr, ptr @stderr, align 8, !tbaa !9
  %547 = call i32 @fileno(ptr noundef %546) #9
  %548 = call i32 @isatty(i32 noundef %547) #9
  %549 = icmp ne i32 %548, 0
  br i1 %549, label %550, label %567

550:                                              ; preds = %545
  %551 = load i32, ptr %20, align 4, !tbaa !5
  %552 = call ptr @__errno_location() #10
  store i32 %551, ptr %552, align 4, !tbaa !5
  %553 = load ptr, ptr @stderr, align 8, !tbaa !9
  %554 = load i32, ptr @test_count, align 4, !tbaa !5
  %555 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %556 = load i32, ptr %555, align 4, !tbaa !5
  %557 = call ptr @s2n_strerror(i32 noundef %556, ptr noundef @.str.4)
  %558 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %559 = load i32, ptr %558, align 4, !tbaa !5
  %560 = call ptr @s2n_strerror_debug(i32 noundef %559, ptr noundef @.str.4)
  %561 = call ptr @__errno_location() #10
  %562 = load i32, ptr %561, align 4, !tbaa !5
  %563 = call ptr @strerror(i32 noundef %562) #9
  %564 = call ptr @__errno_location() #10
  %565 = load i32, ptr %564, align 4, !tbaa !5
  %566 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %553, ptr noundef @.str.2, i32 noundef %554, ptr noundef @.str.10, ptr noundef @.str.1, i32 noundef 50, ptr noundef %557, ptr noundef %560, ptr noundef %563, i32 noundef %565) #9
  br label %584

567:                                              ; preds = %545, %538
  %568 = load i32, ptr %20, align 4, !tbaa !5
  %569 = call ptr @__errno_location() #10
  store i32 %568, ptr %569, align 4, !tbaa !5
  %570 = load ptr, ptr @stderr, align 8, !tbaa !9
  %571 = load i32, ptr @test_count, align 4, !tbaa !5
  %572 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %573 = load i32, ptr %572, align 4, !tbaa !5
  %574 = call ptr @s2n_strerror(i32 noundef %573, ptr noundef @.str.4)
  %575 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %576 = load i32, ptr %575, align 4, !tbaa !5
  %577 = call ptr @s2n_strerror_debug(i32 noundef %576, ptr noundef @.str.4)
  %578 = call ptr @__errno_location() #10
  %579 = load i32, ptr %578, align 4, !tbaa !5
  %580 = call ptr @strerror(i32 noundef %579) #9
  %581 = call ptr @__errno_location() #10
  %582 = load i32, ptr %581, align 4, !tbaa !5
  %583 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %570, ptr noundef @.str.5, i32 noundef %571, ptr noundef @.str.10, ptr noundef @.str.1, i32 noundef 50, ptr noundef %574, ptr noundef %577, ptr noundef %580, i32 noundef %582) #9
  br label %584

584:                                              ; preds = %567, %550
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #9
  br label %585

585:                                              ; preds = %584
  br label %586

586:                                              ; preds = %585
  call void @exit(i32 noundef 1) #11
  unreachable

587:                                              ; No predecessors!
  br label %588

588:                                              ; preds = %587
  br label %589

589:                                              ; preds = %588, %531
  br label %590

590:                                              ; preds = %589
  br label %591

591:                                              ; preds = %590
  br label %592

592:                                              ; preds = %591
  %593 = load i32, ptr @test_count, align 4, !tbaa !5
  %594 = add nsw i32 %593, 1
  store i32 %594, ptr @test_count, align 4, !tbaa !5
  %595 = load i64, ptr %16, align 8, !tbaa !15
  %596 = icmp eq i64 %595, 1
  br i1 %596, label %650, label %597

597:                                              ; preds = %592
  br label %598

598:                                              ; preds = %597
  br label %599

599:                                              ; preds = %598
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #9
  %600 = call ptr @__errno_location() #10
  %601 = load i32, ptr %600, align 4, !tbaa !5
  store i32 %601, ptr %21, align 4, !tbaa !5
  %602 = load ptr, ptr @stderr, align 8, !tbaa !9
  %603 = call i32 @s2n_print_stacktrace(ptr noundef %602)
  %604 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %605 = trunc i8 %604 to i1
  br i1 %605, label %606, label %628

606:                                              ; preds = %599
  %607 = load ptr, ptr @stderr, align 8, !tbaa !9
  %608 = call i32 @fileno(ptr noundef %607) #9
  %609 = call i32 @isatty(i32 noundef %608) #9
  %610 = icmp ne i32 %609, 0
  br i1 %610, label %611, label %628

611:                                              ; preds = %606
  %612 = load i32, ptr %21, align 4, !tbaa !5
  %613 = call ptr @__errno_location() #10
  store i32 %612, ptr %613, align 4, !tbaa !5
  %614 = load ptr, ptr @stderr, align 8, !tbaa !9
  %615 = load i32, ptr @test_count, align 4, !tbaa !5
  %616 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %617 = load i32, ptr %616, align 4, !tbaa !5
  %618 = call ptr @s2n_strerror(i32 noundef %617, ptr noundef @.str.4)
  %619 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %620 = load i32, ptr %619, align 4, !tbaa !5
  %621 = call ptr @s2n_strerror_debug(i32 noundef %620, ptr noundef @.str.4)
  %622 = call ptr @__errno_location() #10
  %623 = load i32, ptr %622, align 4, !tbaa !5
  %624 = call ptr @strerror(i32 noundef %623) #9
  %625 = call ptr @__errno_location() #10
  %626 = load i32, ptr %625, align 4, !tbaa !5
  %627 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %614, ptr noundef @.str.2, i32 noundef %615, ptr noundef @.str.12, ptr noundef @.str.1, i32 noundef 52, ptr noundef %618, ptr noundef %621, ptr noundef %624, i32 noundef %626) #9
  br label %645

628:                                              ; preds = %606, %599
  %629 = load i32, ptr %21, align 4, !tbaa !5
  %630 = call ptr @__errno_location() #10
  store i32 %629, ptr %630, align 4, !tbaa !5
  %631 = load ptr, ptr @stderr, align 8, !tbaa !9
  %632 = load i32, ptr @test_count, align 4, !tbaa !5
  %633 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %634 = load i32, ptr %633, align 4, !tbaa !5
  %635 = call ptr @s2n_strerror(i32 noundef %634, ptr noundef @.str.4)
  %636 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %637 = load i32, ptr %636, align 4, !tbaa !5
  %638 = call ptr @s2n_strerror_debug(i32 noundef %637, ptr noundef @.str.4)
  %639 = call ptr @__errno_location() #10
  %640 = load i32, ptr %639, align 4, !tbaa !5
  %641 = call ptr @strerror(i32 noundef %640) #9
  %642 = call ptr @__errno_location() #10
  %643 = load i32, ptr %642, align 4, !tbaa !5
  %644 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %631, ptr noundef @.str.5, i32 noundef %632, ptr noundef @.str.12, ptr noundef @.str.1, i32 noundef 52, ptr noundef %635, ptr noundef %638, ptr noundef %641, i32 noundef %643) #9
  br label %645

645:                                              ; preds = %628, %611
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #9
  br label %646

646:                                              ; preds = %645
  br label %647

647:                                              ; preds = %646
  call void @exit(i32 noundef 1) #11
  unreachable

648:                                              ; No predecessors!
  br label %649

649:                                              ; preds = %648
  br label %650

650:                                              ; preds = %649, %592
  br label %651

651:                                              ; preds = %650
  br label %652

652:                                              ; preds = %651
  call void @llvm.lifetime.end.p0(i64 24, ptr %18) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #9
  store i64 0, ptr %22, align 8, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #9
  call void @llvm.memset.p0.i64(ptr align 1 %23, i8 0, i64 8, i1 false)
  call void @llvm.lifetime.start.p0(i64 24, ptr %24) #9
  call void @llvm.memset.p0.i64(ptr align 8 %24, i8 0, i64 24, i1 false)
  br label %653

653:                                              ; preds = %652
  %654 = load i32, ptr @test_count, align 4, !tbaa !5
  %655 = add nsw i32 %654, 1
  store i32 %655, ptr @test_count, align 4, !tbaa !5
  %656 = getelementptr inbounds [8 x i8], ptr %23, i64 0, i64 0
  %657 = call i32 @s2n_blob_init(ptr noundef %24, ptr noundef %656, i32 noundef 8)
  %658 = icmp eq i32 %657, -1
  br i1 %658, label %659, label %712

659:                                              ; preds = %653
  br label %660

660:                                              ; preds = %659
  br label %661

661:                                              ; preds = %660
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #9
  %662 = call ptr @__errno_location() #10
  %663 = load i32, ptr %662, align 4, !tbaa !5
  store i32 %663, ptr %25, align 4, !tbaa !5
  %664 = load ptr, ptr @stderr, align 8, !tbaa !9
  %665 = call i32 @s2n_print_stacktrace(ptr noundef %664)
  %666 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %667 = trunc i8 %666 to i1
  br i1 %667, label %668, label %690

668:                                              ; preds = %661
  %669 = load ptr, ptr @stderr, align 8, !tbaa !9
  %670 = call i32 @fileno(ptr noundef %669) #9
  %671 = call i32 @isatty(i32 noundef %670) #9
  %672 = icmp ne i32 %671, 0
  br i1 %672, label %673, label %690

673:                                              ; preds = %668
  %674 = load i32, ptr %25, align 4, !tbaa !5
  %675 = call ptr @__errno_location() #10
  store i32 %674, ptr %675, align 4, !tbaa !5
  %676 = load ptr, ptr @stderr, align 8, !tbaa !9
  %677 = load i32, ptr @test_count, align 4, !tbaa !5
  %678 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %679 = load i32, ptr %678, align 4, !tbaa !5
  %680 = call ptr @s2n_strerror(i32 noundef %679, ptr noundef @.str.4)
  %681 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %682 = load i32, ptr %681, align 4, !tbaa !5
  %683 = call ptr @s2n_strerror_debug(i32 noundef %682, ptr noundef @.str.4)
  %684 = call ptr @__errno_location() #10
  %685 = load i32, ptr %684, align 4, !tbaa !5
  %686 = call ptr @strerror(i32 noundef %685) #9
  %687 = call ptr @__errno_location() #10
  %688 = load i32, ptr %687, align 4, !tbaa !5
  %689 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %676, ptr noundef @.str.2, i32 noundef %677, ptr noundef @.str.9, ptr noundef @.str.1, i32 noundef 61, ptr noundef %680, ptr noundef %683, ptr noundef %686, i32 noundef %688) #9
  br label %707

690:                                              ; preds = %668, %661
  %691 = load i32, ptr %25, align 4, !tbaa !5
  %692 = call ptr @__errno_location() #10
  store i32 %691, ptr %692, align 4, !tbaa !5
  %693 = load ptr, ptr @stderr, align 8, !tbaa !9
  %694 = load i32, ptr @test_count, align 4, !tbaa !5
  %695 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %696 = load i32, ptr %695, align 4, !tbaa !5
  %697 = call ptr @s2n_strerror(i32 noundef %696, ptr noundef @.str.4)
  %698 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %699 = load i32, ptr %698, align 4, !tbaa !5
  %700 = call ptr @s2n_strerror_debug(i32 noundef %699, ptr noundef @.str.4)
  %701 = call ptr @__errno_location() #10
  %702 = load i32, ptr %701, align 4, !tbaa !5
  %703 = call ptr @strerror(i32 noundef %702) #9
  %704 = call ptr @__errno_location() #10
  %705 = load i32, ptr %704, align 4, !tbaa !5
  %706 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %693, ptr noundef @.str.5, i32 noundef %694, ptr noundef @.str.9, ptr noundef @.str.1, i32 noundef 61, ptr noundef %697, ptr noundef %700, ptr noundef %703, i32 noundef %705) #9
  br label %707

707:                                              ; preds = %690, %673
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #9
  br label %708

708:                                              ; preds = %707
  br label %709

709:                                              ; preds = %708
  call void @exit(i32 noundef 1) #11
  unreachable

710:                                              ; No predecessors!
  br label %711

711:                                              ; preds = %710
  br label %712

712:                                              ; preds = %711, %653
  br label %713

713:                                              ; preds = %712
  br label %714

714:                                              ; preds = %713
  br label %715

715:                                              ; preds = %714
  %716 = load i32, ptr @test_count, align 4, !tbaa !5
  %717 = add nsw i32 %716, 1
  store i32 %717, ptr @test_count, align 4, !tbaa !5
  %718 = call i32 @s2n_blob_zero(ptr noundef %24)
  %719 = icmp eq i32 %718, -1
  br i1 %719, label %720, label %773

720:                                              ; preds = %715
  br label %721

721:                                              ; preds = %720
  br label %722

722:                                              ; preds = %721
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #9
  %723 = call ptr @__errno_location() #10
  %724 = load i32, ptr %723, align 4, !tbaa !5
  store i32 %724, ptr %26, align 4, !tbaa !5
  %725 = load ptr, ptr @stderr, align 8, !tbaa !9
  %726 = call i32 @s2n_print_stacktrace(ptr noundef %725)
  %727 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %728 = trunc i8 %727 to i1
  br i1 %728, label %729, label %751

729:                                              ; preds = %722
  %730 = load ptr, ptr @stderr, align 8, !tbaa !9
  %731 = call i32 @fileno(ptr noundef %730) #9
  %732 = call i32 @isatty(i32 noundef %731) #9
  %733 = icmp ne i32 %732, 0
  br i1 %733, label %734, label %751

734:                                              ; preds = %729
  %735 = load i32, ptr %26, align 4, !tbaa !5
  %736 = call ptr @__errno_location() #10
  store i32 %735, ptr %736, align 4, !tbaa !5
  %737 = load ptr, ptr @stderr, align 8, !tbaa !9
  %738 = load i32, ptr @test_count, align 4, !tbaa !5
  %739 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %740 = load i32, ptr %739, align 4, !tbaa !5
  %741 = call ptr @s2n_strerror(i32 noundef %740, ptr noundef @.str.4)
  %742 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %743 = load i32, ptr %742, align 4, !tbaa !5
  %744 = call ptr @s2n_strerror_debug(i32 noundef %743, ptr noundef @.str.4)
  %745 = call ptr @__errno_location() #10
  %746 = load i32, ptr %745, align 4, !tbaa !5
  %747 = call ptr @strerror(i32 noundef %746) #9
  %748 = call ptr @__errno_location() #10
  %749 = load i32, ptr %748, align 4, !tbaa !5
  %750 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %737, ptr noundef @.str.2, i32 noundef %738, ptr noundef @.str.13, ptr noundef @.str.1, i32 noundef 62, ptr noundef %741, ptr noundef %744, ptr noundef %747, i32 noundef %749) #9
  br label %768

751:                                              ; preds = %729, %722
  %752 = load i32, ptr %26, align 4, !tbaa !5
  %753 = call ptr @__errno_location() #10
  store i32 %752, ptr %753, align 4, !tbaa !5
  %754 = load ptr, ptr @stderr, align 8, !tbaa !9
  %755 = load i32, ptr @test_count, align 4, !tbaa !5
  %756 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %757 = load i32, ptr %756, align 4, !tbaa !5
  %758 = call ptr @s2n_strerror(i32 noundef %757, ptr noundef @.str.4)
  %759 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %760 = load i32, ptr %759, align 4, !tbaa !5
  %761 = call ptr @s2n_strerror_debug(i32 noundef %760, ptr noundef @.str.4)
  %762 = call ptr @__errno_location() #10
  %763 = load i32, ptr %762, align 4, !tbaa !5
  %764 = call ptr @strerror(i32 noundef %763) #9
  %765 = call ptr @__errno_location() #10
  %766 = load i32, ptr %765, align 4, !tbaa !5
  %767 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %754, ptr noundef @.str.5, i32 noundef %755, ptr noundef @.str.13, ptr noundef @.str.1, i32 noundef 62, ptr noundef %758, ptr noundef %761, ptr noundef %764, i32 noundef %766) #9
  br label %768

768:                                              ; preds = %751, %734
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #9
  br label %769

769:                                              ; preds = %768
  br label %770

770:                                              ; preds = %769
  call void @exit(i32 noundef 1) #11
  unreachable

771:                                              ; No predecessors!
  br label %772

772:                                              ; preds = %771
  br label %773

773:                                              ; preds = %772, %715
  br label %774

774:                                              ; preds = %773
  br label %775

775:                                              ; preds = %774
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #9
  store i64 0, ptr %27, align 8, !tbaa !15
  br label %776

776:                                              ; preds = %785, %775
  %777 = load i64, ptr %27, align 8, !tbaa !15
  %778 = icmp ult i64 %777, 8
  br i1 %778, label %780, label %779

779:                                              ; preds = %776
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #9
  br label %788

780:                                              ; preds = %776
  %781 = getelementptr inbounds %struct.s2n_blob, ptr %24, i32 0, i32 0
  %782 = load ptr, ptr %781, align 8, !tbaa !18
  %783 = load i64, ptr %27, align 8, !tbaa !15
  %784 = getelementptr inbounds i8, ptr %782, i64 %783
  store i8 -1, ptr %784, align 1, !tbaa !17
  br label %785

785:                                              ; preds = %780
  %786 = load i64, ptr %27, align 8, !tbaa !15
  %787 = add i64 %786, 1
  store i64 %787, ptr %27, align 8, !tbaa !15
  br label %776, !llvm.loop !20

788:                                              ; preds = %779
  br label %789

789:                                              ; preds = %788
  %790 = load i32, ptr @test_count, align 4, !tbaa !5
  %791 = add nsw i32 %790, 1
  store i32 %791, ptr @test_count, align 4, !tbaa !5
  %792 = call i32 @s2n_sequence_number_to_uint64(ptr noundef %24, ptr noundef %22)
  %793 = icmp eq i32 %792, -1
  br i1 %793, label %794, label %847

794:                                              ; preds = %789
  br label %795

795:                                              ; preds = %794
  br label %796

796:                                              ; preds = %795
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #9
  %797 = call ptr @__errno_location() #10
  %798 = load i32, ptr %797, align 4, !tbaa !5
  store i32 %798, ptr %28, align 4, !tbaa !5
  %799 = load ptr, ptr @stderr, align 8, !tbaa !9
  %800 = call i32 @s2n_print_stacktrace(ptr noundef %799)
  %801 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %802 = trunc i8 %801 to i1
  br i1 %802, label %803, label %825

803:                                              ; preds = %796
  %804 = load ptr, ptr @stderr, align 8, !tbaa !9
  %805 = call i32 @fileno(ptr noundef %804) #9
  %806 = call i32 @isatty(i32 noundef %805) #9
  %807 = icmp ne i32 %806, 0
  br i1 %807, label %808, label %825

808:                                              ; preds = %803
  %809 = load i32, ptr %28, align 4, !tbaa !5
  %810 = call ptr @__errno_location() #10
  store i32 %809, ptr %810, align 4, !tbaa !5
  %811 = load ptr, ptr @stderr, align 8, !tbaa !9
  %812 = load i32, ptr @test_count, align 4, !tbaa !5
  %813 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %814 = load i32, ptr %813, align 4, !tbaa !5
  %815 = call ptr @s2n_strerror(i32 noundef %814, ptr noundef @.str.4)
  %816 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %817 = load i32, ptr %816, align 4, !tbaa !5
  %818 = call ptr @s2n_strerror_debug(i32 noundef %817, ptr noundef @.str.4)
  %819 = call ptr @__errno_location() #10
  %820 = load i32, ptr %819, align 4, !tbaa !5
  %821 = call ptr @strerror(i32 noundef %820) #9
  %822 = call ptr @__errno_location() #10
  %823 = load i32, ptr %822, align 4, !tbaa !5
  %824 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %811, ptr noundef @.str.2, i32 noundef %812, ptr noundef @.str.10, ptr noundef @.str.1, i32 noundef 68, ptr noundef %815, ptr noundef %818, ptr noundef %821, i32 noundef %823) #9
  br label %842

825:                                              ; preds = %803, %796
  %826 = load i32, ptr %28, align 4, !tbaa !5
  %827 = call ptr @__errno_location() #10
  store i32 %826, ptr %827, align 4, !tbaa !5
  %828 = load ptr, ptr @stderr, align 8, !tbaa !9
  %829 = load i32, ptr @test_count, align 4, !tbaa !5
  %830 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %831 = load i32, ptr %830, align 4, !tbaa !5
  %832 = call ptr @s2n_strerror(i32 noundef %831, ptr noundef @.str.4)
  %833 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %834 = load i32, ptr %833, align 4, !tbaa !5
  %835 = call ptr @s2n_strerror_debug(i32 noundef %834, ptr noundef @.str.4)
  %836 = call ptr @__errno_location() #10
  %837 = load i32, ptr %836, align 4, !tbaa !5
  %838 = call ptr @strerror(i32 noundef %837) #9
  %839 = call ptr @__errno_location() #10
  %840 = load i32, ptr %839, align 4, !tbaa !5
  %841 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %828, ptr noundef @.str.5, i32 noundef %829, ptr noundef @.str.10, ptr noundef @.str.1, i32 noundef 68, ptr noundef %832, ptr noundef %835, ptr noundef %838, i32 noundef %840) #9
  br label %842

842:                                              ; preds = %825, %808
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #9
  br label %843

843:                                              ; preds = %842
  br label %844

844:                                              ; preds = %843
  call void @exit(i32 noundef 1) #11
  unreachable

845:                                              ; No predecessors!
  br label %846

846:                                              ; preds = %845
  br label %847

847:                                              ; preds = %846, %789
  br label %848

848:                                              ; preds = %847
  br label %849

849:                                              ; preds = %848
  br label %850

850:                                              ; preds = %849
  %851 = load i32, ptr @test_count, align 4, !tbaa !5
  %852 = add nsw i32 %851, 1
  store i32 %852, ptr @test_count, align 4, !tbaa !5
  %853 = load i64, ptr %22, align 8, !tbaa !15
  %854 = icmp eq i64 %853, -1
  br i1 %854, label %908, label %855

855:                                              ; preds = %850
  br label %856

856:                                              ; preds = %855
  br label %857

857:                                              ; preds = %856
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #9
  %858 = call ptr @__errno_location() #10
  %859 = load i32, ptr %858, align 4, !tbaa !5
  store i32 %859, ptr %29, align 4, !tbaa !5
  %860 = load ptr, ptr @stderr, align 8, !tbaa !9
  %861 = call i32 @s2n_print_stacktrace(ptr noundef %860)
  %862 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %863 = trunc i8 %862 to i1
  br i1 %863, label %864, label %886

864:                                              ; preds = %857
  %865 = load ptr, ptr @stderr, align 8, !tbaa !9
  %866 = call i32 @fileno(ptr noundef %865) #9
  %867 = call i32 @isatty(i32 noundef %866) #9
  %868 = icmp ne i32 %867, 0
  br i1 %868, label %869, label %886

869:                                              ; preds = %864
  %870 = load i32, ptr %29, align 4, !tbaa !5
  %871 = call ptr @__errno_location() #10
  store i32 %870, ptr %871, align 4, !tbaa !5
  %872 = load ptr, ptr @stderr, align 8, !tbaa !9
  %873 = load i32, ptr @test_count, align 4, !tbaa !5
  %874 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %875 = load i32, ptr %874, align 4, !tbaa !5
  %876 = call ptr @s2n_strerror(i32 noundef %875, ptr noundef @.str.4)
  %877 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %878 = load i32, ptr %877, align 4, !tbaa !5
  %879 = call ptr @s2n_strerror_debug(i32 noundef %878, ptr noundef @.str.4)
  %880 = call ptr @__errno_location() #10
  %881 = load i32, ptr %880, align 4, !tbaa !5
  %882 = call ptr @strerror(i32 noundef %881) #9
  %883 = call ptr @__errno_location() #10
  %884 = load i32, ptr %883, align 4, !tbaa !5
  %885 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %872, ptr noundef @.str.2, i32 noundef %873, ptr noundef @.str.14, ptr noundef @.str.1, i32 noundef 70, ptr noundef %876, ptr noundef %879, ptr noundef %882, i32 noundef %884) #9
  br label %903

886:                                              ; preds = %864, %857
  %887 = load i32, ptr %29, align 4, !tbaa !5
  %888 = call ptr @__errno_location() #10
  store i32 %887, ptr %888, align 4, !tbaa !5
  %889 = load ptr, ptr @stderr, align 8, !tbaa !9
  %890 = load i32, ptr @test_count, align 4, !tbaa !5
  %891 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %892 = load i32, ptr %891, align 4, !tbaa !5
  %893 = call ptr @s2n_strerror(i32 noundef %892, ptr noundef @.str.4)
  %894 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %895 = load i32, ptr %894, align 4, !tbaa !5
  %896 = call ptr @s2n_strerror_debug(i32 noundef %895, ptr noundef @.str.4)
  %897 = call ptr @__errno_location() #10
  %898 = load i32, ptr %897, align 4, !tbaa !5
  %899 = call ptr @strerror(i32 noundef %898) #9
  %900 = call ptr @__errno_location() #10
  %901 = load i32, ptr %900, align 4, !tbaa !5
  %902 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %889, ptr noundef @.str.5, i32 noundef %890, ptr noundef @.str.14, ptr noundef @.str.1, i32 noundef 70, ptr noundef %893, ptr noundef %896, ptr noundef %899, i32 noundef %901) #9
  br label %903

903:                                              ; preds = %886, %869
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #9
  br label %904

904:                                              ; preds = %903
  br label %905

905:                                              ; preds = %904
  call void @exit(i32 noundef 1) #11
  unreachable

906:                                              ; No predecessors!
  br label %907

907:                                              ; preds = %906
  br label %908

908:                                              ; preds = %907, %850
  br label %909

909:                                              ; preds = %908
  br label %910

910:                                              ; preds = %909
  call void @llvm.lifetime.end.p0(i64 24, ptr %24) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #9
  store i64 0, ptr %30, align 8, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #9
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %31, ptr align 1 @__const.main.data, i64 8, i1 false)
  call void @llvm.lifetime.start.p0(i64 24, ptr %32) #9
  call void @llvm.memset.p0.i64(ptr align 8 %32, i8 0, i64 24, i1 false)
  br label %911

911:                                              ; preds = %910
  %912 = load i32, ptr @test_count, align 4, !tbaa !5
  %913 = add nsw i32 %912, 1
  store i32 %913, ptr @test_count, align 4, !tbaa !5
  %914 = getelementptr inbounds [8 x i8], ptr %31, i64 0, i64 0
  %915 = call i32 @s2n_blob_init(ptr noundef %32, ptr noundef %914, i32 noundef 8)
  %916 = icmp eq i32 %915, -1
  br i1 %916, label %917, label %970

917:                                              ; preds = %911
  br label %918

918:                                              ; preds = %917
  br label %919

919:                                              ; preds = %918
  call void @llvm.lifetime.start.p0(i64 4, ptr %33) #9
  %920 = call ptr @__errno_location() #10
  %921 = load i32, ptr %920, align 4, !tbaa !5
  store i32 %921, ptr %33, align 4, !tbaa !5
  %922 = load ptr, ptr @stderr, align 8, !tbaa !9
  %923 = call i32 @s2n_print_stacktrace(ptr noundef %922)
  %924 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %925 = trunc i8 %924 to i1
  br i1 %925, label %926, label %948

926:                                              ; preds = %919
  %927 = load ptr, ptr @stderr, align 8, !tbaa !9
  %928 = call i32 @fileno(ptr noundef %927) #9
  %929 = call i32 @isatty(i32 noundef %928) #9
  %930 = icmp ne i32 %929, 0
  br i1 %930, label %931, label %948

931:                                              ; preds = %926
  %932 = load i32, ptr %33, align 4, !tbaa !5
  %933 = call ptr @__errno_location() #10
  store i32 %932, ptr %933, align 4, !tbaa !5
  %934 = load ptr, ptr @stderr, align 8, !tbaa !9
  %935 = load i32, ptr @test_count, align 4, !tbaa !5
  %936 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %937 = load i32, ptr %936, align 4, !tbaa !5
  %938 = call ptr @s2n_strerror(i32 noundef %937, ptr noundef @.str.4)
  %939 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %940 = load i32, ptr %939, align 4, !tbaa !5
  %941 = call ptr @s2n_strerror_debug(i32 noundef %940, ptr noundef @.str.4)
  %942 = call ptr @__errno_location() #10
  %943 = load i32, ptr %942, align 4, !tbaa !5
  %944 = call ptr @strerror(i32 noundef %943) #9
  %945 = call ptr @__errno_location() #10
  %946 = load i32, ptr %945, align 4, !tbaa !5
  %947 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %934, ptr noundef @.str.2, i32 noundef %935, ptr noundef @.str.9, ptr noundef @.str.1, i32 noundef 81, ptr noundef %938, ptr noundef %941, ptr noundef %944, i32 noundef %946) #9
  br label %965

948:                                              ; preds = %926, %919
  %949 = load i32, ptr %33, align 4, !tbaa !5
  %950 = call ptr @__errno_location() #10
  store i32 %949, ptr %950, align 4, !tbaa !5
  %951 = load ptr, ptr @stderr, align 8, !tbaa !9
  %952 = load i32, ptr @test_count, align 4, !tbaa !5
  %953 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %954 = load i32, ptr %953, align 4, !tbaa !5
  %955 = call ptr @s2n_strerror(i32 noundef %954, ptr noundef @.str.4)
  %956 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %957 = load i32, ptr %956, align 4, !tbaa !5
  %958 = call ptr @s2n_strerror_debug(i32 noundef %957, ptr noundef @.str.4)
  %959 = call ptr @__errno_location() #10
  %960 = load i32, ptr %959, align 4, !tbaa !5
  %961 = call ptr @strerror(i32 noundef %960) #9
  %962 = call ptr @__errno_location() #10
  %963 = load i32, ptr %962, align 4, !tbaa !5
  %964 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %951, ptr noundef @.str.5, i32 noundef %952, ptr noundef @.str.9, ptr noundef @.str.1, i32 noundef 81, ptr noundef %955, ptr noundef %958, ptr noundef %961, i32 noundef %963) #9
  br label %965

965:                                              ; preds = %948, %931
  call void @llvm.lifetime.end.p0(i64 4, ptr %33) #9
  br label %966

966:                                              ; preds = %965
  br label %967

967:                                              ; preds = %966
  call void @exit(i32 noundef 1) #11
  unreachable

968:                                              ; No predecessors!
  br label %969

969:                                              ; preds = %968
  br label %970

970:                                              ; preds = %969, %911
  br label %971

971:                                              ; preds = %970
  br label %972

972:                                              ; preds = %971
  br label %973

973:                                              ; preds = %972
  %974 = load i32, ptr @test_count, align 4, !tbaa !5
  %975 = add nsw i32 %974, 1
  store i32 %975, ptr @test_count, align 4, !tbaa !5
  %976 = call i32 @s2n_sequence_number_to_uint64(ptr noundef %32, ptr noundef %30)
  %977 = icmp eq i32 %976, -1
  br i1 %977, label %978, label %1031

978:                                              ; preds = %973
  br label %979

979:                                              ; preds = %978
  br label %980

980:                                              ; preds = %979
  call void @llvm.lifetime.start.p0(i64 4, ptr %34) #9
  %981 = call ptr @__errno_location() #10
  %982 = load i32, ptr %981, align 4, !tbaa !5
  store i32 %982, ptr %34, align 4, !tbaa !5
  %983 = load ptr, ptr @stderr, align 8, !tbaa !9
  %984 = call i32 @s2n_print_stacktrace(ptr noundef %983)
  %985 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %986 = trunc i8 %985 to i1
  br i1 %986, label %987, label %1009

987:                                              ; preds = %980
  %988 = load ptr, ptr @stderr, align 8, !tbaa !9
  %989 = call i32 @fileno(ptr noundef %988) #9
  %990 = call i32 @isatty(i32 noundef %989) #9
  %991 = icmp ne i32 %990, 0
  br i1 %991, label %992, label %1009

992:                                              ; preds = %987
  %993 = load i32, ptr %34, align 4, !tbaa !5
  %994 = call ptr @__errno_location() #10
  store i32 %993, ptr %994, align 4, !tbaa !5
  %995 = load ptr, ptr @stderr, align 8, !tbaa !9
  %996 = load i32, ptr @test_count, align 4, !tbaa !5
  %997 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %998 = load i32, ptr %997, align 4, !tbaa !5
  %999 = call ptr @s2n_strerror(i32 noundef %998, ptr noundef @.str.4)
  %1000 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1001 = load i32, ptr %1000, align 4, !tbaa !5
  %1002 = call ptr @s2n_strerror_debug(i32 noundef %1001, ptr noundef @.str.4)
  %1003 = call ptr @__errno_location() #10
  %1004 = load i32, ptr %1003, align 4, !tbaa !5
  %1005 = call ptr @strerror(i32 noundef %1004) #9
  %1006 = call ptr @__errno_location() #10
  %1007 = load i32, ptr %1006, align 4, !tbaa !5
  %1008 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %995, ptr noundef @.str.2, i32 noundef %996, ptr noundef @.str.10, ptr noundef @.str.1, i32 noundef 83, ptr noundef %999, ptr noundef %1002, ptr noundef %1005, i32 noundef %1007) #9
  br label %1026

1009:                                             ; preds = %987, %980
  %1010 = load i32, ptr %34, align 4, !tbaa !5
  %1011 = call ptr @__errno_location() #10
  store i32 %1010, ptr %1011, align 4, !tbaa !5
  %1012 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1013 = load i32, ptr @test_count, align 4, !tbaa !5
  %1014 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1015 = load i32, ptr %1014, align 4, !tbaa !5
  %1016 = call ptr @s2n_strerror(i32 noundef %1015, ptr noundef @.str.4)
  %1017 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1018 = load i32, ptr %1017, align 4, !tbaa !5
  %1019 = call ptr @s2n_strerror_debug(i32 noundef %1018, ptr noundef @.str.4)
  %1020 = call ptr @__errno_location() #10
  %1021 = load i32, ptr %1020, align 4, !tbaa !5
  %1022 = call ptr @strerror(i32 noundef %1021) #9
  %1023 = call ptr @__errno_location() #10
  %1024 = load i32, ptr %1023, align 4, !tbaa !5
  %1025 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1012, ptr noundef @.str.5, i32 noundef %1013, ptr noundef @.str.10, ptr noundef @.str.1, i32 noundef 83, ptr noundef %1016, ptr noundef %1019, ptr noundef %1022, i32 noundef %1024) #9
  br label %1026

1026:                                             ; preds = %1009, %992
  call void @llvm.lifetime.end.p0(i64 4, ptr %34) #9
  br label %1027

1027:                                             ; preds = %1026
  br label %1028

1028:                                             ; preds = %1027
  call void @exit(i32 noundef 1) #11
  unreachable

1029:                                             ; No predecessors!
  br label %1030

1030:                                             ; preds = %1029
  br label %1031

1031:                                             ; preds = %1030, %973
  br label %1032

1032:                                             ; preds = %1031
  br label %1033

1033:                                             ; preds = %1032
  br label %1034

1034:                                             ; preds = %1033
  %1035 = load i32, ptr @test_count, align 4, !tbaa !5
  %1036 = add nsw i32 %1035, 1
  store i32 %1036, ptr @test_count, align 4, !tbaa !5
  %1037 = load i64, ptr %30, align 8, !tbaa !15
  %1038 = icmp eq i64 %1037, 23726565
  br i1 %1038, label %1092, label %1039

1039:                                             ; preds = %1034
  br label %1040

1040:                                             ; preds = %1039
  br label %1041

1041:                                             ; preds = %1040
  call void @llvm.lifetime.start.p0(i64 4, ptr %35) #9
  %1042 = call ptr @__errno_location() #10
  %1043 = load i32, ptr %1042, align 4, !tbaa !5
  store i32 %1043, ptr %35, align 4, !tbaa !5
  %1044 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1045 = call i32 @s2n_print_stacktrace(ptr noundef %1044)
  %1046 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1047 = trunc i8 %1046 to i1
  br i1 %1047, label %1048, label %1070

1048:                                             ; preds = %1041
  %1049 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1050 = call i32 @fileno(ptr noundef %1049) #9
  %1051 = call i32 @isatty(i32 noundef %1050) #9
  %1052 = icmp ne i32 %1051, 0
  br i1 %1052, label %1053, label %1070

1053:                                             ; preds = %1048
  %1054 = load i32, ptr %35, align 4, !tbaa !5
  %1055 = call ptr @__errno_location() #10
  store i32 %1054, ptr %1055, align 4, !tbaa !5
  %1056 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1057 = load i32, ptr @test_count, align 4, !tbaa !5
  %1058 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1059 = load i32, ptr %1058, align 4, !tbaa !5
  %1060 = call ptr @s2n_strerror(i32 noundef %1059, ptr noundef @.str.4)
  %1061 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1062 = load i32, ptr %1061, align 4, !tbaa !5
  %1063 = call ptr @s2n_strerror_debug(i32 noundef %1062, ptr noundef @.str.4)
  %1064 = call ptr @__errno_location() #10
  %1065 = load i32, ptr %1064, align 4, !tbaa !5
  %1066 = call ptr @strerror(i32 noundef %1065) #9
  %1067 = call ptr @__errno_location() #10
  %1068 = load i32, ptr %1067, align 4, !tbaa !5
  %1069 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1056, ptr noundef @.str.2, i32 noundef %1057, ptr noundef @.str.15, ptr noundef @.str.1, i32 noundef 85, ptr noundef %1060, ptr noundef %1063, ptr noundef %1066, i32 noundef %1068) #9
  br label %1087

1070:                                             ; preds = %1048, %1041
  %1071 = load i32, ptr %35, align 4, !tbaa !5
  %1072 = call ptr @__errno_location() #10
  store i32 %1071, ptr %1072, align 4, !tbaa !5
  %1073 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1074 = load i32, ptr @test_count, align 4, !tbaa !5
  %1075 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1076 = load i32, ptr %1075, align 4, !tbaa !5
  %1077 = call ptr @s2n_strerror(i32 noundef %1076, ptr noundef @.str.4)
  %1078 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1079 = load i32, ptr %1078, align 4, !tbaa !5
  %1080 = call ptr @s2n_strerror_debug(i32 noundef %1079, ptr noundef @.str.4)
  %1081 = call ptr @__errno_location() #10
  %1082 = load i32, ptr %1081, align 4, !tbaa !5
  %1083 = call ptr @strerror(i32 noundef %1082) #9
  %1084 = call ptr @__errno_location() #10
  %1085 = load i32, ptr %1084, align 4, !tbaa !5
  %1086 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1073, ptr noundef @.str.5, i32 noundef %1074, ptr noundef @.str.15, ptr noundef @.str.1, i32 noundef 85, ptr noundef %1077, ptr noundef %1080, ptr noundef %1083, i32 noundef %1085) #9
  br label %1087

1087:                                             ; preds = %1070, %1053
  call void @llvm.lifetime.end.p0(i64 4, ptr %35) #9
  br label %1088

1088:                                             ; preds = %1087
  br label %1089

1089:                                             ; preds = %1088
  call void @exit(i32 noundef 1) #11
  unreachable

1090:                                             ; No predecessors!
  br label %1091

1091:                                             ; preds = %1090
  br label %1092

1092:                                             ; preds = %1091, %1034
  br label %1093

1093:                                             ; preds = %1092
  br label %1094

1094:                                             ; preds = %1093
  call void @llvm.lifetime.end.p0(i64 24, ptr %32) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr %36) #9
  store i64 305441741, ptr %36, align 8, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 8, ptr %37) #9
  call void @llvm.memset.p0.i64(ptr align 1 %37, i8 0, i64 8, i1 false)
  call void @llvm.lifetime.start.p0(i64 24, ptr %38) #9
  call void @llvm.memset.p0.i64(ptr align 8 %38, i8 0, i64 24, i1 false)
  call void @llvm.lifetime.start.p0(i64 40, ptr %39) #9
  call void @llvm.memset.p0.i64(ptr align 8 %39, i8 0, i64 40, i1 false)
  br label %1095

1095:                                             ; preds = %1094
  %1096 = load i32, ptr @test_count, align 4, !tbaa !5
  %1097 = add nsw i32 %1096, 1
  store i32 %1097, ptr @test_count, align 4, !tbaa !5
  %1098 = getelementptr inbounds [8 x i8], ptr %37, i64 0, i64 0
  %1099 = call i32 @s2n_blob_init(ptr noundef %38, ptr noundef %1098, i32 noundef 8)
  %1100 = icmp eq i32 %1099, -1
  br i1 %1100, label %1101, label %1154

1101:                                             ; preds = %1095
  br label %1102

1102:                                             ; preds = %1101
  br label %1103

1103:                                             ; preds = %1102
  call void @llvm.lifetime.start.p0(i64 4, ptr %40) #9
  %1104 = call ptr @__errno_location() #10
  %1105 = load i32, ptr %1104, align 4, !tbaa !5
  store i32 %1105, ptr %40, align 4, !tbaa !5
  %1106 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1107 = call i32 @s2n_print_stacktrace(ptr noundef %1106)
  %1108 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1109 = trunc i8 %1108 to i1
  br i1 %1109, label %1110, label %1132

1110:                                             ; preds = %1103
  %1111 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1112 = call i32 @fileno(ptr noundef %1111) #9
  %1113 = call i32 @isatty(i32 noundef %1112) #9
  %1114 = icmp ne i32 %1113, 0
  br i1 %1114, label %1115, label %1132

1115:                                             ; preds = %1110
  %1116 = load i32, ptr %40, align 4, !tbaa !5
  %1117 = call ptr @__errno_location() #10
  store i32 %1116, ptr %1117, align 4, !tbaa !5
  %1118 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1119 = load i32, ptr @test_count, align 4, !tbaa !5
  %1120 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1121 = load i32, ptr %1120, align 4, !tbaa !5
  %1122 = call ptr @s2n_strerror(i32 noundef %1121, ptr noundef @.str.4)
  %1123 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1124 = load i32, ptr %1123, align 4, !tbaa !5
  %1125 = call ptr @s2n_strerror_debug(i32 noundef %1124, ptr noundef @.str.4)
  %1126 = call ptr @__errno_location() #10
  %1127 = load i32, ptr %1126, align 4, !tbaa !5
  %1128 = call ptr @strerror(i32 noundef %1127) #9
  %1129 = call ptr @__errno_location() #10
  %1130 = load i32, ptr %1129, align 4, !tbaa !5
  %1131 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1118, ptr noundef @.str.2, i32 noundef %1119, ptr noundef @.str.16, ptr noundef @.str.1, i32 noundef 96, ptr noundef %1122, ptr noundef %1125, ptr noundef %1128, i32 noundef %1130) #9
  br label %1149

1132:                                             ; preds = %1110, %1103
  %1133 = load i32, ptr %40, align 4, !tbaa !5
  %1134 = call ptr @__errno_location() #10
  store i32 %1133, ptr %1134, align 4, !tbaa !5
  %1135 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1136 = load i32, ptr @test_count, align 4, !tbaa !5
  %1137 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1138 = load i32, ptr %1137, align 4, !tbaa !5
  %1139 = call ptr @s2n_strerror(i32 noundef %1138, ptr noundef @.str.4)
  %1140 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1141 = load i32, ptr %1140, align 4, !tbaa !5
  %1142 = call ptr @s2n_strerror_debug(i32 noundef %1141, ptr noundef @.str.4)
  %1143 = call ptr @__errno_location() #10
  %1144 = load i32, ptr %1143, align 4, !tbaa !5
  %1145 = call ptr @strerror(i32 noundef %1144) #9
  %1146 = call ptr @__errno_location() #10
  %1147 = load i32, ptr %1146, align 4, !tbaa !5
  %1148 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1135, ptr noundef @.str.5, i32 noundef %1136, ptr noundef @.str.16, ptr noundef @.str.1, i32 noundef 96, ptr noundef %1139, ptr noundef %1142, ptr noundef %1145, i32 noundef %1147) #9
  br label %1149

1149:                                             ; preds = %1132, %1115
  call void @llvm.lifetime.end.p0(i64 4, ptr %40) #9
  br label %1150

1150:                                             ; preds = %1149
  br label %1151

1151:                                             ; preds = %1150
  call void @exit(i32 noundef 1) #11
  unreachable

1152:                                             ; No predecessors!
  br label %1153

1153:                                             ; preds = %1152
  br label %1154

1154:                                             ; preds = %1153, %1095
  br label %1155

1155:                                             ; preds = %1154
  br label %1156

1156:                                             ; preds = %1155
  br label %1157

1157:                                             ; preds = %1156
  %1158 = load i32, ptr @test_count, align 4, !tbaa !5
  %1159 = add nsw i32 %1158, 1
  store i32 %1159, ptr @test_count, align 4, !tbaa !5
  %1160 = call i32 @s2n_stuffer_init(ptr noundef %39, ptr noundef %38)
  %1161 = icmp eq i32 %1160, -1
  br i1 %1161, label %1162, label %1215

1162:                                             ; preds = %1157
  br label %1163

1163:                                             ; preds = %1162
  br label %1164

1164:                                             ; preds = %1163
  call void @llvm.lifetime.start.p0(i64 4, ptr %41) #9
  %1165 = call ptr @__errno_location() #10
  %1166 = load i32, ptr %1165, align 4, !tbaa !5
  store i32 %1166, ptr %41, align 4, !tbaa !5
  %1167 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1168 = call i32 @s2n_print_stacktrace(ptr noundef %1167)
  %1169 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1170 = trunc i8 %1169 to i1
  br i1 %1170, label %1171, label %1193

1171:                                             ; preds = %1164
  %1172 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1173 = call i32 @fileno(ptr noundef %1172) #9
  %1174 = call i32 @isatty(i32 noundef %1173) #9
  %1175 = icmp ne i32 %1174, 0
  br i1 %1175, label %1176, label %1193

1176:                                             ; preds = %1171
  %1177 = load i32, ptr %41, align 4, !tbaa !5
  %1178 = call ptr @__errno_location() #10
  store i32 %1177, ptr %1178, align 4, !tbaa !5
  %1179 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1180 = load i32, ptr @test_count, align 4, !tbaa !5
  %1181 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1182 = load i32, ptr %1181, align 4, !tbaa !5
  %1183 = call ptr @s2n_strerror(i32 noundef %1182, ptr noundef @.str.4)
  %1184 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1185 = load i32, ptr %1184, align 4, !tbaa !5
  %1186 = call ptr @s2n_strerror_debug(i32 noundef %1185, ptr noundef @.str.4)
  %1187 = call ptr @__errno_location() #10
  %1188 = load i32, ptr %1187, align 4, !tbaa !5
  %1189 = call ptr @strerror(i32 noundef %1188) #9
  %1190 = call ptr @__errno_location() #10
  %1191 = load i32, ptr %1190, align 4, !tbaa !5
  %1192 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1179, ptr noundef @.str.2, i32 noundef %1180, ptr noundef @.str.17, ptr noundef @.str.1, i32 noundef 97, ptr noundef %1183, ptr noundef %1186, ptr noundef %1189, i32 noundef %1191) #9
  br label %1210

1193:                                             ; preds = %1171, %1164
  %1194 = load i32, ptr %41, align 4, !tbaa !5
  %1195 = call ptr @__errno_location() #10
  store i32 %1194, ptr %1195, align 4, !tbaa !5
  %1196 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1197 = load i32, ptr @test_count, align 4, !tbaa !5
  %1198 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1199 = load i32, ptr %1198, align 4, !tbaa !5
  %1200 = call ptr @s2n_strerror(i32 noundef %1199, ptr noundef @.str.4)
  %1201 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1202 = load i32, ptr %1201, align 4, !tbaa !5
  %1203 = call ptr @s2n_strerror_debug(i32 noundef %1202, ptr noundef @.str.4)
  %1204 = call ptr @__errno_location() #10
  %1205 = load i32, ptr %1204, align 4, !tbaa !5
  %1206 = call ptr @strerror(i32 noundef %1205) #9
  %1207 = call ptr @__errno_location() #10
  %1208 = load i32, ptr %1207, align 4, !tbaa !5
  %1209 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1196, ptr noundef @.str.5, i32 noundef %1197, ptr noundef @.str.17, ptr noundef @.str.1, i32 noundef 97, ptr noundef %1200, ptr noundef %1203, ptr noundef %1206, i32 noundef %1208) #9
  br label %1210

1210:                                             ; preds = %1193, %1176
  call void @llvm.lifetime.end.p0(i64 4, ptr %41) #9
  br label %1211

1211:                                             ; preds = %1210
  br label %1212

1212:                                             ; preds = %1211
  call void @exit(i32 noundef 1) #11
  unreachable

1213:                                             ; No predecessors!
  br label %1214

1214:                                             ; preds = %1213
  br label %1215

1215:                                             ; preds = %1214, %1157
  br label %1216

1216:                                             ; preds = %1215
  br label %1217

1217:                                             ; preds = %1216
  br label %1218

1218:                                             ; preds = %1217
  %1219 = load i32, ptr @test_count, align 4, !tbaa !5
  %1220 = add nsw i32 %1219, 1
  store i32 %1220, ptr @test_count, align 4, !tbaa !5
  %1221 = load i64, ptr %36, align 8, !tbaa !15
  %1222 = call i32 @s2n_stuffer_write_uint64(ptr noundef %39, i64 noundef %1221)
  %1223 = icmp eq i32 %1222, -1
  br i1 %1223, label %1224, label %1277

1224:                                             ; preds = %1218
  br label %1225

1225:                                             ; preds = %1224
  br label %1226

1226:                                             ; preds = %1225
  call void @llvm.lifetime.start.p0(i64 4, ptr %42) #9
  %1227 = call ptr @__errno_location() #10
  %1228 = load i32, ptr %1227, align 4, !tbaa !5
  store i32 %1228, ptr %42, align 4, !tbaa !5
  %1229 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1230 = call i32 @s2n_print_stacktrace(ptr noundef %1229)
  %1231 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1232 = trunc i8 %1231 to i1
  br i1 %1232, label %1233, label %1255

1233:                                             ; preds = %1226
  %1234 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1235 = call i32 @fileno(ptr noundef %1234) #9
  %1236 = call i32 @isatty(i32 noundef %1235) #9
  %1237 = icmp ne i32 %1236, 0
  br i1 %1237, label %1238, label %1255

1238:                                             ; preds = %1233
  %1239 = load i32, ptr %42, align 4, !tbaa !5
  %1240 = call ptr @__errno_location() #10
  store i32 %1239, ptr %1240, align 4, !tbaa !5
  %1241 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1242 = load i32, ptr @test_count, align 4, !tbaa !5
  %1243 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1244 = load i32, ptr %1243, align 4, !tbaa !5
  %1245 = call ptr @s2n_strerror(i32 noundef %1244, ptr noundef @.str.4)
  %1246 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1247 = load i32, ptr %1246, align 4, !tbaa !5
  %1248 = call ptr @s2n_strerror_debug(i32 noundef %1247, ptr noundef @.str.4)
  %1249 = call ptr @__errno_location() #10
  %1250 = load i32, ptr %1249, align 4, !tbaa !5
  %1251 = call ptr @strerror(i32 noundef %1250) #9
  %1252 = call ptr @__errno_location() #10
  %1253 = load i32, ptr %1252, align 4, !tbaa !5
  %1254 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1241, ptr noundef @.str.2, i32 noundef %1242, ptr noundef @.str.18, ptr noundef @.str.1, i32 noundef 98, ptr noundef %1245, ptr noundef %1248, ptr noundef %1251, i32 noundef %1253) #9
  br label %1272

1255:                                             ; preds = %1233, %1226
  %1256 = load i32, ptr %42, align 4, !tbaa !5
  %1257 = call ptr @__errno_location() #10
  store i32 %1256, ptr %1257, align 4, !tbaa !5
  %1258 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1259 = load i32, ptr @test_count, align 4, !tbaa !5
  %1260 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1261 = load i32, ptr %1260, align 4, !tbaa !5
  %1262 = call ptr @s2n_strerror(i32 noundef %1261, ptr noundef @.str.4)
  %1263 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1264 = load i32, ptr %1263, align 4, !tbaa !5
  %1265 = call ptr @s2n_strerror_debug(i32 noundef %1264, ptr noundef @.str.4)
  %1266 = call ptr @__errno_location() #10
  %1267 = load i32, ptr %1266, align 4, !tbaa !5
  %1268 = call ptr @strerror(i32 noundef %1267) #9
  %1269 = call ptr @__errno_location() #10
  %1270 = load i32, ptr %1269, align 4, !tbaa !5
  %1271 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1258, ptr noundef @.str.5, i32 noundef %1259, ptr noundef @.str.18, ptr noundef @.str.1, i32 noundef 98, ptr noundef %1262, ptr noundef %1265, ptr noundef %1268, i32 noundef %1270) #9
  br label %1272

1272:                                             ; preds = %1255, %1238
  call void @llvm.lifetime.end.p0(i64 4, ptr %42) #9
  br label %1273

1273:                                             ; preds = %1272
  br label %1274

1274:                                             ; preds = %1273
  call void @exit(i32 noundef 1) #11
  unreachable

1275:                                             ; No predecessors!
  br label %1276

1276:                                             ; preds = %1275
  br label %1277

1277:                                             ; preds = %1276, %1218
  br label %1278

1278:                                             ; preds = %1277
  br label %1279

1279:                                             ; preds = %1278
  call void @llvm.lifetime.start.p0(i64 8, ptr %43) #9
  store i64 0, ptr %43, align 8, !tbaa !15
  br label %1280

1280:                                             ; preds = %1279
  %1281 = load i32, ptr @test_count, align 4, !tbaa !5
  %1282 = add nsw i32 %1281, 1
  store i32 %1282, ptr @test_count, align 4, !tbaa !5
  %1283 = call i32 @s2n_sequence_number_to_uint64(ptr noundef %38, ptr noundef %43)
  %1284 = icmp eq i32 %1283, -1
  br i1 %1284, label %1285, label %1338

1285:                                             ; preds = %1280
  br label %1286

1286:                                             ; preds = %1285
  br label %1287

1287:                                             ; preds = %1286
  call void @llvm.lifetime.start.p0(i64 4, ptr %44) #9
  %1288 = call ptr @__errno_location() #10
  %1289 = load i32, ptr %1288, align 4, !tbaa !5
  store i32 %1289, ptr %44, align 4, !tbaa !5
  %1290 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1291 = call i32 @s2n_print_stacktrace(ptr noundef %1290)
  %1292 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1293 = trunc i8 %1292 to i1
  br i1 %1293, label %1294, label %1316

1294:                                             ; preds = %1287
  %1295 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1296 = call i32 @fileno(ptr noundef %1295) #9
  %1297 = call i32 @isatty(i32 noundef %1296) #9
  %1298 = icmp ne i32 %1297, 0
  br i1 %1298, label %1299, label %1316

1299:                                             ; preds = %1294
  %1300 = load i32, ptr %44, align 4, !tbaa !5
  %1301 = call ptr @__errno_location() #10
  store i32 %1300, ptr %1301, align 4, !tbaa !5
  %1302 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1303 = load i32, ptr @test_count, align 4, !tbaa !5
  %1304 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1305 = load i32, ptr %1304, align 4, !tbaa !5
  %1306 = call ptr @s2n_strerror(i32 noundef %1305, ptr noundef @.str.4)
  %1307 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1308 = load i32, ptr %1307, align 4, !tbaa !5
  %1309 = call ptr @s2n_strerror_debug(i32 noundef %1308, ptr noundef @.str.4)
  %1310 = call ptr @__errno_location() #10
  %1311 = load i32, ptr %1310, align 4, !tbaa !5
  %1312 = call ptr @strerror(i32 noundef %1311) #9
  %1313 = call ptr @__errno_location() #10
  %1314 = load i32, ptr %1313, align 4, !tbaa !5
  %1315 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1302, ptr noundef @.str.2, i32 noundef %1303, ptr noundef @.str.19, ptr noundef @.str.1, i32 noundef 102, ptr noundef %1306, ptr noundef %1309, ptr noundef %1312, i32 noundef %1314) #9
  br label %1333

1316:                                             ; preds = %1294, %1287
  %1317 = load i32, ptr %44, align 4, !tbaa !5
  %1318 = call ptr @__errno_location() #10
  store i32 %1317, ptr %1318, align 4, !tbaa !5
  %1319 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1320 = load i32, ptr @test_count, align 4, !tbaa !5
  %1321 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1322 = load i32, ptr %1321, align 4, !tbaa !5
  %1323 = call ptr @s2n_strerror(i32 noundef %1322, ptr noundef @.str.4)
  %1324 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1325 = load i32, ptr %1324, align 4, !tbaa !5
  %1326 = call ptr @s2n_strerror_debug(i32 noundef %1325, ptr noundef @.str.4)
  %1327 = call ptr @__errno_location() #10
  %1328 = load i32, ptr %1327, align 4, !tbaa !5
  %1329 = call ptr @strerror(i32 noundef %1328) #9
  %1330 = call ptr @__errno_location() #10
  %1331 = load i32, ptr %1330, align 4, !tbaa !5
  %1332 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1319, ptr noundef @.str.5, i32 noundef %1320, ptr noundef @.str.19, ptr noundef @.str.1, i32 noundef 102, ptr noundef %1323, ptr noundef %1326, ptr noundef %1329, i32 noundef %1331) #9
  br label %1333

1333:                                             ; preds = %1316, %1299
  call void @llvm.lifetime.end.p0(i64 4, ptr %44) #9
  br label %1334

1334:                                             ; preds = %1333
  br label %1335

1335:                                             ; preds = %1334
  call void @exit(i32 noundef 1) #11
  unreachable

1336:                                             ; No predecessors!
  br label %1337

1337:                                             ; preds = %1336
  br label %1338

1338:                                             ; preds = %1337, %1280
  br label %1339

1339:                                             ; preds = %1338
  br label %1340

1340:                                             ; preds = %1339
  br label %1341

1341:                                             ; preds = %1340
  %1342 = load i32, ptr @test_count, align 4, !tbaa !5
  %1343 = add nsw i32 %1342, 1
  store i32 %1343, ptr @test_count, align 4, !tbaa !5
  %1344 = load i64, ptr %36, align 8, !tbaa !15
  %1345 = load i64, ptr %43, align 8, !tbaa !15
  %1346 = icmp eq i64 %1344, %1345
  br i1 %1346, label %1400, label %1347

1347:                                             ; preds = %1341
  br label %1348

1348:                                             ; preds = %1347
  br label %1349

1349:                                             ; preds = %1348
  call void @llvm.lifetime.start.p0(i64 4, ptr %45) #9
  %1350 = call ptr @__errno_location() #10
  %1351 = load i32, ptr %1350, align 4, !tbaa !5
  store i32 %1351, ptr %45, align 4, !tbaa !5
  %1352 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1353 = call i32 @s2n_print_stacktrace(ptr noundef %1352)
  %1354 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1355 = trunc i8 %1354 to i1
  br i1 %1355, label %1356, label %1378

1356:                                             ; preds = %1349
  %1357 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1358 = call i32 @fileno(ptr noundef %1357) #9
  %1359 = call i32 @isatty(i32 noundef %1358) #9
  %1360 = icmp ne i32 %1359, 0
  br i1 %1360, label %1361, label %1378

1361:                                             ; preds = %1356
  %1362 = load i32, ptr %45, align 4, !tbaa !5
  %1363 = call ptr @__errno_location() #10
  store i32 %1362, ptr %1363, align 4, !tbaa !5
  %1364 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1365 = load i32, ptr @test_count, align 4, !tbaa !5
  %1366 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1367 = load i32, ptr %1366, align 4, !tbaa !5
  %1368 = call ptr @s2n_strerror(i32 noundef %1367, ptr noundef @.str.4)
  %1369 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1370 = load i32, ptr %1369, align 4, !tbaa !5
  %1371 = call ptr @s2n_strerror_debug(i32 noundef %1370, ptr noundef @.str.4)
  %1372 = call ptr @__errno_location() #10
  %1373 = load i32, ptr %1372, align 4, !tbaa !5
  %1374 = call ptr @strerror(i32 noundef %1373) #9
  %1375 = call ptr @__errno_location() #10
  %1376 = load i32, ptr %1375, align 4, !tbaa !5
  %1377 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1364, ptr noundef @.str.2, i32 noundef %1365, ptr noundef @.str.20, ptr noundef @.str.1, i32 noundef 104, ptr noundef %1368, ptr noundef %1371, ptr noundef %1374, i32 noundef %1376) #9
  br label %1395

1378:                                             ; preds = %1356, %1349
  %1379 = load i32, ptr %45, align 4, !tbaa !5
  %1380 = call ptr @__errno_location() #10
  store i32 %1379, ptr %1380, align 4, !tbaa !5
  %1381 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1382 = load i32, ptr @test_count, align 4, !tbaa !5
  %1383 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1384 = load i32, ptr %1383, align 4, !tbaa !5
  %1385 = call ptr @s2n_strerror(i32 noundef %1384, ptr noundef @.str.4)
  %1386 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1387 = load i32, ptr %1386, align 4, !tbaa !5
  %1388 = call ptr @s2n_strerror_debug(i32 noundef %1387, ptr noundef @.str.4)
  %1389 = call ptr @__errno_location() #10
  %1390 = load i32, ptr %1389, align 4, !tbaa !5
  %1391 = call ptr @strerror(i32 noundef %1390) #9
  %1392 = call ptr @__errno_location() #10
  %1393 = load i32, ptr %1392, align 4, !tbaa !5
  %1394 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1381, ptr noundef @.str.5, i32 noundef %1382, ptr noundef @.str.20, ptr noundef @.str.1, i32 noundef 104, ptr noundef %1385, ptr noundef %1388, ptr noundef %1391, i32 noundef %1393) #9
  br label %1395

1395:                                             ; preds = %1378, %1361
  call void @llvm.lifetime.end.p0(i64 4, ptr %45) #9
  br label %1396

1396:                                             ; preds = %1395
  br label %1397

1397:                                             ; preds = %1396
  call void @exit(i32 noundef 1) #11
  unreachable

1398:                                             ; No predecessors!
  br label %1399

1399:                                             ; preds = %1398
  br label %1400

1400:                                             ; preds = %1399, %1341
  br label %1401

1401:                                             ; preds = %1400
  br label %1402

1402:                                             ; preds = %1401
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #9
  call void @llvm.lifetime.end.p0(i64 40, ptr %39) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr %38) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #9
  br label %1403

1403:                                             ; preds = %1402
  br label %1404

1404:                                             ; preds = %1403
  %1405 = call i32 @s2n_cleanup()
  %1406 = icmp eq i32 %1405, -1
  br i1 %1406, label %1407, label %1458

1407:                                             ; preds = %1404
  br label %1408

1408:                                             ; preds = %1407
  br label %1409

1409:                                             ; preds = %1408
  call void @llvm.lifetime.start.p0(i64 4, ptr %46) #9
  %1410 = call ptr @__errno_location() #10
  %1411 = load i32, ptr %1410, align 4, !tbaa !5
  store i32 %1411, ptr %46, align 4, !tbaa !5
  %1412 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1413 = call i32 @s2n_print_stacktrace(ptr noundef %1412)
  %1414 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1415 = trunc i8 %1414 to i1
  br i1 %1415, label %1416, label %1438

1416:                                             ; preds = %1409
  %1417 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1418 = call i32 @fileno(ptr noundef %1417) #9
  %1419 = call i32 @isatty(i32 noundef %1418) #9
  %1420 = icmp ne i32 %1419, 0
  br i1 %1420, label %1421, label %1438

1421:                                             ; preds = %1416
  %1422 = load i32, ptr %46, align 4, !tbaa !5
  %1423 = call ptr @__errno_location() #10
  store i32 %1422, ptr %1423, align 4, !tbaa !5
  %1424 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1425 = load i32, ptr @test_count, align 4, !tbaa !5
  %1426 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1427 = load i32, ptr %1426, align 4, !tbaa !5
  %1428 = call ptr @s2n_strerror(i32 noundef %1427, ptr noundef @.str.4)
  %1429 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1430 = load i32, ptr %1429, align 4, !tbaa !5
  %1431 = call ptr @s2n_strerror_debug(i32 noundef %1430, ptr noundef @.str.4)
  %1432 = call ptr @__errno_location() #10
  %1433 = load i32, ptr %1432, align 4, !tbaa !5
  %1434 = call ptr @strerror(i32 noundef %1433) #9
  %1435 = call ptr @__errno_location() #10
  %1436 = load i32, ptr %1435, align 4, !tbaa !5
  %1437 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1424, ptr noundef @.str.2, i32 noundef %1425, ptr noundef @.str.21, ptr noundef @.str.1, i32 noundef 107, ptr noundef %1428, ptr noundef %1431, ptr noundef %1434, i32 noundef %1436) #9
  br label %1455

1438:                                             ; preds = %1416, %1409
  %1439 = load i32, ptr %46, align 4, !tbaa !5
  %1440 = call ptr @__errno_location() #10
  store i32 %1439, ptr %1440, align 4, !tbaa !5
  %1441 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1442 = load i32, ptr @test_count, align 4, !tbaa !5
  %1443 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1444 = load i32, ptr %1443, align 4, !tbaa !5
  %1445 = call ptr @s2n_strerror(i32 noundef %1444, ptr noundef @.str.4)
  %1446 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1447 = load i32, ptr %1446, align 4, !tbaa !5
  %1448 = call ptr @s2n_strerror_debug(i32 noundef %1447, ptr noundef @.str.4)
  %1449 = call ptr @__errno_location() #10
  %1450 = load i32, ptr %1449, align 4, !tbaa !5
  %1451 = call ptr @strerror(i32 noundef %1450) #9
  %1452 = call ptr @__errno_location() #10
  %1453 = load i32, ptr %1452, align 4, !tbaa !5
  %1454 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1441, ptr noundef @.str.5, i32 noundef %1442, ptr noundef @.str.21, ptr noundef @.str.1, i32 noundef 107, ptr noundef %1445, ptr noundef %1448, ptr noundef %1451, i32 noundef %1453) #9
  br label %1455

1455:                                             ; preds = %1438, %1421
  call void @llvm.lifetime.end.p0(i64 4, ptr %46) #9
  br label %1456

1456:                                             ; preds = %1455
  call void @exit(i32 noundef 1) #11
  unreachable

1457:                                             ; No predecessors!
  br label %1458

1458:                                             ; preds = %1457, %1404
  br label %1459

1459:                                             ; preds = %1458
  br label %1460

1460:                                             ; preds = %1459
  br label %1461

1461:                                             ; preds = %1460
  %1462 = call i32 @s2n_in_unit_test_set(i1 noundef zeroext false)
  %1463 = icmp eq i32 %1462, -1
  br i1 %1463, label %1464, label %1515

1464:                                             ; preds = %1461
  br label %1465

1465:                                             ; preds = %1464
  br label %1466

1466:                                             ; preds = %1465
  call void @llvm.lifetime.start.p0(i64 4, ptr %47) #9
  %1467 = call ptr @__errno_location() #10
  %1468 = load i32, ptr %1467, align 4, !tbaa !5
  store i32 %1468, ptr %47, align 4, !tbaa !5
  %1469 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1470 = call i32 @s2n_print_stacktrace(ptr noundef %1469)
  %1471 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1472 = trunc i8 %1471 to i1
  br i1 %1472, label %1473, label %1495

1473:                                             ; preds = %1466
  %1474 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1475 = call i32 @fileno(ptr noundef %1474) #9
  %1476 = call i32 @isatty(i32 noundef %1475) #9
  %1477 = icmp ne i32 %1476, 0
  br i1 %1477, label %1478, label %1495

1478:                                             ; preds = %1473
  %1479 = load i32, ptr %47, align 4, !tbaa !5
  %1480 = call ptr @__errno_location() #10
  store i32 %1479, ptr %1480, align 4, !tbaa !5
  %1481 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1482 = load i32, ptr @test_count, align 4, !tbaa !5
  %1483 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1484 = load i32, ptr %1483, align 4, !tbaa !5
  %1485 = call ptr @s2n_strerror(i32 noundef %1484, ptr noundef @.str.4)
  %1486 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1487 = load i32, ptr %1486, align 4, !tbaa !5
  %1488 = call ptr @s2n_strerror_debug(i32 noundef %1487, ptr noundef @.str.4)
  %1489 = call ptr @__errno_location() #10
  %1490 = load i32, ptr %1489, align 4, !tbaa !5
  %1491 = call ptr @strerror(i32 noundef %1490) #9
  %1492 = call ptr @__errno_location() #10
  %1493 = load i32, ptr %1492, align 4, !tbaa !5
  %1494 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1481, ptr noundef @.str.2, i32 noundef %1482, ptr noundef @.str.22, ptr noundef @.str.1, i32 noundef 107, ptr noundef %1485, ptr noundef %1488, ptr noundef %1491, i32 noundef %1493) #9
  br label %1512

1495:                                             ; preds = %1473, %1466
  %1496 = load i32, ptr %47, align 4, !tbaa !5
  %1497 = call ptr @__errno_location() #10
  store i32 %1496, ptr %1497, align 4, !tbaa !5
  %1498 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1499 = load i32, ptr @test_count, align 4, !tbaa !5
  %1500 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1501 = load i32, ptr %1500, align 4, !tbaa !5
  %1502 = call ptr @s2n_strerror(i32 noundef %1501, ptr noundef @.str.4)
  %1503 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1504 = load i32, ptr %1503, align 4, !tbaa !5
  %1505 = call ptr @s2n_strerror_debug(i32 noundef %1504, ptr noundef @.str.4)
  %1506 = call ptr @__errno_location() #10
  %1507 = load i32, ptr %1506, align 4, !tbaa !5
  %1508 = call ptr @strerror(i32 noundef %1507) #9
  %1509 = call ptr @__errno_location() #10
  %1510 = load i32, ptr %1509, align 4, !tbaa !5
  %1511 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1498, ptr noundef @.str.5, i32 noundef %1499, ptr noundef @.str.22, ptr noundef @.str.1, i32 noundef 107, ptr noundef %1502, ptr noundef %1505, ptr noundef %1508, i32 noundef %1510) #9
  br label %1512

1512:                                             ; preds = %1495, %1478
  call void @llvm.lifetime.end.p0(i64 4, ptr %47) #9
  br label %1513

1513:                                             ; preds = %1512
  call void @exit(i32 noundef 1) #11
  unreachable

1514:                                             ; No predecessors!
  br label %1515

1515:                                             ; preds = %1514, %1461
  br label %1516

1516:                                             ; preds = %1515
  %1517 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1518 = trunc i8 %1517 to i1
  br i1 %1518, label %1519, label %1535

1519:                                             ; preds = %1516
  %1520 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1521 = call i32 @fileno(ptr noundef %1520) #9
  %1522 = call i32 @isatty(i32 noundef %1521) #9
  %1523 = icmp ne i32 %1522, 0
  br i1 %1523, label %1524, label %1535

1524:                                             ; preds = %1519
  %1525 = load i32, ptr @test_count, align 4, !tbaa !5
  %1526 = icmp ne i32 %1525, 0
  br i1 %1526, label %1527, label %1531

1527:                                             ; preds = %1524
  %1528 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1529 = load i32, ptr @test_count, align 4, !tbaa !5
  %1530 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1528, ptr noundef @.str.23, i32 noundef %1529) #9
  br label %1534

1531:                                             ; preds = %1524
  %1532 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1533 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1532, ptr noundef @.str.24) #9
  br label %1534

1534:                                             ; preds = %1531, %1527
  br label %1546

1535:                                             ; preds = %1519, %1516
  %1536 = load i32, ptr @test_count, align 4, !tbaa !5
  %1537 = icmp ne i32 %1536, 0
  br i1 %1537, label %1538, label %1542

1538:                                             ; preds = %1535
  %1539 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1540 = load i32, ptr @test_count, align 4, !tbaa !5
  %1541 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1539, ptr noundef @.str.25, i32 noundef %1540) #9
  br label %1545

1542:                                             ; preds = %1535
  %1543 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1544 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1543, ptr noundef @.str.26) #9
  br label %1545

1545:                                             ; preds = %1542, %1538
  br label %1546

1546:                                             ; preds = %1545, %1534
  store i32 0, ptr %3, align 4
  br label %1548

1547:                                             ; No predecessors!
  br label %1548

1548:                                             ; preds = %1547, %1546
  %1549 = load i32, ptr %3, align 4
  ret i32 %1549
}

; Function Attrs: nounwind
declare i32 @fprintf(ptr noundef, ptr noundef, ...) #1

declare i32 @fflush(ptr noundef) #2

declare i32 @s2n_in_unit_test_set(i1 noundef zeroext) #2

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #3

; Function Attrs: nounwind willreturn memory(none)
declare ptr @__errno_location() #4

declare i32 @s2n_print_stacktrace(ptr noundef) #2

; Function Attrs: nounwind
declare i32 @isatty(i32 noundef) #1

; Function Attrs: nounwind
declare i32 @fileno(ptr noundef) #1

declare ptr @s2n_strerror(i32 noundef, ptr noundef) #2

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare nonnull ptr @llvm.threadlocal.address.p0(ptr nonnull) #5

declare ptr @s2n_strerror_debug(i32 noundef, ptr noundef) #2

; Function Attrs: nounwind
declare ptr @strerror(i32 noundef) #1

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #3

; Function Attrs: noreturn nounwind
declare void @exit(i32 noundef) #6

declare i32 @s2n_enable_atexit() #2

declare i32 @s2n_init() #2

declare i32 @s2n_disable_tls13_in_test(...) #2

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #7

declare i32 @s2n_blob_init(ptr noundef, ptr noundef, i32 noundef) #2

declare i32 @s2n_sequence_number_to_uint64(ptr noundef, ptr noundef) #2

declare i32 @s2n_blob_zero(ptr noundef) #2

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #8

declare i32 @s2n_stuffer_init(ptr noundef, ptr noundef) #2

declare i32 @s2n_stuffer_write_uint64(ptr noundef, i64 noundef) #2

declare i32 @s2n_cleanup() #2

attributes #0 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #4 = { nounwind willreturn memory(none) "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #6 = { noreturn nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #7 = { nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #8 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #9 = { nounwind }
attributes #10 = { nounwind willreturn memory(none) }
attributes #11 = { noreturn nounwind }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"any pointer", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"_Bool", !7, i64 0}
!13 = !{i8 0, i8 2}
!14 = !{}
!15 = !{!16, !16, i64 0}
!16 = !{!"long", !7, i64 0}
!17 = !{!7, !7, i64 0}
!18 = !{!19, !10, i64 0}
!19 = !{!"s2n_blob", !10, i64 0, !6, i64 8, !6, i64 12, !6, i64 16}
!20 = distinct !{!20, !21}
!21 = !{!"llvm.loop.mustprogress"}


; Optimized IR (opt -passes='default<O3>'):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%struct.s2n_blob = type { ptr, i32, i32, i8 }
%struct.s2n_stuffer = type { %struct.s2n_blob, i32, i32, i32, i8 }

@s2n_use_color_in_output = external dso_local local_unnamed_addr global i8, align 1
@test_count = external dso_local local_unnamed_addr global i32, align 4
@stdout = external local_unnamed_addr global ptr, align 8
@.str = external hidden unnamed_addr constant [19 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [83 x i8], align 1
@stderr = external local_unnamed_addr global ptr, align 8
@.str.2 = external hidden unnamed_addr constant [101 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [52 x i8], align 1
@s2n_errno = external thread_local local_unnamed_addr global i32, align 4
@.str.4 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [90 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [48 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [56 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [69 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [85 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [60 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [49 x i8], align 1
@__const.main.data = external hidden unnamed_addr constant [8 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [49 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [95 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [70 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [70 x i8], align 1
@.str.19 = external hidden unnamed_addr constant [82 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [33 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [42 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [25 x i8], align 1

; Function Attrs: nounwind uwtable
define dso_local noundef i32 @main(i32 noundef %0, ptr nocapture noundef readnone %1) local_unnamed_addr #0 {
  %3 = alloca i64, align 8
  %4 = alloca [8 x i8], align 8
  %5 = alloca %struct.s2n_blob, align 8
  %6 = alloca i64, align 8
  %7 = alloca [8 x i8], align 8
  %8 = alloca %struct.s2n_blob, align 8
  %9 = alloca i64, align 8
  %10 = alloca [8 x i8], align 8
  %11 = alloca %struct.s2n_blob, align 8
  %12 = alloca i64, align 8
  %13 = alloca [8 x i8], align 8
  %14 = alloca %struct.s2n_blob, align 8
  %15 = alloca [8 x i8], align 8
  %16 = alloca %struct.s2n_blob, align 8
  %17 = alloca %struct.s2n_stuffer, align 8
  %18 = alloca i64, align 8
  store i32 0, ptr @test_count, align 4, !tbaa !5
  %19 = load ptr, ptr @stdout, align 8, !tbaa !9
  %20 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %19, ptr noundef nonnull @.str, ptr noundef nonnull @.str.1) #9
  %21 = load ptr, ptr @stdout, align 8, !tbaa !9
  %22 = tail call i32 @fflush(ptr noundef %21)
  %23 = tail call i32 @s2n_in_unit_test_set(i1 noundef zeroext true) #9
  %24 = icmp eq i32 %23, -1
  br i1 %24, label %25, label %49

25:                                               ; preds = %2
  %26 = tail call ptr @__errno_location() #10
  %27 = load i32, ptr %26, align 4, !tbaa !5
  %28 = load ptr, ptr @stderr, align 8, !tbaa !9
  %29 = tail call i32 @s2n_print_stacktrace(ptr noundef %28) #9
  %30 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %31 = trunc nuw i8 %30 to i1
  br i1 %31, label %32, label %36

32:                                               ; preds = %25
  %33 = load ptr, ptr @stderr, align 8, !tbaa !9
  %34 = tail call i32 @fileno(ptr noundef %33) #9
  %35 = tail call i32 @isatty(i32 noundef %34) #9
  %.not81 = icmp eq i32 %35, 0
  br i1 %.not81, label %36, label %37

36:                                               ; preds = %32, %25
  br label %37

37:                                               ; preds = %32, %36
  %.str.5.sink = phi ptr [ @.str.5, %36 ], [ @.str.2, %32 ]
  store i32 %27, ptr %26, align 4, !tbaa !5
  %38 = load ptr, ptr @stderr, align 8, !tbaa !9
  %39 = load i32, ptr @test_count, align 4, !tbaa !5
  %40 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %41 = load i32, ptr %40, align 4, !tbaa !5
  %42 = tail call ptr @s2n_strerror(i32 noundef %41, ptr noundef nonnull @.str.4) #9
  %43 = load i32, ptr %40, align 4, !tbaa !5
  %44 = tail call ptr @s2n_strerror_debug(i32 noundef %43, ptr noundef nonnull @.str.4) #9
  %45 = load i32, ptr %26, align 4, !tbaa !5
  %46 = tail call ptr @strerror(i32 noundef %45) #9
  %47 = load i32, ptr %26, align 4, !tbaa !5
  %48 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %38, ptr noundef nonnull %.str.5.sink, i32 noundef %39, ptr noundef nonnull @.str.3, ptr noundef nonnull @.str.1, i32 noundef 24, ptr noundef %42, ptr noundef %44, ptr noundef %46, i32 noundef %47) #11
  tail call void @exit(i32 noundef 1) #12
  unreachable

49:                                               ; preds = %2
  %50 = load i32, ptr @test_count, align 4, !tbaa !5
  %51 = add nsw i32 %50, 1
  store i32 %51, ptr @test_count, align 4, !tbaa !5
  %52 = tail call i32 @s2n_enable_atexit() #9
  %53 = icmp eq i32 %52, -1
  br i1 %53, label %54, label %78

54:                                               ; preds = %49
  %55 = tail call ptr @__errno_location() #10
  %56 = load i32, ptr %55, align 4, !tbaa !5
  %57 = load ptr, ptr @stderr, align 8, !tbaa !9
  %58 = tail call i32 @s2n_print_stacktrace(ptr noundef %57) #9
  %59 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %60 = trunc nuw i8 %59 to i1
  br i1 %60, label %61, label %65

61:                                               ; preds = %54
  %62 = load ptr, ptr @stderr, align 8, !tbaa !9
  %63 = tail call i32 @fileno(ptr noundef %62) #9
  %64 = tail call i32 @isatty(i32 noundef %63) #9
  %.not80 = icmp eq i32 %64, 0
  br i1 %.not80, label %65, label %66

65:                                               ; preds = %61, %54
  br label %66

66:                                               ; preds = %61, %65
  %.str.5.sink93 = phi ptr [ @.str.5, %65 ], [ @.str.2, %61 ]
  store i32 %56, ptr %55, align 4, !tbaa !5
  %67 = load ptr, ptr @stderr, align 8, !tbaa !9
  %68 = load i32, ptr @test_count, align 4, !tbaa !5
  %69 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %70 = load i32, ptr %69, align 4, !tbaa !5
  %71 = tail call ptr @s2n_strerror(i32 noundef %70, ptr noundef nonnull @.str.4) #9
  %72 = load i32, ptr %69, align 4, !tbaa !5
  %73 = tail call ptr @s2n_strerror_debug(i32 noundef %72, ptr noundef nonnull @.str.4) #9
  %74 = load i32, ptr %55, align 4, !tbaa !5
  %75 = tail call ptr @strerror(i32 noundef %74) #9
  %76 = load i32, ptr %55, align 4, !tbaa !5
  %77 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %67, ptr noundef nonnull %.str.5.sink93, i32 noundef %68, ptr noundef nonnull @.str.6, ptr noundef nonnull @.str.1, i32 noundef 24, ptr noundef %71, ptr noundef %73, ptr noundef %75, i32 noundef %76) #11
  tail call void @exit(i32 noundef 1) #12
  unreachable

78:                                               ; preds = %49
  %79 = tail call i32 @s2n_init() #9
  %80 = icmp eq i32 %79, -1
  br i1 %80, label %81, label %105

81:                                               ; preds = %78
  %82 = tail call ptr @__errno_location() #10
  %83 = load i32, ptr %82, align 4, !tbaa !5
  %84 = load ptr, ptr @stderr, align 8, !tbaa !9
  %85 = tail call i32 @s2n_print_stacktrace(ptr noundef %84) #9
  %86 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %87 = trunc nuw i8 %86 to i1
  br i1 %87, label %88, label %92

88:                                               ; preds = %81
  %89 = load ptr, ptr @stderr, align 8, !tbaa !9
  %90 = tail call i32 @fileno(ptr noundef %89) #9
  %91 = tail call i32 @isatty(i32 noundef %90) #9
  %.not79 = icmp eq i32 %91, 0
  br i1 %.not79, label %92, label %93

92:                                               ; preds = %88, %81
  br label %93

93:                                               ; preds = %88, %92
  %.str.5.sink104 = phi ptr [ @.str.5, %92 ], [ @.str.2, %88 ]
  store i32 %83, ptr %82, align 4, !tbaa !5
  %94 = load ptr, ptr @stderr, align 8, !tbaa !9
  %95 = load i32, ptr @test_count, align 4, !tbaa !5
  %96 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %97 = load i32, ptr %96, align 4, !tbaa !5
  %98 = tail call ptr @s2n_strerror(i32 noundef %97, ptr noundef nonnull @.str.4) #9
  %99 = load i32, ptr %96, align 4, !tbaa !5
  %100 = tail call ptr @s2n_strerror_debug(i32 noundef %99, ptr noundef nonnull @.str.4) #9
  %101 = load i32, ptr %82, align 4, !tbaa !5
  %102 = tail call ptr @strerror(i32 noundef %101) #9
  %103 = load i32, ptr %82, align 4, !tbaa !5
  %104 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %94, ptr noundef nonnull %.str.5.sink104, i32 noundef %95, ptr noundef nonnull @.str.7, ptr noundef nonnull @.str.1, i32 noundef 24, ptr noundef %98, ptr noundef %100, ptr noundef %102, i32 noundef %103) #11
  tail call void @exit(i32 noundef 1) #12
  unreachable

105:                                              ; preds = %78
  %106 = load i32, ptr @test_count, align 4, !tbaa !5
  %107 = add nsw i32 %106, 1
  store i32 %107, ptr @test_count, align 4, !tbaa !5
  %108 = tail call i32 (...) @s2n_disable_tls13_in_test() #9
  %109 = icmp eq i32 %108, -1
  br i1 %109, label %110, label %134

110:                                              ; preds = %105
  %111 = tail call ptr @__errno_location() #10
  %112 = load i32, ptr %111, align 4, !tbaa !5
  %113 = load ptr, ptr @stderr, align 8, !tbaa !9
  %114 = tail call i32 @s2n_print_stacktrace(ptr noundef %113) #9
  %115 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %116 = trunc nuw i8 %115 to i1
  br i1 %116, label %117, label %121

117:                                              ; preds = %110
  %118 = load ptr, ptr @stderr, align 8, !tbaa !9
  %119 = tail call i32 @fileno(ptr noundef %118) #9
  %120 = tail call i32 @isatty(i32 noundef %119) #9
  %.not78 = icmp eq i32 %120, 0
  br i1 %.not78, label %121, label %122

121:                                              ; preds = %117, %110
  br label %122

122:                                              ; preds = %117, %121
  %.str.5.sink115 = phi ptr [ @.str.5, %121 ], [ @.str.2, %117 ]
  store i32 %112, ptr %111, align 4, !tbaa !5
  %123 = load ptr, ptr @stderr, align 8, !tbaa !9
  %124 = load i32, ptr @test_count, align 4, !tbaa !5
  %125 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %126 = load i32, ptr %125, align 4, !tbaa !5
  %127 = tail call ptr @s2n_strerror(i32 noundef %126, ptr noundef nonnull @.str.4) #9
  %128 = load i32, ptr %125, align 4, !tbaa !5
  %129 = tail call ptr @s2n_strerror_debug(i32 noundef %128, ptr noundef nonnull @.str.4) #9
  %130 = load i32, ptr %111, align 4, !tbaa !5
  %131 = tail call ptr @strerror(i32 noundef %130) #9
  %132 = load i32, ptr %111, align 4, !tbaa !5
  %133 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %123, ptr noundef nonnull %.str.5.sink115, i32 noundef %124, ptr noundef nonnull @.str.8, ptr noundef nonnull @.str.1, i32 noundef 25, ptr noundef %127, ptr noundef %129, ptr noundef %131, i32 noundef %132) #11
  tail call void @exit(i32 noundef 1) #12
  unreachable

134:                                              ; preds = %105
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %3) #9
  store i64 1, ptr %3, align 8, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %4) #9
  store i64 0, ptr %4, align 8
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %5) #9
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %5, i8 0, i64 24, i1 false)
  %135 = load i32, ptr @test_count, align 4, !tbaa !5
  %136 = add nsw i32 %135, 1
  store i32 %136, ptr @test_count, align 4, !tbaa !5
  %137 = call i32 @s2n_blob_init(ptr noundef nonnull %5, ptr noundef nonnull %4, i32 noundef 8) #9
  %138 = icmp eq i32 %137, -1
  br i1 %138, label %139, label %163

139:                                              ; preds = %134
  %140 = tail call ptr @__errno_location() #10
  %141 = load i32, ptr %140, align 4, !tbaa !5
  %142 = load ptr, ptr @stderr, align 8, !tbaa !9
  %143 = call i32 @s2n_print_stacktrace(ptr noundef %142) #9
  %144 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %145 = trunc nuw i8 %144 to i1
  br i1 %145, label %146, label %150

146:                                              ; preds = %139
  %147 = load ptr, ptr @stderr, align 8, !tbaa !9
  %148 = call i32 @fileno(ptr noundef %147) #9
  %149 = call i32 @isatty(i32 noundef %148) #9
  %.not77 = icmp eq i32 %149, 0
  br i1 %.not77, label %150, label %151

150:                                              ; preds = %146, %139
  br label %151

151:                                              ; preds = %146, %150
  %.str.5.sink126 = phi ptr [ @.str.5, %150 ], [ @.str.2, %146 ]
  store i32 %141, ptr %140, align 4, !tbaa !5
  %152 = load ptr, ptr @stderr, align 8, !tbaa !9
  %153 = load i32, ptr @test_count, align 4, !tbaa !5
  %154 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %155 = load i32, ptr %154, align 4, !tbaa !5
  %156 = call ptr @s2n_strerror(i32 noundef %155, ptr noundef nonnull @.str.4) #9
  %157 = load i32, ptr %154, align 4, !tbaa !5
  %158 = call ptr @s2n_strerror_debug(i32 noundef %157, ptr noundef nonnull @.str.4) #9
  %159 = load i32, ptr %140, align 4, !tbaa !5
  %160 = call ptr @strerror(i32 noundef %159) #9
  %161 = load i32, ptr %140, align 4, !tbaa !5
  %162 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %152, ptr noundef nonnull %.str.5.sink126, i32 noundef %153, ptr noundef nonnull @.str.9, ptr noundef nonnull @.str.1, i32 noundef 34, ptr noundef %156, ptr noundef %158, ptr noundef %160, i32 noundef %161) #11
  call void @exit(i32 noundef 1) #12
  unreachable

163:                                              ; preds = %134
  %164 = load i32, ptr @test_count, align 4, !tbaa !5
  %165 = add nsw i32 %164, 1
  store i32 %165, ptr @test_count, align 4, !tbaa !5
  %166 = call i32 @s2n_sequence_number_to_uint64(ptr noundef nonnull %5, ptr noundef nonnull %3) #9
  %167 = icmp eq i32 %166, -1
  br i1 %167, label %168, label %192

168:                                              ; preds = %163
  %169 = tail call ptr @__errno_location() #10
  %170 = load i32, ptr %169, align 4, !tbaa !5
  %171 = load ptr, ptr @stderr, align 8, !tbaa !9
  %172 = call i32 @s2n_print_stacktrace(ptr noundef %171) #9
  %173 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %174 = trunc nuw i8 %173 to i1
  br i1 %174, label %175, label %179

175:                                              ; preds = %168
  %176 = load ptr, ptr @stderr, align 8, !tbaa !9
  %177 = call i32 @fileno(ptr noundef %176) #9
  %178 = call i32 @isatty(i32 noundef %177) #9
  %.not76 = icmp eq i32 %178, 0
  br i1 %.not76, label %179, label %180

179:                                              ; preds = %175, %168
  br label %180

180:                                              ; preds = %175, %179
  %.str.5.sink137 = phi ptr [ @.str.5, %179 ], [ @.str.2, %175 ]
  store i32 %170, ptr %169, align 4, !tbaa !5
  %181 = load ptr, ptr @stderr, align 8, !tbaa !9
  %182 = load i32, ptr @test_count, align 4, !tbaa !5
  %183 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %184 = load i32, ptr %183, align 4, !tbaa !5
  %185 = call ptr @s2n_strerror(i32 noundef %184, ptr noundef nonnull @.str.4) #9
  %186 = load i32, ptr %183, align 4, !tbaa !5
  %187 = call ptr @s2n_strerror_debug(i32 noundef %186, ptr noundef nonnull @.str.4) #9
  %188 = load i32, ptr %169, align 4, !tbaa !5
  %189 = call ptr @strerror(i32 noundef %188) #9
  %190 = load i32, ptr %169, align 4, !tbaa !5
  %191 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %181, ptr noundef nonnull %.str.5.sink137, i32 noundef %182, ptr noundef nonnull @.str.10, ptr noundef nonnull @.str.1, i32 noundef 36, ptr noundef %185, ptr noundef %187, ptr noundef %189, i32 noundef %190) #11
  call void @exit(i32 noundef 1) #12
  unreachable

192:                                              ; preds = %163
  %193 = load i32, ptr @test_count, align 4, !tbaa !5
  %194 = add nsw i32 %193, 1
  store i32 %194, ptr @test_count, align 4, !tbaa !5
  %195 = load i64, ptr %3, align 8, !tbaa !15
  %196 = icmp eq i64 %195, 0
  br i1 %196, label %221, label %197

197:                                              ; preds = %192
  %198 = tail call ptr @__errno_location() #10
  %199 = load i32, ptr %198, align 4, !tbaa !5
  %200 = load ptr, ptr @stderr, align 8, !tbaa !9
  %201 = call i32 @s2n_print_stacktrace(ptr noundef %200) #9
  %202 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %203 = trunc nuw i8 %202 to i1
  br i1 %203, label %204, label %208

204:                                              ; preds = %197
  %205 = load ptr, ptr @stderr, align 8, !tbaa !9
  %206 = call i32 @fileno(ptr noundef %205) #9
  %207 = call i32 @isatty(i32 noundef %206) #9
  %.not = icmp eq i32 %207, 0
  br i1 %.not, label %208, label %209

208:                                              ; preds = %204, %197
  br label %209

209:                                              ; preds = %204, %208
  %.str.5.sink148 = phi ptr [ @.str.5, %208 ], [ @.str.2, %204 ]
  store i32 %199, ptr %198, align 4, !tbaa !5
  %210 = load ptr, ptr @stderr, align 8, !tbaa !9
  %211 = load i32, ptr @test_count, align 4, !tbaa !5
  %212 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %213 = load i32, ptr %212, align 4, !tbaa !5
  %214 = call ptr @s2n_strerror(i32 noundef %213, ptr noundef nonnull @.str.4) #9
  %215 = load i32, ptr %212, align 4, !tbaa !5
  %216 = call ptr @s2n_strerror_debug(i32 noundef %215, ptr noundef nonnull @.str.4) #9
  %217 = load i32, ptr %198, align 4, !tbaa !5
  %218 = call ptr @strerror(i32 noundef %217) #9
  %219 = load i32, ptr %198, align 4, !tbaa !5
  %220 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %210, ptr noundef nonnull %.str.5.sink148, i32 noundef %211, ptr noundef nonnull @.str.11, ptr noundef nonnull @.str.1, i32 noundef 38, ptr noundef %214, ptr noundef %216, ptr noundef %218, i32 noundef %219) #11
  call void @exit(i32 noundef 1) #12
  unreachable

221:                                              ; preds = %192
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %5) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %3) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %6) #9
  store i64 0, ptr %6, align 8, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %7) #9
  store i64 72057594037927936, ptr %7, align 8
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %8) #9
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %8, i8 0, i64 24, i1 false)
  %222 = add nsw i32 %193, 2
  store i32 %222, ptr @test_count, align 4, !tbaa !5
  %223 = call i32 @s2n_blob_init(ptr noundef nonnull %8, ptr noundef nonnull %7, i32 noundef 8) #9
  %224 = icmp eq i32 %223, -1
  br i1 %224, label %225, label %249

225:                                              ; preds = %221
  %226 = tail call ptr @__errno_location() #10
  %227 = load i32, ptr %226, align 4, !tbaa !5
  %228 = load ptr, ptr @stderr, align 8, !tbaa !9
  %229 = call i32 @s2n_print_stacktrace(ptr noundef %228) #9
  %230 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %231 = trunc nuw i8 %230 to i1
  br i1 %231, label %232, label %236

232:                                              ; preds = %225
  %233 = load ptr, ptr @stderr, align 8, !tbaa !9
  %234 = call i32 @fileno(ptr noundef %233) #9
  %235 = call i32 @isatty(i32 noundef %234) #9
  %.not75 = icmp eq i32 %235, 0
  br i1 %.not75, label %236, label %237

236:                                              ; preds = %232, %225
  br label %237

237:                                              ; preds = %232, %236
  %.str.5.sink159 = phi ptr [ @.str.5, %236 ], [ @.str.2, %232 ]
  store i32 %227, ptr %226, align 4, !tbaa !5
  %238 = load ptr, ptr @stderr, align 8, !tbaa !9
  %239 = load i32, ptr @test_count, align 4, !tbaa !5
  %240 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %241 = load i32, ptr %240, align 4, !tbaa !5
  %242 = call ptr @s2n_strerror(i32 noundef %241, ptr noundef nonnull @.str.4) #9
  %243 = load i32, ptr %240, align 4, !tbaa !5
  %244 = call ptr @s2n_strerror_debug(i32 noundef %243, ptr noundef nonnull @.str.4) #9
  %245 = load i32, ptr %226, align 4, !tbaa !5
  %246 = call ptr @strerror(i32 noundef %245) #9
  %247 = load i32, ptr %226, align 4, !tbaa !5
  %248 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %238, ptr noundef nonnull %.str.5.sink159, i32 noundef %239, ptr noundef nonnull @.str.9, ptr noundef nonnull @.str.1, i32 noundef 48, ptr noundef %242, ptr noundef %244, ptr noundef %246, i32 noundef %247) #11
  call void @exit(i32 noundef 1) #12
  unreachable

249:                                              ; preds = %221
  %250 = load i32, ptr @test_count, align 4, !tbaa !5
  %251 = add nsw i32 %250, 1
  store i32 %251, ptr @test_count, align 4, !tbaa !5
  %252 = call i32 @s2n_sequence_number_to_uint64(ptr noundef nonnull %8, ptr noundef nonnull %6) #9
  %253 = icmp eq i32 %252, -1
  br i1 %253, label %254, label %278

254:                                              ; preds = %249
  %255 = tail call ptr @__errno_location() #10
  %256 = load i32, ptr %255, align 4, !tbaa !5
  %257 = load ptr, ptr @stderr, align 8, !tbaa !9
  %258 = call i32 @s2n_print_stacktrace(ptr noundef %257) #9
  %259 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %260 = trunc nuw i8 %259 to i1
  br i1 %260, label %261, label %265

261:                                              ; preds = %254
  %262 = load ptr, ptr @stderr, align 8, !tbaa !9
  %263 = call i32 @fileno(ptr noundef %262) #9
  %264 = call i32 @isatty(i32 noundef %263) #9
  %.not74 = icmp eq i32 %264, 0
  br i1 %.not74, label %265, label %266

265:                                              ; preds = %261, %254
  br label %266

266:                                              ; preds = %261, %265
  %.str.5.sink170 = phi ptr [ @.str.5, %265 ], [ @.str.2, %261 ]
  store i32 %256, ptr %255, align 4, !tbaa !5
  %267 = load ptr, ptr @stderr, align 8, !tbaa !9
  %268 = load i32, ptr @test_count, align 4, !tbaa !5
  %269 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %270 = load i32, ptr %269, align 4, !tbaa !5
  %271 = call ptr @s2n_strerror(i32 noundef %270, ptr noundef nonnull @.str.4) #9
  %272 = load i32, ptr %269, align 4, !tbaa !5
  %273 = call ptr @s2n_strerror_debug(i32 noundef %272, ptr noundef nonnull @.str.4) #9
  %274 = load i32, ptr %255, align 4, !tbaa !5
  %275 = call ptr @strerror(i32 noundef %274) #9
  %276 = load i32, ptr %255, align 4, !tbaa !5
  %277 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %267, ptr noundef nonnull %.str.5.sink170, i32 noundef %268, ptr noundef nonnull @.str.10, ptr noundef nonnull @.str.1, i32 noundef 50, ptr noundef %271, ptr noundef %273, ptr noundef %275, i32 noundef %276) #11
  call void @exit(i32 noundef 1) #12
  unreachable

278:                                              ; preds = %249
  %279 = load i32, ptr @test_count, align 4, !tbaa !5
  %280 = add nsw i32 %279, 1
  store i32 %280, ptr @test_count, align 4, !tbaa !5
  %281 = load i64, ptr %6, align 8, !tbaa !15
  %282 = icmp eq i64 %281, 1
  br i1 %282, label %307, label %283

283:                                              ; preds = %278
  %284 = tail call ptr @__errno_location() #10
  %285 = load i32, ptr %284, align 4, !tbaa !5
  %286 = load ptr, ptr @stderr, align 8, !tbaa !9
  %287 = call i32 @s2n_print_stacktrace(ptr noundef %286) #9
  %288 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %289 = trunc nuw i8 %288 to i1
  br i1 %289, label %290, label %294

290:                                              ; preds = %283
  %291 = load ptr, ptr @stderr, align 8, !tbaa !9
  %292 = call i32 @fileno(ptr noundef %291) #9
  %293 = call i32 @isatty(i32 noundef %292) #9
  %.not56 = icmp eq i32 %293, 0
  br i1 %.not56, label %294, label %295

294:                                              ; preds = %290, %283
  br label %295

295:                                              ; preds = %290, %294
  %.str.5.sink181 = phi ptr [ @.str.5, %294 ], [ @.str.2, %290 ]
  store i32 %285, ptr %284, align 4, !tbaa !5
  %296 = load ptr, ptr @stderr, align 8, !tbaa !9
  %297 = load i32, ptr @test_count, align 4, !tbaa !5
  %298 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %299 = load i32, ptr %298, align 4, !tbaa !5
  %300 = call ptr @s2n_strerror(i32 noundef %299, ptr noundef nonnull @.str.4) #9
  %301 = load i32, ptr %298, align 4, !tbaa !5
  %302 = call ptr @s2n_strerror_debug(i32 noundef %301, ptr noundef nonnull @.str.4) #9
  %303 = load i32, ptr %284, align 4, !tbaa !5
  %304 = call ptr @strerror(i32 noundef %303) #9
  %305 = load i32, ptr %284, align 4, !tbaa !5
  %306 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %296, ptr noundef nonnull %.str.5.sink181, i32 noundef %297, ptr noundef nonnull @.str.12, ptr noundef nonnull @.str.1, i32 noundef 52, ptr noundef %300, ptr noundef %302, ptr noundef %304, i32 noundef %305) #11
  call void @exit(i32 noundef 1) #12
  unreachable

307:                                              ; preds = %278
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %8) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %7) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %6) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %9) #9
  store i64 0, ptr %9, align 8, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %10) #9
  store i64 0, ptr %10, align 8
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %11) #9
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %11, i8 0, i64 24, i1 false)
  %308 = add nsw i32 %279, 2
  store i32 %308, ptr @test_count, align 4, !tbaa !5
  %309 = call i32 @s2n_blob_init(ptr noundef nonnull %11, ptr noundef nonnull %10, i32 noundef 8) #9
  %310 = icmp eq i32 %309, -1
  br i1 %310, label %311, label %335

311:                                              ; preds = %307
  %312 = tail call ptr @__errno_location() #10
  %313 = load i32, ptr %312, align 4, !tbaa !5
  %314 = load ptr, ptr @stderr, align 8, !tbaa !9
  %315 = call i32 @s2n_print_stacktrace(ptr noundef %314) #9
  %316 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %317 = trunc nuw i8 %316 to i1
  br i1 %317, label %318, label %322

318:                                              ; preds = %311
  %319 = load ptr, ptr @stderr, align 8, !tbaa !9
  %320 = call i32 @fileno(ptr noundef %319) #9
  %321 = call i32 @isatty(i32 noundef %320) #9
  %.not73 = icmp eq i32 %321, 0
  br i1 %.not73, label %322, label %323

322:                                              ; preds = %318, %311
  br label %323

323:                                              ; preds = %318, %322
  %.str.5.sink192 = phi ptr [ @.str.5, %322 ], [ @.str.2, %318 ]
  store i32 %313, ptr %312, align 4, !tbaa !5
  %324 = load ptr, ptr @stderr, align 8, !tbaa !9
  %325 = load i32, ptr @test_count, align 4, !tbaa !5
  %326 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %327 = load i32, ptr %326, align 4, !tbaa !5
  %328 = call ptr @s2n_strerror(i32 noundef %327, ptr noundef nonnull @.str.4) #9
  %329 = load i32, ptr %326, align 4, !tbaa !5
  %330 = call ptr @s2n_strerror_debug(i32 noundef %329, ptr noundef nonnull @.str.4) #9
  %331 = load i32, ptr %312, align 4, !tbaa !5
  %332 = call ptr @strerror(i32 noundef %331) #9
  %333 = load i32, ptr %312, align 4, !tbaa !5
  %334 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %324, ptr noundef nonnull %.str.5.sink192, i32 noundef %325, ptr noundef nonnull @.str.9, ptr noundef nonnull @.str.1, i32 noundef 61, ptr noundef %328, ptr noundef %330, ptr noundef %332, i32 noundef %333) #11
  call void @exit(i32 noundef 1) #12
  unreachable

335:                                              ; preds = %307
  %336 = load i32, ptr @test_count, align 4, !tbaa !5
  %337 = add nsw i32 %336, 1
  store i32 %337, ptr @test_count, align 4, !tbaa !5
  %338 = call i32 @s2n_blob_zero(ptr noundef nonnull %11) #9
  %339 = icmp eq i32 %338, -1
  br i1 %339, label %359, label %.preheader.preheader

.preheader.preheader:                             ; preds = %335
  %340 = load ptr, ptr %11, align 8, !tbaa !17
  store i8 -1, ptr %340, align 1, !tbaa !19
  %341 = load ptr, ptr %11, align 8, !tbaa !17
  %342 = getelementptr inbounds i8, ptr %341, i64 1
  store i8 -1, ptr %342, align 1, !tbaa !19
  %343 = load ptr, ptr %11, align 8, !tbaa !17
  %344 = getelementptr inbounds i8, ptr %343, i64 2
  store i8 -1, ptr %344, align 1, !tbaa !19
  %345 = load ptr, ptr %11, align 8, !tbaa !17
  %346 = getelementptr inbounds i8, ptr %345, i64 3
  store i8 -1, ptr %346, align 1, !tbaa !19
  %347 = load ptr, ptr %11, align 8, !tbaa !17
  %348 = getelementptr inbounds i8, ptr %347, i64 4
  store i8 -1, ptr %348, align 1, !tbaa !19
  %349 = load ptr, ptr %11, align 8, !tbaa !17
  %350 = getelementptr inbounds i8, ptr %349, i64 5
  store i8 -1, ptr %350, align 1, !tbaa !19
  %351 = load ptr, ptr %11, align 8, !tbaa !17
  %352 = getelementptr inbounds i8, ptr %351, i64 6
  store i8 -1, ptr %352, align 1, !tbaa !19
  %353 = load ptr, ptr %11, align 8, !tbaa !17
  %354 = getelementptr inbounds i8, ptr %353, i64 7
  store i8 -1, ptr %354, align 1, !tbaa !19
  %355 = load i32, ptr @test_count, align 4, !tbaa !5
  %356 = add nsw i32 %355, 1
  store i32 %356, ptr @test_count, align 4, !tbaa !5
  %357 = call i32 @s2n_sequence_number_to_uint64(ptr noundef nonnull %11, ptr noundef nonnull %9) #9
  %358 = icmp eq i32 %357, -1
  br i1 %358, label %383, label %407

359:                                              ; preds = %335
  %360 = tail call ptr @__errno_location() #10
  %361 = load i32, ptr %360, align 4, !tbaa !5
  %362 = load ptr, ptr @stderr, align 8, !tbaa !9
  %363 = call i32 @s2n_print_stacktrace(ptr noundef %362) #9
  %364 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %365 = trunc nuw i8 %364 to i1
  br i1 %365, label %366, label %370

366:                                              ; preds = %359
  %367 = load ptr, ptr @stderr, align 8, !tbaa !9
  %368 = call i32 @fileno(ptr noundef %367) #9
  %369 = call i32 @isatty(i32 noundef %368) #9
  %.not72 = icmp eq i32 %369, 0
  br i1 %.not72, label %370, label %371

370:                                              ; preds = %366, %359
  br label %371

371:                                              ; preds = %366, %370
  %.str.5.sink203 = phi ptr [ @.str.5, %370 ], [ @.str.2, %366 ]
  store i32 %361, ptr %360, align 4, !tbaa !5
  %372 = load ptr, ptr @stderr, align 8, !tbaa !9
  %373 = load i32, ptr @test_count, align 4, !tbaa !5
  %374 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %375 = load i32, ptr %374, align 4, !tbaa !5
  %376 = call ptr @s2n_strerror(i32 noundef %375, ptr noundef nonnull @.str.4) #9
  %377 = load i32, ptr %374, align 4, !tbaa !5
  %378 = call ptr @s2n_strerror_debug(i32 noundef %377, ptr noundef nonnull @.str.4) #9
  %379 = load i32, ptr %360, align 4, !tbaa !5
  %380 = call ptr @strerror(i32 noundef %379) #9
  %381 = load i32, ptr %360, align 4, !tbaa !5
  %382 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %372, ptr noundef nonnull %.str.5.sink203, i32 noundef %373, ptr noundef nonnull @.str.13, ptr noundef nonnull @.str.1, i32 noundef 62, ptr noundef %376, ptr noundef %378, ptr noundef %380, i32 noundef %381) #11
  call void @exit(i32 noundef 1) #12
  unreachable

383:                                              ; preds = %.preheader.preheader
  %384 = tail call ptr @__errno_location() #10
  %385 = load i32, ptr %384, align 4, !tbaa !5
  %386 = load ptr, ptr @stderr, align 8, !tbaa !9
  %387 = call i32 @s2n_print_stacktrace(ptr noundef %386) #9
  %388 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %389 = trunc nuw i8 %388 to i1
  br i1 %389, label %390, label %394

390:                                              ; preds = %383
  %391 = load ptr, ptr @stderr, align 8, !tbaa !9
  %392 = call i32 @fileno(ptr noundef %391) #9
  %393 = call i32 @isatty(i32 noundef %392) #9
  %.not71 = icmp eq i32 %393, 0
  br i1 %.not71, label %394, label %395

394:                                              ; preds = %390, %383
  br label %395

395:                                              ; preds = %390, %394
  %.str.5.sink214 = phi ptr [ @.str.5, %394 ], [ @.str.2, %390 ]
  store i32 %385, ptr %384, align 4, !tbaa !5
  %396 = load ptr, ptr @stderr, align 8, !tbaa !9
  %397 = load i32, ptr @test_count, align 4, !tbaa !5
  %398 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %399 = load i32, ptr %398, align 4, !tbaa !5
  %400 = call ptr @s2n_strerror(i32 noundef %399, ptr noundef nonnull @.str.4) #9
  %401 = load i32, ptr %398, align 4, !tbaa !5
  %402 = call ptr @s2n_strerror_debug(i32 noundef %401, ptr noundef nonnull @.str.4) #9
  %403 = load i32, ptr %384, align 4, !tbaa !5
  %404 = call ptr @strerror(i32 noundef %403) #9
  %405 = load i32, ptr %384, align 4, !tbaa !5
  %406 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %396, ptr noundef nonnull %.str.5.sink214, i32 noundef %397, ptr noundef nonnull @.str.10, ptr noundef nonnull @.str.1, i32 noundef 68, ptr noundef %400, ptr noundef %402, ptr noundef %404, i32 noundef %405) #11
  call void @exit(i32 noundef 1) #12
  unreachable

407:                                              ; preds = %.preheader.preheader
  %408 = load i32, ptr @test_count, align 4, !tbaa !5
  %409 = add nsw i32 %408, 1
  store i32 %409, ptr @test_count, align 4, !tbaa !5
  %410 = load i64, ptr %9, align 8, !tbaa !15
  %411 = icmp eq i64 %410, -1
  br i1 %411, label %436, label %412

412:                                              ; preds = %407
  %413 = tail call ptr @__errno_location() #10
  %414 = load i32, ptr %413, align 4, !tbaa !5
  %415 = load ptr, ptr @stderr, align 8, !tbaa !9
  %416 = call i32 @s2n_print_stacktrace(ptr noundef %415) #9
  %417 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %418 = trunc nuw i8 %417 to i1
  br i1 %418, label %419, label %423

419:                                              ; preds = %412
  %420 = load ptr, ptr @stderr, align 8, !tbaa !9
  %421 = call i32 @fileno(ptr noundef %420) #9
  %422 = call i32 @isatty(i32 noundef %421) #9
  %.not57 = icmp eq i32 %422, 0
  br i1 %.not57, label %423, label %424

423:                                              ; preds = %419, %412
  br label %424

424:                                              ; preds = %419, %423
  %.str.5.sink225 = phi ptr [ @.str.5, %423 ], [ @.str.2, %419 ]
  store i32 %414, ptr %413, align 4, !tbaa !5
  %425 = load ptr, ptr @stderr, align 8, !tbaa !9
  %426 = load i32, ptr @test_count, align 4, !tbaa !5
  %427 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %428 = load i32, ptr %427, align 4, !tbaa !5
  %429 = call ptr @s2n_strerror(i32 noundef %428, ptr noundef nonnull @.str.4) #9
  %430 = load i32, ptr %427, align 4, !tbaa !5
  %431 = call ptr @s2n_strerror_debug(i32 noundef %430, ptr noundef nonnull @.str.4) #9
  %432 = load i32, ptr %413, align 4, !tbaa !5
  %433 = call ptr @strerror(i32 noundef %432) #9
  %434 = load i32, ptr %413, align 4, !tbaa !5
  %435 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %425, ptr noundef nonnull %.str.5.sink225, i32 noundef %426, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.1, i32 noundef 70, ptr noundef %429, ptr noundef %431, ptr noundef %433, i32 noundef %434) #11
  call void @exit(i32 noundef 1) #12
  unreachable

436:                                              ; preds = %407
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %11) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %12) #9
  store i64 0, ptr %12, align 8, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %13) #9
  %437 = load i64, ptr @__const.main.data, align 1
  store i64 %437, ptr %13, align 8
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %14) #9
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %14, i8 0, i64 24, i1 false)
  %438 = add nsw i32 %408, 2
  store i32 %438, ptr @test_count, align 4, !tbaa !5
  %439 = call i32 @s2n_blob_init(ptr noundef nonnull %14, ptr noundef nonnull %13, i32 noundef 8) #9
  %440 = icmp eq i32 %439, -1
  br i1 %440, label %441, label %465

441:                                              ; preds = %436
  %442 = tail call ptr @__errno_location() #10
  %443 = load i32, ptr %442, align 4, !tbaa !5
  %444 = load ptr, ptr @stderr, align 8, !tbaa !9
  %445 = call i32 @s2n_print_stacktrace(ptr noundef %444) #9
  %446 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %447 = trunc nuw i8 %446 to i1
  br i1 %447, label %448, label %452

448:                                              ; preds = %441
  %449 = load ptr, ptr @stderr, align 8, !tbaa !9
  %450 = call i32 @fileno(ptr noundef %449) #9
  %451 = call i32 @isatty(i32 noundef %450) #9
  %.not70 = icmp eq i32 %451, 0
  br i1 %.not70, label %452, label %453

452:                                              ; preds = %448, %441
  br label %453

453:                                              ; preds = %448, %452
  %.str.5.sink236 = phi ptr [ @.str.5, %452 ], [ @.str.2, %448 ]
  store i32 %443, ptr %442, align 4, !tbaa !5
  %454 = load ptr, ptr @stderr, align 8, !tbaa !9
  %455 = load i32, ptr @test_count, align 4, !tbaa !5
  %456 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %457 = load i32, ptr %456, align 4, !tbaa !5
  %458 = call ptr @s2n_strerror(i32 noundef %457, ptr noundef nonnull @.str.4) #9
  %459 = load i32, ptr %456, align 4, !tbaa !5
  %460 = call ptr @s2n_strerror_debug(i32 noundef %459, ptr noundef nonnull @.str.4) #9
  %461 = load i32, ptr %442, align 4, !tbaa !5
  %462 = call ptr @strerror(i32 noundef %461) #9
  %463 = load i32, ptr %442, align 4, !tbaa !5
  %464 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %454, ptr noundef nonnull %.str.5.sink236, i32 noundef %455, ptr noundef nonnull @.str.9, ptr noundef nonnull @.str.1, i32 noundef 81, ptr noundef %458, ptr noundef %460, ptr noundef %462, i32 noundef %463) #11
  call void @exit(i32 noundef 1) #12
  unreachable

465:                                              ; preds = %436
  %466 = load i32, ptr @test_count, align 4, !tbaa !5
  %467 = add nsw i32 %466, 1
  store i32 %467, ptr @test_count, align 4, !tbaa !5
  %468 = call i32 @s2n_sequence_number_to_uint64(ptr noundef nonnull %14, ptr noundef nonnull %12) #9
  %469 = icmp eq i32 %468, -1
  br i1 %469, label %470, label %494

470:                                              ; preds = %465
  %471 = tail call ptr @__errno_location() #10
  %472 = load i32, ptr %471, align 4, !tbaa !5
  %473 = load ptr, ptr @stderr, align 8, !tbaa !9
  %474 = call i32 @s2n_print_stacktrace(ptr noundef %473) #9
  %475 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %476 = trunc nuw i8 %475 to i1
  br i1 %476, label %477, label %481

477:                                              ; preds = %470
  %478 = load ptr, ptr @stderr, align 8, !tbaa !9
  %479 = call i32 @fileno(ptr noundef %478) #9
  %480 = call i32 @isatty(i32 noundef %479) #9
  %.not69 = icmp eq i32 %480, 0
  br i1 %.not69, label %481, label %482

481:                                              ; preds = %477, %470
  br label %482

482:                                              ; preds = %477, %481
  %.str.5.sink247 = phi ptr [ @.str.5, %481 ], [ @.str.2, %477 ]
  store i32 %472, ptr %471, align 4, !tbaa !5
  %483 = load ptr, ptr @stderr, align 8, !tbaa !9
  %484 = load i32, ptr @test_count, align 4, !tbaa !5
  %485 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %486 = load i32, ptr %485, align 4, !tbaa !5
  %487 = call ptr @s2n_strerror(i32 noundef %486, ptr noundef nonnull @.str.4) #9
  %488 = load i32, ptr %485, align 4, !tbaa !5
  %489 = call ptr @s2n_strerror_debug(i32 noundef %488, ptr noundef nonnull @.str.4) #9
  %490 = load i32, ptr %471, align 4, !tbaa !5
  %491 = call ptr @strerror(i32 noundef %490) #9
  %492 = load i32, ptr %471, align 4, !tbaa !5
  %493 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %483, ptr noundef nonnull %.str.5.sink247, i32 noundef %484, ptr noundef nonnull @.str.10, ptr noundef nonnull @.str.1, i32 noundef 83, ptr noundef %487, ptr noundef %489, ptr noundef %491, i32 noundef %492) #11
  call void @exit(i32 noundef 1) #12
  unreachable

494:                                              ; preds = %465
  %495 = load i32, ptr @test_count, align 4, !tbaa !5
  %496 = add nsw i32 %495, 1
  store i32 %496, ptr @test_count, align 4, !tbaa !5
  %497 = load i64, ptr %12, align 8, !tbaa !15
  %498 = icmp eq i64 %497, 23726565
  br i1 %498, label %523, label %499

499:                                              ; preds = %494
  %500 = tail call ptr @__errno_location() #10
  %501 = load i32, ptr %500, align 4, !tbaa !5
  %502 = load ptr, ptr @stderr, align 8, !tbaa !9
  %503 = call i32 @s2n_print_stacktrace(ptr noundef %502) #9
  %504 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %505 = trunc nuw i8 %504 to i1
  br i1 %505, label %506, label %510

506:                                              ; preds = %499
  %507 = load ptr, ptr @stderr, align 8, !tbaa !9
  %508 = call i32 @fileno(ptr noundef %507) #9
  %509 = call i32 @isatty(i32 noundef %508) #9
  %.not58 = icmp eq i32 %509, 0
  br i1 %.not58, label %510, label %511

510:                                              ; preds = %506, %499
  br label %511

511:                                              ; preds = %506, %510
  %.str.5.sink258 = phi ptr [ @.str.5, %510 ], [ @.str.2, %506 ]
  store i32 %501, ptr %500, align 4, !tbaa !5
  %512 = load ptr, ptr @stderr, align 8, !tbaa !9
  %513 = load i32, ptr @test_count, align 4, !tbaa !5
  %514 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %515 = load i32, ptr %514, align 4, !tbaa !5
  %516 = call ptr @s2n_strerror(i32 noundef %515, ptr noundef nonnull @.str.4) #9
  %517 = load i32, ptr %514, align 4, !tbaa !5
  %518 = call ptr @s2n_strerror_debug(i32 noundef %517, ptr noundef nonnull @.str.4) #9
  %519 = load i32, ptr %500, align 4, !tbaa !5
  %520 = call ptr @strerror(i32 noundef %519) #9
  %521 = load i32, ptr %500, align 4, !tbaa !5
  %522 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %512, ptr noundef nonnull %.str.5.sink258, i32 noundef %513, ptr noundef nonnull @.str.15, ptr noundef nonnull @.str.1, i32 noundef 85, ptr noundef %516, ptr noundef %518, ptr noundef %520, i32 noundef %521) #11
  call void @exit(i32 noundef 1) #12
  unreachable

523:                                              ; preds = %494
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %14) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %13) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %15) #9
  store i64 0, ptr %15, align 8
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %16) #9
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %16, i8 0, i64 24, i1 false)
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %17) #9
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(40) %17, i8 0, i64 40, i1 false)
  %524 = add nsw i32 %495, 2
  store i32 %524, ptr @test_count, align 4, !tbaa !5
  %525 = call i32 @s2n_blob_init(ptr noundef nonnull %16, ptr noundef nonnull %15, i32 noundef 8) #9
  %526 = icmp eq i32 %525, -1
  br i1 %526, label %527, label %551

527:                                              ; preds = %523
  %528 = tail call ptr @__errno_location() #10
  %529 = load i32, ptr %528, align 4, !tbaa !5
  %530 = load ptr, ptr @stderr, align 8, !tbaa !9
  %531 = call i32 @s2n_print_stacktrace(ptr noundef %530) #9
  %532 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %533 = trunc nuw i8 %532 to i1
  br i1 %533, label %534, label %538

534:                                              ; preds = %527
  %535 = load ptr, ptr @stderr, align 8, !tbaa !9
  %536 = call i32 @fileno(ptr noundef %535) #9
  %537 = call i32 @isatty(i32 noundef %536) #9
  %.not68 = icmp eq i32 %537, 0
  br i1 %.not68, label %538, label %539

538:                                              ; preds = %534, %527
  br label %539

539:                                              ; preds = %534, %538
  %.str.5.sink269 = phi ptr [ @.str.5, %538 ], [ @.str.2, %534 ]
  store i32 %529, ptr %528, align 4, !tbaa !5
  %540 = load ptr, ptr @stderr, align 8, !tbaa !9
  %541 = load i32, ptr @test_count, align 4, !tbaa !5
  %542 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %543 = load i32, ptr %542, align 4, !tbaa !5
  %544 = call ptr @s2n_strerror(i32 noundef %543, ptr noundef nonnull @.str.4) #9
  %545 = load i32, ptr %542, align 4, !tbaa !5
  %546 = call ptr @s2n_strerror_debug(i32 noundef %545, ptr noundef nonnull @.str.4) #9
  %547 = load i32, ptr %528, align 4, !tbaa !5
  %548 = call ptr @strerror(i32 noundef %547) #9
  %549 = load i32, ptr %528, align 4, !tbaa !5
  %550 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %540, ptr noundef nonnull %.str.5.sink269, i32 noundef %541, ptr noundef nonnull @.str.16, ptr noundef nonnull @.str.1, i32 noundef 96, ptr noundef %544, ptr noundef %546, ptr noundef %548, i32 noundef %549) #11
  call void @exit(i32 noundef 1) #12
  unreachable

551:                                              ; preds = %523
  %552 = load i32, ptr @test_count, align 4, !tbaa !5
  %553 = add nsw i32 %552, 1
  store i32 %553, ptr @test_count, align 4, !tbaa !5
  %554 = call i32 @s2n_stuffer_init(ptr noundef nonnull %17, ptr noundef nonnull %16) #9
  %555 = icmp eq i32 %554, -1
  br i1 %555, label %556, label %580

556:                                              ; preds = %551
  %557 = tail call ptr @__errno_location() #10
  %558 = load i32, ptr %557, align 4, !tbaa !5
  %559 = load ptr, ptr @stderr, align 8, !tbaa !9
  %560 = call i32 @s2n_print_stacktrace(ptr noundef %559) #9
  %561 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %562 = trunc nuw i8 %561 to i1
  br i1 %562, label %563, label %567

563:                                              ; preds = %556
  %564 = load ptr, ptr @stderr, align 8, !tbaa !9
  %565 = call i32 @fileno(ptr noundef %564) #9
  %566 = call i32 @isatty(i32 noundef %565) #9
  %.not67 = icmp eq i32 %566, 0
  br i1 %.not67, label %567, label %568

567:                                              ; preds = %563, %556
  br label %568

568:                                              ; preds = %563, %567
  %.str.5.sink280 = phi ptr [ @.str.5, %567 ], [ @.str.2, %563 ]
  store i32 %558, ptr %557, align 4, !tbaa !5
  %569 = load ptr, ptr @stderr, align 8, !tbaa !9
  %570 = load i32, ptr @test_count, align 4, !tbaa !5
  %571 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %572 = load i32, ptr %571, align 4, !tbaa !5
  %573 = call ptr @s2n_strerror(i32 noundef %572, ptr noundef nonnull @.str.4) #9
  %574 = load i32, ptr %571, align 4, !tbaa !5
  %575 = call ptr @s2n_strerror_debug(i32 noundef %574, ptr noundef nonnull @.str.4) #9
  %576 = load i32, ptr %557, align 4, !tbaa !5
  %577 = call ptr @strerror(i32 noundef %576) #9
  %578 = load i32, ptr %557, align 4, !tbaa !5
  %579 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %569, ptr noundef nonnull %.str.5.sink280, i32 noundef %570, ptr noundef nonnull @.str.17, ptr noundef nonnull @.str.1, i32 noundef 97, ptr noundef %573, ptr noundef %575, ptr noundef %577, i32 noundef %578) #11
  call void @exit(i32 noundef 1) #12
  unreachable

580:                                              ; preds = %551
  %581 = load i32, ptr @test_count, align 4, !tbaa !5
  %582 = add nsw i32 %581, 1
  store i32 %582, ptr @test_count, align 4, !tbaa !5
  %583 = call i32 @s2n_stuffer_write_uint64(ptr noundef nonnull %17, i64 noundef 305441741) #9
  %584 = icmp eq i32 %583, -1
  br i1 %584, label %585, label %609

585:                                              ; preds = %580
  %586 = tail call ptr @__errno_location() #10
  %587 = load i32, ptr %586, align 4, !tbaa !5
  %588 = load ptr, ptr @stderr, align 8, !tbaa !9
  %589 = call i32 @s2n_print_stacktrace(ptr noundef %588) #9
  %590 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %591 = trunc nuw i8 %590 to i1
  br i1 %591, label %592, label %596

592:                                              ; preds = %585
  %593 = load ptr, ptr @stderr, align 8, !tbaa !9
  %594 = call i32 @fileno(ptr noundef %593) #9
  %595 = call i32 @isatty(i32 noundef %594) #9
  %.not66 = icmp eq i32 %595, 0
  br i1 %.not66, label %596, label %597

596:                                              ; preds = %592, %585
  br label %597

597:                                              ; preds = %592, %596
  %.str.5.sink291 = phi ptr [ @.str.5, %596 ], [ @.str.2, %592 ]
  store i32 %587, ptr %586, align 4, !tbaa !5
  %598 = load ptr, ptr @stderr, align 8, !tbaa !9
  %599 = load i32, ptr @test_count, align 4, !tbaa !5
  %600 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %601 = load i32, ptr %600, align 4, !tbaa !5
  %602 = call ptr @s2n_strerror(i32 noundef %601, ptr noundef nonnull @.str.4) #9
  %603 = load i32, ptr %600, align 4, !tbaa !5
  %604 = call ptr @s2n_strerror_debug(i32 noundef %603, ptr noundef nonnull @.str.4) #9
  %605 = load i32, ptr %586, align 4, !tbaa !5
  %606 = call ptr @strerror(i32 noundef %605) #9
  %607 = load i32, ptr %586, align 4, !tbaa !5
  %608 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %598, ptr noundef nonnull %.str.5.sink291, i32 noundef %599, ptr noundef nonnull @.str.18, ptr noundef nonnull @.str.1, i32 noundef 98, ptr noundef %602, ptr noundef %604, ptr noundef %606, i32 noundef %607) #11
  call void @exit(i32 noundef 1) #12
  unreachable

609:                                              ; preds = %580
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %18) #9
  store i64 0, ptr %18, align 8, !tbaa !15
  %610 = load i32, ptr @test_count, align 4, !tbaa !5
  %611 = add nsw i32 %610, 1
  store i32 %611, ptr @test_count, align 4, !tbaa !5
  %612 = call i32 @s2n_sequence_number_to_uint64(ptr noundef nonnull %16, ptr noundef nonnull %18) #9
  %613 = icmp eq i32 %612, -1
  br i1 %613, label %614, label %638

614:                                              ; preds = %609
  %615 = tail call ptr @__errno_location() #10
  %616 = load i32, ptr %615, align 4, !tbaa !5
  %617 = load ptr, ptr @stderr, align 8, !tbaa !9
  %618 = call i32 @s2n_print_stacktrace(ptr noundef %617) #9
  %619 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %620 = trunc nuw i8 %619 to i1
  br i1 %620, label %621, label %625

621:                                              ; preds = %614
  %622 = load ptr, ptr @stderr, align 8, !tbaa !9
  %623 = call i32 @fileno(ptr noundef %622) #9
  %624 = call i32 @isatty(i32 noundef %623) #9
  %.not65 = icmp eq i32 %624, 0
  br i1 %.not65, label %625, label %626

625:                                              ; preds = %621, %614
  br label %626

626:                                              ; preds = %621, %625
  %.str.5.sink302 = phi ptr [ @.str.5, %625 ], [ @.str.2, %621 ]
  store i32 %616, ptr %615, align 4, !tbaa !5
  %627 = load ptr, ptr @stderr, align 8, !tbaa !9
  %628 = load i32, ptr @test_count, align 4, !tbaa !5
  %629 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %630 = load i32, ptr %629, align 4, !tbaa !5
  %631 = call ptr @s2n_strerror(i32 noundef %630, ptr noundef nonnull @.str.4) #9
  %632 = load i32, ptr %629, align 4, !tbaa !5
  %633 = call ptr @s2n_strerror_debug(i32 noundef %632, ptr noundef nonnull @.str.4) #9
  %634 = load i32, ptr %615, align 4, !tbaa !5
  %635 = call ptr @strerror(i32 noundef %634) #9
  %636 = load i32, ptr %615, align 4, !tbaa !5
  %637 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %627, ptr noundef nonnull %.str.5.sink302, i32 noundef %628, ptr noundef nonnull @.str.19, ptr noundef nonnull @.str.1, i32 noundef 102, ptr noundef %631, ptr noundef %633, ptr noundef %635, i32 noundef %636) #11
  call void @exit(i32 noundef 1) #12
  unreachable

638:                                              ; preds = %609
  %639 = load i32, ptr @test_count, align 4, !tbaa !5
  %640 = add nsw i32 %639, 1
  store i32 %640, ptr @test_count, align 4, !tbaa !5
  %641 = load i64, ptr %18, align 8, !tbaa !15
  %642 = icmp eq i64 %641, 305441741
  br i1 %642, label %667, label %643

643:                                              ; preds = %638
  %644 = tail call ptr @__errno_location() #10
  %645 = load i32, ptr %644, align 4, !tbaa !5
  %646 = load ptr, ptr @stderr, align 8, !tbaa !9
  %647 = call i32 @s2n_print_stacktrace(ptr noundef %646) #9
  %648 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %649 = trunc nuw i8 %648 to i1
  br i1 %649, label %650, label %654

650:                                              ; preds = %643
  %651 = load ptr, ptr @stderr, align 8, !tbaa !9
  %652 = call i32 @fileno(ptr noundef %651) #9
  %653 = call i32 @isatty(i32 noundef %652) #9
  %.not59 = icmp eq i32 %653, 0
  br i1 %.not59, label %654, label %655

654:                                              ; preds = %650, %643
  br label %655

655:                                              ; preds = %650, %654
  %.str.5.sink313 = phi ptr [ @.str.5, %654 ], [ @.str.2, %650 ]
  store i32 %645, ptr %644, align 4, !tbaa !5
  %656 = load ptr, ptr @stderr, align 8, !tbaa !9
  %657 = load i32, ptr @test_count, align 4, !tbaa !5
  %658 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %659 = load i32, ptr %658, align 4, !tbaa !5
  %660 = call ptr @s2n_strerror(i32 noundef %659, ptr noundef nonnull @.str.4) #9
  %661 = load i32, ptr %658, align 4, !tbaa !5
  %662 = call ptr @s2n_strerror_debug(i32 noundef %661, ptr noundef nonnull @.str.4) #9
  %663 = load i32, ptr %644, align 4, !tbaa !5
  %664 = call ptr @strerror(i32 noundef %663) #9
  %665 = load i32, ptr %644, align 4, !tbaa !5
  %666 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %656, ptr noundef nonnull %.str.5.sink313, i32 noundef %657, ptr noundef nonnull @.str.20, ptr noundef nonnull @.str.1, i32 noundef 104, ptr noundef %660, ptr noundef %662, ptr noundef %664, i32 noundef %665) #11
  call void @exit(i32 noundef 1) #12
  unreachable

667:                                              ; preds = %638
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %18) #9
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %17) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %16) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %15) #9
  %668 = call i32 @s2n_cleanup() #9
  %669 = icmp eq i32 %668, -1
  br i1 %669, label %670, label %694

670:                                              ; preds = %667
  %671 = tail call ptr @__errno_location() #10
  %672 = load i32, ptr %671, align 4, !tbaa !5
  %673 = load ptr, ptr @stderr, align 8, !tbaa !9
  %674 = call i32 @s2n_print_stacktrace(ptr noundef %673) #9
  %675 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %676 = trunc nuw i8 %675 to i1
  br i1 %676, label %677, label %681

677:                                              ; preds = %670
  %678 = load ptr, ptr @stderr, align 8, !tbaa !9
  %679 = call i32 @fileno(ptr noundef %678) #9
  %680 = call i32 @isatty(i32 noundef %679) #9
  %.not64 = icmp eq i32 %680, 0
  br i1 %.not64, label %681, label %682

681:                                              ; preds = %677, %670
  br label %682

682:                                              ; preds = %677, %681
  %.str.5.sink324 = phi ptr [ @.str.5, %681 ], [ @.str.2, %677 ]
  store i32 %672, ptr %671, align 4, !tbaa !5
  %683 = load ptr, ptr @stderr, align 8, !tbaa !9
  %684 = load i32, ptr @test_count, align 4, !tbaa !5
  %685 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %686 = load i32, ptr %685, align 4, !tbaa !5
  %687 = call ptr @s2n_strerror(i32 noundef %686, ptr noundef nonnull @.str.4) #9
  %688 = load i32, ptr %685, align 4, !tbaa !5
  %689 = call ptr @s2n_strerror_debug(i32 noundef %688, ptr noundef nonnull @.str.4) #9
  %690 = load i32, ptr %671, align 4, !tbaa !5
  %691 = call ptr @strerror(i32 noundef %690) #9
  %692 = load i32, ptr %671, align 4, !tbaa !5
  %693 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %683, ptr noundef nonnull %.str.5.sink324, i32 noundef %684, ptr noundef nonnull @.str.21, ptr noundef nonnull @.str.1, i32 noundef 107, ptr noundef %687, ptr noundef %689, ptr noundef %691, i32 noundef %692) #11
  call void @exit(i32 noundef 1) #12
  unreachable

694:                                              ; preds = %667
  %695 = call i32 @s2n_in_unit_test_set(i1 noundef zeroext false) #9
  %696 = icmp eq i32 %695, -1
  br i1 %696, label %697, label %721

697:                                              ; preds = %694
  %698 = tail call ptr @__errno_location() #10
  %699 = load i32, ptr %698, align 4, !tbaa !5
  %700 = load ptr, ptr @stderr, align 8, !tbaa !9
  %701 = call i32 @s2n_print_stacktrace(ptr noundef %700) #9
  %702 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %703 = trunc nuw i8 %702 to i1
  br i1 %703, label %704, label %708

704:                                              ; preds = %697
  %705 = load ptr, ptr @stderr, align 8, !tbaa !9
  %706 = call i32 @fileno(ptr noundef %705) #9
  %707 = call i32 @isatty(i32 noundef %706) #9
  %.not63 = icmp eq i32 %707, 0
  br i1 %.not63, label %708, label %709

708:                                              ; preds = %704, %697
  br label %709

709:                                              ; preds = %704, %708
  %.str.5.sink335 = phi ptr [ @.str.5, %708 ], [ @.str.2, %704 ]
  store i32 %699, ptr %698, align 4, !tbaa !5
  %710 = load ptr, ptr @stderr, align 8, !tbaa !9
  %711 = load i32, ptr @test_count, align 4, !tbaa !5
  %712 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %713 = load i32, ptr %712, align 4, !tbaa !5
  %714 = call ptr @s2n_strerror(i32 noundef %713, ptr noundef nonnull @.str.4) #9
  %715 = load i32, ptr %712, align 4, !tbaa !5
  %716 = call ptr @s2n_strerror_debug(i32 noundef %715, ptr noundef nonnull @.str.4) #9
  %717 = load i32, ptr %698, align 4, !tbaa !5
  %718 = call ptr @strerror(i32 noundef %717) #9
  %719 = load i32, ptr %698, align 4, !tbaa !5
  %720 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %710, ptr noundef nonnull %.str.5.sink335, i32 noundef %711, ptr noundef nonnull @.str.22, ptr noundef nonnull @.str.1, i32 noundef 107, ptr noundef %714, ptr noundef %716, ptr noundef %718, i32 noundef %719) #11
  call void @exit(i32 noundef 1) #12
  unreachable

721:                                              ; preds = %694
  %722 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %723 = trunc nuw i8 %722 to i1
  br i1 %723, label %724, label %735

724:                                              ; preds = %721
  %725 = load ptr, ptr @stdout, align 8, !tbaa !9
  %726 = call i32 @fileno(ptr noundef %725) #9
  %727 = call i32 @isatty(i32 noundef %726) #9
  %.not60 = icmp eq i32 %727, 0
  br i1 %.not60, label %735, label %728

728:                                              ; preds = %724
  %729 = load i32, ptr @test_count, align 4, !tbaa !5
  %.not62 = icmp eq i32 %729, 0
  %730 = load ptr, ptr @stdout, align 8, !tbaa !9
  br i1 %.not62, label %733, label %731

731:                                              ; preds = %728
  %732 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %730, ptr noundef nonnull @.str.23, i32 noundef %729) #9
  br label %742

733:                                              ; preds = %728
  %734 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %730, ptr noundef nonnull @.str.24) #9
  br label %742

735:                                              ; preds = %724, %721
  %736 = load i32, ptr @test_count, align 4, !tbaa !5
  %.not61 = icmp eq i32 %736, 0
  %737 = load ptr, ptr @stdout, align 8, !tbaa !9
  br i1 %.not61, label %740, label %738

738:                                              ; preds = %735
  %739 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %737, ptr noundef nonnull @.str.25, i32 noundef %736) #9
  br label %742

740:                                              ; preds = %735
  %741 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %737, ptr noundef nonnull @.str.26) #9
  br label %742

742:                                              ; preds = %738, %740, %731, %733
  ret i32 0
}

; Function Attrs: nofree nounwind
declare noundef i32 @fprintf(ptr nocapture noundef, ptr nocapture noundef readonly, ...) local_unnamed_addr #1

; Function Attrs: nofree nounwind
declare noundef i32 @fflush(ptr nocapture noundef) local_unnamed_addr #1

declare i32 @s2n_in_unit_test_set(i1 noundef zeroext) local_unnamed_addr #2

; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #3

; Function Attrs: mustprogress nofree nosync nounwind willreturn memory(none)
declare ptr @__errno_location() local_unnamed_addr #4

declare i32 @s2n_print_stacktrace(ptr noundef) local_unnamed_addr #2

; Function Attrs: nounwind
declare i32 @isatty(i32 noundef) local_unnamed_addr #5

; Function Attrs: nofree nounwind
declare noundef i32 @fileno(ptr nocapture noundef) local_unnamed_addr #1

declare ptr @s2n_strerror(i32 noundef, ptr noundef) local_unnamed_addr #2

; Function Attrs: mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare nonnull ptr @llvm.threadlocal.address.p0(ptr nonnull) #6

declare ptr @s2n_strerror_debug(i32 noundef, ptr noundef) local_unnamed_addr #2

; Function Attrs: nounwind
declare ptr @strerror(i32 noundef) local_unnamed_addr #5

; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #3

; Function Attrs: noreturn nounwind
declare void @exit(i32 noundef) local_unnamed_addr #7

declare i32 @s2n_enable_atexit() local_unnamed_addr #2

declare i32 @s2n_init() local_unnamed_addr #2

declare i32 @s2n_disable_tls13_in_test(...) local_unnamed_addr #2

; Function Attrs: mustprogress nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #8

declare i32 @s2n_blob_init(ptr noundef, ptr noundef, i32 noundef) local_unnamed_addr #2

declare i32 @s2n_sequence_number_to_uint64(ptr noundef, ptr noundef) local_unnamed_addr #2

declare i32 @s2n_blob_zero(ptr noundef) local_unnamed_addr #2

declare i32 @s2n_stuffer_init(ptr noundef, ptr noundef) local_unnamed_addr #2

declare i32 @s2n_stuffer_write_uint64(ptr noundef, i64 noundef) local_unnamed_addr #2

declare i32 @s2n_cleanup() local_unnamed_addr #2

attributes #0 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { nofree nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #4 = { mustprogress nofree nosync nounwind willreturn memory(none) "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #7 = { noreturn nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #8 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #9 = { nounwind }
attributes #10 = { nounwind willreturn memory(none) }
attributes #11 = { cold nounwind }
attributes #12 = { noreturn nounwind }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"any pointer", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"_Bool", !7, i64 0}
!13 = !{i8 0, i8 2}
!14 = !{}
!15 = !{!16, !16, i64 0}
!16 = !{!"long", !7, i64 0}
!17 = !{!18, !10, i64 0}
!18 = !{!"s2n_blob", !10, i64 0, !6, i64 8, !6, i64 12, !6, i64 16}
!19 = !{!7, !7, i64 0}


; Effective O3 passes: DSEPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferAlignmentPass,InferFunctionAttrsPass,InstCombinePass,LoopRotatePass,LoopSimplifyPass,PostOrderFunctionAttrsPass,SROAPass,SimplifyCFGPass,TailCallElimPass