#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 linkedList {
  int dummy;
};

/* Variables and functions */
int /*<<< orphan*/ addList(struct linkedList *, int);
int /*<<< orphan*/ assertTrue(int, char *);
int containsList(struct linkedList *, int);
int /*<<< orphan*/ printList(struct linkedList *);
int /*<<< orphan*/ printf(char *);
int /*<<< orphan*/ removeList(struct linkedList *, int);
void bagInterfaceTest(struct linkedList *lst) {
  printf("\nTesting addList Function...\n");
  printf("Add 6,5,9,1,7,3,6,5 to the bag...\n");
  addList(lst, 6);
  addList(lst, 5);
  addList(lst, 9);
  addList(lst, 1);
  addList(lst, 7);
  addList(lst, 3);
  addList(lst, 6);
  addList(lst, 5);
  printf("The bag content should be: [3,6,5,9,1,7,3,6,5]\n");
  printf("Call printList function...\n");
  printList(lst);
  printf("\n\nTesting containsList Function...\n");
  assertTrue(containsList(lst, 3), "Test containing 3");
  assertTrue(containsList(lst, 6), "Test containing 6");
  assertTrue(containsList(lst, 5), "Test containing 5");
  assertTrue(containsList(lst, 9), "Test containing 9");
  assertTrue(containsList(lst, 1), "Test containing 1");
  assertTrue(containsList(lst, 7), "Test containing 7");
  assertTrue(!containsList(lst, 2), "Test not containing 2");
  assertTrue(!containsList(lst, 4), "Test not containing 4");
  assertTrue(!containsList(lst, 8), "Test not containing 8");
  removeList(lst, 3);
  printf("\nRemoving 3...\nThe bag content: [6,5,9,1,7,3,6,5]\n");
  assertTrue(containsList(lst, 3), "Test still containing 3");
  removeList(lst, 3);
  printf("\nRemoving 3...\nThe bag content: [6,5,9,1,7,6,5]\n");
  assertTrue(!containsList(lst, 3), "Test not containing 3");
  removeList(lst, 1);
  printf("\nRemoving 1...\nThe bag content: [6,5,9,7,6,5]\n");
  assertTrue(!containsList(lst, 1), "Test not containing 1");
  printf("\nRemoving 2...\nIt should print an error!\n");
  removeList(lst, 2);
}


x86 assembly (clang, -O0):
<bagInterfaceTest>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
lea    0xe8d(%rip),%rdi
call   1030 <printf@plt>
lea    0xe9f(%rip),%rdi
call   1030 <printf@plt>
mov    -0x8(%rbp),%rdi
mov    $0x6,%esi
call   1060 <addList@plt>
mov    -0x8(%rbp),%rdi
mov    $0x5,%esi
call   1060 <addList@plt>
mov    -0x8(%rbp),%rdi
mov    $0x9,%esi
call   1060 <addList@plt>
mov    -0x8(%rbp),%rdi
mov    $0x1,%esi
call   1060 <addList@plt>
mov    -0x8(%rbp),%rdi
mov    $0x7,%esi
call   1060 <addList@plt>
mov    -0x8(%rbp),%rdi
mov    $0x3,%esi
call   1060 <addList@plt>
mov    -0x8(%rbp),%rdi
mov    $0x6,%esi
call   1060 <addList@plt>
mov    -0x8(%rbp),%rdi
mov    $0x5,%esi
call   1060 <addList@plt>
lea    0xe46(%rip),%rdi
call   1030 <printf@plt>
lea    0xe6a(%rip),%rdi
call   1030 <printf@plt>
mov    -0x8(%rbp),%rdi
call   1080 <printList@plt>
lea    0xe71(%rip),%rdi
call   1030 <printf@plt>
mov    -0x8(%rbp),%rdi
mov    $0x3,%esi
call   1070 <containsList@plt>
mov    %eax,%edi
lea    0xe79(%rip),%rsi
call   1050 <assertTrue@plt>
mov    -0x8(%rbp),%rdi
mov    $0x6,%esi
call   1070 <containsList@plt>
mov    %eax,%edi
lea    0xe6f(%rip),%rsi
call   1050 <assertTrue@plt>
mov    -0x8(%rbp),%rdi
mov    $0x5,%esi
call   1070 <containsList@plt>
mov    %eax,%edi
lea    0xe65(%rip),%rsi
call   1050 <assertTrue@plt>
mov    -0x8(%rbp),%rdi
mov    $0x9,%esi
call   1070 <containsList@plt>
mov    %eax,%edi
lea    0xe5b(%rip),%rsi
call   1050 <assertTrue@plt>
mov    -0x8(%rbp),%rdi
mov    $0x1,%esi
call   1070 <containsList@plt>
mov    %eax,%edi
lea    0xe51(%rip),%rsi
call   1050 <assertTrue@plt>
mov    -0x8(%rbp),%rdi
mov    $0x7,%esi
call   1070 <containsList@plt>
mov    %eax,%edi
lea    0xe47(%rip),%rsi
call   1050 <assertTrue@plt>
mov    -0x8(%rbp),%rdi
mov    $0x2,%esi
call   1070 <containsList@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
lea    0xe32(%rip),%rsi
call   1050 <assertTrue@plt>
mov    -0x8(%rbp),%rdi
mov    $0x4,%esi
call   1070 <containsList@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
lea    0xe21(%rip),%rsi
call   1050 <assertTrue@plt>
mov    -0x8(%rbp),%rdi
mov    $0x8,%esi
call   1070 <containsList@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
lea    0xe10(%rip),%rsi
call   1050 <assertTrue@plt>
mov    -0x8(%rbp),%rdi
mov    $0x3,%esi
call   1040 <removeList@plt>
lea    0xe0c(%rip),%rdi
call   1030 <printf@plt>
mov    -0x8(%rbp),%rdi
mov    $0x3,%esi
call   1070 <containsList@plt>
mov    %eax,%edi
lea    0xe23(%rip),%rsi
call   1050 <assertTrue@plt>
mov    -0x8(%rbp),%rdi
mov    $0x3,%esi
call   1040 <removeList@plt>
lea    0xe21(%rip),%rdi
call   1030 <printf@plt>
mov    -0x8(%rbp),%rdi
mov    $0x3,%esi
call   1070 <containsList@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
lea    0xe2b(%rip),%rsi
call   1050 <assertTrue@plt>
mov    -0x8(%rbp),%rdi
mov    $0x1,%esi
call   1040 <removeList@plt>
lea    0xe27(%rip),%rdi
call   1030 <printf@plt>
mov    -0x8(%rbp),%rdi
mov    $0x1,%esi
call   1070 <containsList@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
lea    0xe2f(%rip),%rsi
call   1050 <assertTrue@plt>
lea    0xe39(%rip),%rdi
call   1030 <printf@plt>
mov    -0x8(%rbp),%rdi
mov    $0x2,%esi
call   1040 <removeList@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<bagInterfaceTest>:
push   %rbx
mov    %rdi,%rbx
lea    0xf87(%rip),%rdi
call   1030 <puts@plt>
lea    0xf98(%rip),%rdi
call   1030 <puts@plt>
mov    %rbx,%rdi
mov    $0x6,%esi
call   1060 <addList@plt>
mov    %rbx,%rdi
mov    $0x5,%esi
call   1060 <addList@plt>
mov    %rbx,%rdi
mov    $0x9,%esi
call   1060 <addList@plt>
mov    %rbx,%rdi
mov    $0x1,%esi
call   1060 <addList@plt>
mov    %rbx,%rdi
mov    $0x7,%esi
call   1060 <addList@plt>
mov    %rbx,%rdi
mov    $0x3,%esi
call   1060 <addList@plt>
mov    %rbx,%rdi
mov    $0x6,%esi
call   1060 <addList@plt>
mov    %rbx,%rdi
mov    $0x5,%esi
call   1060 <addList@plt>
lea    0xf46(%rip),%rdi
call   1030 <puts@plt>
lea    0xf69(%rip),%rdi
call   1030 <puts@plt>
mov    %rbx,%rdi
call   1080 <printList@plt>
lea    0xf70(%rip),%rdi
call   1030 <puts@plt>
mov    %rbx,%rdi
mov    $0x3,%esi
call   1070 <containsList@plt>
lea    0xddc(%rip),%rsi
mov    %eax,%edi
call   1050 <assertTrue@plt>
mov    %rbx,%rdi
mov    $0x6,%esi
call   1070 <containsList@plt>
lea    0xdd3(%rip),%rsi
mov    %eax,%edi
call   1050 <assertTrue@plt>
mov    %rbx,%rdi
mov    $0x5,%esi
call   1070 <containsList@plt>
lea    0xdca(%rip),%rsi
mov    %eax,%edi
call   1050 <assertTrue@plt>
mov    %rbx,%rdi
mov    $0x9,%esi
call   1070 <containsList@plt>
lea    0xdc1(%rip),%rsi
mov    %eax,%edi
call   1050 <assertTrue@plt>
mov    %rbx,%rdi
mov    $0x1,%esi
call   1070 <containsList@plt>
lea    0xdb8(%rip),%rsi
mov    %eax,%edi
call   1050 <assertTrue@plt>
mov    %rbx,%rdi
mov    $0x7,%esi
call   1070 <containsList@plt>
lea    0xdaf(%rip),%rsi
mov    %eax,%edi
call   1050 <assertTrue@plt>
mov    %rbx,%rdi
mov    $0x2,%esi
call   1070 <containsList@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
lea    0xd9e(%rip),%rsi
call   1050 <assertTrue@plt>
mov    %rbx,%rdi
mov    $0x4,%esi
call   1070 <containsList@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
lea    0xd93(%rip),%rsi
call   1050 <assertTrue@plt>
mov    %rbx,%rdi
mov    $0x8,%esi
call   1070 <containsList@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
lea    0xd88(%rip),%rsi
call   1050 <assertTrue@plt>
mov    %rbx,%rdi
mov    $0x3,%esi
call   1040 <removeList@plt>
lea    0xe75(%rip),%rdi
call   1030 <puts@plt>
mov    %rbx,%rdi
mov    $0x3,%esi
call   1070 <containsList@plt>
lea    0xd6c(%rip),%rsi
mov    %eax,%edi
call   1050 <assertTrue@plt>
mov    %rbx,%rdi
mov    $0x3,%esi
call   1040 <removeList@plt>
lea    0xe73(%rip),%rdi
call   1030 <puts@plt>
mov    %rbx,%rdi
mov    $0x3,%esi
call   1070 <containsList@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
lea    0xd48(%rip),%rsi
call   1050 <assertTrue@plt>
mov    %rbx,%rdi
mov    $0x1,%esi
call   1040 <removeList@plt>
lea    0xe69(%rip),%rdi
call   1030 <puts@plt>
mov    %rbx,%rdi
mov    $0x1,%esi
call   1070 <containsList@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
lea    0xd24(%rip),%rsi
call   1050 <assertTrue@plt>
lea    0xe6a(%rip),%rdi
call   1030 <puts@plt>
mov    %rbx,%rdi
mov    $0x2,%esi
pop    %rbx
jmp    1040 <removeList@plt>

LLVM IR (-O0):
%struct.linkedList = type { i32 }
@.str = [30 x i8] c"\0ATesting addList Function...\0A\00"
@.str.1 = [35 x i8] c"Add 6,5,9,1,7,3,6,5 to the bag...\0A\00"
@.str.2 = [48 x i8] c"The bag content should be: [3,6,5,9,1,7,3,6,5]\0A\00"
@.str.3 = [28 x i8] c"Call printList function...\0A\00"
@.str.4 = [36 x i8] c"\0A\0ATesting containsList Function...\0A\00"
@.str.5 = [18 x i8] c"Test containing 3\00"
@.str.6 = [18 x i8] c"Test containing 6\00"
@.str.7 = [18 x i8] c"Test containing 5\00"
@.str.8 = [18 x i8] c"Test containing 9\00"
@.str.9 = [18 x i8] c"Test containing 1\00"
@.str.10 = [18 x i8] c"Test containing 7\00"
@.str.11 = [22 x i8] c"Test not containing 2\00"
@.str.12 = [22 x i8] c"Test not containing 4\00"
@.str.13 = [22 x i8] c"Test not containing 8\00"
@.str.14 = [51 x i8] c"\0ARemoving 3...\0AThe bag content: [6,5,9,1,7,3,6,5]\0A\00"
@.str.15 = [24 x i8] c"Test still containing 3\00"
@.str.16 = [49 x i8] c"\0ARemoving 3...\0AThe bag content: [6,5,9,1,7,6,5]\0A\00"
@.str.17 = [22 x i8] c"Test not containing 3\00"
@.str.18 = [47 x i8] c"\0ARemoving 1...\0AThe bag content: [6,5,9,7,6,5]\0A\00"
@.str.19 = [22 x i8] c"Test not containing 1\00"
@.str.20 = [42 x i8] c"\0ARemoving 2...\0AIt should print an error!\0A\00"
define void @bagInterfaceTest(%struct.linkedList* %0) {
%2 = alloca %struct.linkedList*
store %struct.linkedList* %0, %struct.linkedList** %2
%3 = call i32 @printf(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str, i64 0, i64 0))
%4 = call i32 @printf(i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.1, i64 0, i64 0))
%5 = load %struct.linkedList*, %struct.linkedList** %2
%6 = call i32 @addList(%struct.linkedList* %5, i32 6)
%7 = load %struct.linkedList*, %struct.linkedList** %2
%8 = call i32 @addList(%struct.linkedList* %7, i32 5)
%9 = load %struct.linkedList*, %struct.linkedList** %2
%10 = call i32 @addList(%struct.linkedList* %9, i32 9)
%11 = load %struct.linkedList*, %struct.linkedList** %2
%12 = call i32 @addList(%struct.linkedList* %11, i32 1)
%13 = load %struct.linkedList*, %struct.linkedList** %2
%14 = call i32 @addList(%struct.linkedList* %13, i32 7)
%15 = load %struct.linkedList*, %struct.linkedList** %2
%16 = call i32 @addList(%struct.linkedList* %15, i32 3)
%17 = load %struct.linkedList*, %struct.linkedList** %2
%18 = call i32 @addList(%struct.linkedList* %17, i32 6)
%19 = load %struct.linkedList*, %struct.linkedList** %2
%20 = call i32 @addList(%struct.linkedList* %19, i32 5)
%21 = call i32 @printf(i8* getelementptr inbounds ([48 x i8], [48 x i8]* @.str.2, i64 0, i64 0))
%22 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.3, i64 0, i64 0))
%23 = load %struct.linkedList*, %struct.linkedList** %2
%24 = call i32 @printList(%struct.linkedList* %23)
%25 = call i32 @printf(i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.4, i64 0, i64 0))
%26 = load %struct.linkedList*, %struct.linkedList** %2
%27 = call i32 @containsList(%struct.linkedList* %26, i32 3)
%28 = call i32 @assertTrue(i32 %27, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.5, i64 0, i64 0))
%29 = load %struct.linkedList*, %struct.linkedList** %2
%30 = call i32 @containsList(%struct.linkedList* %29, i32 6)
%31 = call i32 @assertTrue(i32 %30, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.6, i64 0, i64 0))
%32 = load %struct.linkedList*, %struct.linkedList** %2
%33 = call i32 @containsList(%struct.linkedList* %32, i32 5)
%34 = call i32 @assertTrue(i32 %33, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.7, i64 0, i64 0))
%35 = load %struct.linkedList*, %struct.linkedList** %2
%36 = call i32 @containsList(%struct.linkedList* %35, i32 9)
%37 = call i32 @assertTrue(i32 %36, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.8, i64 0, i64 0))
%38 = load %struct.linkedList*, %struct.linkedList** %2
%39 = call i32 @containsList(%struct.linkedList* %38, i32 1)
%40 = call i32 @assertTrue(i32 %39, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.9, i64 0, i64 0))
%41 = load %struct.linkedList*, %struct.linkedList** %2
%42 = call i32 @containsList(%struct.linkedList* %41, i32 7)
%43 = call i32 @assertTrue(i32 %42, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.10, i64 0, i64 0))
%44 = load %struct.linkedList*, %struct.linkedList** %2
%45 = call i32 @containsList(%struct.linkedList* %44, i32 2)
%46 = icmp ne i32 %45, 0
%47 = xor i1 %46, true
%48 = zext i1 %47 to i32
%49 = call i32 @assertTrue(i32 %48, i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.11, i64 0, i64 0))
%50 = load %struct.linkedList*, %struct.linkedList** %2
%51 = call i32 @containsList(%struct.linkedList* %50, i32 4)
%52 = icmp ne i32 %51, 0
%53 = xor i1 %52, true
%54 = zext i1 %53 to i32
%55 = call i32 @assertTrue(i32 %54, i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.12, i64 0, i64 0))
%56 = load %struct.linkedList*, %struct.linkedList** %2
%57 = call i32 @containsList(%struct.linkedList* %56, i32 8)
%58 = icmp ne i32 %57, 0
%59 = xor i1 %58, true
%60 = zext i1 %59 to i32
%61 = call i32 @assertTrue(i32 %60, i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.13, i64 0, i64 0))
%62 = load %struct.linkedList*, %struct.linkedList** %2
%63 = call i32 @removeList(%struct.linkedList* %62, i32 3)
%64 = call i32 @printf(i8* getelementptr inbounds ([51 x i8], [51 x i8]* @.str.14, i64 0, i64 0))
%65 = load %struct.linkedList*, %struct.linkedList** %2
%66 = call i32 @containsList(%struct.linkedList* %65, i32 3)
%67 = call i32 @assertTrue(i32 %66, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.15, i64 0, i64 0))
%68 = load %struct.linkedList*, %struct.linkedList** %2
%69 = call i32 @removeList(%struct.linkedList* %68, i32 3)
%70 = call i32 @printf(i8* getelementptr inbounds ([49 x i8], [49 x i8]* @.str.16, i64 0, i64 0))
%71 = load %struct.linkedList*, %struct.linkedList** %2
%72 = call i32 @containsList(%struct.linkedList* %71, i32 3)
%73 = icmp ne i32 %72, 0
%74 = xor i1 %73, true
%75 = zext i1 %74 to i32
%76 = call i32 @assertTrue(i32 %75, i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.17, i64 0, i64 0))
%77 = load %struct.linkedList*, %struct.linkedList** %2
%78 = call i32 @removeList(%struct.linkedList* %77, i32 1)
%79 = call i32 @printf(i8* getelementptr inbounds ([47 x i8], [47 x i8]* @.str.18, i64 0, i64 0))
%80 = load %struct.linkedList*, %struct.linkedList** %2
%81 = call i32 @containsList(%struct.linkedList* %80, i32 1)
%82 = icmp ne i32 %81, 0
%83 = xor i1 %82, true
%84 = zext i1 %83 to i32
%85 = call i32 @assertTrue(i32 %84, i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.19, i64 0, i64 0))
%86 = call i32 @printf(i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str.20, i64 0, i64 0))
%87 = load %struct.linkedList*, %struct.linkedList** %2
%88 = call i32 @removeList(%struct.linkedList* %87, i32 2)
ret void
}

LLVM IR (-O2):
%struct.linkedList = type { i32 }
@.str.5 = [18 x i8] c"Test containing 3\00"
@.str.6 = [18 x i8] c"Test containing 6\00"
@.str.7 = [18 x i8] c"Test containing 5\00"
@.str.8 = [18 x i8] c"Test containing 9\00"
@.str.9 = [18 x i8] c"Test containing 1\00"
@.str.10 = [18 x i8] c"Test containing 7\00"
@.str.11 = [22 x i8] c"Test not containing 2\00"
@.str.12 = [22 x i8] c"Test not containing 4\00"
@.str.13 = [22 x i8] c"Test not containing 8\00"
@.str.15 = [24 x i8] c"Test still containing 3\00"
@.str.17 = [22 x i8] c"Test not containing 3\00"
@.str.19 = [22 x i8] c"Test not containing 1\00"
@str = [29 x i8] c"\0ATesting addList Function...\00"
@str.21 = [34 x i8] c"Add 6,5,9,1,7,3,6,5 to the bag...\00"
@str.22 = [47 x i8] c"The bag content should be: [3,6,5,9,1,7,3,6,5]\00"
@str.23 = [27 x i8] c"Call printList function...\00"
@str.24 = [35 x i8] c"\0A\0ATesting containsList Function...\00"
@str.25 = [50 x i8] c"\0ARemoving 3...\0AThe bag content: [6,5,9,1,7,3,6,5]\00"
@str.26 = [48 x i8] c"\0ARemoving 3...\0AThe bag content: [6,5,9,1,7,6,5]\00"
@str.27 = [46 x i8] c"\0ARemoving 1...\0AThe bag content: [6,5,9,7,6,5]\00"
@str.28 = [41 x i8] c"\0ARemoving 2...\0AIt should print an error!\00"
define void @bagInterfaceTest(%struct.linkedList* %0) {
%2 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([29 x i8], [29 x i8]* @str, i64 0, i64 0))
%3 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([34 x i8], [34 x i8]* @str.21, i64 0, i64 0))
%4 = tail call i32 @addList(%struct.linkedList* %0, i32 6)
%5 = tail call i32 @addList(%struct.linkedList* %0, i32 5)
%6 = tail call i32 @addList(%struct.linkedList* %0, i32 9)
%7 = tail call i32 @addList(%struct.linkedList* %0, i32 1)
%8 = tail call i32 @addList(%struct.linkedList* %0, i32 7)
%9 = tail call i32 @addList(%struct.linkedList* %0, i32 3)
%10 = tail call i32 @addList(%struct.linkedList* %0, i32 6)
%11 = tail call i32 @addList(%struct.linkedList* %0, i32 5)
%12 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([47 x i8], [47 x i8]* @str.22, i64 0, i64 0))
%13 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([27 x i8], [27 x i8]* @str.23, i64 0, i64 0))
%14 = tail call i32 @printList(%struct.linkedList* %0)
%15 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([35 x i8], [35 x i8]* @str.24, i64 0, i64 0))
%16 = tail call i32 @containsList(%struct.linkedList* %0, i32 3)
%17 = tail call i32 @assertTrue(i32 %16, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.5, i64 0, i64 0))
%18 = tail call i32 @containsList(%struct.linkedList* %0, i32 6)
%19 = tail call i32 @assertTrue(i32 %18, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.6, i64 0, i64 0))
%20 = tail call i32 @containsList(%struct.linkedList* %0, i32 5)
%21 = tail call i32 @assertTrue(i32 %20, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.7, i64 0, i64 0))
%22 = tail call i32 @containsList(%struct.linkedList* %0, i32 9)
%23 = tail call i32 @assertTrue(i32 %22, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.8, i64 0, i64 0))
%24 = tail call i32 @containsList(%struct.linkedList* %0, i32 1)
%25 = tail call i32 @assertTrue(i32 %24, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.9, i64 0, i64 0))
%26 = tail call i32 @containsList(%struct.linkedList* %0, i32 7)
%27 = tail call i32 @assertTrue(i32 %26, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.10, i64 0, i64 0))
%28 = tail call i32 @containsList(%struct.linkedList* %0, i32 2)
%29 = icmp eq i32 %28, 0
%30 = zext i1 %29 to i32
%31 = tail call i32 @assertTrue(i32 %30, i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.11, i64 0, i64 0))
%32 = tail call i32 @containsList(%struct.linkedList* %0, i32 4)
%33 = icmp eq i32 %32, 0
%34 = zext i1 %33 to i32
%35 = tail call i32 @assertTrue(i32 %34, i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.12, i64 0, i64 0))
%36 = tail call i32 @containsList(%struct.linkedList* %0, i32 8)
%37 = icmp eq i32 %36, 0
%38 = zext i1 %37 to i32
%39 = tail call i32 @assertTrue(i32 %38, i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.13, i64 0, i64 0))
%40 = tail call i32 @removeList(%struct.linkedList* %0, i32 3)
%41 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([50 x i8], [50 x i8]* @str.25, i64 0, i64 0))
%42 = tail call i32 @containsList(%struct.linkedList* %0, i32 3)
%43 = tail call i32 @assertTrue(i32 %42, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.15, i64 0, i64 0))
%44 = tail call i32 @removeList(%struct.linkedList* %0, i32 3)
%45 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([48 x i8], [48 x i8]* @str.26, i64 0, i64 0))
%46 = tail call i32 @containsList(%struct.linkedList* %0, i32 3)
%47 = icmp eq i32 %46, 0
%48 = zext i1 %47 to i32
%49 = tail call i32 @assertTrue(i32 %48, i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.17, i64 0, i64 0))
%50 = tail call i32 @removeList(%struct.linkedList* %0, i32 1)
%51 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([46 x i8], [46 x i8]* @str.27, i64 0, i64 0))
%52 = tail call i32 @containsList(%struct.linkedList* %0, i32 1)
%53 = icmp eq i32 %52, 0
%54 = zext i1 %53 to i32
%55 = tail call i32 @assertTrue(i32 %54, i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.19, i64 0, i64 0))
%56 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([41 x i8], [41 x i8]* @str.28, i64 0, i64 0))
%57 = tail call i32 @removeList(%struct.linkedList* %0, i32 2)
ret void
}