; LLVM IR from aws/s2n-tls :: tests/unit (s2n_pq_kem_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_kem = type { ptr, i32, i16, i16, i16, i16, i16, ptr, ptr, ptr }

@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 [74 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
@test_vectors = external hidden global [4 x ptr], align 16
@.str.8 = external hidden unnamed_addr constant [75 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [77 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [92 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [92 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [75 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [87 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [70 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [108 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [109 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [86 x i8], align 1
@.str.19 = external hidden unnamed_addr constant [107 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [108 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [122 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [125 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [42 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.28 = external hidden unnamed_addr constant [25 x i8], align 1

; Function Attrs: nounwind uwtable
define dso_local i32 @main() #0 {
  %1 = alloca i32, align 4
  %2 = alloca i32, align 4
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca i64, align 8
  %6 = alloca i32, align 4
  %7 = alloca ptr, align 8
  %8 = alloca %struct.s2n_blob, align 8
  %9 = alloca i32, align 4
  %10 = alloca %struct.s2n_blob, align 8
  %11 = alloca i32, align 4
  %12 = alloca %struct.s2n_blob, align 8
  %13 = alloca i32, align 4
  %14 = alloca %struct.s2n_blob, align 8
  %15 = alloca i32, align 4
  %16 = alloca %struct.s2n_blob, align 8
  %17 = alloca i32, align 4
  %18 = alloca i32, align 4
  %19 = alloca i32, align 4
  %20 = alloca i32, align 4
  %21 = alloca i32, align 4
  %22 = alloca i32, align 4
  %23 = alloca i32, align 4
  %24 = alloca i32, align 4
  %25 = alloca i32, align 4
  %26 = alloca i32, align 4
  %27 = alloca i32, align 4
  %28 = alloca i32, align 4
  %29 = alloca i32, align 4
  %30 = alloca i32, align 4
  %31 = alloca i32, align 4
  %32 = alloca i32, align 4
  %33 = alloca i32, align 4
  %34 = alloca i32, align 4
  store i32 0, ptr %1, align 4
  br label %35

35:                                               ; preds = %0
  br label %36

36:                                               ; preds = %35
  store i32 0, ptr @test_count, align 4, !tbaa !5
  %37 = load ptr, ptr @stdout, align 8, !tbaa !9
  %38 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %37, ptr noundef @.str, ptr noundef @.str.1) #9
  %39 = load ptr, ptr @stdout, align 8, !tbaa !9
  %40 = call i32 @fflush(ptr noundef %39)
  br label %41

41:                                               ; preds = %36
  %42 = call i32 @s2n_in_unit_test_set(i1 noundef zeroext true)
  %43 = icmp eq i32 %42, -1
  br i1 %43, label %44, label %95

44:                                               ; preds = %41
  br label %45

45:                                               ; preds = %44
  br label %46

46:                                               ; preds = %45
  call void @llvm.lifetime.start.p0(i64 4, ptr %2) #9
  %47 = call ptr @__errno_location() #10
  %48 = load i32, ptr %47, align 4, !tbaa !5
  store i32 %48, ptr %2, align 4, !tbaa !5
  %49 = load ptr, ptr @stderr, align 8, !tbaa !9
  %50 = call i32 @s2n_print_stacktrace(ptr noundef %49)
  %51 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %52 = trunc i8 %51 to i1
  br i1 %52, label %53, label %75

53:                                               ; preds = %46
  %54 = load ptr, ptr @stderr, align 8, !tbaa !9
  %55 = call i32 @fileno(ptr noundef %54) #9
  %56 = call i32 @isatty(i32 noundef %55) #9
  %57 = icmp ne i32 %56, 0
  br i1 %57, label %58, label %75

58:                                               ; preds = %53
  %59 = load i32, ptr %2, align 4, !tbaa !5
  %60 = call ptr @__errno_location() #10
  store i32 %59, ptr %60, align 4, !tbaa !5
  %61 = load ptr, ptr @stderr, align 8, !tbaa !9
  %62 = load i32, ptr @test_count, align 4, !tbaa !5
  %63 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %64 = load i32, ptr %63, align 4, !tbaa !5
  %65 = call ptr @s2n_strerror(i32 noundef %64, ptr noundef @.str.4)
  %66 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %67 = load i32, ptr %66, align 4, !tbaa !5
  %68 = call ptr @s2n_strerror_debug(i32 noundef %67, ptr noundef @.str.4)
  %69 = call ptr @__errno_location() #10
  %70 = load i32, ptr %69, align 4, !tbaa !5
  %71 = call ptr @strerror(i32 noundef %70) #9
  %72 = call ptr @__errno_location() #10
  %73 = load i32, ptr %72, align 4, !tbaa !5
  %74 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %61, ptr noundef @.str.2, i32 noundef %62, ptr noundef @.str.3, ptr noundef @.str.1, i32 noundef 40, ptr noundef %65, ptr noundef %68, ptr noundef %71, i32 noundef %73) #9
  br label %92

75:                                               ; preds = %53, %46
  %76 = load i32, ptr %2, align 4, !tbaa !5
  %77 = call ptr @__errno_location() #10
  store i32 %76, ptr %77, align 4, !tbaa !5
  %78 = load ptr, ptr @stderr, align 8, !tbaa !9
  %79 = load i32, ptr @test_count, align 4, !tbaa !5
  %80 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %81 = load i32, ptr %80, align 4, !tbaa !5
  %82 = call ptr @s2n_strerror(i32 noundef %81, ptr noundef @.str.4)
  %83 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %84 = load i32, ptr %83, align 4, !tbaa !5
  %85 = call ptr @s2n_strerror_debug(i32 noundef %84, ptr noundef @.str.4)
  %86 = call ptr @__errno_location() #10
  %87 = load i32, ptr %86, align 4, !tbaa !5
  %88 = call ptr @strerror(i32 noundef %87) #9
  %89 = call ptr @__errno_location() #10
  %90 = load i32, ptr %89, align 4, !tbaa !5
  %91 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %78, ptr noundef @.str.5, i32 noundef %79, ptr noundef @.str.3, ptr noundef @.str.1, i32 noundef 40, ptr noundef %82, ptr noundef %85, ptr noundef %88, i32 noundef %90) #9
  br label %92

92:                                               ; preds = %75, %58
  call void @llvm.lifetime.end.p0(i64 4, ptr %2) #9
  br label %93

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

94:                                               ; No predecessors!
  br label %95

95:                                               ; preds = %94, %41
  br label %96

96:                                               ; preds = %95
  br label %97

97:                                               ; preds = %96
  %98 = load i32, ptr @test_count, align 4, !tbaa !5
  %99 = add nsw i32 %98, 1
  store i32 %99, ptr @test_count, align 4, !tbaa !5
  %100 = call i32 @s2n_enable_atexit()
  %101 = icmp eq i32 %100, -1
  br i1 %101, label %102, label %153

102:                                              ; preds = %97
  br label %103

103:                                              ; preds = %102
  br label %104

104:                                              ; preds = %103
  call void @llvm.lifetime.start.p0(i64 4, ptr %3) #9
  %105 = call ptr @__errno_location() #10
  %106 = load i32, ptr %105, align 4, !tbaa !5
  store i32 %106, ptr %3, align 4, !tbaa !5
  %107 = load ptr, ptr @stderr, align 8, !tbaa !9
  %108 = call i32 @s2n_print_stacktrace(ptr noundef %107)
  %109 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %110 = trunc i8 %109 to i1
  br i1 %110, label %111, label %133

111:                                              ; preds = %104
  %112 = load ptr, ptr @stderr, align 8, !tbaa !9
  %113 = call i32 @fileno(ptr noundef %112) #9
  %114 = call i32 @isatty(i32 noundef %113) #9
  %115 = icmp ne i32 %114, 0
  br i1 %115, label %116, label %133

116:                                              ; preds = %111
  %117 = load i32, ptr %3, align 4, !tbaa !5
  %118 = call ptr @__errno_location() #10
  store i32 %117, ptr %118, align 4, !tbaa !5
  %119 = load ptr, ptr @stderr, align 8, !tbaa !9
  %120 = load i32, ptr @test_count, align 4, !tbaa !5
  %121 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %122 = load i32, ptr %121, align 4, !tbaa !5
  %123 = call ptr @s2n_strerror(i32 noundef %122, ptr noundef @.str.4)
  %124 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %125 = load i32, ptr %124, align 4, !tbaa !5
  %126 = call ptr @s2n_strerror_debug(i32 noundef %125, ptr noundef @.str.4)
  %127 = call ptr @__errno_location() #10
  %128 = load i32, ptr %127, align 4, !tbaa !5
  %129 = call ptr @strerror(i32 noundef %128) #9
  %130 = call ptr @__errno_location() #10
  %131 = load i32, ptr %130, align 4, !tbaa !5
  %132 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %119, ptr noundef @.str.2, i32 noundef %120, ptr noundef @.str.6, ptr noundef @.str.1, i32 noundef 40, ptr noundef %123, ptr noundef %126, ptr noundef %129, i32 noundef %131) #9
  br label %150

133:                                              ; preds = %111, %104
  %134 = load i32, ptr %3, align 4, !tbaa !5
  %135 = call ptr @__errno_location() #10
  store i32 %134, ptr %135, align 4, !tbaa !5
  %136 = load ptr, ptr @stderr, align 8, !tbaa !9
  %137 = load i32, ptr @test_count, align 4, !tbaa !5
  %138 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %139 = load i32, ptr %138, align 4, !tbaa !5
  %140 = call ptr @s2n_strerror(i32 noundef %139, ptr noundef @.str.4)
  %141 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %142 = load i32, ptr %141, align 4, !tbaa !5
  %143 = call ptr @s2n_strerror_debug(i32 noundef %142, ptr noundef @.str.4)
  %144 = call ptr @__errno_location() #10
  %145 = load i32, ptr %144, align 4, !tbaa !5
  %146 = call ptr @strerror(i32 noundef %145) #9
  %147 = call ptr @__errno_location() #10
  %148 = load i32, ptr %147, align 4, !tbaa !5
  %149 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %136, ptr noundef @.str.5, i32 noundef %137, ptr noundef @.str.6, ptr noundef @.str.1, i32 noundef 40, ptr noundef %140, ptr noundef %143, ptr noundef %146, i32 noundef %148) #9
  br label %150

150:                                              ; preds = %133, %116
  call void @llvm.lifetime.end.p0(i64 4, ptr %3) #9
  br label %151

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

152:                                              ; No predecessors!
  br label %153

153:                                              ; preds = %152, %97
  br label %154

154:                                              ; preds = %153
  br label %155

155:                                              ; preds = %154
  br label %156

156:                                              ; preds = %155
  %157 = call i32 @s2n_init()
  %158 = icmp eq i32 %157, -1
  br i1 %158, label %159, label %210

159:                                              ; preds = %156
  br label %160

160:                                              ; preds = %159
  br label %161

161:                                              ; preds = %160
  call void @llvm.lifetime.start.p0(i64 4, ptr %4) #9
  %162 = call ptr @__errno_location() #10
  %163 = load i32, ptr %162, align 4, !tbaa !5
  store i32 %163, ptr %4, align 4, !tbaa !5
  %164 = load ptr, ptr @stderr, align 8, !tbaa !9
  %165 = call i32 @s2n_print_stacktrace(ptr noundef %164)
  %166 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %167 = trunc i8 %166 to i1
  br i1 %167, label %168, label %190

168:                                              ; preds = %161
  %169 = load ptr, ptr @stderr, align 8, !tbaa !9
  %170 = call i32 @fileno(ptr noundef %169) #9
  %171 = call i32 @isatty(i32 noundef %170) #9
  %172 = icmp ne i32 %171, 0
  br i1 %172, label %173, label %190

173:                                              ; preds = %168
  %174 = load i32, ptr %4, align 4, !tbaa !5
  %175 = call ptr @__errno_location() #10
  store i32 %174, ptr %175, align 4, !tbaa !5
  %176 = load ptr, ptr @stderr, align 8, !tbaa !9
  %177 = load i32, ptr @test_count, align 4, !tbaa !5
  %178 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %179 = load i32, ptr %178, align 4, !tbaa !5
  %180 = call ptr @s2n_strerror(i32 noundef %179, ptr noundef @.str.4)
  %181 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %182 = load i32, ptr %181, align 4, !tbaa !5
  %183 = call ptr @s2n_strerror_debug(i32 noundef %182, ptr noundef @.str.4)
  %184 = call ptr @__errno_location() #10
  %185 = load i32, ptr %184, align 4, !tbaa !5
  %186 = call ptr @strerror(i32 noundef %185) #9
  %187 = call ptr @__errno_location() #10
  %188 = load i32, ptr %187, align 4, !tbaa !5
  %189 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %176, ptr noundef @.str.2, i32 noundef %177, ptr noundef @.str.7, ptr noundef @.str.1, i32 noundef 40, ptr noundef %180, ptr noundef %183, ptr noundef %186, i32 noundef %188) #9
  br label %207

190:                                              ; preds = %168, %161
  %191 = load i32, ptr %4, align 4, !tbaa !5
  %192 = call ptr @__errno_location() #10
  store i32 %191, ptr %192, align 4, !tbaa !5
  %193 = load ptr, ptr @stderr, align 8, !tbaa !9
  %194 = load i32, ptr @test_count, align 4, !tbaa !5
  %195 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %196 = load i32, ptr %195, align 4, !tbaa !5
  %197 = call ptr @s2n_strerror(i32 noundef %196, ptr noundef @.str.4)
  %198 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %199 = load i32, ptr %198, align 4, !tbaa !5
  %200 = call ptr @s2n_strerror_debug(i32 noundef %199, ptr noundef @.str.4)
  %201 = call ptr @__errno_location() #10
  %202 = load i32, ptr %201, align 4, !tbaa !5
  %203 = call ptr @strerror(i32 noundef %202) #9
  %204 = call ptr @__errno_location() #10
  %205 = load i32, ptr %204, align 4, !tbaa !5
  %206 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %193, ptr noundef @.str.5, i32 noundef %194, ptr noundef @.str.7, ptr noundef @.str.1, i32 noundef 40, ptr noundef %197, ptr noundef %200, ptr noundef %203, i32 noundef %205) #9
  br label %207

207:                                              ; preds = %190, %173
  call void @llvm.lifetime.end.p0(i64 4, ptr %4) #9
  br label %208

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

209:                                              ; No predecessors!
  br label %210

210:                                              ; preds = %209, %156
  br label %211

211:                                              ; preds = %210
  br label %212

212:                                              ; preds = %211
  call void @llvm.lifetime.start.p0(i64 8, ptr %5) #9
  store i64 0, ptr %5, align 8, !tbaa !15
  br label %213

213:                                              ; preds = %1614, %212
  %214 = load i64, ptr %5, align 8, !tbaa !15
  %215 = icmp ult i64 %214, 4
  br i1 %215, label %217, label %216

216:                                              ; preds = %213
  store i32 24, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %5) #9
  br label %1617

217:                                              ; preds = %213
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #9
  %218 = load i64, ptr %5, align 8, !tbaa !15
  %219 = getelementptr inbounds [4 x ptr], ptr @test_vectors, i64 0, i64 %218
  %220 = load ptr, ptr %219, align 8, !tbaa !9
  store ptr %220, ptr %7, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 24, ptr %8) #9
  call void @llvm.memset.p0.i64(ptr align 8 %8, i8 0, i64 24, i1 false)
  br label %221

221:                                              ; preds = %217
  %222 = load i32, ptr @test_count, align 4, !tbaa !5
  %223 = add nsw i32 %222, 1
  store i32 %223, ptr @test_count, align 4, !tbaa !5
  %224 = load ptr, ptr %7, align 8, !tbaa !9
  %225 = getelementptr inbounds %struct.s2n_kem, ptr %224, i32 0, i32 3
  %226 = load i16, ptr %225, align 2, !tbaa !17
  %227 = zext i16 %226 to i32
  %228 = call i32 @s2n_alloc(ptr noundef %8, i32 noundef %227)
  %229 = icmp eq i32 %228, -1
  br i1 %229, label %230, label %283

230:                                              ; preds = %221
  br label %231

231:                                              ; preds = %230
  br label %232

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

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

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

261:                                              ; preds = %239, %232
  %262 = load i32, ptr %9, align 4, !tbaa !5
  %263 = call ptr @__errno_location() #10
  store i32 %262, ptr %263, align 4, !tbaa !5
  %264 = load ptr, ptr @stderr, align 8, !tbaa !9
  %265 = load i32, ptr @test_count, align 4, !tbaa !5
  %266 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %267 = load i32, ptr %266, align 4, !tbaa !5
  %268 = call ptr @s2n_strerror(i32 noundef %267, ptr noundef @.str.4)
  %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_debug(i32 noundef %270, ptr noundef @.str.4)
  %272 = call ptr @__errno_location() #10
  %273 = load i32, ptr %272, align 4, !tbaa !5
  %274 = call ptr @strerror(i32 noundef %273) #9
  %275 = call ptr @__errno_location() #10
  %276 = load i32, ptr %275, align 4, !tbaa !5
  %277 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %264, ptr noundef @.str.5, i32 noundef %265, ptr noundef @.str.8, ptr noundef @.str.1, i32 noundef 53, ptr noundef %268, ptr noundef %271, ptr noundef %274, i32 noundef %276) #9
  br label %278

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

279:                                              ; preds = %278
  br label %280

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

281:                                              ; No predecessors!
  br label %282

282:                                              ; preds = %281
  br label %283

283:                                              ; preds = %282, %221
  br label %284

284:                                              ; preds = %283
  br label %285

285:                                              ; preds = %284
  call void @llvm.lifetime.start.p0(i64 24, ptr %10) #9
  call void @llvm.memset.p0.i64(ptr align 8 %10, i8 0, i64 24, i1 false)
  br label %286

286:                                              ; preds = %285
  %287 = load i32, ptr @test_count, align 4, !tbaa !5
  %288 = add nsw i32 %287, 1
  store i32 %288, ptr @test_count, align 4, !tbaa !5
  %289 = load ptr, ptr %7, align 8, !tbaa !9
  %290 = getelementptr inbounds %struct.s2n_kem, ptr %289, i32 0, i32 4
  %291 = load i16, ptr %290, align 8, !tbaa !20
  %292 = zext i16 %291 to i32
  %293 = call i32 @s2n_alloc(ptr noundef %10, i32 noundef %292)
  %294 = icmp eq i32 %293, -1
  br i1 %294, label %295, label %348

295:                                              ; preds = %286
  br label %296

296:                                              ; preds = %295
  br label %297

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

304:                                              ; preds = %297
  %305 = load ptr, ptr @stderr, align 8, !tbaa !9
  %306 = call i32 @fileno(ptr noundef %305) #9
  %307 = call i32 @isatty(i32 noundef %306) #9
  %308 = icmp ne i32 %307, 0
  br i1 %308, label %309, label %326

309:                                              ; preds = %304
  %310 = load i32, ptr %11, align 4, !tbaa !5
  %311 = call ptr @__errno_location() #10
  store i32 %310, ptr %311, align 4, !tbaa !5
  %312 = load ptr, ptr @stderr, align 8, !tbaa !9
  %313 = load i32, ptr @test_count, align 4, !tbaa !5
  %314 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %315 = load i32, ptr %314, align 4, !tbaa !5
  %316 = call ptr @s2n_strerror(i32 noundef %315, ptr noundef @.str.4)
  %317 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %318 = load i32, ptr %317, align 4, !tbaa !5
  %319 = call ptr @s2n_strerror_debug(i32 noundef %318, ptr noundef @.str.4)
  %320 = call ptr @__errno_location() #10
  %321 = load i32, ptr %320, align 4, !tbaa !5
  %322 = call ptr @strerror(i32 noundef %321) #9
  %323 = call ptr @__errno_location() #10
  %324 = load i32, ptr %323, align 4, !tbaa !5
  %325 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %312, ptr noundef @.str.2, i32 noundef %313, ptr noundef @.str.9, ptr noundef @.str.1, i32 noundef 56, ptr noundef %316, ptr noundef %319, ptr noundef %322, i32 noundef %324) #9
  br label %343

326:                                              ; preds = %304, %297
  %327 = load i32, ptr %11, align 4, !tbaa !5
  %328 = call ptr @__errno_location() #10
  store i32 %327, ptr %328, align 4, !tbaa !5
  %329 = load ptr, ptr @stderr, align 8, !tbaa !9
  %330 = load i32, ptr @test_count, align 4, !tbaa !5
  %331 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %332 = load i32, ptr %331, align 4, !tbaa !5
  %333 = call ptr @s2n_strerror(i32 noundef %332, ptr noundef @.str.4)
  %334 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %335 = load i32, ptr %334, align 4, !tbaa !5
  %336 = call ptr @s2n_strerror_debug(i32 noundef %335, ptr noundef @.str.4)
  %337 = call ptr @__errno_location() #10
  %338 = load i32, ptr %337, align 4, !tbaa !5
  %339 = call ptr @strerror(i32 noundef %338) #9
  %340 = call ptr @__errno_location() #10
  %341 = load i32, ptr %340, align 4, !tbaa !5
  %342 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %329, ptr noundef @.str.5, i32 noundef %330, ptr noundef @.str.9, ptr noundef @.str.1, i32 noundef 56, ptr noundef %333, ptr noundef %336, ptr noundef %339, i32 noundef %341) #9
  br label %343

343:                                              ; preds = %326, %309
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #9
  br label %344

344:                                              ; preds = %343
  br label %345

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

346:                                              ; No predecessors!
  br label %347

347:                                              ; preds = %346
  br label %348

348:                                              ; preds = %347, %286
  br label %349

349:                                              ; preds = %348
  br label %350

350:                                              ; preds = %349
  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 %351

351:                                              ; preds = %350
  %352 = load i32, ptr @test_count, align 4, !tbaa !5
  %353 = add nsw i32 %352, 1
  store i32 %353, ptr @test_count, align 4, !tbaa !5
  %354 = load ptr, ptr %7, align 8, !tbaa !9
  %355 = getelementptr inbounds %struct.s2n_kem, ptr %354, i32 0, i32 5
  %356 = load i16, ptr %355, align 2, !tbaa !21
  %357 = zext i16 %356 to i32
  %358 = call i32 @s2n_alloc(ptr noundef %12, i32 noundef %357)
  %359 = icmp eq i32 %358, -1
  br i1 %359, label %360, label %413

360:                                              ; preds = %351
  br label %361

361:                                              ; preds = %360
  br label %362

362:                                              ; preds = %361
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #9
  %363 = call ptr @__errno_location() #10
  %364 = load i32, ptr %363, align 4, !tbaa !5
  store i32 %364, ptr %13, align 4, !tbaa !5
  %365 = load ptr, ptr @stderr, align 8, !tbaa !9
  %366 = call i32 @s2n_print_stacktrace(ptr noundef %365)
  %367 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %368 = trunc i8 %367 to i1
  br i1 %368, label %369, label %391

369:                                              ; preds = %362
  %370 = load ptr, ptr @stderr, align 8, !tbaa !9
  %371 = call i32 @fileno(ptr noundef %370) #9
  %372 = call i32 @isatty(i32 noundef %371) #9
  %373 = icmp ne i32 %372, 0
  br i1 %373, label %374, label %391

374:                                              ; preds = %369
  %375 = load i32, ptr %13, align 4, !tbaa !5
  %376 = call ptr @__errno_location() #10
  store i32 %375, ptr %376, align 4, !tbaa !5
  %377 = load ptr, ptr @stderr, align 8, !tbaa !9
  %378 = load i32, ptr @test_count, align 4, !tbaa !5
  %379 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %380 = load i32, ptr %379, align 4, !tbaa !5
  %381 = call ptr @s2n_strerror(i32 noundef %380, ptr noundef @.str.4)
  %382 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %383 = load i32, ptr %382, align 4, !tbaa !5
  %384 = call ptr @s2n_strerror_debug(i32 noundef %383, ptr noundef @.str.4)
  %385 = call ptr @__errno_location() #10
  %386 = load i32, ptr %385, align 4, !tbaa !5
  %387 = call ptr @strerror(i32 noundef %386) #9
  %388 = call ptr @__errno_location() #10
  %389 = load i32, ptr %388, align 4, !tbaa !5
  %390 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %377, ptr noundef @.str.2, i32 noundef %378, ptr noundef @.str.10, ptr noundef @.str.1, i32 noundef 59, ptr noundef %381, ptr noundef %384, ptr noundef %387, i32 noundef %389) #9
  br label %408

391:                                              ; preds = %369, %362
  %392 = load i32, ptr %13, align 4, !tbaa !5
  %393 = call ptr @__errno_location() #10
  store i32 %392, ptr %393, align 4, !tbaa !5
  %394 = load ptr, ptr @stderr, align 8, !tbaa !9
  %395 = load i32, ptr @test_count, align 4, !tbaa !5
  %396 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %397 = load i32, ptr %396, align 4, !tbaa !5
  %398 = call ptr @s2n_strerror(i32 noundef %397, ptr noundef @.str.4)
  %399 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %400 = load i32, ptr %399, align 4, !tbaa !5
  %401 = call ptr @s2n_strerror_debug(i32 noundef %400, ptr noundef @.str.4)
  %402 = call ptr @__errno_location() #10
  %403 = load i32, ptr %402, align 4, !tbaa !5
  %404 = call ptr @strerror(i32 noundef %403) #9
  %405 = call ptr @__errno_location() #10
  %406 = load i32, ptr %405, align 4, !tbaa !5
  %407 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %394, ptr noundef @.str.5, i32 noundef %395, ptr noundef @.str.10, ptr noundef @.str.1, i32 noundef 59, ptr noundef %398, ptr noundef %401, ptr noundef %404, i32 noundef %406) #9
  br label %408

408:                                              ; preds = %391, %374
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #9
  br label %409

409:                                              ; preds = %408
  br label %410

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

411:                                              ; No predecessors!
  br label %412

412:                                              ; preds = %411
  br label %413

413:                                              ; preds = %412, %351
  br label %414

414:                                              ; preds = %413
  br label %415

415:                                              ; preds = %414
  call void @llvm.lifetime.start.p0(i64 24, ptr %14) #9
  call void @llvm.memset.p0.i64(ptr align 8 %14, i8 0, i64 24, i1 false)
  br label %416

416:                                              ; preds = %415
  %417 = load i32, ptr @test_count, align 4, !tbaa !5
  %418 = add nsw i32 %417, 1
  store i32 %418, ptr @test_count, align 4, !tbaa !5
  %419 = load ptr, ptr %7, align 8, !tbaa !9
  %420 = getelementptr inbounds %struct.s2n_kem, ptr %419, i32 0, i32 5
  %421 = load i16, ptr %420, align 2, !tbaa !21
  %422 = zext i16 %421 to i32
  %423 = call i32 @s2n_alloc(ptr noundef %14, i32 noundef %422)
  %424 = icmp eq i32 %423, -1
  br i1 %424, label %425, label %478

425:                                              ; preds = %416
  br label %426

426:                                              ; preds = %425
  br label %427

427:                                              ; preds = %426
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #9
  %428 = call ptr @__errno_location() #10
  %429 = load i32, ptr %428, align 4, !tbaa !5
  store i32 %429, ptr %15, align 4, !tbaa !5
  %430 = load ptr, ptr @stderr, align 8, !tbaa !9
  %431 = call i32 @s2n_print_stacktrace(ptr noundef %430)
  %432 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %433 = trunc i8 %432 to i1
  br i1 %433, label %434, label %456

434:                                              ; preds = %427
  %435 = load ptr, ptr @stderr, align 8, !tbaa !9
  %436 = call i32 @fileno(ptr noundef %435) #9
  %437 = call i32 @isatty(i32 noundef %436) #9
  %438 = icmp ne i32 %437, 0
  br i1 %438, label %439, label %456

439:                                              ; preds = %434
  %440 = load i32, ptr %15, align 4, !tbaa !5
  %441 = call ptr @__errno_location() #10
  store i32 %440, ptr %441, align 4, !tbaa !5
  %442 = load ptr, ptr @stderr, align 8, !tbaa !9
  %443 = load i32, ptr @test_count, align 4, !tbaa !5
  %444 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %445 = load i32, ptr %444, align 4, !tbaa !5
  %446 = call ptr @s2n_strerror(i32 noundef %445, ptr noundef @.str.4)
  %447 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %448 = load i32, ptr %447, align 4, !tbaa !5
  %449 = call ptr @s2n_strerror_debug(i32 noundef %448, ptr noundef @.str.4)
  %450 = call ptr @__errno_location() #10
  %451 = load i32, ptr %450, align 4, !tbaa !5
  %452 = call ptr @strerror(i32 noundef %451) #9
  %453 = call ptr @__errno_location() #10
  %454 = load i32, ptr %453, align 4, !tbaa !5
  %455 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %442, ptr noundef @.str.2, i32 noundef %443, ptr noundef @.str.11, ptr noundef @.str.1, i32 noundef 62, ptr noundef %446, ptr noundef %449, ptr noundef %452, i32 noundef %454) #9
  br label %473

456:                                              ; preds = %434, %427
  %457 = load i32, ptr %15, align 4, !tbaa !5
  %458 = call ptr @__errno_location() #10
  store i32 %457, ptr %458, align 4, !tbaa !5
  %459 = load ptr, ptr @stderr, align 8, !tbaa !9
  %460 = load i32, ptr @test_count, align 4, !tbaa !5
  %461 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %462 = load i32, ptr %461, align 4, !tbaa !5
  %463 = call ptr @s2n_strerror(i32 noundef %462, ptr noundef @.str.4)
  %464 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %465 = load i32, ptr %464, align 4, !tbaa !5
  %466 = call ptr @s2n_strerror_debug(i32 noundef %465, ptr noundef @.str.4)
  %467 = call ptr @__errno_location() #10
  %468 = load i32, ptr %467, align 4, !tbaa !5
  %469 = call ptr @strerror(i32 noundef %468) #9
  %470 = call ptr @__errno_location() #10
  %471 = load i32, ptr %470, align 4, !tbaa !5
  %472 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %459, ptr noundef @.str.5, i32 noundef %460, ptr noundef @.str.11, ptr noundef @.str.1, i32 noundef 62, ptr noundef %463, ptr noundef %466, ptr noundef %469, i32 noundef %471) #9
  br label %473

473:                                              ; preds = %456, %439
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #9
  br label %474

474:                                              ; preds = %473
  br label %475

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

476:                                              ; No predecessors!
  br label %477

477:                                              ; preds = %476
  br label %478

478:                                              ; preds = %477, %416
  br label %479

479:                                              ; preds = %478
  br label %480

480:                                              ; preds = %479
  call void @llvm.lifetime.start.p0(i64 24, ptr %16) #9
  call void @llvm.memset.p0.i64(ptr align 8 %16, i8 0, i64 24, i1 false)
  br label %481

481:                                              ; preds = %480
  %482 = load i32, ptr @test_count, align 4, !tbaa !5
  %483 = add nsw i32 %482, 1
  store i32 %483, ptr @test_count, align 4, !tbaa !5
  %484 = load ptr, ptr %7, align 8, !tbaa !9
  %485 = getelementptr inbounds %struct.s2n_kem, ptr %484, i32 0, i32 6
  %486 = load i16, ptr %485, align 4, !tbaa !22
  %487 = zext i16 %486 to i32
  %488 = call i32 @s2n_alloc(ptr noundef %16, i32 noundef %487)
  %489 = icmp eq i32 %488, -1
  br i1 %489, label %490, label %543

490:                                              ; preds = %481
  br label %491

491:                                              ; preds = %490
  br label %492

492:                                              ; preds = %491
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #9
  %493 = call ptr @__errno_location() #10
  %494 = load i32, ptr %493, align 4, !tbaa !5
  store i32 %494, ptr %17, align 4, !tbaa !5
  %495 = load ptr, ptr @stderr, align 8, !tbaa !9
  %496 = call i32 @s2n_print_stacktrace(ptr noundef %495)
  %497 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %498 = trunc i8 %497 to i1
  br i1 %498, label %499, label %521

499:                                              ; preds = %492
  %500 = load ptr, ptr @stderr, align 8, !tbaa !9
  %501 = call i32 @fileno(ptr noundef %500) #9
  %502 = call i32 @isatty(i32 noundef %501) #9
  %503 = icmp ne i32 %502, 0
  br i1 %503, label %504, label %521

504:                                              ; preds = %499
  %505 = load i32, ptr %17, align 4, !tbaa !5
  %506 = call ptr @__errno_location() #10
  store i32 %505, ptr %506, align 4, !tbaa !5
  %507 = load ptr, ptr @stderr, align 8, !tbaa !9
  %508 = load i32, ptr @test_count, align 4, !tbaa !5
  %509 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %510 = load i32, ptr %509, align 4, !tbaa !5
  %511 = call ptr @s2n_strerror(i32 noundef %510, ptr noundef @.str.4)
  %512 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %513 = load i32, ptr %512, align 4, !tbaa !5
  %514 = call ptr @s2n_strerror_debug(i32 noundef %513, ptr noundef @.str.4)
  %515 = call ptr @__errno_location() #10
  %516 = load i32, ptr %515, align 4, !tbaa !5
  %517 = call ptr @strerror(i32 noundef %516) #9
  %518 = call ptr @__errno_location() #10
  %519 = load i32, ptr %518, align 4, !tbaa !5
  %520 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %507, ptr noundef @.str.2, i32 noundef %508, ptr noundef @.str.12, ptr noundef @.str.1, i32 noundef 65, ptr noundef %511, ptr noundef %514, ptr noundef %517, i32 noundef %519) #9
  br label %538

521:                                              ; preds = %499, %492
  %522 = load i32, ptr %17, align 4, !tbaa !5
  %523 = call ptr @__errno_location() #10
  store i32 %522, ptr %523, align 4, !tbaa !5
  %524 = load ptr, ptr @stderr, align 8, !tbaa !9
  %525 = load i32, ptr @test_count, align 4, !tbaa !5
  %526 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %527 = load i32, ptr %526, align 4, !tbaa !5
  %528 = call ptr @s2n_strerror(i32 noundef %527, ptr noundef @.str.4)
  %529 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %530 = load i32, ptr %529, align 4, !tbaa !5
  %531 = call ptr @s2n_strerror_debug(i32 noundef %530, ptr noundef @.str.4)
  %532 = call ptr @__errno_location() #10
  %533 = load i32, ptr %532, align 4, !tbaa !5
  %534 = call ptr @strerror(i32 noundef %533) #9
  %535 = call ptr @__errno_location() #10
  %536 = load i32, ptr %535, align 4, !tbaa !5
  %537 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %524, ptr noundef @.str.5, i32 noundef %525, ptr noundef @.str.12, ptr noundef @.str.1, i32 noundef 65, ptr noundef %528, ptr noundef %531, ptr noundef %534, i32 noundef %536) #9
  br label %538

538:                                              ; preds = %521, %504
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #9
  br label %539

539:                                              ; preds = %538
  br label %540

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

541:                                              ; No predecessors!
  br label %542

542:                                              ; preds = %541
  br label %543

543:                                              ; preds = %542, %481
  br label %544

544:                                              ; preds = %543
  br label %545

545:                                              ; preds = %544
  %546 = load ptr, ptr %7, align 8, !tbaa !9
  %547 = call zeroext i1 @s2n_kem_is_available(ptr noundef %546)
  br i1 %547, label %1168, label %548

548:                                              ; preds = %545
  br label %549

549:                                              ; preds = %548
  br label %550

550:                                              ; preds = %549
  br label %551

551:                                              ; preds = %550
  %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 = load ptr, ptr %7, align 8, !tbaa !9
  %555 = getelementptr inbounds %struct.s2n_kem, ptr %554, i32 0, i32 7
  %556 = load ptr, ptr %555, align 8, !tbaa !23
  %557 = load ptr, ptr %7, align 8, !tbaa !9
  %558 = getelementptr inbounds %struct.s2n_blob, ptr %8, i32 0, i32 0
  %559 = load ptr, ptr %558, align 8, !tbaa !24
  %560 = getelementptr inbounds %struct.s2n_blob, ptr %10, i32 0, i32 0
  %561 = load ptr, ptr %560, align 8, !tbaa !24
  %562 = call i32 %556(ptr noundef %557, ptr noundef %559, ptr noundef %561)
  %563 = icmp eq i32 %562, -1
  br i1 %563, label %617, label %564

564:                                              ; preds = %551
  br label %565

565:                                              ; preds = %564
  br label %566

566:                                              ; preds = %565
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #9
  %567 = call ptr @__errno_location() #10
  %568 = load i32, ptr %567, align 4, !tbaa !5
  store i32 %568, ptr %18, align 4, !tbaa !5
  %569 = load ptr, ptr @stderr, align 8, !tbaa !9
  %570 = call i32 @s2n_print_stacktrace(ptr noundef %569)
  %571 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %572 = trunc i8 %571 to i1
  br i1 %572, label %573, label %595

573:                                              ; preds = %566
  %574 = load ptr, ptr @stderr, align 8, !tbaa !9
  %575 = call i32 @fileno(ptr noundef %574) #9
  %576 = call i32 @isatty(i32 noundef %575) #9
  %577 = icmp ne i32 %576, 0
  br i1 %577, label %578, label %595

578:                                              ; preds = %573
  %579 = load i32, ptr %18, align 4, !tbaa !5
  %580 = call ptr @__errno_location() #10
  store i32 %579, ptr %580, align 4, !tbaa !5
  %581 = load ptr, ptr @stderr, align 8, !tbaa !9
  %582 = load i32, ptr @test_count, align 4, !tbaa !5
  %583 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %584 = load i32, ptr %583, align 4, !tbaa !5
  %585 = call ptr @s2n_strerror(i32 noundef %584, ptr noundef @.str.4)
  %586 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %587 = load i32, ptr %586, align 4, !tbaa !5
  %588 = call ptr @s2n_strerror_debug(i32 noundef %587, ptr noundef @.str.4)
  %589 = call ptr @__errno_location() #10
  %590 = load i32, ptr %589, align 4, !tbaa !5
  %591 = call ptr @strerror(i32 noundef %590) #9
  %592 = call ptr @__errno_location() #10
  %593 = load i32, ptr %592, align 4, !tbaa !5
  %594 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %581, ptr noundef @.str.2, i32 noundef %582, ptr noundef @.str.13, ptr noundef @.str.1, i32 noundef 68, ptr noundef %585, ptr noundef %588, ptr noundef %591, i32 noundef %593) #9
  br label %612

595:                                              ; preds = %573, %566
  %596 = load i32, ptr %18, align 4, !tbaa !5
  %597 = call ptr @__errno_location() #10
  store i32 %596, ptr %597, 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 @.str.4)
  %603 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %604 = load i32, ptr %603, align 4, !tbaa !5
  %605 = call ptr @s2n_strerror_debug(i32 noundef %604, ptr noundef @.str.4)
  %606 = call ptr @__errno_location() #10
  %607 = load i32, ptr %606, align 4, !tbaa !5
  %608 = call ptr @strerror(i32 noundef %607) #9
  %609 = call ptr @__errno_location() #10
  %610 = load i32, ptr %609, align 4, !tbaa !5
  %611 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %598, ptr noundef @.str.5, i32 noundef %599, ptr noundef @.str.13, ptr noundef @.str.1, i32 noundef 68, ptr noundef %602, ptr noundef %605, ptr noundef %608, i32 noundef %610) #9
  br label %612

612:                                              ; preds = %595, %578
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #9
  br label %613

613:                                              ; preds = %612
  br label %614

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

615:                                              ; No predecessors!
  br label %616

616:                                              ; preds = %615
  br label %617

617:                                              ; preds = %616, %551
  br label %618

618:                                              ; preds = %617
  br label %619

619:                                              ; preds = %618
  br label %620

620:                                              ; preds = %619
  %621 = load i32, ptr @test_count, align 4, !tbaa !5
  %622 = add nsw i32 %621, 1
  store i32 %622, ptr @test_count, align 4, !tbaa !5
  %623 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %624 = load i32, ptr %623, align 4, !tbaa !5
  %625 = icmp eq i32 %624, 402653231
  br i1 %625, label %679, label %626

626:                                              ; preds = %620
  br label %627

627:                                              ; preds = %626
  br label %628

628:                                              ; preds = %627
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #9
  %629 = call ptr @__errno_location() #10
  %630 = load i32, ptr %629, align 4, !tbaa !5
  store i32 %630, ptr %19, align 4, !tbaa !5
  %631 = load ptr, ptr @stderr, align 8, !tbaa !9
  %632 = call i32 @s2n_print_stacktrace(ptr noundef %631)
  %633 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %634 = trunc i8 %633 to i1
  br i1 %634, label %635, label %657

635:                                              ; preds = %628
  %636 = load ptr, ptr @stderr, align 8, !tbaa !9
  %637 = call i32 @fileno(ptr noundef %636) #9
  %638 = call i32 @isatty(i32 noundef %637) #9
  %639 = icmp ne i32 %638, 0
  br i1 %639, label %640, label %657

640:                                              ; preds = %635
  %641 = load i32, ptr %19, align 4, !tbaa !5
  %642 = call ptr @__errno_location() #10
  store i32 %641, ptr %642, align 4, !tbaa !5
  %643 = load ptr, ptr @stderr, align 8, !tbaa !9
  %644 = load i32, ptr @test_count, align 4, !tbaa !5
  %645 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %646 = load i32, ptr %645, align 4, !tbaa !5
  %647 = call ptr @s2n_strerror(i32 noundef %646, ptr noundef @.str.4)
  %648 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %649 = load i32, ptr %648, align 4, !tbaa !5
  %650 = call ptr @s2n_strerror_debug(i32 noundef %649, ptr noundef @.str.4)
  %651 = call ptr @__errno_location() #10
  %652 = load i32, ptr %651, align 4, !tbaa !5
  %653 = call ptr @strerror(i32 noundef %652) #9
  %654 = call ptr @__errno_location() #10
  %655 = load i32, ptr %654, align 4, !tbaa !5
  %656 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %643, ptr noundef @.str.2, i32 noundef %644, ptr noundef @.str.14, ptr noundef @.str.1, i32 noundef 68, ptr noundef %647, ptr noundef %650, ptr noundef %653, i32 noundef %655) #9
  br label %674

657:                                              ; preds = %635, %628
  %658 = load i32, ptr %19, align 4, !tbaa !5
  %659 = call ptr @__errno_location() #10
  store i32 %658, ptr %659, align 4, !tbaa !5
  %660 = load ptr, ptr @stderr, align 8, !tbaa !9
  %661 = load i32, ptr @test_count, align 4, !tbaa !5
  %662 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %663 = load i32, ptr %662, align 4, !tbaa !5
  %664 = call ptr @s2n_strerror(i32 noundef %663, ptr noundef @.str.4)
  %665 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %666 = load i32, ptr %665, align 4, !tbaa !5
  %667 = call ptr @s2n_strerror_debug(i32 noundef %666, ptr noundef @.str.4)
  %668 = call ptr @__errno_location() #10
  %669 = load i32, ptr %668, align 4, !tbaa !5
  %670 = call ptr @strerror(i32 noundef %669) #9
  %671 = call ptr @__errno_location() #10
  %672 = load i32, ptr %671, align 4, !tbaa !5
  %673 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %660, ptr noundef @.str.5, i32 noundef %661, ptr noundef @.str.14, ptr noundef @.str.1, i32 noundef 68, ptr noundef %664, ptr noundef %667, ptr noundef %670, i32 noundef %672) #9
  br label %674

674:                                              ; preds = %657, %640
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #9
  br label %675

675:                                              ; preds = %674
  br label %676

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

677:                                              ; No predecessors!
  br label %678

678:                                              ; preds = %677
  br label %679

679:                                              ; preds = %678, %620
  br label %680

680:                                              ; preds = %679
  br label %681

681:                                              ; preds = %680
  br label %682

682:                                              ; preds = %681
  %683 = load i32, ptr @test_count, align 4, !tbaa !5
  %684 = add nsw i32 %683, 1
  store i32 %684, 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_debug(i32 noundef %686, ptr noundef @.str.4)
  %688 = icmp eq ptr %687, null
  br i1 %688, label %689, label %742

689:                                              ; preds = %682
  br label %690

690:                                              ; preds = %689
  br label %691

691:                                              ; preds = %690
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #9
  %692 = call ptr @__errno_location() #10
  %693 = load i32, ptr %692, align 4, !tbaa !5
  store i32 %693, ptr %20, align 4, !tbaa !5
  %694 = load ptr, ptr @stderr, align 8, !tbaa !9
  %695 = call i32 @s2n_print_stacktrace(ptr noundef %694)
  %696 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %697 = trunc i8 %696 to i1
  br i1 %697, label %698, label %720

698:                                              ; preds = %691
  %699 = load ptr, ptr @stderr, align 8, !tbaa !9
  %700 = call i32 @fileno(ptr noundef %699) #9
  %701 = call i32 @isatty(i32 noundef %700) #9
  %702 = icmp ne i32 %701, 0
  br i1 %702, label %703, label %720

703:                                              ; preds = %698
  %704 = load i32, ptr %20, align 4, !tbaa !5
  %705 = call ptr @__errno_location() #10
  store i32 %704, ptr %705, align 4, !tbaa !5
  %706 = load ptr, ptr @stderr, align 8, !tbaa !9
  %707 = load i32, ptr @test_count, align 4, !tbaa !5
  %708 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %709 = load i32, ptr %708, align 4, !tbaa !5
  %710 = call ptr @s2n_strerror(i32 noundef %709, ptr noundef @.str.4)
  %711 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %712 = load i32, ptr %711, align 4, !tbaa !5
  %713 = call ptr @s2n_strerror_debug(i32 noundef %712, ptr noundef @.str.4)
  %714 = call ptr @__errno_location() #10
  %715 = load i32, ptr %714, align 4, !tbaa !5
  %716 = call ptr @strerror(i32 noundef %715) #9
  %717 = call ptr @__errno_location() #10
  %718 = load i32, ptr %717, align 4, !tbaa !5
  %719 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %706, ptr noundef @.str.2, i32 noundef %707, ptr noundef @.str.15, ptr noundef @.str.1, i32 noundef 68, ptr noundef %710, ptr noundef %713, ptr noundef %716, i32 noundef %718) #9
  br label %737

720:                                              ; preds = %698, %691
  %721 = load i32, ptr %20, align 4, !tbaa !5
  %722 = call ptr @__errno_location() #10
  store i32 %721, ptr %722, align 4, !tbaa !5
  %723 = load ptr, ptr @stderr, align 8, !tbaa !9
  %724 = load i32, ptr @test_count, align 4, !tbaa !5
  %725 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %726 = load i32, ptr %725, align 4, !tbaa !5
  %727 = call ptr @s2n_strerror(i32 noundef %726, ptr noundef @.str.4)
  %728 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %729 = load i32, ptr %728, align 4, !tbaa !5
  %730 = call ptr @s2n_strerror_debug(i32 noundef %729, ptr noundef @.str.4)
  %731 = call ptr @__errno_location() #10
  %732 = load i32, ptr %731, align 4, !tbaa !5
  %733 = call ptr @strerror(i32 noundef %732) #9
  %734 = call ptr @__errno_location() #10
  %735 = load i32, ptr %734, align 4, !tbaa !5
  %736 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %723, ptr noundef @.str.5, i32 noundef %724, ptr noundef @.str.15, ptr noundef @.str.1, i32 noundef 68, ptr noundef %727, ptr noundef %730, ptr noundef %733, i32 noundef %735) #9
  br label %737

737:                                              ; preds = %720, %703
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #9
  br label %738

738:                                              ; preds = %737
  br label %739

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

740:                                              ; No predecessors!
  br label %741

741:                                              ; preds = %740
  br label %742

742:                                              ; preds = %741, %682
  br label %743

743:                                              ; preds = %742
  br label %744

744:                                              ; preds = %743
  br label %745

745:                                              ; preds = %744
  br label %746

746:                                              ; preds = %745
  br label %747

747:                                              ; preds = %746
  %748 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  store i32 0, ptr %748, align 4, !tbaa !5
  call void @s2n_debug_info_reset()
  %749 = call ptr @__errno_location() #10
  store i32 0, ptr %749, align 4, !tbaa !5
  br label %750

750:                                              ; preds = %747
  br label %751

751:                                              ; preds = %750
  br label %752

752:                                              ; preds = %751
  br label %753

753:                                              ; preds = %752
  br label %754

754:                                              ; preds = %753
  br label %755

755:                                              ; preds = %754
  br label %756

756:                                              ; preds = %755
  %757 = load i32, ptr @test_count, align 4, !tbaa !5
  %758 = add nsw i32 %757, 1
  store i32 %758, ptr @test_count, align 4, !tbaa !5
  %759 = load ptr, ptr %7, align 8, !tbaa !9
  %760 = getelementptr inbounds %struct.s2n_kem, ptr %759, i32 0, i32 8
  %761 = load ptr, ptr %760, align 8, !tbaa !26
  %762 = load ptr, ptr %7, align 8, !tbaa !9
  %763 = getelementptr inbounds %struct.s2n_blob, ptr %16, i32 0, i32 0
  %764 = load ptr, ptr %763, align 8, !tbaa !24
  %765 = getelementptr inbounds %struct.s2n_blob, ptr %12, i32 0, i32 0
  %766 = load ptr, ptr %765, align 8, !tbaa !24
  %767 = getelementptr inbounds %struct.s2n_blob, ptr %8, i32 0, i32 0
  %768 = load ptr, ptr %767, align 8, !tbaa !24
  %769 = call i32 %761(ptr noundef %762, ptr noundef %764, ptr noundef %766, ptr noundef %768)
  %770 = icmp eq i32 %769, -1
  br i1 %770, label %824, label %771

771:                                              ; preds = %756
  br label %772

772:                                              ; preds = %771
  br label %773

773:                                              ; preds = %772
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #9
  %774 = call ptr @__errno_location() #10
  %775 = load i32, ptr %774, align 4, !tbaa !5
  store i32 %775, ptr %21, align 4, !tbaa !5
  %776 = load ptr, ptr @stderr, align 8, !tbaa !9
  %777 = call i32 @s2n_print_stacktrace(ptr noundef %776)
  %778 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %779 = trunc i8 %778 to i1
  br i1 %779, label %780, label %802

780:                                              ; preds = %773
  %781 = load ptr, ptr @stderr, align 8, !tbaa !9
  %782 = call i32 @fileno(ptr noundef %781) #9
  %783 = call i32 @isatty(i32 noundef %782) #9
  %784 = icmp ne i32 %783, 0
  br i1 %784, label %785, label %802

785:                                              ; preds = %780
  %786 = load i32, ptr %21, align 4, !tbaa !5
  %787 = call ptr @__errno_location() #10
  store i32 %786, ptr %787, align 4, !tbaa !5
  %788 = load ptr, ptr @stderr, align 8, !tbaa !9
  %789 = load i32, ptr @test_count, align 4, !tbaa !5
  %790 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %791 = load i32, ptr %790, align 4, !tbaa !5
  %792 = call ptr @s2n_strerror(i32 noundef %791, ptr noundef @.str.4)
  %793 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %794 = load i32, ptr %793, align 4, !tbaa !5
  %795 = call ptr @s2n_strerror_debug(i32 noundef %794, ptr noundef @.str.4)
  %796 = call ptr @__errno_location() #10
  %797 = load i32, ptr %796, align 4, !tbaa !5
  %798 = call ptr @strerror(i32 noundef %797) #9
  %799 = call ptr @__errno_location() #10
  %800 = load i32, ptr %799, align 4, !tbaa !5
  %801 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %788, ptr noundef @.str.2, i32 noundef %789, ptr noundef @.str.16, ptr noundef @.str.1, i32 noundef 69, ptr noundef %792, ptr noundef %795, ptr noundef %798, i32 noundef %800) #9
  br label %819

802:                                              ; preds = %780, %773
  %803 = load i32, ptr %21, align 4, !tbaa !5
  %804 = call ptr @__errno_location() #10
  store i32 %803, ptr %804, align 4, !tbaa !5
  %805 = load ptr, ptr @stderr, align 8, !tbaa !9
  %806 = load i32, ptr @test_count, align 4, !tbaa !5
  %807 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %808 = load i32, ptr %807, align 4, !tbaa !5
  %809 = call ptr @s2n_strerror(i32 noundef %808, ptr noundef @.str.4)
  %810 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %811 = load i32, ptr %810, align 4, !tbaa !5
  %812 = call ptr @s2n_strerror_debug(i32 noundef %811, ptr noundef @.str.4)
  %813 = call ptr @__errno_location() #10
  %814 = load i32, ptr %813, align 4, !tbaa !5
  %815 = call ptr @strerror(i32 noundef %814) #9
  %816 = call ptr @__errno_location() #10
  %817 = load i32, ptr %816, align 4, !tbaa !5
  %818 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %805, ptr noundef @.str.5, i32 noundef %806, ptr noundef @.str.16, ptr noundef @.str.1, i32 noundef 69, ptr noundef %809, ptr noundef %812, ptr noundef %815, i32 noundef %817) #9
  br label %819

819:                                              ; preds = %802, %785
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #9
  br label %820

820:                                              ; preds = %819
  br label %821

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

822:                                              ; No predecessors!
  br label %823

823:                                              ; preds = %822
  br label %824

824:                                              ; preds = %823, %756
  br label %825

825:                                              ; preds = %824
  br label %826

826:                                              ; preds = %825
  br label %827

827:                                              ; preds = %826
  %828 = load i32, ptr @test_count, align 4, !tbaa !5
  %829 = add nsw i32 %828, 1
  store i32 %829, 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 = icmp eq i32 %831, 402653231
  br i1 %832, label %886, label %833

833:                                              ; preds = %827
  br label %834

834:                                              ; preds = %833
  br label %835

835:                                              ; preds = %834
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #9
  %836 = call ptr @__errno_location() #10
  %837 = load i32, ptr %836, align 4, !tbaa !5
  store i32 %837, ptr %22, align 4, !tbaa !5
  %838 = load ptr, ptr @stderr, align 8, !tbaa !9
  %839 = call i32 @s2n_print_stacktrace(ptr noundef %838)
  %840 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %841 = trunc i8 %840 to i1
  br i1 %841, label %842, label %864

842:                                              ; preds = %835
  %843 = load ptr, ptr @stderr, align 8, !tbaa !9
  %844 = call i32 @fileno(ptr noundef %843) #9
  %845 = call i32 @isatty(i32 noundef %844) #9
  %846 = icmp ne i32 %845, 0
  br i1 %846, label %847, label %864

847:                                              ; preds = %842
  %848 = load i32, ptr %22, align 4, !tbaa !5
  %849 = call ptr @__errno_location() #10
  store i32 %848, ptr %849, align 4, !tbaa !5
  %850 = load ptr, ptr @stderr, align 8, !tbaa !9
  %851 = load i32, ptr @test_count, align 4, !tbaa !5
  %852 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %853 = load i32, ptr %852, align 4, !tbaa !5
  %854 = call ptr @s2n_strerror(i32 noundef %853, ptr noundef @.str.4)
  %855 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %856 = load i32, ptr %855, align 4, !tbaa !5
  %857 = call ptr @s2n_strerror_debug(i32 noundef %856, ptr noundef @.str.4)
  %858 = call ptr @__errno_location() #10
  %859 = load i32, ptr %858, align 4, !tbaa !5
  %860 = call ptr @strerror(i32 noundef %859) #9
  %861 = call ptr @__errno_location() #10
  %862 = load i32, ptr %861, align 4, !tbaa !5
  %863 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %850, ptr noundef @.str.2, i32 noundef %851, ptr noundef @.str.14, ptr noundef @.str.1, i32 noundef 69, ptr noundef %854, ptr noundef %857, ptr noundef %860, i32 noundef %862) #9
  br label %881

864:                                              ; preds = %842, %835
  %865 = load i32, ptr %22, align 4, !tbaa !5
  %866 = call ptr @__errno_location() #10
  store i32 %865, ptr %866, align 4, !tbaa !5
  %867 = load ptr, ptr @stderr, align 8, !tbaa !9
  %868 = load i32, ptr @test_count, align 4, !tbaa !5
  %869 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %870 = load i32, ptr %869, align 4, !tbaa !5
  %871 = call ptr @s2n_strerror(i32 noundef %870, ptr noundef @.str.4)
  %872 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %873 = load i32, ptr %872, align 4, !tbaa !5
  %874 = call ptr @s2n_strerror_debug(i32 noundef %873, ptr noundef @.str.4)
  %875 = call ptr @__errno_location() #10
  %876 = load i32, ptr %875, align 4, !tbaa !5
  %877 = call ptr @strerror(i32 noundef %876) #9
  %878 = call ptr @__errno_location() #10
  %879 = load i32, ptr %878, align 4, !tbaa !5
  %880 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %867, ptr noundef @.str.5, i32 noundef %868, ptr noundef @.str.14, ptr noundef @.str.1, i32 noundef 69, ptr noundef %871, ptr noundef %874, ptr noundef %877, i32 noundef %879) #9
  br label %881

881:                                              ; preds = %864, %847
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #9
  br label %882

882:                                              ; preds = %881
  br label %883

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

884:                                              ; No predecessors!
  br label %885

885:                                              ; preds = %884
  br label %886

886:                                              ; preds = %885, %827
  br label %887

887:                                              ; preds = %886
  br label %888

888:                                              ; preds = %887
  br label %889

889:                                              ; preds = %888
  %890 = load i32, ptr @test_count, align 4, !tbaa !5
  %891 = add nsw i32 %890, 1
  store i32 %891, ptr @test_count, align 4, !tbaa !5
  %892 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %893 = load i32, ptr %892, align 4, !tbaa !5
  %894 = call ptr @s2n_strerror_debug(i32 noundef %893, ptr noundef @.str.4)
  %895 = icmp eq ptr %894, null
  br i1 %895, label %896, label %949

896:                                              ; preds = %889
  br label %897

897:                                              ; preds = %896
  br label %898

898:                                              ; preds = %897
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #9
  %899 = call ptr @__errno_location() #10
  %900 = load i32, ptr %899, align 4, !tbaa !5
  store i32 %900, ptr %23, align 4, !tbaa !5
  %901 = load ptr, ptr @stderr, align 8, !tbaa !9
  %902 = call i32 @s2n_print_stacktrace(ptr noundef %901)
  %903 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %904 = trunc i8 %903 to i1
  br i1 %904, label %905, label %927

905:                                              ; preds = %898
  %906 = load ptr, ptr @stderr, align 8, !tbaa !9
  %907 = call i32 @fileno(ptr noundef %906) #9
  %908 = call i32 @isatty(i32 noundef %907) #9
  %909 = icmp ne i32 %908, 0
  br i1 %909, label %910, label %927

910:                                              ; preds = %905
  %911 = load i32, ptr %23, align 4, !tbaa !5
  %912 = call ptr @__errno_location() #10
  store i32 %911, ptr %912, align 4, !tbaa !5
  %913 = load ptr, ptr @stderr, align 8, !tbaa !9
  %914 = load i32, ptr @test_count, align 4, !tbaa !5
  %915 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %916 = load i32, ptr %915, align 4, !tbaa !5
  %917 = call ptr @s2n_strerror(i32 noundef %916, ptr noundef @.str.4)
  %918 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %919 = load i32, ptr %918, align 4, !tbaa !5
  %920 = call ptr @s2n_strerror_debug(i32 noundef %919, ptr noundef @.str.4)
  %921 = call ptr @__errno_location() #10
  %922 = load i32, ptr %921, align 4, !tbaa !5
  %923 = call ptr @strerror(i32 noundef %922) #9
  %924 = call ptr @__errno_location() #10
  %925 = load i32, ptr %924, align 4, !tbaa !5
  %926 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %913, ptr noundef @.str.2, i32 noundef %914, ptr noundef @.str.15, ptr noundef @.str.1, i32 noundef 69, ptr noundef %917, ptr noundef %920, ptr noundef %923, i32 noundef %925) #9
  br label %944

927:                                              ; preds = %905, %898
  %928 = load i32, ptr %23, align 4, !tbaa !5
  %929 = call ptr @__errno_location() #10
  store i32 %928, ptr %929, align 4, !tbaa !5
  %930 = load ptr, ptr @stderr, align 8, !tbaa !9
  %931 = load i32, ptr @test_count, align 4, !tbaa !5
  %932 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %933 = load i32, ptr %932, align 4, !tbaa !5
  %934 = call ptr @s2n_strerror(i32 noundef %933, ptr noundef @.str.4)
  %935 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %936 = load i32, ptr %935, align 4, !tbaa !5
  %937 = call ptr @s2n_strerror_debug(i32 noundef %936, ptr noundef @.str.4)
  %938 = call ptr @__errno_location() #10
  %939 = load i32, ptr %938, align 4, !tbaa !5
  %940 = call ptr @strerror(i32 noundef %939) #9
  %941 = call ptr @__errno_location() #10
  %942 = load i32, ptr %941, align 4, !tbaa !5
  %943 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %930, ptr noundef @.str.5, i32 noundef %931, ptr noundef @.str.15, ptr noundef @.str.1, i32 noundef 69, ptr noundef %934, ptr noundef %937, ptr noundef %940, i32 noundef %942) #9
  br label %944

944:                                              ; preds = %927, %910
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #9
  br label %945

945:                                              ; preds = %944
  br label %946

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

947:                                              ; No predecessors!
  br label %948

948:                                              ; preds = %947
  br label %949

949:                                              ; preds = %948, %889
  br label %950

950:                                              ; preds = %949
  br label %951

951:                                              ; preds = %950
  br label %952

952:                                              ; preds = %951
  br label %953

953:                                              ; preds = %952
  br label %954

954:                                              ; preds = %953
  %955 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  store i32 0, ptr %955, align 4, !tbaa !5
  call void @s2n_debug_info_reset()
  %956 = call ptr @__errno_location() #10
  store i32 0, ptr %956, align 4, !tbaa !5
  br label %957

957:                                              ; preds = %954
  br label %958

958:                                              ; preds = %957
  br label %959

959:                                              ; preds = %958
  br label %960

960:                                              ; preds = %959
  br label %961

961:                                              ; preds = %960
  br label %962

962:                                              ; preds = %961
  br label %963

963:                                              ; preds = %962
  %964 = load i32, ptr @test_count, align 4, !tbaa !5
  %965 = add nsw i32 %964, 1
  store i32 %965, ptr @test_count, align 4, !tbaa !5
  %966 = load ptr, ptr %7, align 8, !tbaa !9
  %967 = getelementptr inbounds %struct.s2n_kem, ptr %966, i32 0, i32 9
  %968 = load ptr, ptr %967, align 8, !tbaa !27
  %969 = load ptr, ptr %7, align 8, !tbaa !9
  %970 = getelementptr inbounds %struct.s2n_blob, ptr %14, i32 0, i32 0
  %971 = load ptr, ptr %970, align 8, !tbaa !24
  %972 = getelementptr inbounds %struct.s2n_blob, ptr %16, i32 0, i32 0
  %973 = load ptr, ptr %972, align 8, !tbaa !24
  %974 = getelementptr inbounds %struct.s2n_blob, ptr %10, i32 0, i32 0
  %975 = load ptr, ptr %974, align 8, !tbaa !24
  %976 = call i32 %968(ptr noundef %969, ptr noundef %971, ptr noundef %973, ptr noundef %975)
  %977 = icmp eq i32 %976, -1
  br i1 %977, label %1031, label %978

978:                                              ; preds = %963
  br label %979

979:                                              ; preds = %978
  br label %980

980:                                              ; preds = %979
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #9
  %981 = call ptr @__errno_location() #10
  %982 = load i32, ptr %981, align 4, !tbaa !5
  store i32 %982, ptr %24, 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 %24, 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.17, ptr noundef @.str.1, i32 noundef 70, ptr noundef %999, ptr noundef %1002, ptr noundef %1005, i32 noundef %1007) #9
  br label %1026

1009:                                             ; preds = %987, %980
  %1010 = load i32, ptr %24, 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.17, ptr noundef @.str.1, i32 noundef 70, 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 %24) #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, %963
  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 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1038 = load i32, ptr %1037, align 4, !tbaa !5
  %1039 = icmp eq i32 %1038, 402653231
  br i1 %1039, label %1093, label %1040

1040:                                             ; preds = %1034
  br label %1041

1041:                                             ; preds = %1040
  br label %1042

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

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

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

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

1088:                                             ; preds = %1071, %1054
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #9
  br label %1089

1089:                                             ; preds = %1088
  br label %1090

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

1091:                                             ; No predecessors!
  br label %1092

1092:                                             ; preds = %1091
  br label %1093

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

1094:                                             ; preds = %1093
  br label %1095

1095:                                             ; preds = %1094
  br label %1096

1096:                                             ; preds = %1095
  %1097 = load i32, ptr @test_count, align 4, !tbaa !5
  %1098 = add nsw i32 %1097, 1
  store i32 %1098, ptr @test_count, align 4, !tbaa !5
  %1099 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1100 = load i32, ptr %1099, align 4, !tbaa !5
  %1101 = call ptr @s2n_strerror_debug(i32 noundef %1100, ptr noundef @.str.4)
  %1102 = icmp eq ptr %1101, null
  br i1 %1102, label %1103, label %1156

1103:                                             ; preds = %1096
  br label %1104

1104:                                             ; preds = %1103
  br label %1105

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

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

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

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

1151:                                             ; preds = %1134, %1117
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #9
  br label %1152

1152:                                             ; preds = %1151
  br label %1153

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

1154:                                             ; No predecessors!
  br label %1155

1155:                                             ; preds = %1154
  br label %1156

1156:                                             ; preds = %1155, %1096
  br label %1157

1157:                                             ; preds = %1156
  br label %1158

1158:                                             ; preds = %1157
  br label %1159

1159:                                             ; preds = %1158
  br label %1160

1160:                                             ; preds = %1159
  br label %1161

1161:                                             ; preds = %1160
  %1162 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  store i32 0, ptr %1162, align 4, !tbaa !5
  call void @s2n_debug_info_reset()
  %1163 = call ptr @__errno_location() #10
  store i32 0, ptr %1163, align 4, !tbaa !5
  br label %1164

1164:                                             ; preds = %1161
  br label %1165

1165:                                             ; preds = %1164
  br label %1166

1166:                                             ; preds = %1165
  br label %1167

1167:                                             ; preds = %1166
  store i32 26, ptr %6, align 4
  br label %1606

1168:                                             ; preds = %545
  br label %1169

1169:                                             ; preds = %1168
  %1170 = load i32, ptr @test_count, align 4, !tbaa !5
  %1171 = add nsw i32 %1170, 1
  store i32 %1171, ptr @test_count, align 4, !tbaa !5
  %1172 = load ptr, ptr %7, align 8, !tbaa !9
  %1173 = getelementptr inbounds %struct.s2n_kem, ptr %1172, i32 0, i32 7
  %1174 = load ptr, ptr %1173, align 8, !tbaa !23
  %1175 = load ptr, ptr %7, align 8, !tbaa !9
  %1176 = getelementptr inbounds %struct.s2n_blob, ptr %8, i32 0, i32 0
  %1177 = load ptr, ptr %1176, align 8, !tbaa !24
  %1178 = getelementptr inbounds %struct.s2n_blob, ptr %10, i32 0, i32 0
  %1179 = load ptr, ptr %1178, align 8, !tbaa !24
  %1180 = call i32 %1174(ptr noundef %1175, ptr noundef %1177, ptr noundef %1179)
  %1181 = icmp eq i32 %1180, 0
  br i1 %1181, label %1235, label %1182

1182:                                             ; preds = %1169
  br label %1183

1183:                                             ; preds = %1182
  br label %1184

1184:                                             ; preds = %1183
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #9
  %1185 = call ptr @__errno_location() #10
  %1186 = load i32, ptr %1185, align 4, !tbaa !5
  store i32 %1186, ptr %27, align 4, !tbaa !5
  %1187 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1188 = call i32 @s2n_print_stacktrace(ptr noundef %1187)
  %1189 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1190 = trunc i8 %1189 to i1
  br i1 %1190, label %1191, label %1213

1191:                                             ; preds = %1184
  %1192 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1193 = call i32 @fileno(ptr noundef %1192) #9
  %1194 = call i32 @isatty(i32 noundef %1193) #9
  %1195 = icmp ne i32 %1194, 0
  br i1 %1195, label %1196, label %1213

1196:                                             ; preds = %1191
  %1197 = load i32, ptr %27, align 4, !tbaa !5
  %1198 = call ptr @__errno_location() #10
  store i32 %1197, ptr %1198, align 4, !tbaa !5
  %1199 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1200 = load i32, ptr @test_count, align 4, !tbaa !5
  %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(i32 noundef %1202, ptr noundef @.str.4)
  %1204 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1205 = load i32, ptr %1204, align 4, !tbaa !5
  %1206 = call ptr @s2n_strerror_debug(i32 noundef %1205, ptr noundef @.str.4)
  %1207 = call ptr @__errno_location() #10
  %1208 = load i32, ptr %1207, align 4, !tbaa !5
  %1209 = call ptr @strerror(i32 noundef %1208) #9
  %1210 = call ptr @__errno_location() #10
  %1211 = load i32, ptr %1210, align 4, !tbaa !5
  %1212 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1199, ptr noundef @.str.2, i32 noundef %1200, ptr noundef @.str.18, ptr noundef @.str.1, i32 noundef 75, ptr noundef %1203, ptr noundef %1206, ptr noundef %1209, i32 noundef %1211) #9
  br label %1230

1213:                                             ; preds = %1191, %1184
  %1214 = load i32, ptr %27, align 4, !tbaa !5
  %1215 = call ptr @__errno_location() #10
  store i32 %1214, ptr %1215, align 4, !tbaa !5
  %1216 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1217 = load i32, ptr @test_count, align 4, !tbaa !5
  %1218 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1219 = load i32, ptr %1218, align 4, !tbaa !5
  %1220 = call ptr @s2n_strerror(i32 noundef %1219, ptr noundef @.str.4)
  %1221 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1222 = load i32, ptr %1221, align 4, !tbaa !5
  %1223 = call ptr @s2n_strerror_debug(i32 noundef %1222, ptr noundef @.str.4)
  %1224 = call ptr @__errno_location() #10
  %1225 = load i32, ptr %1224, align 4, !tbaa !5
  %1226 = call ptr @strerror(i32 noundef %1225) #9
  %1227 = call ptr @__errno_location() #10
  %1228 = load i32, ptr %1227, align 4, !tbaa !5
  %1229 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1216, ptr noundef @.str.5, i32 noundef %1217, ptr noundef @.str.18, ptr noundef @.str.1, i32 noundef 75, ptr noundef %1220, ptr noundef %1223, ptr noundef %1226, i32 noundef %1228) #9
  br label %1230

1230:                                             ; preds = %1213, %1196
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #9
  br label %1231

1231:                                             ; preds = %1230
  br label %1232

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

1233:                                             ; No predecessors!
  br label %1234

1234:                                             ; preds = %1233
  br label %1235

1235:                                             ; preds = %1234, %1169
  br label %1236

1236:                                             ; preds = %1235
  br label %1237

1237:                                             ; preds = %1236
  br label %1238

1238:                                             ; preds = %1237
  %1239 = load i32, ptr @test_count, align 4, !tbaa !5
  %1240 = add nsw i32 %1239, 1
  store i32 %1240, ptr @test_count, align 4, !tbaa !5
  %1241 = load ptr, ptr %7, align 8, !tbaa !9
  %1242 = getelementptr inbounds %struct.s2n_kem, ptr %1241, i32 0, i32 8
  %1243 = load ptr, ptr %1242, align 8, !tbaa !26
  %1244 = load ptr, ptr %7, align 8, !tbaa !9
  %1245 = getelementptr inbounds %struct.s2n_blob, ptr %16, i32 0, i32 0
  %1246 = load ptr, ptr %1245, align 8, !tbaa !24
  %1247 = getelementptr inbounds %struct.s2n_blob, ptr %12, i32 0, i32 0
  %1248 = load ptr, ptr %1247, align 8, !tbaa !24
  %1249 = getelementptr inbounds %struct.s2n_blob, ptr %8, i32 0, i32 0
  %1250 = load ptr, ptr %1249, align 8, !tbaa !24
  %1251 = call i32 %1243(ptr noundef %1244, ptr noundef %1246, ptr noundef %1248, ptr noundef %1250)
  %1252 = icmp eq i32 %1251, 0
  br i1 %1252, label %1306, label %1253

1253:                                             ; preds = %1238
  br label %1254

1254:                                             ; preds = %1253
  br label %1255

1255:                                             ; preds = %1254
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #9
  %1256 = call ptr @__errno_location() #10
  %1257 = load i32, ptr %1256, align 4, !tbaa !5
  store i32 %1257, ptr %28, align 4, !tbaa !5
  %1258 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1259 = call i32 @s2n_print_stacktrace(ptr noundef %1258)
  %1260 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1261 = trunc i8 %1260 to i1
  br i1 %1261, label %1262, label %1284

1262:                                             ; preds = %1255
  %1263 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1264 = call i32 @fileno(ptr noundef %1263) #9
  %1265 = call i32 @isatty(i32 noundef %1264) #9
  %1266 = icmp ne i32 %1265, 0
  br i1 %1266, label %1267, label %1284

1267:                                             ; preds = %1262
  %1268 = load i32, ptr %28, align 4, !tbaa !5
  %1269 = call ptr @__errno_location() #10
  store i32 %1268, ptr %1269, align 4, !tbaa !5
  %1270 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1271 = load i32, ptr @test_count, align 4, !tbaa !5
  %1272 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1273 = load i32, ptr %1272, align 4, !tbaa !5
  %1274 = call ptr @s2n_strerror(i32 noundef %1273, ptr noundef @.str.4)
  %1275 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1276 = load i32, ptr %1275, align 4, !tbaa !5
  %1277 = call ptr @s2n_strerror_debug(i32 noundef %1276, ptr noundef @.str.4)
  %1278 = call ptr @__errno_location() #10
  %1279 = load i32, ptr %1278, align 4, !tbaa !5
  %1280 = call ptr @strerror(i32 noundef %1279) #9
  %1281 = call ptr @__errno_location() #10
  %1282 = load i32, ptr %1281, align 4, !tbaa !5
  %1283 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1270, ptr noundef @.str.2, i32 noundef %1271, ptr noundef @.str.19, ptr noundef @.str.1, i32 noundef 76, ptr noundef %1274, ptr noundef %1277, ptr noundef %1280, i32 noundef %1282) #9
  br label %1301

1284:                                             ; preds = %1262, %1255
  %1285 = load i32, ptr %28, align 4, !tbaa !5
  %1286 = call ptr @__errno_location() #10
  store i32 %1285, ptr %1286, align 4, !tbaa !5
  %1287 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1288 = load i32, ptr @test_count, align 4, !tbaa !5
  %1289 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1290 = load i32, ptr %1289, align 4, !tbaa !5
  %1291 = call ptr @s2n_strerror(i32 noundef %1290, ptr noundef @.str.4)
  %1292 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1293 = load i32, ptr %1292, align 4, !tbaa !5
  %1294 = call ptr @s2n_strerror_debug(i32 noundef %1293, ptr noundef @.str.4)
  %1295 = call ptr @__errno_location() #10
  %1296 = load i32, ptr %1295, align 4, !tbaa !5
  %1297 = call ptr @strerror(i32 noundef %1296) #9
  %1298 = call ptr @__errno_location() #10
  %1299 = load i32, ptr %1298, align 4, !tbaa !5
  %1300 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1287, ptr noundef @.str.5, i32 noundef %1288, ptr noundef @.str.19, ptr noundef @.str.1, i32 noundef 76, ptr noundef %1291, ptr noundef %1294, ptr noundef %1297, i32 noundef %1299) #9
  br label %1301

1301:                                             ; preds = %1284, %1267
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #9
  br label %1302

1302:                                             ; preds = %1301
  br label %1303

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

1304:                                             ; No predecessors!
  br label %1305

1305:                                             ; preds = %1304
  br label %1306

1306:                                             ; preds = %1305, %1238
  br label %1307

1307:                                             ; preds = %1306
  br label %1308

1308:                                             ; preds = %1307
  br label %1309

1309:                                             ; preds = %1308
  %1310 = load i32, ptr @test_count, align 4, !tbaa !5
  %1311 = add nsw i32 %1310, 1
  store i32 %1311, ptr @test_count, align 4, !tbaa !5
  %1312 = load ptr, ptr %7, align 8, !tbaa !9
  %1313 = getelementptr inbounds %struct.s2n_kem, ptr %1312, i32 0, i32 9
  %1314 = load ptr, ptr %1313, align 8, !tbaa !27
  %1315 = load ptr, ptr %7, align 8, !tbaa !9
  %1316 = getelementptr inbounds %struct.s2n_blob, ptr %14, i32 0, i32 0
  %1317 = load ptr, ptr %1316, align 8, !tbaa !24
  %1318 = getelementptr inbounds %struct.s2n_blob, ptr %16, i32 0, i32 0
  %1319 = load ptr, ptr %1318, align 8, !tbaa !24
  %1320 = getelementptr inbounds %struct.s2n_blob, ptr %10, i32 0, i32 0
  %1321 = load ptr, ptr %1320, align 8, !tbaa !24
  %1322 = call i32 %1314(ptr noundef %1315, ptr noundef %1317, ptr noundef %1319, ptr noundef %1321)
  %1323 = icmp eq i32 %1322, 0
  br i1 %1323, label %1377, label %1324

1324:                                             ; preds = %1309
  br label %1325

1325:                                             ; preds = %1324
  br label %1326

1326:                                             ; preds = %1325
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #9
  %1327 = call ptr @__errno_location() #10
  %1328 = load i32, ptr %1327, align 4, !tbaa !5
  store i32 %1328, ptr %29, align 4, !tbaa !5
  %1329 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1330 = call i32 @s2n_print_stacktrace(ptr noundef %1329)
  %1331 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1332 = trunc i8 %1331 to i1
  br i1 %1332, label %1333, label %1355

1333:                                             ; preds = %1326
  %1334 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1335 = call i32 @fileno(ptr noundef %1334) #9
  %1336 = call i32 @isatty(i32 noundef %1335) #9
  %1337 = icmp ne i32 %1336, 0
  br i1 %1337, label %1338, label %1355

1338:                                             ; preds = %1333
  %1339 = load i32, ptr %29, align 4, !tbaa !5
  %1340 = call ptr @__errno_location() #10
  store i32 %1339, ptr %1340, align 4, !tbaa !5
  %1341 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1342 = load i32, ptr @test_count, align 4, !tbaa !5
  %1343 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1344 = load i32, ptr %1343, align 4, !tbaa !5
  %1345 = call ptr @s2n_strerror(i32 noundef %1344, ptr noundef @.str.4)
  %1346 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1347 = load i32, ptr %1346, align 4, !tbaa !5
  %1348 = call ptr @s2n_strerror_debug(i32 noundef %1347, ptr noundef @.str.4)
  %1349 = call ptr @__errno_location() #10
  %1350 = load i32, ptr %1349, align 4, !tbaa !5
  %1351 = call ptr @strerror(i32 noundef %1350) #9
  %1352 = call ptr @__errno_location() #10
  %1353 = load i32, ptr %1352, align 4, !tbaa !5
  %1354 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1341, ptr noundef @.str.2, i32 noundef %1342, ptr noundef @.str.20, ptr noundef @.str.1, i32 noundef 77, ptr noundef %1345, ptr noundef %1348, ptr noundef %1351, i32 noundef %1353) #9
  br label %1372

1355:                                             ; preds = %1333, %1326
  %1356 = load i32, ptr %29, align 4, !tbaa !5
  %1357 = call ptr @__errno_location() #10
  store i32 %1356, ptr %1357, align 4, !tbaa !5
  %1358 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1359 = load i32, ptr @test_count, align 4, !tbaa !5
  %1360 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1361 = load i32, ptr %1360, align 4, !tbaa !5
  %1362 = call ptr @s2n_strerror(i32 noundef %1361, ptr noundef @.str.4)
  %1363 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1364 = load i32, ptr %1363, align 4, !tbaa !5
  %1365 = call ptr @s2n_strerror_debug(i32 noundef %1364, ptr noundef @.str.4)
  %1366 = call ptr @__errno_location() #10
  %1367 = load i32, ptr %1366, align 4, !tbaa !5
  %1368 = call ptr @strerror(i32 noundef %1367) #9
  %1369 = call ptr @__errno_location() #10
  %1370 = load i32, ptr %1369, align 4, !tbaa !5
  %1371 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1358, ptr noundef @.str.5, i32 noundef %1359, ptr noundef @.str.20, ptr noundef @.str.1, i32 noundef 77, ptr noundef %1362, ptr noundef %1365, ptr noundef %1368, i32 noundef %1370) #9
  br label %1372

1372:                                             ; preds = %1355, %1338
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #9
  br label %1373

1373:                                             ; preds = %1372
  br label %1374

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

1375:                                             ; No predecessors!
  br label %1376

1376:                                             ; preds = %1375
  br label %1377

1377:                                             ; preds = %1376, %1309
  br label %1378

1378:                                             ; preds = %1377
  br label %1379

1379:                                             ; preds = %1378
  br label %1380

1380:                                             ; preds = %1379
  %1381 = load ptr, ptr %7, align 8, !tbaa !9
  %1382 = getelementptr inbounds %struct.s2n_kem, ptr %1381, i32 0, i32 5
  %1383 = load i16, ptr %1382, align 2, !tbaa !21
  %1384 = zext i16 %1383 to i32
  %1385 = icmp ne i32 %1384, 0
  br i1 %1385, label %1386, label %1456

1386:                                             ; preds = %1380
  br label %1387

1387:                                             ; preds = %1386
  %1388 = load i32, ptr @test_count, align 4, !tbaa !5
  %1389 = add nsw i32 %1388, 1
  store i32 %1389, ptr @test_count, align 4, !tbaa !5
  %1390 = getelementptr inbounds %struct.s2n_blob, ptr %14, i32 0, i32 0
  %1391 = load ptr, ptr %1390, align 8, !tbaa !24
  %1392 = getelementptr inbounds %struct.s2n_blob, ptr %12, i32 0, i32 0
  %1393 = load ptr, ptr %1392, align 8, !tbaa !24
  %1394 = load ptr, ptr %7, align 8, !tbaa !9
  %1395 = getelementptr inbounds %struct.s2n_kem, ptr %1394, i32 0, i32 5
  %1396 = load i16, ptr %1395, align 2, !tbaa !21
  %1397 = zext i16 %1396 to i64
  %1398 = call i32 @memcmp(ptr noundef %1391, ptr noundef %1393, i64 noundef %1397) #12
  %1399 = icmp eq i32 %1398, 0
  br i1 %1399, label %1453, label %1400

1400:                                             ; preds = %1387
  br label %1401

1401:                                             ; preds = %1400
  br label %1402

1402:                                             ; preds = %1401
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #9
  %1403 = call ptr @__errno_location() #10
  %1404 = load i32, ptr %1403, align 4, !tbaa !5
  store i32 %1404, ptr %30, align 4, !tbaa !5
  %1405 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1406 = call i32 @s2n_print_stacktrace(ptr noundef %1405)
  %1407 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1408 = trunc i8 %1407 to i1
  br i1 %1408, label %1409, label %1431

1409:                                             ; preds = %1402
  %1410 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1411 = call i32 @fileno(ptr noundef %1410) #9
  %1412 = call i32 @isatty(i32 noundef %1411) #9
  %1413 = icmp ne i32 %1412, 0
  br i1 %1413, label %1414, label %1431

1414:                                             ; preds = %1409
  %1415 = load i32, ptr %30, align 4, !tbaa !5
  %1416 = call ptr @__errno_location() #10
  store i32 %1415, ptr %1416, align 4, !tbaa !5
  %1417 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1418 = load i32, ptr @test_count, align 4, !tbaa !5
  %1419 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1420 = load i32, ptr %1419, align 4, !tbaa !5
  %1421 = call ptr @s2n_strerror(i32 noundef %1420, ptr noundef @.str.4)
  %1422 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1423 = load i32, ptr %1422, align 4, !tbaa !5
  %1424 = call ptr @s2n_strerror_debug(i32 noundef %1423, ptr noundef @.str.4)
  %1425 = call ptr @__errno_location() #10
  %1426 = load i32, ptr %1425, align 4, !tbaa !5
  %1427 = call ptr @strerror(i32 noundef %1426) #9
  %1428 = call ptr @__errno_location() #10
  %1429 = load i32, ptr %1428, align 4, !tbaa !5
  %1430 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1417, ptr noundef @.str.2, i32 noundef %1418, ptr noundef @.str.21, ptr noundef @.str.1, i32 noundef 78, ptr noundef %1421, ptr noundef %1424, ptr noundef %1427, i32 noundef %1429) #9
  br label %1448

1431:                                             ; preds = %1409, %1402
  %1432 = load i32, ptr %30, align 4, !tbaa !5
  %1433 = call ptr @__errno_location() #10
  store i32 %1432, ptr %1433, align 4, !tbaa !5
  %1434 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1435 = load i32, ptr @test_count, align 4, !tbaa !5
  %1436 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1437 = load i32, ptr %1436, align 4, !tbaa !5
  %1438 = call ptr @s2n_strerror(i32 noundef %1437, ptr noundef @.str.4)
  %1439 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1440 = load i32, ptr %1439, align 4, !tbaa !5
  %1441 = call ptr @s2n_strerror_debug(i32 noundef %1440, ptr noundef @.str.4)
  %1442 = call ptr @__errno_location() #10
  %1443 = load i32, ptr %1442, align 4, !tbaa !5
  %1444 = call ptr @strerror(i32 noundef %1443) #9
  %1445 = call ptr @__errno_location() #10
  %1446 = load i32, ptr %1445, align 4, !tbaa !5
  %1447 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1434, ptr noundef @.str.5, i32 noundef %1435, ptr noundef @.str.21, ptr noundef @.str.1, i32 noundef 78, ptr noundef %1438, ptr noundef %1441, ptr noundef %1444, i32 noundef %1446) #9
  br label %1448

1448:                                             ; preds = %1431, %1414
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #9
  br label %1449

1449:                                             ; preds = %1448
  br label %1450

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

1451:                                             ; No predecessors!
  br label %1452

1452:                                             ; preds = %1451
  br label %1453

1453:                                             ; preds = %1452, %1387
  br label %1454

1454:                                             ; preds = %1453
  br label %1455

1455:                                             ; preds = %1454
  br label %1456

1456:                                             ; preds = %1455, %1380
  br label %1457

1457:                                             ; preds = %1456
  br label %1458

1458:                                             ; preds = %1457
  %1459 = getelementptr inbounds %struct.s2n_blob, ptr %16, i32 0, i32 0
  %1460 = load ptr, ptr %1459, align 8, !tbaa !24
  %1461 = getelementptr inbounds i8, ptr %1460, i64 0
  %1462 = load i8, ptr %1461, align 1, !tbaa !28
  %1463 = zext i8 %1462 to i32
  %1464 = xor i32 %1463, 1
  %1465 = trunc i32 %1464 to i8
  store i8 %1465, ptr %1461, align 1, !tbaa !28
  br label %1466

1466:                                             ; preds = %1458
  %1467 = load i32, ptr @test_count, align 4, !tbaa !5
  %1468 = add nsw i32 %1467, 1
  store i32 %1468, ptr @test_count, align 4, !tbaa !5
  %1469 = load ptr, ptr %7, align 8, !tbaa !9
  %1470 = getelementptr inbounds %struct.s2n_kem, ptr %1469, i32 0, i32 9
  %1471 = load ptr, ptr %1470, align 8, !tbaa !27
  %1472 = load ptr, ptr %7, align 8, !tbaa !9
  %1473 = getelementptr inbounds %struct.s2n_blob, ptr %14, i32 0, i32 0
  %1474 = load ptr, ptr %1473, align 8, !tbaa !24
  %1475 = getelementptr inbounds %struct.s2n_blob, ptr %16, i32 0, i32 0
  %1476 = load ptr, ptr %1475, align 8, !tbaa !24
  %1477 = getelementptr inbounds %struct.s2n_blob, ptr %10, i32 0, i32 0
  %1478 = load ptr, ptr %1477, align 8, !tbaa !24
  %1479 = call i32 %1471(ptr noundef %1472, ptr noundef %1474, ptr noundef %1476, ptr noundef %1478)
  %1480 = icmp eq i32 %1479, 0
  br i1 %1480, label %1534, label %1481

1481:                                             ; preds = %1466
  br label %1482

1482:                                             ; preds = %1481
  br label %1483

1483:                                             ; preds = %1482
  call void @llvm.lifetime.start.p0(i64 4, ptr %31) #9
  %1484 = call ptr @__errno_location() #10
  %1485 = load i32, ptr %1484, align 4, !tbaa !5
  store i32 %1485, ptr %31, align 4, !tbaa !5
  %1486 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1487 = call i32 @s2n_print_stacktrace(ptr noundef %1486)
  %1488 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1489 = trunc i8 %1488 to i1
  br i1 %1489, label %1490, label %1512

1490:                                             ; preds = %1483
  %1491 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1492 = call i32 @fileno(ptr noundef %1491) #9
  %1493 = call i32 @isatty(i32 noundef %1492) #9
  %1494 = icmp ne i32 %1493, 0
  br i1 %1494, label %1495, label %1512

1495:                                             ; preds = %1490
  %1496 = load i32, ptr %31, 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.2, i32 noundef %1499, ptr noundef @.str.20, ptr noundef @.str.1, i32 noundef 85, ptr noundef %1502, ptr noundef %1505, ptr noundef %1508, i32 noundef %1510) #9
  br label %1529

1512:                                             ; preds = %1490, %1483
  %1513 = load i32, ptr %31, align 4, !tbaa !5
  %1514 = call ptr @__errno_location() #10
  store i32 %1513, ptr %1514, align 4, !tbaa !5
  %1515 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1516 = load i32, ptr @test_count, align 4, !tbaa !5
  %1517 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1518 = load i32, ptr %1517, align 4, !tbaa !5
  %1519 = call ptr @s2n_strerror(i32 noundef %1518, ptr noundef @.str.4)
  %1520 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1521 = load i32, ptr %1520, align 4, !tbaa !5
  %1522 = call ptr @s2n_strerror_debug(i32 noundef %1521, ptr noundef @.str.4)
  %1523 = call ptr @__errno_location() #10
  %1524 = load i32, ptr %1523, align 4, !tbaa !5
  %1525 = call ptr @strerror(i32 noundef %1524) #9
  %1526 = call ptr @__errno_location() #10
  %1527 = load i32, ptr %1526, align 4, !tbaa !5
  %1528 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1515, ptr noundef @.str.5, i32 noundef %1516, ptr noundef @.str.20, ptr noundef @.str.1, i32 noundef 85, ptr noundef %1519, ptr noundef %1522, ptr noundef %1525, i32 noundef %1527) #9
  br label %1529

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

1530:                                             ; preds = %1529
  br label %1531

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

1532:                                             ; No predecessors!
  br label %1533

1533:                                             ; preds = %1532
  br label %1534

1534:                                             ; preds = %1533, %1466
  br label %1535

1535:                                             ; preds = %1534
  br label %1536

1536:                                             ; preds = %1535
  br label %1537

1537:                                             ; preds = %1536
  %1538 = load i32, ptr @test_count, align 4, !tbaa !5
  %1539 = add nsw i32 %1538, 1
  store i32 %1539, ptr @test_count, align 4, !tbaa !5
  %1540 = getelementptr inbounds %struct.s2n_blob, ptr %14, i32 0, i32 0
  %1541 = load ptr, ptr %1540, align 8, !tbaa !24
  %1542 = getelementptr inbounds %struct.s2n_blob, ptr %12, i32 0, i32 0
  %1543 = load ptr, ptr %1542, align 8, !tbaa !24
  %1544 = load ptr, ptr %7, align 8, !tbaa !9
  %1545 = getelementptr inbounds %struct.s2n_kem, ptr %1544, i32 0, i32 5
  %1546 = load i16, ptr %1545, align 2, !tbaa !21
  %1547 = zext i16 %1546 to i64
  %1548 = call i32 @memcmp(ptr noundef %1541, ptr noundef %1543, i64 noundef %1547) #12
  %1549 = icmp eq i32 %1548, 0
  br i1 %1549, label %1550, label %1603

1550:                                             ; preds = %1537
  br label %1551

1551:                                             ; preds = %1550
  br label %1552

1552:                                             ; preds = %1551
  call void @llvm.lifetime.start.p0(i64 4, ptr %32) #9
  %1553 = call ptr @__errno_location() #10
  %1554 = load i32, ptr %1553, align 4, !tbaa !5
  store i32 %1554, ptr %32, align 4, !tbaa !5
  %1555 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1556 = call i32 @s2n_print_stacktrace(ptr noundef %1555)
  %1557 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1558 = trunc i8 %1557 to i1
  br i1 %1558, label %1559, label %1581

1559:                                             ; preds = %1552
  %1560 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1561 = call i32 @fileno(ptr noundef %1560) #9
  %1562 = call i32 @isatty(i32 noundef %1561) #9
  %1563 = icmp ne i32 %1562, 0
  br i1 %1563, label %1564, label %1581

1564:                                             ; preds = %1559
  %1565 = load i32, ptr %32, align 4, !tbaa !5
  %1566 = call ptr @__errno_location() #10
  store i32 %1565, ptr %1566, align 4, !tbaa !5
  %1567 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1568 = load i32, ptr @test_count, align 4, !tbaa !5
  %1569 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1570 = load i32, ptr %1569, align 4, !tbaa !5
  %1571 = call ptr @s2n_strerror(i32 noundef %1570, ptr noundef @.str.4)
  %1572 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1573 = load i32, ptr %1572, align 4, !tbaa !5
  %1574 = call ptr @s2n_strerror_debug(i32 noundef %1573, ptr noundef @.str.4)
  %1575 = call ptr @__errno_location() #10
  %1576 = load i32, ptr %1575, align 4, !tbaa !5
  %1577 = call ptr @strerror(i32 noundef %1576) #9
  %1578 = call ptr @__errno_location() #10
  %1579 = load i32, ptr %1578, align 4, !tbaa !5
  %1580 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1567, ptr noundef @.str.2, i32 noundef %1568, ptr noundef @.str.22, ptr noundef @.str.1, i32 noundef 86, ptr noundef %1571, ptr noundef %1574, ptr noundef %1577, i32 noundef %1579) #9
  br label %1598

1581:                                             ; preds = %1559, %1552
  %1582 = load i32, ptr %32, align 4, !tbaa !5
  %1583 = call ptr @__errno_location() #10
  store i32 %1582, ptr %1583, align 4, !tbaa !5
  %1584 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1585 = load i32, ptr @test_count, align 4, !tbaa !5
  %1586 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1587 = load i32, ptr %1586, align 4, !tbaa !5
  %1588 = call ptr @s2n_strerror(i32 noundef %1587, ptr noundef @.str.4)
  %1589 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1590 = load i32, ptr %1589, align 4, !tbaa !5
  %1591 = call ptr @s2n_strerror_debug(i32 noundef %1590, ptr noundef @.str.4)
  %1592 = call ptr @__errno_location() #10
  %1593 = load i32, ptr %1592, align 4, !tbaa !5
  %1594 = call ptr @strerror(i32 noundef %1593) #9
  %1595 = call ptr @__errno_location() #10
  %1596 = load i32, ptr %1595, align 4, !tbaa !5
  %1597 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1584, ptr noundef @.str.5, i32 noundef %1585, ptr noundef @.str.22, ptr noundef @.str.1, i32 noundef 86, ptr noundef %1588, ptr noundef %1591, ptr noundef %1594, i32 noundef %1596) #9
  br label %1598

1598:                                             ; preds = %1581, %1564
  call void @llvm.lifetime.end.p0(i64 4, ptr %32) #9
  br label %1599

1599:                                             ; preds = %1598
  br label %1600

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

1601:                                             ; No predecessors!
  br label %1602

1602:                                             ; preds = %1601
  br label %1603

1603:                                             ; preds = %1602, %1537
  br label %1604

1604:                                             ; preds = %1603
  br label %1605

1605:                                             ; preds = %1604
  store i32 0, ptr %6, align 4
  br label %1606

1606:                                             ; preds = %1605, %1167
  %1607 = call i32 @s2n_free(ptr noundef %16)
  call void @llvm.lifetime.end.p0(i64 24, ptr %16) #9
  %1608 = call i32 @s2n_free(ptr noundef %14)
  call void @llvm.lifetime.end.p0(i64 24, ptr %14) #9
  %1609 = call i32 @s2n_free(ptr noundef %12)
  call void @llvm.lifetime.end.p0(i64 24, ptr %12) #9
  %1610 = call i32 @s2n_free(ptr noundef %10)
  call void @llvm.lifetime.end.p0(i64 24, ptr %10) #9
  %1611 = call i32 @s2n_free(ptr noundef %8)
  call void @llvm.lifetime.end.p0(i64 24, ptr %8) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #9
  %1612 = load i32, ptr %6, align 4
  switch i32 %1612, label %1765 [
    i32 0, label %1613
    i32 26, label %1614
  ]

1613:                                             ; preds = %1606
  br label %1614

1614:                                             ; preds = %1613, %1606
  %1615 = load i64, ptr %5, align 8, !tbaa !15
  %1616 = add i64 %1615, 1
  store i64 %1616, ptr %5, align 8, !tbaa !15
  br label %213, !llvm.loop !29

1617:                                             ; preds = %216
  br label %1618

1618:                                             ; preds = %1617
  br label %1619

1619:                                             ; preds = %1618
  %1620 = call i32 @s2n_cleanup()
  %1621 = icmp eq i32 %1620, -1
  br i1 %1621, label %1622, label %1673

1622:                                             ; preds = %1619
  br label %1623

1623:                                             ; preds = %1622
  br label %1624

1624:                                             ; preds = %1623
  call void @llvm.lifetime.start.p0(i64 4, ptr %33) #9
  %1625 = call ptr @__errno_location() #10
  %1626 = load i32, ptr %1625, align 4, !tbaa !5
  store i32 %1626, ptr %33, align 4, !tbaa !5
  %1627 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1628 = call i32 @s2n_print_stacktrace(ptr noundef %1627)
  %1629 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1630 = trunc i8 %1629 to i1
  br i1 %1630, label %1631, label %1653

1631:                                             ; preds = %1624
  %1632 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1633 = call i32 @fileno(ptr noundef %1632) #9
  %1634 = call i32 @isatty(i32 noundef %1633) #9
  %1635 = icmp ne i32 %1634, 0
  br i1 %1635, label %1636, label %1653

1636:                                             ; preds = %1631
  %1637 = load i32, ptr %33, align 4, !tbaa !5
  %1638 = call ptr @__errno_location() #10
  store i32 %1637, ptr %1638, align 4, !tbaa !5
  %1639 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1640 = load i32, ptr @test_count, align 4, !tbaa !5
  %1641 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1642 = load i32, ptr %1641, align 4, !tbaa !5
  %1643 = call ptr @s2n_strerror(i32 noundef %1642, ptr noundef @.str.4)
  %1644 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1645 = load i32, ptr %1644, align 4, !tbaa !5
  %1646 = call ptr @s2n_strerror_debug(i32 noundef %1645, ptr noundef @.str.4)
  %1647 = call ptr @__errno_location() #10
  %1648 = load i32, ptr %1647, align 4, !tbaa !5
  %1649 = call ptr @strerror(i32 noundef %1648) #9
  %1650 = call ptr @__errno_location() #10
  %1651 = load i32, ptr %1650, align 4, !tbaa !5
  %1652 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1639, ptr noundef @.str.2, i32 noundef %1640, ptr noundef @.str.23, ptr noundef @.str.1, i32 noundef 89, ptr noundef %1643, ptr noundef %1646, ptr noundef %1649, i32 noundef %1651) #9
  br label %1670

1653:                                             ; preds = %1631, %1624
  %1654 = load i32, ptr %33, align 4, !tbaa !5
  %1655 = call ptr @__errno_location() #10
  store i32 %1654, ptr %1655, align 4, !tbaa !5
  %1656 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1657 = load i32, ptr @test_count, align 4, !tbaa !5
  %1658 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1659 = load i32, ptr %1658, align 4, !tbaa !5
  %1660 = call ptr @s2n_strerror(i32 noundef %1659, ptr noundef @.str.4)
  %1661 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1662 = load i32, ptr %1661, align 4, !tbaa !5
  %1663 = call ptr @s2n_strerror_debug(i32 noundef %1662, ptr noundef @.str.4)
  %1664 = call ptr @__errno_location() #10
  %1665 = load i32, ptr %1664, align 4, !tbaa !5
  %1666 = call ptr @strerror(i32 noundef %1665) #9
  %1667 = call ptr @__errno_location() #10
  %1668 = load i32, ptr %1667, align 4, !tbaa !5
  %1669 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1656, ptr noundef @.str.5, i32 noundef %1657, ptr noundef @.str.23, ptr noundef @.str.1, i32 noundef 89, ptr noundef %1660, ptr noundef %1663, ptr noundef %1666, i32 noundef %1668) #9
  br label %1670

1670:                                             ; preds = %1653, %1636
  call void @llvm.lifetime.end.p0(i64 4, ptr %33) #9
  br label %1671

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

1672:                                             ; No predecessors!
  br label %1673

1673:                                             ; preds = %1672, %1619
  br label %1674

1674:                                             ; preds = %1673
  br label %1675

1675:                                             ; preds = %1674
  br label %1676

1676:                                             ; preds = %1675
  %1677 = call i32 @s2n_in_unit_test_set(i1 noundef zeroext false)
  %1678 = icmp eq i32 %1677, -1
  br i1 %1678, label %1679, label %1730

1679:                                             ; preds = %1676
  br label %1680

1680:                                             ; preds = %1679
  br label %1681

1681:                                             ; preds = %1680
  call void @llvm.lifetime.start.p0(i64 4, ptr %34) #9
  %1682 = call ptr @__errno_location() #10
  %1683 = load i32, ptr %1682, align 4, !tbaa !5
  store i32 %1683, ptr %34, align 4, !tbaa !5
  %1684 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1685 = call i32 @s2n_print_stacktrace(ptr noundef %1684)
  %1686 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1687 = trunc i8 %1686 to i1
  br i1 %1687, label %1688, label %1710

1688:                                             ; preds = %1681
  %1689 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1690 = call i32 @fileno(ptr noundef %1689) #9
  %1691 = call i32 @isatty(i32 noundef %1690) #9
  %1692 = icmp ne i32 %1691, 0
  br i1 %1692, label %1693, label %1710

1693:                                             ; preds = %1688
  %1694 = load i32, ptr %34, align 4, !tbaa !5
  %1695 = call ptr @__errno_location() #10
  store i32 %1694, ptr %1695, align 4, !tbaa !5
  %1696 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1697 = load i32, ptr @test_count, align 4, !tbaa !5
  %1698 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1699 = load i32, ptr %1698, align 4, !tbaa !5
  %1700 = call ptr @s2n_strerror(i32 noundef %1699, ptr noundef @.str.4)
  %1701 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1702 = load i32, ptr %1701, align 4, !tbaa !5
  %1703 = call ptr @s2n_strerror_debug(i32 noundef %1702, ptr noundef @.str.4)
  %1704 = call ptr @__errno_location() #10
  %1705 = load i32, ptr %1704, align 4, !tbaa !5
  %1706 = call ptr @strerror(i32 noundef %1705) #9
  %1707 = call ptr @__errno_location() #10
  %1708 = load i32, ptr %1707, align 4, !tbaa !5
  %1709 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1696, ptr noundef @.str.2, i32 noundef %1697, ptr noundef @.str.24, ptr noundef @.str.1, i32 noundef 89, ptr noundef %1700, ptr noundef %1703, ptr noundef %1706, i32 noundef %1708) #9
  br label %1727

1710:                                             ; preds = %1688, %1681
  %1711 = load i32, ptr %34, align 4, !tbaa !5
  %1712 = call ptr @__errno_location() #10
  store i32 %1711, ptr %1712, align 4, !tbaa !5
  %1713 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1714 = load i32, ptr @test_count, align 4, !tbaa !5
  %1715 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1716 = load i32, ptr %1715, align 4, !tbaa !5
  %1717 = call ptr @s2n_strerror(i32 noundef %1716, ptr noundef @.str.4)
  %1718 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1719 = load i32, ptr %1718, align 4, !tbaa !5
  %1720 = call ptr @s2n_strerror_debug(i32 noundef %1719, ptr noundef @.str.4)
  %1721 = call ptr @__errno_location() #10
  %1722 = load i32, ptr %1721, align 4, !tbaa !5
  %1723 = call ptr @strerror(i32 noundef %1722) #9
  %1724 = call ptr @__errno_location() #10
  %1725 = load i32, ptr %1724, align 4, !tbaa !5
  %1726 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1713, ptr noundef @.str.5, i32 noundef %1714, ptr noundef @.str.24, ptr noundef @.str.1, i32 noundef 89, ptr noundef %1717, ptr noundef %1720, ptr noundef %1723, i32 noundef %1725) #9
  br label %1727

1727:                                             ; preds = %1710, %1693
  call void @llvm.lifetime.end.p0(i64 4, ptr %34) #9
  br label %1728

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

1729:                                             ; No predecessors!
  br label %1730

1730:                                             ; preds = %1729, %1676
  br label %1731

1731:                                             ; preds = %1730
  %1732 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1733 = trunc i8 %1732 to i1
  br i1 %1733, label %1734, label %1750

1734:                                             ; preds = %1731
  %1735 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1736 = call i32 @fileno(ptr noundef %1735) #9
  %1737 = call i32 @isatty(i32 noundef %1736) #9
  %1738 = icmp ne i32 %1737, 0
  br i1 %1738, label %1739, label %1750

1739:                                             ; preds = %1734
  %1740 = load i32, ptr @test_count, align 4, !tbaa !5
  %1741 = icmp ne i32 %1740, 0
  br i1 %1741, label %1742, label %1746

1742:                                             ; preds = %1739
  %1743 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1744 = load i32, ptr @test_count, align 4, !tbaa !5
  %1745 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1743, ptr noundef @.str.25, i32 noundef %1744) #9
  br label %1749

1746:                                             ; preds = %1739
  %1747 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1748 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1747, ptr noundef @.str.26) #9
  br label %1749

1749:                                             ; preds = %1746, %1742
  br label %1761

1750:                                             ; preds = %1734, %1731
  %1751 = load i32, ptr @test_count, align 4, !tbaa !5
  %1752 = icmp ne i32 %1751, 0
  br i1 %1752, label %1753, label %1757

1753:                                             ; preds = %1750
  %1754 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1755 = load i32, ptr @test_count, align 4, !tbaa !5
  %1756 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1754, ptr noundef @.str.27, i32 noundef %1755) #9
  br label %1760

1757:                                             ; preds = %1750
  %1758 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1759 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1758, ptr noundef @.str.28) #9
  br label %1760

1760:                                             ; preds = %1757, %1753
  br label %1761

1761:                                             ; preds = %1760, %1749
  store i32 0, ptr %1, align 4
  br label %1763

1762:                                             ; No predecessors!
  br label %1763

1763:                                             ; preds = %1762, %1761
  %1764 = load i32, ptr %1, align 4
  ret i32 %1764

1765:                                             ; preds = %1606
  unreachable
}

; 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

; 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_free(ptr noundef) #2

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

declare zeroext i1 @s2n_kem_is_available(ptr noundef) #2

declare void @s2n_debug_info_reset() #2

; Function Attrs: nounwind willreturn memory(read)
declare i32 @memcmp(ptr noundef, ptr noundef, i64 noundef) #8

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 = { nounwind willreturn memory(read) "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 #9 = { nounwind }
attributes #10 = { nounwind willreturn memory(none) }
attributes #11 = { noreturn nounwind }
attributes #12 = { nounwind willreturn memory(read) }

!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, !19, i64 14}
!18 = !{!"s2n_kem", !10, i64 0, !6, i64 8, !19, i64 12, !19, i64 14, !19, i64 16, !19, i64 18, !19, i64 20, !10, i64 24, !10, i64 32, !10, i64 40}
!19 = !{!"short", !7, i64 0}
!20 = !{!18, !19, i64 16}
!21 = !{!18, !19, i64 18}
!22 = !{!18, !19, i64 20}
!23 = !{!18, !10, i64 24}
!24 = !{!25, !10, i64 0}
!25 = !{!"s2n_blob", !10, i64 0, !6, i64 8, !6, i64 12, !6, i64 16}
!26 = !{!18, !10, i64 32}
!27 = !{!18, !10, i64 40}
!28 = !{!7, !7, i64 0}
!29 = distinct !{!29, !30}
!30 = !{!"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 }

@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 [74 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
@test_vectors = external hidden local_unnamed_addr global [4 x ptr], align 16
@.str.8 = external hidden unnamed_addr constant [75 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [77 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [92 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [92 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [75 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [87 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [70 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [108 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [109 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [86 x i8], align 1
@.str.19 = external hidden unnamed_addr constant [107 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [108 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [122 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [125 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [42 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.28 = external hidden unnamed_addr constant [25 x i8], align 1

; Function Attrs: nounwind uwtable
define dso_local noundef i32 @main() local_unnamed_addr #0 {
  %1 = alloca %struct.s2n_blob, align 8
  %2 = alloca %struct.s2n_blob, align 8
  %3 = alloca %struct.s2n_blob, align 8
  %4 = alloca %struct.s2n_blob, align 8
  %5 = alloca %struct.s2n_blob, align 8
  store i32 0, ptr @test_count, align 4, !tbaa !5
  %6 = load ptr, ptr @stdout, align 8, !tbaa !9
  %7 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %6, ptr noundef nonnull @.str, ptr noundef nonnull @.str.1) #10
  %8 = load ptr, ptr @stdout, align 8, !tbaa !9
  %9 = tail call i32 @fflush(ptr noundef %8)
  %10 = tail call i32 @s2n_in_unit_test_set(i1 noundef zeroext true) #10
  %11 = icmp eq i32 %10, -1
  br i1 %11, label %12, label %36

12:                                               ; preds = %0
  %13 = tail call ptr @__errno_location() #11
  %14 = load i32, ptr %13, align 4, !tbaa !5
  %15 = load ptr, ptr @stderr, align 8, !tbaa !9
  %16 = tail call i32 @s2n_print_stacktrace(ptr noundef %15) #10
  %17 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %18 = trunc nuw i8 %17 to i1
  br i1 %18, label %19, label %23

19:                                               ; preds = %12
  %20 = load ptr, ptr @stderr, align 8, !tbaa !9
  %21 = tail call i32 @fileno(ptr noundef %20) #10
  %22 = tail call i32 @isatty(i32 noundef %21) #10
  %.not106 = icmp eq i32 %22, 0
  br i1 %.not106, label %23, label %24

23:                                               ; preds = %19, %12
  br label %24

24:                                               ; preds = %19, %23
  %.str.5.sink = phi ptr [ @.str.5, %23 ], [ @.str.2, %19 ]
  store i32 %14, ptr %13, align 4, !tbaa !5
  %25 = load ptr, ptr @stderr, align 8, !tbaa !9
  %26 = load i32, ptr @test_count, align 4, !tbaa !5
  %27 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %28 = load i32, ptr %27, align 4, !tbaa !5
  %29 = tail call ptr @s2n_strerror(i32 noundef %28, ptr noundef nonnull @.str.4) #10
  %30 = load i32, ptr %27, align 4, !tbaa !5
  %31 = tail call ptr @s2n_strerror_debug(i32 noundef %30, ptr noundef nonnull @.str.4) #10
  %32 = load i32, ptr %13, align 4, !tbaa !5
  %33 = tail call ptr @strerror(i32 noundef %32) #10
  %34 = load i32, ptr %13, align 4, !tbaa !5
  %35 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %25, ptr noundef nonnull %.str.5.sink, i32 noundef %26, ptr noundef nonnull @.str.3, ptr noundef nonnull @.str.1, i32 noundef 40, ptr noundef %29, ptr noundef %31, ptr noundef %33, i32 noundef %34) #12
  tail call void @exit(i32 noundef 1) #13
  unreachable

36:                                               ; preds = %0
  %37 = load i32, ptr @test_count, align 4, !tbaa !5
  %38 = add nsw i32 %37, 1
  store i32 %38, ptr @test_count, align 4, !tbaa !5
  %39 = tail call i32 @s2n_enable_atexit() #10
  %40 = icmp eq i32 %39, -1
  br i1 %40, label %41, label %65

41:                                               ; preds = %36
  %42 = tail call ptr @__errno_location() #11
  %43 = load i32, ptr %42, align 4, !tbaa !5
  %44 = load ptr, ptr @stderr, align 8, !tbaa !9
  %45 = tail call i32 @s2n_print_stacktrace(ptr noundef %44) #10
  %46 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %47 = trunc nuw i8 %46 to i1
  br i1 %47, label %48, label %52

48:                                               ; preds = %41
  %49 = load ptr, ptr @stderr, align 8, !tbaa !9
  %50 = tail call i32 @fileno(ptr noundef %49) #10
  %51 = tail call i32 @isatty(i32 noundef %50) #10
  %.not105 = icmp eq i32 %51, 0
  br i1 %.not105, label %52, label %53

52:                                               ; preds = %48, %41
  br label %53

53:                                               ; preds = %48, %52
  %.str.5.sink141 = phi ptr [ @.str.5, %52 ], [ @.str.2, %48 ]
  store i32 %43, ptr %42, align 4, !tbaa !5
  %54 = load ptr, ptr @stderr, align 8, !tbaa !9
  %55 = load i32, ptr @test_count, align 4, !tbaa !5
  %56 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %57 = load i32, ptr %56, align 4, !tbaa !5
  %58 = tail call ptr @s2n_strerror(i32 noundef %57, ptr noundef nonnull @.str.4) #10
  %59 = load i32, ptr %56, align 4, !tbaa !5
  %60 = tail call ptr @s2n_strerror_debug(i32 noundef %59, ptr noundef nonnull @.str.4) #10
  %61 = load i32, ptr %42, align 4, !tbaa !5
  %62 = tail call ptr @strerror(i32 noundef %61) #10
  %63 = load i32, ptr %42, align 4, !tbaa !5
  %64 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %54, ptr noundef nonnull %.str.5.sink141, i32 noundef %55, ptr noundef nonnull @.str.6, ptr noundef nonnull @.str.1, i32 noundef 40, ptr noundef %58, ptr noundef %60, ptr noundef %62, i32 noundef %63) #12
  tail call void @exit(i32 noundef 1) #13
  unreachable

65:                                               ; preds = %36
  %66 = tail call i32 @s2n_init() #10
  %67 = icmp eq i32 %66, -1
  br i1 %67, label %69, label %.preheader

.preheader:                                       ; preds = %65
  %68 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  br label %96

69:                                               ; preds = %65
  %70 = tail call ptr @__errno_location() #11
  %71 = load i32, ptr %70, align 4, !tbaa !5
  %72 = load ptr, ptr @stderr, align 8, !tbaa !9
  %73 = tail call i32 @s2n_print_stacktrace(ptr noundef %72) #10
  %74 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %75 = trunc nuw i8 %74 to i1
  br i1 %75, label %76, label %80

76:                                               ; preds = %69
  %77 = load ptr, ptr @stderr, align 8, !tbaa !9
  %78 = tail call i32 @fileno(ptr noundef %77) #10
  %79 = tail call i32 @isatty(i32 noundef %78) #10
  %.not104 = icmp eq i32 %79, 0
  br i1 %.not104, label %80, label %81

80:                                               ; preds = %76, %69
  br label %81

81:                                               ; preds = %76, %80
  %.str.5.sink152 = phi ptr [ @.str.5, %80 ], [ @.str.2, %76 ]
  store i32 %71, ptr %70, align 4, !tbaa !5
  %82 = load ptr, ptr @stderr, align 8, !tbaa !9
  %83 = load i32, ptr @test_count, align 4, !tbaa !5
  %84 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %85 = load i32, ptr %84, align 4, !tbaa !5
  %86 = tail call ptr @s2n_strerror(i32 noundef %85, ptr noundef nonnull @.str.4) #10
  %87 = load i32, ptr %84, align 4, !tbaa !5
  %88 = tail call ptr @s2n_strerror_debug(i32 noundef %87, ptr noundef nonnull @.str.4) #10
  %89 = load i32, ptr %70, align 4, !tbaa !5
  %90 = tail call ptr @strerror(i32 noundef %89) #10
  %91 = load i32, ptr %70, align 4, !tbaa !5
  %92 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %82, ptr noundef nonnull %.str.5.sink152, i32 noundef %83, ptr noundef nonnull @.str.7, ptr noundef nonnull @.str.1, i32 noundef 40, ptr noundef %86, ptr noundef %88, ptr noundef %90, i32 noundef %91) #12
  tail call void @exit(i32 noundef 1) #13
  unreachable

93:                                               ; preds = %702
  %94 = call i32 @s2n_cleanup() #10
  %95 = icmp eq i32 %94, -1
  br i1 %95, label %709, label %732

96:                                               ; preds = %.preheader, %702
  %.0120 = phi i64 [ 0, %.preheader ], [ %708, %702 ]
  %97 = getelementptr inbounds [4 x ptr], ptr @test_vectors, i64 0, i64 %.0120
  %98 = load ptr, ptr %97, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %1) #10
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %1, i8 0, i64 24, i1 false)
  %99 = load i32, ptr @test_count, align 4, !tbaa !5
  %100 = add nsw i32 %99, 1
  store i32 %100, ptr @test_count, align 4, !tbaa !5
  %101 = getelementptr inbounds i8, ptr %98, i64 14
  %102 = load i16, ptr %101, align 2, !tbaa !15
  %103 = zext i16 %102 to i32
  %104 = call i32 @s2n_alloc(ptr noundef nonnull %1, i32 noundef %103) #10
  %105 = icmp eq i32 %104, -1
  br i1 %105, label %106, label %129

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

113:                                              ; preds = %106
  %114 = load ptr, ptr @stderr, align 8, !tbaa !9
  %115 = call i32 @fileno(ptr noundef %114) #10
  %116 = call i32 @isatty(i32 noundef %115) #10
  %.not103 = icmp eq i32 %116, 0
  br i1 %.not103, label %117, label %118

117:                                              ; preds = %113, %106
  br label %118

118:                                              ; preds = %113, %117
  %.str.5.sink163 = phi ptr [ @.str.5, %117 ], [ @.str.2, %113 ]
  store i32 %108, ptr %107, align 4, !tbaa !5
  %119 = load ptr, ptr @stderr, align 8, !tbaa !9
  %120 = load i32, ptr @test_count, align 4, !tbaa !5
  %121 = load i32, ptr %68, align 4, !tbaa !5
  %122 = call ptr @s2n_strerror(i32 noundef %121, ptr noundef nonnull @.str.4) #10
  %123 = load i32, ptr %68, align 4, !tbaa !5
  %124 = call ptr @s2n_strerror_debug(i32 noundef %123, ptr noundef nonnull @.str.4) #10
  %125 = load i32, ptr %107, align 4, !tbaa !5
  %126 = call ptr @strerror(i32 noundef %125) #10
  %127 = load i32, ptr %107, align 4, !tbaa !5
  %128 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %119, ptr noundef nonnull %.str.5.sink163, i32 noundef %120, ptr noundef nonnull @.str.8, ptr noundef nonnull @.str.1, i32 noundef 53, ptr noundef %122, ptr noundef %124, ptr noundef %126, i32 noundef %127) #12
  call void @exit(i32 noundef 1) #13
  unreachable

129:                                              ; preds = %96
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %2) #10
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %2, i8 0, i64 24, i1 false)
  %130 = load i32, ptr @test_count, align 4, !tbaa !5
  %131 = add nsw i32 %130, 1
  store i32 %131, ptr @test_count, align 4, !tbaa !5
  %132 = getelementptr inbounds i8, ptr %98, i64 16
  %133 = load i16, ptr %132, align 8, !tbaa !18
  %134 = zext i16 %133 to i32
  %135 = call i32 @s2n_alloc(ptr noundef nonnull %2, i32 noundef %134) #10
  %136 = icmp eq i32 %135, -1
  br i1 %136, label %137, label %160

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

144:                                              ; preds = %137
  %145 = load ptr, ptr @stderr, align 8, !tbaa !9
  %146 = call i32 @fileno(ptr noundef %145) #10
  %147 = call i32 @isatty(i32 noundef %146) #10
  %.not102 = icmp eq i32 %147, 0
  br i1 %.not102, label %148, label %149

148:                                              ; preds = %144, %137
  br label %149

149:                                              ; preds = %144, %148
  %.str.5.sink172 = phi ptr [ @.str.5, %148 ], [ @.str.2, %144 ]
  store i32 %139, ptr %138, align 4, !tbaa !5
  %150 = load ptr, ptr @stderr, align 8, !tbaa !9
  %151 = load i32, ptr @test_count, align 4, !tbaa !5
  %152 = load i32, ptr %68, align 4, !tbaa !5
  %153 = call ptr @s2n_strerror(i32 noundef %152, ptr noundef nonnull @.str.4) #10
  %154 = load i32, ptr %68, align 4, !tbaa !5
  %155 = call ptr @s2n_strerror_debug(i32 noundef %154, ptr noundef nonnull @.str.4) #10
  %156 = load i32, ptr %138, align 4, !tbaa !5
  %157 = call ptr @strerror(i32 noundef %156) #10
  %158 = load i32, ptr %138, align 4, !tbaa !5
  %159 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %150, ptr noundef nonnull %.str.5.sink172, i32 noundef %151, ptr noundef nonnull @.str.9, ptr noundef nonnull @.str.1, i32 noundef 56, ptr noundef %153, ptr noundef %155, ptr noundef %157, i32 noundef %158) #12
  call void @exit(i32 noundef 1) #13
  unreachable

160:                                              ; preds = %129
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %3) #10
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %3, i8 0, i64 24, i1 false)
  %161 = load i32, ptr @test_count, align 4, !tbaa !5
  %162 = add nsw i32 %161, 1
  store i32 %162, ptr @test_count, align 4, !tbaa !5
  %163 = getelementptr inbounds i8, ptr %98, i64 18
  %164 = load i16, ptr %163, align 2, !tbaa !19
  %165 = zext i16 %164 to i32
  %166 = call i32 @s2n_alloc(ptr noundef nonnull %3, i32 noundef %165) #10
  %167 = icmp eq i32 %166, -1
  br i1 %167, label %168, label %191

168:                                              ; preds = %160
  %169 = tail call ptr @__errno_location() #11
  %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) #10
  %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) #10
  %178 = call i32 @isatty(i32 noundef %177) #10
  %.not101 = icmp eq i32 %178, 0
  br i1 %.not101, label %179, label %180

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

180:                                              ; preds = %175, %179
  %.str.5.sink181 = 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 = load i32, ptr %68, align 4, !tbaa !5
  %184 = call ptr @s2n_strerror(i32 noundef %183, ptr noundef nonnull @.str.4) #10
  %185 = load i32, ptr %68, align 4, !tbaa !5
  %186 = call ptr @s2n_strerror_debug(i32 noundef %185, ptr noundef nonnull @.str.4) #10
  %187 = load i32, ptr %169, align 4, !tbaa !5
  %188 = call ptr @strerror(i32 noundef %187) #10
  %189 = load i32, ptr %169, align 4, !tbaa !5
  %190 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %181, ptr noundef nonnull %.str.5.sink181, i32 noundef %182, ptr noundef nonnull @.str.10, ptr noundef nonnull @.str.1, i32 noundef 59, ptr noundef %184, ptr noundef %186, ptr noundef %188, i32 noundef %189) #12
  call void @exit(i32 noundef 1) #13
  unreachable

191:                                              ; preds = %160
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %4) #10
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %4, i8 0, i64 24, i1 false)
  %192 = load i32, ptr @test_count, align 4, !tbaa !5
  %193 = add nsw i32 %192, 1
  store i32 %193, ptr @test_count, align 4, !tbaa !5
  %194 = load i16, ptr %163, align 2, !tbaa !19
  %195 = zext i16 %194 to i32
  %196 = call i32 @s2n_alloc(ptr noundef nonnull %4, i32 noundef %195) #10
  %197 = icmp eq i32 %196, -1
  br i1 %197, label %198, label %221

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

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

209:                                              ; preds = %205, %198
  br label %210

210:                                              ; preds = %205, %209
  %.str.5.sink190 = phi ptr [ @.str.5, %209 ], [ @.str.2, %205 ]
  store i32 %200, ptr %199, align 4, !tbaa !5
  %211 = load ptr, ptr @stderr, align 8, !tbaa !9
  %212 = load i32, ptr @test_count, align 4, !tbaa !5
  %213 = load i32, ptr %68, align 4, !tbaa !5
  %214 = call ptr @s2n_strerror(i32 noundef %213, ptr noundef nonnull @.str.4) #10
  %215 = load i32, ptr %68, align 4, !tbaa !5
  %216 = call ptr @s2n_strerror_debug(i32 noundef %215, ptr noundef nonnull @.str.4) #10
  %217 = load i32, ptr %199, align 4, !tbaa !5
  %218 = call ptr @strerror(i32 noundef %217) #10
  %219 = load i32, ptr %199, align 4, !tbaa !5
  %220 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %211, ptr noundef nonnull %.str.5.sink190, i32 noundef %212, ptr noundef nonnull @.str.11, ptr noundef nonnull @.str.1, i32 noundef 62, ptr noundef %214, ptr noundef %216, ptr noundef %218, i32 noundef %219) #12
  call void @exit(i32 noundef 1) #13
  unreachable

221:                                              ; preds = %191
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %5) #10
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %5, i8 0, i64 24, i1 false)
  %222 = load i32, ptr @test_count, align 4, !tbaa !5
  %223 = add nsw i32 %222, 1
  store i32 %223, ptr @test_count, align 4, !tbaa !5
  %224 = getelementptr inbounds i8, ptr %98, i64 20
  %225 = load i16, ptr %224, align 4, !tbaa !20
  %226 = zext i16 %225 to i32
  %227 = call i32 @s2n_alloc(ptr noundef nonnull %5, i32 noundef %226) #10
  %228 = icmp eq i32 %227, -1
  br i1 %228, label %229, label %252

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

236:                                              ; preds = %229
  %237 = load ptr, ptr @stderr, align 8, !tbaa !9
  %238 = call i32 @fileno(ptr noundef %237) #10
  %239 = call i32 @isatty(i32 noundef %238) #10
  %.not99 = icmp eq i32 %239, 0
  br i1 %.not99, label %240, label %241

240:                                              ; preds = %236, %229
  br label %241

241:                                              ; preds = %236, %240
  %.str.5.sink199 = phi ptr [ @.str.5, %240 ], [ @.str.2, %236 ]
  store i32 %231, ptr %230, align 4, !tbaa !5
  %242 = load ptr, ptr @stderr, align 8, !tbaa !9
  %243 = load i32, ptr @test_count, align 4, !tbaa !5
  %244 = load i32, ptr %68, align 4, !tbaa !5
  %245 = call ptr @s2n_strerror(i32 noundef %244, ptr noundef nonnull @.str.4) #10
  %246 = load i32, ptr %68, align 4, !tbaa !5
  %247 = call ptr @s2n_strerror_debug(i32 noundef %246, ptr noundef nonnull @.str.4) #10
  %248 = load i32, ptr %230, align 4, !tbaa !5
  %249 = call ptr @strerror(i32 noundef %248) #10
  %250 = load i32, ptr %230, align 4, !tbaa !5
  %251 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %242, ptr noundef nonnull %.str.5.sink199, i32 noundef %243, ptr noundef nonnull @.str.12, ptr noundef nonnull @.str.1, i32 noundef 65, ptr noundef %245, ptr noundef %247, ptr noundef %249, i32 noundef %250) #12
  call void @exit(i32 noundef 1) #13
  unreachable

252:                                              ; preds = %221
  %253 = call zeroext i1 @s2n_kem_is_available(ptr noundef nonnull %98) #10
  %254 = load i32, ptr @test_count, align 4, !tbaa !5
  %255 = add nsw i32 %254, 1
  store i32 %255, ptr @test_count, align 4, !tbaa !5
  %256 = getelementptr inbounds i8, ptr %98, i64 24
  %257 = load ptr, ptr %256, align 8, !tbaa !21
  %258 = load ptr, ptr %1, align 8, !tbaa !22
  %259 = load ptr, ptr %2, align 8, !tbaa !22
  %260 = call i32 %257(ptr noundef nonnull %98, ptr noundef %258, ptr noundef %259) #10
  br i1 %253, label %513, label %261

261:                                              ; preds = %252
  %262 = icmp eq i32 %260, -1
  br i1 %262, label %286, label %263

263:                                              ; preds = %261
  %264 = tail call ptr @__errno_location() #11
  %265 = load i32, ptr %264, align 4, !tbaa !5
  %266 = load ptr, ptr @stderr, align 8, !tbaa !9
  %267 = call i32 @s2n_print_stacktrace(ptr noundef %266) #10
  %268 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %269 = trunc nuw i8 %268 to i1
  br i1 %269, label %270, label %274

270:                                              ; preds = %263
  %271 = load ptr, ptr @stderr, align 8, !tbaa !9
  %272 = call i32 @fileno(ptr noundef %271) #10
  %273 = call i32 @isatty(i32 noundef %272) #10
  %.not82 = icmp eq i32 %273, 0
  br i1 %.not82, label %274, label %275

274:                                              ; preds = %270, %263
  br label %275

275:                                              ; preds = %270, %274
  %.str.5.sink208 = phi ptr [ @.str.5, %274 ], [ @.str.2, %270 ]
  store i32 %265, ptr %264, align 4, !tbaa !5
  %276 = load ptr, ptr @stderr, align 8, !tbaa !9
  %277 = load i32, ptr @test_count, align 4, !tbaa !5
  %278 = load i32, ptr %68, align 4, !tbaa !5
  %279 = call ptr @s2n_strerror(i32 noundef %278, ptr noundef nonnull @.str.4) #10
  %280 = load i32, ptr %68, align 4, !tbaa !5
  %281 = call ptr @s2n_strerror_debug(i32 noundef %280, ptr noundef nonnull @.str.4) #10
  %282 = load i32, ptr %264, align 4, !tbaa !5
  %283 = call ptr @strerror(i32 noundef %282) #10
  %284 = load i32, ptr %264, align 4, !tbaa !5
  %285 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %276, ptr noundef nonnull %.str.5.sink208, i32 noundef %277, ptr noundef nonnull @.str.13, ptr noundef nonnull @.str.1, i32 noundef 68, ptr noundef %279, ptr noundef %281, ptr noundef %283, i32 noundef %284) #12
  call void @exit(i32 noundef 1) #13
  unreachable

286:                                              ; preds = %261
  %287 = load i32, ptr @test_count, align 4, !tbaa !5
  %288 = add nsw i32 %287, 1
  store i32 %288, ptr @test_count, align 4, !tbaa !5
  %289 = load i32, ptr %68, align 4, !tbaa !5
  %290 = icmp eq i32 %289, 402653231
  br i1 %290, label %314, label %291

291:                                              ; preds = %286
  %292 = tail call ptr @__errno_location() #11
  %293 = load i32, ptr %292, align 4, !tbaa !5
  %294 = load ptr, ptr @stderr, align 8, !tbaa !9
  %295 = call i32 @s2n_print_stacktrace(ptr noundef %294) #10
  %296 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %297 = trunc nuw i8 %296 to i1
  br i1 %297, label %298, label %302

298:                                              ; preds = %291
  %299 = load ptr, ptr @stderr, align 8, !tbaa !9
  %300 = call i32 @fileno(ptr noundef %299) #10
  %301 = call i32 @isatty(i32 noundef %300) #10
  %.not83 = icmp eq i32 %301, 0
  br i1 %.not83, label %302, label %303

302:                                              ; preds = %298, %291
  br label %303

303:                                              ; preds = %298, %302
  %.str.5.sink217 = phi ptr [ @.str.5, %302 ], [ @.str.2, %298 ]
  store i32 %293, ptr %292, align 4, !tbaa !5
  %304 = load ptr, ptr @stderr, align 8, !tbaa !9
  %305 = load i32, ptr @test_count, align 4, !tbaa !5
  %306 = load i32, ptr %68, align 4, !tbaa !5
  %307 = call ptr @s2n_strerror(i32 noundef %306, ptr noundef nonnull @.str.4) #10
  %308 = load i32, ptr %68, align 4, !tbaa !5
  %309 = call ptr @s2n_strerror_debug(i32 noundef %308, ptr noundef nonnull @.str.4) #10
  %310 = load i32, ptr %292, align 4, !tbaa !5
  %311 = call ptr @strerror(i32 noundef %310) #10
  %312 = load i32, ptr %292, align 4, !tbaa !5
  %313 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %304, ptr noundef nonnull %.str.5.sink217, i32 noundef %305, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.1, i32 noundef 68, ptr noundef %307, ptr noundef %309, ptr noundef %311, i32 noundef %312) #12
  call void @exit(i32 noundef 1) #13
  unreachable

314:                                              ; preds = %286
  %315 = add nsw i32 %287, 2
  store i32 %315, ptr @test_count, align 4, !tbaa !5
  %316 = call ptr @s2n_strerror_debug(i32 noundef 402653231, ptr noundef nonnull @.str.4) #10
  %317 = icmp eq ptr %316, null
  br i1 %317, label %318, label %341

318:                                              ; preds = %314
  %319 = tail call ptr @__errno_location() #11
  %320 = load i32, ptr %319, align 4, !tbaa !5
  %321 = load ptr, ptr @stderr, align 8, !tbaa !9
  %322 = call i32 @s2n_print_stacktrace(ptr noundef %321) #10
  %323 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %324 = trunc nuw i8 %323 to i1
  br i1 %324, label %325, label %329

325:                                              ; preds = %318
  %326 = load ptr, ptr @stderr, align 8, !tbaa !9
  %327 = call i32 @fileno(ptr noundef %326) #10
  %328 = call i32 @isatty(i32 noundef %327) #10
  %.not90 = icmp eq i32 %328, 0
  br i1 %.not90, label %329, label %330

329:                                              ; preds = %325, %318
  br label %330

330:                                              ; preds = %325, %329
  %.str.5.sink226 = phi ptr [ @.str.5, %329 ], [ @.str.2, %325 ]
  store i32 %320, ptr %319, align 4, !tbaa !5
  %331 = load ptr, ptr @stderr, align 8, !tbaa !9
  %332 = load i32, ptr @test_count, align 4, !tbaa !5
  %333 = load i32, ptr %68, align 4, !tbaa !5
  %334 = call ptr @s2n_strerror(i32 noundef %333, ptr noundef nonnull @.str.4) #10
  %335 = load i32, ptr %68, align 4, !tbaa !5
  %336 = call ptr @s2n_strerror_debug(i32 noundef %335, ptr noundef nonnull @.str.4) #10
  %337 = load i32, ptr %319, align 4, !tbaa !5
  %338 = call ptr @strerror(i32 noundef %337) #10
  %339 = load i32, ptr %319, align 4, !tbaa !5
  %340 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %331, ptr noundef nonnull %.str.5.sink226, i32 noundef %332, ptr noundef nonnull @.str.15, ptr noundef nonnull @.str.1, i32 noundef 68, ptr noundef %334, ptr noundef %336, ptr noundef %338, i32 noundef %339) #12
  call void @exit(i32 noundef 1) #13
  unreachable

341:                                              ; preds = %314
  store i32 0, ptr %68, align 4, !tbaa !5
  call void @s2n_debug_info_reset() #10
  %342 = tail call ptr @__errno_location() #11
  store i32 0, ptr %342, align 4, !tbaa !5
  %343 = load i32, ptr @test_count, align 4, !tbaa !5
  %344 = add nsw i32 %343, 1
  store i32 %344, ptr @test_count, align 4, !tbaa !5
  %345 = getelementptr inbounds i8, ptr %98, i64 32
  %346 = load ptr, ptr %345, align 8, !tbaa !24
  %347 = load ptr, ptr %5, align 8, !tbaa !22
  %348 = load ptr, ptr %3, align 8, !tbaa !22
  %349 = load ptr, ptr %1, align 8, !tbaa !22
  %350 = call i32 %346(ptr noundef nonnull %98, ptr noundef %347, ptr noundef %348, ptr noundef %349) #10
  %351 = icmp eq i32 %350, -1
  br i1 %351, label %374, label %352

352:                                              ; preds = %341
  %353 = load i32, ptr %342, align 4, !tbaa !5
  %354 = load ptr, ptr @stderr, align 8, !tbaa !9
  %355 = call i32 @s2n_print_stacktrace(ptr noundef %354) #10
  %356 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %357 = trunc nuw i8 %356 to i1
  br i1 %357, label %358, label %362

358:                                              ; preds = %352
  %359 = load ptr, ptr @stderr, align 8, !tbaa !9
  %360 = call i32 @fileno(ptr noundef %359) #10
  %361 = call i32 @isatty(i32 noundef %360) #10
  %.not84 = icmp eq i32 %361, 0
  br i1 %.not84, label %362, label %363

362:                                              ; preds = %358, %352
  br label %363

363:                                              ; preds = %358, %362
  %.str.5.sink235 = phi ptr [ @.str.5, %362 ], [ @.str.2, %358 ]
  store i32 %353, ptr %342, align 4, !tbaa !5
  %364 = load ptr, ptr @stderr, align 8, !tbaa !9
  %365 = load i32, ptr @test_count, align 4, !tbaa !5
  %366 = load i32, ptr %68, align 4, !tbaa !5
  %367 = call ptr @s2n_strerror(i32 noundef %366, ptr noundef nonnull @.str.4) #10
  %368 = load i32, ptr %68, align 4, !tbaa !5
  %369 = call ptr @s2n_strerror_debug(i32 noundef %368, ptr noundef nonnull @.str.4) #10
  %370 = load i32, ptr %342, align 4, !tbaa !5
  %371 = call ptr @strerror(i32 noundef %370) #10
  %372 = load i32, ptr %342, align 4, !tbaa !5
  %373 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %364, ptr noundef nonnull %.str.5.sink235, i32 noundef %365, ptr noundef nonnull @.str.16, ptr noundef nonnull @.str.1, i32 noundef 69, ptr noundef %367, ptr noundef %369, ptr noundef %371, i32 noundef %372) #12
  call void @exit(i32 noundef 1) #13
  unreachable

374:                                              ; preds = %341
  %375 = load i32, ptr @test_count, align 4, !tbaa !5
  %376 = add nsw i32 %375, 1
  store i32 %376, ptr @test_count, align 4, !tbaa !5
  %377 = load i32, ptr %68, align 4, !tbaa !5
  %378 = icmp eq i32 %377, 402653231
  br i1 %378, label %401, label %379

379:                                              ; preds = %374
  %380 = load i32, ptr %342, align 4, !tbaa !5
  %381 = load ptr, ptr @stderr, align 8, !tbaa !9
  %382 = call i32 @s2n_print_stacktrace(ptr noundef %381) #10
  %383 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %384 = trunc nuw i8 %383 to i1
  br i1 %384, label %385, label %389

385:                                              ; preds = %379
  %386 = load ptr, ptr @stderr, align 8, !tbaa !9
  %387 = call i32 @fileno(ptr noundef %386) #10
  %388 = call i32 @isatty(i32 noundef %387) #10
  %.not85 = icmp eq i32 %388, 0
  br i1 %.not85, label %389, label %390

389:                                              ; preds = %385, %379
  br label %390

390:                                              ; preds = %385, %389
  %.str.5.sink244 = phi ptr [ @.str.5, %389 ], [ @.str.2, %385 ]
  store i32 %380, ptr %342, align 4, !tbaa !5
  %391 = load ptr, ptr @stderr, align 8, !tbaa !9
  %392 = load i32, ptr @test_count, align 4, !tbaa !5
  %393 = load i32, ptr %68, align 4, !tbaa !5
  %394 = call ptr @s2n_strerror(i32 noundef %393, ptr noundef nonnull @.str.4) #10
  %395 = load i32, ptr %68, align 4, !tbaa !5
  %396 = call ptr @s2n_strerror_debug(i32 noundef %395, ptr noundef nonnull @.str.4) #10
  %397 = load i32, ptr %342, align 4, !tbaa !5
  %398 = call ptr @strerror(i32 noundef %397) #10
  %399 = load i32, ptr %342, align 4, !tbaa !5
  %400 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %391, ptr noundef nonnull %.str.5.sink244, i32 noundef %392, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.1, i32 noundef 69, ptr noundef %394, ptr noundef %396, ptr noundef %398, i32 noundef %399) #12
  call void @exit(i32 noundef 1) #13
  unreachable

401:                                              ; preds = %374
  %402 = add nsw i32 %375, 2
  store i32 %402, ptr @test_count, align 4, !tbaa !5
  %403 = call ptr @s2n_strerror_debug(i32 noundef 402653231, ptr noundef nonnull @.str.4) #10
  %404 = icmp eq ptr %403, null
  br i1 %404, label %405, label %427

405:                                              ; preds = %401
  %406 = load i32, ptr %342, align 4, !tbaa !5
  %407 = load ptr, ptr @stderr, align 8, !tbaa !9
  %408 = call i32 @s2n_print_stacktrace(ptr noundef %407) #10
  %409 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %410 = trunc nuw i8 %409 to i1
  br i1 %410, label %411, label %415

411:                                              ; preds = %405
  %412 = load ptr, ptr @stderr, align 8, !tbaa !9
  %413 = call i32 @fileno(ptr noundef %412) #10
  %414 = call i32 @isatty(i32 noundef %413) #10
  %.not89 = icmp eq i32 %414, 0
  br i1 %.not89, label %415, label %416

415:                                              ; preds = %411, %405
  br label %416

416:                                              ; preds = %411, %415
  %.str.5.sink253 = phi ptr [ @.str.5, %415 ], [ @.str.2, %411 ]
  store i32 %406, ptr %342, align 4, !tbaa !5
  %417 = load ptr, ptr @stderr, align 8, !tbaa !9
  %418 = load i32, ptr @test_count, align 4, !tbaa !5
  %419 = load i32, ptr %68, align 4, !tbaa !5
  %420 = call ptr @s2n_strerror(i32 noundef %419, ptr noundef nonnull @.str.4) #10
  %421 = load i32, ptr %68, align 4, !tbaa !5
  %422 = call ptr @s2n_strerror_debug(i32 noundef %421, ptr noundef nonnull @.str.4) #10
  %423 = load i32, ptr %342, align 4, !tbaa !5
  %424 = call ptr @strerror(i32 noundef %423) #10
  %425 = load i32, ptr %342, align 4, !tbaa !5
  %426 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %417, ptr noundef nonnull %.str.5.sink253, i32 noundef %418, ptr noundef nonnull @.str.15, ptr noundef nonnull @.str.1, i32 noundef 69, ptr noundef %420, ptr noundef %422, ptr noundef %424, i32 noundef %425) #12
  call void @exit(i32 noundef 1) #13
  unreachable

427:                                              ; preds = %401
  store i32 0, ptr %68, align 4, !tbaa !5
  call void @s2n_debug_info_reset() #10
  store i32 0, ptr %342, align 4, !tbaa !5
  %428 = load i32, ptr @test_count, align 4, !tbaa !5
  %429 = add nsw i32 %428, 1
  store i32 %429, ptr @test_count, align 4, !tbaa !5
  %430 = getelementptr inbounds i8, ptr %98, i64 40
  %431 = load ptr, ptr %430, align 8, !tbaa !25
  %432 = load ptr, ptr %4, align 8, !tbaa !22
  %433 = load ptr, ptr %5, align 8, !tbaa !22
  %434 = load ptr, ptr %2, align 8, !tbaa !22
  %435 = call i32 %431(ptr noundef nonnull %98, ptr noundef %432, ptr noundef %433, ptr noundef %434) #10
  %436 = icmp eq i32 %435, -1
  br i1 %436, label %459, label %437

437:                                              ; preds = %427
  %438 = load i32, ptr %342, align 4, !tbaa !5
  %439 = load ptr, ptr @stderr, align 8, !tbaa !9
  %440 = call i32 @s2n_print_stacktrace(ptr noundef %439) #10
  %441 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %442 = trunc nuw i8 %441 to i1
  br i1 %442, label %443, label %447

443:                                              ; preds = %437
  %444 = load ptr, ptr @stderr, align 8, !tbaa !9
  %445 = call i32 @fileno(ptr noundef %444) #10
  %446 = call i32 @isatty(i32 noundef %445) #10
  %.not86 = icmp eq i32 %446, 0
  br i1 %.not86, label %447, label %448

447:                                              ; preds = %443, %437
  br label %448

448:                                              ; preds = %443, %447
  %.str.5.sink262 = phi ptr [ @.str.5, %447 ], [ @.str.2, %443 ]
  store i32 %438, ptr %342, align 4, !tbaa !5
  %449 = load ptr, ptr @stderr, align 8, !tbaa !9
  %450 = load i32, ptr @test_count, align 4, !tbaa !5
  %451 = load i32, ptr %68, align 4, !tbaa !5
  %452 = call ptr @s2n_strerror(i32 noundef %451, ptr noundef nonnull @.str.4) #10
  %453 = load i32, ptr %68, align 4, !tbaa !5
  %454 = call ptr @s2n_strerror_debug(i32 noundef %453, ptr noundef nonnull @.str.4) #10
  %455 = load i32, ptr %342, align 4, !tbaa !5
  %456 = call ptr @strerror(i32 noundef %455) #10
  %457 = load i32, ptr %342, align 4, !tbaa !5
  %458 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %449, ptr noundef nonnull %.str.5.sink262, i32 noundef %450, ptr noundef nonnull @.str.17, ptr noundef nonnull @.str.1, i32 noundef 70, ptr noundef %452, ptr noundef %454, ptr noundef %456, i32 noundef %457) #12
  call void @exit(i32 noundef 1) #13
  unreachable

459:                                              ; preds = %427
  %460 = load i32, ptr @test_count, align 4, !tbaa !5
  %461 = add nsw i32 %460, 1
  store i32 %461, ptr @test_count, align 4, !tbaa !5
  %462 = load i32, ptr %68, align 4, !tbaa !5
  %463 = icmp eq i32 %462, 402653231
  br i1 %463, label %486, label %464

464:                                              ; preds = %459
  %465 = load i32, ptr %342, align 4, !tbaa !5
  %466 = load ptr, ptr @stderr, align 8, !tbaa !9
  %467 = call i32 @s2n_print_stacktrace(ptr noundef %466) #10
  %468 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %469 = trunc nuw i8 %468 to i1
  br i1 %469, label %470, label %474

470:                                              ; preds = %464
  %471 = load ptr, ptr @stderr, align 8, !tbaa !9
  %472 = call i32 @fileno(ptr noundef %471) #10
  %473 = call i32 @isatty(i32 noundef %472) #10
  %.not87 = icmp eq i32 %473, 0
  br i1 %.not87, label %474, label %475

474:                                              ; preds = %470, %464
  br label %475

475:                                              ; preds = %470, %474
  %.str.5.sink271 = phi ptr [ @.str.5, %474 ], [ @.str.2, %470 ]
  store i32 %465, ptr %342, align 4, !tbaa !5
  %476 = load ptr, ptr @stderr, align 8, !tbaa !9
  %477 = load i32, ptr @test_count, align 4, !tbaa !5
  %478 = load i32, ptr %68, align 4, !tbaa !5
  %479 = call ptr @s2n_strerror(i32 noundef %478, ptr noundef nonnull @.str.4) #10
  %480 = load i32, ptr %68, align 4, !tbaa !5
  %481 = call ptr @s2n_strerror_debug(i32 noundef %480, ptr noundef nonnull @.str.4) #10
  %482 = load i32, ptr %342, align 4, !tbaa !5
  %483 = call ptr @strerror(i32 noundef %482) #10
  %484 = load i32, ptr %342, align 4, !tbaa !5
  %485 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %476, ptr noundef nonnull %.str.5.sink271, i32 noundef %477, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.1, i32 noundef 70, ptr noundef %479, ptr noundef %481, ptr noundef %483, i32 noundef %484) #12
  call void @exit(i32 noundef 1) #13
  unreachable

486:                                              ; preds = %459
  %487 = add nsw i32 %460, 2
  store i32 %487, ptr @test_count, align 4, !tbaa !5
  %488 = call ptr @s2n_strerror_debug(i32 noundef 402653231, ptr noundef nonnull @.str.4) #10
  %489 = icmp eq ptr %488, null
  br i1 %489, label %490, label %512

490:                                              ; preds = %486
  %491 = load i32, ptr %342, align 4, !tbaa !5
  %492 = load ptr, ptr @stderr, align 8, !tbaa !9
  %493 = call i32 @s2n_print_stacktrace(ptr noundef %492) #10
  %494 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %495 = trunc nuw i8 %494 to i1
  br i1 %495, label %496, label %500

496:                                              ; preds = %490
  %497 = load ptr, ptr @stderr, align 8, !tbaa !9
  %498 = call i32 @fileno(ptr noundef %497) #10
  %499 = call i32 @isatty(i32 noundef %498) #10
  %.not88 = icmp eq i32 %499, 0
  br i1 %.not88, label %500, label %501

500:                                              ; preds = %496, %490
  br label %501

501:                                              ; preds = %496, %500
  %.str.5.sink280 = phi ptr [ @.str.5, %500 ], [ @.str.2, %496 ]
  store i32 %491, ptr %342, align 4, !tbaa !5
  %502 = load ptr, ptr @stderr, align 8, !tbaa !9
  %503 = load i32, ptr @test_count, align 4, !tbaa !5
  %504 = load i32, ptr %68, align 4, !tbaa !5
  %505 = call ptr @s2n_strerror(i32 noundef %504, ptr noundef nonnull @.str.4) #10
  %506 = load i32, ptr %68, align 4, !tbaa !5
  %507 = call ptr @s2n_strerror_debug(i32 noundef %506, ptr noundef nonnull @.str.4) #10
  %508 = load i32, ptr %342, align 4, !tbaa !5
  %509 = call ptr @strerror(i32 noundef %508) #10
  %510 = load i32, ptr %342, align 4, !tbaa !5
  %511 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %502, ptr noundef nonnull %.str.5.sink280, i32 noundef %503, ptr noundef nonnull @.str.15, ptr noundef nonnull @.str.1, i32 noundef 70, ptr noundef %505, ptr noundef %507, ptr noundef %509, i32 noundef %510) #12
  call void @exit(i32 noundef 1) #13
  unreachable

512:                                              ; preds = %486
  store i32 0, ptr %68, align 4, !tbaa !5
  call void @s2n_debug_info_reset() #10
  store i32 0, ptr %342, align 4, !tbaa !5
  br label %702

513:                                              ; preds = %252
  %514 = icmp eq i32 %260, 0
  br i1 %514, label %538, label %515

515:                                              ; preds = %513
  %516 = tail call ptr @__errno_location() #11
  %517 = load i32, ptr %516, align 4, !tbaa !5
  %518 = load ptr, ptr @stderr, align 8, !tbaa !9
  %519 = call i32 @s2n_print_stacktrace(ptr noundef %518) #10
  %520 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %521 = trunc nuw i8 %520 to i1
  br i1 %521, label %522, label %526

522:                                              ; preds = %515
  %523 = load ptr, ptr @stderr, align 8, !tbaa !9
  %524 = call i32 @fileno(ptr noundef %523) #10
  %525 = call i32 @isatty(i32 noundef %524) #10
  %.not91 = icmp eq i32 %525, 0
  br i1 %.not91, label %526, label %527

526:                                              ; preds = %522, %515
  br label %527

527:                                              ; preds = %522, %526
  %.str.5.sink289 = phi ptr [ @.str.5, %526 ], [ @.str.2, %522 ]
  store i32 %517, ptr %516, align 4, !tbaa !5
  %528 = load ptr, ptr @stderr, align 8, !tbaa !9
  %529 = load i32, ptr @test_count, align 4, !tbaa !5
  %530 = load i32, ptr %68, align 4, !tbaa !5
  %531 = call ptr @s2n_strerror(i32 noundef %530, ptr noundef nonnull @.str.4) #10
  %532 = load i32, ptr %68, align 4, !tbaa !5
  %533 = call ptr @s2n_strerror_debug(i32 noundef %532, ptr noundef nonnull @.str.4) #10
  %534 = load i32, ptr %516, align 4, !tbaa !5
  %535 = call ptr @strerror(i32 noundef %534) #10
  %536 = load i32, ptr %516, align 4, !tbaa !5
  %537 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %528, ptr noundef nonnull %.str.5.sink289, i32 noundef %529, ptr noundef nonnull @.str.18, ptr noundef nonnull @.str.1, i32 noundef 75, ptr noundef %531, ptr noundef %533, ptr noundef %535, i32 noundef %536) #12
  call void @exit(i32 noundef 1) #13
  unreachable

538:                                              ; preds = %513
  %539 = load i32, ptr @test_count, align 4, !tbaa !5
  %540 = add nsw i32 %539, 1
  store i32 %540, ptr @test_count, align 4, !tbaa !5
  %541 = getelementptr inbounds i8, ptr %98, i64 32
  %542 = load ptr, ptr %541, align 8, !tbaa !24
  %543 = load ptr, ptr %5, align 8, !tbaa !22
  %544 = load ptr, ptr %3, align 8, !tbaa !22
  %545 = load ptr, ptr %1, align 8, !tbaa !22
  %546 = call i32 %542(ptr noundef nonnull %98, ptr noundef %543, ptr noundef %544, ptr noundef %545) #10
  %547 = icmp eq i32 %546, 0
  br i1 %547, label %571, label %548

548:                                              ; preds = %538
  %549 = tail call ptr @__errno_location() #11
  %550 = load i32, ptr %549, align 4, !tbaa !5
  %551 = load ptr, ptr @stderr, align 8, !tbaa !9
  %552 = call i32 @s2n_print_stacktrace(ptr noundef %551) #10
  %553 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %554 = trunc nuw i8 %553 to i1
  br i1 %554, label %555, label %559

555:                                              ; preds = %548
  %556 = load ptr, ptr @stderr, align 8, !tbaa !9
  %557 = call i32 @fileno(ptr noundef %556) #10
  %558 = call i32 @isatty(i32 noundef %557) #10
  %.not92 = icmp eq i32 %558, 0
  br i1 %.not92, label %559, label %560

559:                                              ; preds = %555, %548
  br label %560

560:                                              ; preds = %555, %559
  %.str.5.sink298 = phi ptr [ @.str.5, %559 ], [ @.str.2, %555 ]
  store i32 %550, ptr %549, align 4, !tbaa !5
  %561 = load ptr, ptr @stderr, align 8, !tbaa !9
  %562 = load i32, ptr @test_count, align 4, !tbaa !5
  %563 = load i32, ptr %68, align 4, !tbaa !5
  %564 = call ptr @s2n_strerror(i32 noundef %563, ptr noundef nonnull @.str.4) #10
  %565 = load i32, ptr %68, align 4, !tbaa !5
  %566 = call ptr @s2n_strerror_debug(i32 noundef %565, ptr noundef nonnull @.str.4) #10
  %567 = load i32, ptr %549, align 4, !tbaa !5
  %568 = call ptr @strerror(i32 noundef %567) #10
  %569 = load i32, ptr %549, align 4, !tbaa !5
  %570 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %561, ptr noundef nonnull %.str.5.sink298, i32 noundef %562, ptr noundef nonnull @.str.19, ptr noundef nonnull @.str.1, i32 noundef 76, ptr noundef %564, ptr noundef %566, ptr noundef %568, i32 noundef %569) #12
  call void @exit(i32 noundef 1) #13
  unreachable

571:                                              ; preds = %538
  %572 = load i32, ptr @test_count, align 4, !tbaa !5
  %573 = add nsw i32 %572, 1
  store i32 %573, ptr @test_count, align 4, !tbaa !5
  %574 = getelementptr inbounds i8, ptr %98, i64 40
  %575 = load ptr, ptr %574, align 8, !tbaa !25
  %576 = load ptr, ptr %4, align 8, !tbaa !22
  %577 = load ptr, ptr %5, align 8, !tbaa !22
  %578 = load ptr, ptr %2, align 8, !tbaa !22
  %579 = call i32 %575(ptr noundef nonnull %98, ptr noundef %576, ptr noundef %577, ptr noundef %578) #10
  %580 = icmp eq i32 %579, 0
  br i1 %580, label %604, label %581

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

588:                                              ; preds = %581
  %589 = load ptr, ptr @stderr, align 8, !tbaa !9
  %590 = call i32 @fileno(ptr noundef %589) #10
  %591 = call i32 @isatty(i32 noundef %590) #10
  %.not93 = icmp eq i32 %591, 0
  br i1 %.not93, label %592, label %593

592:                                              ; preds = %588, %581
  br label %593

593:                                              ; preds = %588, %592
  %.str.5.sink307 = phi ptr [ @.str.5, %592 ], [ @.str.2, %588 ]
  store i32 %583, ptr %582, align 4, !tbaa !5
  %594 = load ptr, ptr @stderr, align 8, !tbaa !9
  %595 = load i32, ptr @test_count, align 4, !tbaa !5
  %596 = load i32, ptr %68, align 4, !tbaa !5
  %597 = call ptr @s2n_strerror(i32 noundef %596, ptr noundef nonnull @.str.4) #10
  %598 = load i32, ptr %68, align 4, !tbaa !5
  %599 = call ptr @s2n_strerror_debug(i32 noundef %598, ptr noundef nonnull @.str.4) #10
  %600 = load i32, ptr %582, align 4, !tbaa !5
  %601 = call ptr @strerror(i32 noundef %600) #10
  %602 = load i32, ptr %582, align 4, !tbaa !5
  %603 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %594, ptr noundef nonnull %.str.5.sink307, i32 noundef %595, ptr noundef nonnull @.str.20, ptr noundef nonnull @.str.1, i32 noundef 77, ptr noundef %597, ptr noundef %599, ptr noundef %601, i32 noundef %602) #12
  call void @exit(i32 noundef 1) #13
  unreachable

604:                                              ; preds = %571
  %605 = load i16, ptr %163, align 2, !tbaa !19
  %.not94 = icmp eq i16 %605, 0
  br i1 %.not94, label %636, label %606

606:                                              ; preds = %604
  %607 = load i32, ptr @test_count, align 4, !tbaa !5
  %608 = add nsw i32 %607, 1
  store i32 %608, ptr @test_count, align 4, !tbaa !5
  %609 = load ptr, ptr %4, align 8, !tbaa !22
  %610 = load ptr, ptr %3, align 8, !tbaa !22
  %611 = zext i16 %605 to i64
  %bcmp = call i32 @bcmp(ptr %609, ptr %610, i64 %611)
  %612 = icmp eq i32 %bcmp, 0
  br i1 %612, label %636, label %613

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

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

624:                                              ; preds = %620, %613
  br label %625

625:                                              ; preds = %620, %624
  %.str.5.sink316 = phi ptr [ @.str.5, %624 ], [ @.str.2, %620 ]
  store i32 %615, ptr %614, align 4, !tbaa !5
  %626 = load ptr, ptr @stderr, align 8, !tbaa !9
  %627 = load i32, ptr @test_count, align 4, !tbaa !5
  %628 = load i32, ptr %68, align 4, !tbaa !5
  %629 = call ptr @s2n_strerror(i32 noundef %628, ptr noundef nonnull @.str.4) #10
  %630 = load i32, ptr %68, align 4, !tbaa !5
  %631 = call ptr @s2n_strerror_debug(i32 noundef %630, ptr noundef nonnull @.str.4) #10
  %632 = load i32, ptr %614, align 4, !tbaa !5
  %633 = call ptr @strerror(i32 noundef %632) #10
  %634 = load i32, ptr %614, align 4, !tbaa !5
  %635 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %626, ptr noundef nonnull %.str.5.sink316, i32 noundef %627, ptr noundef nonnull @.str.21, ptr noundef nonnull @.str.1, i32 noundef 78, ptr noundef %629, ptr noundef %631, ptr noundef %633, i32 noundef %634) #12
  call void @exit(i32 noundef 1) #13
  unreachable

636:                                              ; preds = %606, %604
  %637 = load ptr, ptr %5, align 8, !tbaa !22
  %638 = load i8, ptr %637, align 1, !tbaa !26
  %639 = xor i8 %638, 1
  store i8 %639, ptr %637, align 1, !tbaa !26
  %640 = load i32, ptr @test_count, align 4, !tbaa !5
  %641 = add nsw i32 %640, 1
  store i32 %641, ptr @test_count, align 4, !tbaa !5
  %642 = load ptr, ptr %574, align 8, !tbaa !25
  %643 = load ptr, ptr %4, align 8, !tbaa !22
  %644 = load ptr, ptr %5, align 8, !tbaa !22
  %645 = load ptr, ptr %2, align 8, !tbaa !22
  %646 = call i32 %642(ptr noundef nonnull %98, ptr noundef %643, ptr noundef %644, ptr noundef %645) #10
  %647 = icmp eq i32 %646, 0
  br i1 %647, label %671, label %648

648:                                              ; preds = %636
  %649 = tail call ptr @__errno_location() #11
  %650 = load i32, ptr %649, align 4, !tbaa !5
  %651 = load ptr, ptr @stderr, align 8, !tbaa !9
  %652 = call i32 @s2n_print_stacktrace(ptr noundef %651) #10
  %653 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %654 = trunc nuw i8 %653 to i1
  br i1 %654, label %655, label %659

655:                                              ; preds = %648
  %656 = load ptr, ptr @stderr, align 8, !tbaa !9
  %657 = call i32 @fileno(ptr noundef %656) #10
  %658 = call i32 @isatty(i32 noundef %657) #10
  %.not96 = icmp eq i32 %658, 0
  br i1 %.not96, label %659, label %660

659:                                              ; preds = %655, %648
  br label %660

660:                                              ; preds = %655, %659
  %.str.5.sink325 = phi ptr [ @.str.5, %659 ], [ @.str.2, %655 ]
  store i32 %650, ptr %649, align 4, !tbaa !5
  %661 = load ptr, ptr @stderr, align 8, !tbaa !9
  %662 = load i32, ptr @test_count, align 4, !tbaa !5
  %663 = load i32, ptr %68, align 4, !tbaa !5
  %664 = call ptr @s2n_strerror(i32 noundef %663, ptr noundef nonnull @.str.4) #10
  %665 = load i32, ptr %68, align 4, !tbaa !5
  %666 = call ptr @s2n_strerror_debug(i32 noundef %665, ptr noundef nonnull @.str.4) #10
  %667 = load i32, ptr %649, align 4, !tbaa !5
  %668 = call ptr @strerror(i32 noundef %667) #10
  %669 = load i32, ptr %649, align 4, !tbaa !5
  %670 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %661, ptr noundef nonnull %.str.5.sink325, i32 noundef %662, ptr noundef nonnull @.str.20, ptr noundef nonnull @.str.1, i32 noundef 85, ptr noundef %664, ptr noundef %666, ptr noundef %668, i32 noundef %669) #12
  call void @exit(i32 noundef 1) #13
  unreachable

671:                                              ; preds = %636
  %672 = load i32, ptr @test_count, align 4, !tbaa !5
  %673 = add nsw i32 %672, 1
  store i32 %673, ptr @test_count, align 4, !tbaa !5
  %674 = load ptr, ptr %4, align 8, !tbaa !22
  %675 = load ptr, ptr %3, align 8, !tbaa !22
  %676 = load i16, ptr %163, align 2, !tbaa !19
  %677 = zext i16 %676 to i64
  %bcmp97 = call i32 @bcmp(ptr %674, ptr %675, i64 %677)
  %678 = icmp eq i32 %bcmp97, 0
  br i1 %678, label %679, label %702

679:                                              ; preds = %671
  %680 = tail call ptr @__errno_location() #11
  %681 = load i32, ptr %680, align 4, !tbaa !5
  %682 = load ptr, ptr @stderr, align 8, !tbaa !9
  %683 = call i32 @s2n_print_stacktrace(ptr noundef %682) #10
  %684 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %685 = trunc nuw i8 %684 to i1
  br i1 %685, label %686, label %690

686:                                              ; preds = %679
  %687 = load ptr, ptr @stderr, align 8, !tbaa !9
  %688 = call i32 @fileno(ptr noundef %687) #10
  %689 = call i32 @isatty(i32 noundef %688) #10
  %.not98 = icmp eq i32 %689, 0
  br i1 %.not98, label %690, label %691

690:                                              ; preds = %686, %679
  br label %691

691:                                              ; preds = %686, %690
  %.str.5.sink334 = phi ptr [ @.str.5, %690 ], [ @.str.2, %686 ]
  store i32 %681, ptr %680, align 4, !tbaa !5
  %692 = load ptr, ptr @stderr, align 8, !tbaa !9
  %693 = load i32, ptr @test_count, align 4, !tbaa !5
  %694 = load i32, ptr %68, align 4, !tbaa !5
  %695 = call ptr @s2n_strerror(i32 noundef %694, ptr noundef nonnull @.str.4) #10
  %696 = load i32, ptr %68, align 4, !tbaa !5
  %697 = call ptr @s2n_strerror_debug(i32 noundef %696, ptr noundef nonnull @.str.4) #10
  %698 = load i32, ptr %680, align 4, !tbaa !5
  %699 = call ptr @strerror(i32 noundef %698) #10
  %700 = load i32, ptr %680, align 4, !tbaa !5
  %701 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %692, ptr noundef nonnull %.str.5.sink334, i32 noundef %693, ptr noundef nonnull @.str.22, ptr noundef nonnull @.str.1, i32 noundef 86, ptr noundef %695, ptr noundef %697, ptr noundef %699, i32 noundef %700) #12
  call void @exit(i32 noundef 1) #13
  unreachable

702:                                              ; preds = %671, %512
  %703 = call i32 @s2n_free(ptr noundef nonnull %5) #10
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %5) #10
  %704 = call i32 @s2n_free(ptr noundef nonnull %4) #10
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %4) #10
  %705 = call i32 @s2n_free(ptr noundef nonnull %3) #10
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %3) #10
  %706 = call i32 @s2n_free(ptr noundef nonnull %2) #10
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %2) #10
  %707 = call i32 @s2n_free(ptr noundef nonnull %1) #10
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %1) #10
  %708 = add nuw nsw i64 %.0120, 1
  %exitcond.not = icmp eq i64 %708, 4
  br i1 %exitcond.not, label %93, label %96, !llvm.loop !27

709:                                              ; preds = %93
  %710 = tail call ptr @__errno_location() #11
  %711 = load i32, ptr %710, align 4, !tbaa !5
  %712 = load ptr, ptr @stderr, align 8, !tbaa !9
  %713 = call i32 @s2n_print_stacktrace(ptr noundef %712) #10
  %714 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %715 = trunc nuw i8 %714 to i1
  br i1 %715, label %716, label %720

716:                                              ; preds = %709
  %717 = load ptr, ptr @stderr, align 8, !tbaa !9
  %718 = call i32 @fileno(ptr noundef %717) #10
  %719 = call i32 @isatty(i32 noundef %718) #10
  %.not81 = icmp eq i32 %719, 0
  br i1 %.not81, label %720, label %721

720:                                              ; preds = %716, %709
  br label %721

721:                                              ; preds = %716, %720
  %.str.5.sink343 = phi ptr [ @.str.5, %720 ], [ @.str.2, %716 ]
  store i32 %711, ptr %710, align 4, !tbaa !5
  %722 = load ptr, ptr @stderr, align 8, !tbaa !9
  %723 = load i32, ptr @test_count, align 4, !tbaa !5
  %724 = load i32, ptr %68, align 4, !tbaa !5
  %725 = call ptr @s2n_strerror(i32 noundef %724, ptr noundef nonnull @.str.4) #10
  %726 = load i32, ptr %68, align 4, !tbaa !5
  %727 = call ptr @s2n_strerror_debug(i32 noundef %726, ptr noundef nonnull @.str.4) #10
  %728 = load i32, ptr %710, align 4, !tbaa !5
  %729 = call ptr @strerror(i32 noundef %728) #10
  %730 = load i32, ptr %710, align 4, !tbaa !5
  %731 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %722, ptr noundef nonnull %.str.5.sink343, i32 noundef %723, ptr noundef nonnull @.str.23, ptr noundef nonnull @.str.1, i32 noundef 89, ptr noundef %725, ptr noundef %727, ptr noundef %729, i32 noundef %730) #12
  call void @exit(i32 noundef 1) #13
  unreachable

732:                                              ; preds = %93
  %733 = call i32 @s2n_in_unit_test_set(i1 noundef zeroext false) #10
  %734 = icmp eq i32 %733, -1
  br i1 %734, label %735, label %758

735:                                              ; preds = %732
  %736 = tail call ptr @__errno_location() #11
  %737 = load i32, ptr %736, align 4, !tbaa !5
  %738 = load ptr, ptr @stderr, align 8, !tbaa !9
  %739 = call i32 @s2n_print_stacktrace(ptr noundef %738) #10
  %740 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %741 = trunc nuw i8 %740 to i1
  br i1 %741, label %742, label %746

742:                                              ; preds = %735
  %743 = load ptr, ptr @stderr, align 8, !tbaa !9
  %744 = call i32 @fileno(ptr noundef %743) #10
  %745 = call i32 @isatty(i32 noundef %744) #10
  %.not80 = icmp eq i32 %745, 0
  br i1 %.not80, label %746, label %747

746:                                              ; preds = %742, %735
  br label %747

747:                                              ; preds = %742, %746
  %.str.5.sink352 = phi ptr [ @.str.5, %746 ], [ @.str.2, %742 ]
  store i32 %737, ptr %736, align 4, !tbaa !5
  %748 = load ptr, ptr @stderr, align 8, !tbaa !9
  %749 = load i32, ptr @test_count, align 4, !tbaa !5
  %750 = load i32, ptr %68, align 4, !tbaa !5
  %751 = call ptr @s2n_strerror(i32 noundef %750, ptr noundef nonnull @.str.4) #10
  %752 = load i32, ptr %68, align 4, !tbaa !5
  %753 = call ptr @s2n_strerror_debug(i32 noundef %752, ptr noundef nonnull @.str.4) #10
  %754 = load i32, ptr %736, align 4, !tbaa !5
  %755 = call ptr @strerror(i32 noundef %754) #10
  %756 = load i32, ptr %736, align 4, !tbaa !5
  %757 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %748, ptr noundef nonnull %.str.5.sink352, i32 noundef %749, ptr noundef nonnull @.str.24, ptr noundef nonnull @.str.1, i32 noundef 89, ptr noundef %751, ptr noundef %753, ptr noundef %755, i32 noundef %756) #12
  call void @exit(i32 noundef 1) #13
  unreachable

758:                                              ; preds = %732
  %759 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %760 = trunc nuw i8 %759 to i1
  br i1 %760, label %761, label %772

761:                                              ; preds = %758
  %762 = load ptr, ptr @stdout, align 8, !tbaa !9
  %763 = call i32 @fileno(ptr noundef %762) #10
  %764 = call i32 @isatty(i32 noundef %763) #10
  %.not = icmp eq i32 %764, 0
  br i1 %.not, label %772, label %765

765:                                              ; preds = %761
  %766 = load i32, ptr @test_count, align 4, !tbaa !5
  %.not79 = icmp eq i32 %766, 0
  %767 = load ptr, ptr @stdout, align 8, !tbaa !9
  br i1 %.not79, label %770, label %768

768:                                              ; preds = %765
  %769 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %767, ptr noundef nonnull @.str.25, i32 noundef %766) #10
  br label %779

770:                                              ; preds = %765
  %771 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %767, ptr noundef nonnull @.str.26) #10
  br label %779

772:                                              ; preds = %761, %758
  %773 = load i32, ptr @test_count, align 4, !tbaa !5
  %.not78 = icmp eq i32 %773, 0
  %774 = load ptr, ptr @stdout, align 8, !tbaa !9
  br i1 %.not78, label %777, label %775

775:                                              ; preds = %772
  %776 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %774, ptr noundef nonnull @.str.27, i32 noundef %773) #10
  br label %779

777:                                              ; preds = %772
  %778 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %774, ptr noundef nonnull @.str.28) #10
  br label %779

779:                                              ; preds = %775, %777, %768, %770
  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

; 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_free(ptr noundef) local_unnamed_addr #2

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

declare zeroext i1 @s2n_kem_is_available(ptr noundef) local_unnamed_addr #2

declare void @s2n_debug_info_reset() local_unnamed_addr #2

declare i32 @s2n_cleanup() local_unnamed_addr #2

; Function Attrs: nofree nounwind willreturn memory(argmem: read)
declare i32 @bcmp(ptr nocapture, ptr nocapture, i64) local_unnamed_addr #9

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 = { nofree nounwind willreturn memory(argmem: read) }
attributes #10 = { nounwind }
attributes #11 = { nounwind willreturn memory(none) }
attributes #12 = { cold nounwind }
attributes #13 = { 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, !17, i64 14}
!16 = !{!"s2n_kem", !10, i64 0, !6, i64 8, !17, i64 12, !17, i64 14, !17, i64 16, !17, i64 18, !17, i64 20, !10, i64 24, !10, i64 32, !10, i64 40}
!17 = !{!"short", !7, i64 0}
!18 = !{!16, !17, i64 16}
!19 = !{!16, !17, i64 18}
!20 = !{!16, !17, i64 20}
!21 = !{!16, !10, i64 24}
!22 = !{!23, !10, i64 0}
!23 = !{!"s2n_blob", !10, i64 0, !6, i64 8, !6, i64 12, !6, i64 16}
!24 = !{!16, !10, i64 32}
!25 = !{!16, !10, i64 40}
!26 = !{!7, !7, i64 0}
!27 = distinct !{!27, !28}
!28 = !{!"llvm.loop.mustprogress"}


; Effective O3 passes: CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,LCSSAPass,LICMPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,PostOrderFunctionAttrsPass,SROAPass,SimplifyCFGPass,TailCallElimPass