#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 /*<<< orphan*/ assert(int);
int /*<<< orphan*/ printf(char *);
int rfc4515_length(char *, int /*<<< orphan*/ *);
int /*<<< orphan*/ rfc4515_replace(char *);
int /*<<< orphan*/ strcmp(int /*<<< orphan*/, char *);
void test_rfc4515_replace(void) {
  assert(rfc4515_length("", NULL) == 1);
  assert(rfc4515_length(" ", NULL) == 2);
  assert(rfc4515_length("test1234567890_.", NULL) == 17);
  assert(rfc4515_length("\\test\\test\\", NULL) == 18);
  assert(rfc4515_length("*test*test*", NULL) == 18);
  assert(rfc4515_length("(test(test(", NULL) == 18);
  assert(rfc4515_length(")test)test)", NULL) == 18);
  assert(rfc4515_length("\\\\**(())", NULL) == 25);
  assert(!strcmp(rfc4515_replace(""), ""));
  assert(!strcmp(rfc4515_replace(" "), " "));
  assert(!strcmp(rfc4515_replace("test1234567890_."), "test1234567890_."));
  assert(!strcmp(rfc4515_replace("\\test\\test\\"), "\\5Ctest\\5Ctest\\5C"));
  assert(!strcmp(rfc4515_replace("*test*test*"), "\\2Atest\\2Atest\\2A"));
  assert(!strcmp(rfc4515_replace("(test(test("), "\\28test\\28test\\28"));
  assert(!strcmp(rfc4515_replace(")test)test)"), "\\29test\\29test\\29"));
  assert(!strcmp(rfc4515_replace("\\\\**(())"),
                 "\\5C\\5C\\2A\\2A\\28\\28\\29\\29"));
  printf("test_rfc4515_replace OK\n");
}


x86 assembly (clang, -O0):
<test_rfc4515_replace>:
push   %rbp
mov    %rsp,%rbp
lea    0xf6a(%rip),%rdi
xor    %eax,%eax
mov    %eax,%esi
call   1050 <rfc4515_length@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1070 <assert@plt>
lea    0xe85(%rip),%rdi
xor    %eax,%eax
mov    %eax,%esi
call   1050 <rfc4515_length@plt>
cmp    $0x2,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1070 <assert@plt>
lea    0xe67(%rip),%rdi
xor    %eax,%eax
mov    %eax,%esi
call   1050 <rfc4515_length@plt>
cmp    $0x11,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1070 <assert@plt>
lea    0xe58(%rip),%rdi
xor    %eax,%eax
mov    %eax,%esi
call   1050 <rfc4515_length@plt>
cmp    $0x12,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1070 <assert@plt>
lea    0xe44(%rip),%rdi
xor    %eax,%eax
mov    %eax,%esi
call   1050 <rfc4515_length@plt>
cmp    $0x12,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1070 <assert@plt>
lea    0xe30(%rip),%rdi
xor    %eax,%eax
mov    %eax,%esi
call   1050 <rfc4515_length@plt>
cmp    $0x12,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1070 <assert@plt>
lea    0xe1c(%rip),%rdi
xor    %eax,%eax
mov    %eax,%esi
call   1050 <rfc4515_length@plt>
cmp    $0x12,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1070 <assert@plt>
lea    0xe08(%rip),%rdi
xor    %eax,%eax
mov    %eax,%esi
call   1050 <rfc4515_length@plt>
cmp    $0x19,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1070 <assert@plt>
lea    0xe6a(%rip),%rdi
call   1040 <rfc4515_replace@plt>
mov    %eax,%edi
lea    0xe5c(%rip),%rsi
call   1060 <strcmp@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1070 <assert@plt>
lea    0xd79(%rip),%rdi
call   1040 <rfc4515_replace@plt>
mov    %eax,%edi
lea    0xd6b(%rip),%rsi
call   1060 <strcmp@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1070 <assert@plt>
lea    0xd4f(%rip),%rdi
call   1040 <rfc4515_replace@plt>
mov    %eax,%edi
lea    0xd41(%rip),%rsi
call   1060 <strcmp@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1070 <assert@plt>
lea    0xd34(%rip),%rdi
call   1040 <rfc4515_replace@plt>
mov    %eax,%edi
lea    0xd5f(%rip),%rsi
call   1060 <strcmp@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1070 <assert@plt>
lea    0xd14(%rip),%rdi
call   1040 <rfc4515_replace@plt>
mov    %eax,%edi
lea    0xd45(%rip),%rsi
call   1060 <strcmp@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1070 <assert@plt>
lea    0xcf4(%rip),%rdi
call   1040 <rfc4515_replace@plt>
mov    %eax,%edi
lea    0xd2b(%rip),%rsi
call   1060 <strcmp@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1070 <assert@plt>
lea    0xcd4(%rip),%rdi
call   1040 <rfc4515_replace@plt>
mov    %eax,%edi
lea    0xd11(%rip),%rsi
call   1060 <strcmp@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1070 <assert@plt>
lea    0xcb4(%rip),%rdi
call   1040 <rfc4515_replace@plt>
mov    %eax,%edi
lea    0xcf7(%rip),%rsi
call   1060 <strcmp@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1070 <assert@plt>
lea    0xcf2(%rip),%rdi
call   1030 <printf@plt>
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_rfc4515_replace>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
lea    0xe9f(%rip),%r15
mov    %r15,%rdi
xor    %esi,%esi
call   1050 <rfc4515_length@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1070 <assert@plt>
lea    0xe7f(%rip),%r14
mov    %r14,%rdi
xor    %esi,%esi
call   1050 <rfc4515_length@plt>
xor    %edi,%edi
cmp    $0x2,%eax
sete   %dil
call   1070 <assert@plt>
lea    0xe62(%rip),%rbx
mov    %rbx,%rdi
xor    %esi,%esi
call   1050 <rfc4515_length@plt>
xor    %edi,%edi
cmp    $0x11,%eax
sete   %dil
call   1070 <assert@plt>
lea    0xe54(%rip),%rbp
mov    %rbp,%rdi
xor    %esi,%esi
call   1050 <rfc4515_length@plt>
xor    %edi,%edi
cmp    $0x12,%eax
sete   %dil
call   1070 <assert@plt>
lea    0xe41(%rip),%r13
mov    %r13,%rdi
xor    %esi,%esi
call   1050 <rfc4515_length@plt>
xor    %edi,%edi
cmp    $0x12,%eax
sete   %dil
call   1070 <assert@plt>
lea    0xe2e(%rip),%r12
mov    %r12,%rdi
xor    %esi,%esi
call   1050 <rfc4515_length@plt>
xor    %edi,%edi
cmp    $0x12,%eax
sete   %dil
call   1070 <assert@plt>
lea    0xe1b(%rip),%rdi
xor    %esi,%esi
call   1050 <rfc4515_length@plt>
xor    %edi,%edi
cmp    $0x12,%eax
sete   %dil
call   1070 <assert@plt>
lea    0xe0b(%rip),%rdi
xor    %esi,%esi
call   1050 <rfc4515_length@plt>
xor    %edi,%edi
cmp    $0x19,%eax
sete   %dil
call   1070 <assert@plt>
mov    %r15,%rdi
call   1040 <rfc4515_replace@plt>
mov    %eax,%edi
mov    %r15,%rsi
call   1060 <strcmp@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1070 <assert@plt>
mov    %r14,%rdi
call   1040 <rfc4515_replace@plt>
mov    %eax,%edi
mov    %r14,%rsi
call   1060 <strcmp@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1070 <assert@plt>
mov    %rbx,%rdi
call   1040 <rfc4515_replace@plt>
mov    %eax,%edi
mov    %rbx,%rsi
call   1060 <strcmp@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1070 <assert@plt>
mov    %rbp,%rdi
call   1040 <rfc4515_replace@plt>
lea    0xd93(%rip),%rsi
mov    %eax,%edi
call   1060 <strcmp@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1070 <assert@plt>
mov    %r13,%rdi
call   1040 <rfc4515_replace@plt>
lea    0xd82(%rip),%rsi
mov    %eax,%edi
call   1060 <strcmp@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1070 <assert@plt>
mov    %r12,%rdi
call   1040 <rfc4515_replace@plt>
lea    0xd71(%rip),%rsi
mov    %eax,%edi
call   1060 <strcmp@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1070 <assert@plt>
lea    0xd1d(%rip),%rdi
call   1040 <rfc4515_replace@plt>
lea    0xd5c(%rip),%rsi
mov    %eax,%edi
call   1060 <strcmp@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1070 <assert@plt>
lea    0xd02(%rip),%rdi
call   1040 <rfc4515_replace@plt>
lea    0xd47(%rip),%rsi
mov    %eax,%edi
call   1060 <strcmp@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1070 <assert@plt>
lea    0xd45(%rip),%rdi
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <puts@plt>

LLVM IR (-O0):
@.str = [1 x i8] zeroinitializer
@.str.1 = [2 x i8] c" \00"
@.str.2 = [17 x i8] c"test1234567890_.\00"
@.str.3 = [12 x i8] c"\\test\\test\\\00"
@.str.4 = [12 x i8] c"*test*test*\00"
@.str.5 = [12 x i8] c"(test(test(\00"
@.str.6 = [12 x i8] c")test)test)\00"
@.str.7 = [9 x i8] c"\\\\**(())\00"
@.str.8 = [18 x i8] c"\\5Ctest\\5Ctest\\5C\00"
@.str.9 = [18 x i8] c"\\2Atest\\2Atest\\2A\00"
@.str.10 = [18 x i8] c"\\28test\\28test\\28\00"
@.str.11 = [18 x i8] c"\\29test\\29test\\29\00"
@.str.12 = [25 x i8] c"\\5C\\5C\\2A\\2A\\28\\28\\29\\29\00"
@.str.13 = [25 x i8] c"test_rfc4515_replace OK\0A\00"
define void @test_rfc4515_replace() {
%1 = call i32 @rfc4515_length(i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0), i32* null)
%2 = icmp eq i32 %1, 1
%3 = zext i1 %2 to i32
%4 = call i32 @assert(i32 %3)
%5 = call i32 @rfc4515_length(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0), i32* null)
%6 = icmp eq i32 %5, 2
%7 = zext i1 %6 to i32
%8 = call i32 @assert(i32 %7)
%9 = call i32 @rfc4515_length(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.2, i64 0, i64 0), i32* null)
%10 = icmp eq i32 %9, 17
%11 = zext i1 %10 to i32
%12 = call i32 @assert(i32 %11)
%13 = call i32 @rfc4515_length(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.3, i64 0, i64 0), i32* null)
%14 = icmp eq i32 %13, 18
%15 = zext i1 %14 to i32
%16 = call i32 @assert(i32 %15)
%17 = call i32 @rfc4515_length(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.4, i64 0, i64 0), i32* null)
%18 = icmp eq i32 %17, 18
%19 = zext i1 %18 to i32
%20 = call i32 @assert(i32 %19)
%21 = call i32 @rfc4515_length(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.5, i64 0, i64 0), i32* null)
%22 = icmp eq i32 %21, 18
%23 = zext i1 %22 to i32
%24 = call i32 @assert(i32 %23)
%25 = call i32 @rfc4515_length(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.6, i64 0, i64 0), i32* null)
%26 = icmp eq i32 %25, 18
%27 = zext i1 %26 to i32
%28 = call i32 @assert(i32 %27)
%29 = call i32 @rfc4515_length(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.7, i64 0, i64 0), i32* null)
%30 = icmp eq i32 %29, 25
%31 = zext i1 %30 to i32
%32 = call i32 @assert(i32 %31)
%33 = call i32 @rfc4515_replace(i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0))
%34 = call i32 @strcmp(i32 %33, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0))
%35 = icmp ne i32 %34, 0
%36 = xor i1 %35, true
%37 = zext i1 %36 to i32
%38 = call i32 @assert(i32 %37)
%39 = call i32 @rfc4515_replace(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0))
%40 = call i32 @strcmp(i32 %39, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0))
%41 = icmp ne i32 %40, 0
%42 = xor i1 %41, true
%43 = zext i1 %42 to i32
%44 = call i32 @assert(i32 %43)
%45 = call i32 @rfc4515_replace(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.2, i64 0, i64 0))
%46 = call i32 @strcmp(i32 %45, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.2, i64 0, i64 0))
%47 = icmp ne i32 %46, 0
%48 = xor i1 %47, true
%49 = zext i1 %48 to i32
%50 = call i32 @assert(i32 %49)
%51 = call i32 @rfc4515_replace(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.3, i64 0, i64 0))
%52 = call i32 @strcmp(i32 %51, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.8, i64 0, i64 0))
%53 = icmp ne i32 %52, 0
%54 = xor i1 %53, true
%55 = zext i1 %54 to i32
%56 = call i32 @assert(i32 %55)
%57 = call i32 @rfc4515_replace(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.4, i64 0, i64 0))
%58 = call i32 @strcmp(i32 %57, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.9, i64 0, i64 0))
%59 = icmp ne i32 %58, 0
%60 = xor i1 %59, true
%61 = zext i1 %60 to i32
%62 = call i32 @assert(i32 %61)
%63 = call i32 @rfc4515_replace(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.5, i64 0, i64 0))
%64 = call i32 @strcmp(i32 %63, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.10, i64 0, i64 0))
%65 = icmp ne i32 %64, 0
%66 = xor i1 %65, true
%67 = zext i1 %66 to i32
%68 = call i32 @assert(i32 %67)
%69 = call i32 @rfc4515_replace(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.6, i64 0, i64 0))
%70 = call i32 @strcmp(i32 %69, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.11, i64 0, i64 0))
%71 = icmp ne i32 %70, 0
%72 = xor i1 %71, true
%73 = zext i1 %72 to i32
%74 = call i32 @assert(i32 %73)
%75 = call i32 @rfc4515_replace(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.7, i64 0, i64 0))
%76 = call i32 @strcmp(i32 %75, i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.12, i64 0, i64 0))
%77 = icmp ne i32 %76, 0
%78 = xor i1 %77, true
%79 = zext i1 %78 to i32
%80 = call i32 @assert(i32 %79)
%81 = call i32 @printf(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.13, i64 0, i64 0))
ret void
}

LLVM IR (-O2):
@.str = [1 x i8] zeroinitializer
@.str.1 = [2 x i8] c" \00"
@.str.2 = [17 x i8] c"test1234567890_.\00"
@.str.3 = [12 x i8] c"\\test\\test\\\00"
@.str.4 = [12 x i8] c"*test*test*\00"
@.str.5 = [12 x i8] c"(test(test(\00"
@.str.6 = [12 x i8] c")test)test)\00"
@.str.7 = [9 x i8] c"\\\\**(())\00"
@.str.8 = [18 x i8] c"\\5Ctest\\5Ctest\\5C\00"
@.str.9 = [18 x i8] c"\\2Atest\\2Atest\\2A\00"
@.str.10 = [18 x i8] c"\\28test\\28test\\28\00"
@.str.11 = [18 x i8] c"\\29test\\29test\\29\00"
@.str.12 = [25 x i8] c"\\5C\\5C\\2A\\2A\\28\\28\\29\\29\00"
@str = [24 x i8] c"test_rfc4515_replace OK\00"
define void @test_rfc4515_replace() {
%1 = tail call i32 @rfc4515_length(i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0), i32* null)
%2 = icmp eq i32 %1, 1
%3 = zext i1 %2 to i32
%4 = tail call i32 @assert(i32 %3)
%5 = tail call i32 @rfc4515_length(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0), i32* null)
%6 = icmp eq i32 %5, 2
%7 = zext i1 %6 to i32
%8 = tail call i32 @assert(i32 %7)
%9 = tail call i32 @rfc4515_length(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.2, i64 0, i64 0), i32* null)
%10 = icmp eq i32 %9, 17
%11 = zext i1 %10 to i32
%12 = tail call i32 @assert(i32 %11)
%13 = tail call i32 @rfc4515_length(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.3, i64 0, i64 0), i32* null)
%14 = icmp eq i32 %13, 18
%15 = zext i1 %14 to i32
%16 = tail call i32 @assert(i32 %15)
%17 = tail call i32 @rfc4515_length(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.4, i64 0, i64 0), i32* null)
%18 = icmp eq i32 %17, 18
%19 = zext i1 %18 to i32
%20 = tail call i32 @assert(i32 %19)
%21 = tail call i32 @rfc4515_length(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.5, i64 0, i64 0), i32* null)
%22 = icmp eq i32 %21, 18
%23 = zext i1 %22 to i32
%24 = tail call i32 @assert(i32 %23)
%25 = tail call i32 @rfc4515_length(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.6, i64 0, i64 0), i32* null)
%26 = icmp eq i32 %25, 18
%27 = zext i1 %26 to i32
%28 = tail call i32 @assert(i32 %27)
%29 = tail call i32 @rfc4515_length(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.7, i64 0, i64 0), i32* null)
%30 = icmp eq i32 %29, 25
%31 = zext i1 %30 to i32
%32 = tail call i32 @assert(i32 %31)
%33 = tail call i32 @rfc4515_replace(i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0))
%34 = tail call i32 @strcmp(i32 %33, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0))
%35 = icmp eq i32 %34, 0
%36 = zext i1 %35 to i32
%37 = tail call i32 @assert(i32 %36)
%38 = tail call i32 @rfc4515_replace(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0))
%39 = tail call i32 @strcmp(i32 %38, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0))
%40 = icmp eq i32 %39, 0
%41 = zext i1 %40 to i32
%42 = tail call i32 @assert(i32 %41)
%43 = tail call i32 @rfc4515_replace(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.2, i64 0, i64 0))
%44 = tail call i32 @strcmp(i32 %43, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.2, i64 0, i64 0))
%45 = icmp eq i32 %44, 0
%46 = zext i1 %45 to i32
%47 = tail call i32 @assert(i32 %46)
%48 = tail call i32 @rfc4515_replace(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.3, i64 0, i64 0))
%49 = tail call i32 @strcmp(i32 %48, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.8, i64 0, i64 0))
%50 = icmp eq i32 %49, 0
%51 = zext i1 %50 to i32
%52 = tail call i32 @assert(i32 %51)
%53 = tail call i32 @rfc4515_replace(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.4, i64 0, i64 0))
%54 = tail call i32 @strcmp(i32 %53, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.9, i64 0, i64 0))
%55 = icmp eq i32 %54, 0
%56 = zext i1 %55 to i32
%57 = tail call i32 @assert(i32 %56)
%58 = tail call i32 @rfc4515_replace(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.5, i64 0, i64 0))
%59 = tail call i32 @strcmp(i32 %58, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.10, i64 0, i64 0))
%60 = icmp eq i32 %59, 0
%61 = zext i1 %60 to i32
%62 = tail call i32 @assert(i32 %61)
%63 = tail call i32 @rfc4515_replace(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.6, i64 0, i64 0))
%64 = tail call i32 @strcmp(i32 %63, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.11, i64 0, i64 0))
%65 = icmp eq i32 %64, 0
%66 = zext i1 %65 to i32
%67 = tail call i32 @assert(i32 %66)
%68 = tail call i32 @rfc4515_replace(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.7, i64 0, i64 0))
%69 = tail call i32 @strcmp(i32 %68, i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.12, i64 0, i64 0))
%70 = icmp eq i32 %69, 0
%71 = zext i1 %70 to i32
%72 = tail call i32 @assert(i32 %71)
%73 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([24 x i8], [24 x i8]* @str, i64 0, i64 0))
ret void
}