#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 find_number_of_zeros_in_array_of_ones_and_zeros_v1(int *, int);
int find_number_of_zeros_in_array_of_ones_and_zeros_v2(int *, int);
int main() {
  int array11[] = {1, 1, 1, 1, 1, 0, 0, 0, 0, 0};
  assert(5 == find_number_of_zeros_in_array_of_ones_and_zeros_v1(array11, 10));
  int array12[] = {0, 0, 0, 0, 0, 0, 0, 0, 0, 0};
  assert(10 == find_number_of_zeros_in_array_of_ones_and_zeros_v1(array12, 10));
  int array13[] = {1, 1, 1, 1, 1, 1, 1, 1, 1, 1};
  assert(0 == find_number_of_zeros_in_array_of_ones_and_zeros_v1(array13, 10));
  int array14[] = {1, 0, 0, 0, 0, 0, 0, 0, 0, 0};
  assert(9 == find_number_of_zeros_in_array_of_ones_and_zeros_v1(array14, 10));
  int array15[] = {1, 1, 1, 1, 1, 1, 1, 1, 1, 0};
  assert(1 == find_number_of_zeros_in_array_of_ones_and_zeros_v1(array15, 10));
  int array21[] = {1, 1, 1, 1, 1, 0, 0, 0, 0, 0};
  assert(5 == find_number_of_zeros_in_array_of_ones_and_zeros_v2(array21, 10));
  int array22[] = {0, 0, 0, 0, 0, 0, 0, 0, 0, 0};
  assert(10 == find_number_of_zeros_in_array_of_ones_and_zeros_v2(array22, 10));
  int array23[] = {1, 1, 1, 1, 1, 1, 1, 1, 1, 1};
  assert(0 == find_number_of_zeros_in_array_of_ones_and_zeros_v2(array23, 10));
  int array24[] = {1, 0, 0, 0, 0, 0, 0, 0, 0, 0};
  assert(9 == find_number_of_zeros_in_array_of_ones_and_zeros_v2(array24, 10));
  int array25[] = {1, 1, 1, 1, 1, 1, 1, 1, 1, 0};
  assert(1 == find_number_of_zeros_in_array_of_ones_and_zeros_v2(array25, 10));
  return (0);
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x1e0,%rsp
movl   $0x0,-0x4(%rbp)
lea    -0x30(%rbp),%rdi
xor    %esi,%esi
mov    $0x28,%edx
call   1040 <memset@plt>
movl   $0x1,-0x30(%rbp)
movl   $0x1,-0x2c(%rbp)
movl   $0x1,-0x28(%rbp)
movl   $0x1,-0x24(%rbp)
movl   $0x1,-0x20(%rbp)
lea    -0x30(%rbp),%rdi
mov    $0xa,%esi
call   1030 <find_number_of_zeros_in_array_of_ones_and_zeros_v1@plt>
mov    %eax,%ecx
mov    $0x5,%eax
cmp    %ecx,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
lea    -0x60(%rbp),%rdi
xor    %esi,%esi
mov    $0x28,%edx
call   1040 <memset@plt>
lea    -0x60(%rbp),%rdi
mov    $0xa,%esi
call   1030 <find_number_of_zeros_in_array_of_ones_and_zeros_v1@plt>
mov    %eax,%ecx
mov    $0xa,%eax
cmp    %ecx,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
lea    -0x90(%rbp),%rdi
lea    0xe05(%rip),%rsi
mov    $0x28,%edx
call   1060 <memcpy@plt>
lea    -0x90(%rbp),%rdi
mov    $0xa,%esi
call   1030 <find_number_of_zeros_in_array_of_ones_and_zeros_v1@plt>
mov    %eax,%ecx
xor    %eax,%eax
cmp    %ecx,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
lea    -0xc0(%rbp),%rdi
xor    %esi,%esi
mov    $0x28,%edx
call   1040 <memset@plt>
movl   $0x1,-0xc0(%rbp)
lea    -0xc0(%rbp),%rdi
mov    $0xa,%esi
call   1030 <find_number_of_zeros_in_array_of_ones_and_zeros_v1@plt>
mov    %eax,%ecx
mov    $0x9,%eax
cmp    %ecx,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
lea    -0xf0(%rbp),%rdi
lea    0xde5(%rip),%rsi
mov    $0x28,%edx
call   1060 <memcpy@plt>
lea    -0xf0(%rbp),%rdi
mov    $0xa,%esi
call   1030 <find_number_of_zeros_in_array_of_ones_and_zeros_v1@plt>
mov    %eax,%ecx
mov    $0x1,%eax
cmp    %ecx,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
lea    -0x120(%rbp),%rdi
xor    %esi,%esi
mov    $0x28,%edx
call   1040 <memset@plt>
movl   $0x1,-0x120(%rbp)
movl   $0x1,-0x11c(%rbp)
movl   $0x1,-0x118(%rbp)
movl   $0x1,-0x114(%rbp)
movl   $0x1,-0x110(%rbp)
lea    -0x120(%rbp),%rdi
mov    $0xa,%esi
call   1070 <find_number_of_zeros_in_array_of_ones_and_zeros_v2@plt>
mov    %eax,%ecx
mov    $0x5,%eax
cmp    %ecx,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
lea    -0x150(%rbp),%rdi
xor    %esi,%esi
mov    $0x28,%edx
call   1040 <memset@plt>
lea    -0x150(%rbp),%rdi
mov    $0xa,%esi
call   1070 <find_number_of_zeros_in_array_of_ones_and_zeros_v2@plt>
mov    %eax,%ecx
mov    $0xa,%eax
cmp    %ecx,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
lea    -0x180(%rbp),%rdi
lea    0xcd0(%rip),%rsi
mov    $0x28,%edx
call   1060 <memcpy@plt>
lea    -0x180(%rbp),%rdi
mov    $0xa,%esi
call   1070 <find_number_of_zeros_in_array_of_ones_and_zeros_v2@plt>
mov    %eax,%ecx
xor    %eax,%eax
cmp    %ecx,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
lea    -0x1b0(%rbp),%rdi
xor    %esi,%esi
mov    $0x28,%edx
call   1040 <memset@plt>
movl   $0x1,-0x1b0(%rbp)
lea    -0x1b0(%rbp),%rdi
mov    $0xa,%esi
call   1070 <find_number_of_zeros_in_array_of_ones_and_zeros_v2@plt>
mov    %eax,%ecx
mov    $0x9,%eax
cmp    %ecx,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
lea    -0x1e0(%rbp),%rdi
lea    0xc80(%rip),%rsi
mov    $0x28,%edx
call   1060 <memcpy@plt>
lea    -0x1e0(%rbp),%rdi
mov    $0xa,%esi
call   1070 <find_number_of_zeros_in_array_of_ones_and_zeros_v2@plt>
mov    %eax,%ecx
mov    $0x1,%eax
cmp    %ecx,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
xor    %eax,%eax
add    $0x1e0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %r14
push   %rbx
sub    $0x1d8,%rsp
xorps  %xmm0,%xmm0
movaps %xmm0,0xa0(%rsp)
movq   $0x0,0xb0(%rsp)
movaps 0xea8(%rip),%xmm0
movaps %xmm0,0x90(%rsp)
movl   $0x1,0xa0(%rsp)
lea    0x90(%rsp),%rdi
mov    $0xa,%esi
call   1030 <find_number_of_zeros_in_array_of_ones_and_zeros_v1@plt>
xor    %edi,%edi
cmp    $0x5,%eax
sete   %dil
call   1040 <assert@plt>
xorps  %xmm0,%xmm0
movaps %xmm0,0x1c0(%rsp)
movaps %xmm0,0x1b0(%rsp)
movq   $0x0,0x1d0(%rsp)
lea    0x1b0(%rsp),%rdi
mov    $0xa,%esi
call   1030 <find_number_of_zeros_in_array_of_ones_and_zeros_v1@plt>
xor    %edi,%edi
cmp    $0xa,%eax
sete   %dil
call   1040 <assert@plt>
mov    0xe6f(%rip),%r14
mov    %r14,0x1a0(%rsp)
movaps 0xe50(%rip),%xmm0
movaps %xmm0,0x190(%rsp)
movaps 0xe31(%rip),%xmm0
movaps %xmm0,0x180(%rsp)
lea    0x180(%rsp),%rdi
mov    $0xa,%esi
call   1030 <find_number_of_zeros_in_array_of_ones_and_zeros_v1@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1040 <assert@plt>
xorps  %xmm0,%xmm0
movaps %xmm0,0x60(%rsp)
movaps %xmm0,0x70(%rsp)
movq   $0x0,0x80(%rsp)
movl   $0x1,0x60(%rsp)
lea    0x60(%rsp),%rdi
mov    $0xa,%esi
call   1030 <find_number_of_zeros_in_array_of_ones_and_zeros_v1@plt>
xor    %edi,%edi
cmp    $0x9,%eax
sete   %dil
call   1040 <assert@plt>
mov    0xe15(%rip),%rbx
mov    %rbx,0x170(%rsp)
movaps 0xdf6(%rip),%xmm0
movaps %xmm0,0x160(%rsp)
movaps 0xdd7(%rip),%xmm0
movaps %xmm0,0x150(%rsp)
lea    0x150(%rsp),%rdi
mov    $0xa,%esi
call   1030 <find_number_of_zeros_in_array_of_ones_and_zeros_v1@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1040 <assert@plt>
xorps  %xmm0,%xmm0
movaps %xmm0,0x40(%rsp)
movq   $0x0,0x50(%rsp)
movaps 0xd47(%rip),%xmm0
movaps %xmm0,0x30(%rsp)
movl   $0x1,0x40(%rsp)
lea    0x30(%rsp),%rdi
mov    $0xa,%esi
call   1050 <find_number_of_zeros_in_array_of_ones_and_zeros_v2@plt>
xor    %edi,%edi
cmp    $0x5,%eax
sete   %dil
call   1040 <assert@plt>
xorps  %xmm0,%xmm0
movaps %xmm0,0x130(%rsp)
movaps %xmm0,0x120(%rsp)
movq   $0x0,0x140(%rsp)
lea    0x120(%rsp),%rdi
mov    $0xa,%esi
call   1050 <find_number_of_zeros_in_array_of_ones_and_zeros_v2@plt>
xor    %edi,%edi
cmp    $0xa,%eax
sete   %dil
call   1040 <assert@plt>
mov    %r14,0x110(%rsp)
movaps 0xcff(%rip),%xmm0
movaps %xmm0,0x100(%rsp)
movaps 0xce0(%rip),%xmm0
movaps %xmm0,0xf0(%rsp)
lea    0xf0(%rsp),%rdi
mov    $0xa,%esi
call   1050 <find_number_of_zeros_in_array_of_ones_and_zeros_v2@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1040 <assert@plt>
xorps  %xmm0,%xmm0
movaps %xmm0,(%rsp)
movaps %xmm0,0x10(%rsp)
movq   $0x0,0x20(%rsp)
movl   $0x1,(%rsp)
mov    %rsp,%rdi
mov    $0xa,%esi
call   1050 <find_number_of_zeros_in_array_of_ones_and_zeros_v2@plt>
xor    %edi,%edi
cmp    $0x9,%eax
sete   %dil
call   1040 <assert@plt>
mov    %rbx,0xe0(%rsp)
movaps 0xcb3(%rip),%xmm0
movaps %xmm0,0xd0(%rsp)
movaps 0xc94(%rip),%xmm0
movaps %xmm0,0xc0(%rsp)
lea    0xc0(%rsp),%rdi
mov    $0xa,%esi
call   1050 <find_number_of_zeros_in_array_of_ones_and_zeros_v2@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1040 <assert@plt>
xor    %eax,%eax
add    $0x1d8,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
@__const.main.array13 = [10 x i32] [i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1]
@__const.main.array15 = [10 x i32] [i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 0]
@__const.main.array23 = [10 x i32] [i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1]
@__const.main.array25 = [10 x i32] [i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 0]
define i32 @main() {
%1 = alloca i32
%2 = alloca [10 x i32]
%3 = alloca [10 x i32]
%4 = alloca [10 x i32]
%5 = alloca [10 x i32]
%6 = alloca [10 x i32]
%7 = alloca [10 x i32]
%8 = alloca [10 x i32]
%9 = alloca [10 x i32]
%10 = alloca [10 x i32]
%11 = alloca [10 x i32]
store i32 0, i32* %1
%12 = bitcast [10 x i32]* %2 to i8*
%13 = bitcast i8* %12 to [10 x i32]*
%14 = getelementptr inbounds [10 x i32], [10 x i32]* %13, i32 0, i32 0
store i32 1, i32* %14
%15 = getelementptr inbounds [10 x i32], [10 x i32]* %13, i32 0, i32 1
store i32 1, i32* %15
%16 = getelementptr inbounds [10 x i32], [10 x i32]* %13, i32 0, i32 2
store i32 1, i32* %16
%17 = getelementptr inbounds [10 x i32], [10 x i32]* %13, i32 0, i32 3
store i32 1, i32* %17
%18 = getelementptr inbounds [10 x i32], [10 x i32]* %13, i32 0, i32 4
store i32 1, i32* %18
%19 = getelementptr inbounds [10 x i32], [10 x i32]* %2, i64 0, i64 0
%20 = call i32 @find_number_of_zeros_in_array_of_ones_and_zeros_v1(i32* %19, i32 10)
%21 = icmp eq i32 5, %20
%22 = zext i1 %21 to i32
%23 = call i32 @assert(i32 %22)
%24 = bitcast [10 x i32]* %3 to i8*
%25 = getelementptr inbounds [10 x i32], [10 x i32]* %3, i64 0, i64 0
%26 = call i32 @find_number_of_zeros_in_array_of_ones_and_zeros_v1(i32* %25, i32 10)
%27 = icmp eq i32 10, %26
%28 = zext i1 %27 to i32
%29 = call i32 @assert(i32 %28)
%30 = bitcast [10 x i32]* %4 to i8*
%31 = getelementptr inbounds [10 x i32], [10 x i32]* %4, i64 0, i64 0
%32 = call i32 @find_number_of_zeros_in_array_of_ones_and_zeros_v1(i32* %31, i32 10)
%33 = icmp eq i32 0, %32
%34 = zext i1 %33 to i32
%35 = call i32 @assert(i32 %34)
%36 = bitcast [10 x i32]* %5 to i8*
%37 = bitcast i8* %36 to <{ i32, [9 x i32] }>*
%38 = getelementptr inbounds <{ i32, [9 x i32] }>, <{ i32, [9 x i32] }>* %37, i32 0, i32 0
store i32 1, i32* %38
%39 = getelementptr inbounds [10 x i32], [10 x i32]* %5, i64 0, i64 0
%40 = call i32 @find_number_of_zeros_in_array_of_ones_and_zeros_v1(i32* %39, i32 10)
%41 = icmp eq i32 9, %40
%42 = zext i1 %41 to i32
%43 = call i32 @assert(i32 %42)
%44 = bitcast [10 x i32]* %6 to i8*
%45 = getelementptr inbounds [10 x i32], [10 x i32]* %6, i64 0, i64 0
%46 = call i32 @find_number_of_zeros_in_array_of_ones_and_zeros_v1(i32* %45, i32 10)
%47 = icmp eq i32 1, %46
%48 = zext i1 %47 to i32
%49 = call i32 @assert(i32 %48)
%50 = bitcast [10 x i32]* %7 to i8*
%51 = bitcast i8* %50 to [10 x i32]*
%52 = getelementptr inbounds [10 x i32], [10 x i32]* %51, i32 0, i32 0
store i32 1, i32* %52
%53 = getelementptr inbounds [10 x i32], [10 x i32]* %51, i32 0, i32 1
store i32 1, i32* %53
%54 = getelementptr inbounds [10 x i32], [10 x i32]* %51, i32 0, i32 2
store i32 1, i32* %54
%55 = getelementptr inbounds [10 x i32], [10 x i32]* %51, i32 0, i32 3
store i32 1, i32* %55
%56 = getelementptr inbounds [10 x i32], [10 x i32]* %51, i32 0, i32 4
store i32 1, i32* %56
%57 = getelementptr inbounds [10 x i32], [10 x i32]* %7, i64 0, i64 0
%58 = call i32 @find_number_of_zeros_in_array_of_ones_and_zeros_v2(i32* %57, i32 10)
%59 = icmp eq i32 5, %58
%60 = zext i1 %59 to i32
%61 = call i32 @assert(i32 %60)
%62 = bitcast [10 x i32]* %8 to i8*
%63 = getelementptr inbounds [10 x i32], [10 x i32]* %8, i64 0, i64 0
%64 = call i32 @find_number_of_zeros_in_array_of_ones_and_zeros_v2(i32* %63, i32 10)
%65 = icmp eq i32 10, %64
%66 = zext i1 %65 to i32
%67 = call i32 @assert(i32 %66)
%68 = bitcast [10 x i32]* %9 to i8*
%69 = getelementptr inbounds [10 x i32], [10 x i32]* %9, i64 0, i64 0
%70 = call i32 @find_number_of_zeros_in_array_of_ones_and_zeros_v2(i32* %69, i32 10)
%71 = icmp eq i32 0, %70
%72 = zext i1 %71 to i32
%73 = call i32 @assert(i32 %72)
%74 = bitcast [10 x i32]* %10 to i8*
%75 = bitcast i8* %74 to <{ i32, [9 x i32] }>*
%76 = getelementptr inbounds <{ i32, [9 x i32] }>, <{ i32, [9 x i32] }>* %75, i32 0, i32 0
store i32 1, i32* %76
%77 = getelementptr inbounds [10 x i32], [10 x i32]* %10, i64 0, i64 0
%78 = call i32 @find_number_of_zeros_in_array_of_ones_and_zeros_v2(i32* %77, i32 10)
%79 = icmp eq i32 9, %78
%80 = zext i1 %79 to i32
%81 = call i32 @assert(i32 %80)
%82 = bitcast [10 x i32]* %11 to i8*
%83 = getelementptr inbounds [10 x i32], [10 x i32]* %11, i64 0, i64 0
%84 = call i32 @find_number_of_zeros_in_array_of_ones_and_zeros_v2(i32* %83, i32 10)
%85 = icmp eq i32 1, %84
%86 = zext i1 %85 to i32
%87 = call i32 @assert(i32 %86)
ret i32 0
}

LLVM IR (-O2):
@__const.main.array23 = [10 x i32] [i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1]
@__const.main.array25 = [10 x i32] [i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 0]
define i32 @main() {
%1 = alloca [10 x i32]
%2 = alloca [10 x i32]
%3 = alloca [10 x i32]
%4 = alloca [10 x i32]
%5 = alloca [10 x i32]
%6 = alloca [10 x i32]
%7 = alloca [10 x i32]
%8 = alloca [10 x i32]
%9 = alloca [10 x i32]
%10 = alloca [10 x i32]
%11 = bitcast [10 x i32]* %1 to i8*
%12 = getelementptr inbounds [10 x i32], [10 x i32]* %1, i64 0, i64 4
%13 = bitcast i32* %12 to i8*
%14 = getelementptr inbounds [10 x i32], [10 x i32]* %1, i64 0, i64 0
%15 = bitcast [10 x i32]* %1 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %15
%16 = getelementptr inbounds [10 x i32], [10 x i32]* %1, i64 0, i64 4
store i32 1, i32* %16
%17 = call i32 @find_number_of_zeros_in_array_of_ones_and_zeros_v1(i32* %14, i32 10)
%18 = icmp eq i32 %17, 5
%19 = zext i1 %18 to i32
%20 = call i32 @assert(i32 %19)
%21 = bitcast [10 x i32]* %2 to i8*
%22 = getelementptr inbounds [10 x i32], [10 x i32]* %2, i64 0, i64 0
%23 = call i32 @find_number_of_zeros_in_array_of_ones_and_zeros_v1(i32* %22, i32 10)
%24 = icmp eq i32 %23, 10
%25 = zext i1 %24 to i32
%26 = call i32 @assert(i32 %25)
%27 = bitcast [10 x i32]* %3 to i8*
%28 = getelementptr inbounds [10 x i32], [10 x i32]* %3, i64 0, i64 0
%29 = call i32 @find_number_of_zeros_in_array_of_ones_and_zeros_v1(i32* %28, i32 10)
%30 = icmp eq i32 %29, 0
%31 = zext i1 %30 to i32
%32 = call i32 @assert(i32 %31)
%33 = bitcast [10 x i32]* %4 to i8*
%34 = getelementptr inbounds [10 x i32], [10 x i32]* %4, i64 0, i64 0
store i32 1, i32* %34
%35 = call i32 @find_number_of_zeros_in_array_of_ones_and_zeros_v1(i32* %34, i32 10)
%36 = icmp eq i32 %35, 9
%37 = zext i1 %36 to i32
%38 = call i32 @assert(i32 %37)
%39 = bitcast [10 x i32]* %5 to i8*
%40 = getelementptr inbounds [10 x i32], [10 x i32]* %5, i64 0, i64 0
%41 = call i32 @find_number_of_zeros_in_array_of_ones_and_zeros_v1(i32* %40, i32 10)
%42 = icmp eq i32 %41, 1
%43 = zext i1 %42 to i32
%44 = call i32 @assert(i32 %43)
%45 = bitcast [10 x i32]* %6 to i8*
%46 = getelementptr inbounds [10 x i32], [10 x i32]* %6, i64 0, i64 4
%47 = bitcast i32* %46 to i8*
%48 = getelementptr inbounds [10 x i32], [10 x i32]* %6, i64 0, i64 0
%49 = bitcast [10 x i32]* %6 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %49
%50 = getelementptr inbounds [10 x i32], [10 x i32]* %6, i64 0, i64 4
store i32 1, i32* %50
%51 = call i32 @find_number_of_zeros_in_array_of_ones_and_zeros_v2(i32* %48, i32 10)
%52 = icmp eq i32 %51, 5
%53 = zext i1 %52 to i32
%54 = call i32 @assert(i32 %53)
%55 = bitcast [10 x i32]* %7 to i8*
%56 = getelementptr inbounds [10 x i32], [10 x i32]* %7, i64 0, i64 0
%57 = call i32 @find_number_of_zeros_in_array_of_ones_and_zeros_v2(i32* %56, i32 10)
%58 = icmp eq i32 %57, 10
%59 = zext i1 %58 to i32
%60 = call i32 @assert(i32 %59)
%61 = bitcast [10 x i32]* %8 to i8*
%62 = getelementptr inbounds [10 x i32], [10 x i32]* %8, i64 0, i64 0
%63 = call i32 @find_number_of_zeros_in_array_of_ones_and_zeros_v2(i32* %62, i32 10)
%64 = icmp eq i32 %63, 0
%65 = zext i1 %64 to i32
%66 = call i32 @assert(i32 %65)
%67 = bitcast [10 x i32]* %9 to i8*
%68 = getelementptr inbounds [10 x i32], [10 x i32]* %9, i64 0, i64 0
store i32 1, i32* %68
%69 = call i32 @find_number_of_zeros_in_array_of_ones_and_zeros_v2(i32* %68, i32 10)
%70 = icmp eq i32 %69, 9
%71 = zext i1 %70 to i32
%72 = call i32 @assert(i32 %71)
%73 = bitcast [10 x i32]* %10 to i8*
%74 = getelementptr inbounds [10 x i32], [10 x i32]* %10, i64 0, i64 0
%75 = call i32 @find_number_of_zeros_in_array_of_ones_and_zeros_v2(i32* %74, i32 10)
%76 = icmp eq i32 %75, 1
%77 = zext i1 %76 to i32
%78 = call i32 @assert(i32 %77)
ret i32 0
}