#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*/ printf(char *, char *, int);
void generate_hash(char *password, int psize, char *salt, int ssize, char *hash,
                   int hsize) {
  int i = 0;
  for (; i < (hsize - 1); i++) {
    int a = (password[i] * i + salt[i]);
    int b = (salt[i] * i + password[i]);
    hash[i] = 48 + (a + b) % 100;
    while (hash[i] == '\0')
      hash[i]++;
  }
  hash[i] = '\0';
  printf("pass: %s %d\n", password, psize);
  printf("salt: %s %d\n", salt, ssize);
  printf("hash: %s %d\n", hash, hsize);
}


x86 assembly (clang, -O0):
<generate_hash>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9d,-0x2c(%rbp)
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    11e2 <generate_hash+0xd2>
mov    -0x8(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
imul   -0x30(%rbp),%eax
mov    -0x18(%rbp),%rcx
movslq -0x30(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
add    %ecx,%eax
mov    %eax,-0x34(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
imul   -0x30(%rbp),%eax
mov    -0x8(%rbp),%rcx
movslq -0x30(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
add    %ecx,%eax
mov    %eax,-0x38(%rbp)
mov    -0x34(%rbp),%eax
add    -0x38(%rbp),%eax
mov    $0x64,%ecx
cltd
idiv   %ecx
add    $0x30,%edx
mov    -0x28(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x28(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jne    11cf <generate_hash+0xbf>
mov    -0x28(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
add    $0x1,%dl
mov    %dl,(%rax,%rcx,1)
jmp    11a4 <generate_hash+0x94>
jmp    11d4 <generate_hash+0xc4>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1135 <generate_hash+0x25>
mov    -0x28(%rbp),%rax
movslq -0x30(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x8(%rbp),%rsi
mov    -0xc(%rbp),%edx
lea    0xe04(%rip),%rdi
call   1030 <printf@plt>
mov    -0x18(%rbp),%rsi
mov    -0x1c(%rbp),%edx
lea    0xdfe(%rip),%rdi
call   1030 <printf@plt>
mov    -0x28(%rbp),%rsi
mov    -0x2c(%rbp),%edx
lea    0xdf8(%rip),%rdi
call   1030 <printf@plt>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<generate_hash>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %r9d,%r14d
mov    %r8,%rbx
mov    %ecx,%r15d
mov    %rdx,%r12
mov    %esi,%edx
mov    %rdi,%r13
cmp    $0x2,%r9d
jl     1145 <generate_hash+0x35>
lea    -0x1(%r14),%ecx
mov    %ecx,%r11d
cmp    $0x10,%ecx
jae    114d <generate_hash+0x3d>
xor    %ecx,%ecx
jmp    1503 <generate_hash+0x3f3>
xor    %r11d,%r11d
jmp    1553 <generate_hash+0x443>
lea    (%rbx,%r11,1),%rcx
lea    (%r11,%r13,1),%rdi
cmp    %rbx,%rdi
seta   %r9b
lea    (%r12,%r11,1),%rdi
cmp    %r13,%rcx
seta   %r10b
cmp    %rbx,%rdi
seta   %dil
cmp    %r12,%rcx
seta   %r8b
xor    %ecx,%ecx
test   %r10b,%r9b
jne    1503 <generate_hash+0x3f3>
and    %r8b,%dil
jne    1503 <generate_hash+0x3f3>
mov    %r11d,%ecx
and    $0xfffffff0,%ecx
movdqa 0xe68(%rip),%xmm14
movdqa 0xe6f(%rip),%xmm15
movdqa 0xe76(%rip),%xmm10
movdqa 0xe7e(%rip),%xmm3
xor    %edi,%edi
movdqa 0xe83(%rip),%xmm13
movdqa 0xe8a(%rip),%xmm12
cs nopw 0x0(%rax,%rax,1)
movdqu 0x0(%r13,%rdi,1),%xmm0
punpcklbw %xmm0,%xmm1
punpcklwd %xmm1,%xmm4
psrad  $0x18,%xmm4
punpckhwd %xmm1,%xmm5
psrad  $0x18,%xmm5
punpckhbw %xmm0,%xmm0
punpcklwd %xmm0,%xmm6
psrad  $0x18,%xmm6
punpckhwd %xmm0,%xmm7
psrad  $0x18,%xmm7
movdqu (%r12,%rdi,1),%xmm2
punpcklbw %xmm2,%xmm1
punpcklwd %xmm1,%xmm0
psrad  $0x18,%xmm0
paddd  %xmm4,%xmm0
punpckhwd %xmm1,%xmm1
psrad  $0x18,%xmm1
paddd  %xmm5,%xmm1
punpckhbw %xmm2,%xmm2
punpcklwd %xmm2,%xmm8
psrad  $0x18,%xmm8
paddd  %xmm6,%xmm8
punpckhwd %xmm2,%xmm9
psrad  $0x18,%xmm9
paddd  %xmm7,%xmm9
movdqa %xmm0,%xmm2
pmuludq %xmm3,%xmm2
pshufd $0xe8,%xmm2,%xmm7
pshufd $0xf5,%xmm0,%xmm2
pshufd $0xf5,%xmm3,%xmm4
pmuludq %xmm2,%xmm4
pshufd $0xe8,%xmm4,%xmm2
punpckldq %xmm2,%xmm7
movdqa %xmm1,%xmm2
pmuludq %xmm10,%xmm2
pshufd $0xe8,%xmm2,%xmm5
pshufd $0xf5,%xmm1,%xmm2
pshufd $0xf5,%xmm10,%xmm4
pmuludq %xmm2,%xmm4
pshufd $0xe8,%xmm4,%xmm2
punpckldq %xmm2,%xmm5
movdqa %xmm8,%xmm2
pmuludq %xmm15,%xmm2
pshufd $0xe8,%xmm2,%xmm6
pshufd $0xf5,%xmm8,%xmm2
pshufd $0xf5,%xmm15,%xmm4
pmuludq %xmm2,%xmm4
pshufd $0xe8,%xmm4,%xmm2
punpckldq %xmm2,%xmm6
pshufd $0xf5,%xmm9,%xmm2
pshufd $0xf5,%xmm14,%xmm11
pmuludq %xmm2,%xmm11
movdqa %xmm9,%xmm2
pmuludq %xmm14,%xmm2
pshufd $0xe8,%xmm2,%xmm4
pshufd $0xe8,%xmm11,%xmm2
punpckldq %xmm2,%xmm4
paddd  %xmm9,%xmm4
paddd  %xmm8,%xmm6
paddd  %xmm1,%xmm5
paddd  %xmm0,%xmm7
movdqa %xmm7,%xmm0
pmuludq %xmm13,%xmm0
pshufd $0xed,%xmm0,%xmm0
pshufd $0xf5,%xmm7,%xmm1
pmuludq %xmm13,%xmm1
pshufd $0xed,%xmm1,%xmm1
punpckldq %xmm1,%xmm0
pxor   %xmm1,%xmm1
pcmpgtd %xmm7,%xmm1
pand   %xmm13,%xmm1
psubd  %xmm1,%xmm0
movdqa %xmm0,%xmm1
psrld  $0x1f,%xmm1
psrld  $0x5,%xmm0
paddd  %xmm1,%xmm0
pshufd $0xf5,%xmm0,%xmm1
pmuludq %xmm12,%xmm0
pshufd $0xe8,%xmm0,%xmm0
pmuludq %xmm12,%xmm1
pshufd $0xe8,%xmm1,%xmm1
punpckldq %xmm1,%xmm0
psubd  %xmm0,%xmm7
movdqa %xmm5,%xmm0
pmuludq %xmm13,%xmm0
pshufd $0xed,%xmm0,%xmm0
pshufd $0xf5,%xmm5,%xmm1
pmuludq %xmm13,%xmm1
pshufd $0xed,%xmm1,%xmm1
punpckldq %xmm1,%xmm0
pxor   %xmm1,%xmm1
pcmpgtd %xmm5,%xmm1
pand   %xmm13,%xmm1
psubd  %xmm1,%xmm0
movdqa %xmm0,%xmm1
psrld  $0x1f,%xmm1
psrld  $0x5,%xmm0
paddd  %xmm1,%xmm0
pshufd $0xf5,%xmm0,%xmm1
pmuludq %xmm12,%xmm0
pshufd $0xe8,%xmm0,%xmm0
pmuludq %xmm12,%xmm1
pshufd $0xe8,%xmm1,%xmm1
punpckldq %xmm1,%xmm0
psubd  %xmm0,%xmm5
movdqa %xmm6,%xmm0
pmuludq %xmm13,%xmm0
pshufd $0xed,%xmm0,%xmm0
pshufd $0xf5,%xmm6,%xmm1
pmuludq %xmm13,%xmm1
pshufd $0xed,%xmm1,%xmm1
punpckldq %xmm1,%xmm0
pxor   %xmm1,%xmm1
pcmpgtd %xmm6,%xmm1
pand   %xmm13,%xmm1
psubd  %xmm1,%xmm0
movdqa %xmm0,%xmm1
psrld  $0x1f,%xmm1
psrld  $0x5,%xmm0
paddd  %xmm1,%xmm0
pshufd $0xf5,%xmm0,%xmm1
pmuludq %xmm12,%xmm0
pshufd $0xe8,%xmm0,%xmm0
pmuludq %xmm12,%xmm1
pshufd $0xe8,%xmm1,%xmm1
punpckldq %xmm1,%xmm0
psubd  %xmm0,%xmm6
movdqa %xmm4,%xmm0
pmuludq %xmm13,%xmm0
pshufd $0xed,%xmm0,%xmm0
pshufd $0xf5,%xmm4,%xmm1
pmuludq %xmm13,%xmm1
pshufd $0xed,%xmm1,%xmm1
punpckldq %xmm1,%xmm0
pxor   %xmm1,%xmm1
pcmpgtd %xmm4,%xmm1
pand   %xmm13,%xmm1
psubd  %xmm1,%xmm0
movdqa %xmm0,%xmm1
psrld  $0x1f,%xmm1
psrld  $0x5,%xmm0
paddd  %xmm1,%xmm0
pshufd $0xf5,%xmm0,%xmm1
pmuludq %xmm12,%xmm0
pshufd $0xe8,%xmm0,%xmm0
pmuludq %xmm12,%xmm1
pshufd $0xe8,%xmm1,%xmm1
punpckldq %xmm1,%xmm0
psubd  %xmm0,%xmm4
movdqa 0xbcb(%rip),%xmm0
pand   %xmm0,%xmm4
pand   %xmm0,%xmm6
packuswb %xmm4,%xmm6
pand   %xmm0,%xmm5
pand   %xmm0,%xmm7
packuswb %xmm5,%xmm7
packuswb %xmm6,%xmm7
paddb  0xbb7(%rip),%xmm7
movdqa %xmm7,%xmm0
pcmpeqb 0xbcb(%rip),%xmm0
movdqa %xmm0,%xmm1
pandn  %xmm7,%xmm1
psubb  %xmm0,%xmm1
movdqu %xmm1,(%rbx,%rdi,1)
add    $0x10,%rdi
movdqa 0xb9e(%rip),%xmm0
paddd  %xmm0,%xmm3
paddd  %xmm0,%xmm10
paddd  %xmm0,%xmm15
paddd  %xmm0,%xmm14
cmp    %rdi,%rcx
jne    11d0 <generate_hash+0xc0>
cmp    %r11,%rcx
je     1553 <generate_hash+0x443>
mov    $0x1,%edi
nopl   0x0(%rax,%rax,1)
movsbl 0x0(%r13,%rcx,1),%eax
movsbl (%r12,%rcx,1),%ebp
add    %eax,%ebp
mov    %ecx,%eax
imul   %ebp,%eax
add    %ebp,%eax
cltq
imul   $0x51eb851f,%rax,%rbp
mov    %rbp,%rsi
shr    $0x3f,%rsi
shr    $0x25,%rbp
add    %esi,%ebp
imul   $0x64,%ebp,%esi
sub    %esi,%eax
add    $0x30,%al
movzbl %al,%eax
cmove  %edi,%eax
mov    %al,(%rbx,%rcx,1)
add    $0x1,%rcx
cmp    %rcx,%r11
jne    1510 <generate_hash+0x400>
movb   $0x0,(%rbx,%r11,1)
lea    0xb41(%rip),%rdi
mov    %r13,%rsi
call   1030 <printf@plt>
lea    0xb3f(%rip),%rdi
mov    %r12,%rsi
mov    %r15d,%edx
call   1030 <printf@plt>
lea    0xb3a(%rip),%rdi
mov    %rbx,%rsi
mov    %r14d,%edx
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <printf@plt>

LLVM IR (-O0):
@.str = [13 x i8] c"pass: %s %d\0A\00"
@.str.1 = [13 x i8] c"salt: %s %d\0A\00"
@.str.2 = [13 x i8] c"hash: %s %d\0A\00"
define void @generate_hash(i8* %0, i32 %1, i8* %2, i32 %3, i8* %4, i32 %5) {
%7 = alloca i8*
%8 = alloca i32
%9 = alloca i8*
%10 = alloca i32
%11 = alloca i8*
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
store i8* %0, i8** %7
store i32 %1, i32* %8
store i8* %2, i8** %9
store i32 %3, i32* %10
store i8* %4, i8** %11
store i32 %5, i32* %12
store i32 0, i32* %13
br label %16
16: ; preds = %78, %6
%17 = load i32, i32* %13
%18 = load i32, i32* %12
%19 = sub nsw i32 %18, 1
%20 = icmp slt i32 %17, %19
br i1 %20, label %21, label %81
21: ; preds = %16
%22 = load i8*, i8** %7
%23 = load i32, i32* %13
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds i8, i8* %22, i64 %24
%26 = load i8, i8* %25
%27 = sext i8 %26 to i32
%28 = load i32, i32* %13
%29 = mul nsw i32 %27, %28
%30 = load i8*, i8** %9
%31 = load i32, i32* %13
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds i8, i8* %30, i64 %32
%34 = load i8, i8* %33
%35 = sext i8 %34 to i32
%36 = add nsw i32 %29, %35
store i32 %36, i32* %14
%37 = load i8*, i8** %9
%38 = load i32, i32* %13
%39 = sext i32 %38 to i64
%40 = getelementptr inbounds i8, i8* %37, i64 %39
%41 = load i8, i8* %40
%42 = sext i8 %41 to i32
%43 = load i32, i32* %13
%44 = mul nsw i32 %42, %43
%45 = load i8*, i8** %7
%46 = load i32, i32* %13
%47 = sext i32 %46 to i64
%48 = getelementptr inbounds i8, i8* %45, i64 %47
%49 = load i8, i8* %48
%50 = sext i8 %49 to i32
%51 = add nsw i32 %44, %50
store i32 %51, i32* %15
%52 = load i32, i32* %14
%53 = load i32, i32* %15
%54 = add nsw i32 %52, %53
%55 = srem i32 %54, 100
%56 = add nsw i32 48, %55
%57 = trunc i32 %56 to i8
%58 = load i8*, i8** %11
%59 = load i32, i32* %13
%60 = sext i32 %59 to i64
%61 = getelementptr inbounds i8, i8* %58, i64 %60
store i8 %57, i8* %61
br label %62
62: ; preds = %70, %21
%63 = load i8*, i8** %11
%64 = load i32, i32* %13
%65 = sext i32 %64 to i64
%66 = getelementptr inbounds i8, i8* %63, i64 %65
%67 = load i8, i8* %66
%68 = sext i8 %67 to i32
%69 = icmp eq i32 %68, 0
br i1 %69, label %70, label %77
70: ; preds = %62
%71 = load i8*, i8** %11
%72 = load i32, i32* %13
%73 = sext i32 %72 to i64
%74 = getelementptr inbounds i8, i8* %71, i64 %73
%75 = load i8, i8* %74
%76 = add i8 %75, 1
store i8 %76, i8* %74
br label %62
77: ; preds = %62
br label %78
78: ; preds = %77
%79 = load i32, i32* %13
%80 = add nsw i32 %79, 1
store i32 %80, i32* %13
br label %16
81: ; preds = %16
%82 = load i8*, i8** %11
%83 = load i32, i32* %13
%84 = sext i32 %83 to i64
%85 = getelementptr inbounds i8, i8* %82, i64 %84
store i8 0, i8* %85
%86 = load i8*, i8** %7
%87 = load i32, i32* %8
%88 = call i32 @printf(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str, i64 0, i64 0), i8* %86, i32 %87)
%89 = load i8*, i8** %9
%90 = load i32, i32* %10
%91 = call i32 @printf(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.1, i64 0, i64 0), i8* %89, i32 %90)
%92 = load i8*, i8** %11
%93 = load i32, i32* %12
%94 = call i32 @printf(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.2, i64 0, i64 0), i8* %92, i32 %93)
ret void
}

LLVM IR (-O2):
@.str = [13 x i8] c"pass: %s %d\0A\00"
@.str.1 = [13 x i8] c"salt: %s %d\0A\00"
@.str.2 = [13 x i8] c"hash: %s %d\0A\00"
define void @generate_hash(i8* %0, i32 %1, i8* %2, i32 %3, i8* %4, i32 %5) {
%7 = add i32 %5, -1
%8 = icmp sgt i32 %5, 1
br i1 %8, label %9, label %75
9: ; preds = %6
%10 = zext i32 %7 to i64
%11 = icmp ult i32 %7, 16
br i1 %11, label %51, label %12
12: ; preds = %9
%13 = getelementptr i8, i8* %4, i64 %10
%14 = getelementptr i8, i8* %0, i64 %10
%15 = getelementptr i8, i8* %2, i64 %10
%16 = icmp ugt i8* %14, %4
%17 = icmp ugt i8* %13, %0
%18 = and i1 %16, %17
%19 = icmp ugt i8* %15, %4
%20 = icmp ugt i8* %13, %2
%21 = and i1 %19, %20
%22 = or i1 %18, %21
br i1 %22, label %51, label %23
23: ; preds = %12
%24 = and i64 %10, 4294967280
br label %25
25: ; preds = %25, %23
%26 = phi i64 [ 0, %23 ], [ %46, %25 ]
%27 = phi <16 x i32> [ <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15>, %23 ], [ %47, %25 ]
%28 = getelementptr inbounds i8, i8* %0, i64 %26
%29 = bitcast i8* %28 to <16 x i8>*
%30 = load <16 x i8>, <16 x i8>* %29
%31 = sext <16 x i8> %30 to <16 x i32>
%32 = getelementptr inbounds i8, i8* %2, i64 %26
%33 = bitcast i8* %32 to <16 x i8>*
%34 = load <16 x i8>, <16 x i8>* %33
%35 = sext <16 x i8> %34 to <16 x i32>
%36 = add nsw <16 x i32> %35, %31
%37 = mul <16 x i32> %36, %27
%38 = add <16 x i32> %36, %37
%39 = srem <16 x i32> %38, <i32 100, i32 100, i32 100, i32 100, i32 100, i32 100, i32 100, i32 100, i32 100, i32 100, i32 100, i32 100, i32 100, i32 100, i32 100, i32 100>
%40 = trunc <16 x i32> %39 to <16 x i8>
%41 = add <16 x i8> %40, <i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48>
%42 = icmp eq <16 x i8> %41, zeroinitializer
%43 = select <16 x i1> %42, <16 x i8> <i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1>, <16 x i8> %41
%44 = getelementptr inbounds i8, i8* %4, i64 %26
%45 = bitcast i8* %44 to <16 x i8>*
store <16 x i8> %43, <16 x i8>* %45
%46 = add nuw i64 %26, 16
%47 = add <16 x i32> %27, <i32 16, i32 16, i32 16, i32 16, i32 16, i32 16, i32 16, i32 16, i32 16, i32 16, i32 16, i32 16, i32 16, i32 16, i32 16, i32 16>
%48 = icmp eq i64 %46, %24
br i1 %48, label %49, label %25
49: ; preds = %25
%50 = icmp eq i64 %24, %10
br i1 %50, label %73, label %51
51: ; preds = %12, %9, %49
%52 = phi i64 [ 0, %12 ], [ 0, %9 ], [ %24, %49 ]
br label %53
53: ; preds = %51, %53
%54 = phi i64 [ %71, %53 ], [ %52, %51 ]
%55 = getelementptr inbounds i8, i8* %0, i64 %54
%56 = load i8, i8* %55
%57 = sext i8 %56 to i32
%58 = getelementptr inbounds i8, i8* %2, i64 %54
%59 = load i8, i8* %58
%60 = sext i8 %59 to i32
%61 = add nsw i32 %60, %57
%62 = trunc i64 %54 to i32
%63 = mul i32 %61, %62
%64 = add i32 %61, %63
%65 = srem i32 %64, 100
%66 = trunc i32 %65 to i8
%67 = add i8 %66, 48
%68 = icmp eq i8 %67, 0
%69 = select i1 %68, i8 1, i8 %67
%70 = getelementptr inbounds i8, i8* %4, i64 %54
store i8 %69, i8* %70
%71 = add nuw nsw i64 %54, 1
%72 = icmp eq i64 %71, %10
br i1 %72, label %73, label %53
73: ; preds = %53, %49
%74 = zext i32 %7 to i64
br label %75
75: ; preds = %6, %73
%76 = phi i64 [ %74, %73 ], [ 0, %6 ]
%77 = getelementptr inbounds i8, i8* %4, i64 %76
store i8 0, i8* %77
%78 = tail call i32 @printf(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str, i64 0, i64 0), i8* %0, i32 %1)
%79 = tail call i32 @printf(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.1, i64 0, i64 0), i8* %2, i32 %3)
%80 = tail call i32 @printf(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.2, i64 0, i64 0), i8* %4, i32 %5)
ret void
}