#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 */
struct DefaultBallot {
  int dummy;
};

/* Variables and functions */
struct DefaultBallot *New_Default_Ballot(int *);
void Hold_Default_Election(struct DefaultBallot *Ballots[55]) {
  int count = 0;
  int vote1[5] = {1, 5, 4, 2, 3};
  int vote2[5] = {5, 1, 4, 3, 2};
  int vote3[5] = {5, 2, 1, 4, 3};
  int vote4[5] = {5, 4, 2, 1, 3};
  int vote5[5] = {5, 2, 4, 3, 1};
  int vote6[5] = {5, 4, 2, 3, 1};
  for (; count < 18; count++) {
    Ballots[count] = New_Default_Ballot(vote1);
  }
  for (; count < 18 + 12; count++) {
    Ballots[count] = New_Default_Ballot(vote2);
  }
  for (; count < 18 + 12 + 10; count++) {
    Ballots[count] = New_Default_Ballot(vote3);
  }
  for (; count < 18 + 12 + 10 + 9; count++) {
    Ballots[count] = New_Default_Ballot(vote4);
  }
  for (; count < 18 + 12 + 10 + 9 + 4; count++) {
    Ballots[count] = New_Default_Ballot(vote5);
  }
  for (; count < 18 + 12 + 10 + 9 + 4 + 2; count++) {
    Ballots[count] = New_Default_Ballot(vote6);
  }
}


x86 assembly (clang, -O0):
<Hold_Default_Election>:
push   %rbp
mov    %rsp,%rbp
sub    $0xc0,%rsp
mov    %rdi,-0x8(%rbp)
movl   $0x0,-0xc(%rbp)
mov    0xed3(%rip),%rax
mov    %rax,-0x20(%rbp)
mov    0xed0(%rip),%rax
mov    %rax,-0x18(%rbp)
mov    0xece(%rip),%eax
mov    %eax,-0x10(%rbp)
mov    0xed4(%rip),%rax
mov    %rax,-0x40(%rbp)
mov    0xed1(%rip),%rax
mov    %rax,-0x38(%rbp)
mov    0xecf(%rip),%eax
mov    %eax,-0x30(%rbp)
mov    0xed5(%rip),%rax
mov    %rax,-0x60(%rbp)
mov    0xed2(%rip),%rax
mov    %rax,-0x58(%rbp)
mov    0xed0(%rip),%eax
mov    %eax,-0x50(%rbp)
mov    0xed6(%rip),%rax
mov    %rax,-0x80(%rbp)
mov    0xed3(%rip),%rax
mov    %rax,-0x78(%rbp)
mov    0xed1(%rip),%eax
mov    %eax,-0x70(%rbp)
mov    0xed7(%rip),%rax
mov    %rax,-0xa0(%rbp)
mov    0xed1(%rip),%rax
mov    %rax,-0x98(%rbp)
mov    0xecc(%rip),%eax
mov    %eax,-0x90(%rbp)
mov    0xecf(%rip),%rax
mov    %rax,-0xc0(%rbp)
mov    0xec9(%rip),%rax
mov    %rax,-0xb8(%rbp)
mov    0xec4(%rip),%eax
mov    %eax,-0xb0(%rbp)
cmpl   $0x12,-0xc(%rbp)
jge    1222 <Hold_Default_Election+0x112>
lea    -0x20(%rbp),%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,%rdx
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    11f2 <Hold_Default_Election+0xe2>
jmp    1227 <Hold_Default_Election+0x117>
cmpl   $0x1e,-0xc(%rbp)
jge    1257 <Hold_Default_Election+0x147>
lea    -0x40(%rbp),%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,%rdx
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1227 <Hold_Default_Election+0x117>
jmp    125c <Hold_Default_Election+0x14c>
cmpl   $0x28,-0xc(%rbp)
jge    128c <Hold_Default_Election+0x17c>
lea    -0x60(%rbp),%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,%rdx
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    125c <Hold_Default_Election+0x14c>
jmp    1291 <Hold_Default_Election+0x181>
cmpl   $0x31,-0xc(%rbp)
jge    12c1 <Hold_Default_Election+0x1b1>
lea    -0x80(%rbp),%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,%rdx
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1291 <Hold_Default_Election+0x181>
jmp    12c6 <Hold_Default_Election+0x1b6>
cmpl   $0x35,-0xc(%rbp)
jge    12f9 <Hold_Default_Election+0x1e9>
lea    -0xa0(%rbp),%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,%rdx
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    12c6 <Hold_Default_Election+0x1b6>
jmp    12fe <Hold_Default_Election+0x1ee>
cmpl   $0x37,-0xc(%rbp)
jge    1331 <Hold_Default_Election+0x221>
lea    -0xc0(%rbp),%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,%rdx
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    12fe <Hold_Default_Election+0x1ee>
add    $0xc0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<Hold_Default_Election>:
push   %r14
push   %rbx
sub    $0xb8,%rsp
mov    %rdi,%rbx
mov    0xeed(%rip),%eax
mov    %eax,0xb0(%rsp)
movaps 0xecf(%rip),%xmm0
movaps %xmm0,0xa0(%rsp)
mov    0xef1(%rip),%eax
mov    %eax,0x90(%rsp)
movaps 0xed3(%rip),%xmm0
movaps %xmm0,0x80(%rsp)
mov    0xef5(%rip),%eax
mov    %eax,0x70(%rsp)
movaps 0xeda(%rip),%xmm0
movaps %xmm0,0x60(%rsp)
mov    0xeff(%rip),%eax
mov    %eax,0x50(%rsp)
movaps 0xee4(%rip),%xmm0
movaps %xmm0,0x40(%rsp)
mov    0xf09(%rip),%eax
mov    %eax,0x30(%rsp)
movaps 0xeee(%rip),%xmm0
movaps %xmm0,0x20(%rsp)
mov    0xf13(%rip),%eax
mov    %eax,0x10(%rsp)
movaps 0xef8(%rip),%xmm0
movaps %xmm0,(%rsp)
lea    0xa0(%rsp),%r14
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x8(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x10(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x18(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x20(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x28(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x30(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x38(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x40(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x48(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x50(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x58(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x60(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x68(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x70(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x78(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x80(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x88(%rbx)
lea    0x80(%rsp),%r14
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x90(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x98(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0xa0(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0xa8(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0xb0(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0xb8(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0xc0(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0xc8(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0xd0(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0xd8(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0xe0(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0xe8(%rbx)
lea    0x60(%rsp),%r14
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0xf0(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0xf8(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x100(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x108(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x110(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x118(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x120(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x128(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x130(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x138(%rbx)
lea    0x40(%rsp),%r14
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x140(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x148(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x150(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x158(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x160(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x168(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x170(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x178(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x180(%rbx)
lea    0x20(%rsp),%r14
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x188(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x190(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x198(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x1a0(%rbx)
mov    %rsp,%r14
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x1a8(%rbx)
mov    %r14,%rdi
call   1030 <New_Default_Ballot@plt>
mov    %rax,0x1b0(%rbx)
add    $0xb8,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
%struct.DefaultBallot = type { i32 }
@__const.Hold_Default_Election.vote1 = [5 x i32] [i32 1, i32 5, i32 4, i32 2, i32 3]
@__const.Hold_Default_Election.vote2 = [5 x i32] [i32 5, i32 1, i32 4, i32 3, i32 2]
@__const.Hold_Default_Election.vote3 = [5 x i32] [i32 5, i32 2, i32 1, i32 4, i32 3]
@__const.Hold_Default_Election.vote4 = [5 x i32] [i32 5, i32 4, i32 2, i32 1, i32 3]
@__const.Hold_Default_Election.vote5 = [5 x i32] [i32 5, i32 2, i32 4, i32 3, i32 1]
@__const.Hold_Default_Election.vote6 = [5 x i32] [i32 5, i32 4, i32 2, i32 3, i32 1]
define void @Hold_Default_Election(%struct.DefaultBallot** %0) {
%2 = alloca %struct.DefaultBallot**
%3 = alloca i32
%4 = alloca [5 x i32]
%5 = alloca [5 x i32]
%6 = alloca [5 x i32]
%7 = alloca [5 x i32]
%8 = alloca [5 x i32]
%9 = alloca [5 x i32]
store %struct.DefaultBallot** %0, %struct.DefaultBallot*** %2
store i32 0, i32* %3
%10 = bitcast [5 x i32]* %4 to i8*
%11 = bitcast [5 x i32]* %5 to i8*
%12 = bitcast [5 x i32]* %6 to i8*
%13 = bitcast [5 x i32]* %7 to i8*
%14 = bitcast [5 x i32]* %8 to i8*
%15 = bitcast [5 x i32]* %9 to i8*
br label %16
16: ; preds = %26, %1
%17 = load i32, i32* %3
%18 = icmp slt i32 %17, 18
br i1 %18, label %19, label %29
19: ; preds = %16
%20 = getelementptr inbounds [5 x i32], [5 x i32]* %4, i64 0, i64 0
%21 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %20)
%22 = load %struct.DefaultBallot**, %struct.DefaultBallot*** %2
%23 = load i32, i32* %3
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %22, i64 %24
store %struct.DefaultBallot* %21, %struct.DefaultBallot** %25
br label %26
26: ; preds = %19
%27 = load i32, i32* %3
%28 = add nsw i32 %27, 1
store i32 %28, i32* %3
br label %16
29: ; preds = %16
br label %30
30: ; preds = %40, %29
%31 = load i32, i32* %3
%32 = icmp slt i32 %31, 30
br i1 %32, label %33, label %43
33: ; preds = %30
%34 = getelementptr inbounds [5 x i32], [5 x i32]* %5, i64 0, i64 0
%35 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %34)
%36 = load %struct.DefaultBallot**, %struct.DefaultBallot*** %2
%37 = load i32, i32* %3
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %36, i64 %38
store %struct.DefaultBallot* %35, %struct.DefaultBallot** %39
br label %40
40: ; preds = %33
%41 = load i32, i32* %3
%42 = add nsw i32 %41, 1
store i32 %42, i32* %3
br label %30
43: ; preds = %30
br label %44
44: ; preds = %54, %43
%45 = load i32, i32* %3
%46 = icmp slt i32 %45, 40
br i1 %46, label %47, label %57
47: ; preds = %44
%48 = getelementptr inbounds [5 x i32], [5 x i32]* %6, i64 0, i64 0
%49 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %48)
%50 = load %struct.DefaultBallot**, %struct.DefaultBallot*** %2
%51 = load i32, i32* %3
%52 = sext i32 %51 to i64
%53 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %50, i64 %52
store %struct.DefaultBallot* %49, %struct.DefaultBallot** %53
br label %54
54: ; preds = %47
%55 = load i32, i32* %3
%56 = add nsw i32 %55, 1
store i32 %56, i32* %3
br label %44
57: ; preds = %44
br label %58
58: ; preds = %68, %57
%59 = load i32, i32* %3
%60 = icmp slt i32 %59, 49
br i1 %60, label %61, label %71
61: ; preds = %58
%62 = getelementptr inbounds [5 x i32], [5 x i32]* %7, i64 0, i64 0
%63 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %62)
%64 = load %struct.DefaultBallot**, %struct.DefaultBallot*** %2
%65 = load i32, i32* %3
%66 = sext i32 %65 to i64
%67 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %64, i64 %66
store %struct.DefaultBallot* %63, %struct.DefaultBallot** %67
br label %68
68: ; preds = %61
%69 = load i32, i32* %3
%70 = add nsw i32 %69, 1
store i32 %70, i32* %3
br label %58
71: ; preds = %58
br label %72
72: ; preds = %82, %71
%73 = load i32, i32* %3
%74 = icmp slt i32 %73, 53
br i1 %74, label %75, label %85
75: ; preds = %72
%76 = getelementptr inbounds [5 x i32], [5 x i32]* %8, i64 0, i64 0
%77 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %76)
%78 = load %struct.DefaultBallot**, %struct.DefaultBallot*** %2
%79 = load i32, i32* %3
%80 = sext i32 %79 to i64
%81 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %78, i64 %80
store %struct.DefaultBallot* %77, %struct.DefaultBallot** %81
br label %82
82: ; preds = %75
%83 = load i32, i32* %3
%84 = add nsw i32 %83, 1
store i32 %84, i32* %3
br label %72
85: ; preds = %72
br label %86
86: ; preds = %96, %85
%87 = load i32, i32* %3
%88 = icmp slt i32 %87, 55
br i1 %88, label %89, label %99
89: ; preds = %86
%90 = getelementptr inbounds [5 x i32], [5 x i32]* %9, i64 0, i64 0
%91 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %90)
%92 = load %struct.DefaultBallot**, %struct.DefaultBallot*** %2
%93 = load i32, i32* %3
%94 = sext i32 %93 to i64
%95 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %92, i64 %94
store %struct.DefaultBallot* %91, %struct.DefaultBallot** %95
br label %96
96: ; preds = %89
%97 = load i32, i32* %3
%98 = add nsw i32 %97, 1
store i32 %98, i32* %3
br label %86
99: ; preds = %86
ret void
}

LLVM IR (-O2):
%struct.DefaultBallot = type { i32 }
@__const.Hold_Default_Election.vote1 = [5 x i32] [i32 1, i32 5, i32 4, i32 2, i32 3]
@__const.Hold_Default_Election.vote2 = [5 x i32] [i32 5, i32 1, i32 4, i32 3, i32 2]
@__const.Hold_Default_Election.vote3 = [5 x i32] [i32 5, i32 2, i32 1, i32 4, i32 3]
@__const.Hold_Default_Election.vote4 = [5 x i32] [i32 5, i32 4, i32 2, i32 1, i32 3]
@__const.Hold_Default_Election.vote5 = [5 x i32] [i32 5, i32 2, i32 4, i32 3, i32 1]
@__const.Hold_Default_Election.vote6 = [5 x i32] [i32 5, i32 4, i32 2, i32 3, i32 1]
define void @Hold_Default_Election(%struct.DefaultBallot** nocapture writeonly %0) {
%2 = alloca [5 x i32]
%3 = alloca [5 x i32]
%4 = alloca [5 x i32]
%5 = alloca [5 x i32]
%6 = alloca [5 x i32]
%7 = alloca [5 x i32]
%8 = bitcast [5 x i32]* %2 to i8*
%9 = bitcast [5 x i32]* %3 to i8*
%10 = bitcast [5 x i32]* %4 to i8*
%11 = bitcast [5 x i32]* %5 to i8*
%12 = bitcast [5 x i32]* %6 to i8*
%13 = bitcast [5 x i32]* %7 to i8*
%14 = getelementptr inbounds [5 x i32], [5 x i32]* %2, i64 0, i64 0
%15 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %14)
store %struct.DefaultBallot* %15, %struct.DefaultBallot** %0
%16 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %14)
%17 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 1
store %struct.DefaultBallot* %16, %struct.DefaultBallot** %17
%18 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %14)
%19 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 2
store %struct.DefaultBallot* %18, %struct.DefaultBallot** %19
%20 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %14)
%21 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 3
store %struct.DefaultBallot* %20, %struct.DefaultBallot** %21
%22 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %14)
%23 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 4
store %struct.DefaultBallot* %22, %struct.DefaultBallot** %23
%24 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %14)
%25 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 5
store %struct.DefaultBallot* %24, %struct.DefaultBallot** %25
%26 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %14)
%27 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 6
store %struct.DefaultBallot* %26, %struct.DefaultBallot** %27
%28 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %14)
%29 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 7
store %struct.DefaultBallot* %28, %struct.DefaultBallot** %29
%30 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %14)
%31 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 8
store %struct.DefaultBallot* %30, %struct.DefaultBallot** %31
%32 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %14)
%33 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 9
store %struct.DefaultBallot* %32, %struct.DefaultBallot** %33
%34 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %14)
%35 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 10
store %struct.DefaultBallot* %34, %struct.DefaultBallot** %35
%36 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %14)
%37 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 11
store %struct.DefaultBallot* %36, %struct.DefaultBallot** %37
%38 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %14)
%39 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 12
store %struct.DefaultBallot* %38, %struct.DefaultBallot** %39
%40 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %14)
%41 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 13
store %struct.DefaultBallot* %40, %struct.DefaultBallot** %41
%42 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %14)
%43 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 14
store %struct.DefaultBallot* %42, %struct.DefaultBallot** %43
%44 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %14)
%45 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 15
store %struct.DefaultBallot* %44, %struct.DefaultBallot** %45
%46 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %14)
%47 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 16
store %struct.DefaultBallot* %46, %struct.DefaultBallot** %47
%48 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %14)
%49 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 17
store %struct.DefaultBallot* %48, %struct.DefaultBallot** %49
%50 = getelementptr inbounds [5 x i32], [5 x i32]* %3, i64 0, i64 0
%51 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %50)
%52 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 18
store %struct.DefaultBallot* %51, %struct.DefaultBallot** %52
%53 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %50)
%54 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 19
store %struct.DefaultBallot* %53, %struct.DefaultBallot** %54
%55 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %50)
%56 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 20
store %struct.DefaultBallot* %55, %struct.DefaultBallot** %56
%57 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %50)
%58 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 21
store %struct.DefaultBallot* %57, %struct.DefaultBallot** %58
%59 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %50)
%60 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 22
store %struct.DefaultBallot* %59, %struct.DefaultBallot** %60
%61 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %50)
%62 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 23
store %struct.DefaultBallot* %61, %struct.DefaultBallot** %62
%63 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %50)
%64 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 24
store %struct.DefaultBallot* %63, %struct.DefaultBallot** %64
%65 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %50)
%66 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 25
store %struct.DefaultBallot* %65, %struct.DefaultBallot** %66
%67 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %50)
%68 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 26
store %struct.DefaultBallot* %67, %struct.DefaultBallot** %68
%69 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %50)
%70 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 27
store %struct.DefaultBallot* %69, %struct.DefaultBallot** %70
%71 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %50)
%72 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 28
store %struct.DefaultBallot* %71, %struct.DefaultBallot** %72
%73 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %50)
%74 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 29
store %struct.DefaultBallot* %73, %struct.DefaultBallot** %74
%75 = getelementptr inbounds [5 x i32], [5 x i32]* %4, i64 0, i64 0
%76 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %75)
%77 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 30
store %struct.DefaultBallot* %76, %struct.DefaultBallot** %77
%78 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %75)
%79 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 31
store %struct.DefaultBallot* %78, %struct.DefaultBallot** %79
%80 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %75)
%81 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 32
store %struct.DefaultBallot* %80, %struct.DefaultBallot** %81
%82 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %75)
%83 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 33
store %struct.DefaultBallot* %82, %struct.DefaultBallot** %83
%84 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %75)
%85 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 34
store %struct.DefaultBallot* %84, %struct.DefaultBallot** %85
%86 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %75)
%87 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 35
store %struct.DefaultBallot* %86, %struct.DefaultBallot** %87
%88 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %75)
%89 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 36
store %struct.DefaultBallot* %88, %struct.DefaultBallot** %89
%90 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %75)
%91 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 37
store %struct.DefaultBallot* %90, %struct.DefaultBallot** %91
%92 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %75)
%93 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 38
store %struct.DefaultBallot* %92, %struct.DefaultBallot** %93
%94 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %75)
%95 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 39
store %struct.DefaultBallot* %94, %struct.DefaultBallot** %95
%96 = getelementptr inbounds [5 x i32], [5 x i32]* %5, i64 0, i64 0
%97 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %96)
%98 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 40
store %struct.DefaultBallot* %97, %struct.DefaultBallot** %98
%99 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %96)
%100 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 41
store %struct.DefaultBallot* %99, %struct.DefaultBallot** %100
%101 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %96)
%102 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 42
store %struct.DefaultBallot* %101, %struct.DefaultBallot** %102
%103 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %96)
%104 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 43
store %struct.DefaultBallot* %103, %struct.DefaultBallot** %104
%105 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %96)
%106 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 44
store %struct.DefaultBallot* %105, %struct.DefaultBallot** %106
%107 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %96)
%108 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 45
store %struct.DefaultBallot* %107, %struct.DefaultBallot** %108
%109 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %96)
%110 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 46
store %struct.DefaultBallot* %109, %struct.DefaultBallot** %110
%111 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %96)
%112 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 47
store %struct.DefaultBallot* %111, %struct.DefaultBallot** %112
%113 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %96)
%114 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 48
store %struct.DefaultBallot* %113, %struct.DefaultBallot** %114
%115 = getelementptr inbounds [5 x i32], [5 x i32]* %6, i64 0, i64 0
%116 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %115)
%117 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 49
store %struct.DefaultBallot* %116, %struct.DefaultBallot** %117
%118 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %115)
%119 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 50
store %struct.DefaultBallot* %118, %struct.DefaultBallot** %119
%120 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %115)
%121 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 51
store %struct.DefaultBallot* %120, %struct.DefaultBallot** %121
%122 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %115)
%123 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 52
store %struct.DefaultBallot* %122, %struct.DefaultBallot** %123
%124 = getelementptr inbounds [5 x i32], [5 x i32]* %7, i64 0, i64 0
%125 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %124)
%126 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 53
store %struct.DefaultBallot* %125, %struct.DefaultBallot** %126
%127 = call %struct.DefaultBallot* @New_Default_Ballot(i32* %124)
%128 = getelementptr inbounds %struct.DefaultBallot*, %struct.DefaultBallot** %0, i64 54
store %struct.DefaultBallot* %127, %struct.DefaultBallot** %128
ret void
}