#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 */
typedef char uint8_t;

/* Variables and functions */
int /*<<< orphan*/ Hex_encode(char *, int, char const *, int);
void AddrTools_printIp(uint8_t output[40], const uint8_t binIp[16]) {
  uint8_t hex[32];
  Hex_encode(hex, 32, binIp, 16);
  output[0] = hex[0];
  output[1] = hex[1];
  output[2] = hex[2];
  output[3] = hex[3];
  output[4] = ':';
  output[5] = hex[4];
  output[6] = hex[5];
  output[7] = hex[6];
  output[8] = hex[7];
  output[9] = ':';
  output[10] = hex[8];
  output[11] = hex[9];
  output[12] = hex[10];
  output[13] = hex[11];
  output[14] = ':';
  output[15] = hex[12];
  output[16] = hex[13];
  output[17] = hex[14];
  output[18] = hex[15];
  output[19] = ':';
  output[20] = hex[16];
  output[21] = hex[17];
  output[22] = hex[18];
  output[23] = hex[19];
  output[24] = ':';
  output[25] = hex[20];
  output[26] = hex[21];
  output[27] = hex[22];
  output[28] = hex[23];
  output[29] = ':';
  output[30] = hex[24];
  output[31] = hex[25];
  output[32] = hex[26];
  output[33] = hex[27];
  output[34] = ':';
  output[35] = hex[28];
  output[36] = hex[29];
  output[37] = hex[30];
  output[38] = hex[31];
  output[39] = '\0';
}


x86 assembly (clang, -O0):
<AddrTools_printIp>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
lea    -0x30(%rbp),%rdi
mov    -0x10(%rbp),%rdx
mov    $0x20,%esi
mov    $0x10,%ecx
call   1030 <Hex_encode@plt>
mov    -0x30(%rbp),%cl
mov    -0x8(%rbp),%rax
mov    %cl,(%rax)
mov    -0x2f(%rbp),%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x1(%rax)
mov    -0x2e(%rbp),%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x2(%rax)
mov    -0x2d(%rbp),%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x3(%rax)
mov    -0x8(%rbp),%rax
movb   $0x3a,0x4(%rax)
mov    -0x2c(%rbp),%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x5(%rax)
mov    -0x2b(%rbp),%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x6(%rax)
mov    -0x2a(%rbp),%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x7(%rax)
mov    -0x29(%rbp),%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x8(%rax)
mov    -0x8(%rbp),%rax
movb   $0x3a,0x9(%rax)
mov    -0x28(%rbp),%cl
mov    -0x8(%rbp),%rax
mov    %cl,0xa(%rax)
mov    -0x27(%rbp),%cl
mov    -0x8(%rbp),%rax
mov    %cl,0xb(%rax)
mov    -0x26(%rbp),%cl
mov    -0x8(%rbp),%rax
mov    %cl,0xc(%rax)
mov    -0x25(%rbp),%cl
mov    -0x8(%rbp),%rax
mov    %cl,0xd(%rax)
mov    -0x8(%rbp),%rax
movb   $0x3a,0xe(%rax)
mov    -0x24(%rbp),%cl
mov    -0x8(%rbp),%rax
mov    %cl,0xf(%rax)
mov    -0x23(%rbp),%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x10(%rax)
mov    -0x22(%rbp),%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x11(%rax)
mov    -0x21(%rbp),%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x12(%rax)
mov    -0x8(%rbp),%rax
movb   $0x3a,0x13(%rax)
mov    -0x20(%rbp),%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x14(%rax)
mov    -0x1f(%rbp),%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x15(%rax)
mov    -0x1e(%rbp),%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x16(%rax)
mov    -0x1d(%rbp),%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x17(%rax)
mov    -0x8(%rbp),%rax
movb   $0x3a,0x18(%rax)
mov    -0x1c(%rbp),%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x19(%rax)
mov    -0x1b(%rbp),%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x1a(%rax)
mov    -0x1a(%rbp),%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x1b(%rax)
mov    -0x19(%rbp),%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x1c(%rax)
mov    -0x8(%rbp),%rax
movb   $0x3a,0x1d(%rax)
mov    -0x18(%rbp),%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x1e(%rax)
mov    -0x17(%rbp),%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x1f(%rax)
mov    -0x16(%rbp),%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x20(%rax)
mov    -0x15(%rbp),%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x21(%rax)
mov    -0x8(%rbp),%rax
movb   $0x3a,0x22(%rax)
mov    -0x14(%rbp),%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x23(%rax)
mov    -0x13(%rbp),%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x24(%rax)
mov    -0x12(%rbp),%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x25(%rax)
mov    -0x11(%rbp),%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x26(%rax)
mov    -0x8(%rbp),%rax
movb   $0x0,0x27(%rax)
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<AddrTools_printIp>:
push   %rbx
sub    $0x20,%rsp
mov    %rsi,%rdx
mov    %rdi,%rbx
mov    %rsp,%rdi
mov    $0x20,%esi
mov    $0x10,%ecx
call   1030 <Hex_encode@plt>
mov    (%rsp),%al
mov    %al,(%rbx)
mov    0x1(%rsp),%al
mov    %al,0x1(%rbx)
mov    0x2(%rsp),%al
mov    %al,0x2(%rbx)
mov    0x3(%rsp),%al
mov    %al,0x3(%rbx)
movb   $0x3a,0x4(%rbx)
mov    0x4(%rsp),%al
mov    %al,0x5(%rbx)
mov    0x5(%rsp),%al
mov    %al,0x6(%rbx)
mov    0x6(%rsp),%al
mov    %al,0x7(%rbx)
mov    0x7(%rsp),%al
mov    %al,0x8(%rbx)
movb   $0x3a,0x9(%rbx)
mov    0x8(%rsp),%al
mov    %al,0xa(%rbx)
mov    0x9(%rsp),%al
mov    %al,0xb(%rbx)
mov    0xa(%rsp),%al
mov    %al,0xc(%rbx)
mov    0xb(%rsp),%al
mov    %al,0xd(%rbx)
movb   $0x3a,0xe(%rbx)
mov    0xc(%rsp),%al
mov    %al,0xf(%rbx)
mov    0xd(%rsp),%al
mov    %al,0x10(%rbx)
mov    0xe(%rsp),%al
mov    %al,0x11(%rbx)
mov    0xf(%rsp),%al
mov    %al,0x12(%rbx)
movb   $0x3a,0x13(%rbx)
mov    0x10(%rsp),%al
mov    %al,0x14(%rbx)
mov    0x11(%rsp),%al
mov    %al,0x15(%rbx)
mov    0x12(%rsp),%al
mov    %al,0x16(%rbx)
mov    0x13(%rsp),%al
mov    %al,0x17(%rbx)
movb   $0x3a,0x18(%rbx)
mov    0x14(%rsp),%al
mov    %al,0x19(%rbx)
mov    0x15(%rsp),%al
mov    %al,0x1a(%rbx)
mov    0x16(%rsp),%al
mov    %al,0x1b(%rbx)
mov    0x17(%rsp),%al
mov    %al,0x1c(%rbx)
movb   $0x3a,0x1d(%rbx)
mov    0x18(%rsp),%al
mov    %al,0x1e(%rbx)
mov    0x19(%rsp),%al
mov    %al,0x1f(%rbx)
mov    0x1a(%rsp),%al
mov    %al,0x20(%rbx)
mov    0x1b(%rsp),%al
mov    %al,0x21(%rbx)
movb   $0x3a,0x22(%rbx)
mov    0x1c(%rsp),%al
mov    %al,0x23(%rbx)
mov    0x1d(%rsp),%al
mov    %al,0x24(%rbx)
mov    0x1e(%rsp),%al
mov    %al,0x25(%rbx)
mov    0x1f(%rsp),%al
mov    %al,0x26(%rbx)
movb   $0x0,0x27(%rbx)
add    $0x20,%rsp
pop    %rbx
ret

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

LLVM IR (-O2):
define void @AddrTools_printIp(i8* writeonly %0, i8* %1) {
%3 = alloca [32 x i8]
%4 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 0
%5 = call i32 @Hex_encode(i8* %4, i32 32, i8* %1, i32 16)
%6 = load i8, i8* %4
store i8 %6, i8* %0
%7 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 1
%8 = load i8, i8* %7
%9 = getelementptr inbounds i8, i8* %0, i64 1
store i8 %8, i8* %9
%10 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 2
%11 = load i8, i8* %10
%12 = getelementptr inbounds i8, i8* %0, i64 2
store i8 %11, i8* %12
%13 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 3
%14 = load i8, i8* %13
%15 = getelementptr inbounds i8, i8* %0, i64 3
store i8 %14, i8* %15
%16 = getelementptr inbounds i8, i8* %0, i64 4
store i8 58, i8* %16
%17 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 4
%18 = load i8, i8* %17
%19 = getelementptr inbounds i8, i8* %0, i64 5
store i8 %18, i8* %19
%20 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 5
%21 = load i8, i8* %20
%22 = getelementptr inbounds i8, i8* %0, i64 6
store i8 %21, i8* %22
%23 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 6
%24 = load i8, i8* %23
%25 = getelementptr inbounds i8, i8* %0, i64 7
store i8 %24, i8* %25
%26 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 7
%27 = load i8, i8* %26
%28 = getelementptr inbounds i8, i8* %0, i64 8
store i8 %27, i8* %28
%29 = getelementptr inbounds i8, i8* %0, i64 9
store i8 58, i8* %29
%30 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 8
%31 = load i8, i8* %30
%32 = getelementptr inbounds i8, i8* %0, i64 10
store i8 %31, i8* %32
%33 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 9
%34 = load i8, i8* %33
%35 = getelementptr inbounds i8, i8* %0, i64 11
store i8 %34, i8* %35
%36 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 10
%37 = load i8, i8* %36
%38 = getelementptr inbounds i8, i8* %0, i64 12
store i8 %37, i8* %38
%39 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 11
%40 = load i8, i8* %39
%41 = getelementptr inbounds i8, i8* %0, i64 13
store i8 %40, i8* %41
%42 = getelementptr inbounds i8, i8* %0, i64 14
store i8 58, i8* %42
%43 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 12
%44 = load i8, i8* %43
%45 = getelementptr inbounds i8, i8* %0, i64 15
store i8 %44, i8* %45
%46 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 13
%47 = load i8, i8* %46
%48 = getelementptr inbounds i8, i8* %0, i64 16
store i8 %47, i8* %48
%49 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 14
%50 = load i8, i8* %49
%51 = getelementptr inbounds i8, i8* %0, i64 17
store i8 %50, i8* %51
%52 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 15
%53 = load i8, i8* %52
%54 = getelementptr inbounds i8, i8* %0, i64 18
store i8 %53, i8* %54
%55 = getelementptr inbounds i8, i8* %0, i64 19
store i8 58, i8* %55
%56 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 16
%57 = load i8, i8* %56
%58 = getelementptr inbounds i8, i8* %0, i64 20
store i8 %57, i8* %58
%59 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 17
%60 = load i8, i8* %59
%61 = getelementptr inbounds i8, i8* %0, i64 21
store i8 %60, i8* %61
%62 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 18
%63 = load i8, i8* %62
%64 = getelementptr inbounds i8, i8* %0, i64 22
store i8 %63, i8* %64
%65 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 19
%66 = load i8, i8* %65
%67 = getelementptr inbounds i8, i8* %0, i64 23
store i8 %66, i8* %67
%68 = getelementptr inbounds i8, i8* %0, i64 24
store i8 58, i8* %68
%69 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 20
%70 = load i8, i8* %69
%71 = getelementptr inbounds i8, i8* %0, i64 25
store i8 %70, i8* %71
%72 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 21
%73 = load i8, i8* %72
%74 = getelementptr inbounds i8, i8* %0, i64 26
store i8 %73, i8* %74
%75 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 22
%76 = load i8, i8* %75
%77 = getelementptr inbounds i8, i8* %0, i64 27
store i8 %76, i8* %77
%78 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 23
%79 = load i8, i8* %78
%80 = getelementptr inbounds i8, i8* %0, i64 28
store i8 %79, i8* %80
%81 = getelementptr inbounds i8, i8* %0, i64 29
store i8 58, i8* %81
%82 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 24
%83 = load i8, i8* %82
%84 = getelementptr inbounds i8, i8* %0, i64 30
store i8 %83, i8* %84
%85 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 25
%86 = load i8, i8* %85
%87 = getelementptr inbounds i8, i8* %0, i64 31
store i8 %86, i8* %87
%88 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 26
%89 = load i8, i8* %88
%90 = getelementptr inbounds i8, i8* %0, i64 32
store i8 %89, i8* %90
%91 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 27
%92 = load i8, i8* %91
%93 = getelementptr inbounds i8, i8* %0, i64 33
store i8 %92, i8* %93
%94 = getelementptr inbounds i8, i8* %0, i64 34
store i8 58, i8* %94
%95 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 28
%96 = load i8, i8* %95
%97 = getelementptr inbounds i8, i8* %0, i64 35
store i8 %96, i8* %97
%98 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 29
%99 = load i8, i8* %98
%100 = getelementptr inbounds i8, i8* %0, i64 36
store i8 %99, i8* %100
%101 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 30
%102 = load i8, i8* %101
%103 = getelementptr inbounds i8, i8* %0, i64 37
store i8 %102, i8* %103
%104 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 31
%105 = load i8, i8* %104
%106 = getelementptr inbounds i8, i8* %0, i64 38
store i8 %105, i8* %106
%107 = getelementptr inbounds i8, i8* %0, i64 39
store i8 0, i8* %107
ret void
}