#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 */
char *aux_struct(char const *);
int /*<<< orphan*/ free(char *);
int /*<<< orphan*/ sprintf(char *, char *, int);
int /*<<< orphan*/ strcat(char *, char *);
int /*<<< orphan*/ strcpy(char *, char *);
int strlen(char const *);
scalar_t__ vrna_alloc(int);
char *b2HIT(const char *structure) {
  int i, u, p, l;
  char *string, *temp, *HIT, tt[10];
  temp = (char *)vrna_alloc(strlen(structure) * 4 + 4);
  string = aux_struct(structure);
  strcpy(temp, "(");
  i = p = u = 0;
  l = 1;
  while (string[i]) {
    switch (string[i]) {
    case '.':
      u++;
      break;
    case '[':
      if (u > 0) {
        sprintf(tt, "(U%d)", u);
        strcat(temp + l, tt);
        l += strlen(tt);
        u = 0;
      }
      strcat(temp + l, "(");
      l++;
      break;
    case ')':
      if (u > 0) {
        sprintf(tt, "(U%d)", u);
        strcat(temp + l, tt);
        l += strlen(tt);
        u = 0;
      }
      p++;
      break;
    case ']':
      if (u > 0) {
        sprintf(tt, "(U%d)", u);
        strcat(temp + l, tt);
        l += strlen(tt);
        u = 0;
      }
      sprintf(tt, "P%d)", p + 1);
      strcat(temp + l, tt);
      l += strlen(tt);
      p = 0;
      break;
    }
    i++;
  }
  if (u > 0) {
    sprintf(tt, "(U%d)", u);
    strcat(temp + l, tt);
    l += strlen(tt);
  }
  strcat(temp + l, "R)");
  free(string);
  HIT = (char *)vrna_alloc(sizeof(char) * (strlen(temp) + 2));
  strcpy(HIT, temp);
  free(temp);
  return (HIT);
}


x86 assembly (clang, -O0):
<b2HIT>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,%edi
shl    $0x2,%edi
add    $0x4,%edi
call   1060 <vrna_alloc@plt>
mov    %rax,-0x28(%rbp)
mov    -0x8(%rbp),%rdi
call   1070 <aux_struct@plt>
mov    %rax,-0x20(%rbp)
mov    -0x28(%rbp),%rdi
lea    0xe52(%rip),%rsi
call   1040 <strcpy@plt>
movl   $0x0,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0xc(%rbp)
movl   $0x1,-0x18(%rbp)
mov    -0x20(%rbp),%rax
movslq -0xc(%rbp),%rcx
cmpb   $0x0,(%rax,%rcx,1)
je     1395 <b2HIT+0x225>
mov    -0x20(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    %eax,-0x40(%rbp)
sub    $0x29,%eax
je     12ab <b2HIT+0x13b>
jmp    11fe <b2HIT+0x8e>
mov    -0x40(%rbp),%eax
sub    $0x2e,%eax
je     1231 <b2HIT+0xc1>
jmp    120f <b2HIT+0x9f>
mov    -0x40(%rbp),%eax
sub    $0x5b,%eax
je     123f <b2HIT+0xcf>
jmp    1220 <b2HIT+0xb0>
mov    -0x40(%rbp),%eax
sub    $0x5d,%eax
je     1300 <b2HIT+0x190>
jmp    1387 <b2HIT+0x217>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1387 <b2HIT+0x217>
cmpl   $0x0,-0x10(%rbp)
jle    1286 <b2HIT+0x116>
lea    -0x3a(%rbp),%rdi
mov    -0x10(%rbp),%edx
lea    0xdab(%rip),%rsi
call   1090 <sprintf@plt>
mov    -0x28(%rbp),%rdi
movslq -0x18(%rbp),%rax
add    %rax,%rdi
lea    -0x3a(%rbp),%rsi
call   1080 <strcat@plt>
lea    -0x3a(%rbp),%rdi
call   1050 <strlen@plt>
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
movl   $0x0,-0x10(%rbp)
mov    -0x28(%rbp),%rdi
movslq -0x18(%rbp),%rax
add    %rax,%rdi
lea    0xd68(%rip),%rsi
call   1080 <strcat@plt>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1387 <b2HIT+0x217>
cmpl   $0x0,-0x10(%rbp)
jle    12f2 <b2HIT+0x182>
lea    -0x3a(%rbp),%rdi
mov    -0x10(%rbp),%edx
lea    0xd3f(%rip),%rsi
call   1090 <sprintf@plt>
mov    -0x28(%rbp),%rdi
movslq -0x18(%rbp),%rax
add    %rax,%rdi
lea    -0x3a(%rbp),%rsi
call   1080 <strcat@plt>
lea    -0x3a(%rbp),%rdi
call   1050 <strlen@plt>
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
movl   $0x0,-0x10(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1387 <b2HIT+0x217>
cmpl   $0x0,-0x10(%rbp)
jle    1347 <b2HIT+0x1d7>
lea    -0x3a(%rbp),%rdi
mov    -0x10(%rbp),%edx
lea    0xcea(%rip),%rsi
call   1090 <sprintf@plt>
mov    -0x28(%rbp),%rdi
movslq -0x18(%rbp),%rax
add    %rax,%rdi
lea    -0x3a(%rbp),%rsi
call   1080 <strcat@plt>
lea    -0x3a(%rbp),%rdi
call   1050 <strlen@plt>
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
movl   $0x0,-0x10(%rbp)
lea    -0x3a(%rbp),%rdi
mov    -0x14(%rbp),%edx
add    $0x1,%edx
lea    0xcb0(%rip),%rsi
call   1090 <sprintf@plt>
mov    -0x28(%rbp),%rdi
movslq -0x18(%rbp),%rax
add    %rax,%rdi
lea    -0x3a(%rbp),%rsi
call   1080 <strcat@plt>
lea    -0x3a(%rbp),%rdi
call   1050 <strlen@plt>
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    11cf <b2HIT+0x5f>
cmpl   $0x0,-0x10(%rbp)
jle    13d5 <b2HIT+0x265>
lea    -0x3a(%rbp),%rdi
mov    -0x10(%rbp),%edx
lea    0xc55(%rip),%rsi
call   1090 <sprintf@plt>
mov    -0x28(%rbp),%rdi
movslq -0x18(%rbp),%rax
add    %rax,%rdi
lea    -0x3a(%rbp),%rsi
call   1080 <strcat@plt>
lea    -0x3a(%rbp),%rdi
call   1050 <strlen@plt>
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x28(%rbp),%rdi
movslq -0x18(%rbp),%rax
add    %rax,%rdi
lea    0xc26(%rip),%rsi
call   1080 <strcat@plt>
mov    -0x20(%rbp),%rdi
call   1030 <free@plt>
mov    -0x28(%rbp),%rdi
call   1050 <strlen@plt>
add    $0x2,%eax
cltq
shl    $0x0,%rax
mov    %eax,%edi
call   1060 <vrna_alloc@plt>
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rdi
mov    -0x28(%rbp),%rsi
call   1040 <strcpy@plt>
mov    -0x28(%rbp),%rdi
call   1030 <free@plt>
mov    -0x30(%rbp),%rax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<b2HIT>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rdi,%rbp
call   1050 <strlen@plt>
lea    0x4(,%rax,4),%edi
call   1060 <vrna_alloc@plt>
mov    %rax,%rbx
mov    %rbp,%rdi
call   1070 <aux_struct@plt>
mov    %rax,%rbp
lea    0xe59(%rip),%rsi
mov    %rbx,%rdi
call   1040 <strcpy@plt>
mov    0x0(%rbp),%al
test   %al,%al
je     1364 <b2HIT+0x1f4>
mov    %rbp,(%rsp)
add    $0x1,%rbp
mov    $0x1,%r14d
xor    %r13d,%r13d
lea    0xe(%rsp),%r12
xor    %r15d,%r15d
jmp    1200 <b2HIT+0x90>
cs nopw 0x0(%rax,%rax,1)
nop
test   %r13d,%r13d
jg     12f2 <b2HIT+0x182>
add    $0x1,%r15d
nopl   (%rax)
movzbl 0x0(%rbp),%eax
add    $0x1,%rbp
test   %al,%al
je     1328 <b2HIT+0x1b8>
movsbl %al,%eax
cmp    $0x5a,%eax
jg     1220 <b2HIT+0xb0>
cmp    $0x29,%eax
je     11e0 <b2HIT+0x70>
cmp    $0x2e,%eax
jne    11f0 <b2HIT+0x80>
add    $0x1,%r13d
jmp    11f0 <b2HIT+0x80>
nopl   0x0(%rax,%rax,1)
cmp    $0x5b,%eax
je     12a0 <b2HIT+0x130>
cmp    $0x5d,%eax
jne    11f0 <b2HIT+0x80>
test   %r13d,%r13d
jle    1260 <b2HIT+0xf0>
mov    %r12,%rdi
lea    0xdc9(%rip),%rsi
mov    %r13d,%edx
call   1090 <sprintf@plt>
movslq %r14d,%rdi
add    %rbx,%rdi
mov    %r12,%rsi
call   1080 <strcat@plt>
mov    %r12,%rdi
call   1050 <strlen@plt>
add    %r14d,%eax
xor    %r13d,%r13d
mov    %eax,%r14d
add    $0x1,%r15d
mov    %r12,%rdi
lea    0xd9a(%rip),%rsi
mov    %r15d,%edx
call   1090 <sprintf@plt>
movslq %r14d,%r14
lea    (%rbx,%r14,1),%rdi
mov    %r12,%rsi
call   1080 <strcat@plt>
mov    %r12,%rdi
call   1050 <strlen@plt>
add    %eax,%r14d
xor    %r15d,%r15d
jmp    11f0 <b2HIT+0x80>
nopl   0x0(%rax,%rax,1)
test   %r13d,%r13d
jle    12d6 <b2HIT+0x166>
mov    %r12,%rdi
lea    0xd53(%rip),%rsi
mov    %r13d,%edx
call   1090 <sprintf@plt>
movslq %r14d,%rdi
add    %rbx,%rdi
mov    %r12,%rsi
call   1080 <strcat@plt>
mov    %r12,%rdi
call   1050 <strlen@plt>
add    %r14d,%eax
xor    %r13d,%r13d
mov    %eax,%r14d
movslq %r14d,%r14
lea    (%rbx,%r14,1),%rdi
lea    0xd1c(%rip),%rsi
call   1080 <strcat@plt>
add    $0x1,%r14d
jmp    11f0 <b2HIT+0x80>
mov    %r12,%rdi
lea    0xd06(%rip),%rsi
mov    %r13d,%edx
call   1090 <sprintf@plt>
movslq %r14d,%rdi
add    %rbx,%rdi
mov    %r12,%rsi
call   1080 <strcat@plt>
mov    %r12,%rdi
call   1050 <strlen@plt>
add    %r14d,%eax
xor    %r13d,%r13d
mov    %eax,%r14d
jmp    11e9 <b2HIT+0x79>
test   %r13d,%r13d
jle    135e <b2HIT+0x1ee>
lea    0xcce(%rip),%rsi
lea    0xe(%rsp),%rbp
mov    %rbp,%rdi
mov    %r13d,%edx
call   1090 <sprintf@plt>
movslq %r14d,%r14
lea    (%rbx,%r14,1),%rdi
mov    %rbp,%rsi
call   1080 <strcat@plt>
mov    %rbp,%rdi
call   1050 <strlen@plt>
add    %eax,%r14d
mov    (%rsp),%rbp
jmp    136a <b2HIT+0x1fa>
mov    $0x1,%r14d
movslq %r14d,%rax
mov    %rbx,%rdi
add    %rax,%rdi
lea    0xc93(%rip),%rsi
call   1080 <strcat@plt>
mov    %rbp,%rdi
call   1030 <free@plt>
mov    %rbx,%rdi
call   1050 <strlen@plt>
lea    0x2(%rax),%edi
call   1060 <vrna_alloc@plt>
mov    %rax,%rbp
mov    %rax,%rdi
mov    %rbx,%rsi
call   1040 <strcpy@plt>
mov    %rbx,%rdi
call   1030 <free@plt>
mov    %rbp,%rax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [2 x i8] c"(\00"
@.str.1 = [6 x i8] c"(U%d)\00"
@.str.2 = [5 x i8] c"P%d)\00"
@.str.3 = [3 x i8] c"R)\00"
define i8* @b2HIT(i8* %0) {
%2 = alloca i8*
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i8*
%8 = alloca i8*
%9 = alloca i8*
%10 = alloca [10 x i8]
store i8* %0, i8** %2
%11 = load i8*, i8** %2
%12 = call i32 @strlen(i8* %11)
%13 = mul nsw i32 %12, 4
%14 = add nsw i32 %13, 4
%15 = call i64 @vrna_alloc(i32 %14)
%16 = inttoptr i64 %15 to i8*
store i8* %16, i8** %8
%17 = load i8*, i8** %2
%18 = call i8* @aux_struct(i8* %17)
store i8* %18, i8** %7
%19 = load i8*, i8** %8
%20 = call i32 @strcpy(i8* %19, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
store i32 0, i32* %4
store i32 0, i32* %5
store i32 0, i32* %3
store i32 1, i32* %6
br label %21
21: ; preds = %115, %1
%22 = load i8*, i8** %7
%23 = load i32, i32* %3
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds i8, i8* %22, i64 %24
%26 = load i8, i8* %25
%27 = icmp ne i8 %26, 0
br i1 %27, label %28, label %118
28: ; preds = %21
%29 = load i8*, i8** %7
%30 = load i32, i32* %3
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds i8, i8* %29, i64 %31
%33 = load i8, i8* %32
%34 = sext i8 %33 to i32
switch i32 %34, label %115 [
i32 46, label %35
i32 91, label %38
i32 41, label %63
i32 93, label %83
]
35: ; preds = %28
%36 = load i32, i32* %4
%37 = add nsw i32 %36, 1
store i32 %37, i32* %4
br label %115
38: ; preds = %28
%39 = load i32, i32* %4
%40 = icmp sgt i32 %39, 0
br i1 %40, label %41, label %55
41: ; preds = %38
%42 = getelementptr inbounds [10 x i8], [10 x i8]* %10, i64 0, i64 0
%43 = load i32, i32* %4
%44 = call i32 @sprintf(i8* %42, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i64 0, i64 0), i32 %43)
%45 = load i8*, i8** %8
%46 = load i32, i32* %6
%47 = sext i32 %46 to i64
%48 = getelementptr inbounds i8, i8* %45, i64 %47
%49 = getelementptr inbounds [10 x i8], [10 x i8]* %10, i64 0, i64 0
%50 = call i32 @strcat(i8* %48, i8* %49)
%51 = getelementptr inbounds [10 x i8], [10 x i8]* %10, i64 0, i64 0
%52 = call i32 @strlen(i8* %51)
%53 = load i32, i32* %6
%54 = add nsw i32 %53, %52
store i32 %54, i32* %6
store i32 0, i32* %4
br label %55
55: ; preds = %41, %38
%56 = load i8*, i8** %8
%57 = load i32, i32* %6
%58 = sext i32 %57 to i64
%59 = getelementptr inbounds i8, i8* %56, i64 %58
%60 = call i32 @strcat(i8* %59, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%61 = load i32, i32* %6
%62 = add nsw i32 %61, 1
store i32 %62, i32* %6
br label %115
63: ; preds = %28
%64 = load i32, i32* %4
%65 = icmp sgt i32 %64, 0
br i1 %65, label %66, label %80
66: ; preds = %63
%67 = getelementptr inbounds [10 x i8], [10 x i8]* %10, i64 0, i64 0
%68 = load i32, i32* %4
%69 = call i32 @sprintf(i8* %67, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i64 0, i64 0), i32 %68)
%70 = load i8*, i8** %8
%71 = load i32, i32* %6
%72 = sext i32 %71 to i64
%73 = getelementptr inbounds i8, i8* %70, i64 %72
%74 = getelementptr inbounds [10 x i8], [10 x i8]* %10, i64 0, i64 0
%75 = call i32 @strcat(i8* %73, i8* %74)
%76 = getelementptr inbounds [10 x i8], [10 x i8]* %10, i64 0, i64 0
%77 = call i32 @strlen(i8* %76)
%78 = load i32, i32* %6
%79 = add nsw i32 %78, %77
store i32 %79, i32* %6
store i32 0, i32* %4
br label %80
80: ; preds = %66, %63
%81 = load i32, i32* %5
%82 = add nsw i32 %81, 1
store i32 %82, i32* %5
br label %115
83: ; preds = %28
%84 = load i32, i32* %4
%85 = icmp sgt i32 %84, 0
br i1 %85, label %86, label %100
86: ; preds = %83
%87 = getelementptr inbounds [10 x i8], [10 x i8]* %10, i64 0, i64 0
%88 = load i32, i32* %4
%89 = call i32 @sprintf(i8* %87, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i64 0, i64 0), i32 %88)
%90 = load i8*, i8** %8
%91 = load i32, i32* %6
%92 = sext i32 %91 to i64
%93 = getelementptr inbounds i8, i8* %90, i64 %92
%94 = getelementptr inbounds [10 x i8], [10 x i8]* %10, i64 0, i64 0
%95 = call i32 @strcat(i8* %93, i8* %94)
%96 = getelementptr inbounds [10 x i8], [10 x i8]* %10, i64 0, i64 0
%97 = call i32 @strlen(i8* %96)
%98 = load i32, i32* %6
%99 = add nsw i32 %98, %97
store i32 %99, i32* %6
store i32 0, i32* %4
br label %100
100: ; preds = %86, %83
%101 = getelementptr inbounds [10 x i8], [10 x i8]* %10, i64 0, i64 0
%102 = load i32, i32* %5
%103 = add nsw i32 %102, 1
%104 = call i32 @sprintf(i8* %101, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.2, i64 0, i64 0), i32 %103)
%105 = load i8*, i8** %8
%106 = load i32, i32* %6
%107 = sext i32 %106 to i64
%108 = getelementptr inbounds i8, i8* %105, i64 %107
%109 = getelementptr inbounds [10 x i8], [10 x i8]* %10, i64 0, i64 0
%110 = call i32 @strcat(i8* %108, i8* %109)
%111 = getelementptr inbounds [10 x i8], [10 x i8]* %10, i64 0, i64 0
%112 = call i32 @strlen(i8* %111)
%113 = load i32, i32* %6
%114 = add nsw i32 %113, %112
store i32 %114, i32* %6
store i32 0, i32* %5
br label %115
115: ; preds = %28, %100, %80, %55, %35
%116 = load i32, i32* %3
%117 = add nsw i32 %116, 1
store i32 %117, i32* %3
br label %21
118: ; preds = %21
%119 = load i32, i32* %4
%120 = icmp sgt i32 %119, 0
br i1 %120, label %121, label %135
121: ; preds = %118
%122 = getelementptr inbounds [10 x i8], [10 x i8]* %10, i64 0, i64 0
%123 = load i32, i32* %4
%124 = call i32 @sprintf(i8* %122, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i64 0, i64 0), i32 %123)
%125 = load i8*, i8** %8
%126 = load i32, i32* %6
%127 = sext i32 %126 to i64
%128 = getelementptr inbounds i8, i8* %125, i64 %127
%129 = getelementptr inbounds [10 x i8], [10 x i8]* %10, i64 0, i64 0
%130 = call i32 @strcat(i8* %128, i8* %129)
%131 = getelementptr inbounds [10 x i8], [10 x i8]* %10, i64 0, i64 0
%132 = call i32 @strlen(i8* %131)
%133 = load i32, i32* %6
%134 = add nsw i32 %133, %132
store i32 %134, i32* %6
br label %135
135: ; preds = %121, %118
%136 = load i8*, i8** %8
%137 = load i32, i32* %6
%138 = sext i32 %137 to i64
%139 = getelementptr inbounds i8, i8* %136, i64 %138
%140 = call i32 @strcat(i8* %139, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.3, i64 0, i64 0))
%141 = load i8*, i8** %7
%142 = call i32 @free(i8* %141)
%143 = load i8*, i8** %8
%144 = call i32 @strlen(i8* %143)
%145 = add nsw i32 %144, 2
%146 = sext i32 %145 to i64
%147 = mul i64 1, %146
%148 = trunc i64 %147 to i32
%149 = call i64 @vrna_alloc(i32 %148)
%150 = inttoptr i64 %149 to i8*
store i8* %150, i8** %9
%151 = load i8*, i8** %9
%152 = load i8*, i8** %8
%153 = call i32 @strcpy(i8* %151, i8* %152)
%154 = load i8*, i8** %8
%155 = call i32 @free(i8* %154)
%156 = load i8*, i8** %9
ret i8* %156
}

LLVM IR (-O2):
@.str = [2 x i8] c"(\00"
@.str.1 = [6 x i8] c"(U%d)\00"
@.str.2 = [5 x i8] c"P%d)\00"
@.str.3 = [3 x i8] c"R)\00"
define i8* @b2HIT(i8* %0) {
%2 = alloca [10 x i8]
%3 = getelementptr inbounds [10 x i8], [10 x i8]* %2, i64 0, i64 0
%4 = tail call i32 @strlen(i8* %0)
%5 = shl nsw i32 %4, 2
%6 = add nsw i32 %5, 4
%7 = tail call i64 @vrna_alloc(i32 %6)
%8 = inttoptr i64 %7 to i8*
%9 = tail call i8* @aux_struct(i8* %0)
%10 = tail call i32 @strcpy(i8* %8, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%11 = load i8, i8* %9
%12 = icmp eq i8 %11, 0
br i1 %12, label %87, label %13
13: ; preds = %1, %70
%14 = phi i64 [ %74, %70 ], [ 0, %1 ]
%15 = phi i8 [ %76, %70 ], [ %11, %1 ]
%16 = phi i32 [ %73, %70 ], [ 0, %1 ]
%17 = phi i32 [ %72, %70 ], [ 0, %1 ]
%18 = phi i32 [ %71, %70 ], [ 1, %1 ]
%19 = sext i8 %15 to i32
switch i32 %19, label %70 [
i32 46, label %20
i32 91, label %22
i32 41, label %38
i32 93, label %51
]
20: ; preds = %13
%21 = add nsw i32 %16, 1
br label %70
22: ; preds = %13
%23 = icmp sgt i32 %16, 0
br i1 %23, label %24, label %31
24: ; preds = %22
%25 = call i32 @sprintf(i8* %3, i8* dereferenceable(1) getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i64 0, i64 0), i32 %16)
%26 = sext i32 %18 to i64
%27 = getelementptr inbounds i8, i8* %8, i64 %26
%28 = call i32 @strcat(i8* %27, i8* %3)
%29 = call i32 @strlen(i8* %3)
%30 = add nsw i32 %29, %18
br label %31
31: ; preds = %24, %22
%32 = phi i32 [ %30, %24 ], [ %18, %22 ]
%33 = phi i32 [ 0, %24 ], [ %16, %22 ]
%34 = sext i32 %32 to i64
%35 = getelementptr inbounds i8, i8* %8, i64 %34
%36 = call i32 @strcat(i8* %35, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%37 = add nsw i32 %32, 1
br label %70
38: ; preds = %13
%39 = icmp sgt i32 %16, 0
br i1 %39, label %40, label %47
40: ; preds = %38
%41 = call i32 @sprintf(i8* %3, i8* dereferenceable(1) getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i64 0, i64 0), i32 %16)
%42 = sext i32 %18 to i64
%43 = getelementptr inbounds i8, i8* %8, i64 %42
%44 = call i32 @strcat(i8* %43, i8* %3)
%45 = call i32 @strlen(i8* %3)
%46 = add nsw i32 %45, %18
br label %47
47: ; preds = %40, %38
%48 = phi i32 [ %46, %40 ], [ %18, %38 ]
%49 = phi i32 [ 0, %40 ], [ %16, %38 ]
%50 = add nsw i32 %17, 1
br label %70
51: ; preds = %13
%52 = icmp sgt i32 %16, 0
br i1 %52, label %53, label %60
53: ; preds = %51
%54 = call i32 @sprintf(i8* %3, i8* dereferenceable(1) getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i64 0, i64 0), i32 %16)
%55 = sext i32 %18 to i64
%56 = getelementptr inbounds i8, i8* %8, i64 %55
%57 = call i32 @strcat(i8* %56, i8* %3)
%58 = call i32 @strlen(i8* %3)
%59 = add nsw i32 %58, %18
br label %60
60: ; preds = %53, %51
%61 = phi i32 [ %59, %53 ], [ %18, %51 ]
%62 = phi i32 [ 0, %53 ], [ %16, %51 ]
%63 = add nsw i32 %17, 1
%64 = call i32 @sprintf(i8* %3, i8* dereferenceable(1) getelementptr inbounds ([5 x i8], [5 x i8]* @.str.2, i64 0, i64 0), i32 %63)
%65 = sext i32 %61 to i64
%66 = getelementptr inbounds i8, i8* %8, i64 %65
%67 = call i32 @strcat(i8* %66, i8* %3)
%68 = call i32 @strlen(i8* %3)
%69 = add nsw i32 %68, %61
br label %70
70: ; preds = %13, %60, %47, %31, %20
%71 = phi i32 [ %18, %13 ], [ %69, %60 ], [ %48, %47 ], [ %37, %31 ], [ %18, %20 ]
%72 = phi i32 [ %17, %13 ], [ 0, %60 ], [ %50, %47 ], [ %17, %31 ], [ %17, %20 ]
%73 = phi i32 [ %16, %13 ], [ %62, %60 ], [ %49, %47 ], [ %33, %31 ], [ %21, %20 ]
%74 = add nuw i64 %14, 1
%75 = getelementptr inbounds i8, i8* %9, i64 %74
%76 = load i8, i8* %75
%77 = icmp eq i8 %76, 0
br i1 %77, label %78, label %13
78: ; preds = %70
%79 = icmp sgt i32 %73, 0
br i1 %79, label %80, label %87
80: ; preds = %78
%81 = call i32 @sprintf(i8* %3, i8* dereferenceable(1) getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i64 0, i64 0), i32 %73)
%82 = sext i32 %71 to i64
%83 = getelementptr inbounds i8, i8* %8, i64 %82
%84 = call i32 @strcat(i8* %83, i8* %3)
%85 = call i32 @strlen(i8* %3)
%86 = add nsw i32 %85, %71
br label %87
87: ; preds = %1, %80, %78
%88 = phi i32 [ %86, %80 ], [ %71, %78 ], [ 1, %1 ]
%89 = sext i32 %88 to i64
%90 = getelementptr inbounds i8, i8* %8, i64 %89
%91 = call i32 @strcat(i8* %90, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.3, i64 0, i64 0))
%92 = call i32 @free(i8* %9)
%93 = call i32 @strlen(i8* %8)
%94 = add nsw i32 %93, 2
%95 = call i64 @vrna_alloc(i32 %94)
%96 = inttoptr i64 %95 to i8*
%97 = call i32 @strcpy(i8* %96, i8* %8)
%98 = call i32 @free(i8* %8)
ret i8* %96
}