#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 atoi(char *);
int /*<<< orphan*/ snprintf(char *, int, char *, ...);
void format_time_for_pdu(char *org, char *format_time, int len, char *format_tz,
                         int len2) {
  char tmp[7][3];
  int i;
  for (i = 0; i < 7; i++) {
    tmp[i][2] = '\0';
  }
  tmp[0][0] = org[0];
  tmp[0][1] = org[1];
  tmp[1][0] = org[2];
  tmp[1][1] = org[3];
  tmp[2][0] = org[4];
  tmp[2][1] = org[5];
  tmp[3][0] = org[6];
  tmp[3][1] = org[7];
  tmp[4][0] = org[8];
  tmp[4][1] = org[9];
  tmp[5][0] = org[10];
  tmp[5][1] = org[11];
  tmp[6][0] = org[12];
  tmp[6][1] = org[13];
  snprintf(format_time, len, "20%s/%s/%s %s:%s:%s", tmp[0], tmp[1], tmp[2],
           tmp[3], tmp[4], tmp[5]);
  int tz;
  tz = atoi(tmp[6]);
  if (tz & 0x80) {
    snprintf(format_tz, len2, "GMT-%d", (tz & 0x7F) / 4);
  } else {
    snprintf(format_tz, len2, "GMT+%d", tz / 4);
  }
}


x86 assembly (clang, -O0):
<format_time_for_pdu>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8d,-0x24(%rbp)
movl   $0x0,-0x44(%rbp)
cmpl   $0x7,-0x44(%rbp)
jge    116d <format_time_for_pdu+0x4d>
movslq -0x44(%rbp),%rcx
lea    -0x40(%rbp),%rax
imul   $0x3,%rcx,%rcx
add    %rcx,%rax
movb   $0x0,0x2(%rax)
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    1142 <format_time_for_pdu+0x22>
mov    -0x8(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x40(%rbp)
mov    -0x8(%rbp),%rax
mov    0x1(%rax),%al
mov    %al,-0x3f(%rbp)
mov    -0x8(%rbp),%rax
mov    0x2(%rax),%al
mov    %al,-0x3d(%rbp)
mov    -0x8(%rbp),%rax
mov    0x3(%rax),%al
mov    %al,-0x3c(%rbp)
mov    -0x8(%rbp),%rax
mov    0x4(%rax),%al
mov    %al,-0x3a(%rbp)
mov    -0x8(%rbp),%rax
mov    0x5(%rax),%al
mov    %al,-0x39(%rbp)
mov    -0x8(%rbp),%rax
mov    0x6(%rax),%al
mov    %al,-0x37(%rbp)
mov    -0x8(%rbp),%rax
mov    0x7(%rax),%al
mov    %al,-0x36(%rbp)
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%al
mov    %al,-0x34(%rbp)
mov    -0x8(%rbp),%rax
mov    0x9(%rax),%al
mov    %al,-0x33(%rbp)
mov    -0x8(%rbp),%rax
mov    0xa(%rax),%al
mov    %al,-0x31(%rbp)
mov    -0x8(%rbp),%rax
mov    0xb(%rax),%al
mov    %al,-0x30(%rbp)
mov    -0x8(%rbp),%rax
mov    0xc(%rax),%al
mov    %al,-0x2e(%rbp)
mov    -0x8(%rbp),%rax
mov    0xd(%rax),%al
mov    %al,-0x2d(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
lea    -0x40(%rbp),%rcx
lea    -0x40(%rbp),%r8
add    $0x3,%r8
lea    -0x40(%rbp),%r9
add    $0x6,%r9
lea    -0x40(%rbp),%r11
add    $0x9,%r11
lea    -0x40(%rbp),%r10
add    $0xc,%r10
lea    -0x40(%rbp),%rax
add    $0xf,%rax
lea    0xdce(%rip),%rdx
mov    %r11,(%rsp)
mov    %r10,0x8(%rsp)
mov    %rax,0x10(%rsp)
mov    $0x0,%al
call   1030 <snprintf@plt>
lea    -0x40(%rbp),%rdi
add    $0x12,%rdi
call   1040 <atoi@plt>
mov    %eax,-0x48(%rbp)
mov    -0x48(%rbp),%eax
and    $0x80,%eax
cmp    $0x0,%eax
je     1292 <format_time_for_pdu+0x172>
mov    -0x20(%rbp),%rdi
mov    -0x24(%rbp),%esi
mov    -0x48(%rbp),%eax
and    $0x7f,%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
lea    0xd8e(%rip),%rdx
mov    $0x0,%al
call   1030 <snprintf@plt>
jmp    12b4 <format_time_for_pdu+0x194>
mov    -0x20(%rbp),%rdi
mov    -0x24(%rbp),%esi
mov    -0x48(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
lea    0xd6e(%rip),%rdx
mov    $0x0,%al
call   1030 <snprintf@plt>
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<format_time_for_pdu>:
push   %rbp
push   %r15
push   %r14
push   %rbx
sub    $0x18,%rsp
mov    %r8d,%ebp
mov    %rcx,%rbx
movb   $0x0,0x2(%rsp)
lea    0x3(%rsp),%r8
movb   $0x0,0x5(%rsp)
lea    0x6(%rsp),%r9
movb   $0x0,0x8(%rsp)
lea    0x9(%rsp),%r10
movb   $0x0,0xb(%rsp)
lea    0xc(%rsp),%r11
movb   $0x0,0xe(%rsp)
lea    0xf(%rsp),%r15
movb   $0x0,0x11(%rsp)
lea    0x12(%rsp),%r14
movb   $0x0,0x14(%rsp)
mov    (%rdi),%al
mov    %al,(%rsp)
mov    0x1(%rdi),%al
mov    %al,0x1(%rsp)
mov    0x2(%rdi),%al
mov    %al,0x3(%rsp)
mov    0x3(%rdi),%al
mov    %al,0x4(%rsp)
mov    0x4(%rdi),%al
mov    %al,0x6(%rsp)
mov    0x5(%rdi),%al
mov    %al,0x7(%rsp)
mov    0x6(%rdi),%al
mov    %al,0x9(%rsp)
mov    0x7(%rdi),%al
mov    %al,0xa(%rsp)
mov    0x8(%rdi),%al
mov    %al,0xc(%rsp)
mov    0x9(%rdi),%al
mov    %al,0xd(%rsp)
mov    0xa(%rdi),%al
mov    %al,0xf(%rsp)
mov    0xb(%rdi),%al
mov    %al,0x10(%rsp)
mov    0xc(%rdi),%al
mov    %al,0x12(%rsp)
mov    0xd(%rdi),%al
mov    %al,0x13(%rsp)
sub    $0x8,%rsp
lea    0xe24(%rip),%rax
lea    0x8(%rsp),%rcx
mov    %rsi,%rdi
mov    %edx,%esi
mov    %rax,%rdx
xor    %eax,%eax
push   %r15
push   %r11
push   %r10
call   1030 <snprintf@plt>
add    $0x20,%rsp
mov    %r14,%rdi
call   1040 <atoi@plt>
test   $0x80,%al
jne    121f <format_time_for_pdu+0xff>
lea    0x3(%rax),%ecx
test   %eax,%eax
cmovns %eax,%ecx
sar    $0x2,%ecx
lea    0xe03(%rip),%rdx
mov    %rbx,%rdi
mov    %ebp,%esi
jmp    1233 <format_time_for_pdu+0x113>
shr    $0x2,%eax
and    $0x1f,%eax
lea    0xde8(%rip),%rdx
mov    %rbx,%rdi
mov    %ebp,%esi
mov    %eax,%ecx
xor    %eax,%eax
call   1030 <snprintf@plt>
add    $0x18,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@.str = [20 x i8] c"20%s/%s/%s %s:%s:%s\00"
@.str.1 = [7 x i8] c"GMT-%d\00"
@.str.2 = [7 x i8] c"GMT+%d\00"
define void @format_time_for_pdu(i8* nocapture %0, i8* %1, i32 %2, i8* %3, i32 %4) {
%6 = alloca [7 x [3 x i8]]
%7 = getelementptr inbounds [7 x [3 x i8]], [7 x [3 x i8]]* %6, i64 0, i64 0, i64 0
%8 = getelementptr inbounds [7 x [3 x i8]], [7 x [3 x i8]]* %6, i64 0, i64 0, i64 2
store i8 0, i8* %8
%9 = getelementptr inbounds [7 x [3 x i8]], [7 x [3 x i8]]* %6, i64 0, i64 1, i64 2
store i8 0, i8* %9
%10 = getelementptr inbounds [7 x [3 x i8]], [7 x [3 x i8]]* %6, i64 0, i64 2, i64 2
store i8 0, i8* %10
%11 = getelementptr inbounds [7 x [3 x i8]], [7 x [3 x i8]]* %6, i64 0, i64 3, i64 2
store i8 0, i8* %11
%12 = getelementptr inbounds [7 x [3 x i8]], [7 x [3 x i8]]* %6, i64 0, i64 4, i64 2
store i8 0, i8* %12
%13 = getelementptr inbounds [7 x [3 x i8]], [7 x [3 x i8]]* %6, i64 0, i64 5, i64 2
store i8 0, i8* %13
%14 = getelementptr inbounds [7 x [3 x i8]], [7 x [3 x i8]]* %6, i64 0, i64 6, i64 2
store i8 0, i8* %14
%15 = load i8, i8* %0
store i8 %15, i8* %7
%16 = getelementptr inbounds i8, i8* %0, i64 1
%17 = load i8, i8* %16
%18 = getelementptr inbounds [7 x [3 x i8]], [7 x [3 x i8]]* %6, i64 0, i64 0, i64 1
store i8 %17, i8* %18
%19 = getelementptr inbounds i8, i8* %0, i64 2
%20 = load i8, i8* %19
%21 = getelementptr inbounds [7 x [3 x i8]], [7 x [3 x i8]]* %6, i64 0, i64 1, i64 0
store i8 %20, i8* %21
%22 = getelementptr inbounds i8, i8* %0, i64 3
%23 = load i8, i8* %22
%24 = getelementptr inbounds [7 x [3 x i8]], [7 x [3 x i8]]* %6, i64 0, i64 1, i64 1
store i8 %23, i8* %24
%25 = getelementptr inbounds i8, i8* %0, i64 4
%26 = load i8, i8* %25
%27 = getelementptr inbounds [7 x [3 x i8]], [7 x [3 x i8]]* %6, i64 0, i64 2, i64 0
store i8 %26, i8* %27
%28 = getelementptr inbounds i8, i8* %0, i64 5
%29 = load i8, i8* %28
%30 = getelementptr inbounds [7 x [3 x i8]], [7 x [3 x i8]]* %6, i64 0, i64 2, i64 1
store i8 %29, i8* %30
%31 = getelementptr inbounds i8, i8* %0, i64 6
%32 = load i8, i8* %31
%33 = getelementptr inbounds [7 x [3 x i8]], [7 x [3 x i8]]* %6, i64 0, i64 3, i64 0
store i8 %32, i8* %33
%34 = getelementptr inbounds i8, i8* %0, i64 7
%35 = load i8, i8* %34
%36 = getelementptr inbounds [7 x [3 x i8]], [7 x [3 x i8]]* %6, i64 0, i64 3, i64 1
store i8 %35, i8* %36
%37 = getelementptr inbounds i8, i8* %0, i64 8
%38 = load i8, i8* %37
%39 = getelementptr inbounds [7 x [3 x i8]], [7 x [3 x i8]]* %6, i64 0, i64 4, i64 0
store i8 %38, i8* %39
%40 = getelementptr inbounds i8, i8* %0, i64 9
%41 = load i8, i8* %40
%42 = getelementptr inbounds [7 x [3 x i8]], [7 x [3 x i8]]* %6, i64 0, i64 4, i64 1
store i8 %41, i8* %42
%43 = getelementptr inbounds i8, i8* %0, i64 10
%44 = load i8, i8* %43
%45 = getelementptr inbounds [7 x [3 x i8]], [7 x [3 x i8]]* %6, i64 0, i64 5, i64 0
store i8 %44, i8* %45
%46 = getelementptr inbounds i8, i8* %0, i64 11
%47 = load i8, i8* %46
%48 = getelementptr inbounds [7 x [3 x i8]], [7 x [3 x i8]]* %6, i64 0, i64 5, i64 1
store i8 %47, i8* %48
%49 = getelementptr inbounds i8, i8* %0, i64 12
%50 = load i8, i8* %49
%51 = getelementptr inbounds [7 x [3 x i8]], [7 x [3 x i8]]* %6, i64 0, i64 6, i64 0
store i8 %50, i8* %51
%52 = getelementptr inbounds i8, i8* %0, i64 13
%53 = load i8, i8* %52
%54 = getelementptr inbounds [7 x [3 x i8]], [7 x [3 x i8]]* %6, i64 0, i64 6, i64 1
store i8 %53, i8* %54
%55 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %1, i32 %2, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str, i64 0, i64 0), i8* %7, i8* %21, i8* %27, i8* %33, i8* %39, i8* %45)
%56 = call i32 @atoi(i8* %51)
%57 = and i32 %56, 128
%58 = icmp eq i32 %57, 0
br i1 %58, label %63, label %59
59: ; preds = %5
%60 = lshr i32 %56, 2
%61 = and i32 %60, 31
%62 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %3, i32 %4, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.1, i64 0, i64 0), i32 %61)
br label %66
63: ; preds = %5
%64 = sdiv i32 %56, 4
%65 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %3, i32 %4, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.2, i64 0, i64 0), i32 %64)
br label %66
66: ; preds = %63, %59
ret void
}