#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ assert(int);
int main() {
  int a = 1;
  int b = 2;
  int c = -1;
  int d = -2;
  assert(a + b == 3);
  assert(a + d == -1);
  assert(a * b == 2);
  assert(b * c == -2);
  assert(a / b == 0);
  assert(d / c == 2);
  assert(b % a == 0);
  assert(d % c == 0);
  assert(-a == -1);
  assert(-d == 2);
  int zero = 0;
  int one = 1;
  unsigned int uns_z = 0;
  assert((zero || one) == 1);
  assert((zero || zero) == 0);
  assert((one || one) == 1);
  assert((zero && one) == 0);
  assert((zero && zero) == 0);
  assert((one && one) == 1);
  assert(!one == 0);
  assert(!zero == 1);
  assert((zero & zero) == 0);
  assert((zero & one) == 0);
  assert((one & zero) == 0);
  assert((one & one) == 1);
  assert((zero | zero) == 0);
  assert((zero | one) == 1);
  assert((one | zero) == 1);
  assert((one | one) == 1);
  assert((zero ^ zero) == 0);
  assert((zero ^ one) == 1);
  assert((one ^ zero) == 1);
  assert((one ^ one) == 0);
  assert((a < b) == 1);
  assert((a > b) == 0);
  assert((a == b) == 0);
  assert((a != b) == 1);
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x1,-0x8(%rbp)
movl   $0x2,-0xc(%rbp)
movl   $0xffffffff,-0x10(%rbp)
movl   $0xfffffffe,-0x14(%rbp)
mov    -0x8(%rbp),%eax
add    -0xc(%rbp),%eax
cmp    $0x3,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x8(%rbp),%eax
add    -0x14(%rbp),%eax
cmp    $0xffffffff,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x8(%rbp),%eax
imul   -0xc(%rbp),%eax
cmp    $0x2,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0xc(%rbp),%eax
imul   -0x10(%rbp),%eax
cmp    $0xfffffffe,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x8(%rbp),%eax
cltd
idivl  -0xc(%rbp)
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x14(%rbp),%eax
cltd
idivl  -0x10(%rbp)
cmp    $0x2,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0xc(%rbp),%eax
cltd
idivl  -0x8(%rbp)
cmp    $0x0,%edx
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x14(%rbp),%eax
cltd
idivl  -0x10(%rbp)
cmp    $0x0,%edx
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
xor    %eax,%eax
sub    -0x8(%rbp),%eax
cmp    $0xffffffff,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
xor    %eax,%eax
sub    -0x14(%rbp),%eax
cmp    $0x2,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movl   $0x0,-0x18(%rbp)
movl   $0x1,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
mov    $0x1,%al
cmpl   $0x0,-0x18(%rbp)
mov    %al,-0x21(%rbp)
jne    1249 <main+0x139>
cmpl   $0x0,-0x1c(%rbp)
setne  %al
mov    %al,-0x21(%rbp)
mov    -0x21(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    $0x1,%al
cmpl   $0x0,-0x18(%rbp)
mov    %al,-0x22(%rbp)
jne    127a <main+0x16a>
cmpl   $0x0,-0x18(%rbp)
setne  %al
mov    %al,-0x22(%rbp)
mov    -0x22(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    $0x1,%al
cmpl   $0x0,-0x1c(%rbp)
mov    %al,-0x23(%rbp)
jne    12ab <main+0x19b>
cmpl   $0x0,-0x1c(%rbp)
setne  %al
mov    %al,-0x23(%rbp)
mov    -0x23(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
xor    %eax,%eax
cmpl   $0x0,-0x18(%rbp)
mov    %al,-0x24(%rbp)
je     12dc <main+0x1cc>
cmpl   $0x0,-0x1c(%rbp)
setne  %al
mov    %al,-0x24(%rbp)
mov    -0x24(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
xor    %eax,%eax
cmpl   $0x0,-0x18(%rbp)
mov    %al,-0x25(%rbp)
je     130d <main+0x1fd>
cmpl   $0x0,-0x18(%rbp)
setne  %al
mov    %al,-0x25(%rbp)
mov    -0x25(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
xor    %eax,%eax
cmpl   $0x0,-0x1c(%rbp)
mov    %al,-0x26(%rbp)
je     133e <main+0x22e>
cmpl   $0x0,-0x1c(%rbp)
setne  %al
mov    %al,-0x26(%rbp)
mov    -0x26(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
cmpl   $0x0,-0x1c(%rbp)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
cmpl   $0x0,-0x18(%rbp)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x18(%rbp),%eax
and    -0x18(%rbp),%eax
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x18(%rbp),%eax
and    -0x1c(%rbp),%eax
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x1c(%rbp),%eax
and    -0x18(%rbp),%eax
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x1c(%rbp),%eax
and    -0x1c(%rbp),%eax
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x18(%rbp),%eax
or     -0x18(%rbp),%eax
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x18(%rbp),%eax
or     -0x1c(%rbp),%eax
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x1c(%rbp),%eax
or     -0x18(%rbp),%eax
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x1c(%rbp),%eax
or     -0x1c(%rbp),%eax
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x18(%rbp),%eax
xor    -0x18(%rbp),%eax
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x18(%rbp),%eax
xor    -0x1c(%rbp),%eax
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x1c(%rbp),%eax
xor    -0x18(%rbp),%eax
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x1c(%rbp),%eax
xor    -0x1c(%rbp),%eax
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x8(%rbp),%eax
cmp    -0xc(%rbp),%eax
setl   %al
and    $0x1,%al
movzbl %al,%eax
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x8(%rbp),%eax
cmp    -0xc(%rbp),%eax
setg   %al
and    $0x1,%al
movzbl %al,%eax
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x8(%rbp),%eax
cmp    -0xc(%rbp),%eax
sete   %al
and    $0x1,%al
movzbl %al,%eax
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x8(%rbp),%eax
cmp    -0xc(%rbp),%eax
setne  %al
and    $0x1,%al
movzbl %al,%eax
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
xor    %eax,%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rax
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
xor    %eax,%eax
pop    %rcx
ret

LLVM IR (-O0):
define i32 @main() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
store i32 0, i32* %1
store i32 1, i32* %2
store i32 2, i32* %3
store i32 -1, i32* %4
store i32 -2, i32* %5
%9 = load i32, i32* %2
%10 = load i32, i32* %3
%11 = add nsw i32 %9, %10
%12 = icmp eq i32 %11, 3
%13 = zext i1 %12 to i32
%14 = call i32 @assert(i32 %13)
%15 = load i32, i32* %2
%16 = load i32, i32* %5
%17 = add nsw i32 %15, %16
%18 = icmp eq i32 %17, -1
%19 = zext i1 %18 to i32
%20 = call i32 @assert(i32 %19)
%21 = load i32, i32* %2
%22 = load i32, i32* %3
%23 = mul nsw i32 %21, %22
%24 = icmp eq i32 %23, 2
%25 = zext i1 %24 to i32
%26 = call i32 @assert(i32 %25)
%27 = load i32, i32* %3
%28 = load i32, i32* %4
%29 = mul nsw i32 %27, %28
%30 = icmp eq i32 %29, -2
%31 = zext i1 %30 to i32
%32 = call i32 @assert(i32 %31)
%33 = load i32, i32* %2
%34 = load i32, i32* %3
%35 = sdiv i32 %33, %34
%36 = icmp eq i32 %35, 0
%37 = zext i1 %36 to i32
%38 = call i32 @assert(i32 %37)
%39 = load i32, i32* %5
%40 = load i32, i32* %4
%41 = sdiv i32 %39, %40
%42 = icmp eq i32 %41, 2
%43 = zext i1 %42 to i32
%44 = call i32 @assert(i32 %43)
%45 = load i32, i32* %3
%46 = load i32, i32* %2
%47 = srem i32 %45, %46
%48 = icmp eq i32 %47, 0
%49 = zext i1 %48 to i32
%50 = call i32 @assert(i32 %49)
%51 = load i32, i32* %5
%52 = load i32, i32* %4
%53 = srem i32 %51, %52
%54 = icmp eq i32 %53, 0
%55 = zext i1 %54 to i32
%56 = call i32 @assert(i32 %55)
%57 = load i32, i32* %2
%58 = sub nsw i32 0, %57
%59 = icmp eq i32 %58, -1
%60 = zext i1 %59 to i32
%61 = call i32 @assert(i32 %60)
%62 = load i32, i32* %5
%63 = sub nsw i32 0, %62
%64 = icmp eq i32 %63, 2
%65 = zext i1 %64 to i32
%66 = call i32 @assert(i32 %65)
store i32 0, i32* %6
store i32 1, i32* %7
store i32 0, i32* %8
%67 = load i32, i32* %6
%68 = icmp ne i32 %67, 0
br i1 %68, label %72, label %69
69: ; preds = %0
%70 = load i32, i32* %7
%71 = icmp ne i32 %70, 0
br label %72
72: ; preds = %69, %0
%73 = phi i1 [ true, %0 ], [ %71, %69 ]
%74 = zext i1 %73 to i32
%75 = icmp eq i32 %74, 1
%76 = zext i1 %75 to i32
%77 = call i32 @assert(i32 %76)
%78 = load i32, i32* %6
%79 = icmp ne i32 %78, 0
br i1 %79, label %83, label %80
80: ; preds = %72
%81 = load i32, i32* %6
%82 = icmp ne i32 %81, 0
br label %83
83: ; preds = %80, %72
%84 = phi i1 [ true, %72 ], [ %82, %80 ]
%85 = zext i1 %84 to i32
%86 = icmp eq i32 %85, 0
%87 = zext i1 %86 to i32
%88 = call i32 @assert(i32 %87)
%89 = load i32, i32* %7
%90 = icmp ne i32 %89, 0
br i1 %90, label %94, label %91
91: ; preds = %83
%92 = load i32, i32* %7
%93 = icmp ne i32 %92, 0
br label %94
94: ; preds = %91, %83
%95 = phi i1 [ true, %83 ], [ %93, %91 ]
%96 = zext i1 %95 to i32
%97 = icmp eq i32 %96, 1
%98 = zext i1 %97 to i32
%99 = call i32 @assert(i32 %98)
%100 = load i32, i32* %6
%101 = icmp ne i32 %100, 0
br i1 %101, label %102, label %105
102: ; preds = %94
%103 = load i32, i32* %7
%104 = icmp ne i32 %103, 0
br label %105
105: ; preds = %102, %94
%106 = phi i1 [ false, %94 ], [ %104, %102 ]
%107 = zext i1 %106 to i32
%108 = icmp eq i32 %107, 0
%109 = zext i1 %108 to i32
%110 = call i32 @assert(i32 %109)
%111 = load i32, i32* %6
%112 = icmp ne i32 %111, 0
br i1 %112, label %113, label %116
113: ; preds = %105
%114 = load i32, i32* %6
%115 = icmp ne i32 %114, 0
br label %116
116: ; preds = %113, %105
%117 = phi i1 [ false, %105 ], [ %115, %113 ]
%118 = zext i1 %117 to i32
%119 = icmp eq i32 %118, 0
%120 = zext i1 %119 to i32
%121 = call i32 @assert(i32 %120)
%122 = load i32, i32* %7
%123 = icmp ne i32 %122, 0
br i1 %123, label %124, label %127
124: ; preds = %116
%125 = load i32, i32* %7
%126 = icmp ne i32 %125, 0
br label %127
127: ; preds = %124, %116
%128 = phi i1 [ false, %116 ], [ %126, %124 ]
%129 = zext i1 %128 to i32
%130 = icmp eq i32 %129, 1
%131 = zext i1 %130 to i32
%132 = call i32 @assert(i32 %131)
%133 = load i32, i32* %7
%134 = icmp ne i32 %133, 0
%135 = xor i1 %134, true
%136 = zext i1 %135 to i32
%137 = icmp eq i32 %136, 0
%138 = zext i1 %137 to i32
%139 = call i32 @assert(i32 %138)
%140 = load i32, i32* %6
%141 = icmp ne i32 %140, 0
%142 = xor i1 %141, true
%143 = zext i1 %142 to i32
%144 = icmp eq i32 %143, 1
%145 = zext i1 %144 to i32
%146 = call i32 @assert(i32 %145)
%147 = load i32, i32* %6
%148 = load i32, i32* %6
%149 = and i32 %147, %148
%150 = icmp eq i32 %149, 0
%151 = zext i1 %150 to i32
%152 = call i32 @assert(i32 %151)
%153 = load i32, i32* %6
%154 = load i32, i32* %7
%155 = and i32 %153, %154
%156 = icmp eq i32 %155, 0
%157 = zext i1 %156 to i32
%158 = call i32 @assert(i32 %157)
%159 = load i32, i32* %7
%160 = load i32, i32* %6
%161 = and i32 %159, %160
%162 = icmp eq i32 %161, 0
%163 = zext i1 %162 to i32
%164 = call i32 @assert(i32 %163)
%165 = load i32, i32* %7
%166 = load i32, i32* %7
%167 = and i32 %165, %166
%168 = icmp eq i32 %167, 1
%169 = zext i1 %168 to i32
%170 = call i32 @assert(i32 %169)
%171 = load i32, i32* %6
%172 = load i32, i32* %6
%173 = or i32 %171, %172
%174 = icmp eq i32 %173, 0
%175 = zext i1 %174 to i32
%176 = call i32 @assert(i32 %175)
%177 = load i32, i32* %6
%178 = load i32, i32* %7
%179 = or i32 %177, %178
%180 = icmp eq i32 %179, 1
%181 = zext i1 %180 to i32
%182 = call i32 @assert(i32 %181)
%183 = load i32, i32* %7
%184 = load i32, i32* %6
%185 = or i32 %183, %184
%186 = icmp eq i32 %185, 1
%187 = zext i1 %186 to i32
%188 = call i32 @assert(i32 %187)
%189 = load i32, i32* %7
%190 = load i32, i32* %7
%191 = or i32 %189, %190
%192 = icmp eq i32 %191, 1
%193 = zext i1 %192 to i32
%194 = call i32 @assert(i32 %193)
%195 = load i32, i32* %6
%196 = load i32, i32* %6
%197 = xor i32 %195, %196
%198 = icmp eq i32 %197, 0
%199 = zext i1 %198 to i32
%200 = call i32 @assert(i32 %199)
%201 = load i32, i32* %6
%202 = load i32, i32* %7
%203 = xor i32 %201, %202
%204 = icmp eq i32 %203, 1
%205 = zext i1 %204 to i32
%206 = call i32 @assert(i32 %205)
%207 = load i32, i32* %7
%208 = load i32, i32* %6
%209 = xor i32 %207, %208
%210 = icmp eq i32 %209, 1
%211 = zext i1 %210 to i32
%212 = call i32 @assert(i32 %211)
%213 = load i32, i32* %7
%214 = load i32, i32* %7
%215 = xor i32 %213, %214
%216 = icmp eq i32 %215, 0
%217 = zext i1 %216 to i32
%218 = call i32 @assert(i32 %217)
%219 = load i32, i32* %2
%220 = load i32, i32* %3
%221 = icmp slt i32 %219, %220
%222 = zext i1 %221 to i32
%223 = icmp eq i32 %222, 1
%224 = zext i1 %223 to i32
%225 = call i32 @assert(i32 %224)
%226 = load i32, i32* %2
%227 = load i32, i32* %3
%228 = icmp sgt i32 %226, %227
%229 = zext i1 %228 to i32
%230 = icmp eq i32 %229, 0
%231 = zext i1 %230 to i32
%232 = call i32 @assert(i32 %231)
%233 = load i32, i32* %2
%234 = load i32, i32* %3
%235 = icmp eq i32 %233, %234
%236 = zext i1 %235 to i32
%237 = icmp eq i32 %236, 0
%238 = zext i1 %237 to i32
%239 = call i32 @assert(i32 %238)
%240 = load i32, i32* %2
%241 = load i32, i32* %3
%242 = icmp ne i32 %240, %241
%243 = zext i1 %242 to i32
%244 = icmp eq i32 %243, 1
%245 = zext i1 %244 to i32
%246 = call i32 @assert(i32 %245)
ret i32 0
}

LLVM IR (-O2):
define i32 @main() {
%1 = tail call i32 @assert(i32 1)
%2 = tail call i32 @assert(i32 1)
%3 = tail call i32 @assert(i32 1)
%4 = tail call i32 @assert(i32 1)
%5 = tail call i32 @assert(i32 1)
%6 = tail call i32 @assert(i32 1)
%7 = tail call i32 @assert(i32 1)
%8 = tail call i32 @assert(i32 1)
%9 = tail call i32 @assert(i32 1)
%10 = tail call i32 @assert(i32 1)
%11 = tail call i32 @assert(i32 1)
%12 = tail call i32 @assert(i32 1)
%13 = tail call i32 @assert(i32 1)
%14 = tail call i32 @assert(i32 1)
%15 = tail call i32 @assert(i32 1)
%16 = tail call i32 @assert(i32 1)
%17 = tail call i32 @assert(i32 1)
%18 = tail call i32 @assert(i32 1)
%19 = tail call i32 @assert(i32 1)
%20 = tail call i32 @assert(i32 1)
%21 = tail call i32 @assert(i32 1)
%22 = tail call i32 @assert(i32 1)
%23 = tail call i32 @assert(i32 1)
%24 = tail call i32 @assert(i32 1)
%25 = tail call i32 @assert(i32 1)
%26 = tail call i32 @assert(i32 1)
%27 = tail call i32 @assert(i32 1)
%28 = tail call i32 @assert(i32 1)
%29 = tail call i32 @assert(i32 1)
%30 = tail call i32 @assert(i32 1)
%31 = tail call i32 @assert(i32 1)
%32 = tail call i32 @assert(i32 1)
%33 = tail call i32 @assert(i32 1)
%34 = tail call i32 @assert(i32 1)
ret i32 0
}