// https://syzkaller.appspot.com/bug?id=7293d6f37a448b017658dc1001452ff193cdb566
// autogenerated by syzkaller (https://github.com/google/syzkaller)

#define _GNU_SOURCE

#include <arpa/inet.h>
#include <dirent.h>
#include <endian.h>
#include <errno.h>
#include <fcntl.h>
#include <net/if.h>
#include <net/if_arp.h>
#include <netinet/in.h>
#include <sched.h>
#include <setjmp.h>
#include <signal.h>
#include <stdarg.h>
#include <stdbool.h>
#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <sys/ioctl.h>
#include <sys/mount.h>
#include <sys/prctl.h>
#include <sys/resource.h>
#include <sys/socket.h>
#include <sys/stat.h>
#include <sys/syscall.h>
#include <sys/time.h>
#include <sys/types.h>
#include <sys/uio.h>
#include <sys/wait.h>
#include <time.h>
#include <unistd.h>

#include <linux/if_addr.h>
#include <linux/if_ether.h>
#include <linux/if_link.h>
#include <linux/if_tun.h>
#include <linux/in6.h>
#include <linux/ip.h>
#include <linux/neighbour.h>
#include <linux/net.h>
#include <linux/netlink.h>
#include <linux/rtnetlink.h>
#include <linux/tcp.h>
#include <linux/veth.h>

unsigned long long procid;

static __thread int skip_segv;
static __thread jmp_buf segv_env;

static void segv_handler(int sig, siginfo_t* info, void* ctx)
{
  uintptr_t addr = (uintptr_t)info->si_addr;
  const uintptr_t prog_start = 1 << 20;
  const uintptr_t prog_end = 100 << 20;
  if (__atomic_load_n(&skip_segv, __ATOMIC_RELAXED) &&
      (addr < prog_start || addr > prog_end)) {
    _longjmp(segv_env, 1);
  }
  exit(sig);
}

static void install_segv_handler(void)
{
  struct sigaction sa;
  memset(&sa, 0, sizeof(sa));
  sa.sa_handler = SIG_IGN;
  syscall(SYS_rt_sigaction, 0x20, &sa, NULL, 8);
  syscall(SYS_rt_sigaction, 0x21, &sa, NULL, 8);
  memset(&sa, 0, sizeof(sa));
  sa.sa_sigaction = segv_handler;
  sa.sa_flags = SA_NODEFER | SA_SIGINFO;
  sigaction(SIGSEGV, &sa, NULL);
  sigaction(SIGBUS, &sa, NULL);
}

#define NONFAILING(...)                                                        \
  {                                                                            \
    __atomic_fetch_add(&skip_segv, 1, __ATOMIC_SEQ_CST);                       \
    if (_setjmp(segv_env) == 0) {                                              \
      __VA_ARGS__;                                                             \
    }                                                                          \
    __atomic_fetch_sub(&skip_segv, 1, __ATOMIC_SEQ_CST);                       \
  }

static void sleep_ms(uint64_t ms)
{
  usleep(ms * 1000);
}

static uint64_t current_time_ms(void)
{
  struct timespec ts;
  if (clock_gettime(CLOCK_MONOTONIC, &ts))
    exit(1);
  return (uint64_t)ts.tv_sec * 1000 + (uint64_t)ts.tv_nsec / 1000000;
}

static void use_temporary_dir(void)
{
  char tmpdir_template[] = "./syzkaller.XXXXXX";
  char* tmpdir = mkdtemp(tmpdir_template);
  if (!tmpdir)
    exit(1);
  if (chmod(tmpdir, 0777))
    exit(1);
  if (chdir(tmpdir))
    exit(1);
}

static bool write_file(const char* file, const char* what, ...)
{
  char buf[1024];
  va_list args;
  va_start(args, what);
  vsnprintf(buf, sizeof(buf), what, args);
  va_end(args);
  buf[sizeof(buf) - 1] = 0;
  int len = strlen(buf);
  int fd = open(file, O_WRONLY | O_CLOEXEC);
  if (fd == -1)
    return false;
  if (write(fd, buf, len) != len) {
    int err = errno;
    close(fd);
    errno = err;
    return false;
  }
  close(fd);
  return true;
}

static struct {
  char* pos;
  int nesting;
  struct nlattr* nested[8];
  char buf[1024];
} nlmsg;

static void netlink_init(int typ, int flags, const void* data, int size)
{
  memset(&nlmsg, 0, sizeof(nlmsg));
  struct nlmsghdr* hdr = (struct nlmsghdr*)nlmsg.buf;
  hdr->nlmsg_type = typ;
  hdr->nlmsg_flags = NLM_F_REQUEST | NLM_F_ACK | flags;
  memcpy(hdr + 1, data, size);
  nlmsg.pos = (char*)(hdr + 1) + NLMSG_ALIGN(size);
}

static void netlink_attr(int typ, const void* data, int size)
{
  struct nlattr* attr = (struct nlattr*)nlmsg.pos;
  attr->nla_len = sizeof(*attr) + size;
  attr->nla_type = typ;
  memcpy(attr + 1, data, size);
  nlmsg.pos += NLMSG_ALIGN(attr->nla_len);
}

static void netlink_nest(int typ)
{
  struct nlattr* attr = (struct nlattr*)nlmsg.pos;
  attr->nla_type = typ;
  nlmsg.pos += sizeof(*attr);
  nlmsg.nested[nlmsg.nesting++] = attr;
}

static void netlink_done(void)
{
  struct nlattr* attr = nlmsg.nested[--nlmsg.nesting];
  attr->nla_len = nlmsg.pos - (char*)attr;
}

static int netlink_send(int sock)
{
  if (nlmsg.pos > nlmsg.buf + sizeof(nlmsg.buf) || nlmsg.nesting)
    exit(1);
  struct nlmsghdr* hdr = (struct nlmsghdr*)nlmsg.buf;
  hdr->nlmsg_len = nlmsg.pos - nlmsg.buf;
  struct sockaddr_nl addr;
  memset(&addr, 0, sizeof(addr));
  addr.nl_family = AF_NETLINK;
  unsigned n = sendto(sock, nlmsg.buf, hdr->nlmsg_len, 0,
                      (struct sockaddr*)&addr, sizeof(addr));
  if (n != hdr->nlmsg_len)
    exit(1);
  n = recv(sock, nlmsg.buf, sizeof(nlmsg.buf), 0);
  if (n < sizeof(struct nlmsghdr) + sizeof(struct nlmsgerr))
    exit(1);
  if (hdr->nlmsg_type != NLMSG_ERROR)
    exit(1);
  return -((struct nlmsgerr*)(hdr + 1))->error;
}

static void netlink_add_device_impl(const char* type, const char* name)
{
  struct ifinfomsg hdr;
  memset(&hdr, 0, sizeof(hdr));
  netlink_init(RTM_NEWLINK, NLM_F_EXCL | NLM_F_CREATE, &hdr, sizeof(hdr));
  if (name)
    netlink_attr(IFLA_IFNAME, name, strlen(name));
  netlink_nest(IFLA_LINKINFO);
  netlink_attr(IFLA_INFO_KIND, type, strlen(type));
}

static void netlink_add_device(int sock, const char* type, const char* name)
{
  netlink_add_device_impl(type, name);
  netlink_done();
  int err = netlink_send(sock);
  (void)err;
}

static void netlink_add_veth(int sock, const char* name, const char* peer)
{
  netlink_add_device_impl("veth", name);
  netlink_nest(IFLA_INFO_DATA);
  netlink_nest(VETH_INFO_PEER);
  nlmsg.pos += sizeof(struct ifinfomsg);
  netlink_attr(IFLA_IFNAME, peer, strlen(peer));
  netlink_done();
  netlink_done();
  netlink_done();
  int err = netlink_send(sock);
  (void)err;
}

static void netlink_add_hsr(int sock, const char* name, const char* slave1,
                            const char* slave2)
{
  netlink_add_device_impl("hsr", name);
  netlink_nest(IFLA_INFO_DATA);
  int ifindex1 = if_nametoindex(slave1);
  netlink_attr(IFLA_HSR_SLAVE1, &ifindex1, sizeof(ifindex1));
  int ifindex2 = if_nametoindex(slave2);
  netlink_attr(IFLA_HSR_SLAVE2, &ifindex2, sizeof(ifindex2));
  netlink_done();
  netlink_done();
  int err = netlink_send(sock);
  (void)err;
}

static void netlink_device_change(int sock, const char* name, bool up,
                                  const char* master, const void* mac,
                                  int macsize)
{
  struct ifinfomsg hdr;
  memset(&hdr, 0, sizeof(hdr));
  if (up)
    hdr.ifi_flags = hdr.ifi_change = IFF_UP;
  netlink_init(RTM_NEWLINK, 0, &hdr, sizeof(hdr));
  netlink_attr(IFLA_IFNAME, name, strlen(name));
  if (master) {
    int ifindex = if_nametoindex(master);
    netlink_attr(IFLA_MASTER, &ifindex, sizeof(ifindex));
  }
  if (macsize)
    netlink_attr(IFLA_ADDRESS, mac, macsize);
  int err = netlink_send(sock);
  (void)err;
}

static int netlink_add_addr(int sock, const char* dev, const void* addr,
                            int addrsize)
{
  struct ifaddrmsg hdr;
  memset(&hdr, 0, sizeof(hdr));
  hdr.ifa_family = addrsize == 4 ? AF_INET : AF_INET6;
  hdr.ifa_prefixlen = addrsize == 4 ? 24 : 120;
  hdr.ifa_scope = RT_SCOPE_UNIVERSE;
  hdr.ifa_index = if_nametoindex(dev);
  netlink_init(RTM_NEWADDR, NLM_F_CREATE | NLM_F_REPLACE, &hdr, sizeof(hdr));
  netlink_attr(IFA_LOCAL, addr, addrsize);
  netlink_attr(IFA_ADDRESS, addr, addrsize);
  return netlink_send(sock);
}

static void netlink_add_addr4(int sock, const char* dev, const char* addr)
{
  struct in_addr in_addr;
  inet_pton(AF_INET, addr, &in_addr);
  int err = netlink_add_addr(sock, dev, &in_addr, sizeof(in_addr));
  (void)err;
}

static void netlink_add_addr6(int sock, const char* dev, const char* addr)
{
  struct in6_addr in6_addr;
  inet_pton(AF_INET6, addr, &in6_addr);
  int err = netlink_add_addr(sock, dev, &in6_addr, sizeof(in6_addr));
  (void)err;
}

static void netlink_add_neigh(int sock, const char* name, const void* addr,
                              int addrsize, const void* mac, int macsize)
{
  struct ndmsg hdr;
  memset(&hdr, 0, sizeof(hdr));
  hdr.ndm_family = addrsize == 4 ? AF_INET : AF_INET6;
  hdr.ndm_ifindex = if_nametoindex(name);
  hdr.ndm_state = NUD_PERMANENT;
  netlink_init(RTM_NEWNEIGH, NLM_F_EXCL | NLM_F_CREATE, &hdr, sizeof(hdr));
  netlink_attr(NDA_DST, addr, addrsize);
  netlink_attr(NDA_LLADDR, mac, macsize);
  int err = netlink_send(sock);
  (void)err;
}

static int tunfd = -1;
static int tun_frags_enabled;
#define SYZ_TUN_MAX_PACKET_SIZE 1000

#define TUN_IFACE "syz_tun"

#define LOCAL_MAC 0xaaaaaaaaaaaa
#define REMOTE_MAC 0xaaaaaaaaaabb

#define LOCAL_IPV4 "172.20.20.170"
#define REMOTE_IPV4 "172.20.20.187"

#define LOCAL_IPV6 "fe80::aa"
#define REMOTE_IPV6 "fe80::bb"

#define IFF_NAPI 0x0010
#define IFF_NAPI_FRAGS 0x0020

static void initialize_tun(void)
{
  tunfd = open("/dev/net/tun", O_RDWR | O_NONBLOCK);
  if (tunfd == -1) {
    printf("tun: can't open /dev/net/tun: please enable CONFIG_TUN=y\n");
    printf("otherwise fuzzing or reproducing might not work as intended\n");
    return;
  }
  const int kTunFd = 240;
  if (dup2(tunfd, kTunFd) < 0)
    exit(1);
  close(tunfd);
  tunfd = kTunFd;
  struct ifreq ifr;
  memset(&ifr, 0, sizeof(ifr));
  strncpy(ifr.ifr_name, TUN_IFACE, IFNAMSIZ);
  ifr.ifr_flags = IFF_TAP | IFF_NO_PI | IFF_NAPI | IFF_NAPI_FRAGS;
  if (ioctl(tunfd, TUNSETIFF, (void*)&ifr) < 0) {
    ifr.ifr_flags = IFF_TAP | IFF_NO_PI;
    if (ioctl(tunfd, TUNSETIFF, (void*)&ifr) < 0)
      exit(1);
  }
  if (ioctl(tunfd, TUNGETIFF, (void*)&ifr) < 0)
    exit(1);
  tun_frags_enabled = (ifr.ifr_flags & IFF_NAPI_FRAGS) != 0;
  char sysctl[64];
  sprintf(sysctl, "/proc/sys/net/ipv6/conf/%s/accept_dad", TUN_IFACE);
  write_file(sysctl, "0");
  sprintf(sysctl, "/proc/sys/net/ipv6/conf/%s/router_solicitations", TUN_IFACE);
  write_file(sysctl, "0");
  int sock = socket(AF_NETLINK, SOCK_RAW, NETLINK_ROUTE);
  if (sock == -1)
    exit(1);
  netlink_add_addr4(sock, TUN_IFACE, LOCAL_IPV4);
  netlink_add_addr6(sock, TUN_IFACE, LOCAL_IPV6);
  uint64_t macaddr = REMOTE_MAC;
  struct in_addr in_addr;
  inet_pton(AF_INET, REMOTE_IPV4, &in_addr);
  netlink_add_neigh(sock, TUN_IFACE, &in_addr, sizeof(in_addr), &macaddr,
                    ETH_ALEN);
  struct in6_addr in6_addr;
  inet_pton(AF_INET6, REMOTE_IPV6, &in6_addr);
  netlink_add_neigh(sock, TUN_IFACE, &in6_addr, sizeof(in6_addr), &macaddr,
                    ETH_ALEN);
  macaddr = LOCAL_MAC;
  netlink_device_change(sock, TUN_IFACE, true, 0, &macaddr, ETH_ALEN);
  close(sock);
}

#define DEV_IPV4 "172.20.20.%d"
#define DEV_IPV6 "fe80::%02hx"
#define DEV_MAC 0x00aaaaaaaaaa
static void initialize_netdevices(void)
{
  char netdevsim[16];
  sprintf(netdevsim, "netdevsim%d", (int)procid);
  struct {
    const char* type;
    const char* dev;
  } devtypes[] = {
      {"ip6gretap", "ip6gretap0"}, {"bridge", "bridge0"},
      {"vcan", "vcan0"},           {"bond", "bond0"},
      {"team", "team0"},           {"dummy", "dummy0"},
      {"nlmon", "nlmon0"},         {"caif", "caif0"},
      {"batadv", "batadv0"},       {"vxcan", "vxcan1"},
      {"netdevsim", netdevsim},    {"veth", 0},
  };
  const char* devmasters[] = {"bridge", "bond", "team"};
  struct {
    const char* name;
    int macsize;
    bool noipv6;
  } devices[] = {
      {"lo", ETH_ALEN},
      {"sit0", 0},
      {"bridge0", ETH_ALEN},
      {"vcan0", 0, true},
      {"tunl0", 0},
      {"gre0", 0},
      {"gretap0", ETH_ALEN},
      {"ip_vti0", 0},
      {"ip6_vti0", 0},
      {"ip6tnl0", 0},
      {"ip6gre0", 0},
      {"ip6gretap0", ETH_ALEN},
      {"erspan0", ETH_ALEN},
      {"bond0", ETH_ALEN},
      {"veth0", ETH_ALEN},
      {"veth1", ETH_ALEN},
      {"team0", ETH_ALEN},
      {"veth0_to_bridge", ETH_ALEN},
      {"veth1_to_bridge", ETH_ALEN},
      {"veth0_to_bond", ETH_ALEN},
      {"veth1_to_bond", ETH_ALEN},
      {"veth0_to_team", ETH_ALEN},
      {"veth1_to_team", ETH_ALEN},
      {"veth0_to_hsr", ETH_ALEN},
      {"veth1_to_hsr", ETH_ALEN},
      {"hsr0", 0},
      {"dummy0", ETH_ALEN},
      {"nlmon0", 0},
      {"vxcan1", 0, true},
      {"caif0", ETH_ALEN},
      {"batadv0", ETH_ALEN},
      {netdevsim, ETH_ALEN},
  };
  int sock = socket(AF_NETLINK, SOCK_RAW, NETLINK_ROUTE);
  if (sock == -1)
    exit(1);
  unsigned i;
  for (i = 0; i < sizeof(devtypes) / sizeof(devtypes[0]); i++)
    netlink_add_device(sock, devtypes[i].type, devtypes[i].dev);
  for (i = 0; i < sizeof(devmasters) / (sizeof(devmasters[0])); i++) {
    char master[32], slave0[32], veth0[32], slave1[32], veth1[32];
    sprintf(slave0, "%s_slave_0", devmasters[i]);
    sprintf(veth0, "veth0_to_%s", devmasters[i]);
    netlink_add_veth(sock, slave0, veth0);
    sprintf(slave1, "%s_slave_1", devmasters[i]);
    sprintf(veth1, "veth1_to_%s", devmasters[i]);
    netlink_add_veth(sock, slave1, veth1);
    sprintf(master, "%s0", devmasters[i]);
    netlink_device_change(sock, slave0, false, master, 0, 0);
    netlink_device_change(sock, slave1, false, master, 0, 0);
  }
  netlink_device_change(sock, "bridge_slave_0", true, 0, 0, 0);
  netlink_device_change(sock, "bridge_slave_1", true, 0, 0, 0);
  netlink_add_veth(sock, "hsr_slave_0", "veth0_to_hsr");
  netlink_add_veth(sock, "hsr_slave_1", "veth1_to_hsr");
  netlink_add_hsr(sock, "hsr0", "hsr_slave_0", "hsr_slave_1");
  netlink_device_change(sock, "hsr_slave_0", true, 0, 0, 0);
  netlink_device_change(sock, "hsr_slave_1", true, 0, 0, 0);
  for (i = 0; i < sizeof(devices) / (sizeof(devices[0])); i++) {
    char addr[32];
    sprintf(addr, DEV_IPV4, i + 10);
    netlink_add_addr4(sock, devices[i].name, addr);
    if (!devices[i].noipv6) {
      sprintf(addr, DEV_IPV6, i + 10);
      netlink_add_addr6(sock, devices[i].name, addr);
    }
    uint64_t macaddr = DEV_MAC + ((i + 10ull) << 40);
    netlink_device_change(sock, devices[i].name, true, 0, &macaddr,
                          devices[i].macsize);
  }
  close(sock);
}
static void initialize_netdevices_init(void)
{
  int sock = socket(AF_NETLINK, SOCK_RAW, NETLINK_ROUTE);
  if (sock == -1)
    exit(1);
  struct {
    const char* type;
    int macsize;
    bool noipv6;
    bool noup;
  } devtypes[] = {
      {"nr", 7, true}, {"rose", 5, true, true},
  };
  unsigned i;
  for (i = 0; i < sizeof(devtypes) / sizeof(devtypes[0]); i++) {
    char dev[32], addr[32];
    sprintf(dev, "%s%d", devtypes[i].type, (int)procid);
    sprintf(addr, "172.30.%d.%d", i, (int)procid + 1);
    netlink_add_addr4(sock, dev, addr);
    if (!devtypes[i].noipv6) {
      sprintf(addr, "fe88::%02hx:%02hx", i, (int)procid + 1);
      netlink_add_addr6(sock, dev, addr);
    }
    int macsize = devtypes[i].macsize;
    uint64_t macaddr = 0xbbbbbb +
                       ((unsigned long long)i << (8 * (macsize - 2))) +
                       (procid << (8 * (macsize - 1)));
    netlink_device_change(sock, dev, !devtypes[i].noup, 0, &macaddr, macsize);
  }
  close(sock);
}

static int read_tun(char* data, int size)
{
  if (tunfd < 0)
    return -1;
  int rv = read(tunfd, data, size);
  if (rv < 0) {
    if (errno == EAGAIN)
      return -1;
    if (errno == EBADFD)
      return -1;
    exit(1);
  }
  return rv;
}

static void flush_tun()
{
  char data[SYZ_TUN_MAX_PACKET_SIZE];
  while (read_tun(&data[0], sizeof(data)) != -1) {
  }
}

static void setup_cgroups()
{
  if (mkdir("/syzcgroup", 0777)) {
  }
  if (mkdir("/syzcgroup/unified", 0777)) {
  }
  if (mount("none", "/syzcgroup/unified", "cgroup2", 0, NULL)) {
  }
  if (chmod("/syzcgroup/unified", 0777)) {
  }
  write_file("/syzcgroup/unified/cgroup.subtree_control",
             "+cpu +memory +io +pids +rdma");
  if (mkdir("/syzcgroup/cpu", 0777)) {
  }
  if (mount("none", "/syzcgroup/cpu", "cgroup", 0,
            "cpuset,cpuacct,perf_event,hugetlb")) {
  }
  write_file("/syzcgroup/cpu/cgroup.clone_children", "1");
  if (chmod("/syzcgroup/cpu", 0777)) {
  }
  if (mkdir("/syzcgroup/net", 0777)) {
  }
  if (mount("none", "/syzcgroup/net", "cgroup", 0,
            "net_cls,net_prio,devices,freezer")) {
  }
  if (chmod("/syzcgroup/net", 0777)) {
  }
}
static void setup_binfmt_misc()
{
  if (mount(0, "/proc/sys/fs/binfmt_misc", "binfmt_misc", 0, 0)) {
  }
  write_file("/proc/sys/fs/binfmt_misc/register", ":syz0:M:0:\x01::./file0:");
  write_file("/proc/sys/fs/binfmt_misc/register",
             ":syz1:M:1:\x02::./file0:POC");
}

static void setup_common()
{
  if (mount(0, "/sys/fs/fuse/connections", "fusectl", 0, 0)) {
  }
  setup_cgroups();
  setup_binfmt_misc();
}

static void loop();

static void sandbox_common()
{
  prctl(PR_SET_PDEATHSIG, SIGKILL, 0, 0, 0);
  setpgrp();
  setsid();
  struct rlimit rlim;
  rlim.rlim_cur = rlim.rlim_max = (200 << 20);
  setrlimit(RLIMIT_AS, &rlim);
  rlim.rlim_cur = rlim.rlim_max = 32 << 20;
  setrlimit(RLIMIT_MEMLOCK, &rlim);
  rlim.rlim_cur = rlim.rlim_max = 136 << 20;
  setrlimit(RLIMIT_FSIZE, &rlim);
  rlim.rlim_cur = rlim.rlim_max = 1 << 20;
  setrlimit(RLIMIT_STACK, &rlim);
  rlim.rlim_cur = rlim.rlim_max = 0;
  setrlimit(RLIMIT_CORE, &rlim);
  rlim.rlim_cur = rlim.rlim_max = 256;
  setrlimit(RLIMIT_NOFILE, &rlim);
  if (unshare(CLONE_NEWNS)) {
  }
  if (unshare(CLONE_NEWIPC)) {
  }
  if (unshare(0x02000000)) {
  }
  if (unshare(CLONE_NEWUTS)) {
  }
  if (unshare(CLONE_SYSVSEM)) {
  }
  typedef struct {
    const char* name;
    const char* value;
  } sysctl_t;
  static const sysctl_t sysctls[] = {
      {"/proc/sys/kernel/shmmax", "16777216"},
      {"/proc/sys/kernel/shmall", "536870912"},
      {"/proc/sys/kernel/shmmni", "1024"},
      {"/proc/sys/kernel/msgmax", "8192"},
      {"/proc/sys/kernel/msgmni", "1024"},
      {"/proc/sys/kernel/msgmnb", "1024"},
      {"/proc/sys/kernel/sem", "1024 1048576 500 1024"},
  };
  unsigned i;
  for (i = 0; i < sizeof(sysctls) / sizeof(sysctls[0]); i++)
    write_file(sysctls[i].name, sysctls[i].value);
}

int wait_for_loop(int pid)
{
  if (pid < 0)
    exit(1);
  int status = 0;
  while (waitpid(-1, &status, __WALL) != pid) {
  }
  return WEXITSTATUS(status);
}

static int do_sandbox_none(void)
{
  if (unshare(CLONE_NEWPID)) {
  }
  int pid = fork();
  if (pid != 0)
    return wait_for_loop(pid);
  setup_common();
  sandbox_common();
  initialize_netdevices_init();
  if (unshare(CLONE_NEWNET)) {
  }
  initialize_tun();
  initialize_netdevices();
  loop();
  exit(1);
}

#define FS_IOC_SETFLAGS _IOW('f', 2, long)
static void remove_dir(const char* dir)
{
  DIR* dp;
  struct dirent* ep;
  int iter = 0;
retry:
  while (umount2(dir, MNT_DETACH) == 0) {
  }
  dp = opendir(dir);
  if (dp == NULL) {
    if (errno == EMFILE) {
      exit(1);
    }
    exit(1);
  }
  while ((ep = readdir(dp))) {
    if (strcmp(ep->d_name, ".") == 0 || strcmp(ep->d_name, "..") == 0)
      continue;
    char filename[FILENAME_MAX];
    snprintf(filename, sizeof(filename), "%s/%s", dir, ep->d_name);
    while (umount2(filename, MNT_DETACH) == 0) {
    }
    struct stat st;
    if (lstat(filename, &st))
      exit(1);
    if (S_ISDIR(st.st_mode)) {
      remove_dir(filename);
      continue;
    }
    int i;
    for (i = 0;; i++) {
      if (unlink(filename) == 0)
        break;
      if (errno == EPERM) {
        int fd = open(filename, O_RDONLY);
        if (fd != -1) {
          long flags = 0;
          if (ioctl(fd, FS_IOC_SETFLAGS, &flags) == 0)
            close(fd);
          continue;
        }
      }
      if (errno == EROFS) {
        break;
      }
      if (errno != EBUSY || i > 100)
        exit(1);
      if (umount2(filename, MNT_DETACH))
        exit(1);
    }
  }
  closedir(dp);
  int i;
  for (i = 0;; i++) {
    if (rmdir(dir) == 0)
      break;
    if (i < 100) {
      if (errno == EPERM) {
        int fd = open(dir, O_RDONLY);
        if (fd != -1) {
          long flags = 0;
          if (ioctl(fd, FS_IOC_SETFLAGS, &flags) == 0)
            close(fd);
          continue;
        }
      }
      if (errno == EROFS) {
        break;
      }
      if (errno == EBUSY) {
        if (umount2(dir, MNT_DETACH))
          exit(1);
        continue;
      }
      if (errno == ENOTEMPTY) {
        if (iter < 100) {
          iter++;
          goto retry;
        }
      }
    }
    exit(1);
  }
}

static void kill_and_wait(int pid, int* status)
{
  kill(-pid, SIGKILL);
  kill(pid, SIGKILL);
  int i;
  for (i = 0; i < 100; i++) {
    if (waitpid(-1, status, WNOHANG | __WALL) == pid)
      return;
    usleep(1000);
  }
  DIR* dir = opendir("/sys/fs/fuse/connections");
  if (dir) {
    for (;;) {
      struct dirent* ent = readdir(dir);
      if (!ent)
        break;
      if (strcmp(ent->d_name, ".") == 0 || strcmp(ent->d_name, "..") == 0)
        continue;
      char abort[300];
      snprintf(abort, sizeof(abort), "/sys/fs/fuse/connections/%s/abort",
               ent->d_name);
      int fd = open(abort, O_WRONLY);
      if (fd == -1) {
        continue;
      }
      if (write(fd, abort, 1) < 0) {
      }
      close(fd);
    }
    closedir(dir);
  } else {
  }
  while (waitpid(-1, status, __WALL) != pid) {
  }
}

#define SYZ_HAVE_SETUP_LOOP 1
static void setup_loop()
{
  int pid = getpid();
  char cgroupdir[64];
  char file[128];
  snprintf(cgroupdir, sizeof(cgroupdir), "/syzcgroup/unified/syz%llu", procid);
  if (mkdir(cgroupdir, 0777)) {
  }
  snprintf(file, sizeof(file), "%s/pids.max", cgroupdir);
  write_file(file, "32");
  snprintf(file, sizeof(file), "%s/memory.low", cgroupdir);
  write_file(file, "%d", 298 << 20);
  snprintf(file, sizeof(file), "%s/memory.high", cgroupdir);
  write_file(file, "%d", 299 << 20);
  snprintf(file, sizeof(file), "%s/memory.max", cgroupdir);
  write_file(file, "%d", 300 << 20);
  snprintf(file, sizeof(file), "%s/cgroup.procs", cgroupdir);
  write_file(file, "%d", pid);
  snprintf(cgroupdir, sizeof(cgroupdir), "/syzcgroup/cpu/syz%llu", procid);
  if (mkdir(cgroupdir, 0777)) {
  }
  snprintf(file, sizeof(file), "%s/cgroup.procs", cgroupdir);
  write_file(file, "%d", pid);
  snprintf(cgroupdir, sizeof(cgroupdir), "/syzcgroup/net/syz%llu", procid);
  if (mkdir(cgroupdir, 0777)) {
  }
  snprintf(file, sizeof(file), "%s/cgroup.procs", cgroupdir);
  write_file(file, "%d", pid);
}

#define SYZ_HAVE_SETUP_TEST 1
static void setup_test()
{
  prctl(PR_SET_PDEATHSIG, SIGKILL, 0, 0, 0);
  setpgrp();
  char cgroupdir[64];
  snprintf(cgroupdir, sizeof(cgroupdir), "/syzcgroup/unified/syz%llu", procid);
  if (symlink(cgroupdir, "./cgroup")) {
  }
  snprintf(cgroupdir, sizeof(cgroupdir), "/syzcgroup/cpu/syz%llu", procid);
  if (symlink(cgroupdir, "./cgroup.cpu")) {
  }
  snprintf(cgroupdir, sizeof(cgroupdir), "/syzcgroup/net/syz%llu", procid);
  if (symlink(cgroupdir, "./cgroup.net")) {
  }
  write_file("/proc/self/oom_score_adj", "1000");
  flush_tun();
}

#define SYZ_HAVE_RESET_TEST 1
static void reset_test()
{
  int fd;
  for (fd = 3; fd < 30; fd++)
    close(fd);
}

static void execute_one(void);

#define WAIT_FLAGS __WALL

static void loop(void)
{
  setup_loop();
  int iter;
  for (iter = 0;; iter++) {
    char cwdbuf[32];
    sprintf(cwdbuf, "./%d", iter);
    if (mkdir(cwdbuf, 0777))
      exit(1);
    int pid = fork();
    if (pid < 0)
      exit(1);
    if (pid == 0) {
      if (chdir(cwdbuf))
        exit(1);
      setup_test();
      execute_one();
      reset_test();
      exit(0);
    }
    int status = 0;
    uint64_t start = current_time_ms();
    for (;;) {
      if (waitpid(-1, &status, WNOHANG | WAIT_FLAGS) == pid)
        break;
      sleep_ms(1);
      if (current_time_ms() - start < 5 * 1000)
        continue;
      kill_and_wait(pid, &status);
      break;
    }
    remove_dir(cwdbuf);
  }
}

uint64_t r[1] = {0xffffffffffffffff};

void execute_one(void)
{
  long res = 0;
  res = syscall(__NR_socket, 0x10, 3, 0);
  if (res != -1)
    r[0] = res;
  NONFAILING(*(uint16_t*)0x20000340 = 0x10);
  NONFAILING(*(uint16_t*)0x20000342 = 0);
  NONFAILING(*(uint32_t*)0x20000344 = 0);
  NONFAILING(*(uint32_t*)0x20000348 = -1);
  syscall(__NR_bind, r[0], 0x20000340, 0xc);
  NONFAILING(*(uint32_t*)0x20000000 = 0);
  syscall(__NR_setsockopt, r[0], 1, 8, 0x20000000, 4);
  NONFAILING(*(uint64_t*)0x20000300 = 0);
  NONFAILING(*(uint32_t*)0x20000308 = 0);
  NONFAILING(*(uint64_t*)0x20000310 = 0x200002c0);
  NONFAILING(*(uint64_t*)0x200002c0 = 0x20000380);
  NONFAILING(*(uint32_t*)0x20000380 = 0x1764);
  NONFAILING(*(uint16_t*)0x20000384 = 0x30);
  NONFAILING(*(uint16_t*)0x20000386 = 0x209);
  NONFAILING(*(uint32_t*)0x20000388 = 0x70bd2d);
  NONFAILING(*(uint32_t*)0x2000038c = 0x25dfdbfe);
  NONFAILING(*(uint8_t*)0x20000390 = 0);
  NONFAILING(*(uint8_t*)0x20000391 = 0);
  NONFAILING(*(uint16_t*)0x20000392 = 0);
  NONFAILING(*(uint16_t*)0x20000394 = 0x44);
  NONFAILING(*(uint16_t*)0x20000396 = 1);
  NONFAILING(*(uint16_t*)0x20000398 = 0x40);
  NONFAILING(*(uint32_t*)0x2000039a = 8);
  NONFAILING(*(uint16_t*)0x2000039e = 8);
  NONFAILING(*(uint16_t*)0x200003a0 = 1);
  NONFAILING(memcpy((void*)0x200003a2, "nat\000", 4));
  NONFAILING(*(uint16_t*)0x200003a6 = 0x2c);
  NONFAILING(*(uint16_t*)0x200003a8 = 2);
  NONFAILING(*(uint16_t*)0x200003aa = 0x28);
  NONFAILING(*(uint16_t*)0x200003ac = 1);
  NONFAILING(*(uint32_t*)0x200003ae = 3);
  NONFAILING(*(uint32_t*)0x200003b2 = 0);
  NONFAILING(*(uint32_t*)0x200003b6 = -1);
  NONFAILING(*(uint32_t*)0x200003ba = 1);
  NONFAILING(*(uint32_t*)0x200003be = 0);
  NONFAILING(*(uint32_t*)0x200003c2 = htobe32(0x7f000001));
  NONFAILING(*(uint8_t*)0x200003c6 = 0xac);
  NONFAILING(*(uint8_t*)0x200003c7 = 0x1e);
  NONFAILING(*(uint8_t*)0x200003c8 = 0);
  NONFAILING(*(uint8_t*)0x200003c9 = 1);
  NONFAILING(*(uint32_t*)0x200003ca = htobe32(0));
  NONFAILING(*(uint32_t*)0x200003ce = 1);
  NONFAILING(*(uint16_t*)0x200003d2 = 4);
  NONFAILING(*(uint16_t*)0x200003d4 = 6);
  NONFAILING(*(uint16_t*)0x200003d8 = 0x84);
  NONFAILING(*(uint16_t*)0x200003da = 1);
  NONFAILING(*(uint16_t*)0x200003dc = 0x80);
  NONFAILING(*(uint32_t*)0x200003de = 0xe);
  NONFAILING(*(uint16_t*)0x200003e2 = 0x10);
  NONFAILING(*(uint16_t*)0x200003e4 = 1);
  NONFAILING(memcpy((void*)0x200003e6, "tunnel_key\000", 11));
  NONFAILING(*(uint16_t*)0x200003f2 = 0x64);
  NONFAILING(*(uint16_t*)0x200003f4 = 2);
  NONFAILING(*(uint16_t*)0x200003f6 = 8);
  NONFAILING(*(uint16_t*)0x200003f8 = 3);
  NONFAILING(*(uint32_t*)0x200003fa = htobe32(0xe0000002));
  NONFAILING(*(uint16_t*)0x200003fe = 8);
  NONFAILING(*(uint16_t*)0x20000400 = 7);
  NONFAILING(*(uint32_t*)0x20000402 = 0x3ff);
  NONFAILING(*(uint16_t*)0x20000406 = 8);
  NONFAILING(*(uint16_t*)0x20000408 = 3);
  NONFAILING(*(uint8_t*)0x2000040a = 0xac);
  NONFAILING(*(uint8_t*)0x2000040b = 0x14);
  NONFAILING(*(uint8_t*)0x2000040c = 0x14);
  NONFAILING(*(uint8_t*)0x2000040d = 0xbb);
  NONFAILING(*(uint16_t*)0x2000040e = 8);
  NONFAILING(*(uint16_t*)0x20000410 = 0xa);
  NONFAILING(*(uint8_t*)0x20000412 = 0);
  NONFAILING(*(uint16_t*)0x20000416 = 0x1c);
  NONFAILING(*(uint16_t*)0x20000418 = 2);
  NONFAILING(*(uint32_t*)0x2000041a = 0xe1);
  NONFAILING(*(uint32_t*)0x2000041e = 0);
  NONFAILING(*(uint32_t*)0x20000422 = 2);
  NONFAILING(*(uint32_t*)0x20000426 = 0x10000);
  NONFAILING(*(uint32_t*)0x2000042a = 0x40);
  NONFAILING(*(uint32_t*)0x2000042e = 1);
  NONFAILING(*(uint16_t*)0x20000432 = 0x14);
  NONFAILING(*(uint16_t*)0x20000434 = 6);
  NONFAILING(*(uint8_t*)0x20000436 = 0);
  NONFAILING(*(uint8_t*)0x20000437 = 0);
  NONFAILING(*(uint8_t*)0x20000438 = 0);
  NONFAILING(*(uint8_t*)0x20000439 = 0);
  NONFAILING(*(uint8_t*)0x2000043a = 0);
  NONFAILING(*(uint8_t*)0x2000043b = 0);
  NONFAILING(*(uint8_t*)0x2000043c = 0);
  NONFAILING(*(uint8_t*)0x2000043d = 0);
  NONFAILING(*(uint8_t*)0x2000043e = 0);
  NONFAILING(*(uint8_t*)0x2000043f = 0);
  NONFAILING(*(uint8_t*)0x20000440 = 0);
  NONFAILING(*(uint8_t*)0x20000441 = 0);
  NONFAILING(*(uint8_t*)0x20000442 = 0);
  NONFAILING(*(uint8_t*)0x20000443 = 0);
  NONFAILING(*(uint8_t*)0x20000444 = 0);
  NONFAILING(*(uint8_t*)0x20000445 = 0);
  NONFAILING(*(uint16_t*)0x20000446 = 8);
  NONFAILING(*(uint16_t*)0x20000448 = 3);
  NONFAILING(*(uint32_t*)0x2000044a = htobe32(0xe0000001));
  NONFAILING(*(uint16_t*)0x2000044e = 8);
  NONFAILING(*(uint16_t*)0x20000450 = 9);
  NONFAILING(*(uint16_t*)0x20000452 = htobe16(0x4e23));
  NONFAILING(*(uint16_t*)0x20000456 = 4);
  NONFAILING(*(uint16_t*)0x20000458 = 6);
  NONFAILING(*(uint16_t*)0x2000045c = 0x10b8);
  NONFAILING(*(uint16_t*)0x2000045e = 1);
  NONFAILING(*(uint16_t*)0x20000460 = 0x10b4);
  NONFAILING(*(uint32_t*)0x20000462 = 0x1d);
  NONFAILING(*(uint16_t*)0x20000466 = 0xc);
  NONFAILING(*(uint16_t*)0x20000468 = 1);
  NONFAILING(memcpy((void*)0x2000046a, "pedit\000", 6));
  NONFAILING(*(uint16_t*)0x20000472 = 0x109c);
  NONFAILING(*(uint16_t*)0x20000474 = 2);
  NONFAILING(*(uint16_t*)0x20000476 = 0xe80);
  NONFAILING(*(uint16_t*)0x20000478 = 4);
  NONFAILING(*(uint32_t*)0x2000047a = 5);
  NONFAILING(*(uint32_t*)0x2000047e = 9);
  NONFAILING(*(uint32_t*)0x20000482 = -1);
  NONFAILING(*(uint32_t*)0x20000486 = 4);
  NONFAILING(*(uint32_t*)0x2000048a = 4);
  NONFAILING(*(uint8_t*)0x2000048e = -1);
  NONFAILING(*(uint8_t*)0x2000048f = 1);
  NONFAILING(*(uint32_t*)0x20000492 = 8);
  NONFAILING(*(uint32_t*)0x20000496 = 0x800);
  NONFAILING(*(uint32_t*)0x2000049a = 8);
  NONFAILING(*(uint32_t*)0x2000049e = 0x7fffffff);
  NONFAILING(*(uint32_t*)0x200004a2 = 3);
  NONFAILING(*(uint32_t*)0x200004a6 = 3);
  NONFAILING(*(uint32_t*)0x200004aa = 0x40);
  NONFAILING(*(uint32_t*)0x200004ae = 0x40);
  NONFAILING(*(uint32_t*)0x200004b2 = 8);
  NONFAILING(*(uint32_t*)0x200004b6 = 4);
  NONFAILING(*(uint32_t*)0x200004ba = 5);
  NONFAILING(*(uint32_t*)0x200004be = 0x100);
  NONFAILING(*(uint32_t*)0x200004c2 = 4);
  NONFAILING(*(uint32_t*)0x200004c6 = 0xfffffff8);
  NONFAILING(*(uint32_t*)0x200004ca = 6);
  NONFAILING(*(uint32_t*)0x200004ce = 6);
  NONFAILING(*(uint32_t*)0x200004d2 = 7);
  NONFAILING(*(uint32_t*)0x200004d6 = 2);
  NONFAILING(*(uint32_t*)0x200004da = 0xfffffffe);
  NONFAILING(*(uint32_t*)0x200004de = 2);
  NONFAILING(*(uint32_t*)0x200004e2 = 6);
  NONFAILING(*(uint32_t*)0x200004e6 = 0);
  NONFAILING(*(uint32_t*)0x200004ea = 8);
  NONFAILING(*(uint32_t*)0x200004ee = 0x8000);
  NONFAILING(*(uint32_t*)0x200004f2 = 0x5d4);
  NONFAILING(*(uint32_t*)0x200004f6 = 0x15e);
  NONFAILING(*(uint32_t*)0x200004fa = 2);
  NONFAILING(*(uint32_t*)0x200004fe = 8);
  NONFAILING(*(uint32_t*)0x20000502 = 0x59);
  NONFAILING(*(uint32_t*)0x20000506 = 1);
  NONFAILING(*(uint32_t*)0x2000050a = 0xff63);
  NONFAILING(*(uint32_t*)0x2000050e = 0x100);
  NONFAILING(*(uint32_t*)0x20000512 = 1);
  NONFAILING(*(uint32_t*)0x20000516 = 0x57);
  NONFAILING(*(uint32_t*)0x2000051a = 0x7fffffff);
  NONFAILING(*(uint32_t*)0x2000051e = 3);
  NONFAILING(*(uint32_t*)0x20000522 = 0xfffffff8);
  NONFAILING(*(uint32_t*)0x20000526 = 7);
  NONFAILING(*(uint32_t*)0x2000052a = 2);
  NONFAILING(*(uint32_t*)0x2000052e = 7);
  NONFAILING(*(uint32_t*)0x20000532 = 0x480000);
  NONFAILING(*(uint32_t*)0x20000536 = 2);
  NONFAILING(*(uint32_t*)0x2000053a = 7);
  NONFAILING(*(uint32_t*)0x2000053e = 0x9bb1);
  NONFAILING(*(uint32_t*)0x20000542 = 0);
  NONFAILING(*(uint32_t*)0x20000546 = 9);
  NONFAILING(*(uint32_t*)0x2000054a = 7);
  NONFAILING(*(uint32_t*)0x2000054e = 2);
  NONFAILING(*(uint32_t*)0x20000552 = 4);
  NONFAILING(*(uint32_t*)0x20000556 = -1);
  NONFAILING(*(uint32_t*)0x2000055a = 1);
  NONFAILING(*(uint32_t*)0x2000055e = 0x38a);
  NONFAILING(*(uint32_t*)0x20000562 = 0x10001);
  NONFAILING(*(uint32_t*)0x20000566 = 3);
  NONFAILING(*(uint32_t*)0x2000056a = 6);
  NONFAILING(*(uint32_t*)0x2000056e = 0x3d);
  NONFAILING(*(uint32_t*)0x20000572 = 2);
  NONFAILING(*(uint32_t*)0x20000576 = 1);
  NONFAILING(*(uint32_t*)0x2000057a = 0x1000);
  NONFAILING(*(uint32_t*)0x2000057e = 0);
  NONFAILING(*(uint32_t*)0x20000582 = 0x400);
  NONFAILING(*(uint32_t*)0x20000586 = 7);
  NONFAILING(*(uint32_t*)0x2000058a = 0x43b);
  NONFAILING(*(uint32_t*)0x2000058e = 0x1000);
  NONFAILING(*(uint32_t*)0x20000592 = 0x7fff);
  NONFAILING(*(uint32_t*)0x20000596 = 0x8001);
  NONFAILING(*(uint32_t*)0x2000059a = 0xc378);
  NONFAILING(*(uint32_t*)0x2000059e = -1);
  NONFAILING(*(uint32_t*)0x200005a2 = 0xfff);
  NONFAILING(*(uint32_t*)0x200005a6 = 7);
  NONFAILING(*(uint32_t*)0x200005aa = 0xfffffffc);
  NONFAILING(*(uint32_t*)0x200005ae = 7);
  NONFAILING(*(uint32_t*)0x200005b2 = 1);
  NONFAILING(*(uint32_t*)0x200005b6 = 0x8000);
  NONFAILING(*(uint32_t*)0x200005ba = 4);
  NONFAILING(*(uint32_t*)0x200005be = 0x1000);
  NONFAILING(*(uint32_t*)0x200005c2 = 7);
  NONFAILING(*(uint32_t*)0x200005c6 = 3);
  NONFAILING(*(uint32_t*)0x200005ca = 0xfffffffc);
  NONFAILING(*(uint32_t*)0x200005ce = 7);
  NONFAILING(*(uint32_t*)0x200005d2 = 9);
  NONFAILING(*(uint32_t*)0x200005d6 = 9);
  NONFAILING(*(uint32_t*)0x200005da = 0xf46);
  NONFAILING(*(uint32_t*)0x200005de = 1);
  NONFAILING(*(uint32_t*)0x200005e2 = 9);
  NONFAILING(*(uint32_t*)0x200005e6 = 5);
  NONFAILING(*(uint32_t*)0x200005ea = 7);
  NONFAILING(*(uint32_t*)0x200005ee = 7);
  NONFAILING(*(uint32_t*)0x200005f2 = 8);
  NONFAILING(*(uint32_t*)0x200005f6 = 0x100);
  NONFAILING(*(uint32_t*)0x200005fa = 0xa8f9);
  NONFAILING(*(uint32_t*)0x200005fe = 0xffff5678);
  NONFAILING(*(uint32_t*)0x20000602 = 0xffff0001);
  NONFAILING(*(uint32_t*)0x20000606 = 6);
  NONFAILING(*(uint32_t*)0x2000060a = 0);
  NONFAILING(*(uint32_t*)0x2000060e = 1);
  NONFAILING(*(uint32_t*)0x20000612 = -1);
  NONFAILING(*(uint32_t*)0x20000616 = 1);
  NONFAILING(*(uint32_t*)0x2000061a = 0x200);
  NONFAILING(*(uint32_t*)0x2000061e = 1);
  NONFAILING(*(uint32_t*)0x20000622 = 6);
  NONFAILING(*(uint32_t*)0x20000626 = -1);
  NONFAILING(*(uint32_t*)0x2000062a = 0x7ff);
  NONFAILING(*(uint32_t*)0x2000062e = 8);
  NONFAILING(*(uint32_t*)0x20000632 = 1);
  NONFAILING(*(uint32_t*)0x20000636 = 0x7ff);
  NONFAILING(*(uint32_t*)0x2000063a = 0xee1);
  NONFAILING(*(uint32_t*)0x2000063e = 8);
  NONFAILING(*(uint32_t*)0x20000642 = 0xffff);
  NONFAILING(*(uint32_t*)0x20000646 = 0x1f);
  NONFAILING(*(uint32_t*)0x2000064a = 0x813c);
  NONFAILING(*(uint32_t*)0x2000064e = 3);
  NONFAILING(*(uint32_t*)0x20000652 = 0x40);
  NONFAILING(*(uint32_t*)0x20000656 = 3);
  NONFAILING(*(uint32_t*)0x2000065a = 0x40);
  NONFAILING(*(uint32_t*)0x2000065e = 0xffff);
  NONFAILING(*(uint32_t*)0x20000662 = 2);
  NONFAILING(*(uint32_t*)0x20000666 = 4);
  NONFAILING(*(uint32_t*)0x2000066a = 4);
  NONFAILING(*(uint32_t*)0x2000066e = 0x80000000);
  NONFAILING(*(uint32_t*)0x20000672 = 0xd6d);
  NONFAILING(*(uint32_t*)0x20000676 = 0);
  NONFAILING(*(uint32_t*)0x2000067a = 0x200);
  NONFAILING(*(uint32_t*)0x2000067e = 0x8000);
  NONFAILING(*(uint32_t*)0x20000682 = 7);
  NONFAILING(*(uint32_t*)0x20000686 = 2);
  NONFAILING(*(uint32_t*)0x2000068a = 2);
  NONFAILING(*(uint32_t*)0x2000068e = 0x200);
  NONFAILING(*(uint32_t*)0x20000692 = 2);
  NONFAILING(*(uint32_t*)0x20000696 = 9);
  NONFAILING(*(uint32_t*)0x2000069a = 0x1000);
  NONFAILING(*(uint32_t*)0x2000069e = 0xff);
  NONFAILING(*(uint32_t*)0x200006a2 = 0);
  NONFAILING(*(uint32_t*)0x200006a6 = 6);
  NONFAILING(*(uint32_t*)0x200006aa = 0x40);
  NONFAILING(*(uint32_t*)0x200006ae = 5);
  NONFAILING(*(uint32_t*)0x200006b2 = 0);
  NONFAILING(*(uint32_t*)0x200006b6 = 0xfffffff7);
  NONFAILING(*(uint32_t*)0x200006ba = 2);
  NONFAILING(*(uint32_t*)0x200006be = 0x3c);
  NONFAILING(*(uint32_t*)0x200006c2 = 3);
  NONFAILING(*(uint32_t*)0x200006c6 = 0x1f);
  NONFAILING(*(uint32_t*)0x200006ca = 6);
  NONFAILING(*(uint32_t*)0x200006ce = 2);
  NONFAILING(*(uint32_t*)0x200006d2 = 6);
  NONFAILING(*(uint32_t*)0x200006d6 = 2);
  NONFAILING(*(uint32_t*)0x200006da = 9);
  NONFAILING(*(uint32_t*)0x200006de = 0);
  NONFAILING(*(uint32_t*)0x200006e2 = 4);
  NONFAILING(*(uint32_t*)0x200006e6 = 8);
  NONFAILING(*(uint32_t*)0x200006ea = 0x97);
  NONFAILING(*(uint32_t*)0x200006ee = 9);
  NONFAILING(*(uint32_t*)0x200006f2 = 0);
  NONFAILING(*(uint32_t*)0x200006f6 = 0x580);
  NONFAILING(*(uint32_t*)0x200006fa = 0x80000001);
  NONFAILING(*(uint32_t*)0x200006fe = 0x646);
  NONFAILING(*(uint32_t*)0x20000702 = 0xffffffd5);
  NONFAILING(*(uint32_t*)0x20000706 = 1);
  NONFAILING(*(uint32_t*)0x2000070a = 3);
  NONFAILING(*(uint32_t*)0x2000070e = 0x3ff);
  NONFAILING(*(uint32_t*)0x20000712 = 2);
  NONFAILING(*(uint32_t*)0x20000716 = 0x401);
  NONFAILING(*(uint32_t*)0x2000071a = 0xe343);
  NONFAILING(*(uint32_t*)0x2000071e = 7);
  NONFAILING(*(uint32_t*)0x20000722 = 5);
  NONFAILING(*(uint32_t*)0x20000726 = 5);
  NONFAILING(*(uint32_t*)0x2000072a = 1);
  NONFAILING(*(uint32_t*)0x2000072e = 2);
  NONFAILING(*(uint32_t*)0x20000732 = 0xffff);
  NONFAILING(*(uint32_t*)0x20000736 = 0xe9);
  NONFAILING(*(uint32_t*)0x2000073a = 0x1f);
  NONFAILING(*(uint32_t*)0x2000073e = 0x98);
  NONFAILING(*(uint32_t*)0x20000742 = 0x200000);
  NONFAILING(*(uint32_t*)0x20000746 = 4);
  NONFAILING(*(uint32_t*)0x2000074a = 2);
  NONFAILING(*(uint32_t*)0x2000074e = 0x17e);
  NONFAILING(*(uint32_t*)0x20000752 = 5);
  NONFAILING(*(uint32_t*)0x20000756 = 8);
  NONFAILING(*(uint32_t*)0x2000075a = 5);
  NONFAILING(*(uint32_t*)0x2000075e = 9);
  NONFAILING(*(uint32_t*)0x20000762 = 0x100);
  NONFAILING(*(uint32_t*)0x20000766 = 0);
  NONFAILING(*(uint32_t*)0x2000076a = 1);
  NONFAILING(*(uint32_t*)0x2000076e = 0x555);
  NONFAILING(*(uint32_t*)0x20000772 = 0xff);
  NONFAILING(*(uint32_t*)0x20000776 = 0x749a2a2c);
  NONFAILING(*(uint32_t*)0x2000077a = 2);
  NONFAILING(*(uint32_t*)0x2000077e = 3);
  NONFAILING(*(uint32_t*)0x20000782 = 4);
  NONFAILING(*(uint32_t*)0x20000786 = 2);
  NONFAILING(*(uint32_t*)0x2000078a = 0x81);
  NONFAILING(*(uint32_t*)0x2000078e = 1);
  NONFAILING(*(uint32_t*)0x20000792 = 0xffff2925);
  NONFAILING(*(uint32_t*)0x20000796 = 0);
  NONFAILING(*(uint32_t*)0x2000079a = 0);
  NONFAILING(*(uint32_t*)0x2000079e = 2);
  NONFAILING(*(uint32_t*)0x200007a2 = 0xae3);
  NONFAILING(*(uint32_t*)0x200007a6 = 0xd0);
  NONFAILING(*(uint32_t*)0x200007aa = 0);
  NONFAILING(*(uint32_t*)0x200007ae = 9);
  NONFAILING(*(uint32_t*)0x200007b2 = 0xffff523a);
  NONFAILING(*(uint32_t*)0x200007b6 = 2);
  NONFAILING(*(uint32_t*)0x200007ba = 0x1ff);
  NONFAILING(*(uint32_t*)0x200007be = 0);
  NONFAILING(*(uint32_t*)0x200007c2 = 6);
  NONFAILING(*(uint32_t*)0x200007c6 = 0x3a);
  NONFAILING(*(uint32_t*)0x200007ca = 3);
  NONFAILING(*(uint32_t*)0x200007ce = 0x40);
  NONFAILING(*(uint32_t*)0x200007d2 = 5);
  NONFAILING(*(uint32_t*)0x200007d6 = 6);
  NONFAILING(*(uint32_t*)0x200007da = 0);
  NONFAILING(*(uint32_t*)0x200007de = 0xfffffff8);
  NONFAILING(*(uint32_t*)0x200007e2 = 0x100);
  NONFAILING(*(uint32_t*)0x200007e6 = 7);
  NONFAILING(*(uint32_t*)0x200007ea = 3);
  NONFAILING(*(uint32_t*)0x200007ee = 0x81);
  NONFAILING(*(uint32_t*)0x200007f2 = 1);
  NONFAILING(*(uint32_t*)0x200007f6 = 5);
  NONFAILING(*(uint32_t*)0x200007fa = 3);
  NONFAILING(*(uint32_t*)0x200007fe = 6);
  NONFAILING(*(uint32_t*)0x20000802 = 2);
  NONFAILING(*(uint32_t*)0x20000806 = 0x80);
  NONFAILING(*(uint32_t*)0x2000080a = 0x7fffffff);
  NONFAILING(*(uint32_t*)0x2000080e = 0x8001);
  NONFAILING(*(uint32_t*)0x20000812 = 0x75);
  NONFAILING(*(uint32_t*)0x20000816 = 0x10001);
  NONFAILING(*(uint32_t*)0x2000081a = 9);
  NONFAILING(*(uint32_t*)0x2000081e = 0x1ff);
  NONFAILING(*(uint32_t*)0x20000822 = 9);
  NONFAILING(*(uint32_t*)0x20000826 = 0x770);
  NONFAILING(*(uint32_t*)0x2000082a = 0xba);
  NONFAILING(*(uint32_t*)0x2000082e = 0x5f6);
  NONFAILING(*(uint32_t*)0x20000832 = 0x8536);
  NONFAILING(*(uint32_t*)0x20000836 = 0x81);
  NONFAILING(*(uint32_t*)0x2000083a = 0xfffffff9);
  NONFAILING(*(uint32_t*)0x2000083e = 9);
  NONFAILING(*(uint32_t*)0x20000842 = 1);
  NONFAILING(*(uint32_t*)0x20000846 = 8);
  NONFAILING(*(uint32_t*)0x2000084a = 0x1f);
  NONFAILING(*(uint32_t*)0x2000084e = 5);
  NONFAILING(*(uint32_t*)0x20000852 = 2);
  NONFAILING(*(uint32_t*)0x20000856 = 6);
  NONFAILING(*(uint32_t*)0x2000085a = 7);
  NONFAILING(*(uint32_t*)0x2000085e = 2);
  NONFAILING(*(uint32_t*)0x20000862 = 8);
  NONFAILING(*(uint32_t*)0x20000866 = 4);
  NONFAILING(*(uint32_t*)0x2000086a = 8);
  NONFAILING(*(uint32_t*)0x2000086e = 0x80);
  NONFAILING(*(uint32_t*)0x20000872 = 0x200);
  NONFAILING(*(uint32_t*)0x20000876 = 0xff);
  NONFAILING(*(uint32_t*)0x2000087a = 8);
  NONFAILING(*(uint32_t*)0x2000087e = 0xa330);
  NONFAILING(*(uint32_t*)0x20000882 = 0xfffffff9);
  NONFAILING(*(uint32_t*)0x20000886 = 5);
  NONFAILING(*(uint32_t*)0x2000088a = 0x70);
  NONFAILING(*(uint32_t*)0x2000088e = 0x400);
  NONFAILING(*(uint32_t*)0x20000892 = 0xa2a2560);
  NONFAILING(*(uint32_t*)0x20000896 = 9);
  NONFAILING(*(uint32_t*)0x2000089a = 0xd0);
  NONFAILING(*(uint32_t*)0x2000089e = 0x1ff);
  NONFAILING(*(uint32_t*)0x200008a2 = 7);
  NONFAILING(*(uint32_t*)0x200008a6 = 1);
  NONFAILING(*(uint32_t*)0x200008aa = 0x10000);
  NONFAILING(*(uint32_t*)0x200008ae = 0);
  NONFAILING(*(uint32_t*)0x200008b2 = 9);
  NONFAILING(*(uint32_t*)0x200008b6 = 0x1f);
  NONFAILING(*(uint32_t*)0x200008ba = 0x7fffffff);
  NONFAILING(*(uint32_t*)0x200008be = 6);
  NONFAILING(*(uint32_t*)0x200008c2 = 5);
  NONFAILING(*(uint32_t*)0x200008c6 = 0xa1);
  NONFAILING(*(uint32_t*)0x200008ca = 8);
  NONFAILING(*(uint32_t*)0x200008ce = 3);
  NONFAILING(*(uint32_t*)0x200008d2 = 6);
  NONFAILING(*(uint32_t*)0x200008d6 = 5);
  NONFAILING(*(uint32_t*)0x200008da = 0x132a);
  NONFAILING(*(uint32_t*)0x200008de = 0);
  NONFAILING(*(uint32_t*)0x200008e2 = 0x66e);
  NONFAILING(*(uint32_t*)0x200008e6 = 3);
  NONFAILING(*(uint32_t*)0x200008ea = 0x10001);
  NONFAILING(*(uint32_t*)0x200008ee = 7);
  NONFAILING(*(uint32_t*)0x200008f2 = 3);
  NONFAILING(*(uint32_t*)0x200008f6 = 2);
  NONFAILING(*(uint32_t*)0x200008fa = 8);
  NONFAILING(*(uint32_t*)0x200008fe = 0x800);
  NONFAILING(*(uint32_t*)0x20000902 = 6);
  NONFAILING(*(uint32_t*)0x20000906 = 9);
  NONFAILING(*(uint32_t*)0x2000090a = 6);
  NONFAILING(*(uint32_t*)0x2000090e = 8);
  NONFAILING(*(uint32_t*)0x20000912 = 4);
  NONFAILING(*(uint32_t*)0x20000916 = 0xff);
  NONFAILING(*(uint32_t*)0x2000091a = 1);
  NONFAILING(*(uint32_t*)0x2000091e = 3);
  NONFAILING(*(uint32_t*)0x20000922 = 0x81);
  NONFAILING(*(uint32_t*)0x20000926 = 1);
  NONFAILING(*(uint32_t*)0x2000092a = 8);
  NONFAILING(*(uint32_t*)0x2000092e = 0x783);
  NONFAILING(*(uint32_t*)0x20000932 = 0x3f);
  NONFAILING(*(uint32_t*)0x20000936 = 0x401);
  NONFAILING(*(uint32_t*)0x2000093a = 4);
  NONFAILING(*(uint32_t*)0x2000093e = 0x7fffffff);
  NONFAILING(*(uint32_t*)0x20000942 = 0xffff7df1);
  NONFAILING(*(uint32_t*)0x20000946 = 1);
  NONFAILING(*(uint32_t*)0x2000094a = 0);
  NONFAILING(*(uint32_t*)0x2000094e = 9);
  NONFAILING(*(uint32_t*)0x20000952 = 0x310);
  NONFAILING(*(uint32_t*)0x20000956 = 6);
  NONFAILING(*(uint32_t*)0x2000095a = 7);
  NONFAILING(*(uint32_t*)0x2000095e = 0x20);
  NONFAILING(*(uint32_t*)0x20000962 = 0x1f);
  NONFAILING(*(uint32_t*)0x20000966 = 4);
  NONFAILING(*(uint32_t*)0x2000096a = 0x2d10);
  NONFAILING(*(uint32_t*)0x2000096e = 8);
  NONFAILING(*(uint32_t*)0x20000972 = 0x47d);
  NONFAILING(*(uint32_t*)0x20000976 = 0);
  NONFAILING(*(uint32_t*)0x2000097a = 1);
  NONFAILING(*(uint32_t*)0x2000097e = 2);
  NONFAILING(*(uint32_t*)0x20000982 = 1);
  NONFAILING(*(uint32_t*)0x20000986 = 0x80000001);
  NONFAILING(*(uint32_t*)0x2000098a = 0xfffffff9);
  NONFAILING(*(uint32_t*)0x2000098e = 0x400);
  NONFAILING(*(uint32_t*)0x20000992 = 0x58c);
  NONFAILING(*(uint32_t*)0x20000996 = 6);
  NONFAILING(*(uint32_t*)0x2000099a = 0);
  NONFAILING(*(uint32_t*)0x2000099e = 8);
  NONFAILING(*(uint32_t*)0x200009a2 = 1);
  NONFAILING(*(uint32_t*)0x200009a6 = 4);
  NONFAILING(*(uint32_t*)0x200009aa = 0x100);
  NONFAILING(*(uint32_t*)0x200009ae = 0x7d);
  NONFAILING(*(uint32_t*)0x200009b2 = 0x80);
  NONFAILING(*(uint32_t*)0x200009b6 = 0xf3b9);
  NONFAILING(*(uint32_t*)0x200009ba = 2);
  NONFAILING(*(uint32_t*)0x200009be = 1);
  NONFAILING(*(uint32_t*)0x200009c2 = 0x56);
  NONFAILING(*(uint32_t*)0x200009c6 = 0xff);
  NONFAILING(*(uint32_t*)0x200009ca = 0x4e);
  NONFAILING(*(uint32_t*)0x200009ce = 2);
  NONFAILING(*(uint32_t*)0x200009d2 = 4);
  NONFAILING(*(uint32_t*)0x200009d6 = 7);
  NONFAILING(*(uint32_t*)0x200009da = 3);
  NONFAILING(*(uint32_t*)0x200009de = 2);
  NONFAILING(*(uint32_t*)0x200009e2 = 5);
  NONFAILING(*(uint32_t*)0x200009e6 = 0);
  NONFAILING(*(uint32_t*)0x200009ea = 8);
  NONFAILING(*(uint32_t*)0x200009ee = 0);
  NONFAILING(*(uint32_t*)0x200009f2 = 4);
  NONFAILING(*(uint32_t*)0x200009f6 = 0xeb);
  NONFAILING(*(uint32_t*)0x200009fa = 1);
  NONFAILING(*(uint32_t*)0x200009fe = 0x10000);
  NONFAILING(*(uint32_t*)0x20000a02 = 6);
  NONFAILING(*(uint32_t*)0x20000a06 = 8);
  NONFAILING(*(uint32_t*)0x20000a0a = 7);
  NONFAILING(*(uint32_t*)0x20000a0e = 0x1d);
  NONFAILING(*(uint32_t*)0x20000a12 = 0xc2e);
  NONFAILING(*(uint32_t*)0x20000a16 = 6);
  NONFAILING(*(uint32_t*)0x20000a1a = 0x8001);
  NONFAILING(*(uint32_t*)0x20000a1e = 0x80);
  NONFAILING(*(uint32_t*)0x20000a22 = 0);
  NONFAILING(*(uint32_t*)0x20000a26 = 0);
  NONFAILING(*(uint32_t*)0x20000a2a = 0x200);
  NONFAILING(*(uint32_t*)0x20000a2e = 8);
  NONFAILING(*(uint32_t*)0x20000a32 = 4);
  NONFAILING(*(uint32_t*)0x20000a36 = 4);
  NONFAILING(*(uint32_t*)0x20000a3a = 0x8c7);
  NONFAILING(*(uint32_t*)0x20000a3e = 1);
  NONFAILING(*(uint32_t*)0x20000a42 = 0xa4);
  NONFAILING(*(uint32_t*)0x20000a46 = 8);
  NONFAILING(*(uint32_t*)0x20000a4a = 0xb);
  NONFAILING(*(uint32_t*)0x20000a4e = 1);
  NONFAILING(*(uint32_t*)0x20000a52 = 0);
  NONFAILING(*(uint32_t*)0x20000a56 = 1);
  NONFAILING(*(uint32_t*)0x20000a5a = 0x65da);
  NONFAILING(*(uint32_t*)0x20000a5e = 0xb63);
  NONFAILING(*(uint32_t*)0x20000a62 = 0x200);
  NONFAILING(*(uint32_t*)0x20000a66 = 0x3ff);
  NONFAILING(*(uint32_t*)0x20000a6a = 2);
  NONFAILING(*(uint32_t*)0x20000a6e = 0xdb1);
  NONFAILING(*(uint32_t*)0x20000a72 = 0x400);
  NONFAILING(*(uint32_t*)0x20000a76 = 8);
  NONFAILING(*(uint32_t*)0x20000a7a = 3);
  NONFAILING(*(uint32_t*)0x20000a7e = 0xffffffe1);
  NONFAILING(*(uint32_t*)0x20000a82 = 0x400);
  NONFAILING(*(uint32_t*)0x20000a86 = 3);
  NONFAILING(*(uint32_t*)0x20000a8a = 2);
  NONFAILING(*(uint32_t*)0x20000a8e = 0x3f);
  NONFAILING(*(uint32_t*)0x20000a92 = 0);
  NONFAILING(*(uint32_t*)0x20000a96 = 0x1e);
  NONFAILING(*(uint32_t*)0x20000a9a = 9);
  NONFAILING(*(uint32_t*)0x20000a9e = 1);
  NONFAILING(*(uint32_t*)0x20000aa2 = 0);
  NONFAILING(*(uint32_t*)0x20000aa6 = 0x8001);
  NONFAILING(*(uint32_t*)0x20000aaa = 1);
  NONFAILING(*(uint32_t*)0x20000aae = 9);
  NONFAILING(*(uint32_t*)0x20000ab2 = 0xffff);
  NONFAILING(*(uint32_t*)0x20000ab6 = 0x35);
  NONFAILING(*(uint32_t*)0x20000aba = 6);
  NONFAILING(*(uint32_t*)0x20000abe = -1);
  NONFAILING(*(uint32_t*)0x20000ac2 = 0xfffffffc);
  NONFAILING(*(uint32_t*)0x20000ac6 = 8);
  NONFAILING(*(uint32_t*)0x20000aca = 0x200);
  NONFAILING(*(uint32_t*)0x20000ace = 4);
  NONFAILING(*(uint32_t*)0x20000ad2 = 4);
  NONFAILING(*(uint32_t*)0x20000ad6 = 9);
  NONFAILING(*(uint32_t*)0x20000ada = 3);
  NONFAILING(*(uint32_t*)0x20000ade = 3);
  NONFAILING(*(uint32_t*)0x20000ae2 = 8);
  NONFAILING(*(uint32_t*)0x20000ae6 = 0);
  NONFAILING(*(uint32_t*)0x20000aea = 5);
  NONFAILING(*(uint32_t*)0x20000aee = 5);
  NONFAILING(*(uint32_t*)0x20000af2 = 6);
  NONFAILING(*(uint32_t*)0x20000af6 = 5);
  NONFAILING(*(uint32_t*)0x20000afa = 4);
  NONFAILING(*(uint32_t*)0x20000afe = 5);
  NONFAILING(*(uint32_t*)0x20000b02 = 0xffff);
  NONFAILING(*(uint32_t*)0x20000b06 = 9);
  NONFAILING(*(uint32_t*)0x20000b0a = 0);
  NONFAILING(*(uint32_t*)0x20000b0e = 3);
  NONFAILING(*(uint32_t*)0x20000b12 = 7);
  NONFAILING(*(uint32_t*)0x20000b16 = 5);
  NONFAILING(*(uint32_t*)0x20000b1a = 2);
  NONFAILING(*(uint32_t*)0x20000b1e = 0x81);
  NONFAILING(*(uint32_t*)0x20000b22 = 6);
  NONFAILING(*(uint32_t*)0x20000b26 = 8);
  NONFAILING(*(uint32_t*)0x20000b2a = 8);
  NONFAILING(*(uint32_t*)0x20000b2e = 1);
  NONFAILING(*(uint32_t*)0x20000b32 = 3);
  NONFAILING(*(uint32_t*)0x20000b36 = 3);
  NONFAILING(*(uint32_t*)0x20000b3a = 0x20);
  NONFAILING(*(uint32_t*)0x20000b3e = 0);
  NONFAILING(*(uint32_t*)0x20000b42 = 0x9a);
  NONFAILING(*(uint32_t*)0x20000b46 = 8);
  NONFAILING(*(uint32_t*)0x20000b4a = 0x8001);
  NONFAILING(*(uint32_t*)0x20000b4e = 9);
  NONFAILING(*(uint32_t*)0x20000b52 = 5);
  NONFAILING(*(uint32_t*)0x20000b56 = 0x200);
  NONFAILING(*(uint32_t*)0x20000b5a = 0x9b);
  NONFAILING(*(uint32_t*)0x20000b5e = 1);
  NONFAILING(*(uint32_t*)0x20000b62 = 0x1ff);
  NONFAILING(*(uint32_t*)0x20000b66 = 0x1000);
  NONFAILING(*(uint32_t*)0x20000b6a = 5);
  NONFAILING(*(uint32_t*)0x20000b6e = 6);
  NONFAILING(*(uint32_t*)0x20000b72 = 8);
  NONFAILING(*(uint32_t*)0x20000b76 = 5);
  NONFAILING(*(uint32_t*)0x20000b7a = 0xc7bd);
  NONFAILING(*(uint32_t*)0x20000b7e = 0x6ed);
  NONFAILING(*(uint32_t*)0x20000b82 = 6);
  NONFAILING(*(uint32_t*)0x20000b86 = 0x1ca);
  NONFAILING(*(uint32_t*)0x20000b8a = 0xb341);
  NONFAILING(*(uint32_t*)0x20000b8e = 3);
  NONFAILING(*(uint32_t*)0x20000b92 = 0x80);
  NONFAILING(*(uint32_t*)0x20000b96 = 8);
  NONFAILING(*(uint32_t*)0x20000b9a = 0x400);
  NONFAILING(*(uint32_t*)0x20000b9e = 0x80);
  NONFAILING(*(uint32_t*)0x20000ba2 = 0x247);
  NONFAILING(*(uint32_t*)0x20000ba6 = 0x160);
  NONFAILING(*(uint32_t*)0x20000baa = 6);
  NONFAILING(*(uint32_t*)0x20000bae = 0xfffffffc);
  NONFAILING(*(uint32_t*)0x20000bb2 = 8);
  NONFAILING(*(uint32_t*)0x20000bb6 = 0x100);
  NONFAILING(*(uint32_t*)0x20000bba = 4);
  NONFAILING(*(uint32_t*)0x20000bbe = 1);
  NONFAILING(*(uint32_t*)0x20000bc2 = 6);
  NONFAILING(*(uint32_t*)0x20000bc6 = 2);
  NONFAILING(*(uint32_t*)0x20000bca = 0x7fff);
  NONFAILING(*(uint32_t*)0x20000bce = 0x300000);
  NONFAILING(*(uint32_t*)0x20000bd2 = 5);
  NONFAILING(*(uint32_t*)0x20000bd6 = 3);
  NONFAILING(*(uint32_t*)0x20000bda = 3);
  NONFAILING(*(uint32_t*)0x20000bde = 3);
  NONFAILING(*(uint32_t*)0x20000be2 = 0);
  NONFAILING(*(uint32_t*)0x20000be6 = 0);
  NONFAILING(*(uint32_t*)0x20000bea = 0x67d5);
  NONFAILING(*(uint32_t*)0x20000bee = 1);
  NONFAILING(*(uint32_t*)0x20000bf2 = 0);
  NONFAILING(*(uint32_t*)0x20000bf6 = 0xffff);
  NONFAILING(*(uint32_t*)0x20000bfa = 0xc97b);
  NONFAILING(*(uint32_t*)0x20000bfe = 0x3ff);
  NONFAILING(*(uint32_t*)0x20000c02 = 5);
  NONFAILING(*(uint32_t*)0x20000c06 = 0x513);
  NONFAILING(*(uint32_t*)0x20000c0a = 0);
  NONFAILING(*(uint32_t*)0x20000c0e = 5);
  NONFAILING(*(uint32_t*)0x20000c12 = 8);
  NONFAILING(*(uint32_t*)0x20000c16 = 0x10000);
  NONFAILING(*(uint32_t*)0x20000c1a = -1);
  NONFAILING(*(uint32_t*)0x20000c1e = 0xffff);
  NONFAILING(*(uint32_t*)0x20000c22 = 7);
  NONFAILING(*(uint32_t*)0x20000c26 = 5);
  NONFAILING(*(uint32_t*)0x20000c2a = 0xd3d);
  NONFAILING(*(uint32_t*)0x20000c2e = 2);
  NONFAILING(*(uint32_t*)0x20000c32 = 6);
  NONFAILING(*(uint32_t*)0x20000c36 = 6);
  NONFAILING(*(uint32_t*)0x20000c3a = 0x5cf6);
  NONFAILING(*(uint32_t*)0x20000c3e = 0x40);
  NONFAILING(*(uint32_t*)0x20000c42 = -1);
  NONFAILING(*(uint32_t*)0x20000c46 = 1);
  NONFAILING(*(uint32_t*)0x20000c4a = 2);
  NONFAILING(*(uint32_t*)0x20000c4e = 0);
  NONFAILING(*(uint32_t*)0x20000c52 = 2);
  NONFAILING(*(uint32_t*)0x20000c56 = 6);
  NONFAILING(*(uint32_t*)0x20000c5a = 9);
  NONFAILING(*(uint32_t*)0x20000c5e = 0x10001);
  NONFAILING(*(uint32_t*)0x20000c62 = 2);
  NONFAILING(*(uint32_t*)0x20000c66 = 3);
  NONFAILING(*(uint32_t*)0x20000c6a = 0x8000);
  NONFAILING(*(uint32_t*)0x20000c6e = 0xfffffffb);
  NONFAILING(*(uint32_t*)0x20000c72 = 7);
  NONFAILING(*(uint32_t*)0x20000c76 = 0x401);
  NONFAILING(*(uint32_t*)0x20000c7a = 0x580);
  NONFAILING(*(uint32_t*)0x20000c7e = 2);
  NONFAILING(*(uint32_t*)0x20000c82 = 0xff);
  NONFAILING(*(uint32_t*)0x20000c86 = 8);
  NONFAILING(*(uint32_t*)0x20000c8a = 4);
  NONFAILING(*(uint32_t*)0x20000c8e = 9);
  NONFAILING(*(uint32_t*)0x20000c92 = 4);
  NONFAILING(*(uint32_t*)0x20000c96 = 0xc1);
  NONFAILING(*(uint32_t*)0x20000c9a = 6);
  NONFAILING(*(uint32_t*)0x20000c9e = 4);
  NONFAILING(*(uint32_t*)0x20000ca2 = 0x678f);
  NONFAILING(*(uint32_t*)0x20000ca6 = 4);
  NONFAILING(*(uint32_t*)0x20000caa = 8);
  NONFAILING(*(uint32_t*)0x20000cae = 0x7ff);
  NONFAILING(*(uint32_t*)0x20000cb2 = 2);
  NONFAILING(*(uint32_t*)0x20000cb6 = 0x80);
  NONFAILING(*(uint32_t*)0x20000cba = 0);
  NONFAILING(*(uint32_t*)0x20000cbe = 0xfffffff8);
  NONFAILING(*(uint32_t*)0x20000cc2 = 9);
  NONFAILING(*(uint32_t*)0x20000cc6 = 0);
  NONFAILING(*(uint32_t*)0x20000cca = 0x4540888d);
  NONFAILING(*(uint32_t*)0x20000cce = 0xfbe7);
  NONFAILING(*(uint32_t*)0x20000cd2 = 0);
  NONFAILING(*(uint32_t*)0x20000cd6 = 6);
  NONFAILING(*(uint32_t*)0x20000cda = 0);
  NONFAILING(*(uint32_t*)0x20000cde = 0xac);
  NONFAILING(*(uint32_t*)0x20000ce2 = 4);
  NONFAILING(*(uint32_t*)0x20000ce6 = 0);
  NONFAILING(*(uint32_t*)0x20000cea = 0xf);
  NONFAILING(*(uint32_t*)0x20000cee = 8);
  NONFAILING(*(uint32_t*)0x20000cf2 = 4);
  NONFAILING(*(uint32_t*)0x20000cf6 = 3);
  NONFAILING(*(uint32_t*)0x20000cfa = 1);
  NONFAILING(*(uint32_t*)0x20000cfe = 0x8001);
  NONFAILING(*(uint32_t*)0x20000d02 = 0x81);
  NONFAILING(*(uint32_t*)0x20000d06 = 0x80);
  NONFAILING(*(uint32_t*)0x20000d0a = 4);
  NONFAILING(*(uint32_t*)0x20000d0e = 0x9dc);
  NONFAILING(*(uint32_t*)0x20000d12 = 0xff);
  NONFAILING(*(uint32_t*)0x20000d16 = 8);
  NONFAILING(*(uint32_t*)0x20000d1a = 1);
  NONFAILING(*(uint32_t*)0x20000d1e = 0x7c0);
  NONFAILING(*(uint32_t*)0x20000d22 = 0);
  NONFAILING(*(uint32_t*)0x20000d26 = 0x81);
  NONFAILING(*(uint32_t*)0x20000d2a = 0);
  NONFAILING(*(uint32_t*)0x20000d2e = 0xcf4);
  NONFAILING(*(uint32_t*)0x20000d32 = 6);
  NONFAILING(*(uint32_t*)0x20000d36 = 7);
  NONFAILING(*(uint32_t*)0x20000d3a = 0x401);
  NONFAILING(*(uint32_t*)0x20000d3e = 5);
  NONFAILING(*(uint32_t*)0x20000d42 = 0);
  NONFAILING(*(uint32_t*)0x20000d46 = 7);
  NONFAILING(*(uint32_t*)0x20000d4a = 0xffffffe0);
  NONFAILING(*(uint32_t*)0x20000d4e = 0xfffffffb);
  NONFAILING(*(uint32_t*)0x20000d52 = 0x4dd);
  NONFAILING(*(uint32_t*)0x20000d56 = 0x23fd);
  NONFAILING(*(uint32_t*)0x20000d5a = 9);
  NONFAILING(*(uint32_t*)0x20000d5e = 0x40);
  NONFAILING(*(uint32_t*)0x20000d62 = 8);
  NONFAILING(*(uint32_t*)0x20000d66 = 1);
  NONFAILING(*(uint32_t*)0x20000d6a = 3);
  NONFAILING(*(uint32_t*)0x20000d6e = 8);
  NONFAILING(*(uint32_t*)0x20000d72 = 5);
  NONFAILING(*(uint32_t*)0x20000d76 = 9);
  NONFAILING(*(uint32_t*)0x20000d7a = 0x79);
  NONFAILING(*(uint32_t*)0x20000d7e = 0x80000000);
  NONFAILING(*(uint32_t*)0x20000d82 = 9);
  NONFAILING(*(uint32_t*)0x20000d86 = 0x3f);
  NONFAILING(*(uint32_t*)0x20000d8a = 0x40);
  NONFAILING(*(uint32_t*)0x20000d8e = 8);
  NONFAILING(*(uint32_t*)0x20000d92 = 6);
  NONFAILING(*(uint32_t*)0x20000d96 = 5);
  NONFAILING(*(uint32_t*)0x20000d9a = 0x1000);
  NONFAILING(*(uint32_t*)0x20000d9e = 0x2a2f);
  NONFAILING(*(uint32_t*)0x20000da2 = 7);
  NONFAILING(*(uint32_t*)0x20000da6 = 0x7a8);
  NONFAILING(*(uint32_t*)0x20000daa = 0x81);
  NONFAILING(*(uint32_t*)0x20000dae = 0xa1);
  NONFAILING(*(uint32_t*)0x20000db2 = 0x400);
  NONFAILING(*(uint32_t*)0x20000db6 = 0xc2cf);
  NONFAILING(*(uint32_t*)0x20000dba = 0xa86);
  NONFAILING(*(uint32_t*)0x20000dbe = 8);
  NONFAILING(*(uint32_t*)0x20000dc2 = 2);
  NONFAILING(*(uint32_t*)0x20000dc6 = 7);
  NONFAILING(*(uint32_t*)0x20000dca = 0);
  NONFAILING(*(uint32_t*)0x20000dce = 7);
  NONFAILING(*(uint32_t*)0x20000dd2 = 0x80);
  NONFAILING(*(uint32_t*)0x20000dd6 = 0x3f);
  NONFAILING(*(uint32_t*)0x20000dda = 3);
  NONFAILING(*(uint32_t*)0x20000dde = 0x1000);
  NONFAILING(*(uint32_t*)0x20000de2 = 0xfc9);
  NONFAILING(*(uint32_t*)0x20000de6 = 4);
  NONFAILING(*(uint32_t*)0x20000dea = 0x626f);
  NONFAILING(*(uint32_t*)0x20000dee = 0x778);
  NONFAILING(*(uint32_t*)0x20000df2 = 8);
  NONFAILING(*(uint32_t*)0x20000df6 = 0);
  NONFAILING(*(uint32_t*)0x20000dfa = 3);
  NONFAILING(*(uint32_t*)0x20000dfe = 9);
  NONFAILING(*(uint32_t*)0x20000e02 = 0x8001);
  NONFAILING(*(uint32_t*)0x20000e06 = 0x80000000);
  NONFAILING(*(uint32_t*)0x20000e0a = 0x92);
  NONFAILING(*(uint32_t*)0x20000e0e = -1);
  NONFAILING(*(uint32_t*)0x20000e12 = 8);
  NONFAILING(*(uint32_t*)0x20000e16 = 0x92);
  NONFAILING(*(uint32_t*)0x20000e1a = -1);
  NONFAILING(*(uint32_t*)0x20000e1e = 0x80000001);
  NONFAILING(*(uint32_t*)0x20000e22 = 2);
  NONFAILING(*(uint32_t*)0x20000e26 = 4);
  NONFAILING(*(uint32_t*)0x20000e2a = 1);
  NONFAILING(*(uint32_t*)0x20000e2e = 0x5e31);
  NONFAILING(*(uint32_t*)0x20000e32 = 7);
  NONFAILING(*(uint32_t*)0x20000e36 = 0);
  NONFAILING(*(uint32_t*)0x20000e3a = 1);
  NONFAILING(*(uint32_t*)0x20000e3e = 5);
  NONFAILING(*(uint32_t*)0x20000e42 = 0x80000001);
  NONFAILING(*(uint32_t*)0x20000e46 = 8);
  NONFAILING(*(uint32_t*)0x20000e4a = 8);
  NONFAILING(*(uint32_t*)0x20000e4e = 0x3f);
  NONFAILING(*(uint32_t*)0x20000e52 = -1);
  NONFAILING(*(uint32_t*)0x20000e56 = 2);
  NONFAILING(*(uint32_t*)0x20000e5a = 7);
  NONFAILING(*(uint32_t*)0x20000e5e = 8);
  NONFAILING(*(uint32_t*)0x20000e62 = 6);
  NONFAILING(*(uint32_t*)0x20000e66 = 0);
  NONFAILING(*(uint32_t*)0x20000e6a = 4);
  NONFAILING(*(uint32_t*)0x20000e6e = 9);
  NONFAILING(*(uint32_t*)0x20000e72 = 4);
  NONFAILING(*(uint32_t*)0x20000e76 = 7);
  NONFAILING(*(uint32_t*)0x20000e7a = 0x101);
  NONFAILING(*(uint32_t*)0x20000e7e = 0x7ff);
  NONFAILING(*(uint32_t*)0x20000e82 = 0x5b);
  NONFAILING(*(uint32_t*)0x20000e86 = 1);
  NONFAILING(*(uint32_t*)0x20000e8a = 0x3ff);
  NONFAILING(*(uint32_t*)0x20000e8e = 5);
  NONFAILING(*(uint32_t*)0x20000e92 = 0xe58);
  NONFAILING(*(uint32_t*)0x20000e96 = 0x80);
  NONFAILING(*(uint32_t*)0x20000e9a = 4);
  NONFAILING(*(uint32_t*)0x20000e9e = 6);
  NONFAILING(*(uint32_t*)0x20000ea2 = 0);
  NONFAILING(*(uint32_t*)0x20000ea6 = 0x8000);
  NONFAILING(*(uint32_t*)0x20000eaa = 0);
  NONFAILING(*(uint32_t*)0x20000eae = 0);
  NONFAILING(*(uint32_t*)0x20000eb2 = 0x94a);
  NONFAILING(*(uint32_t*)0x20000eb6 = 0x7fff);
  NONFAILING(*(uint32_t*)0x20000eba = 7);
  NONFAILING(*(uint32_t*)0x20000ebe = 0x6f18);
  NONFAILING(*(uint32_t*)0x20000ec2 = 0x7f);
  NONFAILING(*(uint32_t*)0x20000ec6 = 0x800);
  NONFAILING(*(uint32_t*)0x20000eca = 0x80);
  NONFAILING(*(uint32_t*)0x20000ece = 4);
  NONFAILING(*(uint32_t*)0x20000ed2 = 5);
  NONFAILING(*(uint32_t*)0x20000ed6 = 5);
  NONFAILING(*(uint32_t*)0x20000eda = 5);
  NONFAILING(*(uint32_t*)0x20000ede = 5);
  NONFAILING(*(uint32_t*)0x20000ee2 = 4);
  NONFAILING(*(uint32_t*)0x20000ee6 = 1);
  NONFAILING(*(uint32_t*)0x20000eea = 0);
  NONFAILING(*(uint32_t*)0x20000eee = 0);
  NONFAILING(*(uint32_t*)0x20000ef2 = 0x5ea);
  NONFAILING(*(uint32_t*)0x20000ef6 = 0xfffffff8);
  NONFAILING(*(uint32_t*)0x20000efa = 0x101);
  NONFAILING(*(uint32_t*)0x20000efe = 2);
  NONFAILING(*(uint32_t*)0x20000f02 = 0);
  NONFAILING(*(uint32_t*)0x20000f06 = 0x10000);
  NONFAILING(*(uint32_t*)0x20000f0a = 0x3f);
  NONFAILING(*(uint32_t*)0x20000f0e = 0xdd7);
  NONFAILING(*(uint32_t*)0x20000f12 = 1);
  NONFAILING(*(uint32_t*)0x20000f16 = 0x7fff);
  NONFAILING(*(uint32_t*)0x20000f1a = 0xfabb);
  NONFAILING(*(uint32_t*)0x20000f1e = 0x10000);
  NONFAILING(*(uint32_t*)0x20000f22 = 0);
  NONFAILING(*(uint32_t*)0x20000f26 = 6);
  NONFAILING(*(uint32_t*)0x20000f2a = 0x95d);
  NONFAILING(*(uint32_t*)0x20000f2e = 0);
  NONFAILING(*(uint32_t*)0x20000f32 = 1);
  NONFAILING(*(uint32_t*)0x20000f36 = 1);
  NONFAILING(*(uint32_t*)0x20000f3a = 0);
  NONFAILING(*(uint32_t*)0x20000f3e = 8);
  NONFAILING(*(uint32_t*)0x20000f42 = 0x86d);
  NONFAILING(*(uint32_t*)0x20000f46 = 0xc63f);
  NONFAILING(*(uint32_t*)0x20000f4a = 0x20);
  NONFAILING(*(uint32_t*)0x20000f4e = 4);
  NONFAILING(*(uint32_t*)0x20000f52 = 0x40);
  NONFAILING(*(uint32_t*)0x20000f56 = 8);
  NONFAILING(*(uint32_t*)0x20000f5a = 6);
  NONFAILING(*(uint32_t*)0x20000f5e = 0);
  NONFAILING(*(uint32_t*)0x20000f62 = 7);
  NONFAILING(*(uint32_t*)0x20000f66 = 0xc8);
  NONFAILING(*(uint32_t*)0x20000f6a = 0xbf4);
  NONFAILING(*(uint32_t*)0x20000f6e = 5);
  NONFAILING(*(uint32_t*)0x20000f72 = 0x20);
  NONFAILING(*(uint32_t*)0x20000f76 = 0x7fffffff);
  NONFAILING(*(uint32_t*)0x20000f7a = 0);
  NONFAILING(*(uint32_t*)0x20000f7e = 0x424);
  NONFAILING(*(uint32_t*)0x20000f82 = 0x80000001);
  NONFAILING(*(uint32_t*)0x20000f86 = 0);
  NONFAILING(*(uint32_t*)0x20000f8a = 0x236f);
  NONFAILING(*(uint32_t*)0x20000f8e = 0x7fffffff);
  NONFAILING(*(uint32_t*)0x20000f92 = 0x100);
  NONFAILING(*(uint32_t*)0x20000f96 = 6);
  NONFAILING(*(uint32_t*)0x20000f9a = 3);
  NONFAILING(*(uint32_t*)0x20000f9e = 5);
  NONFAILING(*(uint32_t*)0x20000fa2 = 0x7f22);
  NONFAILING(*(uint32_t*)0x20000fa6 = 0x80000000);
  NONFAILING(*(uint32_t*)0x20000faa = 5);
  NONFAILING(*(uint32_t*)0x20000fae = 0x800);
  NONFAILING(*(uint32_t*)0x20000fb2 = 9);
  NONFAILING(*(uint32_t*)0x20000fb6 = 0xce38000);
  NONFAILING(*(uint32_t*)0x20000fba = 2);
  NONFAILING(*(uint32_t*)0x20000fbe = 4);
  NONFAILING(*(uint32_t*)0x20000fc2 = 0x10000);
  NONFAILING(*(uint32_t*)0x20000fc6 = 8);
  NONFAILING(*(uint32_t*)0x20000fca = 3);
  NONFAILING(*(uint32_t*)0x20000fce = 0x8000);
  NONFAILING(*(uint32_t*)0x20000fd2 = 3);
  NONFAILING(*(uint32_t*)0x20000fd6 = 0x4878);
  NONFAILING(*(uint32_t*)0x20000fda = 0x3f0);
  NONFAILING(*(uint32_t*)0x20000fde = 6);
  NONFAILING(*(uint32_t*)0x20000fe2 = 0xe57);
  NONFAILING(*(uint32_t*)0x20000fe6 = 8);
  NONFAILING(*(uint32_t*)0x20000fea = 6);
  NONFAILING(*(uint32_t*)0x20000fee = 5);
  NONFAILING(*(uint32_t*)0x20000ff2 = 8);
  NONFAILING(*(uint32_t*)0x20000ff6 = 0xe7e2);
  NONFAILING(*(uint32_t*)0x20000ffa = 3);
  NONFAILING(*(uint32_t*)0x20000ffe = 0xb);
  NONFAILING(*(uint32_t*)0x20001002 = 0);
  NONFAILING(*(uint32_t*)0x20001006 = 3);
  NONFAILING(*(uint32_t*)0x2000100a = 0xc);
  NONFAILING(*(uint32_t*)0x2000100e = 0);
  NONFAILING(*(uint32_t*)0x20001012 = 2);
  NONFAILING(*(uint32_t*)0x20001016 = 0x70);
  NONFAILING(*(uint32_t*)0x2000101a = 0);
  NONFAILING(*(uint32_t*)0x2000101e = 4);
  NONFAILING(*(uint32_t*)0x20001022 = 8);
  NONFAILING(*(uint32_t*)0x20001026 = 0);
  NONFAILING(*(uint32_t*)0x2000102a = 0x800);
  NONFAILING(*(uint32_t*)0x2000102e = 0xffff);
  NONFAILING(*(uint32_t*)0x20001032 = 0x69);
  NONFAILING(*(uint32_t*)0x20001036 = 8);
  NONFAILING(*(uint32_t*)0x2000103a = 2);
  NONFAILING(*(uint32_t*)0x2000103e = 5);
  NONFAILING(*(uint32_t*)0x20001042 = 6);
  NONFAILING(*(uint32_t*)0x20001046 = 0x10001);
  NONFAILING(*(uint32_t*)0x2000104a = 0x102e);
  NONFAILING(*(uint32_t*)0x2000104e = 1);
  NONFAILING(*(uint32_t*)0x20001052 = 0xc1);
  NONFAILING(*(uint32_t*)0x20001056 = 9);
  NONFAILING(*(uint32_t*)0x2000105a = 9);
  NONFAILING(*(uint32_t*)0x2000105e = 0);
  NONFAILING(*(uint32_t*)0x20001062 = 1);
  NONFAILING(*(uint32_t*)0x20001066 = 0xffff);
  NONFAILING(*(uint32_t*)0x2000106a = 8);
  NONFAILING(*(uint32_t*)0x2000106e = 4);
  NONFAILING(*(uint32_t*)0x20001072 = 0x200);
  NONFAILING(*(uint32_t*)0x20001076 = 0x1000);
  NONFAILING(*(uint32_t*)0x2000107a = 6);
  NONFAILING(*(uint32_t*)0x2000107e = 3);
  NONFAILING(*(uint32_t*)0x20001082 = 0x80);
  NONFAILING(*(uint32_t*)0x20001086 = 7);
  NONFAILING(*(uint32_t*)0x2000108a = 0x101);
  NONFAILING(*(uint32_t*)0x2000108e = 0xb2);
  NONFAILING(*(uint32_t*)0x20001092 = 0x8000);
  NONFAILING(*(uint32_t*)0x20001096 = 0);
  NONFAILING(*(uint32_t*)0x2000109a = 2);
  NONFAILING(*(uint32_t*)0x2000109e = 0xfffffffe);
  NONFAILING(*(uint32_t*)0x200010a2 = 0x81);
  NONFAILING(*(uint32_t*)0x200010a6 = 0x4b);
  NONFAILING(*(uint32_t*)0x200010aa = 5);
  NONFAILING(*(uint32_t*)0x200010ae = 0x800);
  NONFAILING(*(uint32_t*)0x200010b2 = 8);
  NONFAILING(*(uint32_t*)0x200010b6 = 0xffff91bf);
  NONFAILING(*(uint32_t*)0x200010ba = 3);
  NONFAILING(*(uint32_t*)0x200010be = 0);
  NONFAILING(*(uint32_t*)0x200010c2 = 9);
  NONFAILING(*(uint32_t*)0x200010c6 = 6);
  NONFAILING(*(uint32_t*)0x200010ca = 7);
  NONFAILING(*(uint32_t*)0x200010ce = 1);
  NONFAILING(*(uint32_t*)0x200010d2 = 5);
  NONFAILING(*(uint32_t*)0x200010d6 = 0xfa);
  NONFAILING(*(uint32_t*)0x200010da = 0);
  NONFAILING(*(uint32_t*)0x200010de = 0xff);
  NONFAILING(*(uint32_t*)0x200010e2 = 0x60000000);
  NONFAILING(*(uint32_t*)0x200010e6 = 0xb4654ad);
  NONFAILING(*(uint32_t*)0x200010ea = 0x7fff);
  NONFAILING(*(uint32_t*)0x200010ee = 0x1241);
  NONFAILING(*(uint16_t*)0x200010f2 = 0);
  NONFAILING(*(uint16_t*)0x200010f4 = 1);
  NONFAILING(*(uint16_t*)0x200010f6 = 3);
  NONFAILING(*(uint16_t*)0x200010f8 = 1);
  NONFAILING(*(uint16_t*)0x200010fa = 1);
  NONFAILING(*(uint16_t*)0x200010fc = 1);
  NONFAILING(*(uint16_t*)0x200010fe = 3);
  NONFAILING(*(uint16_t*)0x20001100 = 1);
  NONFAILING(*(uint16_t*)0x20001102 = 7);
  NONFAILING(*(uint16_t*)0x20001104 = 0);
  NONFAILING(*(uint16_t*)0x20001106 = 5);
  NONFAILING(*(uint16_t*)0x20001108 = 1);
  NONFAILING(*(uint16_t*)0x2000110a = 0);
  NONFAILING(*(uint16_t*)0x2000110c = 1);
  NONFAILING(*(uint16_t*)0x2000110e = 2);
  NONFAILING(*(uint16_t*)0x20001110 = 0);
  NONFAILING(*(uint16_t*)0x20001112 = 1);
  NONFAILING(*(uint16_t*)0x20001114 = 0);
  NONFAILING(*(uint16_t*)0x20001116 = 5);
  NONFAILING(*(uint16_t*)0x20001118 = 0);
  NONFAILING(*(uint16_t*)0x2000111a = 0);
  NONFAILING(*(uint16_t*)0x2000111c = 0);
  NONFAILING(*(uint16_t*)0x2000111e = 4);
  NONFAILING(*(uint16_t*)0x20001120 = 1);
  NONFAILING(*(uint16_t*)0x20001122 = 0);
  NONFAILING(*(uint16_t*)0x20001124 = 0);
  NONFAILING(*(uint16_t*)0x20001126 = 3);
  NONFAILING(*(uint16_t*)0x20001128 = 1);
  NONFAILING(*(uint16_t*)0x2000112a = 3);
  NONFAILING(*(uint16_t*)0x2000112c = 1);
  NONFAILING(*(uint16_t*)0x2000112e = 5);
  NONFAILING(*(uint16_t*)0x20001130 = 1);
  NONFAILING(*(uint16_t*)0x20001132 = 4);
  NONFAILING(*(uint16_t*)0x20001134 = 1);
  NONFAILING(*(uint16_t*)0x20001136 = 4);
  NONFAILING(*(uint16_t*)0x20001138 = 1);
  NONFAILING(*(uint16_t*)0x2000113a = 5);
  NONFAILING(*(uint16_t*)0x2000113c = 1);
  NONFAILING(*(uint16_t*)0x2000113e = 1);
  NONFAILING(*(uint16_t*)0x20001140 = 1);
  NONFAILING(*(uint16_t*)0x20001142 = 5);
  NONFAILING(*(uint16_t*)0x20001144 = 1);
  NONFAILING(*(uint16_t*)0x20001146 = 2);
  NONFAILING(*(uint16_t*)0x20001148 = 0);
  NONFAILING(*(uint16_t*)0x2000114a = 4);
  NONFAILING(*(uint16_t*)0x2000114c = 1);
  NONFAILING(*(uint16_t*)0x2000114e = 0);
  NONFAILING(*(uint16_t*)0x20001150 = 1);
  NONFAILING(*(uint16_t*)0x20001152 = 4);
  NONFAILING(*(uint16_t*)0x20001154 = 0);
  NONFAILING(*(uint16_t*)0x20001156 = 0);
  NONFAILING(*(uint16_t*)0x20001158 = 0);
  NONFAILING(*(uint16_t*)0x2000115a = 5);
  NONFAILING(*(uint16_t*)0x2000115c = 0);
  NONFAILING(*(uint16_t*)0x2000115e = 3);
  NONFAILING(*(uint16_t*)0x20001160 = 0);
  NONFAILING(*(uint16_t*)0x20001162 = 5);
  NONFAILING(*(uint16_t*)0x20001164 = 1);
  NONFAILING(*(uint16_t*)0x20001166 = 0);
  NONFAILING(*(uint16_t*)0x20001168 = 1);
  NONFAILING(*(uint16_t*)0x2000116a = 2);
  NONFAILING(*(uint16_t*)0x2000116c = 1);
  NONFAILING(*(uint16_t*)0x2000116e = 3);
  NONFAILING(*(uint16_t*)0x20001170 = 0);
  NONFAILING(*(uint16_t*)0x20001172 = 7);
  NONFAILING(*(uint16_t*)0x20001174 = 0);
  NONFAILING(*(uint16_t*)0x20001176 = 1);
  NONFAILING(*(uint16_t*)0x20001178 = 0);
  NONFAILING(*(uint16_t*)0x2000117a = 3);
  NONFAILING(*(uint16_t*)0x2000117c = 1);
  NONFAILING(*(uint16_t*)0x2000117e = 3);
  NONFAILING(*(uint16_t*)0x20001180 = 0);
  NONFAILING(*(uint16_t*)0x20001182 = 3);
  NONFAILING(*(uint16_t*)0x20001184 = 1);
  NONFAILING(*(uint16_t*)0x20001186 = 1);
  NONFAILING(*(uint16_t*)0x20001188 = 1);
  NONFAILING(*(uint16_t*)0x2000118a = 4);
  NONFAILING(*(uint16_t*)0x2000118c = 1);
  NONFAILING(*(uint16_t*)0x2000118e = 5);
  NONFAILING(*(uint16_t*)0x20001190 = 1);
  NONFAILING(*(uint16_t*)0x20001192 = 0);
  NONFAILING(*(uint16_t*)0x20001194 = 1);
  NONFAILING(*(uint16_t*)0x20001196 = 1);
  NONFAILING(*(uint16_t*)0x20001198 = 1);
  NONFAILING(*(uint16_t*)0x2000119a = 1);
  NONFAILING(*(uint16_t*)0x2000119c = 1);
  NONFAILING(*(uint16_t*)0x2000119e = 3);
  NONFAILING(*(uint16_t*)0x200011a0 = 0);
  NONFAILING(*(uint16_t*)0x200011a2 = 2);
  NONFAILING(*(uint16_t*)0x200011a4 = 1);
  NONFAILING(*(uint16_t*)0x200011a6 = 5);
  NONFAILING(*(uint16_t*)0x200011a8 = 1);
  NONFAILING(*(uint16_t*)0x200011aa = 5);
  NONFAILING(*(uint16_t*)0x200011ac = 1);
  NONFAILING(*(uint16_t*)0x200011ae = 4);
  NONFAILING(*(uint16_t*)0x200011b0 = 0);
  NONFAILING(*(uint16_t*)0x200011b2 = 4);
  NONFAILING(*(uint16_t*)0x200011b4 = 1);
  NONFAILING(*(uint16_t*)0x200011b6 = 6);
  NONFAILING(*(uint16_t*)0x200011b8 = 0);
  NONFAILING(*(uint16_t*)0x200011ba = 4);
  NONFAILING(*(uint16_t*)0x200011bc = 1);
  NONFAILING(*(uint16_t*)0x200011be = 4);
  NONFAILING(*(uint16_t*)0x200011c0 = 0);
  NONFAILING(*(uint16_t*)0x200011c2 = 3);
  NONFAILING(*(uint16_t*)0x200011c4 = 1);
  NONFAILING(*(uint16_t*)0x200011c6 = 3);
  NONFAILING(*(uint16_t*)0x200011c8 = 1);
  NONFAILING(*(uint16_t*)0x200011ca = 2);
  NONFAILING(*(uint16_t*)0x200011cc = 1);
  NONFAILING(*(uint16_t*)0x200011ce = 2);
  NONFAILING(*(uint16_t*)0x200011d0 = 0);
  NONFAILING(*(uint16_t*)0x200011d2 = 4);
  NONFAILING(*(uint16_t*)0x200011d4 = 0);
  NONFAILING(*(uint16_t*)0x200011d6 = 7);
  NONFAILING(*(uint16_t*)0x200011d8 = 0);
  NONFAILING(*(uint16_t*)0x200011da = 5);
  NONFAILING(*(uint16_t*)0x200011dc = 0);
  NONFAILING(*(uint16_t*)0x200011de = 3);
  NONFAILING(*(uint16_t*)0x200011e0 = 1);
  NONFAILING(*(uint16_t*)0x200011e2 = 7);
  NONFAILING(*(uint16_t*)0x200011e4 = 1);
  NONFAILING(*(uint16_t*)0x200011e6 = 0);
  NONFAILING(*(uint16_t*)0x200011e8 = 1);
  NONFAILING(*(uint16_t*)0x200011ea = 3);
  NONFAILING(*(uint16_t*)0x200011ec = 0);
  NONFAILING(*(uint16_t*)0x200011ee = 3);
  NONFAILING(*(uint16_t*)0x200011f0 = 1);
  NONFAILING(*(uint16_t*)0x200011f2 = 2);
  NONFAILING(*(uint16_t*)0x200011f4 = 0);
  NONFAILING(*(uint16_t*)0x200011f6 = 5);
  NONFAILING(*(uint16_t*)0x200011f8 = 1);
  NONFAILING(*(uint16_t*)0x200011fa = 7);
  NONFAILING(*(uint16_t*)0x200011fc = 0);
  NONFAILING(*(uint16_t*)0x200011fe = 3);
  NONFAILING(*(uint16_t*)0x20001200 = 1);
  NONFAILING(*(uint16_t*)0x20001202 = 7);
  NONFAILING(*(uint16_t*)0x20001204 = 1);
  NONFAILING(*(uint16_t*)0x20001206 = 3);
  NONFAILING(*(uint16_t*)0x20001208 = 1);
  NONFAILING(*(uint16_t*)0x2000120a = 4);
  NONFAILING(*(uint16_t*)0x2000120c = 1);
  NONFAILING(*(uint16_t*)0x2000120e = 7);
  NONFAILING(*(uint16_t*)0x20001210 = 1);
  NONFAILING(*(uint16_t*)0x20001212 = 2);
  NONFAILING(*(uint16_t*)0x20001214 = 1);
  NONFAILING(*(uint16_t*)0x20001216 = 1);
  NONFAILING(*(uint16_t*)0x20001218 = 1);
  NONFAILING(*(uint16_t*)0x2000121a = 5);
  NONFAILING(*(uint16_t*)0x2000121c = 0);
  NONFAILING(*(uint16_t*)0x2000121e = 5);
  NONFAILING(*(uint16_t*)0x20001220 = 0);
  NONFAILING(*(uint16_t*)0x20001222 = 4);
  NONFAILING(*(uint16_t*)0x20001224 = 1);
  NONFAILING(*(uint16_t*)0x20001226 = 2);
  NONFAILING(*(uint16_t*)0x20001228 = 1);
  NONFAILING(*(uint16_t*)0x2000122a = 7);
  NONFAILING(*(uint16_t*)0x2000122c = 0);
  NONFAILING(*(uint16_t*)0x2000122e = 3);
  NONFAILING(*(uint16_t*)0x20001230 = 0);
  NONFAILING(*(uint16_t*)0x20001232 = 1);
  NONFAILING(*(uint16_t*)0x20001234 = 0);
  NONFAILING(*(uint16_t*)0x20001236 = 1);
  NONFAILING(*(uint16_t*)0x20001238 = 0);
  NONFAILING(*(uint16_t*)0x2000123a = 2);
  NONFAILING(*(uint16_t*)0x2000123c = 1);
  NONFAILING(*(uint16_t*)0x2000123e = 5);
  NONFAILING(*(uint16_t*)0x20001240 = 0);
  NONFAILING(*(uint16_t*)0x20001242 = 7);
  NONFAILING(*(uint16_t*)0x20001244 = 0);
  NONFAILING(*(uint16_t*)0x20001246 = 3);
  NONFAILING(*(uint16_t*)0x20001248 = 1);
  NONFAILING(*(uint16_t*)0x2000124a = 7);
  NONFAILING(*(uint16_t*)0x2000124c = 1);
  NONFAILING(*(uint16_t*)0x2000124e = 4);
  NONFAILING(*(uint16_t*)0x20001250 = 1);
  NONFAILING(*(uint16_t*)0x20001252 = 7);
  NONFAILING(*(uint16_t*)0x20001254 = 1);
  NONFAILING(*(uint16_t*)0x20001256 = 5);
  NONFAILING(*(uint16_t*)0x20001258 = 1);
  NONFAILING(*(uint16_t*)0x2000125a = 2);
  NONFAILING(*(uint16_t*)0x2000125c = 0);
  NONFAILING(*(uint16_t*)0x2000125e = 3);
  NONFAILING(*(uint16_t*)0x20001260 = 1);
  NONFAILING(*(uint16_t*)0x20001262 = 3);
  NONFAILING(*(uint16_t*)0x20001264 = 1);
  NONFAILING(*(uint16_t*)0x20001266 = 4);
  NONFAILING(*(uint16_t*)0x20001268 = 0x1815);
  NONFAILING(*(uint16_t*)0x2000126a = 3);
  NONFAILING(*(uint16_t*)0x2000126c = 1);
  NONFAILING(*(uint16_t*)0x2000126e = 4);
  NONFAILING(*(uint16_t*)0x20001270 = 1);
  NONFAILING(*(uint16_t*)0x20001272 = 0);
  NONFAILING(*(uint16_t*)0x20001274 = 1);
  NONFAILING(*(uint16_t*)0x20001276 = 4);
  NONFAILING(*(uint16_t*)0x20001278 = 1);
  NONFAILING(*(uint16_t*)0x2000127a = 3);
  NONFAILING(*(uint16_t*)0x2000127c = 1);
  NONFAILING(*(uint16_t*)0x2000127e = 3);
  NONFAILING(*(uint16_t*)0x20001280 = 1);
  NONFAILING(*(uint16_t*)0x20001282 = 7);
  NONFAILING(*(uint16_t*)0x20001284 = 0);
  NONFAILING(*(uint16_t*)0x20001286 = 5);
  NONFAILING(*(uint16_t*)0x20001288 = 1);
  NONFAILING(*(uint16_t*)0x2000128a = 0);
  NONFAILING(*(uint16_t*)0x2000128c = 1);
  NONFAILING(*(uint16_t*)0x2000128e = 5);
  NONFAILING(*(uint16_t*)0x20001290 = 0);
  NONFAILING(*(uint16_t*)0x20001292 = 1);
  NONFAILING(*(uint16_t*)0x20001294 = 1);
  NONFAILING(*(uint16_t*)0x20001296 = 3);
  NONFAILING(*(uint16_t*)0x20001298 = 0);
  NONFAILING(*(uint16_t*)0x2000129a = 5);
  NONFAILING(*(uint16_t*)0x2000129c = 1);
  NONFAILING(*(uint16_t*)0x2000129e = 4);
  NONFAILING(*(uint16_t*)0x200012a0 = 1);
  NONFAILING(*(uint16_t*)0x200012a2 = 2);
  NONFAILING(*(uint16_t*)0x200012a4 = 0);
  NONFAILING(*(uint16_t*)0x200012a6 = 5);
  NONFAILING(*(uint16_t*)0x200012a8 = 0);
  NONFAILING(*(uint16_t*)0x200012aa = 7);
  NONFAILING(*(uint16_t*)0x200012ac = 0);
  NONFAILING(*(uint16_t*)0x200012ae = 4);
  NONFAILING(*(uint16_t*)0x200012b0 = 0);
  NONFAILING(*(uint16_t*)0x200012b2 = 5);
  NONFAILING(*(uint16_t*)0x200012b4 = 0);
  NONFAILING(*(uint16_t*)0x200012b6 = 0);
  NONFAILING(*(uint16_t*)0x200012b8 = 1);
  NONFAILING(*(uint16_t*)0x200012ba = 4);
  NONFAILING(*(uint16_t*)0x200012bc = 1);
  NONFAILING(*(uint16_t*)0x200012be = 3);
  NONFAILING(*(uint16_t*)0x200012c0 = 1);
  NONFAILING(*(uint16_t*)0x200012c2 = 0);
  NONFAILING(*(uint16_t*)0x200012c4 = 1);
  NONFAILING(*(uint16_t*)0x200012c6 = 1);
  NONFAILING(*(uint16_t*)0x200012c8 = 0);
  NONFAILING(*(uint16_t*)0x200012ca = 7);
  NONFAILING(*(uint16_t*)0x200012cc = 1);
  NONFAILING(*(uint16_t*)0x200012ce = 5);
  NONFAILING(*(uint16_t*)0x200012d0 = 0);
  NONFAILING(*(uint16_t*)0x200012d2 = 4);
  NONFAILING(*(uint16_t*)0x200012d4 = 0);
  NONFAILING(*(uint16_t*)0x200012d6 = 4);
  NONFAILING(*(uint16_t*)0x200012d8 = 1);
  NONFAILING(*(uint16_t*)0x200012da = 0);
  NONFAILING(*(uint16_t*)0x200012dc = 1);
  NONFAILING(*(uint16_t*)0x200012de = 3);
  NONFAILING(*(uint16_t*)0x200012e0 = 0);
  NONFAILING(*(uint16_t*)0x200012e2 = 5);
  NONFAILING(*(uint16_t*)0x200012e4 = 0);
  NONFAILING(*(uint16_t*)0x200012e6 = 4);
  NONFAILING(*(uint16_t*)0x200012e8 = 1);
  NONFAILING(*(uint16_t*)0x200012ea = 4);
  NONFAILING(*(uint16_t*)0x200012ec = 1);
  NONFAILING(*(uint16_t*)0x200012ee = 5);
  NONFAILING(*(uint16_t*)0x200012f0 = 1);
  NONFAILING(*(uint8_t*)0x200012f2 = 1);
  NONFAILING(*(uint16_t*)0x200012f6 = 0x154);
  NONFAILING(*(uint16_t*)0x200012f8 = 5);
  NONFAILING(*(uint16_t*)0x200012fa = 0x14);
  NONFAILING(*(uint16_t*)0x200012fc = 6);
  NONFAILING(*(uint16_t*)0x200012fe = 8);
  NONFAILING(*(uint16_t*)0x20001300 = 2);
  NONFAILING(*(uint16_t*)0x20001302 = 1);
  NONFAILING(*(uint16_t*)0x20001306 = 8);
  NONFAILING(*(uint16_t*)0x20001308 = 1);
  NONFAILING(*(uint16_t*)0x2000130a = 7);
  NONFAILING(*(uint16_t*)0x2000130e = 0x3c);
  NONFAILING(*(uint16_t*)0x20001310 = 6);
  NONFAILING(*(uint16_t*)0x20001312 = 8);
  NONFAILING(*(uint16_t*)0x20001314 = 2);
  NONFAILING(*(uint16_t*)0x20001316 = 0);
  NONFAILING(*(uint16_t*)0x2000131a = 8);
  NONFAILING(*(uint16_t*)0x2000131c = 1);
  NONFAILING(*(uint16_t*)0x2000131e = 3);
  NONFAILING(*(uint16_t*)0x20001322 = 8);
  NONFAILING(*(uint16_t*)0x20001324 = 1);
  NONFAILING(*(uint16_t*)0x20001326 = 5);
  NONFAILING(*(uint16_t*)0x2000132a = 8);
  NONFAILING(*(uint16_t*)0x2000132c = 2);
  NONFAILING(*(uint16_t*)0x2000132e = 1);
  NONFAILING(*(uint16_t*)0x20001332 = 8);
  NONFAILING(*(uint16_t*)0x20001334 = 2);
  NONFAILING(*(uint16_t*)0x20001336 = 0);
  NONFAILING(*(uint16_t*)0x2000133a = 8);
  NONFAILING(*(uint16_t*)0x2000133c = 2);
  NONFAILING(*(uint16_t*)0x2000133e = 1);
  NONFAILING(*(uint16_t*)0x20001342 = 8);
  NONFAILING(*(uint16_t*)0x20001344 = 1);
  NONFAILING(*(uint16_t*)0x20001346 = 3);
  NONFAILING(*(uint16_t*)0x2000134a = 0x34);
  NONFAILING(*(uint16_t*)0x2000134c = 6);
  NONFAILING(*(uint16_t*)0x2000134e = 8);
  NONFAILING(*(uint16_t*)0x20001350 = 1);
  NONFAILING(*(uint16_t*)0x20001352 = 7);
  NONFAILING(*(uint16_t*)0x20001356 = 8);
  NONFAILING(*(uint16_t*)0x20001358 = 2);
  NONFAILING(*(uint16_t*)0x2000135a = 0);
  NONFAILING(*(uint16_t*)0x2000135e = 8);
  NONFAILING(*(uint16_t*)0x20001360 = 1);
  NONFAILING(*(uint16_t*)0x20001362 = 3);
  NONFAILING(*(uint16_t*)0x20001366 = 8);
  NONFAILING(*(uint16_t*)0x20001368 = 1);
  NONFAILING(*(uint16_t*)0x2000136a = 0);
  NONFAILING(*(uint16_t*)0x2000136e = 8);
  NONFAILING(*(uint16_t*)0x20001370 = 2);
  NONFAILING(*(uint16_t*)0x20001372 = 1);
  NONFAILING(*(uint16_t*)0x20001376 = 8);
  NONFAILING(*(uint16_t*)0x20001378 = 1);
  NONFAILING(*(uint16_t*)0x2000137a = 3);
  NONFAILING(*(uint16_t*)0x2000137e = 0x3c);
  NONFAILING(*(uint16_t*)0x20001380 = 6);
  NONFAILING(*(uint16_t*)0x20001382 = 8);
  NONFAILING(*(uint16_t*)0x20001384 = 2);
  NONFAILING(*(uint16_t*)0x20001386 = 0);
  NONFAILING(*(uint16_t*)0x2000138a = 8);
  NONFAILING(*(uint16_t*)0x2000138c = 1);
  NONFAILING(*(uint16_t*)0x2000138e = 3);
  NONFAILING(*(uint16_t*)0x20001392 = 8);
  NONFAILING(*(uint16_t*)0x20001394 = 2);
  NONFAILING(*(uint16_t*)0x20001396 = 0);
  NONFAILING(*(uint16_t*)0x2000139a = 8);
  NONFAILING(*(uint16_t*)0x2000139c = 1);
  NONFAILING(*(uint16_t*)0x2000139e = 2);
  NONFAILING(*(uint16_t*)0x200013a2 = 8);
  NONFAILING(*(uint16_t*)0x200013a4 = 1);
  NONFAILING(*(uint16_t*)0x200013a6 = 5);
  NONFAILING(*(uint16_t*)0x200013aa = 8);
  NONFAILING(*(uint16_t*)0x200013ac = 2);
  NONFAILING(*(uint16_t*)0x200013ae = 0);
  NONFAILING(*(uint16_t*)0x200013b2 = 8);
  NONFAILING(*(uint16_t*)0x200013b4 = 2);
  NONFAILING(*(uint16_t*)0x200013b6 = 0);
  NONFAILING(*(uint16_t*)0x200013ba = 0x44);
  NONFAILING(*(uint16_t*)0x200013bc = 6);
  NONFAILING(*(uint16_t*)0x200013be = 8);
  NONFAILING(*(uint16_t*)0x200013c0 = 2);
  NONFAILING(*(uint16_t*)0x200013c2 = 0);
  NONFAILING(*(uint16_t*)0x200013c6 = 8);
  NONFAILING(*(uint16_t*)0x200013c8 = 2);
  NONFAILING(*(uint16_t*)0x200013ca = 0);
  NONFAILING(*(uint16_t*)0x200013ce = 8);
  NONFAILING(*(uint16_t*)0x200013d0 = 1);
  NONFAILING(*(uint16_t*)0x200013d2 = 3);
  NONFAILING(*(uint16_t*)0x200013d6 = 8);
  NONFAILING(*(uint16_t*)0x200013d8 = 1);
  NONFAILING(*(uint16_t*)0x200013da = 4);
  NONFAILING(*(uint16_t*)0x200013de = 8);
  NONFAILING(*(uint16_t*)0x200013e0 = 2);
  NONFAILING(*(uint16_t*)0x200013e2 = 1);
  NONFAILING(*(uint16_t*)0x200013e6 = 8);
  NONFAILING(*(uint16_t*)0x200013e8 = 2);
  NONFAILING(*(uint16_t*)0x200013ea = 1);
  NONFAILING(*(uint16_t*)0x200013ee = 8);
  NONFAILING(*(uint16_t*)0x200013f0 = 2);
  NONFAILING(*(uint16_t*)0x200013f2 = 0);
  NONFAILING(*(uint16_t*)0x200013f6 = 8);
  NONFAILING(*(uint16_t*)0x200013f8 = 1);
  NONFAILING(*(uint16_t*)0x200013fa = 5);
  NONFAILING(*(uint16_t*)0x200013fe = 0xc);
  NONFAILING(*(uint16_t*)0x20001400 = 6);
  NONFAILING(*(uint16_t*)0x20001402 = 8);
  NONFAILING(*(uint16_t*)0x20001404 = 2);
  NONFAILING(*(uint16_t*)0x20001406 = 0);
  NONFAILING(*(uint16_t*)0x2000140a = 0x24);
  NONFAILING(*(uint16_t*)0x2000140c = 6);
  NONFAILING(*(uint16_t*)0x2000140e = 8);
  NONFAILING(*(uint16_t*)0x20001410 = 2);
  NONFAILING(*(uint16_t*)0x20001412 = 1);
  NONFAILING(*(uint16_t*)0x20001416 = 8);
  NONFAILING(*(uint16_t*)0x20001418 = 1);
  NONFAILING(*(uint16_t*)0x2000141a = 7);
  NONFAILING(*(uint16_t*)0x2000141e = 8);
  NONFAILING(*(uint16_t*)0x20001420 = 1);
  NONFAILING(*(uint16_t*)0x20001422 = 5);
  NONFAILING(*(uint16_t*)0x20001426 = 8);
  NONFAILING(*(uint16_t*)0x20001428 = 2);
  NONFAILING(*(uint16_t*)0x2000142a = 0);
  NONFAILING(*(uint16_t*)0x2000142e = 0x1c);
  NONFAILING(*(uint16_t*)0x20001430 = 6);
  NONFAILING(*(uint16_t*)0x20001432 = 8);
  NONFAILING(*(uint16_t*)0x20001434 = 1);
  NONFAILING(*(uint16_t*)0x20001436 = 5);
  NONFAILING(*(uint16_t*)0x2000143a = 8);
  NONFAILING(*(uint16_t*)0x2000143c = 1);
  NONFAILING(*(uint16_t*)0x2000143e = 5);
  NONFAILING(*(uint16_t*)0x20001442 = 8);
  NONFAILING(*(uint16_t*)0x20001444 = 1);
  NONFAILING(*(uint16_t*)0x20001446 = 4);
  NONFAILING(*(uint16_t*)0x2000144a = 0xc4);
  NONFAILING(*(uint16_t*)0x2000144c = 5);
  NONFAILING(*(uint16_t*)0x2000144e = 0x24);
  NONFAILING(*(uint16_t*)0x20001450 = 6);
  NONFAILING(*(uint16_t*)0x20001452 = 8);
  NONFAILING(*(uint16_t*)0x20001454 = 1);
  NONFAILING(*(uint16_t*)0x20001456 = 0);
  NONFAILING(*(uint16_t*)0x2000145a = 8);
  NONFAILING(*(uint16_t*)0x2000145c = 1);
  NONFAILING(*(uint16_t*)0x2000145e = 7);
  NONFAILING(*(uint16_t*)0x20001462 = 8);
  NONFAILING(*(uint16_t*)0x20001464 = 1);
  NONFAILING(*(uint16_t*)0x20001466 = 2);
  NONFAILING(*(uint16_t*)0x2000146a = 8);
  NONFAILING(*(uint16_t*)0x2000146c = 1);
  NONFAILING(*(uint16_t*)0x2000146e = 5);
  NONFAILING(*(uint16_t*)0x20001472 = 0x14);
  NONFAILING(*(uint16_t*)0x20001474 = 6);
  NONFAILING(*(uint16_t*)0x20001476 = 8);
  NONFAILING(*(uint16_t*)0x20001478 = 1);
  NONFAILING(*(uint16_t*)0x2000147a = 7);
  NONFAILING(*(uint16_t*)0x2000147e = 8);
  NONFAILING(*(uint16_t*)0x20001480 = 1);
  NONFAILING(*(uint16_t*)0x20001482 = 0);
  NONFAILING(*(uint16_t*)0x20001486 = 0x34);
  NONFAILING(*(uint16_t*)0x20001488 = 6);
  NONFAILING(*(uint16_t*)0x2000148a = 8);
  NONFAILING(*(uint16_t*)0x2000148c = 1);
  NONFAILING(*(uint16_t*)0x2000148e = 1);
  NONFAILING(*(uint16_t*)0x20001492 = 8);
  NONFAILING(*(uint16_t*)0x20001494 = 2);
  NONFAILING(*(uint16_t*)0x20001496 = 0);
  NONFAILING(*(uint16_t*)0x2000149a = 8);
  NONFAILING(*(uint16_t*)0x2000149c = 1);
  NONFAILING(*(uint16_t*)0x2000149e = 3);
  NONFAILING(*(uint16_t*)0x200014a2 = 8);
  NONFAILING(*(uint16_t*)0x200014a4 = 1);
  NONFAILING(*(uint16_t*)0x200014a6 = 3);
  NONFAILING(*(uint16_t*)0x200014aa = 8);
  NONFAILING(*(uint16_t*)0x200014ac = 2);
  NONFAILING(*(uint16_t*)0x200014ae = 1);
  NONFAILING(*(uint16_t*)0x200014b2 = 8);
  NONFAILING(*(uint16_t*)0x200014b4 = 2);
  NONFAILING(*(uint16_t*)0x200014b6 = 1);
  NONFAILING(*(uint16_t*)0x200014ba = 0x1c);
  NONFAILING(*(uint16_t*)0x200014bc = 6);
  NONFAILING(*(uint16_t*)0x200014be = 8);
  NONFAILING(*(uint16_t*)0x200014c0 = 2);
  NONFAILING(*(uint16_t*)0x200014c2 = 1);
  NONFAILING(*(uint16_t*)0x200014c6 = 8);
  NONFAILING(*(uint16_t*)0x200014c8 = 2);
  NONFAILING(*(uint16_t*)0x200014ca = 1);
  NONFAILING(*(uint16_t*)0x200014ce = 8);
  NONFAILING(*(uint16_t*)0x200014d0 = 1);
  NONFAILING(*(uint16_t*)0x200014d2 = 0);
  NONFAILING(*(uint16_t*)0x200014d6 = 0x14);
  NONFAILING(*(uint16_t*)0x200014d8 = 6);
  NONFAILING(*(uint16_t*)0x200014da = 8);
  NONFAILING(*(uint16_t*)0x200014dc = 1);
  NONFAILING(*(uint16_t*)0x200014de = 4);
  NONFAILING(*(uint16_t*)0x200014e2 = 8);
  NONFAILING(*(uint16_t*)0x200014e4 = 1);
  NONFAILING(*(uint16_t*)0x200014e6 = 1);
  NONFAILING(*(uint16_t*)0x200014ea = 0x24);
  NONFAILING(*(uint16_t*)0x200014ec = 6);
  NONFAILING(*(uint16_t*)0x200014ee = 8);
  NONFAILING(*(uint16_t*)0x200014f0 = 1);
  NONFAILING(*(uint16_t*)0x200014f2 = 5);
  NONFAILING(*(uint16_t*)0x200014f6 = 8);
  NONFAILING(*(uint16_t*)0x200014f8 = 2);
  NONFAILING(*(uint16_t*)0x200014fa = 0);
  NONFAILING(*(uint16_t*)0x200014fe = 8);
  NONFAILING(*(uint16_t*)0x20001500 = 1);
  NONFAILING(*(uint16_t*)0x20001502 = 5);
  NONFAILING(*(uint16_t*)0x20001506 = 8);
  NONFAILING(*(uint16_t*)0x20001508 = 1);
  NONFAILING(*(uint16_t*)0x2000150a = 7);
  NONFAILING(*(uint16_t*)0x2000150e = 4);
  NONFAILING(*(uint16_t*)0x20001510 = 6);
  NONFAILING(*(uint16_t*)0x20001514 = 0x40);
  NONFAILING(*(uint16_t*)0x20001516 = 1);
  NONFAILING(*(uint16_t*)0x20001518 = 0x3c);
  NONFAILING(*(uint32_t*)0x2000151a = 0x10);
  NONFAILING(*(uint16_t*)0x2000151e = 0xc);
  NONFAILING(*(uint16_t*)0x20001520 = 1);
  NONFAILING(memcpy((void*)0x20001522, "mirred\000", 7));
  NONFAILING(*(uint16_t*)0x2000152a = 0x24);
  NONFAILING(*(uint16_t*)0x2000152c = 2);
  NONFAILING(*(uint16_t*)0x2000152e = 0x20);
  NONFAILING(*(uint16_t*)0x20001530 = 2);
  NONFAILING(*(uint32_t*)0x20001532 = 1);
  NONFAILING(*(uint32_t*)0x20001536 = 0);
  NONFAILING(*(uint32_t*)0x2000153a = 5);
  NONFAILING(*(uint32_t*)0x2000153e = 6);
  NONFAILING(*(uint32_t*)0x20001542 = 0x100);
  NONFAILING(*(uint32_t*)0x20001546 = 7);
  NONFAILING(*(uint32_t*)0x2000154a = 0);
  NONFAILING(*(uint16_t*)0x2000154e = 4);
  NONFAILING(*(uint16_t*)0x20001550 = 6);
  NONFAILING(*(uint16_t*)0x20001554 = 0x44);
  NONFAILING(*(uint16_t*)0x20001556 = 1);
  NONFAILING(*(uint16_t*)0x20001558 = 0x40);
  NONFAILING(*(uint32_t*)0x2000155a = 0x18);
  NONFAILING(*(uint16_t*)0x2000155e = 8);
  NONFAILING(*(uint16_t*)0x20001560 = 1);
  NONFAILING(memcpy((void*)0x20001562, "nat\000", 4));
  NONFAILING(*(uint16_t*)0x20001566 = 0x2c);
  NONFAILING(*(uint16_t*)0x20001568 = 2);
  NONFAILING(*(uint16_t*)0x2000156a = 0x28);
  NONFAILING(*(uint16_t*)0x2000156c = 1);
  NONFAILING(*(uint32_t*)0x2000156e = 5);
  NONFAILING(*(uint32_t*)0x20001572 = 0x64);
  NONFAILING(*(uint32_t*)0x20001576 = 0x10000000);
  NONFAILING(*(uint32_t*)0x2000157a = 2);
  NONFAILING(*(uint32_t*)0x2000157e = 0x401);
  NONFAILING(*(uint32_t*)0x20001582 = htobe32(2));
  NONFAILING(*(uint32_t*)0x20001586 = htobe32(6));
  NONFAILING(*(uint32_t*)0x2000158a = htobe32(-1));
  NONFAILING(*(uint32_t*)0x2000158e = 1);
  NONFAILING(*(uint16_t*)0x20001592 = 4);
  NONFAILING(*(uint16_t*)0x20001594 = 6);
  NONFAILING(*(uint16_t*)0x20001598 = 0x40);
  NONFAILING(*(uint16_t*)0x2000159a = 1);
  NONFAILING(*(uint16_t*)0x2000159c = 0x3c);
  NONFAILING(*(uint32_t*)0x2000159e = 0x10);
  NONFAILING(*(uint16_t*)0x200015a2 = 0xc);
  NONFAILING(*(uint16_t*)0x200015a4 = 1);
  NONFAILING(memcpy((void*)0x200015a6, "mirred\000", 7));
  NONFAILING(*(uint16_t*)0x200015ae = 0x24);
  NONFAILING(*(uint16_t*)0x200015b0 = 2);
  NONFAILING(*(uint16_t*)0x200015b2 = 0x20);
  NONFAILING(*(uint16_t*)0x200015b4 = 2);
  NONFAILING(*(uint32_t*)0x200015b6 = 5);
  NONFAILING(*(uint32_t*)0x200015ba = 0);
  NONFAILING(*(uint32_t*)0x200015be = 1);
  NONFAILING(*(uint32_t*)0x200015c2 = 8);
  NONFAILING(*(uint32_t*)0x200015c6 = 0xfffffff8);
  NONFAILING(*(uint32_t*)0x200015ca = 2);
  NONFAILING(*(uint32_t*)0x200015ce = 0);
  NONFAILING(*(uint16_t*)0x200015d2 = 4);
  NONFAILING(*(uint16_t*)0x200015d4 = 6);
  NONFAILING(*(uint16_t*)0x200015d8 = 0x424);
  NONFAILING(*(uint16_t*)0x200015da = 1);
  NONFAILING(*(uint16_t*)0x200015dc = 0x420);
  NONFAILING(*(uint32_t*)0x200015de = 7);
  NONFAILING(*(uint16_t*)0x200015e2 = 0xc);
  NONFAILING(*(uint16_t*)0x200015e4 = 1);
  NONFAILING(memcpy((void*)0x200015e6, "police\000", 7));
  NONFAILING(*(uint16_t*)0x200015ee = 0x408);
  NONFAILING(*(uint16_t*)0x200015f0 = 2);
  NONFAILING(*(uint16_t*)0x200015f2 = 0x404);
  NONFAILING(*(uint16_t*)0x200015f4 = 3);
  NONFAILING(*(uint32_t*)0x200015f6 = 8);
  NONFAILING(*(uint32_t*)0x200015fa = 4);
  NONFAILING(*(uint32_t*)0x200015fe = 0x7f);
  NONFAILING(*(uint32_t*)0x20001602 = 0x7f);
  NONFAILING(*(uint32_t*)0x20001606 = 7);
  NONFAILING(*(uint32_t*)0x2000160a = 8);
  NONFAILING(*(uint32_t*)0x2000160e = 0x14);
  NONFAILING(*(uint32_t*)0x20001612 = 0);
  NONFAILING(*(uint32_t*)0x20001616 = 0x80);
  NONFAILING(*(uint32_t*)0x2000161a = 0xff);
  NONFAILING(*(uint32_t*)0x2000161e = 2);
  NONFAILING(*(uint32_t*)0x20001622 = 8);
  NONFAILING(*(uint32_t*)0x20001626 = 0xb5);
  NONFAILING(*(uint32_t*)0x2000162a = 0x810);
  NONFAILING(*(uint32_t*)0x2000162e = 5);
  NONFAILING(*(uint32_t*)0x20001632 = 0x190c);
  NONFAILING(*(uint32_t*)0x20001636 = 0);
  NONFAILING(*(uint32_t*)0x2000163a = 0x401);
  NONFAILING(*(uint32_t*)0x2000163e = 0x7ff);
  NONFAILING(*(uint32_t*)0x20001642 = 0x10000);
  NONFAILING(*(uint32_t*)0x20001646 = 0x3c2b);
  NONFAILING(*(uint32_t*)0x2000164a = 0xb8);
  NONFAILING(*(uint32_t*)0x2000164e = 0x3d7c);
  NONFAILING(*(uint32_t*)0x20001652 = -1);
  NONFAILING(*(uint32_t*)0x20001656 = 7);
  NONFAILING(*(uint32_t*)0x2000165a = 9);
  NONFAILING(*(uint32_t*)0x2000165e = 0x10a);
  NONFAILING(*(uint32_t*)0x20001662 = 8);
  NONFAILING(*(uint32_t*)0x20001666 = 0xf56);
  NONFAILING(*(uint32_t*)0x2000166a = 6);
  NONFAILING(*(uint32_t*)0x2000166e = 7);
  NONFAILING(*(uint32_t*)0x20001672 = 0);
  NONFAILING(*(uint32_t*)0x20001676 = 0x80000001);
  NONFAILING(*(uint32_t*)0x2000167a = 0);
  NONFAILING(*(uint32_t*)0x2000167e = 0x10001);
  NONFAILING(*(uint32_t*)0x20001682 = 0x7fff);
  NONFAILING(*(uint32_t*)0x20001686 = 9);
  NONFAILING(*(uint32_t*)0x2000168a = 0x7fffffff);
  NONFAILING(*(uint32_t*)0x2000168e = 7);
  NONFAILING(*(uint32_t*)0x20001692 = 4);
  NONFAILING(*(uint32_t*)0x20001696 = 0x3f);
  NONFAILING(*(uint32_t*)0x2000169a = 3);
  NONFAILING(*(uint32_t*)0x2000169e = 0x80);
  NONFAILING(*(uint32_t*)0x200016a2 = 6);
  NONFAILING(*(uint32_t*)0x200016a6 = 0x1000);
  NONFAILING(*(uint32_t*)0x200016aa = 1);
  NONFAILING(*(uint32_t*)0x200016ae = 9);
  NONFAILING(*(uint32_t*)0x200016b2 = 0x4c90);
  NONFAILING(*(uint32_t*)0x200016b6 = 7);
  NONFAILING(*(uint32_t*)0x200016ba = 0);
  NONFAILING(*(uint32_t*)0x200016be = 1);
  NONFAILING(*(uint32_t*)0x200016c2 = 0x3f);
  NONFAILING(*(uint32_t*)0x200016c6 = 8);
  NONFAILING(*(uint32_t*)0x200016ca = 1);
  NONFAILING(*(uint32_t*)0x200016ce = 1);
  NONFAILING(*(uint32_t*)0x200016d2 = 0);
  NONFAILING(*(uint32_t*)0x200016d6 = 0);
  NONFAILING(*(uint32_t*)0x200016da = 0x448f);
  NONFAILING(*(uint32_t*)0x200016de = 2);
  NONFAILING(*(uint32_t*)0x200016e2 = 0xffff504b);
  NONFAILING(*(uint32_t*)0x200016e6 = 8);
  NONFAILING(*(uint32_t*)0x200016ea = 0xf85);
  NONFAILING(*(uint32_t*)0x200016ee = 7);
  NONFAILING(*(uint32_t*)0x200016f2 = 9);
  NONFAILING(*(uint32_t*)0x200016f6 = 0);
  NONFAILING(*(uint32_t*)0x200016fa = 0x4000);
  NONFAILING(*(uint32_t*)0x200016fe = 6);
  NONFAILING(*(uint32_t*)0x20001702 = 0xffffff01);
  NONFAILING(*(uint32_t*)0x20001706 = 0xfff);
  NONFAILING(*(uint32_t*)0x2000170a = 0x1ff);
  NONFAILING(*(uint32_t*)0x2000170e = 3);
  NONFAILING(*(uint32_t*)0x20001712 = 0xe1f);
  NONFAILING(*(uint32_t*)0x20001716 = 0x20);
  NONFAILING(*(uint32_t*)0x2000171a = 0xfffffffb);
  NONFAILING(*(uint32_t*)0x2000171e = 7);
  NONFAILING(*(uint32_t*)0x20001722 = 0x7ff);
  NONFAILING(*(uint32_t*)0x20001726 = 0xfffffff8);
  NONFAILING(*(uint32_t*)0x2000172a = 0);
  NONFAILING(*(uint32_t*)0x2000172e = 0x31);
  NONFAILING(*(uint32_t*)0x20001732 = 9);
  NONFAILING(*(uint32_t*)0x20001736 = 0x3ff);
  NONFAILING(*(uint32_t*)0x2000173a = 0);
  NONFAILING(*(uint32_t*)0x2000173e = 0);
  NONFAILING(*(uint32_t*)0x20001742 = 0x10000);
  NONFAILING(*(uint32_t*)0x20001746 = 9);
  NONFAILING(*(uint32_t*)0x2000174a = 0x81);
  NONFAILING(*(uint32_t*)0x2000174e = 0x400);
  NONFAILING(*(uint32_t*)0x20001752 = 8);
  NONFAILING(*(uint32_t*)0x20001756 = 4);
  NONFAILING(*(uint32_t*)0x2000175a = 6);
  NONFAILING(*(uint32_t*)0x2000175e = 0x1ff);
  NONFAILING(*(uint32_t*)0x20001762 = 9);
  NONFAILING(*(uint32_t*)0x20001766 = 6);
  NONFAILING(*(uint32_t*)0x2000176a = 4);
  NONFAILING(*(uint32_t*)0x2000176e = 0x1ff);
  NONFAILING(*(uint32_t*)0x20001772 = 0);
  NONFAILING(*(uint32_t*)0x20001776 = 5);
  NONFAILING(*(uint32_t*)0x2000177a = 6);
  NONFAILING(*(uint32_t*)0x2000177e = 9);
  NONFAILING(*(uint32_t*)0x20001782 = 0x200);
  NONFAILING(*(uint32_t*)0x20001786 = 0xb0);
  NONFAILING(*(uint32_t*)0x2000178a = 0x401);
  NONFAILING(*(uint32_t*)0x2000178e = 0);
  NONFAILING(*(uint32_t*)0x20001792 = 0xffffff2b);
  NONFAILING(*(uint32_t*)0x20001796 = 9);
  NONFAILING(*(uint32_t*)0x2000179a = 0);
  NONFAILING(*(uint32_t*)0x2000179e = 0x1e50);
  NONFAILING(*(uint32_t*)0x200017a2 = 0xfffffffa);
  NONFAILING(*(uint32_t*)0x200017a6 = 8);
  NONFAILING(*(uint32_t*)0x200017aa = 0xfffff800);
  NONFAILING(*(uint32_t*)0x200017ae = 0xfffffffe);
  NONFAILING(*(uint32_t*)0x200017b2 = 4);
  NONFAILING(*(uint32_t*)0x200017b6 = 3);
  NONFAILING(*(uint32_t*)0x200017ba = 0xfffffffb);
  NONFAILING(*(uint32_t*)0x200017be = 6);
  NONFAILING(*(uint32_t*)0x200017c2 = 5);
  NONFAILING(*(uint32_t*)0x200017c6 = -1);
  NONFAILING(*(uint32_t*)0x200017ca = 1);
  NONFAILING(*(uint32_t*)0x200017ce = 6);
  NONFAILING(*(uint32_t*)0x200017d2 = 9);
  NONFAILING(*(uint32_t*)0x200017d6 = 8);
  NONFAILING(*(uint32_t*)0x200017da = 0x40);
  NONFAILING(*(uint32_t*)0x200017de = 8);
  NONFAILING(*(uint32_t*)0x200017e2 = 0);
  NONFAILING(*(uint32_t*)0x200017e6 = 0);
  NONFAILING(*(uint32_t*)0x200017ea = 8);
  NONFAILING(*(uint32_t*)0x200017ee = 4);
  NONFAILING(*(uint32_t*)0x200017f2 = 6);
  NONFAILING(*(uint32_t*)0x200017f6 = 0x80000001);
  NONFAILING(*(uint32_t*)0x200017fa = 0x637);
  NONFAILING(*(uint32_t*)0x200017fe = 0x382);
  NONFAILING(*(uint32_t*)0x20001802 = 9);
  NONFAILING(*(uint32_t*)0x20001806 = 1);
  NONFAILING(*(uint32_t*)0x2000180a = 0);
  NONFAILING(*(uint32_t*)0x2000180e = 1);
  NONFAILING(*(uint32_t*)0x20001812 = 0x5d);
  NONFAILING(*(uint32_t*)0x20001816 = 8);
  NONFAILING(*(uint32_t*)0x2000181a = 0x200);
  NONFAILING(*(uint32_t*)0x2000181e = 0x7fff);
  NONFAILING(*(uint32_t*)0x20001822 = 6);
  NONFAILING(*(uint32_t*)0x20001826 = 0x8001);
  NONFAILING(*(uint32_t*)0x2000182a = 0x80000000);
  NONFAILING(*(uint32_t*)0x2000182e = 0x10000);
  NONFAILING(*(uint32_t*)0x20001832 = 3);
  NONFAILING(*(uint32_t*)0x20001836 = 0);
  NONFAILING(*(uint32_t*)0x2000183a = 9);
  NONFAILING(*(uint32_t*)0x2000183e = 8);
  NONFAILING(*(uint32_t*)0x20001842 = 7);
  NONFAILING(*(uint32_t*)0x20001846 = 6);
  NONFAILING(*(uint32_t*)0x2000184a = 4);
  NONFAILING(*(uint32_t*)0x2000184e = 0x93dc);
  NONFAILING(*(uint32_t*)0x20001852 = 0xe32);
  NONFAILING(*(uint32_t*)0x20001856 = 0x3e4);
  NONFAILING(*(uint32_t*)0x2000185a = 3);
  NONFAILING(*(uint32_t*)0x2000185e = 7);
  NONFAILING(*(uint32_t*)0x20001862 = 7);
  NONFAILING(*(uint32_t*)0x20001866 = 0x101);
  NONFAILING(*(uint32_t*)0x2000186a = 5);
  NONFAILING(*(uint32_t*)0x2000186e = 3);
  NONFAILING(*(uint32_t*)0x20001872 = 4);
  NONFAILING(*(uint32_t*)0x20001876 = 2);
  NONFAILING(*(uint32_t*)0x2000187a = 0x401);
  NONFAILING(*(uint32_t*)0x2000187e = 6);
  NONFAILING(*(uint32_t*)0x20001882 = 0x10000);
  NONFAILING(*(uint32_t*)0x20001886 = 0x40);
  NONFAILING(*(uint32_t*)0x2000188a = 0x400);
  NONFAILING(*(uint32_t*)0x2000188e = 0x3ff);
  NONFAILING(*(uint32_t*)0x20001892 = 0);
  NONFAILING(*(uint32_t*)0x20001896 = 0);
  NONFAILING(*(uint32_t*)0x2000189a = 8);
  NONFAILING(*(uint32_t*)0x2000189e = 0x7fff);
  NONFAILING(*(uint32_t*)0x200018a2 = 5);
  NONFAILING(*(uint32_t*)0x200018a6 = 0xfffff9d9);
  NONFAILING(*(uint32_t*)0x200018aa = 7);
  NONFAILING(*(uint32_t*)0x200018ae = 8);
  NONFAILING(*(uint32_t*)0x200018b2 = 0x80000001);
  NONFAILING(*(uint32_t*)0x200018b6 = 0x1b1);
  NONFAILING(*(uint32_t*)0x200018ba = 0x20);
  NONFAILING(*(uint32_t*)0x200018be = 0x45);
  NONFAILING(*(uint32_t*)0x200018c2 = 2);
  NONFAILING(*(uint32_t*)0x200018c6 = 5);
  NONFAILING(*(uint32_t*)0x200018ca = 0x800);
  NONFAILING(*(uint32_t*)0x200018ce = 5);
  NONFAILING(*(uint32_t*)0x200018d2 = 0x7fffffff);
  NONFAILING(*(uint32_t*)0x200018d6 = 1);
  NONFAILING(*(uint32_t*)0x200018da = 5);
  NONFAILING(*(uint32_t*)0x200018de = 0x80000000);
  NONFAILING(*(uint32_t*)0x200018e2 = 2);
  NONFAILING(*(uint32_t*)0x200018e6 = 6);
  NONFAILING(*(uint32_t*)0x200018ea = 0x1ff);
  NONFAILING(*(uint32_t*)0x200018ee = 7);
  NONFAILING(*(uint32_t*)0x200018f2 = -1);
  NONFAILING(*(uint32_t*)0x200018f6 = 0x6e);
  NONFAILING(*(uint32_t*)0x200018fa = 0x1ff);
  NONFAILING(*(uint32_t*)0x200018fe = 0xef4);
  NONFAILING(*(uint32_t*)0x20001902 = 0x100);
  NONFAILING(*(uint32_t*)0x20001906 = 0x401);
  NONFAILING(*(uint32_t*)0x2000190a = 7);
  NONFAILING(*(uint32_t*)0x2000190e = 0x1000);
  NONFAILING(*(uint32_t*)0x20001912 = 8);
  NONFAILING(*(uint32_t*)0x20001916 = 0x40);
  NONFAILING(*(uint32_t*)0x2000191a = 0);
  NONFAILING(*(uint32_t*)0x2000191e = 0);
  NONFAILING(*(uint32_t*)0x20001922 = 8);
  NONFAILING(*(uint32_t*)0x20001926 = 8);
  NONFAILING(*(uint32_t*)0x2000192a = 0xbe9);
  NONFAILING(*(uint32_t*)0x2000192e = 1);
  NONFAILING(*(uint32_t*)0x20001932 = 8);
  NONFAILING(*(uint32_t*)0x20001936 = 0x46a5);
  NONFAILING(*(uint32_t*)0x2000193a = 9);
  NONFAILING(*(uint32_t*)0x2000193e = 0);
  NONFAILING(*(uint32_t*)0x20001942 = 2);
  NONFAILING(*(uint32_t*)0x20001946 = 0);
  NONFAILING(*(uint32_t*)0x2000194a = 4);
  NONFAILING(*(uint32_t*)0x2000194e = 0x14b8000);
  NONFAILING(*(uint32_t*)0x20001952 = 1);
  NONFAILING(*(uint32_t*)0x20001956 = 7);
  NONFAILING(*(uint32_t*)0x2000195a = 0xfffffffa);
  NONFAILING(*(uint32_t*)0x2000195e = 0x101);
  NONFAILING(*(uint32_t*)0x20001962 = 0xfffffffc);
  NONFAILING(*(uint32_t*)0x20001966 = 0);
  NONFAILING(*(uint32_t*)0x2000196a = 0x5a0ecd6a);
  NONFAILING(*(uint32_t*)0x2000196e = 0);
  NONFAILING(*(uint32_t*)0x20001972 = 0x80000001);
  NONFAILING(*(uint32_t*)0x20001976 = 0x6f);
  NONFAILING(*(uint32_t*)0x2000197a = 9);
  NONFAILING(*(uint32_t*)0x2000197e = 8);
  NONFAILING(*(uint32_t*)0x20001982 = 0x5f33);
  NONFAILING(*(uint32_t*)0x20001986 = 3);
  NONFAILING(*(uint32_t*)0x2000198a = 5);
  NONFAILING(*(uint32_t*)0x2000198e = 0x800);
  NONFAILING(*(uint32_t*)0x20001992 = 9);
  NONFAILING(*(uint32_t*)0x20001996 = 9);
  NONFAILING(*(uint32_t*)0x2000199a = 0x194);
  NONFAILING(*(uint32_t*)0x2000199e = 2);
  NONFAILING(*(uint32_t*)0x200019a2 = 0xee1);
  NONFAILING(*(uint32_t*)0x200019a6 = 0x7f);
  NONFAILING(*(uint32_t*)0x200019aa = 5);
  NONFAILING(*(uint32_t*)0x200019ae = 1);
  NONFAILING(*(uint32_t*)0x200019b2 = 0x1f);
  NONFAILING(*(uint32_t*)0x200019b6 = 5);
  NONFAILING(*(uint32_t*)0x200019ba = 1);
  NONFAILING(*(uint32_t*)0x200019be = 2);
  NONFAILING(*(uint32_t*)0x200019c2 = 0x8000);
  NONFAILING(*(uint32_t*)0x200019c6 = 0xffffff01);
  NONFAILING(*(uint32_t*)0x200019ca = 0xba);
  NONFAILING(*(uint32_t*)0x200019ce = 0);
  NONFAILING(*(uint32_t*)0x200019d2 = 9);
  NONFAILING(*(uint32_t*)0x200019d6 = 0xff);
  NONFAILING(*(uint32_t*)0x200019da = 0x80);
  NONFAILING(*(uint32_t*)0x200019de = 0x40);
  NONFAILING(*(uint32_t*)0x200019e2 = 2);
  NONFAILING(*(uint32_t*)0x200019e6 = 7);
  NONFAILING(*(uint32_t*)0x200019ea = 0x10000);
  NONFAILING(*(uint32_t*)0x200019ee = 0x83);
  NONFAILING(*(uint32_t*)0x200019f2 = 0x8f35);
  NONFAILING(*(uint16_t*)0x200019f6 = 4);
  NONFAILING(*(uint16_t*)0x200019f8 = 6);
  NONFAILING(*(uint16_t*)0x200019fc = 0x88);
  NONFAILING(*(uint16_t*)0x200019fe = 1);
  NONFAILING(*(uint16_t*)0x20001a00 = 0x84);
  NONFAILING(*(uint32_t*)0x20001a02 = 4);
  NONFAILING(*(uint16_t*)0x20001a06 = 8);
  NONFAILING(*(uint16_t*)0x20001a08 = 1);
  NONFAILING(memcpy((void*)0x20001a0a, "ife\000", 4));
  NONFAILING(*(uint16_t*)0x20001a0e = 0x70);
  NONFAILING(*(uint16_t*)0x20001a10 = 2);
  NONFAILING(*(uint16_t*)0x20001a12 = 0x1c);
  NONFAILING(*(uint16_t*)0x20001a14 = 1);
  NONFAILING(*(uint32_t*)0x20001a16 = 0x101);
  NONFAILING(*(uint32_t*)0x20001a1a = 0xe9);
  NONFAILING(*(uint32_t*)0x20001a1e = -1);
  NONFAILING(*(uint32_t*)0x20001a22 = 9);
  NONFAILING(*(uint32_t*)0x20001a26 = 0x7fffffff);
  NONFAILING(*(uint16_t*)0x20001a2a = 0);
  NONFAILING(*(uint16_t*)0x20001a2e = 0xc);
  NONFAILING(*(uint16_t*)0x20001a30 = 4);
  NONFAILING(*(uint8_t*)0x20001a32 = 0xaa);
  NONFAILING(*(uint8_t*)0x20001a33 = 0xaa);
  NONFAILING(*(uint8_t*)0x20001a34 = 0xaa);
  NONFAILING(*(uint8_t*)0x20001a35 = 0xaa);
  NONFAILING(*(uint8_t*)0x20001a36 = 0xaa);
  NONFAILING(*(uint8_t*)0x20001a37 = 0xaa);
  NONFAILING(*(uint16_t*)0x20001a3a = 0xc);
  NONFAILING(*(uint16_t*)0x20001a3c = 4);
  NONFAILING(*(uint8_t*)0x20001a3e = 0xaa);
  NONFAILING(*(uint8_t*)0x20001a3f = 0xaa);
  NONFAILING(*(uint8_t*)0x20001a40 = 0xaa);
  NONFAILING(*(uint8_t*)0x20001a41 = 0xaa);
  NONFAILING(*(uint8_t*)0x20001a42 = 0xaa);
  NONFAILING(*(uint8_t*)0x20001a43 = 0xe);
  NONFAILING(*(uint16_t*)0x20001a46 = 0x14);
  NONFAILING(*(uint16_t*)0x20001a48 = 6);
  NONFAILING(*(uint16_t*)0x20001a4a = 8);
  NONFAILING(*(uint16_t*)0x20001a4c = 3);
  NONFAILING(*(uint32_t*)0x20001a4e = 0x100);
  NONFAILING(*(uint16_t*)0x20001a52 = 4);
  NONFAILING(*(uint16_t*)0x20001a54 = 3);
  NONFAILING(*(uint16_t*)0x20001a56 = 4);
  NONFAILING(*(uint16_t*)0x20001a58 = 5);
  NONFAILING(*(uint16_t*)0x20001a5a = 0xc);
  NONFAILING(*(uint16_t*)0x20001a5c = 4);
  NONFAILING(*(uint8_t*)0x20001a5e = 0xaa);
  NONFAILING(*(uint8_t*)0x20001a5f = 0xaa);
  NONFAILING(*(uint8_t*)0x20001a60 = 0xaa);
  NONFAILING(*(uint8_t*)0x20001a61 = 0xaa);
  NONFAILING(*(uint8_t*)0x20001a62 = 0xaa);
  NONFAILING(*(uint8_t*)0x20001a63 = 0xf);
  NONFAILING(*(uint16_t*)0x20001a66 = 0xc);
  NONFAILING(*(uint16_t*)0x20001a68 = 4);
  NONFAILING(memcpy((void*)0x20001a6a, "\x40\xc0\xa1\xcf\x42\xa6", 6));
  NONFAILING(*(uint16_t*)0x20001a72 = 0xc);
  NONFAILING(*(uint16_t*)0x20001a74 = 3);
  NONFAILING(*(uint8_t*)0x20001a76 = 1);
  NONFAILING(*(uint8_t*)0x20001a77 = 0x80);
  NONFAILING(*(uint8_t*)0x20001a78 = 0xc2);
  NONFAILING(*(uint8_t*)0x20001a79 = 0);
  NONFAILING(*(uint8_t*)0x20001a7a = 0);
  NONFAILING(*(uint8_t*)0x20001a7b = 0xe);
  NONFAILING(*(uint16_t*)0x20001a7e = 4);
  NONFAILING(*(uint16_t*)0x20001a80 = 6);
  NONFAILING(*(uint16_t*)0x20001a84 = 0x60);
  NONFAILING(*(uint16_t*)0x20001a86 = 1);
  NONFAILING(*(uint16_t*)0x20001a88 = 0x5c);
  NONFAILING(*(uint32_t*)0x20001a8a = 3);
  NONFAILING(*(uint16_t*)0x20001a8e = 0x10);
  NONFAILING(*(uint16_t*)0x20001a90 = 1);
  NONFAILING(memcpy((void*)0x20001a92, "tunnel_key\000", 11));
  NONFAILING(*(uint16_t*)0x20001a9e = 0x40);
  NONFAILING(*(uint16_t*)0x20001aa0 = 2);
  NONFAILING(*(uint16_t*)0x20001aa2 = 8);
  NONFAILING(*(uint16_t*)0x20001aa4 = 0xa);
  NONFAILING(*(uint8_t*)0x20001aa6 = 0);
  NONFAILING(*(uint16_t*)0x20001aaa = 8);
  NONFAILING(*(uint16_t*)0x20001aac = 3);
  NONFAILING(*(uint8_t*)0x20001aae = 0xac);
  NONFAILING(*(uint8_t*)0x20001aaf = 0x14);
  NONFAILING(*(uint8_t*)0x20001ab0 = 0x14);
  NONFAILING(*(uint8_t*)0x20001ab1 = 0xbb);
  NONFAILING(*(uint16_t*)0x20001ab2 = 0x14);
  NONFAILING(*(uint16_t*)0x20001ab4 = 5);
  NONFAILING(*(uint8_t*)0x20001ab6 = -1);
  NONFAILING(*(uint8_t*)0x20001ab7 = 1);
  NONFAILING(*(uint8_t*)0x20001ab8 = 0);
  NONFAILING(*(uint8_t*)0x20001ab9 = 0);
  NONFAILING(*(uint8_t*)0x20001aba = 0);
  NONFAILING(*(uint8_t*)0x20001abb = 0);
  NONFAILING(*(uint8_t*)0x20001abc = 0);
  NONFAILING(*(uint8_t*)0x20001abd = 0);
  NONFAILING(*(uint8_t*)0x20001abe = 0);
  NONFAILING(*(uint8_t*)0x20001abf = 0);
  NONFAILING(*(uint8_t*)0x20001ac0 = 0);
  NONFAILING(*(uint8_t*)0x20001ac1 = 0);
  NONFAILING(*(uint8_t*)0x20001ac2 = 0);
  NONFAILING(*(uint8_t*)0x20001ac3 = 0);
  NONFAILING(*(uint8_t*)0x20001ac4 = 0);
  NONFAILING(*(uint8_t*)0x20001ac5 = 1);
  NONFAILING(*(uint16_t*)0x20001ac6 = 8);
  NONFAILING(*(uint16_t*)0x20001ac8 = 4);
  NONFAILING(*(uint8_t*)0x20001aca = 0xac);
  NONFAILING(*(uint8_t*)0x20001acb = 0x1e);
  NONFAILING(*(uint8_t*)0x20001acc = 0);
  NONFAILING(*(uint8_t*)0x20001acd = 1);
  NONFAILING(*(uint16_t*)0x20001ace = 8);
  NONFAILING(*(uint16_t*)0x20001ad0 = 3);
  NONFAILING(*(uint32_t*)0x20001ad2 = htobe32(4));
  NONFAILING(*(uint16_t*)0x20001ad6 = 8);
  NONFAILING(*(uint16_t*)0x20001ad8 = 7);
  NONFAILING(*(uint32_t*)0x20001ada = 0x7fffffff);
  NONFAILING(*(uint16_t*)0x20001ade = 4);
  NONFAILING(*(uint16_t*)0x20001ae0 = 6);
  NONFAILING(*(uint64_t*)0x200002c8 = 0x1764);
  NONFAILING(*(uint64_t*)0x20000318 = 1);
  NONFAILING(*(uint64_t*)0x20000320 = 0);
  NONFAILING(*(uint64_t*)0x20000328 = 0);
  NONFAILING(*(uint32_t*)0x20000330 = 0x4044810);
  syscall(__NR_sendmsg, r[0], 0x20000300, 0xc4);
}
int main(void)
{
  syscall(__NR_mmap, 0x20000000, 0x1000000, 3, 0x32, -1, 0);
  install_segv_handler();
  use_temporary_dir();
  do_sandbox_none();
  return 0;
}