#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 EOF;
int getchar();
int /*<<< orphan*/ printf(char *);
int main() {
  int cc, comment_state, saw_slash, saw_star, string_state;
  int num_rparen, num_lparen, num_rbrace, num_lbrace, num_rbracket,
      num_lbracket;
  num_rparen = num_lparen = 0;
  num_rbrace = num_lbrace = 0;
  num_rbracket = num_lbracket = 0;
  string_state = 0;
  comment_state = 0;
  saw_slash = 0;
  saw_star = 0;
  while ((cc = getchar()) != EOF) {
    if (comment_state == 0) {
      if (cc == '/')
        saw_slash = 1;
      else if (saw_slash == 1) {
        if (cc == '*' && string_state == 0) {
          comment_state = 1;
        }
        saw_slash = 0;
      }
      if (cc == '\"' || cc == '\'') {
        if (string_state == 0)
          string_state = 1;
        else
          string_state = 0;
      }
      if (comment_state == 0 && string_state == 0) {
        if (cc == '(')
          num_lparen++;
        else if (cc == ')')
          num_rparen++;
        else if (cc == '[')
          num_lbracket++;
        else if (cc == ']')
          num_rbracket++;
        else if (cc == '{')
          num_lbrace++;
        else if (cc == '}')
          num_rbrace++;
      }
    } else {
      if (cc == '*')
        saw_star = 1;
      else if (saw_star == 1) {
        if (cc == '/') {
          comment_state = 0;
        }
        saw_star = 0;
      }
    }
  }
  if (num_lparen != num_rparen)
    printf("Parentheses are imbalanced!\n");
  if (num_lbrace != num_rbrace)
    printf("Braces are imbalanced!\n");
  if (num_lbracket != num_rbracket)
    printf("Brackets are imbalanced!\n");
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0x20(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x30(%rbp)
movl   $0x0,-0x2c(%rbp)
movl   $0x0,-0x18(%rbp)
movl   $0x0,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
mov    $0x0,%al
call   1040 <getchar@plt>
mov    %eax,-0x8(%rbp)
mov    0x2e62(%rip),%rcx
cmp    (%rcx),%eax
je     131e <main+0x1fe>
cmpl   $0x0,-0xc(%rbp)
jne    12d7 <main+0x1b7>
cmpl   $0x2f,-0x8(%rbp)
jne    11ae <main+0x8e>
movl   $0x1,-0x10(%rbp)
jmp    11df <main+0xbf>
cmpl   $0x1,-0x10(%rbp)
jne    11da <main+0xba>
cmpl   $0x2a,-0x8(%rbp)
jne    11d3 <main+0xb3>
cmpl   $0x0,-0x18(%rbp)
jne    11d3 <main+0xb3>
movl   $0x1,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
jmp    11df <main+0xbf>
cmpl   $0x22,-0x8(%rbp)
je     11f3 <main+0xd3>
cmpl   $0x27,-0x8(%rbp)
jne    1215 <main+0xf5>
cmpl   $0x0,-0x18(%rbp)
jne    1209 <main+0xe9>
movl   $0x1,-0x18(%rbp)
jmp    1210 <main+0xf0>
movl   $0x0,-0x18(%rbp)
jmp    1215 <main+0xf5>
cmpl   $0x0,-0xc(%rbp)
jne    12d2 <main+0x1b2>
cmpl   $0x0,-0x18(%rbp)
jne    12d2 <main+0x1b2>
cmpl   $0x28,-0x8(%rbp)
jne    1241 <main+0x121>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    12cd <main+0x1ad>
cmpl   $0x29,-0x8(%rbp)
jne    1259 <main+0x139>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    12c8 <main+0x1a8>
cmpl   $0x5b,-0x8(%rbp)
jne    1271 <main+0x151>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    12c3 <main+0x1a3>
cmpl   $0x5d,-0x8(%rbp)
jne    1289 <main+0x169>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    12be <main+0x19e>
cmpl   $0x7b,-0x8(%rbp)
jne    12a1 <main+0x181>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    12b9 <main+0x199>
cmpl   $0x7d,-0x8(%rbp)
jne    12b4 <main+0x194>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    12b9 <main+0x199>
jmp    12be <main+0x19e>
jmp    12c3 <main+0x1a3>
jmp    12c8 <main+0x1a8>
jmp    12cd <main+0x1ad>
jmp    12d2 <main+0x1b2>
jmp    1319 <main+0x1f9>
cmpl   $0x2a,-0x8(%rbp)
jne    12ed <main+0x1cd>
movl   $0x1,-0x14(%rbp)
jmp    1314 <main+0x1f4>
cmpl   $0x1,-0x14(%rbp)
jne    130f <main+0x1ef>
cmpl   $0x2f,-0x8(%rbp)
jne    1308 <main+0x1e8>
movl   $0x0,-0xc(%rbp)
movl   $0x0,-0x14(%rbp)
jmp    1314 <main+0x1f4>
jmp    1319 <main+0x1f9>
jmp    1175 <main+0x55>
mov    -0x20(%rbp),%eax
cmp    -0x1c(%rbp),%eax
je     1336 <main+0x216>
lea    0xccf(%rip),%rdi
call   1030 <printf@plt>
mov    -0x28(%rbp),%eax
cmp    -0x24(%rbp),%eax
je     134e <main+0x22e>
lea    0xcd4(%rip),%rdi
call   1030 <printf@plt>
mov    -0x30(%rbp),%eax
cmp    -0x2c(%rbp),%eax
je     1366 <main+0x246>
lea    0xcd4(%rip),%rdi
call   1030 <printf@plt>
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
xor    %eax,%eax
call   1040 <getchar@plt>
mov    0x2eac(%rip),%rbx
cmp    (%rbx),%eax
je     12a7 <main+0x187>
lea    0xeb5(%rip),%rbp
movl   $0x0,0x14(%rsp)
movl   $0x0,0x10(%rsp)
movl   $0x0,0xc(%rsp)
movl   $0x0,0x8(%rsp)
movl   $0x0,0x4(%rsp)
movl   $0x0,(%rsp)
xor    %r12d,%r12d
xor    %r14d,%r14d
xor    %edx,%edx
xor    %r13d,%r13d
jmp    11b9 <main+0x99>
nopw   0x0(%rax,%rax,1)
xor    $0x1,%r14d
xor    $0x2f,%eax
or     %r14d,%eax
setne  %cl
xor    %r14d,%r14d
mov    %edx,%r15d
movzbl %cl,%r13d
xor    %eax,%eax
call   1040 <getchar@plt>
mov    %r15d,%edx
cmp    (%rbx),%eax
je     1266 <main+0x146>
test   %r13d,%r13d
je     11d0 <main+0xb0>
cmp    $0x2a,%eax
jne    1190 <main+0x70>
mov    $0x1,%r14d
mov    $0x1,%cl
jmp    11a0 <main+0x80>
nopl   (%rax)
xor    %r15d,%r15d
cmp    $0x2f,%eax
jne    11e2 <main+0xc2>
mov    $0x1,%r15d
xor    %ecx,%ecx
jmp    1207 <main+0xe7>
xor    $0x1,%edx
mov    %eax,%ecx
xor    $0x2a,%ecx
or     %edx,%ecx
or     %r12d,%ecx
sete   %cl
cmp    $0x27,%eax
je     11fc <main+0xdc>
cmp    $0x22,%eax
jne    1207 <main+0xe7>
xor    %edx,%edx
test   %r12d,%r12d
sete   %dl
mov    %edx,%r12d
test   %cl,%cl
jne    11a3 <main+0x83>
test   %r12d,%r12d
jne    11a3 <main+0x83>
xor    %r12d,%r12d
xor    %ecx,%ecx
lea    -0x5b(%rax),%edx
cmp    $0x22,%edx
ja     122e <main+0x10e>
movslq 0x0(%rbp,%rdx,4),%rax
add    %rbp,%rax
jmp    *%rax
addl   $0x1,0x14(%rsp)
jmp    125c <main+0x13c>
cmp    $0x29,%eax
je     1258 <main+0x138>
cmp    $0x28,%eax
jne    11a3 <main+0x83>
addl   $0x1,0x4(%rsp)
jmp    125c <main+0x13c>
addl   $0x1,0x10(%rsp)
jmp    125c <main+0x13c>
addl   $0x1,0xc(%rsp)
jmp    125c <main+0x13c>
addl   $0x1,0x8(%rsp)
jmp    125c <main+0x13c>
addl   $0x1,(%rsp)
xor    %ecx,%ecx
xor    %r12d,%r12d
jmp    11a3 <main+0x83>
mov    (%rsp),%eax
cmp    %eax,0x4(%rsp)
je     127b <main+0x15b>
lea    0xe46(%rip),%rdi
call   1030 <puts@plt>
mov    0x8(%rsp),%eax
cmp    %eax,0xc(%rsp)
je     1291 <main+0x171>
lea    0xe19(%rip),%rdi
call   1030 <puts@plt>
mov    0x10(%rsp),%eax
cmp    %eax,0x14(%rsp)
je     12a7 <main+0x187>
lea    0xdea(%rip),%rdi
call   1030 <puts@plt>
xor    %eax,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@EOF = global i32 0
@.str = [29 x i8] c"Parentheses are imbalanced!\0A\00"
@.str.1 = [24 x i8] c"Braces are imbalanced!\0A\00"
@.str.2 = [26 x i8] c"Brackets are imbalanced!\0A\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
store i32 0, i32* %1
store i32 0, i32* %8
store i32 0, i32* %7
store i32 0, i32* %10
store i32 0, i32* %9
store i32 0, i32* %12
store i32 0, i32* %11
store i32 0, i32* %6
store i32 0, i32* %3
store i32 0, i32* %4
store i32 0, i32* %5
br label %13
13: ; preds = %111, %0
%14 = call i32 (...) @getchar()
store i32 %14, i32* %2
%15 = load i32, i32* @EOF
%16 = icmp ne i32 %14, %15
br i1 %16, label %17, label %112
17: ; preds = %13
%18 = load i32, i32* %3
%19 = icmp eq i32 %18, 0
br i1 %19, label %20, label %97
20: ; preds = %17
%21 = load i32, i32* %2
%22 = icmp eq i32 %21, 47
br i1 %22, label %23, label %24
23: ; preds = %20
store i32 1, i32* %4
br label %36
24: ; preds = %20
%25 = load i32, i32* %4
%26 = icmp eq i32 %25, 1
br i1 %26, label %27, label %35
27: ; preds = %24
%28 = load i32, i32* %2
%29 = icmp eq i32 %28, 42
br i1 %29, label %30, label %34
30: ; preds = %27
%31 = load i32, i32* %6
%32 = icmp eq i32 %31, 0
br i1 %32, label %33, label %34
33: ; preds = %30
store i32 1, i32* %3
br label %34
34: ; preds = %33, %30, %27
store i32 0, i32* %4
br label %35
35: ; preds = %34, %24
br label %36
36: ; preds = %35, %23
%37 = load i32, i32* %2
%38 = icmp eq i32 %37, 34
br i1 %38, label %42, label %39
39: ; preds = %36
%40 = load i32, i32* %2
%41 = icmp eq i32 %40, 39
br i1 %41, label %42, label %48
42: ; preds = %39, %36
%43 = load i32, i32* %6
%44 = icmp eq i32 %43, 0
br i1 %44, label %45, label %46
45: ; preds = %42
store i32 1, i32* %6
br label %47
46: ; preds = %42
store i32 0, i32* %6
br label %47
47: ; preds = %46, %45
br label %48
48: ; preds = %47, %39
%49 = load i32, i32* %3
%50 = icmp eq i32 %49, 0
br i1 %50, label %51, label %96
51: ; preds = %48
%52 = load i32, i32* %6
%53 = icmp eq i32 %52, 0
br i1 %53, label %54, label %96
54: ; preds = %51
%55 = load i32, i32* %2
%56 = icmp eq i32 %55, 40
br i1 %56, label %57, label %60
57: ; preds = %54
%58 = load i32, i32* %8
%59 = add nsw i32 %58, 1
store i32 %59, i32* %8
br label %95
60: ; preds = %54
%61 = load i32, i32* %2
%62 = icmp eq i32 %61, 41
br i1 %62, label %63, label %66
63: ; preds = %60
%64 = load i32, i32* %7
%65 = add nsw i32 %64, 1
store i32 %65, i32* %7
br label %94
66: ; preds = %60
%67 = load i32, i32* %2
%68 = icmp eq i32 %67, 91
br i1 %68, label %69, label %72
69: ; preds = %66
%70 = load i32, i32* %12
%71 = add nsw i32 %70, 1
store i32 %71, i32* %12
br label %93
72: ; preds = %66
%73 = load i32, i32* %2
%74 = icmp eq i32 %73, 93
br i1 %74, label %75, label %78
75: ; preds = %72
%76 = load i32, i32* %11
%77 = add nsw i32 %76, 1
store i32 %77, i32* %11
br label %92
78: ; preds = %72
%79 = load i32, i32* %2
%80 = icmp eq i32 %79, 123
br i1 %80, label %81, label %84
81: ; preds = %78
%82 = load i32, i32* %10
%83 = add nsw i32 %82, 1
store i32 %83, i32* %10
br label %91
84: ; preds = %78
%85 = load i32, i32* %2
%86 = icmp eq i32 %85, 125
br i1 %86, label %87, label %90
87: ; preds = %84
%88 = load i32, i32* %9
%89 = add nsw i32 %88, 1
store i32 %89, i32* %9
br label %90
90: ; preds = %87, %84
br label %91
91: ; preds = %90, %81
br label %92
92: ; preds = %91, %75
br label %93
93: ; preds = %92, %69
br label %94
94: ; preds = %93, %63
br label %95
95: ; preds = %94, %57
br label %96
96: ; preds = %95, %51, %48
br label %111
97: ; preds = %17
%98 = load i32, i32* %2
%99 = icmp eq i32 %98, 42
br i1 %99, label %100, label %101
100: ; preds = %97
store i32 1, i32* %5
br label %110
101: ; preds = %97
%102 = load i32, i32* %5
%103 = icmp eq i32 %102, 1
br i1 %103, label %104, label %109
104: ; preds = %101
%105 = load i32, i32* %2
%106 = icmp eq i32 %105, 47
br i1 %106, label %107, label %108
107: ; preds = %104
store i32 0, i32* %3
br label %108
108: ; preds = %107, %104
store i32 0, i32* %5
br label %109
109: ; preds = %108, %101
br label %110
110: ; preds = %109, %100
br label %111
111: ; preds = %110, %96
br label %13
112: ; preds = %13
%113 = load i32, i32* %8
%114 = load i32, i32* %7
%115 = icmp ne i32 %113, %114
br i1 %115, label %116, label %118
116: ; preds = %112
%117 = call i32 @printf(i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str, i64 0, i64 0))
br label %118
118: ; preds = %116, %112
%119 = load i32, i32* %10
%120 = load i32, i32* %9
%121 = icmp ne i32 %119, %120
br i1 %121, label %122, label %124
122: ; preds = %118
%123 = call i32 @printf(i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.1, i64 0, i64 0))
br label %124
124: ; preds = %122, %118
%125 = load i32, i32* %12
%126 = load i32, i32* %11
%127 = icmp ne i32 %125, %126
br i1 %127, label %128, label %130
128: ; preds = %124
%129 = call i32 @printf(i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str.2, i64 0, i64 0))
br label %130
130: ; preds = %128, %124
%131 = load i32, i32* %1
ret i32 %131
}

LLVM IR (-O2):
@EOF = global i32 0
@str = [25 x i8] c"Brackets are imbalanced!\00"
@str.3 = [23 x i8] c"Braces are imbalanced!\00"
@str.4 = [28 x i8] c"Parentheses are imbalanced!\00"
define i32 @main() {
%1 = tail call i32 (...) @getchar()
%2 = load i32, i32* @EOF
%3 = icmp eq i32 %1, %2
br i1 %3, label %80, label %4
4: ; preds = %0, %53
%5 = phi i32 [ %65, %53 ], [ %1, %0 ]
%6 = phi i32 [ %63, %53 ], [ 0, %0 ]
%7 = phi i32 [ %62, %53 ], [ 0, %0 ]
%8 = phi i32 [ %61, %53 ], [ 0, %0 ]
%9 = phi i32 [ %60, %53 ], [ 0, %0 ]
%10 = phi i32 [ %59, %53 ], [ 0, %0 ]
%11 = phi i32 [ %58, %53 ], [ 0, %0 ]
%12 = phi i32 [ %57, %53 ], [ 0, %0 ]
%13 = phi i32 [ %56, %53 ], [ 0, %0 ]
%14 = phi i32 [ %55, %53 ], [ 0, %0 ]
%15 = phi i32 [ %64, %53 ], [ 0, %0 ]
%16 = icmp eq i32 %15, 0
br i1 %16, label %17, label %47
17: ; preds = %4
%18 = icmp eq i32 %5, 47
br i1 %18, label %27, label %19
19: ; preds = %17
%20 = icmp eq i32 %14, 1
%21 = icmp eq i32 %5, 42
%22 = icmp eq i32 %12, 0
%23 = and i1 %20, %21
%24 = select i1 %23, i1 %22, i1 false
switch i32 %5, label %27 [
i32 39, label %25
i32 34, label %25
]
25: ; preds = %19, %19
%26 = zext i1 %22 to i32
br label %27
27: ; preds = %17, %25, %19
%28 = phi i32 [ 0, %19 ], [ 0, %25 ], [ 1, %17 ]
%29 = phi i1 [ %24, %19 ], [ %24, %25 ], [ false, %17 ]
%30 = phi i32 [ %12, %19 ], [ %26, %25 ], [ %12, %17 ]
%31 = xor i1 %29, true
%32 = icmp eq i32 %30, 0
%33 = select i1 %31, i1 %32, i1 false
br i1 %33, label %34, label %53
34: ; preds = %27
switch i32 %5, label %53 [
i32 40, label %35
i32 41, label %37
i32 91, label %39
i32 93, label %41
i32 123, label %43
i32 125, label %45
]
35: ; preds = %34
%36 = add nsw i32 %10, 1
br label %53
37: ; preds = %34
%38 = add nsw i32 %11, 1
br label %53
39: ; preds = %34
%40 = add nsw i32 %6, 1
br label %53
41: ; preds = %34
%42 = add nsw i32 %7, 1
br label %53
43: ; preds = %34
%44 = add nsw i32 %8, 1
br label %53
45: ; preds = %34
%46 = add nsw i32 %9, 1
br label %53
47: ; preds = %4
%48 = icmp eq i32 %5, 42
br i1 %48, label %53, label %49
49: ; preds = %47
%50 = icmp ne i32 %13, 1
%51 = icmp ne i32 %5, 47
%52 = or i1 %50, %51
br label %53
53: ; preds = %49, %47, %34, %27, %37, %41, %45, %43, %39, %35
%54 = phi i1 [ false, %35 ], [ false, %37 ], [ false, %39 ], [ false, %41 ], [ false, %43 ], [ false, %45 ], [ %29, %27 ], [ false, %34 ], [ true, %47 ], [ %52, %49 ]
%55 = phi i32 [ %28, %35 ], [ %28, %37 ], [ %28, %39 ], [ %28, %41 ], [ %28, %43 ], [ %28, %45 ], [ %28, %27 ], [ %28, %34 ], [ %14, %47 ], [ %14, %49 ]
%56 = phi i32 [ %13, %35 ], [ %13, %37 ], [ %13, %39 ], [ %13, %41 ], [ %13, %43 ], [ %13, %45 ], [ %13, %27 ], [ %13, %34 ], [ 1, %47 ], [ 0, %49 ]
%57 = phi i32 [ 0, %35 ], [ 0, %37 ], [ 0, %39 ], [ 0, %41 ], [ 0, %43 ], [ 0, %45 ], [ %30, %27 ], [ 0, %34 ], [ %12, %47 ], [ %12, %49 ]
%58 = phi i32 [ %11, %35 ], [ %38, %37 ], [ %11, %39 ], [ %11, %41 ], [ %11, %43 ], [ %11, %45 ], [ %11, %27 ], [ %11, %34 ], [ %11, %47 ], [ %11, %49 ]
%59 = phi i32 [ %36, %35 ], [ %10, %37 ], [ %10, %39 ], [ %10, %41 ], [ %10, %43 ], [ %10, %45 ], [ %10, %27 ], [ %10, %34 ], [ %10, %47 ], [ %10, %49 ]
%60 = phi i32 [ %9, %35 ], [ %9, %37 ], [ %9, %39 ], [ %9, %41 ], [ %9, %43 ], [ %46, %45 ], [ %9, %27 ], [ %9, %34 ], [ %9, %47 ], [ %9, %49 ]
%61 = phi i32 [ %8, %35 ], [ %8, %37 ], [ %8, %39 ], [ %8, %41 ], [ %44, %43 ], [ %8, %45 ], [ %8, %27 ], [ %8, %34 ], [ %8, %47 ], [ %8, %49 ]
%62 = phi i32 [ %7, %35 ], [ %7, %37 ], [ %7, %39 ], [ %42, %41 ], [ %7, %43 ], [ %7, %45 ], [ %7, %27 ], [ %7, %34 ], [ %7, %47 ], [ %7, %49 ]
%63 = phi i32 [ %6, %35 ], [ %6, %37 ], [ %40, %39 ], [ %6, %41 ], [ %6, %43 ], [ %6, %45 ], [ %6, %27 ], [ %6, %34 ], [ %6, %47 ], [ %6, %49 ]
%64 = zext i1 %54 to i32
%65 = tail call i32 (...) @getchar()
%66 = load i32, i32* @EOF
%67 = icmp eq i32 %65, %66
br i1 %67, label %68, label %4
68: ; preds = %53
%69 = icmp eq i32 %59, %58
br i1 %69, label %72, label %70
70: ; preds = %68
%71 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([28 x i8], [28 x i8]* @str.4, i64 0, i64 0))
br label %72
72: ; preds = %70, %68
%73 = icmp eq i32 %61, %60
br i1 %73, label %76, label %74
74: ; preds = %72
%75 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([23 x i8], [23 x i8]* @str.3, i64 0, i64 0))
br label %76
76: ; preds = %74, %72
%77 = icmp eq i32 %63, %62
br i1 %77, label %80, label %78
78: ; preds = %76
%79 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([25 x i8], [25 x i8]* @str, i64 0, i64 0))
br label %80
80: ; preds = %0, %78, %76
ret i32 0
}