#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*/ insert_char(char, int);
int /*<<< orphan*/ print_margin(char);
int /*<<< orphan*/ print_word(int, char *, int, int);
int /*<<< orphan*/ printf(char *);
int /*<<< orphan*/ putchar(char);
int main() {
  int c;
  int i = 0;
  int cut_place = 0;
  int in_word = 0;
  int space_len = 0;
  char buf[0x10000];
  while ((c = getchar()) != EOF) {
    if (in_word) {
      if (c == ' ' || c == '\t' || c == '\n') {
        if (i > 12) {
          if (cut_place)
            printf("\n");
          print_word(0, buf, i - cut_place, 12);
          i -= cut_place;
        } else
          print_word(space_len, buf, i - cut_place, 12 - cut_place);
        in_word = 0;
      }
      if (c == ' ') {
        space_len = 1;
        i++;
      } else if (c == '\t') {
        int tab_len = 8 - (i % 8);
        space_len = tab_len;
        i += tab_len;
      } else if (c == '\n') {
        insert_char(' ', 12 - i);
        if (i - cut_place > 12)
          print_margin('+');
        else
          print_margin('<');
        putchar('\n');
        i = 0;
        cut_place = 0;
        space_len = 0;
      } else {
        buf[i - cut_place] = c;
        i++;
      }
    } else {
      if (c == ' ') {
        space_len++;
        i++;
      } else if (c == '\t') {
        int tab_len = 8 - (i % 8);
        space_len += tab_len;
        i += tab_len;
      } else if (c == '\n') {
        print_word(0, buf, i - cut_place, 12);
        insert_char(' ', 12 - i);
        if (i - cut_place > 12)
          print_margin('+');
        else
          print_margin('<');
        putchar('\n');
        i = 0;
        cut_place = 0;
        space_len = 0;
      } else {
        cut_place = i;
        in_word = 1;
        buf[0] = c;
        i++;
      }
    }
  }
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10030,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    $0x0,%al
call   1070 <getchar@plt>
mov    %eax,-0x8(%rbp)
mov    0x2e49(%rip),%rcx
cmp    (%rcx),%eax
je     143f <main+0x2df>
cmpl   $0x0,-0x14(%rbp)
je     132b <main+0x1cb>
cmpl   $0x20,-0x8(%rbp)
je     11cf <main+0x6f>
cmpl   $0x9,-0x8(%rbp)
je     11cf <main+0x6f>
cmpl   $0xa,-0x8(%rbp)
jne    123c <main+0xdc>
cmpl   $0xc,-0xc(%rbp)
jle    1218 <main+0xb8>
cmpl   $0x0,-0x10(%rbp)
je     11ef <main+0x8f>
lea    0xe16(%rip),%rdi
call   1060 <printf@plt>
lea    -0x10020(%rbp),%rsi
mov    -0xc(%rbp),%edx
sub    -0x10(%rbp),%edx
xor    %edi,%edi
mov    $0xc,%ecx
call   1040 <print_word@plt>
mov    -0x10(%rbp),%ecx
mov    -0xc(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0xc(%rbp)
jmp    1235 <main+0xd5>
mov    -0x18(%rbp),%edi
lea    -0x10020(%rbp),%rsi
mov    -0xc(%rbp),%edx
sub    -0x10(%rbp),%edx
mov    $0xc,%ecx
sub    -0x10(%rbp),%ecx
call   1040 <print_word@plt>
movl   $0x0,-0x14(%rbp)
cmpl   $0x20,-0x8(%rbp)
jne    125b <main+0xfb>
movl   $0x1,-0x18(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1326 <main+0x1c6>
cmpl   $0x9,-0x8(%rbp)
jne    1297 <main+0x137>
mov    -0xc(%rbp),%eax
mov    $0x8,%ecx
cltd
idiv   %ecx
mov    $0x8,%eax
sub    %edx,%eax
mov    %eax,-0x10024(%rbp)
mov    -0x10024(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10024(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
jmp    1321 <main+0x1c1>
cmpl   $0xa,-0x8(%rbp)
jne    12ff <main+0x19f>
mov    $0xc,%esi
sub    -0xc(%rbp),%esi
mov    $0x20,%edi
call   1080 <insert_char@plt>
mov    -0xc(%rbp),%eax
sub    -0x10(%rbp),%eax
cmp    $0xc,%eax
jle    12d1 <main+0x171>
mov    $0x2b,%edi
call   1050 <print_margin@plt>
jmp    12db <main+0x17b>
mov    $0x3c,%edi
call   1050 <print_margin@plt>
mov    $0xa,%edi
call   1030 <putchar@plt>
movl   $0x0,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
movl   $0x0,-0x18(%rbp)
jmp    131c <main+0x1bc>
mov    -0x8(%rbp),%eax
mov    %al,%cl
mov    -0xc(%rbp),%eax
sub    -0x10(%rbp),%eax
cltq
mov    %cl,-0x10020(%rbp,%rax,1)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1321 <main+0x1c1>
jmp    1326 <main+0x1c6>
jmp    143a <main+0x2da>
cmpl   $0x20,-0x8(%rbp)
jne    134c <main+0x1ec>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1435 <main+0x2d5>
cmpl   $0x9,-0x8(%rbp)
jne    138b <main+0x22b>
mov    -0xc(%rbp),%eax
mov    $0x8,%ecx
cltd
idiv   %ecx
mov    $0x8,%eax
sub    %edx,%eax
mov    %eax,-0x10028(%rbp)
mov    -0x10028(%rbp),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10028(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
jmp    1430 <main+0x2d0>
cmpl   $0xa,-0x8(%rbp)
jne    140c <main+0x2ac>
lea    -0x10020(%rbp),%rsi
mov    -0xc(%rbp),%edx
sub    -0x10(%rbp),%edx
xor    %edi,%edi
mov    $0xc,%ecx
call   1040 <print_word@plt>
mov    $0xc,%esi
sub    -0xc(%rbp),%esi
mov    $0x20,%edi
call   1080 <insert_char@plt>
mov    -0xc(%rbp),%eax
sub    -0x10(%rbp),%eax
cmp    $0xc,%eax
jle    13de <main+0x27e>
mov    $0x2b,%edi
call   1050 <print_margin@plt>
jmp    13e8 <main+0x288>
mov    $0x3c,%edi
call   1050 <print_margin@plt>
mov    $0xa,%edi
call   1030 <putchar@plt>
movl   $0x0,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
movl   $0x0,-0x18(%rbp)
jmp    142b <main+0x2cb>
mov    -0xc(%rbp),%eax
mov    %eax,-0x10(%rbp)
movl   $0x1,-0x14(%rbp)
mov    -0x8(%rbp),%eax
mov    %al,-0x10020(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1430 <main+0x2d0>
jmp    1435 <main+0x2d5>
jmp    143a <main+0x2da>
jmp    118e <main+0x2e>
mov    -0x4(%rbp),%eax
add    $0x10030,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x10008,%rsp
xor    %eax,%eax
call   1060 <getchar@plt>
mov    0x2e79(%rip),%r12
cmp    (%r12),%eax
jne    1189 <main+0x39>
xor    %eax,%eax
add    $0x10008,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %eax,%ebp
xor    %ebx,%ebx
xor    %r13d,%r13d
xor    %r15d,%r15d
xor    %r14d,%r14d
jmp    11cf <main+0x7f>
lea    0x7(%rbx),%r15d
test   %ebx,%ebx
cmovns %ebx,%r15d
and    $0xfffffff8,%r15d
sub    %ebx,%r15d
add    %r15d,%ebx
add    $0x8,%ebx
add    $0x8,%r15d
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
xor    %eax,%eax
call   1060 <getchar@plt>
mov    %eax,%ebp
cmp    (%r12),%eax
je     1175 <main+0x25>
test   %r14d,%r14d
je     1230 <main+0xe0>
mov    $0x1,%r14d
cmp    $0x20,%ebp
ja     121c <main+0xcc>
mov    %ebp,%eax
movabs $0x100000600,%rcx
bt     %rax,%rcx
jae    121c <main+0xcc>
cmp    $0xd,%ebx
jl     1260 <main+0x110>
test   %r13d,%r13d
je     1205 <main+0xb5>
mov    $0xa,%edi
call   1030 <putchar@plt>
sub    %r13d,%ebx
xor    %r14d,%r14d
xor    %edi,%edi
mov    %rsp,%rsi
mov    %ebx,%edx
mov    $0xc,%ecx
call   1040 <print_word@plt>
cmp    $0x9,%ebp
jne    1284 <main+0x134>
jmp    1198 <main+0x48>
cs nopw 0x0(%rax,%rax,1)
cmp    $0x9,%ebp
je     131e <main+0x1ce>
cmp    $0xa,%ebp
je     12c8 <main+0x178>
cmp    $0x20,%ebp
jne    133f <main+0x1ef>
add    $0x1,%r15d
add    $0x1,%ebx
xor    %r14d,%r14d
jmp    11c0 <main+0x70>
nopw   0x0(%rax,%rax,1)
mov    %ebx,%edx
sub    %r13d,%edx
mov    $0xc,%ecx
sub    %r13d,%ecx
mov    %r15d,%edi
mov    %rsp,%rsi
call   1040 <print_word@plt>
xor    %r14d,%r14d
cmp    $0x9,%ebp
je     1198 <main+0x48>
cmp    $0xa,%ebp
je     129c <main+0x14c>
cmp    $0x20,%ebp
jne    12b5 <main+0x165>
add    $0x1,%ebx
mov    $0x1,%r15d
jmp    11c0 <main+0x70>
mov    $0xc,%esi
sub    %ebx,%esi
mov    $0x20,%edi
call   1070 <insert_char@plt>
sub    %r13d,%ebx
cmp    $0xd,%ebx
jmp    12f5 <main+0x1a5>
mov    %ebx,%eax
sub    %r13d,%eax
cltq
mov    %bpl,(%rsp,%rax,1)
add    $0x1,%ebx
jmp    11c0 <main+0x70>
mov    %ebx,%ebp
sub    %r13d,%ebp
xor    %r14d,%r14d
xor    %edi,%edi
mov    %rsp,%rsi
mov    %ebp,%edx
mov    $0xc,%ecx
call   1040 <print_word@plt>
mov    $0xc,%esi
sub    %ebx,%esi
mov    $0x20,%edi
call   1070 <insert_char@plt>
cmp    $0xd,%ebp
mov    $0x3c,%edi
mov    $0x2b,%eax
cmovge %eax,%edi
call   1050 <print_margin@plt>
mov    $0xa,%edi
call   1030 <putchar@plt>
xor    %r15d,%r15d
xor    %r13d,%r13d
xor    %ebx,%ebx
jmp    11c0 <main+0x70>
lea    0x7(%rbx),%eax
test   %ebx,%ebx
cmovns %ebx,%eax
and    $0xfffffff8,%eax
sub    %ebx,%eax
add    %eax,%r15d
add    $0x8,%r15d
add    %eax,%ebx
add    $0x8,%ebx
xor    %r14d,%r14d
jmp    11c0 <main+0x70>
mov    %bpl,(%rsp)
mov    %ebx,%r13d
lea    0x1(%rbx),%eax
mov    $0x1,%r14d
mov    %eax,%ebx
jmp    11c0 <main+0x70>

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

LLVM IR (-O2):
@EOF = global i32 0
define i32 @main() {
%1 = alloca [65536 x i8]
%2 = getelementptr inbounds [65536 x i8], [65536 x i8]* %1, i64 0, i64 0
%3 = call i32 (...) @getchar()
%4 = load i32, i32* @EOF
%5 = icmp eq i32 %3, %4
br i1 %5, label %79, label %6
6: ; preds = %0, %71
%7 = phi i32 [ %76, %71 ], [ %3, %0 ]
%8 = phi i32 [ %75, %71 ], [ 0, %0 ]
%9 = phi i32 [ %74, %71 ], [ 0, %0 ]
%10 = phi i32 [ %73, %71 ], [ 0, %0 ]
%11 = phi i32 [ %72, %71 ], [ 0, %0 ]
%12 = icmp eq i32 %11, 0
br i1 %12, label %50, label %13
13: ; preds = %6
switch i32 %7, label %27 [
i32 32, label %14
i32 10, label %14
i32 9, label %14
]
14: ; preds = %13, %13, %13
%15 = icmp sgt i32 %8, 12
br i1 %15, label %16, label %23
16: ; preds = %14
%17 = icmp eq i32 %9, 0
br i1 %17, label %20, label %18
18: ; preds = %16
%19 = call i32 bitcast (i32 (i8)* @putchar to i32 (i32)*)(i32 10)
br label %20
20: ; preds = %18, %16
%21 = sub nsw i32 %8, %9
%22 = call i32 @print_word(i32 0, i8* %2, i32 %21, i32 12)
br label %27
23: ; preds = %14
%24 = sub nsw i32 %8, %9
%25 = sub nsw i32 12, %9
%26 = call i32 @print_word(i32 %10, i8* %2, i32 %24, i32 %25)
br label %27
27: ; preds = %20, %23, %13
%28 = phi i32 [ 1, %13 ], [ 0, %23 ], [ 0, %20 ]
%29 = phi i32 [ %8, %13 ], [ %8, %23 ], [ %21, %20 ]
switch i32 %7, label %44 [
i32 32, label %30
i32 9, label %32
i32 10, label %36
]
30: ; preds = %27
%31 = add nsw i32 %29, 1
br label %71
32: ; preds = %27
%33 = srem i32 %29, 8
%34 = sub nsw i32 8, %33
%35 = add nsw i32 %34, %29
br label %71
36: ; preds = %27
%37 = sub nsw i32 12, %29
%38 = call i32 @insert_char(i8 signext 32, i32 %37)
%39 = sub nsw i32 %29, %9
%40 = icmp sgt i32 %39, 12
%41 = select i1 %40, i8 43, i8 60
%42 = call i32 @print_margin(i8 signext %41)
%43 = call i32 @putchar(i8 signext 10)
br label %71
44: ; preds = %27
%45 = trunc i32 %7 to i8
%46 = sub nsw i32 %29, %9
%47 = sext i32 %46 to i64
%48 = getelementptr inbounds [65536 x i8], [65536 x i8]* %1, i64 0, i64 %47
store i8 %45, i8* %48
%49 = add nsw i32 %29, 1
br label %71
50: ; preds = %6
switch i32 %7, label %68 [
i32 32, label %51
i32 9, label %54
i32 10, label %59
]
51: ; preds = %50
%52 = add nsw i32 %10, 1
%53 = add nsw i32 %8, 1
br label %71
54: ; preds = %50
%55 = srem i32 %8, 8
%56 = sub nsw i32 8, %55
%57 = add nsw i32 %56, %10
%58 = add nsw i32 %56, %8
br label %71
59: ; preds = %50
%60 = sub nsw i32 %8, %9
%61 = call i32 @print_word(i32 0, i8* %2, i32 %60, i32 12)
%62 = sub nsw i32 12, %8
%63 = call i32 @insert_char(i8 signext 32, i32 %62)
%64 = icmp sgt i32 %60, 12
%65 = select i1 %64, i8 43, i8 60
%66 = call i32 @print_margin(i8 signext %65)
%67 = call i32 @putchar(i8 signext 10)
br label %71
68: ; preds = %50
%69 = trunc i32 %7 to i8
store i8 %69, i8* %2
%70 = add nsw i32 %8, 1
br label %71
71: ; preds = %51, %59, %68, %54, %30, %36, %44, %32
%72 = phi i32 [ %28, %30 ], [ %28, %32 ], [ %28, %36 ], [ %28, %44 ], [ 0, %51 ], [ 0, %54 ], [ 0, %59 ], [ 1, %68 ]
%73 = phi i32 [ 1, %30 ], [ %34, %32 ], [ 0, %36 ], [ %10, %44 ], [ %52, %51 ], [ %57, %54 ], [ 0, %59 ], [ %10, %68 ]
%74 = phi i32 [ %9, %30 ], [ %9, %32 ], [ 0, %36 ], [ %9, %44 ], [ %9, %51 ], [ %9, %54 ], [ 0, %59 ], [ %8, %68 ]
%75 = phi i32 [ %31, %30 ], [ %35, %32 ], [ 0, %36 ], [ %49, %44 ], [ %53, %51 ], [ %58, %54 ], [ 0, %59 ], [ %70, %68 ]
%76 = call i32 (...) @getchar()
%77 = load i32, i32* @EOF
%78 = icmp eq i32 %76, %77
br i1 %78, label %79, label %6
79: ; preds = %71, %0
ret i32 0
}