#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 */
struct st_root {
  int dummy;
};

/* Variables and functions */
int /*<<< orphan*/ assert(int);
scalar_t__ st_add_string(struct st_root *, char *, int *);
int *st_lookup_string(struct st_root *, char *);
int *st_rm_string(struct st_root *, char *);
int do_add_and_remove_tests(struct st_root *root) {
  unsigned int tests = 0;
  int foo, bar, quz, aaabbb, aaaccc;
  assert(st_add_string(root, "foo", &foo) == 0);
  assert(st_add_string(root, "bar", &bar) == 0);
  assert(st_add_string(root, "quz", &quz) == 0);
  tests += 3;
  assert(st_lookup_string(root, "foo") == &foo);
  assert(st_lookup_string(root, "bar") == &bar);
  assert(st_lookup_string(root, "quz") == &quz);
  assert(st_lookup_string(root, "qaz") == NULL);
  tests += 4;
  assert(st_rm_string(root, "foo") == &foo);
  assert(st_rm_string(root, "bar") == &bar);
  assert(st_rm_string(root, "quz") == &quz);
  tests += 3;
  assert(st_lookup_string(root, "foo") == NULL);
  assert(st_lookup_string(root, "bar") == NULL);
  assert(st_lookup_string(root, "quz") == NULL);
  tests += 3;
  assert(st_add_string(root, "aaa bbb", &aaabbb) == 0);
  assert(st_add_string(root, "aaa ccc", &aaaccc) == 0);
  tests += 2;
  assert(st_lookup_string(root, "aaa bbb") == &aaabbb);
  assert(st_lookup_string(root, "aaa ccc") == &aaaccc);
  assert(st_lookup_string(root, "aaa") == NULL);
  assert(st_lookup_string(root, "aaa ") == NULL);
  tests += 4;
  assert(st_rm_string(root, "aaa bbb") == &aaabbb);
  assert(st_rm_string(root, "aaa ccc") == &aaaccc);
  tests += 2;
  return tests;
}


x86 assembly (clang, -O0):
<do_add_and_remove_tests>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
movl   $0x0,-0xc(%rbp)
mov    -0x8(%rbp),%rdi
lea    0xea2(%rip),%rsi
lea    -0x10(%rbp),%rdx
call   1030 <st_add_string@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x8(%rbp),%rdi
lea    0xe81(%rip),%rsi
lea    -0x14(%rbp),%rdx
call   1030 <st_add_string@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x8(%rbp),%rdi
lea    0xe60(%rip),%rsi
lea    -0x18(%rbp),%rdx
call   1030 <st_add_string@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0xc(%rbp),%eax
add    $0x3,%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%rdi
lea    0xe2a(%rip),%rsi
call   1060 <st_lookup_string@plt>
lea    -0x10(%rbp),%rcx
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x8(%rbp),%rdi
lea    0xe0a(%rip),%rsi
call   1060 <st_lookup_string@plt>
lea    -0x14(%rbp),%rcx
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x8(%rbp),%rdi
lea    0xdea(%rip),%rsi
call   1060 <st_lookup_string@plt>
lea    -0x18(%rbp),%rcx
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x8(%rbp),%rdi
lea    0xdca(%rip),%rsi
call   1060 <st_lookup_string@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0xc(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%rdi
lea    0xd94(%rip),%rsi
call   1040 <st_rm_string@plt>
lea    -0x10(%rbp),%rcx
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x8(%rbp),%rdi
lea    0xd74(%rip),%rsi
call   1040 <st_rm_string@plt>
lea    -0x14(%rbp),%rcx
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x8(%rbp),%rdi
lea    0xd54(%rip),%rsi
call   1040 <st_rm_string@plt>
lea    -0x18(%rbp),%rcx
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0xc(%rbp),%eax
add    $0x3,%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%rdi
lea    0xd1f(%rip),%rsi
call   1060 <st_lookup_string@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x8(%rbp),%rdi
lea    0xd02(%rip),%rsi
call   1060 <st_lookup_string@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x8(%rbp),%rdi
lea    0xce5(%rip),%rsi
call   1060 <st_lookup_string@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0xc(%rbp),%eax
add    $0x3,%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%rdi
lea    0xcc3(%rip),%rsi
lea    -0x1c(%rbp),%rdx
call   1030 <st_add_string@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x8(%rbp),%rdi
lea    0xca6(%rip),%rsi
lea    -0x20(%rbp),%rdx
call   1030 <st_add_string@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0xc(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%rdi
lea    0xc70(%rip),%rsi
call   1060 <st_lookup_string@plt>
lea    -0x1c(%rbp),%rcx
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x8(%rbp),%rdi
lea    0xc54(%rip),%rsi
call   1060 <st_lookup_string@plt>
lea    -0x20(%rbp),%rcx
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x8(%rbp),%rdi
lea    0xc38(%rip),%rsi
call   1060 <st_lookup_string@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x8(%rbp),%rdi
lea    0xc1b(%rip),%rsi
call   1060 <st_lookup_string@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0xc(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%rdi
lea    0xbdd(%rip),%rsi
call   1040 <st_rm_string@plt>
lea    -0x1c(%rbp),%rcx
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x8(%rbp),%rdi
lea    0xbc1(%rip),%rsi
call   1040 <st_rm_string@plt>
lea    -0x20(%rbp),%rcx
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0xc(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0xc(%rbp)
mov    -0xc(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<do_add_and_remove_tests>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rdi,%rbx
lea    0xea8(%rip),%r12
lea    0x4(%rsp),%rdx
mov    %r12,%rsi
call   1030 <st_add_string@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
call   1050 <assert@plt>
lea    0xe8a(%rip),%r15
lea    0x14(%rsp),%r14
mov    %rbx,%rdi
mov    %r15,%rsi
mov    %r14,%rdx
call   1030 <st_add_string@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
call   1050 <assert@plt>
lea    0xe66(%rip),%r13
lea    0x10(%rsp),%rbp
mov    %rbx,%rdi
mov    %r13,%rsi
mov    %rbp,%rdx
call   1030 <st_add_string@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
call   1050 <assert@plt>
mov    %rbx,%rdi
mov    %r12,%rsi
call   1060 <st_lookup_string@plt>
xor    %edi,%edi
lea    0x4(%rsp),%rcx
cmp    %rcx,%rax
sete   %dil
call   1050 <assert@plt>
mov    %rbx,%rdi
mov    %r15,%rsi
call   1060 <st_lookup_string@plt>
xor    %edi,%edi
cmp    %r14,%rax
sete   %dil
call   1050 <assert@plt>
mov    %rbx,%rdi
mov    %r13,%rsi
call   1060 <st_lookup_string@plt>
xor    %edi,%edi
cmp    %rbp,%rax
sete   %dil
call   1050 <assert@plt>
lea    0xdf2(%rip),%rsi
mov    %rbx,%rdi
call   1060 <st_lookup_string@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
call   1050 <assert@plt>
mov    %rbx,%rdi
mov    %r12,%rsi
call   1040 <st_rm_string@plt>
xor    %edi,%edi
lea    0x4(%rsp),%rcx
cmp    %rcx,%rax
sete   %dil
call   1050 <assert@plt>
mov    %rbx,%rdi
mov    %r15,%rsi
call   1040 <st_rm_string@plt>
xor    %edi,%edi
cmp    %r14,%rax
sete   %dil
call   1050 <assert@plt>
mov    %rbx,%rdi
mov    %r13,%rsi
call   1040 <st_rm_string@plt>
xor    %edi,%edi
cmp    %rbp,%rax
sete   %dil
call   1050 <assert@plt>
mov    %rbx,%rdi
mov    %r12,%rsi
call   1060 <st_lookup_string@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
call   1050 <assert@plt>
mov    %rbx,%rdi
mov    %r15,%rsi
call   1060 <st_lookup_string@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
call   1050 <assert@plt>
mov    %rbx,%rdi
mov    %r13,%rsi
call   1060 <st_lookup_string@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
call   1050 <assert@plt>
lea    0xd3e(%rip),%r12
lea    0xc(%rsp),%r14
mov    %rbx,%rdi
mov    %r12,%rsi
mov    %r14,%rdx
call   1030 <st_add_string@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
call   1050 <assert@plt>
lea    0xd1e(%rip),%rbp
lea    0x8(%rsp),%r15
mov    %rbx,%rdi
mov    %rbp,%rsi
mov    %r15,%rdx
call   1030 <st_add_string@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
call   1050 <assert@plt>
mov    %rbx,%rdi
mov    %r12,%rsi
call   1060 <st_lookup_string@plt>
xor    %edi,%edi
cmp    %r14,%rax
sete   %dil
call   1050 <assert@plt>
mov    %rbx,%rdi
mov    %rbp,%rsi
call   1060 <st_lookup_string@plt>
xor    %edi,%edi
cmp    %r15,%rax
sete   %dil
call   1050 <assert@plt>
lea    0xccc(%rip),%rsi
mov    %rbx,%rdi
call   1060 <st_lookup_string@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
call   1050 <assert@plt>
lea    0xcb3(%rip),%rsi
mov    %rbx,%rdi
call   1060 <st_lookup_string@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
call   1050 <assert@plt>
mov    %rbx,%rdi
mov    %r12,%rsi
call   1040 <st_rm_string@plt>
xor    %edi,%edi
cmp    %r14,%rax
sete   %dil
call   1050 <assert@plt>
mov    %rbx,%rdi
mov    %rbp,%rsi
call   1040 <st_rm_string@plt>
xor    %edi,%edi
cmp    %r15,%rax
sete   %dil
call   1050 <assert@plt>
mov    $0x15,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
%struct.st_root = type { i32 }
@.str = [4 x i8] c"foo\00"
@.str.1 = [4 x i8] c"bar\00"
@.str.2 = [4 x i8] c"quz\00"
@.str.3 = [4 x i8] c"qaz\00"
@.str.4 = [8 x i8] c"aaa bbb\00"
@.str.5 = [8 x i8] c"aaa ccc\00"
@.str.6 = [4 x i8] c"aaa\00"
@.str.7 = [5 x i8] c"aaa \00"
define i32 @do_add_and_remove_tests(%struct.st_root* %0) {
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = bitcast i32* %2 to i8*
%8 = bitcast i32* %3 to i8*
%9 = bitcast i32* %4 to i8*
%10 = bitcast i32* %5 to i8*
%11 = bitcast i32* %6 to i8*
%12 = call i64 @st_add_string(%struct.st_root* %0, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), i32* %2)
%13 = icmp eq i64 %12, 0
%14 = zext i1 %13 to i32
%15 = call i32 @assert(i32 %14)
%16 = call i64 @st_add_string(%struct.st_root* %0, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.1, i64 0, i64 0), i32* %3)
%17 = icmp eq i64 %16, 0
%18 = zext i1 %17 to i32
%19 = call i32 @assert(i32 %18)
%20 = call i64 @st_add_string(%struct.st_root* %0, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.2, i64 0, i64 0), i32* %4)
%21 = icmp eq i64 %20, 0
%22 = zext i1 %21 to i32
%23 = call i32 @assert(i32 %22)
%24 = call i32* @st_lookup_string(%struct.st_root* %0, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0))
%25 = icmp eq i32* %24, %2
%26 = zext i1 %25 to i32
%27 = call i32 @assert(i32 %26)
%28 = call i32* @st_lookup_string(%struct.st_root* %0, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.1, i64 0, i64 0))
%29 = icmp eq i32* %28, %3
%30 = zext i1 %29 to i32
%31 = call i32 @assert(i32 %30)
%32 = call i32* @st_lookup_string(%struct.st_root* %0, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.2, i64 0, i64 0))
%33 = icmp eq i32* %32, %4
%34 = zext i1 %33 to i32
%35 = call i32 @assert(i32 %34)
%36 = call i32* @st_lookup_string(%struct.st_root* %0, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0))
%37 = icmp eq i32* %36, null
%38 = zext i1 %37 to i32
%39 = call i32 @assert(i32 %38)
%40 = call i32* @st_rm_string(%struct.st_root* %0, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0))
%41 = icmp eq i32* %40, %2
%42 = zext i1 %41 to i32
%43 = call i32 @assert(i32 %42)
%44 = call i32* @st_rm_string(%struct.st_root* %0, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.1, i64 0, i64 0))
%45 = icmp eq i32* %44, %3
%46 = zext i1 %45 to i32
%47 = call i32 @assert(i32 %46)
%48 = call i32* @st_rm_string(%struct.st_root* %0, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.2, i64 0, i64 0))
%49 = icmp eq i32* %48, %4
%50 = zext i1 %49 to i32
%51 = call i32 @assert(i32 %50)
%52 = call i32* @st_lookup_string(%struct.st_root* %0, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0))
%53 = icmp eq i32* %52, null
%54 = zext i1 %53 to i32
%55 = call i32 @assert(i32 %54)
%56 = call i32* @st_lookup_string(%struct.st_root* %0, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.1, i64 0, i64 0))
%57 = icmp eq i32* %56, null
%58 = zext i1 %57 to i32
%59 = call i32 @assert(i32 %58)
%60 = call i32* @st_lookup_string(%struct.st_root* %0, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.2, i64 0, i64 0))
%61 = icmp eq i32* %60, null
%62 = zext i1 %61 to i32
%63 = call i32 @assert(i32 %62)
%64 = call i64 @st_add_string(%struct.st_root* %0, i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.4, i64 0, i64 0), i32* %5)
%65 = icmp eq i64 %64, 0
%66 = zext i1 %65 to i32
%67 = call i32 @assert(i32 %66)
%68 = call i64 @st_add_string(%struct.st_root* %0, i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.5, i64 0, i64 0), i32* %6)
%69 = icmp eq i64 %68, 0
%70 = zext i1 %69 to i32
%71 = call i32 @assert(i32 %70)
%72 = call i32* @st_lookup_string(%struct.st_root* %0, i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.4, i64 0, i64 0))
%73 = icmp eq i32* %72, %5
%74 = zext i1 %73 to i32
%75 = call i32 @assert(i32 %74)
%76 = call i32* @st_lookup_string(%struct.st_root* %0, i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.5, i64 0, i64 0))
%77 = icmp eq i32* %76, %6
%78 = zext i1 %77 to i32
%79 = call i32 @assert(i32 %78)
%80 = call i32* @st_lookup_string(%struct.st_root* %0, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.6, i64 0, i64 0))
%81 = icmp eq i32* %80, null
%82 = zext i1 %81 to i32
%83 = call i32 @assert(i32 %82)
%84 = call i32* @st_lookup_string(%struct.st_root* %0, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.7, i64 0, i64 0))
%85 = icmp eq i32* %84, null
%86 = zext i1 %85 to i32
%87 = call i32 @assert(i32 %86)
%88 = call i32* @st_rm_string(%struct.st_root* %0, i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.4, i64 0, i64 0))
%89 = icmp eq i32* %88, %5
%90 = zext i1 %89 to i32
%91 = call i32 @assert(i32 %90)
%92 = call i32* @st_rm_string(%struct.st_root* %0, i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.5, i64 0, i64 0))
%93 = icmp eq i32* %92, %6
%94 = zext i1 %93 to i32
%95 = call i32 @assert(i32 %94)
ret i32 21
}