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

/* Variables and functions */
int /*<<< orphan*/ add_acl(struct acl_root *, char *, int, int);
int /*<<< orphan*/ assert(int);
int /*<<< orphan*/ free_acl(struct acl_root *);
int get_acl(struct acl_root *, char *, int);
struct acl_root *initialise_acl();
int main(void) {
  struct acl_root *root;
  root = initialise_acl();
  assert(root);
  assert(get_acl(root, "all", 0x00) == 0);
  assert(get_acl(root, "all", 0x01) == 0);
  assert(get_acl(root, "all", 0x02) == 0);
  assert(get_acl(root, "all", 0x04) == 0);
  assert(get_acl(root, "all", (0x01 | 0x02 | 0x04)) == 0);
  assert(get_acl(root, "undefined", 0x00) == 0);
  assert(get_acl(root, "undefined", 0x01) == 0);
  assert(get_acl(root, "undefined", 0x02) == 0);
  assert(get_acl(root, "undefined", 0x04) == 0);
  assert(get_acl(root, "undefined", (0x01 | 0x02 | 0x04)) == 0);
  add_acl(root, "foo.amp.wand.net.nz", 0x01, 1);
  add_acl(root, "bar.amp.wand.net.nz", 0x02, 1);
  add_acl(root, "baz.amp.wand.net.nz", 0x04, 1);
  assert(get_acl(root, "foo.amp.wand.net.nz", 0x01) == 1);
  assert(get_acl(root, "foo.amp.wand.net.nz", 0x02) == 0);
  assert(get_acl(root, "foo.amp.wand.net.nz", 0x04) == 0);
  assert(get_acl(root, "bar.amp.wand.net.nz", 0x01) == 0);
  assert(get_acl(root, "bar.amp.wand.net.nz", 0x02) == 1);
  assert(get_acl(root, "bar.amp.wand.net.nz", 0x04) == 0);
  assert(get_acl(root, "baz.amp.wand.net.nz", 0x01) == 0);
  assert(get_acl(root, "baz.amp.wand.net.nz", 0x02) == 0);
  assert(get_acl(root, "baz.amp.wand.net.nz", 0x04) == 1);
  assert(get_acl(root, "amp.wand.net.nz", 0x01) == 0);
  assert(get_acl(root, "wand.net.nz", 0x01) == 0);
  assert(get_acl(root, "net.nz", 0x01) == 0);
  assert(get_acl(root, "nz", 0x01) == 0);
  add_acl(root, ".wand.net.nz", 0x02, 1);
  assert(get_acl(root, "foo.amp.wand.net.nz", 0x02) == 1);
  assert(get_acl(root, "amp.wand.net.nz", 0x02) == 1);
  assert(get_acl(root, "wand.net.nz", 0x02) == 0);
  assert(get_acl(root, "net.nz", 0x02) == 0);
  assert(get_acl(root, "nz", 0x02) == 0);
  add_acl(root, "all", 0x04, 1);
  assert(get_acl(root, "foo.amp.wand.net.nz", 0x04) == 1);
  assert(get_acl(root, "amp.wand.net.nz", 0x04) == 1);
  assert(get_acl(root, "wand.net.nz", 0x04) == 1);
  assert(get_acl(root, "net.nz", 0x04) == 1);
  assert(get_acl(root, "nz", 0x04) == 1);
  add_acl(root, "foo.amp.wand.net.nz", 0x04, 0);
  assert(get_acl(root, "foo.amp.wand.net.nz", 0x04) == 0);
  assert(get_acl(root, "amp.wand.net.nz", 0x04) == 1);
  assert(get_acl(root, "wand.net.nz", 0x04) == 1);
  assert(get_acl(root, "net.nz", 0x04) == 1);
  assert(get_acl(root, "nz", 0x04) == 1);
  add_acl(root, ".wand.net.nz", 0x04, 0);
  assert(get_acl(root, "foo.amp.wand.net.nz", 0x04) == 0);
  assert(get_acl(root, "amp.wand.net.nz", 0x04) == 0);
  assert(get_acl(root, "wand.net.nz", 0x04) == 1);
  assert(get_acl(root, "net.nz", 0x04) == 1);
  assert(get_acl(root, "nz", 0x04) == 1);
  free_acl(root);
  root = initialise_acl();
  add_acl(root, "foo.bar.baz.wand.net.nz", 0x02, 1);
  assert(get_acl(root, "foo.bar.baz.wand.net.nz", 0x02) == 1);
  assert(get_acl(root, "bar.baz.wand.net.nz", 0x02) == 0);
  assert(get_acl(root, "baz.wand.net.nz", 0x02) == 0);
  add_acl(root, ".wand.net.nz", 0x02, 1);
  assert(get_acl(root, "foo.bar.baz.wand.net.nz", 0x02) == 1);
  assert(get_acl(root, "bar.baz.wand.net.nz", 0x02) == 1);
  assert(get_acl(root, "baz.wand.net.nz", 0x02) == 1);
  add_acl(root, ".nz", 0x02, 0);
  assert(get_acl(root, "foo.bar.baz.wand.net.nz", 0x02) == 1);
  assert(get_acl(root, "bar.baz.wand.net.nz", 0x02) == 1);
  assert(get_acl(root, "baz.wand.net.nz", 0x02) == 1);
  assert(get_acl(root, "foo.net.nz", 0x02) == 0);
  assert(get_acl(root, "foo.bar.net.nz", 0x02) == 0);
  assert(get_acl(root, "foo.bar.baz.net.nz", 0x02) == 0);
  assert(get_acl(root, "foo.nz", 0x02) == 0);
  free_acl(root);
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
movl   $0x0,-0x4(%rbp)
mov    $0x0,%al
call   1050 <initialise_acl@plt>
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    %eax,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0xe80(%rip),%rsi
xor    %edx,%edx
call   1030 <get_acl@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0xe5e(%rip),%rsi
mov    $0x1,%edx
call   1030 <get_acl@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0xe39(%rip),%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0xe14(%rip),%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0xdef(%rip),%rsi
mov    $0x7,%edx
call   1030 <get_acl@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0xdce(%rip),%rsi
xor    %edx,%edx
call   1030 <get_acl@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0xdac(%rip),%rsi
mov    $0x1,%edx
call   1030 <get_acl@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0xd87(%rip),%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0xd62(%rip),%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0xd3d(%rip),%rsi
mov    $0x7,%edx
call   1030 <get_acl@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0xd22(%rip),%rsi
mov    $0x1,%ecx
mov    %ecx,%edx
call   1070 <add_acl@plt>
mov    -0x10(%rbp),%rdi
lea    0xd1f(%rip),%rsi
mov    $0x2,%edx
mov    $0x1,%ecx
call   1070 <add_acl@plt>
mov    -0x10(%rbp),%rdi
lea    0xd19(%rip),%rsi
mov    $0x4,%edx
mov    $0x1,%ecx
call   1070 <add_acl@plt>
mov    -0x10(%rbp),%rdi
lea    0xcd7(%rip),%rsi
mov    $0x1,%edx
call   1030 <get_acl@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0xcb2(%rip),%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0xc8d(%rip),%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0xc7c(%rip),%rsi
mov    $0x1,%edx
call   1030 <get_acl@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0xc57(%rip),%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0xc32(%rip),%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0xc21(%rip),%rsi
mov    $0x1,%edx
call   1030 <get_acl@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0xbfc(%rip),%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0xbd7(%rip),%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0xb8e(%rip),%rsi
mov    $0x1,%edx
call   1030 <get_acl@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0xb6d(%rip),%rsi
mov    $0x1,%edx
call   1030 <get_acl@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0xb4d(%rip),%rsi
mov    $0x1,%edx
call   1030 <get_acl@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0xba0(%rip),%rsi
mov    $0x1,%edx
call   1030 <get_acl@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0xafd(%rip),%rsi
mov    $0x2,%edx
mov    $0x1,%ecx
call   1070 <add_acl@plt>
mov    -0x10(%rbp),%rdi
lea    0xadc(%rip),%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0xabb(%rip),%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0xa9a(%rip),%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0xa7a(%rip),%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0xacd(%rip),%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0xa15(%rip),%rsi
mov    $0x4,%edx
mov    $0x1,%ecx
call   1070 <add_acl@plt>
mov    -0x10(%rbp),%rdi
lea    0xa09(%rip),%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0x9e8(%rip),%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0x9c7(%rip),%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0x9a7(%rip),%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0x9fa(%rip),%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0x950(%rip),%rsi
mov    $0x4,%edx
xor    %ecx,%ecx
call   1070 <add_acl@plt>
mov    -0x10(%rbp),%rdi
lea    0x939(%rip),%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0x918(%rip),%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0x8f7(%rip),%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0x8d7(%rip),%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0x92a(%rip),%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0x887(%rip),%rsi
mov    $0x4,%edx
xor    %ecx,%ecx
call   1070 <add_acl@plt>
mov    -0x10(%rbp),%rdi
lea    0x869(%rip),%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0x848(%rip),%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0x827(%rip),%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0x807(%rip),%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0x85a(%rip),%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
call   1040 <free_acl@plt>
mov    $0x0,%al
call   1050 <initialise_acl@plt>
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rdi
lea    0x7d8(%rip),%rsi
mov    $0x2,%edx
mov    $0x1,%ecx
call   1070 <add_acl@plt>
mov    -0x10(%rbp),%rdi
lea    0x7be(%rip),%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0x79d(%rip),%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0x77c(%rip),%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0x71a(%rip),%rsi
mov    $0x2,%edx
mov    $0x1,%ecx
call   1070 <add_acl@plt>
mov    -0x10(%rbp),%rdi
lea    0x735(%rip),%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0x714(%rip),%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0x6f3(%rip),%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0x70e(%rip),%rsi
mov    $0x2,%edx
xor    %ecx,%ecx
call   1070 <add_acl@plt>
mov    -0x10(%rbp),%rdi
lea    0x6af(%rip),%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0x68e(%rip),%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0x66d(%rip),%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0x658(%rip),%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0x63e(%rip),%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0x628(%rip),%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
lea    0x616(%rip),%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
call   1040 <free_acl@plt>
xor    %eax,%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
xor    %eax,%eax
call   1050 <initialise_acl@plt>
mov    %rax,%rbx
mov    %ebx,%edi
call   1060 <assert@plt>
lea    0xe8d(%rip),%rbp
mov    %rbx,%rdi
mov    %rbp,%rsi
xor    %edx,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %rbp,%rsi
mov    $0x1,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %rbp,%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %rbp,%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %rbp,%rsi
mov    $0x7,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
lea    0xdfc(%rip),%rbp
mov    %rbx,%rdi
mov    %rbp,%rsi
xor    %edx,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %rbp,%rsi
mov    $0x1,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %rbp,%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %rbp,%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %rbp,%rsi
mov    $0x7,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
lea    0xd71(%rip),%r14
mov    %rbx,%rdi
mov    %r14,%rsi
mov    $0x1,%edx
mov    $0x1,%ecx
call   1070 <add_acl@plt>
lea    0xd69(%rip),%rbp
mov    %rbx,%rdi
mov    %rbp,%rsi
mov    $0x2,%edx
mov    $0x1,%ecx
call   1070 <add_acl@plt>
lea    0xd61(%rip),%r15
mov    %rbx,%rdi
mov    %r15,%rsi
mov    $0x4,%edx
mov    $0x1,%ecx
call   1070 <add_acl@plt>
mov    %rbx,%rdi
mov    %r14,%rsi
mov    $0x1,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %r14,%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %r14,%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %rbp,%rsi
mov    $0x1,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %rbp,%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %rbp,%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %r15,%rsi
mov    $0x1,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %r15,%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %r15,%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1060 <assert@plt>
lea    0xc19(%rip),%r13
mov    %rbx,%rdi
mov    %r13,%rsi
mov    $0x1,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
lea    0xbf9(%rip),%rbp
mov    %rbx,%rdi
mov    %rbp,%rsi
mov    $0x1,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
lea    0xbda(%rip),%r12
mov    %rbx,%rdi
mov    %r12,%rsi
mov    $0x1,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
lea    0xc2e(%rip),%r15
mov    %rbx,%rdi
mov    %r15,%rsi
mov    $0x1,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
lea    0xb8c(%rip),%rsi
mov    %rbx,%rdi
mov    $0x2,%edx
mov    $0x1,%ecx
call   1070 <add_acl@plt>
mov    %rbx,%rdi
mov    %r14,%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %r13,%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %rbp,%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %r12,%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %r15,%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
lea    0xac8(%rip),%rsi
mov    $0x4,%edx
mov    $0x1,%ecx
call   1070 <add_acl@plt>
mov    %rbx,%rdi
mov    %r14,%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %r13,%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %rbp,%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %r12,%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %r15,%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %r14,%rsi
mov    $0x4,%edx
xor    %ecx,%ecx
call   1070 <add_acl@plt>
mov    %rbx,%rdi
mov    %r14,%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %r13,%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %rbp,%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %r12,%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %r15,%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
lea    0x987(%rip),%rsi
mov    $0x4,%edx
xor    %ecx,%ecx
call   1070 <add_acl@plt>
mov    %rbx,%rdi
mov    %r14,%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %r13,%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %rbp,%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %r12,%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %r15,%rsi
mov    $0x4,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
call   1040 <free_acl@plt>
xor    %eax,%eax
call   1050 <initialise_acl@plt>
mov    %rax,%rbx
lea    0x903(%rip),%rbp
mov    %rax,%rdi
mov    %rbp,%rsi
mov    $0x2,%edx
mov    $0x1,%ecx
call   1070 <add_acl@plt>
mov    %rbx,%rdi
mov    %rbp,%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1060 <assert@plt>
lea    0x8cd(%rip),%r14
mov    %rbx,%rdi
mov    %r14,%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
lea    0x8ad(%rip),%r15
mov    %rbx,%rdi
mov    %r15,%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
lea    0x849(%rip),%rsi
mov    $0x2,%edx
mov    $0x1,%ecx
call   1070 <add_acl@plt>
mov    %rbx,%rdi
mov    %rbp,%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %r14,%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %r15,%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1060 <assert@plt>
lea    0x856(%rip),%rsi
mov    %rbx,%rdi
mov    $0x2,%edx
xor    %ecx,%ecx
call   1070 <add_acl@plt>
mov    %rbx,%rdi
mov    %rbp,%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %r14,%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %r15,%rsi
mov    $0x2,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1060 <assert@plt>
lea    0x7b6(%rip),%rsi
mov    %rbx,%rdi
mov    $0x2,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
lea    0x7a0(%rip),%rsi
mov    %rbx,%rdi
mov    $0x2,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
lea    0x78e(%rip),%rsi
mov    %rbx,%rdi
mov    $0x2,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
lea    0x780(%rip),%rsi
mov    %rbx,%rdi
mov    $0x2,%edx
call   1030 <get_acl@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
call   1040 <free_acl@plt>
xor    %eax,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
%struct.acl_root = type { i32 }
@.str = [4 x i8] c"all\00"
@.str.1 = [10 x i8] c"undefined\00"
@.str.2 = [20 x i8] c"foo.amp.wand.net.nz\00"
@.str.3 = [20 x i8] c"bar.amp.wand.net.nz\00"
@.str.4 = [20 x i8] c"baz.amp.wand.net.nz\00"
@.str.5 = [16 x i8] c"amp.wand.net.nz\00"
@.str.6 = [12 x i8] c"wand.net.nz\00"
@.str.7 = [7 x i8] c"net.nz\00"
@.str.8 = [3 x i8] c"nz\00"
@.str.9 = [13 x i8] c".wand.net.nz\00"
@.str.10 = [24 x i8] c"foo.bar.baz.wand.net.nz\00"
@.str.11 = [20 x i8] c"bar.baz.wand.net.nz\00"
@.str.12 = [16 x i8] c"baz.wand.net.nz\00"
@.str.13 = [4 x i8] c".nz\00"
@.str.14 = [11 x i8] c"foo.net.nz\00"
@.str.15 = [15 x i8] c"foo.bar.net.nz\00"
@.str.16 = [19 x i8] c"foo.bar.baz.net.nz\00"
@.str.17 = [7 x i8] c"foo.nz\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca %struct.acl_root*
store i32 0, i32* %1
%3 = call %struct.acl_root* (...) @initialise_acl()
store %struct.acl_root* %3, %struct.acl_root** %2
%4 = load %struct.acl_root*, %struct.acl_root** %2
%5 = ptrtoint %struct.acl_root* %4 to i32
%6 = call i32 @assert(i32 %5)
%7 = load %struct.acl_root*, %struct.acl_root** %2
%8 = call i32 @get_acl(%struct.acl_root* %7, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), i32 0)
%9 = icmp eq i32 %8, 0
%10 = zext i1 %9 to i32
%11 = call i32 @assert(i32 %10)
%12 = load %struct.acl_root*, %struct.acl_root** %2
%13 = call i32 @get_acl(%struct.acl_root* %12, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), i32 1)
%14 = icmp eq i32 %13, 0
%15 = zext i1 %14 to i32
%16 = call i32 @assert(i32 %15)
%17 = load %struct.acl_root*, %struct.acl_root** %2
%18 = call i32 @get_acl(%struct.acl_root* %17, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), i32 2)
%19 = icmp eq i32 %18, 0
%20 = zext i1 %19 to i32
%21 = call i32 @assert(i32 %20)
%22 = load %struct.acl_root*, %struct.acl_root** %2
%23 = call i32 @get_acl(%struct.acl_root* %22, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), i32 4)
%24 = icmp eq i32 %23, 0
%25 = zext i1 %24 to i32
%26 = call i32 @assert(i32 %25)
%27 = load %struct.acl_root*, %struct.acl_root** %2
%28 = call i32 @get_acl(%struct.acl_root* %27, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), i32 7)
%29 = icmp eq i32 %28, 0
%30 = zext i1 %29 to i32
%31 = call i32 @assert(i32 %30)
%32 = load %struct.acl_root*, %struct.acl_root** %2
%33 = call i32 @get_acl(%struct.acl_root* %32, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.1, i64 0, i64 0), i32 0)
%34 = icmp eq i32 %33, 0
%35 = zext i1 %34 to i32
%36 = call i32 @assert(i32 %35)
%37 = load %struct.acl_root*, %struct.acl_root** %2
%38 = call i32 @get_acl(%struct.acl_root* %37, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.1, i64 0, i64 0), i32 1)
%39 = icmp eq i32 %38, 0
%40 = zext i1 %39 to i32
%41 = call i32 @assert(i32 %40)
%42 = load %struct.acl_root*, %struct.acl_root** %2
%43 = call i32 @get_acl(%struct.acl_root* %42, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.1, i64 0, i64 0), i32 2)
%44 = icmp eq i32 %43, 0
%45 = zext i1 %44 to i32
%46 = call i32 @assert(i32 %45)
%47 = load %struct.acl_root*, %struct.acl_root** %2
%48 = call i32 @get_acl(%struct.acl_root* %47, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.1, i64 0, i64 0), i32 4)
%49 = icmp eq i32 %48, 0
%50 = zext i1 %49 to i32
%51 = call i32 @assert(i32 %50)
%52 = load %struct.acl_root*, %struct.acl_root** %2
%53 = call i32 @get_acl(%struct.acl_root* %52, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.1, i64 0, i64 0), i32 7)
%54 = icmp eq i32 %53, 0
%55 = zext i1 %54 to i32
%56 = call i32 @assert(i32 %55)
%57 = load %struct.acl_root*, %struct.acl_root** %2
%58 = call i32 @add_acl(%struct.acl_root* %57, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.2, i64 0, i64 0), i32 1, i32 1)
%59 = load %struct.acl_root*, %struct.acl_root** %2
%60 = call i32 @add_acl(%struct.acl_root* %59, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.3, i64 0, i64 0), i32 2, i32 1)
%61 = load %struct.acl_root*, %struct.acl_root** %2
%62 = call i32 @add_acl(%struct.acl_root* %61, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.4, i64 0, i64 0), i32 4, i32 1)
%63 = load %struct.acl_root*, %struct.acl_root** %2
%64 = call i32 @get_acl(%struct.acl_root* %63, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.2, i64 0, i64 0), i32 1)
%65 = icmp eq i32 %64, 1
%66 = zext i1 %65 to i32
%67 = call i32 @assert(i32 %66)
%68 = load %struct.acl_root*, %struct.acl_root** %2
%69 = call i32 @get_acl(%struct.acl_root* %68, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.2, i64 0, i64 0), i32 2)
%70 = icmp eq i32 %69, 0
%71 = zext i1 %70 to i32
%72 = call i32 @assert(i32 %71)
%73 = load %struct.acl_root*, %struct.acl_root** %2
%74 = call i32 @get_acl(%struct.acl_root* %73, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.2, i64 0, i64 0), i32 4)
%75 = icmp eq i32 %74, 0
%76 = zext i1 %75 to i32
%77 = call i32 @assert(i32 %76)
%78 = load %struct.acl_root*, %struct.acl_root** %2
%79 = call i32 @get_acl(%struct.acl_root* %78, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.3, i64 0, i64 0), i32 1)
%80 = icmp eq i32 %79, 0
%81 = zext i1 %80 to i32
%82 = call i32 @assert(i32 %81)
%83 = load %struct.acl_root*, %struct.acl_root** %2
%84 = call i32 @get_acl(%struct.acl_root* %83, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.3, i64 0, i64 0), i32 2)
%85 = icmp eq i32 %84, 1
%86 = zext i1 %85 to i32
%87 = call i32 @assert(i32 %86)
%88 = load %struct.acl_root*, %struct.acl_root** %2
%89 = call i32 @get_acl(%struct.acl_root* %88, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.3, i64 0, i64 0), i32 4)
%90 = icmp eq i32 %89, 0
%91 = zext i1 %90 to i32
%92 = call i32 @assert(i32 %91)
%93 = load %struct.acl_root*, %struct.acl_root** %2
%94 = call i32 @get_acl(%struct.acl_root* %93, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.4, i64 0, i64 0), i32 1)
%95 = icmp eq i32 %94, 0
%96 = zext i1 %95 to i32
%97 = call i32 @assert(i32 %96)
%98 = load %struct.acl_root*, %struct.acl_root** %2
%99 = call i32 @get_acl(%struct.acl_root* %98, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.4, i64 0, i64 0), i32 2)
%100 = icmp eq i32 %99, 0
%101 = zext i1 %100 to i32
%102 = call i32 @assert(i32 %101)
%103 = load %struct.acl_root*, %struct.acl_root** %2
%104 = call i32 @get_acl(%struct.acl_root* %103, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.4, i64 0, i64 0), i32 4)
%105 = icmp eq i32 %104, 1
%106 = zext i1 %105 to i32
%107 = call i32 @assert(i32 %106)
%108 = load %struct.acl_root*, %struct.acl_root** %2
%109 = call i32 @get_acl(%struct.acl_root* %108, i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.5, i64 0, i64 0), i32 1)
%110 = icmp eq i32 %109, 0
%111 = zext i1 %110 to i32
%112 = call i32 @assert(i32 %111)
%113 = load %struct.acl_root*, %struct.acl_root** %2
%114 = call i32 @get_acl(%struct.acl_root* %113, i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.6, i64 0, i64 0), i32 1)
%115 = icmp eq i32 %114, 0
%116 = zext i1 %115 to i32
%117 = call i32 @assert(i32 %116)
%118 = load %struct.acl_root*, %struct.acl_root** %2
%119 = call i32 @get_acl(%struct.acl_root* %118, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), i32 1)
%120 = icmp eq i32 %119, 0
%121 = zext i1 %120 to i32
%122 = call i32 @assert(i32 %121)
%123 = load %struct.acl_root*, %struct.acl_root** %2
%124 = call i32 @get_acl(%struct.acl_root* %123, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i64 0, i64 0), i32 1)
%125 = icmp eq i32 %124, 0
%126 = zext i1 %125 to i32
%127 = call i32 @assert(i32 %126)
%128 = load %struct.acl_root*, %struct.acl_root** %2
%129 = call i32 @add_acl(%struct.acl_root* %128, i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.9, i64 0, i64 0), i32 2, i32 1)
%130 = load %struct.acl_root*, %struct.acl_root** %2
%131 = call i32 @get_acl(%struct.acl_root* %130, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.2, i64 0, i64 0), i32 2)
%132 = icmp eq i32 %131, 1
%133 = zext i1 %132 to i32
%134 = call i32 @assert(i32 %133)
%135 = load %struct.acl_root*, %struct.acl_root** %2
%136 = call i32 @get_acl(%struct.acl_root* %135, i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.5, i64 0, i64 0), i32 2)
%137 = icmp eq i32 %136, 1
%138 = zext i1 %137 to i32
%139 = call i32 @assert(i32 %138)
%140 = load %struct.acl_root*, %struct.acl_root** %2
%141 = call i32 @get_acl(%struct.acl_root* %140, i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.6, i64 0, i64 0), i32 2)
%142 = icmp eq i32 %141, 0
%143 = zext i1 %142 to i32
%144 = call i32 @assert(i32 %143)
%145 = load %struct.acl_root*, %struct.acl_root** %2
%146 = call i32 @get_acl(%struct.acl_root* %145, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), i32 2)
%147 = icmp eq i32 %146, 0
%148 = zext i1 %147 to i32
%149 = call i32 @assert(i32 %148)
%150 = load %struct.acl_root*, %struct.acl_root** %2
%151 = call i32 @get_acl(%struct.acl_root* %150, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i64 0, i64 0), i32 2)
%152 = icmp eq i32 %151, 0
%153 = zext i1 %152 to i32
%154 = call i32 @assert(i32 %153)
%155 = load %struct.acl_root*, %struct.acl_root** %2
%156 = call i32 @add_acl(%struct.acl_root* %155, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), i32 4, i32 1)
%157 = load %struct.acl_root*, %struct.acl_root** %2
%158 = call i32 @get_acl(%struct.acl_root* %157, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.2, i64 0, i64 0), i32 4)
%159 = icmp eq i32 %158, 1
%160 = zext i1 %159 to i32
%161 = call i32 @assert(i32 %160)
%162 = load %struct.acl_root*, %struct.acl_root** %2
%163 = call i32 @get_acl(%struct.acl_root* %162, i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.5, i64 0, i64 0), i32 4)
%164 = icmp eq i32 %163, 1
%165 = zext i1 %164 to i32
%166 = call i32 @assert(i32 %165)
%167 = load %struct.acl_root*, %struct.acl_root** %2
%168 = call i32 @get_acl(%struct.acl_root* %167, i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.6, i64 0, i64 0), i32 4)
%169 = icmp eq i32 %168, 1
%170 = zext i1 %169 to i32
%171 = call i32 @assert(i32 %170)
%172 = load %struct.acl_root*, %struct.acl_root** %2
%173 = call i32 @get_acl(%struct.acl_root* %172, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), i32 4)
%174 = icmp eq i32 %173, 1
%175 = zext i1 %174 to i32
%176 = call i32 @assert(i32 %175)
%177 = load %struct.acl_root*, %struct.acl_root** %2
%178 = call i32 @get_acl(%struct.acl_root* %177, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i64 0, i64 0), i32 4)
%179 = icmp eq i32 %178, 1
%180 = zext i1 %179 to i32
%181 = call i32 @assert(i32 %180)
%182 = load %struct.acl_root*, %struct.acl_root** %2
%183 = call i32 @add_acl(%struct.acl_root* %182, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.2, i64 0, i64 0), i32 4, i32 0)
%184 = load %struct.acl_root*, %struct.acl_root** %2
%185 = call i32 @get_acl(%struct.acl_root* %184, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.2, i64 0, i64 0), i32 4)
%186 = icmp eq i32 %185, 0
%187 = zext i1 %186 to i32
%188 = call i32 @assert(i32 %187)
%189 = load %struct.acl_root*, %struct.acl_root** %2
%190 = call i32 @get_acl(%struct.acl_root* %189, i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.5, i64 0, i64 0), i32 4)
%191 = icmp eq i32 %190, 1
%192 = zext i1 %191 to i32
%193 = call i32 @assert(i32 %192)
%194 = load %struct.acl_root*, %struct.acl_root** %2
%195 = call i32 @get_acl(%struct.acl_root* %194, i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.6, i64 0, i64 0), i32 4)
%196 = icmp eq i32 %195, 1
%197 = zext i1 %196 to i32
%198 = call i32 @assert(i32 %197)
%199 = load %struct.acl_root*, %struct.acl_root** %2
%200 = call i32 @get_acl(%struct.acl_root* %199, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), i32 4)
%201 = icmp eq i32 %200, 1
%202 = zext i1 %201 to i32
%203 = call i32 @assert(i32 %202)
%204 = load %struct.acl_root*, %struct.acl_root** %2
%205 = call i32 @get_acl(%struct.acl_root* %204, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i64 0, i64 0), i32 4)
%206 = icmp eq i32 %205, 1
%207 = zext i1 %206 to i32
%208 = call i32 @assert(i32 %207)
%209 = load %struct.acl_root*, %struct.acl_root** %2
%210 = call i32 @add_acl(%struct.acl_root* %209, i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.9, i64 0, i64 0), i32 4, i32 0)
%211 = load %struct.acl_root*, %struct.acl_root** %2
%212 = call i32 @get_acl(%struct.acl_root* %211, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.2, i64 0, i64 0), i32 4)
%213 = icmp eq i32 %212, 0
%214 = zext i1 %213 to i32
%215 = call i32 @assert(i32 %214)
%216 = load %struct.acl_root*, %struct.acl_root** %2
%217 = call i32 @get_acl(%struct.acl_root* %216, i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.5, i64 0, i64 0), i32 4)
%218 = icmp eq i32 %217, 0
%219 = zext i1 %218 to i32
%220 = call i32 @assert(i32 %219)
%221 = load %struct.acl_root*, %struct.acl_root** %2
%222 = call i32 @get_acl(%struct.acl_root* %221, i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.6, i64 0, i64 0), i32 4)
%223 = icmp eq i32 %222, 1
%224 = zext i1 %223 to i32
%225 = call i32 @assert(i32 %224)
%226 = load %struct.acl_root*, %struct.acl_root** %2
%227 = call i32 @get_acl(%struct.acl_root* %226, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), i32 4)
%228 = icmp eq i32 %227, 1
%229 = zext i1 %228 to i32
%230 = call i32 @assert(i32 %229)
%231 = load %struct.acl_root*, %struct.acl_root** %2
%232 = call i32 @get_acl(%struct.acl_root* %231, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i64 0, i64 0), i32 4)
%233 = icmp eq i32 %232, 1
%234 = zext i1 %233 to i32
%235 = call i32 @assert(i32 %234)
%236 = load %struct.acl_root*, %struct.acl_root** %2
%237 = call i32 @free_acl(%struct.acl_root* %236)
%238 = call %struct.acl_root* (...) @initialise_acl()
store %struct.acl_root* %238, %struct.acl_root** %2
%239 = load %struct.acl_root*, %struct.acl_root** %2
%240 = call i32 @add_acl(%struct.acl_root* %239, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.10, i64 0, i64 0), i32 2, i32 1)
%241 = load %struct.acl_root*, %struct.acl_root** %2
%242 = call i32 @get_acl(%struct.acl_root* %241, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.10, i64 0, i64 0), i32 2)
%243 = icmp eq i32 %242, 1
%244 = zext i1 %243 to i32
%245 = call i32 @assert(i32 %244)
%246 = load %struct.acl_root*, %struct.acl_root** %2
%247 = call i32 @get_acl(%struct.acl_root* %246, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.11, i64 0, i64 0), i32 2)
%248 = icmp eq i32 %247, 0
%249 = zext i1 %248 to i32
%250 = call i32 @assert(i32 %249)
%251 = load %struct.acl_root*, %struct.acl_root** %2
%252 = call i32 @get_acl(%struct.acl_root* %251, i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.12, i64 0, i64 0), i32 2)
%253 = icmp eq i32 %252, 0
%254 = zext i1 %253 to i32
%255 = call i32 @assert(i32 %254)
%256 = load %struct.acl_root*, %struct.acl_root** %2
%257 = call i32 @add_acl(%struct.acl_root* %256, i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.9, i64 0, i64 0), i32 2, i32 1)
%258 = load %struct.acl_root*, %struct.acl_root** %2
%259 = call i32 @get_acl(%struct.acl_root* %258, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.10, i64 0, i64 0), i32 2)
%260 = icmp eq i32 %259, 1
%261 = zext i1 %260 to i32
%262 = call i32 @assert(i32 %261)
%263 = load %struct.acl_root*, %struct.acl_root** %2
%264 = call i32 @get_acl(%struct.acl_root* %263, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.11, i64 0, i64 0), i32 2)
%265 = icmp eq i32 %264, 1
%266 = zext i1 %265 to i32
%267 = call i32 @assert(i32 %266)
%268 = load %struct.acl_root*, %struct.acl_root** %2
%269 = call i32 @get_acl(%struct.acl_root* %268, i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.12, i64 0, i64 0), i32 2)
%270 = icmp eq i32 %269, 1
%271 = zext i1 %270 to i32
%272 = call i32 @assert(i32 %271)
%273 = load %struct.acl_root*, %struct.acl_root** %2
%274 = call i32 @add_acl(%struct.acl_root* %273, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.13, i64 0, i64 0), i32 2, i32 0)
%275 = load %struct.acl_root*, %struct.acl_root** %2
%276 = call i32 @get_acl(%struct.acl_root* %275, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.10, i64 0, i64 0), i32 2)
%277 = icmp eq i32 %276, 1
%278 = zext i1 %277 to i32
%279 = call i32 @assert(i32 %278)
%280 = load %struct.acl_root*, %struct.acl_root** %2
%281 = call i32 @get_acl(%struct.acl_root* %280, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.11, i64 0, i64 0), i32 2)
%282 = icmp eq i32 %281, 1
%283 = zext i1 %282 to i32
%284 = call i32 @assert(i32 %283)
%285 = load %struct.acl_root*, %struct.acl_root** %2
%286 = call i32 @get_acl(%struct.acl_root* %285, i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.12, i64 0, i64 0), i32 2)
%287 = icmp eq i32 %286, 1
%288 = zext i1 %287 to i32
%289 = call i32 @assert(i32 %288)
%290 = load %struct.acl_root*, %struct.acl_root** %2
%291 = call i32 @get_acl(%struct.acl_root* %290, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.14, i64 0, i64 0), i32 2)
%292 = icmp eq i32 %291, 0
%293 = zext i1 %292 to i32
%294 = call i32 @assert(i32 %293)
%295 = load %struct.acl_root*, %struct.acl_root** %2
%296 = call i32 @get_acl(%struct.acl_root* %295, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.15, i64 0, i64 0), i32 2)
%297 = icmp eq i32 %296, 0
%298 = zext i1 %297 to i32
%299 = call i32 @assert(i32 %298)
%300 = load %struct.acl_root*, %struct.acl_root** %2
%301 = call i32 @get_acl(%struct.acl_root* %300, i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.16, i64 0, i64 0), i32 2)
%302 = icmp eq i32 %301, 0
%303 = zext i1 %302 to i32
%304 = call i32 @assert(i32 %303)
%305 = load %struct.acl_root*, %struct.acl_root** %2
%306 = call i32 @get_acl(%struct.acl_root* %305, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.17, i64 0, i64 0), i32 2)
%307 = icmp eq i32 %306, 0
%308 = zext i1 %307 to i32
%309 = call i32 @assert(i32 %308)
%310 = load %struct.acl_root*, %struct.acl_root** %2
%311 = call i32 @free_acl(%struct.acl_root* %310)
ret i32 0
}

LLVM IR (-O2):
%struct.acl_root = type { i32 }
@.str = [4 x i8] c"all\00"
@.str.1 = [10 x i8] c"undefined\00"
@.str.2 = [20 x i8] c"foo.amp.wand.net.nz\00"
@.str.3 = [20 x i8] c"bar.amp.wand.net.nz\00"
@.str.4 = [20 x i8] c"baz.amp.wand.net.nz\00"
@.str.5 = [16 x i8] c"amp.wand.net.nz\00"
@.str.6 = [12 x i8] c"wand.net.nz\00"
@.str.7 = [7 x i8] c"net.nz\00"
@.str.8 = [3 x i8] c"nz\00"
@.str.9 = [13 x i8] c".wand.net.nz\00"
@.str.10 = [24 x i8] c"foo.bar.baz.wand.net.nz\00"
@.str.11 = [20 x i8] c"bar.baz.wand.net.nz\00"
@.str.12 = [16 x i8] c"baz.wand.net.nz\00"
@.str.13 = [4 x i8] c".nz\00"
@.str.14 = [11 x i8] c"foo.net.nz\00"
@.str.15 = [15 x i8] c"foo.bar.net.nz\00"
@.str.16 = [19 x i8] c"foo.bar.baz.net.nz\00"
@.str.17 = [7 x i8] c"foo.nz\00"
define i32 @main() {
%1 = tail call %struct.acl_root* (...) @initialise_acl()
%2 = ptrtoint %struct.acl_root* %1 to i64
%3 = trunc i64 %2 to i32
%4 = tail call i32 @assert(i32 %3)
%5 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), i32 0)
%6 = icmp eq i32 %5, 0
%7 = zext i1 %6 to i32
%8 = tail call i32 @assert(i32 %7)
%9 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), i32 1)
%10 = icmp eq i32 %9, 0
%11 = zext i1 %10 to i32
%12 = tail call i32 @assert(i32 %11)
%13 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), i32 2)
%14 = icmp eq i32 %13, 0
%15 = zext i1 %14 to i32
%16 = tail call i32 @assert(i32 %15)
%17 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), i32 4)
%18 = icmp eq i32 %17, 0
%19 = zext i1 %18 to i32
%20 = tail call i32 @assert(i32 %19)
%21 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), i32 7)
%22 = icmp eq i32 %21, 0
%23 = zext i1 %22 to i32
%24 = tail call i32 @assert(i32 %23)
%25 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.1, i64 0, i64 0), i32 0)
%26 = icmp eq i32 %25, 0
%27 = zext i1 %26 to i32
%28 = tail call i32 @assert(i32 %27)
%29 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.1, i64 0, i64 0), i32 1)
%30 = icmp eq i32 %29, 0
%31 = zext i1 %30 to i32
%32 = tail call i32 @assert(i32 %31)
%33 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.1, i64 0, i64 0), i32 2)
%34 = icmp eq i32 %33, 0
%35 = zext i1 %34 to i32
%36 = tail call i32 @assert(i32 %35)
%37 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.1, i64 0, i64 0), i32 4)
%38 = icmp eq i32 %37, 0
%39 = zext i1 %38 to i32
%40 = tail call i32 @assert(i32 %39)
%41 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.1, i64 0, i64 0), i32 7)
%42 = icmp eq i32 %41, 0
%43 = zext i1 %42 to i32
%44 = tail call i32 @assert(i32 %43)
%45 = tail call i32 @add_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.2, i64 0, i64 0), i32 1, i32 1)
%46 = tail call i32 @add_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.3, i64 0, i64 0), i32 2, i32 1)
%47 = tail call i32 @add_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.4, i64 0, i64 0), i32 4, i32 1)
%48 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.2, i64 0, i64 0), i32 1)
%49 = icmp eq i32 %48, 1
%50 = zext i1 %49 to i32
%51 = tail call i32 @assert(i32 %50)
%52 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.2, i64 0, i64 0), i32 2)
%53 = icmp eq i32 %52, 0
%54 = zext i1 %53 to i32
%55 = tail call i32 @assert(i32 %54)
%56 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.2, i64 0, i64 0), i32 4)
%57 = icmp eq i32 %56, 0
%58 = zext i1 %57 to i32
%59 = tail call i32 @assert(i32 %58)
%60 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.3, i64 0, i64 0), i32 1)
%61 = icmp eq i32 %60, 0
%62 = zext i1 %61 to i32
%63 = tail call i32 @assert(i32 %62)
%64 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.3, i64 0, i64 0), i32 2)
%65 = icmp eq i32 %64, 1
%66 = zext i1 %65 to i32
%67 = tail call i32 @assert(i32 %66)
%68 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.3, i64 0, i64 0), i32 4)
%69 = icmp eq i32 %68, 0
%70 = zext i1 %69 to i32
%71 = tail call i32 @assert(i32 %70)
%72 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.4, i64 0, i64 0), i32 1)
%73 = icmp eq i32 %72, 0
%74 = zext i1 %73 to i32
%75 = tail call i32 @assert(i32 %74)
%76 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.4, i64 0, i64 0), i32 2)
%77 = icmp eq i32 %76, 0
%78 = zext i1 %77 to i32
%79 = tail call i32 @assert(i32 %78)
%80 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.4, i64 0, i64 0), i32 4)
%81 = icmp eq i32 %80, 1
%82 = zext i1 %81 to i32
%83 = tail call i32 @assert(i32 %82)
%84 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.5, i64 0, i64 0), i32 1)
%85 = icmp eq i32 %84, 0
%86 = zext i1 %85 to i32
%87 = tail call i32 @assert(i32 %86)
%88 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.6, i64 0, i64 0), i32 1)
%89 = icmp eq i32 %88, 0
%90 = zext i1 %89 to i32
%91 = tail call i32 @assert(i32 %90)
%92 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), i32 1)
%93 = icmp eq i32 %92, 0
%94 = zext i1 %93 to i32
%95 = tail call i32 @assert(i32 %94)
%96 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i64 0, i64 0), i32 1)
%97 = icmp eq i32 %96, 0
%98 = zext i1 %97 to i32
%99 = tail call i32 @assert(i32 %98)
%100 = tail call i32 @add_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.9, i64 0, i64 0), i32 2, i32 1)
%101 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.2, i64 0, i64 0), i32 2)
%102 = icmp eq i32 %101, 1
%103 = zext i1 %102 to i32
%104 = tail call i32 @assert(i32 %103)
%105 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.5, i64 0, i64 0), i32 2)
%106 = icmp eq i32 %105, 1
%107 = zext i1 %106 to i32
%108 = tail call i32 @assert(i32 %107)
%109 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.6, i64 0, i64 0), i32 2)
%110 = icmp eq i32 %109, 0
%111 = zext i1 %110 to i32
%112 = tail call i32 @assert(i32 %111)
%113 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), i32 2)
%114 = icmp eq i32 %113, 0
%115 = zext i1 %114 to i32
%116 = tail call i32 @assert(i32 %115)
%117 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i64 0, i64 0), i32 2)
%118 = icmp eq i32 %117, 0
%119 = zext i1 %118 to i32
%120 = tail call i32 @assert(i32 %119)
%121 = tail call i32 @add_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), i32 4, i32 1)
%122 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.2, i64 0, i64 0), i32 4)
%123 = icmp eq i32 %122, 1
%124 = zext i1 %123 to i32
%125 = tail call i32 @assert(i32 %124)
%126 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.5, i64 0, i64 0), i32 4)
%127 = icmp eq i32 %126, 1
%128 = zext i1 %127 to i32
%129 = tail call i32 @assert(i32 %128)
%130 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.6, i64 0, i64 0), i32 4)
%131 = icmp eq i32 %130, 1
%132 = zext i1 %131 to i32
%133 = tail call i32 @assert(i32 %132)
%134 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), i32 4)
%135 = icmp eq i32 %134, 1
%136 = zext i1 %135 to i32
%137 = tail call i32 @assert(i32 %136)
%138 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i64 0, i64 0), i32 4)
%139 = icmp eq i32 %138, 1
%140 = zext i1 %139 to i32
%141 = tail call i32 @assert(i32 %140)
%142 = tail call i32 @add_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.2, i64 0, i64 0), i32 4, i32 0)
%143 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.2, i64 0, i64 0), i32 4)
%144 = icmp eq i32 %143, 0
%145 = zext i1 %144 to i32
%146 = tail call i32 @assert(i32 %145)
%147 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.5, i64 0, i64 0), i32 4)
%148 = icmp eq i32 %147, 1
%149 = zext i1 %148 to i32
%150 = tail call i32 @assert(i32 %149)
%151 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.6, i64 0, i64 0), i32 4)
%152 = icmp eq i32 %151, 1
%153 = zext i1 %152 to i32
%154 = tail call i32 @assert(i32 %153)
%155 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), i32 4)
%156 = icmp eq i32 %155, 1
%157 = zext i1 %156 to i32
%158 = tail call i32 @assert(i32 %157)
%159 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i64 0, i64 0), i32 4)
%160 = icmp eq i32 %159, 1
%161 = zext i1 %160 to i32
%162 = tail call i32 @assert(i32 %161)
%163 = tail call i32 @add_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.9, i64 0, i64 0), i32 4, i32 0)
%164 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.2, i64 0, i64 0), i32 4)
%165 = icmp eq i32 %164, 0
%166 = zext i1 %165 to i32
%167 = tail call i32 @assert(i32 %166)
%168 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.5, i64 0, i64 0), i32 4)
%169 = icmp eq i32 %168, 0
%170 = zext i1 %169 to i32
%171 = tail call i32 @assert(i32 %170)
%172 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.6, i64 0, i64 0), i32 4)
%173 = icmp eq i32 %172, 1
%174 = zext i1 %173 to i32
%175 = tail call i32 @assert(i32 %174)
%176 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), i32 4)
%177 = icmp eq i32 %176, 1
%178 = zext i1 %177 to i32
%179 = tail call i32 @assert(i32 %178)
%180 = tail call i32 @get_acl(%struct.acl_root* %1, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i64 0, i64 0), i32 4)
%181 = icmp eq i32 %180, 1
%182 = zext i1 %181 to i32
%183 = tail call i32 @assert(i32 %182)
%184 = tail call i32 @free_acl(%struct.acl_root* %1)
%185 = tail call %struct.acl_root* (...) @initialise_acl()
%186 = tail call i32 @add_acl(%struct.acl_root* %185, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.10, i64 0, i64 0), i32 2, i32 1)
%187 = tail call i32 @get_acl(%struct.acl_root* %185, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.10, i64 0, i64 0), i32 2)
%188 = icmp eq i32 %187, 1
%189 = zext i1 %188 to i32
%190 = tail call i32 @assert(i32 %189)
%191 = tail call i32 @get_acl(%struct.acl_root* %185, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.11, i64 0, i64 0), i32 2)
%192 = icmp eq i32 %191, 0
%193 = zext i1 %192 to i32
%194 = tail call i32 @assert(i32 %193)
%195 = tail call i32 @get_acl(%struct.acl_root* %185, i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.12, i64 0, i64 0), i32 2)
%196 = icmp eq i32 %195, 0
%197 = zext i1 %196 to i32
%198 = tail call i32 @assert(i32 %197)
%199 = tail call i32 @add_acl(%struct.acl_root* %185, i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.9, i64 0, i64 0), i32 2, i32 1)
%200 = tail call i32 @get_acl(%struct.acl_root* %185, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.10, i64 0, i64 0), i32 2)
%201 = icmp eq i32 %200, 1
%202 = zext i1 %201 to i32
%203 = tail call i32 @assert(i32 %202)
%204 = tail call i32 @get_acl(%struct.acl_root* %185, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.11, i64 0, i64 0), i32 2)
%205 = icmp eq i32 %204, 1
%206 = zext i1 %205 to i32
%207 = tail call i32 @assert(i32 %206)
%208 = tail call i32 @get_acl(%struct.acl_root* %185, i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.12, i64 0, i64 0), i32 2)
%209 = icmp eq i32 %208, 1
%210 = zext i1 %209 to i32
%211 = tail call i32 @assert(i32 %210)
%212 = tail call i32 @add_acl(%struct.acl_root* %185, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.13, i64 0, i64 0), i32 2, i32 0)
%213 = tail call i32 @get_acl(%struct.acl_root* %185, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.10, i64 0, i64 0), i32 2)
%214 = icmp eq i32 %213, 1
%215 = zext i1 %214 to i32
%216 = tail call i32 @assert(i32 %215)
%217 = tail call i32 @get_acl(%struct.acl_root* %185, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.11, i64 0, i64 0), i32 2)
%218 = icmp eq i32 %217, 1
%219 = zext i1 %218 to i32
%220 = tail call i32 @assert(i32 %219)
%221 = tail call i32 @get_acl(%struct.acl_root* %185, i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.12, i64 0, i64 0), i32 2)
%222 = icmp eq i32 %221, 1
%223 = zext i1 %222 to i32
%224 = tail call i32 @assert(i32 %223)
%225 = tail call i32 @get_acl(%struct.acl_root* %185, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.14, i64 0, i64 0), i32 2)
%226 = icmp eq i32 %225, 0
%227 = zext i1 %226 to i32
%228 = tail call i32 @assert(i32 %227)
%229 = tail call i32 @get_acl(%struct.acl_root* %185, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.15, i64 0, i64 0), i32 2)
%230 = icmp eq i32 %229, 0
%231 = zext i1 %230 to i32
%232 = tail call i32 @assert(i32 %231)
%233 = tail call i32 @get_acl(%struct.acl_root* %185, i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.16, i64 0, i64 0), i32 2)
%234 = icmp eq i32 %233, 0
%235 = zext i1 %234 to i32
%236 = tail call i32 @assert(i32 %235)
%237 = tail call i32 @get_acl(%struct.acl_root* %185, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.17, i64 0, i64 0), i32 2)
%238 = icmp eq i32 %237, 0
%239 = zext i1 %238 to i32
%240 = tail call i32 @assert(i32 %239)
%241 = tail call i32 @free_acl(%struct.acl_root* %185)
ret i32 0
}