#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 /*<<< orphan*/ bu_bzero(unsigned char *, int);
int bu_equal(unsigned char *, unsigned char *, int);
int /*<<< orphan*/ bu_fill(unsigned char *, int);
int /*<<< orphan*/ bu_invert(unsigned char *, unsigned char *, int);
int bu_isset(int *, int, int);
scalar_t__ bu_memcmp(unsigned char *, unsigned char *, int);
int /*<<< orphan*/ bu_memcpy(unsigned char *, unsigned char *, int);
int /*<<< orphan*/ bu_memset(int *, int, int);
int bu_opposite(unsigned char *, unsigned char *, int);
int /*<<< orphan*/ bu_xor(int *, int *, int *, int);
int /*<<< orphan*/ printf(char *);
int main(int argc, char **argv) {
  unsigned char dst, src;
  int dsti, srci, src2i;
  dst = 1;
  bu_bzero(&dst, 1);
  assert(dst == 0);
  dst = 0xFF;
  bu_bzero(&dst, 1);
  assert(dst == 0x00);
  dst = 0x00;
  bu_fill(&dst, 1);
  assert(dst == 0xFF);
  src = 23;
  bu_memcpy(&dst, &src, 1);
  assert(dst == 23);
  src = 0x5A;
  bu_invert(&dst, &src, 1);
  assert(dst = 0xA5);
  assert(0 == bu_memcmp(&src, &src, 1));
  assert(bu_equal(&src, &src, 1));
  assert(!bu_opposite(&src, &src, 1));
  src = 123;
  dst = 98;
  assert(0 != bu_memcmp(&src, &dst, 1));
  assert(1 != bu_equal(&src, &dst, 1));
  assert(1 != bu_opposite(&src, &dst, 1));
  src = 123;
  dst = ~src;
  assert(0 != bu_memcmp(&src, &dst, 1));
  assert(1 != bu_equal(&src, &dst, 1));
  assert(1 == bu_opposite(&src, &dst, 1));
  srci = 0x35;
  dsti = 0;
  bu_memset(&dsti, srci, 4);
  assert(0x35353535 == dsti);
  assert(bu_isset(&dsti, srci, 4));
  dsti = 0x35000035;
  assert(!bu_isset(&dsti, srci, 4));
  srci = 0x01020304;
  src2i = 0x1F2E3D4C;
  bu_xor(&dsti, &srci, &src2i, 4);
  assert(dsti == 0x1E2C3E48);
  argc = argc;
  argv = argv;
  printf("Done.\n");
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
movl   $0x0,-0x4(%rbp)
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movb   $0x1,-0x11(%rbp)
lea    -0x11(%rbp),%rdi
mov    $0x1,%esi
call   10c0 <bu_bzero@plt>
movzbl -0x11(%rbp),%eax
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1090 <assert@plt>
movb   $0xff,-0x11(%rbp)
lea    -0x11(%rbp),%rdi
mov    $0x1,%esi
call   10c0 <bu_bzero@plt>
movzbl -0x11(%rbp),%eax
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1090 <assert@plt>
movb   $0x0,-0x11(%rbp)
lea    -0x11(%rbp),%rdi
mov    $0x1,%esi
call   1030 <bu_fill@plt>
movzbl -0x11(%rbp),%eax
cmp    $0xff,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1090 <assert@plt>
movb   $0x17,-0x12(%rbp)
lea    -0x11(%rbp),%rdi
lea    -0x12(%rbp),%rsi
mov    $0x1,%edx
call   1040 <bu_memcpy@plt>
movzbl -0x11(%rbp),%eax
cmp    $0x17,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1090 <assert@plt>
movb   $0x5a,-0x12(%rbp)
lea    -0x11(%rbp),%rdi
lea    -0x12(%rbp),%rsi
mov    $0x1,%edx
call   1050 <bu_invert@plt>
movb   $0xa5,-0x11(%rbp)
mov    $0xa5,%edi
call   1090 <assert@plt>
lea    -0x12(%rbp),%rsi
mov    $0x1,%edx
mov    %rsi,%rdi
call   10b0 <bu_memcmp@plt>
mov    %rax,%rcx
xor    %eax,%eax
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1090 <assert@plt>
lea    -0x12(%rbp),%rsi
mov    $0x1,%edx
mov    %rsi,%rdi
call   1070 <bu_equal@plt>
mov    %eax,%edi
call   1090 <assert@plt>
lea    -0x12(%rbp),%rsi
mov    $0x1,%edx
mov    %rsi,%rdi
call   10a0 <bu_opposite@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1090 <assert@plt>
movb   $0x7b,-0x12(%rbp)
movb   $0x62,-0x11(%rbp)
lea    -0x12(%rbp),%rdi
lea    -0x11(%rbp),%rsi
mov    $0x1,%edx
call   10b0 <bu_memcmp@plt>
mov    %rax,%rcx
xor    %eax,%eax
cmp    %rcx,%rax
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1090 <assert@plt>
lea    -0x12(%rbp),%rdi
lea    -0x11(%rbp),%rsi
mov    $0x1,%edx
call   1070 <bu_equal@plt>
mov    %eax,%ecx
mov    $0x1,%eax
cmp    %ecx,%eax
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1090 <assert@plt>
lea    -0x12(%rbp),%rdi
lea    -0x11(%rbp),%rsi
mov    $0x1,%edx
call   10a0 <bu_opposite@plt>
mov    %eax,%ecx
mov    $0x1,%eax
cmp    %ecx,%eax
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1090 <assert@plt>
movb   $0x7b,-0x12(%rbp)
movzbl -0x12(%rbp),%eax
xor    $0xffffffff,%eax
mov    %al,-0x11(%rbp)
lea    -0x12(%rbp),%rdi
lea    -0x11(%rbp),%rsi
mov    $0x1,%edx
call   10b0 <bu_memcmp@plt>
mov    %rax,%rcx
xor    %eax,%eax
cmp    %rcx,%rax
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1090 <assert@plt>
lea    -0x12(%rbp),%rdi
lea    -0x11(%rbp),%rsi
mov    $0x1,%edx
call   1070 <bu_equal@plt>
mov    %eax,%ecx
mov    $0x1,%eax
cmp    %ecx,%eax
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1090 <assert@plt>
lea    -0x12(%rbp),%rdi
lea    -0x11(%rbp),%rsi
mov    $0x1,%edx
call   10a0 <bu_opposite@plt>
mov    %eax,%ecx
mov    $0x1,%eax
cmp    %ecx,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1090 <assert@plt>
movl   $0x35,-0x1c(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x1c(%rbp),%esi
lea    -0x18(%rbp),%rdi
mov    $0x4,%edx
call   10e0 <bu_memset@plt>
mov    $0x35353535,%eax
cmp    -0x18(%rbp),%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1090 <assert@plt>
mov    -0x1c(%rbp),%esi
lea    -0x18(%rbp),%rdi
mov    $0x4,%edx
call   10d0 <bu_isset@plt>
mov    %eax,%edi
call   1090 <assert@plt>
movl   $0x35000035,-0x18(%rbp)
mov    -0x1c(%rbp),%esi
lea    -0x18(%rbp),%rdi
mov    $0x4,%edx
call   10d0 <bu_isset@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1090 <assert@plt>
movl   $0x1020304,-0x1c(%rbp)
movl   $0x1f2e3d4c,-0x20(%rbp)
lea    -0x18(%rbp),%rdi
lea    -0x1c(%rbp),%rsi
lea    -0x20(%rbp),%rdx
mov    $0x4,%ecx
call   1080 <bu_xor@plt>
cmpl   $0x1e2c3e48,-0x18(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1090 <assert@plt>
mov    -0x8(%rbp),%eax
mov    %eax,-0x8(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x10(%rbp)
lea    0xb40(%rip),%rdi
call   1060 <printf@plt>
xor    %eax,%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %r14
push   %rbx
sub    $0x18,%rsp
movb   $0x1,0xa(%rsp)
lea    0xa(%rsp),%r14
mov    %r14,%rdi
mov    $0x1,%esi
call   10c0 <bu_bzero@plt>
xor    %edi,%edi
cmpb   $0x0,0xa(%rsp)
sete   %dil
call   1090 <assert@plt>
movb   $0xff,0xa(%rsp)
mov    %r14,%rdi
mov    $0x1,%esi
call   10c0 <bu_bzero@plt>
xor    %edi,%edi
cmpb   $0x0,0xa(%rsp)
sete   %dil
call   1090 <assert@plt>
movb   $0x0,0xa(%rsp)
mov    %r14,%rdi
mov    $0x1,%esi
call   1030 <bu_fill@plt>
xor    %edi,%edi
cmpb   $0xff,0xa(%rsp)
sete   %dil
call   1090 <assert@plt>
movb   $0x17,0xb(%rsp)
lea    0xb(%rsp),%rbx
mov    %r14,%rdi
mov    %rbx,%rsi
mov    $0x1,%edx
call   1040 <bu_memcpy@plt>
xor    %edi,%edi
cmpb   $0x17,0xa(%rsp)
sete   %dil
call   1090 <assert@plt>
movb   $0x5a,0xb(%rsp)
mov    %r14,%rdi
mov    %rbx,%rsi
mov    $0x1,%edx
call   1060 <bu_invert@plt>
movb   $0xa5,0xa(%rsp)
mov    $0xa5,%edi
call   1090 <assert@plt>
mov    %rbx,%rdi
mov    %rbx,%rsi
mov    $0x1,%edx
call   10b0 <bu_memcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
call   1090 <assert@plt>
mov    %rbx,%rdi
mov    %rbx,%rsi
mov    $0x1,%edx
call   1070 <bu_equal@plt>
mov    %eax,%edi
call   1090 <assert@plt>
mov    %rbx,%rdi
mov    %rbx,%rsi
mov    $0x1,%edx
call   10a0 <bu_opposite@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1090 <assert@plt>
movb   $0x7b,0xb(%rsp)
movb   $0x62,0xa(%rsp)
mov    %rbx,%rdi
mov    %r14,%rsi
mov    $0x1,%edx
call   10b0 <bu_memcmp@plt>
xor    %edi,%edi
test   %rax,%rax
setne  %dil
call   1090 <assert@plt>
mov    %rbx,%rdi
mov    %r14,%rsi
mov    $0x1,%edx
call   1070 <bu_equal@plt>
xor    %edi,%edi
cmp    $0x1,%eax
setne  %dil
call   1090 <assert@plt>
mov    %rbx,%rdi
mov    %r14,%rsi
mov    $0x1,%edx
call   10a0 <bu_opposite@plt>
xor    %edi,%edi
cmp    $0x1,%eax
setne  %dil
call   1090 <assert@plt>
movb   $0x7b,0xb(%rsp)
movb   $0x84,0xa(%rsp)
mov    %rbx,%rdi
mov    %r14,%rsi
mov    $0x1,%edx
call   10b0 <bu_memcmp@plt>
xor    %edi,%edi
test   %rax,%rax
setne  %dil
call   1090 <assert@plt>
mov    %rbx,%rdi
mov    %r14,%rsi
mov    $0x1,%edx
call   1070 <bu_equal@plt>
xor    %edi,%edi
cmp    $0x1,%eax
setne  %dil
call   1090 <assert@plt>
mov    %rbx,%rdi
mov    %r14,%rsi
mov    $0x1,%edx
call   10a0 <bu_opposite@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1090 <assert@plt>
movl   $0x0,0xc(%rsp)
lea    0xc(%rsp),%rbx
mov    %rbx,%rdi
mov    $0x35,%esi
mov    $0x4,%edx
call   10e0 <bu_memset@plt>
xor    %edi,%edi
cmpl   $0x35353535,0xc(%rsp)
35
sete   %dil
call   1090 <assert@plt>
mov    %rbx,%rdi
mov    $0x35,%esi
mov    $0x4,%edx
call   10d0 <bu_isset@plt>
mov    %eax,%edi
call   1090 <assert@plt>
movl   $0x35000035,0xc(%rsp)
35
mov    %rbx,%rdi
mov    $0x35,%esi
mov    $0x4,%edx
call   10d0 <bu_isset@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1090 <assert@plt>
movl   $0x1020304,0x14(%rsp)
01
movl   $0x1f2e3d4c,0x10(%rsp)
1f
lea    0x14(%rsp),%rsi
lea    0x10(%rsp),%rdx
mov    %rbx,%rdi
mov    $0x4,%ecx
call   1080 <bu_xor@plt>
xor    %edi,%edi
cmpl   $0x1e2c3e48,0xc(%rsp)
1e
sete   %dil
call   1090 <assert@plt>
lea    0xbb3(%rip),%rdi
call   1050 <puts@plt>
xor    %eax,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
@.str = [7 x i8] c"Done.\0A\00"
define i32 @main(i32 %0, i8** %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i8**
%6 = alloca i8
%7 = alloca i8
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
store i32 0, i32* %3
store i32 %0, i32* %4
store i8** %1, i8*** %5
store i8 1, i8* %6
%11 = call i32 @bu_bzero(i8* %6, i32 1)
%12 = load i8, i8* %6
%13 = zext i8 %12 to i32
%14 = icmp eq i32 %13, 0
%15 = zext i1 %14 to i32
%16 = call i32 @assert(i32 %15)
store i8 -1, i8* %6
%17 = call i32 @bu_bzero(i8* %6, i32 1)
%18 = load i8, i8* %6
%19 = zext i8 %18 to i32
%20 = icmp eq i32 %19, 0
%21 = zext i1 %20 to i32
%22 = call i32 @assert(i32 %21)
store i8 0, i8* %6
%23 = call i32 @bu_fill(i8* %6, i32 1)
%24 = load i8, i8* %6
%25 = zext i8 %24 to i32
%26 = icmp eq i32 %25, 255
%27 = zext i1 %26 to i32
%28 = call i32 @assert(i32 %27)
store i8 23, i8* %7
%29 = call i32 @bu_memcpy(i8* %6, i8* %7, i32 1)
%30 = load i8, i8* %6
%31 = zext i8 %30 to i32
%32 = icmp eq i32 %31, 23
%33 = zext i1 %32 to i32
%34 = call i32 @assert(i32 %33)
store i8 90, i8* %7
%35 = call i32 @bu_invert(i8* %6, i8* %7, i32 1)
store i8 -91, i8* %6
%36 = call i32 @assert(i32 165)
%37 = call i64 @bu_memcmp(i8* %7, i8* %7, i32 1)
%38 = icmp eq i64 0, %37
%39 = zext i1 %38 to i32
%40 = call i32 @assert(i32 %39)
%41 = call i32 @bu_equal(i8* %7, i8* %7, i32 1)
%42 = call i32 @assert(i32 %41)
%43 = call i32 @bu_opposite(i8* %7, i8* %7, i32 1)
%44 = icmp ne i32 %43, 0
%45 = xor i1 %44, true
%46 = zext i1 %45 to i32
%47 = call i32 @assert(i32 %46)
store i8 123, i8* %7
store i8 98, i8* %6
%48 = call i64 @bu_memcmp(i8* %7, i8* %6, i32 1)
%49 = icmp ne i64 0, %48
%50 = zext i1 %49 to i32
%51 = call i32 @assert(i32 %50)
%52 = call i32 @bu_equal(i8* %7, i8* %6, i32 1)
%53 = icmp ne i32 1, %52
%54 = zext i1 %53 to i32
%55 = call i32 @assert(i32 %54)
%56 = call i32 @bu_opposite(i8* %7, i8* %6, i32 1)
%57 = icmp ne i32 1, %56
%58 = zext i1 %57 to i32
%59 = call i32 @assert(i32 %58)
store i8 123, i8* %7
%60 = load i8, i8* %7
%61 = zext i8 %60 to i32
%62 = xor i32 %61, -1
%63 = trunc i32 %62 to i8
store i8 %63, i8* %6
%64 = call i64 @bu_memcmp(i8* %7, i8* %6, i32 1)
%65 = icmp ne i64 0, %64
%66 = zext i1 %65 to i32
%67 = call i32 @assert(i32 %66)
%68 = call i32 @bu_equal(i8* %7, i8* %6, i32 1)
%69 = icmp ne i32 1, %68
%70 = zext i1 %69 to i32
%71 = call i32 @assert(i32 %70)
%72 = call i32 @bu_opposite(i8* %7, i8* %6, i32 1)
%73 = icmp eq i32 1, %72
%74 = zext i1 %73 to i32
%75 = call i32 @assert(i32 %74)
store i32 53, i32* %9
store i32 0, i32* %8
%76 = load i32, i32* %9
%77 = call i32 @bu_memset(i32* %8, i32 %76, i32 4)
%78 = load i32, i32* %8
%79 = icmp eq i32 892679477, %78
%80 = zext i1 %79 to i32
%81 = call i32 @assert(i32 %80)
%82 = load i32, i32* %9
%83 = call i32 @bu_isset(i32* %8, i32 %82, i32 4)
%84 = call i32 @assert(i32 %83)
store i32 889192501, i32* %8
%85 = load i32, i32* %9
%86 = call i32 @bu_isset(i32* %8, i32 %85, i32 4)
%87 = icmp ne i32 %86, 0
%88 = xor i1 %87, true
%89 = zext i1 %88 to i32
%90 = call i32 @assert(i32 %89)
store i32 16909060, i32* %9
store i32 523124044, i32* %10
%91 = call i32 @bu_xor(i32* %8, i32* %9, i32* %10, i32 4)
%92 = load i32, i32* %8
%93 = icmp eq i32 %92, 506216008
%94 = zext i1 %93 to i32
%95 = call i32 @assert(i32 %94)
%96 = load i32, i32* %4
store i32 %96, i32* %4
%97 = load i8**, i8*** %5
store i8** %97, i8*** %5
%98 = call i32 @printf(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str, i64 0, i64 0))
ret i32 0
}

LLVM IR (-O2):
@str = [6 x i8] c"Done.\00"
define i32 @main(i32 %0, i8** nocapture readnone %1) {
%3 = alloca i8
%4 = alloca i8
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = bitcast i32* %5 to i8*
%9 = bitcast i32* %6 to i8*
%10 = bitcast i32* %7 to i8*
store i8 1, i8* %3
%11 = call i32 @bu_bzero(i8* %3, i32 1)
%12 = load i8, i8* %3
%13 = icmp eq i8 %12, 0
%14 = zext i1 %13 to i32
%15 = call i32 @assert(i32 %14)
store i8 -1, i8* %3
%16 = call i32 @bu_bzero(i8* %3, i32 1)
%17 = load i8, i8* %3
%18 = icmp eq i8 %17, 0
%19 = zext i1 %18 to i32
%20 = call i32 @assert(i32 %19)
store i8 0, i8* %3
%21 = call i32 @bu_fill(i8* %3, i32 1)
%22 = load i8, i8* %3
%23 = icmp eq i8 %22, -1
%24 = zext i1 %23 to i32
%25 = call i32 @assert(i32 %24)
store i8 23, i8* %4
%26 = call i32 @bu_memcpy(i8* %3, i8* %4, i32 1)
%27 = load i8, i8* %3
%28 = icmp eq i8 %27, 23
%29 = zext i1 %28 to i32
%30 = call i32 @assert(i32 %29)
store i8 90, i8* %4
%31 = call i32 @bu_invert(i8* %3, i8* %4, i32 1)
store i8 -91, i8* %3
%32 = call i32 @assert(i32 165)
%33 = call i64 @bu_memcmp(i8* %4, i8* %4, i32 1)
%34 = icmp eq i64 %33, 0
%35 = zext i1 %34 to i32
%36 = call i32 @assert(i32 %35)
%37 = call i32 @bu_equal(i8* %4, i8* %4, i32 1)
%38 = call i32 @assert(i32 %37)
%39 = call i32 @bu_opposite(i8* %4, i8* %4, i32 1)
%40 = icmp eq i32 %39, 0
%41 = zext i1 %40 to i32
%42 = call i32 @assert(i32 %41)
store i8 123, i8* %4
store i8 98, i8* %3
%43 = call i64 @bu_memcmp(i8* %4, i8* %3, i32 1)
%44 = icmp ne i64 %43, 0
%45 = zext i1 %44 to i32
%46 = call i32 @assert(i32 %45)
%47 = call i32 @bu_equal(i8* %4, i8* %3, i32 1)
%48 = icmp ne i32 %47, 1
%49 = zext i1 %48 to i32
%50 = call i32 @assert(i32 %49)
%51 = call i32 @bu_opposite(i8* %4, i8* %3, i32 1)
%52 = icmp ne i32 %51, 1
%53 = zext i1 %52 to i32
%54 = call i32 @assert(i32 %53)
store i8 123, i8* %4
store i8 -124, i8* %3
%55 = call i64 @bu_memcmp(i8* %4, i8* %3, i32 1)
%56 = icmp ne i64 %55, 0
%57 = zext i1 %56 to i32
%58 = call i32 @assert(i32 %57)
%59 = call i32 @bu_equal(i8* %4, i8* %3, i32 1)
%60 = icmp ne i32 %59, 1
%61 = zext i1 %60 to i32
%62 = call i32 @assert(i32 %61)
%63 = call i32 @bu_opposite(i8* %4, i8* %3, i32 1)
%64 = icmp eq i32 %63, 1
%65 = zext i1 %64 to i32
%66 = call i32 @assert(i32 %65)
store i32 0, i32* %5
%67 = call i32 @bu_memset(i32* %5, i32 53, i32 4)
%68 = load i32, i32* %5
%69 = icmp eq i32 %68, 892679477
%70 = zext i1 %69 to i32
%71 = call i32 @assert(i32 %70)
%72 = call i32 @bu_isset(i32* %5, i32 53, i32 4)
%73 = call i32 @assert(i32 %72)
store i32 889192501, i32* %5
%74 = call i32 @bu_isset(i32* %5, i32 53, i32 4)
%75 = icmp eq i32 %74, 0
%76 = zext i1 %75 to i32
%77 = call i32 @assert(i32 %76)
store i32 16909060, i32* %6
store i32 523124044, i32* %7
%78 = call i32 @bu_xor(i32* %5, i32* %6, i32* %7, i32 4)
%79 = load i32, i32* %5
%80 = icmp eq i32 %79, 506216008
%81 = zext i1 %80 to i32
%82 = call i32 @assert(i32 %81)
%83 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([6 x i8], [6 x i8]* @str, i64 0, i64 0))
ret i32 0
}