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

#define _GNU_SOURCE

#include <dirent.h>
#include <endian.h>
#include <errno.h>
#include <fcntl.h>
#include <net/if.h>
#include <netinet/in.h>
#include <sched.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/wait.h>
#include <time.h>
#include <unistd.h>

#include <linux/capability.h>
#include <linux/net.h>

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;
}

#define BITMASK(bf_off, bf_len) (((1ull << (bf_len)) - 1) << (bf_off))
#define STORE_BY_BITMASK(type, htobe, addr, val, bf_off, bf_len)               \
  *(type*)(addr) =                                                             \
      htobe((htobe(*(type*)(addr)) & ~BITMASK((bf_off), (bf_len))) |           \
            (((type)(val) << (bf_off)) & BITMASK((bf_off), (bf_len))))

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;
}

#define MAX_FDS 30

#define XT_TABLE_SIZE 1536
#define XT_MAX_ENTRIES 10

struct xt_counters {
  uint64_t pcnt, bcnt;
};

struct ipt_getinfo {
  char name[32];
  unsigned int valid_hooks;
  unsigned int hook_entry[5];
  unsigned int underflow[5];
  unsigned int num_entries;
  unsigned int size;
};

struct ipt_get_entries {
  char name[32];
  unsigned int size;
  void* entrytable[XT_TABLE_SIZE / sizeof(void*)];
};

struct ipt_replace {
  char name[32];
  unsigned int valid_hooks;
  unsigned int num_entries;
  unsigned int size;
  unsigned int hook_entry[5];
  unsigned int underflow[5];
  unsigned int num_counters;
  struct xt_counters* counters;
  char entrytable[XT_TABLE_SIZE];
};

struct ipt_table_desc {
  const char* name;
  struct ipt_getinfo info;
  struct ipt_replace replace;
};

static struct ipt_table_desc ipv4_tables[] = {
    {.name = "filter"}, {.name = "nat"},      {.name = "mangle"},
    {.name = "raw"},    {.name = "security"},
};

static struct ipt_table_desc ipv6_tables[] = {
    {.name = "filter"}, {.name = "nat"},      {.name = "mangle"},
    {.name = "raw"},    {.name = "security"},
};

#define IPT_BASE_CTL 64
#define IPT_SO_SET_REPLACE (IPT_BASE_CTL)
#define IPT_SO_GET_INFO (IPT_BASE_CTL)
#define IPT_SO_GET_ENTRIES (IPT_BASE_CTL + 1)

struct arpt_getinfo {
  char name[32];
  unsigned int valid_hooks;
  unsigned int hook_entry[3];
  unsigned int underflow[3];
  unsigned int num_entries;
  unsigned int size;
};

struct arpt_get_entries {
  char name[32];
  unsigned int size;
  void* entrytable[XT_TABLE_SIZE / sizeof(void*)];
};

struct arpt_replace {
  char name[32];
  unsigned int valid_hooks;
  unsigned int num_entries;
  unsigned int size;
  unsigned int hook_entry[3];
  unsigned int underflow[3];
  unsigned int num_counters;
  struct xt_counters* counters;
  char entrytable[XT_TABLE_SIZE];
};

struct arpt_table_desc {
  const char* name;
  struct arpt_getinfo info;
  struct arpt_replace replace;
};

static struct arpt_table_desc arpt_tables[] = {
    {.name = "filter"},
};

#define ARPT_BASE_CTL 96
#define ARPT_SO_SET_REPLACE (ARPT_BASE_CTL)
#define ARPT_SO_GET_INFO (ARPT_BASE_CTL)
#define ARPT_SO_GET_ENTRIES (ARPT_BASE_CTL + 1)

static void checkpoint_iptables(struct ipt_table_desc* tables, int num_tables,
                                int family, int level)
{
  struct ipt_get_entries entries;
  socklen_t optlen;
  int fd, i;
  fd = socket(family, SOCK_STREAM, IPPROTO_TCP);
  if (fd == -1) {
    switch (errno) {
    case EAFNOSUPPORT:
    case ENOPROTOOPT:
      return;
    }
    exit(1);
  }
  for (i = 0; i < num_tables; i++) {
    struct ipt_table_desc* table = &tables[i];
    strcpy(table->info.name, table->name);
    strcpy(table->replace.name, table->name);
    optlen = sizeof(table->info);
    if (getsockopt(fd, level, IPT_SO_GET_INFO, &table->info, &optlen)) {
      switch (errno) {
      case EPERM:
      case ENOENT:
      case ENOPROTOOPT:
        continue;
      }
      exit(1);
    }
    if (table->info.size > sizeof(table->replace.entrytable))
      exit(1);
    if (table->info.num_entries > XT_MAX_ENTRIES)
      exit(1);
    memset(&entries, 0, sizeof(entries));
    strcpy(entries.name, table->name);
    entries.size = table->info.size;
    optlen = sizeof(entries) - sizeof(entries.entrytable) + table->info.size;
    if (getsockopt(fd, level, IPT_SO_GET_ENTRIES, &entries, &optlen))
      exit(1);
    table->replace.valid_hooks = table->info.valid_hooks;
    table->replace.num_entries = table->info.num_entries;
    table->replace.size = table->info.size;
    memcpy(table->replace.hook_entry, table->info.hook_entry,
           sizeof(table->replace.hook_entry));
    memcpy(table->replace.underflow, table->info.underflow,
           sizeof(table->replace.underflow));
    memcpy(table->replace.entrytable, entries.entrytable, table->info.size);
  }
  close(fd);
}

static void reset_iptables(struct ipt_table_desc* tables, int num_tables,
                           int family, int level)
{
  struct xt_counters counters[XT_MAX_ENTRIES];
  struct ipt_get_entries entries;
  struct ipt_getinfo info;
  socklen_t optlen;
  int fd, i;
  fd = socket(family, SOCK_STREAM, IPPROTO_TCP);
  if (fd == -1) {
    switch (errno) {
    case EAFNOSUPPORT:
    case ENOPROTOOPT:
      return;
    }
    exit(1);
  }
  for (i = 0; i < num_tables; i++) {
    struct ipt_table_desc* table = &tables[i];
    if (table->info.valid_hooks == 0)
      continue;
    memset(&info, 0, sizeof(info));
    strcpy(info.name, table->name);
    optlen = sizeof(info);
    if (getsockopt(fd, level, IPT_SO_GET_INFO, &info, &optlen))
      exit(1);
    if (memcmp(&table->info, &info, sizeof(table->info)) == 0) {
      memset(&entries, 0, sizeof(entries));
      strcpy(entries.name, table->name);
      entries.size = table->info.size;
      optlen = sizeof(entries) - sizeof(entries.entrytable) + entries.size;
      if (getsockopt(fd, level, IPT_SO_GET_ENTRIES, &entries, &optlen))
        exit(1);
      if (memcmp(table->replace.entrytable, entries.entrytable,
                 table->info.size) == 0)
        continue;
    }
    table->replace.num_counters = info.num_entries;
    table->replace.counters = counters;
    optlen = sizeof(table->replace) - sizeof(table->replace.entrytable) +
             table->replace.size;
    if (setsockopt(fd, level, IPT_SO_SET_REPLACE, &table->replace, optlen))
      exit(1);
  }
  close(fd);
}

static void checkpoint_arptables(void)
{
  struct arpt_get_entries entries;
  socklen_t optlen;
  unsigned i;
  int fd;
  fd = socket(AF_INET, SOCK_STREAM, IPPROTO_TCP);
  if (fd == -1) {
    switch (errno) {
    case EAFNOSUPPORT:
    case ENOPROTOOPT:
      return;
    }
    exit(1);
  }
  for (i = 0; i < sizeof(arpt_tables) / sizeof(arpt_tables[0]); i++) {
    struct arpt_table_desc* table = &arpt_tables[i];
    strcpy(table->info.name, table->name);
    strcpy(table->replace.name, table->name);
    optlen = sizeof(table->info);
    if (getsockopt(fd, SOL_IP, ARPT_SO_GET_INFO, &table->info, &optlen)) {
      switch (errno) {
      case EPERM:
      case ENOENT:
      case ENOPROTOOPT:
        continue;
      }
      exit(1);
    }
    if (table->info.size > sizeof(table->replace.entrytable))
      exit(1);
    if (table->info.num_entries > XT_MAX_ENTRIES)
      exit(1);
    memset(&entries, 0, sizeof(entries));
    strcpy(entries.name, table->name);
    entries.size = table->info.size;
    optlen = sizeof(entries) - sizeof(entries.entrytable) + table->info.size;
    if (getsockopt(fd, SOL_IP, ARPT_SO_GET_ENTRIES, &entries, &optlen))
      exit(1);
    table->replace.valid_hooks = table->info.valid_hooks;
    table->replace.num_entries = table->info.num_entries;
    table->replace.size = table->info.size;
    memcpy(table->replace.hook_entry, table->info.hook_entry,
           sizeof(table->replace.hook_entry));
    memcpy(table->replace.underflow, table->info.underflow,
           sizeof(table->replace.underflow));
    memcpy(table->replace.entrytable, entries.entrytable, table->info.size);
  }
  close(fd);
}

static void reset_arptables()
{
  struct xt_counters counters[XT_MAX_ENTRIES];
  struct arpt_get_entries entries;
  struct arpt_getinfo info;
  socklen_t optlen;
  unsigned i;
  int fd;
  fd = socket(AF_INET, SOCK_STREAM, IPPROTO_TCP);
  if (fd == -1) {
    switch (errno) {
    case EAFNOSUPPORT:
    case ENOPROTOOPT:
      return;
    }
    exit(1);
  }
  for (i = 0; i < sizeof(arpt_tables) / sizeof(arpt_tables[0]); i++) {
    struct arpt_table_desc* table = &arpt_tables[i];
    if (table->info.valid_hooks == 0)
      continue;
    memset(&info, 0, sizeof(info));
    strcpy(info.name, table->name);
    optlen = sizeof(info);
    if (getsockopt(fd, SOL_IP, ARPT_SO_GET_INFO, &info, &optlen))
      exit(1);
    if (memcmp(&table->info, &info, sizeof(table->info)) == 0) {
      memset(&entries, 0, sizeof(entries));
      strcpy(entries.name, table->name);
      entries.size = table->info.size;
      optlen = sizeof(entries) - sizeof(entries.entrytable) + entries.size;
      if (getsockopt(fd, SOL_IP, ARPT_SO_GET_ENTRIES, &entries, &optlen))
        exit(1);
      if (memcmp(table->replace.entrytable, entries.entrytable,
                 table->info.size) == 0)
        continue;
    } else {
    }
    table->replace.num_counters = info.num_entries;
    table->replace.counters = counters;
    optlen = sizeof(table->replace) - sizeof(table->replace.entrytable) +
             table->replace.size;
    if (setsockopt(fd, SOL_IP, ARPT_SO_SET_REPLACE, &table->replace, optlen))
      exit(1);
  }
  close(fd);
}

#define NF_BR_NUMHOOKS 6
#define EBT_TABLE_MAXNAMELEN 32
#define EBT_CHAIN_MAXNAMELEN 32
#define EBT_BASE_CTL 128
#define EBT_SO_SET_ENTRIES (EBT_BASE_CTL)
#define EBT_SO_GET_INFO (EBT_BASE_CTL)
#define EBT_SO_GET_ENTRIES (EBT_SO_GET_INFO + 1)
#define EBT_SO_GET_INIT_INFO (EBT_SO_GET_ENTRIES + 1)
#define EBT_SO_GET_INIT_ENTRIES (EBT_SO_GET_INIT_INFO + 1)

struct ebt_replace {
  char name[EBT_TABLE_MAXNAMELEN];
  unsigned int valid_hooks;
  unsigned int nentries;
  unsigned int entries_size;
  struct ebt_entries* hook_entry[NF_BR_NUMHOOKS];
  unsigned int num_counters;
  struct ebt_counter* counters;
  char* entries;
};

struct ebt_entries {
  unsigned int distinguisher;
  char name[EBT_CHAIN_MAXNAMELEN];
  unsigned int counter_offset;
  int policy;
  unsigned int nentries;
  char data[0] __attribute__((aligned(__alignof__(struct ebt_replace))));
};

struct ebt_table_desc {
  const char* name;
  struct ebt_replace replace;
  char entrytable[XT_TABLE_SIZE];
};

static struct ebt_table_desc ebt_tables[] = {
    {.name = "filter"}, {.name = "nat"}, {.name = "broute"},
};

static void checkpoint_ebtables(void)
{
  socklen_t optlen;
  unsigned i;
  int fd;
  fd = socket(AF_INET, SOCK_STREAM, IPPROTO_TCP);
  if (fd == -1) {
    switch (errno) {
    case EAFNOSUPPORT:
    case ENOPROTOOPT:
      return;
    }
    exit(1);
  }
  for (i = 0; i < sizeof(ebt_tables) / sizeof(ebt_tables[0]); i++) {
    struct ebt_table_desc* table = &ebt_tables[i];
    strcpy(table->replace.name, table->name);
    optlen = sizeof(table->replace);
    if (getsockopt(fd, SOL_IP, EBT_SO_GET_INIT_INFO, &table->replace,
                   &optlen)) {
      switch (errno) {
      case EPERM:
      case ENOENT:
      case ENOPROTOOPT:
        continue;
      }
      exit(1);
    }
    if (table->replace.entries_size > sizeof(table->entrytable))
      exit(1);
    table->replace.num_counters = 0;
    table->replace.entries = table->entrytable;
    optlen = sizeof(table->replace) + table->replace.entries_size;
    if (getsockopt(fd, SOL_IP, EBT_SO_GET_INIT_ENTRIES, &table->replace,
                   &optlen))
      exit(1);
  }
  close(fd);
}

static void reset_ebtables()
{
  struct ebt_replace replace;
  char entrytable[XT_TABLE_SIZE];
  socklen_t optlen;
  unsigned i, j, h;
  int fd;
  fd = socket(AF_INET, SOCK_STREAM, IPPROTO_TCP);
  if (fd == -1) {
    switch (errno) {
    case EAFNOSUPPORT:
    case ENOPROTOOPT:
      return;
    }
    exit(1);
  }
  for (i = 0; i < sizeof(ebt_tables) / sizeof(ebt_tables[0]); i++) {
    struct ebt_table_desc* table = &ebt_tables[i];
    if (table->replace.valid_hooks == 0)
      continue;
    memset(&replace, 0, sizeof(replace));
    strcpy(replace.name, table->name);
    optlen = sizeof(replace);
    if (getsockopt(fd, SOL_IP, EBT_SO_GET_INFO, &replace, &optlen))
      exit(1);
    replace.num_counters = 0;
    table->replace.entries = 0;
    for (h = 0; h < NF_BR_NUMHOOKS; h++)
      table->replace.hook_entry[h] = 0;
    if (memcmp(&table->replace, &replace, sizeof(table->replace)) == 0) {
      memset(&entrytable, 0, sizeof(entrytable));
      replace.entries = entrytable;
      optlen = sizeof(replace) + replace.entries_size;
      if (getsockopt(fd, SOL_IP, EBT_SO_GET_ENTRIES, &replace, &optlen))
        exit(1);
      if (memcmp(table->entrytable, entrytable, replace.entries_size) == 0)
        continue;
    }
    for (j = 0, h = 0; h < NF_BR_NUMHOOKS; h++) {
      if (table->replace.valid_hooks & (1 << h)) {
        table->replace.hook_entry[h] =
            (struct ebt_entries*)table->entrytable + j;
        j++;
      }
    }
    table->replace.entries = table->entrytable;
    optlen = sizeof(table->replace) + table->replace.entries_size;
    if (setsockopt(fd, SOL_IP, EBT_SO_SET_ENTRIES, &table->replace, optlen))
      exit(1);
  }
  close(fd);
}

static void checkpoint_net_namespace(void)
{
  checkpoint_ebtables();
  checkpoint_arptables();
  checkpoint_iptables(ipv4_tables, sizeof(ipv4_tables) / sizeof(ipv4_tables[0]),
                      AF_INET, SOL_IP);
  checkpoint_iptables(ipv6_tables, sizeof(ipv6_tables) / sizeof(ipv6_tables[0]),
                      AF_INET6, SOL_IPV6);
}

static void reset_net_namespace(void)
{
  reset_ebtables();
  reset_arptables();
  reset_iptables(ipv4_tables, sizeof(ipv4_tables) / sizeof(ipv4_tables[0]),
                 AF_INET, SOL_IP);
  reset_iptables(ipv6_tables, sizeof(ipv6_tables) / sizeof(ipv6_tables[0]),
                 AF_INET6, SOL_IPV6);
}

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

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 void drop_caps(void)
{
  struct __user_cap_header_struct cap_hdr = {};
  struct __user_cap_data_struct cap_data[2] = {};
  cap_hdr.version = _LINUX_CAPABILITY_VERSION_3;
  cap_hdr.pid = getpid();
  if (syscall(SYS_capget, &cap_hdr, &cap_data))
    exit(1);
  const int drop = (1 << CAP_SYS_PTRACE) | (1 << CAP_SYS_NICE);
  cap_data[0].effective &= ~drop;
  cap_data[0].permitted &= ~drop;
  cap_data[0].inheritable &= ~drop;
  if (syscall(SYS_capset, &cap_hdr, &cap_data))
    exit(1);
}

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();
  drop_caps();
  if (unshare(CLONE_NEWNET)) {
  }
  loop();
  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) {
  }
}

static void setup_loop()
{
  checkpoint_net_namespace();
}

static void reset_loop()
{
  reset_net_namespace();
}

static void setup_test()
{
  prctl(PR_SET_PDEATHSIG, SIGKILL, 0, 0, 0);
  setpgrp();
  write_file("/proc/self/oom_score_adj", "1000");
}

static void close_fds()
{
  int fd;
  for (fd = 3; fd < MAX_FDS; fd++)
    close(fd);
}

static void execute_one(void);

#define WAIT_FLAGS __WALL

static void loop(void)
{
  setup_loop();
  int iter;
  for (iter = 0;; iter++) {
    reset_loop();
    int pid = fork();
    if (pid < 0)
      exit(1);
    if (pid == 0) {
      setup_test();
      execute_one();
      close_fds();
      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;
    }
  }
}

uint64_t r[3] = {0xffffffffffffffff, 0xffffffffffffffff, 0xffffffffffffffff};

void execute_one(void)
{
  intptr_t res = 0;
  res = syscall(__NR_socket, 2ul, 2ul, 0ul);
  if (res != -1)
    r[0] = res;
  memcpy((void*)0x200009c0, "mangle\000\000\000\000\000\000\000\000\000\000\000"
                            "\000\000\000\000\000\000\000\000\000\000\000\000"
                            "\000\000\000",
         32);
  *(uint32_t*)0x200009e0 = 0x1f;
  *(uint32_t*)0x200009e4 = 6;
  *(uint32_t*)0x200009e8 = 0x3c8;
  *(uint32_t*)0x200009ec = 0x1e8;
  *(uint32_t*)0x200009f0 = 0x1e8;
  *(uint32_t*)0x200009f4 = 0x98;
  *(uint32_t*)0x200009f8 = 0x98;
  *(uint32_t*)0x200009fc = 0x130;
  *(uint32_t*)0x20000a00 = 0x330;
  *(uint32_t*)0x20000a04 = 0x330;
  *(uint32_t*)0x20000a08 = 0x330;
  *(uint32_t*)0x20000a0c = 0x330;
  *(uint32_t*)0x20000a10 = 0x330;
  *(uint32_t*)0x20000a14 = 6;
  *(uint64_t*)0x20000a18 = 0;
  *(uint8_t*)0x20000a20 = 0;
  *(uint8_t*)0x20000a21 = 0;
  *(uint8_t*)0x20000a22 = 0;
  *(uint8_t*)0x20000a23 = 0;
  *(uint8_t*)0x20000a24 = 0;
  *(uint8_t*)0x20000a25 = 0;
  *(uint8_t*)0x20000a26 = 0;
  *(uint8_t*)0x20000a27 = 0;
  *(uint8_t*)0x20000a28 = 0;
  *(uint8_t*)0x20000a29 = 0;
  *(uint8_t*)0x20000a2a = 0;
  *(uint8_t*)0x20000a2b = 0;
  *(uint8_t*)0x20000a2c = 0;
  *(uint8_t*)0x20000a2d = 0;
  *(uint8_t*)0x20000a2e = 0;
  *(uint8_t*)0x20000a2f = 0;
  *(uint8_t*)0x20000a30 = 0;
  *(uint8_t*)0x20000a31 = 0;
  *(uint8_t*)0x20000a32 = 0;
  *(uint8_t*)0x20000a33 = 0;
  *(uint8_t*)0x20000a34 = 0;
  *(uint8_t*)0x20000a35 = 0;
  *(uint8_t*)0x20000a36 = 0;
  *(uint8_t*)0x20000a37 = 0;
  *(uint8_t*)0x20000a38 = 0;
  *(uint8_t*)0x20000a39 = 0;
  *(uint8_t*)0x20000a3a = 0;
  *(uint8_t*)0x20000a3b = 0;
  *(uint8_t*)0x20000a3c = 0;
  *(uint8_t*)0x20000a3d = 0;
  *(uint8_t*)0x20000a3e = 0;
  *(uint8_t*)0x20000a3f = 0;
  *(uint8_t*)0x20000a40 = 0;
  *(uint8_t*)0x20000a41 = 0;
  *(uint8_t*)0x20000a42 = 0;
  *(uint8_t*)0x20000a43 = 0;
  *(uint8_t*)0x20000a44 = 0;
  *(uint8_t*)0x20000a45 = 0;
  *(uint8_t*)0x20000a46 = 0;
  *(uint8_t*)0x20000a47 = 0;
  *(uint8_t*)0x20000a48 = 0;
  *(uint8_t*)0x20000a49 = 0;
  *(uint8_t*)0x20000a4a = 0;
  *(uint8_t*)0x20000a4b = 0;
  *(uint8_t*)0x20000a4c = 0;
  *(uint8_t*)0x20000a4d = 0;
  *(uint8_t*)0x20000a4e = 0;
  *(uint8_t*)0x20000a4f = 0;
  *(uint8_t*)0x20000a50 = 0;
  *(uint8_t*)0x20000a51 = 0;
  *(uint8_t*)0x20000a52 = 0;
  *(uint8_t*)0x20000a53 = 0;
  *(uint8_t*)0x20000a54 = 0;
  *(uint8_t*)0x20000a55 = 0;
  *(uint8_t*)0x20000a56 = 0;
  *(uint8_t*)0x20000a57 = 0;
  *(uint8_t*)0x20000a58 = 0;
  *(uint8_t*)0x20000a59 = 0;
  *(uint8_t*)0x20000a5a = 0;
  *(uint8_t*)0x20000a5b = 0;
  *(uint8_t*)0x20000a5c = 0;
  *(uint8_t*)0x20000a5d = 0;
  *(uint8_t*)0x20000a5e = 0;
  *(uint8_t*)0x20000a5f = 0;
  *(uint8_t*)0x20000a60 = 0;
  *(uint8_t*)0x20000a61 = 0;
  *(uint8_t*)0x20000a62 = 0;
  *(uint8_t*)0x20000a63 = 0;
  *(uint8_t*)0x20000a64 = 0;
  *(uint8_t*)0x20000a65 = 0;
  *(uint8_t*)0x20000a66 = 0;
  *(uint8_t*)0x20000a67 = 0;
  *(uint8_t*)0x20000a68 = 0;
  *(uint8_t*)0x20000a69 = 0;
  *(uint8_t*)0x20000a6a = 0;
  *(uint8_t*)0x20000a6b = 0;
  *(uint8_t*)0x20000a6c = 0;
  *(uint8_t*)0x20000a6d = 0;
  *(uint8_t*)0x20000a6e = 0;
  *(uint8_t*)0x20000a6f = 0;
  *(uint8_t*)0x20000a70 = 0;
  *(uint8_t*)0x20000a71 = 0;
  *(uint8_t*)0x20000a72 = 0;
  *(uint8_t*)0x20000a73 = 0;
  *(uint32_t*)0x20000a74 = 0;
  *(uint16_t*)0x20000a78 = 0x70;
  *(uint16_t*)0x20000a7a = 0x98;
  *(uint32_t*)0x20000a7c = 0;
  *(uint64_t*)0x20000a80 = 0;
  *(uint64_t*)0x20000a88 = 0;
  *(uint16_t*)0x20000a90 = 0x28;
  memcpy((void*)0x20000a92, "TTL\000\000\000\000\000\000\000\000\000\000\000"
                            "\000\000\000\000\000\000\000\000\000\000\000\000"
                            "\000\000\000",
         29);
  *(uint8_t*)0x20000aaf = 0;
  *(uint8_t*)0x20000ab0 = 0;
  *(uint8_t*)0x20000ab1 = 0;
  *(uint8_t*)0x20000ab8 = 0;
  *(uint8_t*)0x20000ab9 = 0;
  *(uint8_t*)0x20000aba = 0;
  *(uint8_t*)0x20000abb = 0;
  *(uint8_t*)0x20000abc = 0;
  *(uint8_t*)0x20000abd = 0;
  *(uint8_t*)0x20000abe = 0;
  *(uint8_t*)0x20000abf = 0;
  *(uint8_t*)0x20000ac0 = 0;
  *(uint8_t*)0x20000ac1 = 0;
  *(uint8_t*)0x20000ac2 = 0;
  *(uint8_t*)0x20000ac3 = 0;
  *(uint8_t*)0x20000ac4 = 0;
  *(uint8_t*)0x20000ac5 = 0;
  *(uint8_t*)0x20000ac6 = 0;
  *(uint8_t*)0x20000ac7 = 0;
  *(uint8_t*)0x20000ac8 = 0;
  *(uint8_t*)0x20000ac9 = 0;
  *(uint8_t*)0x20000aca = 0;
  *(uint8_t*)0x20000acb = 0;
  *(uint8_t*)0x20000acc = 0;
  *(uint8_t*)0x20000acd = 0;
  *(uint8_t*)0x20000ace = 0;
  *(uint8_t*)0x20000acf = 0;
  *(uint8_t*)0x20000ad0 = 0;
  *(uint8_t*)0x20000ad1 = 0;
  *(uint8_t*)0x20000ad2 = 0;
  *(uint8_t*)0x20000ad3 = 0;
  *(uint8_t*)0x20000ad4 = 0;
  *(uint8_t*)0x20000ad5 = 0;
  *(uint8_t*)0x20000ad6 = 0;
  *(uint8_t*)0x20000ad7 = 0;
  *(uint8_t*)0x20000ad8 = 0;
  *(uint8_t*)0x20000ad9 = 0;
  *(uint8_t*)0x20000ada = 0;
  *(uint8_t*)0x20000adb = 0;
  *(uint8_t*)0x20000adc = 0;
  *(uint8_t*)0x20000add = 0;
  *(uint8_t*)0x20000ade = 0;
  *(uint8_t*)0x20000adf = 0;
  *(uint8_t*)0x20000ae0 = 0;
  *(uint8_t*)0x20000ae1 = 0;
  *(uint8_t*)0x20000ae2 = 0;
  *(uint8_t*)0x20000ae3 = 0;
  *(uint8_t*)0x20000ae4 = 0;
  *(uint8_t*)0x20000ae5 = 0;
  *(uint8_t*)0x20000ae6 = 0;
  *(uint8_t*)0x20000ae7 = 0;
  *(uint8_t*)0x20000ae8 = 0;
  *(uint8_t*)0x20000ae9 = 0;
  *(uint8_t*)0x20000aea = 0;
  *(uint8_t*)0x20000aeb = 0;
  *(uint8_t*)0x20000aec = 0;
  *(uint8_t*)0x20000aed = 0;
  *(uint8_t*)0x20000aee = 0;
  *(uint8_t*)0x20000aef = 0;
  *(uint8_t*)0x20000af0 = 0;
  *(uint8_t*)0x20000af1 = 0;
  *(uint8_t*)0x20000af2 = 0;
  *(uint8_t*)0x20000af3 = 0;
  *(uint8_t*)0x20000af4 = 0;
  *(uint8_t*)0x20000af5 = 0;
  *(uint8_t*)0x20000af6 = 0;
  *(uint8_t*)0x20000af7 = 0;
  *(uint8_t*)0x20000af8 = 0;
  *(uint8_t*)0x20000af9 = 0;
  *(uint8_t*)0x20000afa = 0;
  *(uint8_t*)0x20000afb = 0;
  *(uint8_t*)0x20000afc = 0;
  *(uint8_t*)0x20000afd = 0;
  *(uint8_t*)0x20000afe = 0;
  *(uint8_t*)0x20000aff = 0;
  *(uint8_t*)0x20000b00 = 0;
  *(uint8_t*)0x20000b01 = 0;
  *(uint8_t*)0x20000b02 = 0;
  *(uint8_t*)0x20000b03 = 0;
  *(uint8_t*)0x20000b04 = 0;
  *(uint8_t*)0x20000b05 = 0;
  *(uint8_t*)0x20000b06 = 0;
  *(uint8_t*)0x20000b07 = 0;
  *(uint8_t*)0x20000b08 = 0;
  *(uint8_t*)0x20000b09 = 0;
  *(uint8_t*)0x20000b0a = 0;
  *(uint8_t*)0x20000b0b = 0;
  *(uint32_t*)0x20000b0c = 0;
  *(uint16_t*)0x20000b10 = 0x70;
  *(uint16_t*)0x20000b12 = 0x98;
  *(uint32_t*)0x20000b14 = 0;
  *(uint64_t*)0x20000b18 = 0;
  *(uint64_t*)0x20000b20 = 0;
  *(uint16_t*)0x20000b28 = 0x28;
  memcpy((void*)0x20000b2a, "TTL\000\000\000\000\000\000\000\000\000\000\000"
                            "\000\000\000\000\000\000\000\000\000\000\000\000"
                            "\000\000\000",
         29);
  *(uint8_t*)0x20000b47 = 0;
  *(uint8_t*)0x20000b48 = 0;
  *(uint8_t*)0x20000b49 = 0;
  *(uint32_t*)0x20000b50 = htobe32(0xe0000002);
  *(uint8_t*)0x20000b54 = 0xac;
  *(uint8_t*)0x20000b55 = 0x14;
  *(uint8_t*)0x20000b56 = 0x14;
  *(uint8_t*)0x20000b57 = 0xaa;
  *(uint32_t*)0x20000b58 = htobe32(0);
  *(uint32_t*)0x20000b5c = htobe32(0);
  memcpy((void*)0x20000b60,
         "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000",
         16);
  memcpy((void*)0x20000b70, "erspan0\000\000\000\000\000\000\000\000\000", 16);
  *(uint8_t*)0x20000b80 = 0;
  *(uint8_t*)0x20000b90 = 0;
  *(uint16_t*)0x20000ba0 = 0;
  *(uint8_t*)0x20000ba2 = 0;
  *(uint8_t*)0x20000ba3 = 0;
  *(uint32_t*)0x20000ba4 = 0;
  *(uint16_t*)0x20000ba8 = 0x70;
  *(uint16_t*)0x20000baa = 0xb8;
  *(uint32_t*)0x20000bac = 0;
  *(uint64_t*)0x20000bb0 = 0;
  *(uint64_t*)0x20000bb8 = 0;
  *(uint16_t*)0x20000bc0 = 0x48;
  memcpy((void*)0x20000bc2, "TEE\000\000\000\000\000\000\000\000\000\000\000"
                            "\000\000\000\000\000\000\000\000\000\000\000\000"
                            "\000\000\000",
         29);
  *(uint8_t*)0x20000bdf = 1;
  *(uint8_t*)0x20000be0 = -1;
  *(uint8_t*)0x20000be1 = 2;
  *(uint8_t*)0x20000be2 = 0;
  *(uint8_t*)0x20000be3 = 0;
  *(uint8_t*)0x20000be4 = 0;
  *(uint8_t*)0x20000be5 = 0;
  *(uint8_t*)0x20000be6 = 0;
  *(uint8_t*)0x20000be7 = 0;
  *(uint8_t*)0x20000be8 = 0;
  *(uint8_t*)0x20000be9 = 0;
  *(uint8_t*)0x20000bea = 0;
  *(uint8_t*)0x20000beb = 0;
  *(uint8_t*)0x20000bec = 0;
  *(uint8_t*)0x20000bed = 0;
  *(uint8_t*)0x20000bee = 0;
  *(uint8_t*)0x20000bef = 1;
  memcpy((void*)0x20000bf0,
         "gre0\000\000\000\000\000\000\000\000\000\000\000\000", 16);
  *(uint64_t*)0x20000c00 = 0;
  *(uint8_t*)0x20000c08 = 0;
  *(uint8_t*)0x20000c09 = 0;
  *(uint8_t*)0x20000c0a = 0;
  *(uint8_t*)0x20000c0b = 0;
  *(uint8_t*)0x20000c0c = 0;
  *(uint8_t*)0x20000c0d = 0;
  *(uint8_t*)0x20000c0e = 0;
  *(uint8_t*)0x20000c0f = 0;
  *(uint8_t*)0x20000c10 = 0;
  *(uint8_t*)0x20000c11 = 0;
  *(uint8_t*)0x20000c12 = 0;
  *(uint8_t*)0x20000c13 = 0;
  *(uint8_t*)0x20000c14 = 0;
  *(uint8_t*)0x20000c15 = 0;
  *(uint8_t*)0x20000c16 = 0;
  *(uint8_t*)0x20000c17 = 0;
  *(uint8_t*)0x20000c18 = 0;
  *(uint8_t*)0x20000c19 = 0;
  *(uint8_t*)0x20000c1a = 0;
  *(uint8_t*)0x20000c1b = 0;
  *(uint8_t*)0x20000c1c = 0;
  *(uint8_t*)0x20000c1d = 0;
  *(uint8_t*)0x20000c1e = 0;
  *(uint8_t*)0x20000c1f = 0;
  *(uint8_t*)0x20000c20 = 0;
  *(uint8_t*)0x20000c21 = 0;
  *(uint8_t*)0x20000c22 = 0;
  *(uint8_t*)0x20000c23 = 0;
  *(uint8_t*)0x20000c24 = 0;
  *(uint8_t*)0x20000c25 = 0;
  *(uint8_t*)0x20000c26 = 0;
  *(uint8_t*)0x20000c27 = 0;
  *(uint8_t*)0x20000c28 = 0;
  *(uint8_t*)0x20000c29 = 0;
  *(uint8_t*)0x20000c2a = 0;
  *(uint8_t*)0x20000c2b = 0;
  *(uint8_t*)0x20000c2c = 0;
  *(uint8_t*)0x20000c2d = 0;
  *(uint8_t*)0x20000c2e = 0;
  *(uint8_t*)0x20000c2f = 0;
  *(uint8_t*)0x20000c30 = 0;
  *(uint8_t*)0x20000c31 = 0;
  *(uint8_t*)0x20000c32 = 0;
  *(uint8_t*)0x20000c33 = 0;
  *(uint8_t*)0x20000c34 = 0;
  *(uint8_t*)0x20000c35 = 0;
  *(uint8_t*)0x20000c36 = 0;
  *(uint8_t*)0x20000c37 = 0;
  *(uint8_t*)0x20000c38 = 0;
  *(uint8_t*)0x20000c39 = 0;
  *(uint8_t*)0x20000c3a = 0;
  *(uint8_t*)0x20000c3b = 0;
  *(uint8_t*)0x20000c3c = 0;
  *(uint8_t*)0x20000c3d = 0;
  *(uint8_t*)0x20000c3e = 0;
  *(uint8_t*)0x20000c3f = 0;
  *(uint8_t*)0x20000c40 = 0;
  *(uint8_t*)0x20000c41 = 0;
  *(uint8_t*)0x20000c42 = 0;
  *(uint8_t*)0x20000c43 = 0;
  *(uint8_t*)0x20000c44 = 0;
  *(uint8_t*)0x20000c45 = 0;
  *(uint8_t*)0x20000c46 = 0;
  *(uint8_t*)0x20000c47 = 0;
  *(uint8_t*)0x20000c48 = 0;
  *(uint8_t*)0x20000c49 = 0;
  *(uint8_t*)0x20000c4a = 0;
  *(uint8_t*)0x20000c4b = 0;
  *(uint8_t*)0x20000c4c = 0;
  *(uint8_t*)0x20000c4d = 0;
  *(uint8_t*)0x20000c4e = 0;
  *(uint8_t*)0x20000c4f = 0;
  *(uint8_t*)0x20000c50 = 0;
  *(uint8_t*)0x20000c51 = 0;
  *(uint8_t*)0x20000c52 = 0;
  *(uint8_t*)0x20000c53 = 0;
  *(uint8_t*)0x20000c54 = 0;
  *(uint8_t*)0x20000c55 = 0;
  *(uint8_t*)0x20000c56 = 0;
  *(uint8_t*)0x20000c57 = 0;
  *(uint8_t*)0x20000c58 = 0;
  *(uint8_t*)0x20000c59 = 0;
  *(uint8_t*)0x20000c5a = 0;
  *(uint8_t*)0x20000c5b = 0;
  *(uint32_t*)0x20000c5c = 0;
  *(uint16_t*)0x20000c60 = 0x70;
  *(uint16_t*)0x20000c62 = 0xb0;
  *(uint32_t*)0x20000c64 = 0;
  *(uint64_t*)0x20000c68 = 0;
  *(uint64_t*)0x20000c70 = 0;
  *(uint16_t*)0x20000c78 = 0x40;
  memcpy((void*)0x20000c7a, "RATEEST\000\000\000\000\000\000\000\000\000\000"
                            "\000\000\000\000\000\000\000\000\000\000\000\000",
         29);
  *(uint8_t*)0x20000c97 = 0;
  memcpy((void*)0x20000c98,
         "syz1\000\000\000\000\000\000\000\000\000\000\000\000", 16);
  *(uint8_t*)0x20000ca8 = 0;
  *(uint8_t*)0x20000ca9 = 0;
  *(uint64_t*)0x20000cb0 = 0;
  *(uint8_t*)0x20000cb8 = 0;
  *(uint8_t*)0x20000cb9 = 0;
  *(uint8_t*)0x20000cba = 0;
  *(uint8_t*)0x20000cbb = 0;
  *(uint8_t*)0x20000cbc = 0;
  *(uint8_t*)0x20000cbd = 0;
  *(uint8_t*)0x20000cbe = 0;
  *(uint8_t*)0x20000cbf = 0;
  *(uint8_t*)0x20000cc0 = 0;
  *(uint8_t*)0x20000cc1 = 0;
  *(uint8_t*)0x20000cc2 = 0;
  *(uint8_t*)0x20000cc3 = 0;
  *(uint8_t*)0x20000cc4 = 0;
  *(uint8_t*)0x20000cc5 = 0;
  *(uint8_t*)0x20000cc6 = 0;
  *(uint8_t*)0x20000cc7 = 0;
  *(uint8_t*)0x20000cc8 = 0;
  *(uint8_t*)0x20000cc9 = 0;
  *(uint8_t*)0x20000cca = 0;
  *(uint8_t*)0x20000ccb = 0;
  *(uint8_t*)0x20000ccc = 0;
  *(uint8_t*)0x20000ccd = 0;
  *(uint8_t*)0x20000cce = 0;
  *(uint8_t*)0x20000ccf = 0;
  *(uint8_t*)0x20000cd0 = 0;
  *(uint8_t*)0x20000cd1 = 0;
  *(uint8_t*)0x20000cd2 = 0;
  *(uint8_t*)0x20000cd3 = 0;
  *(uint8_t*)0x20000cd4 = 0;
  *(uint8_t*)0x20000cd5 = 0;
  *(uint8_t*)0x20000cd6 = 0;
  *(uint8_t*)0x20000cd7 = 0;
  *(uint8_t*)0x20000cd8 = 0;
  *(uint8_t*)0x20000cd9 = 0;
  *(uint8_t*)0x20000cda = 0;
  *(uint8_t*)0x20000cdb = 0;
  *(uint8_t*)0x20000cdc = 0;
  *(uint8_t*)0x20000cdd = 0;
  *(uint8_t*)0x20000cde = 0;
  *(uint8_t*)0x20000cdf = 0;
  *(uint8_t*)0x20000ce0 = 0;
  *(uint8_t*)0x20000ce1 = 0;
  *(uint8_t*)0x20000ce2 = 0;
  *(uint8_t*)0x20000ce3 = 0;
  *(uint8_t*)0x20000ce4 = 0;
  *(uint8_t*)0x20000ce5 = 0;
  *(uint8_t*)0x20000ce6 = 0;
  *(uint8_t*)0x20000ce7 = 0;
  *(uint8_t*)0x20000ce8 = 0;
  *(uint8_t*)0x20000ce9 = 0;
  *(uint8_t*)0x20000cea = 0;
  *(uint8_t*)0x20000ceb = 0;
  *(uint8_t*)0x20000cec = 0;
  *(uint8_t*)0x20000ced = 0;
  *(uint8_t*)0x20000cee = 0;
  *(uint8_t*)0x20000cef = 0;
  *(uint8_t*)0x20000cf0 = 0;
  *(uint8_t*)0x20000cf1 = 0;
  *(uint8_t*)0x20000cf2 = 0;
  *(uint8_t*)0x20000cf3 = 0;
  *(uint8_t*)0x20000cf4 = 0;
  *(uint8_t*)0x20000cf5 = 0;
  *(uint8_t*)0x20000cf6 = 0;
  *(uint8_t*)0x20000cf7 = 0;
  *(uint8_t*)0x20000cf8 = 0;
  *(uint8_t*)0x20000cf9 = 0;
  *(uint8_t*)0x20000cfa = 0;
  *(uint8_t*)0x20000cfb = 0;
  *(uint8_t*)0x20000cfc = 0;
  *(uint8_t*)0x20000cfd = 0;
  *(uint8_t*)0x20000cfe = 0;
  *(uint8_t*)0x20000cff = 0;
  *(uint8_t*)0x20000d00 = 0;
  *(uint8_t*)0x20000d01 = 0;
  *(uint8_t*)0x20000d02 = 0;
  *(uint8_t*)0x20000d03 = 0;
  *(uint8_t*)0x20000d04 = 0;
  *(uint8_t*)0x20000d05 = 0;
  *(uint8_t*)0x20000d06 = 0;
  *(uint8_t*)0x20000d07 = 0;
  *(uint8_t*)0x20000d08 = 0;
  *(uint8_t*)0x20000d09 = 0;
  *(uint8_t*)0x20000d0a = 0;
  *(uint8_t*)0x20000d0b = 0;
  *(uint32_t*)0x20000d0c = 0;
  *(uint16_t*)0x20000d10 = 0x70;
  *(uint16_t*)0x20000d12 = 0x98;
  *(uint32_t*)0x20000d14 = 0;
  *(uint64_t*)0x20000d18 = 0;
  *(uint64_t*)0x20000d20 = 0;
  *(uint16_t*)0x20000d28 = 0x28;
  memcpy((void*)0x20000d2a, "ECN\000\000\000\000\000\000\000\000\000\000\000"
                            "\000\000\000\000\000\000\000\000\000\000\000\000"
                            "\000\000\000",
         29);
  *(uint8_t*)0x20000d47 = 0;
  *(uint8_t*)0x20000d48 = 0;
  *(uint8_t*)0x20000d49 = 0;
  *(uint8_t*)0x20000d4a = 0;
  *(uint8_t*)0x20000d50 = 0;
  *(uint8_t*)0x20000d51 = 0;
  *(uint8_t*)0x20000d52 = 0;
  *(uint8_t*)0x20000d53 = 0;
  *(uint8_t*)0x20000d54 = 0;
  *(uint8_t*)0x20000d55 = 0;
  *(uint8_t*)0x20000d56 = 0;
  *(uint8_t*)0x20000d57 = 0;
  *(uint8_t*)0x20000d58 = 0;
  *(uint8_t*)0x20000d59 = 0;
  *(uint8_t*)0x20000d5a = 0;
  *(uint8_t*)0x20000d5b = 0;
  *(uint8_t*)0x20000d5c = 0;
  *(uint8_t*)0x20000d5d = 0;
  *(uint8_t*)0x20000d5e = 0;
  *(uint8_t*)0x20000d5f = 0;
  *(uint8_t*)0x20000d60 = 0;
  *(uint8_t*)0x20000d61 = 0;
  *(uint8_t*)0x20000d62 = 0;
  *(uint8_t*)0x20000d63 = 0;
  *(uint8_t*)0x20000d64 = 0;
  *(uint8_t*)0x20000d65 = 0;
  *(uint8_t*)0x20000d66 = 0;
  *(uint8_t*)0x20000d67 = 0;
  *(uint8_t*)0x20000d68 = 0;
  *(uint8_t*)0x20000d69 = 0;
  *(uint8_t*)0x20000d6a = 0;
  *(uint8_t*)0x20000d6b = 0;
  *(uint8_t*)0x20000d6c = 0;
  *(uint8_t*)0x20000d6d = 0;
  *(uint8_t*)0x20000d6e = 0;
  *(uint8_t*)0x20000d6f = 0;
  *(uint8_t*)0x20000d70 = 0;
  *(uint8_t*)0x20000d71 = 0;
  *(uint8_t*)0x20000d72 = 0;
  *(uint8_t*)0x20000d73 = 0;
  *(uint8_t*)0x20000d74 = 0;
  *(uint8_t*)0x20000d75 = 0;
  *(uint8_t*)0x20000d76 = 0;
  *(uint8_t*)0x20000d77 = 0;
  *(uint8_t*)0x20000d78 = 0;
  *(uint8_t*)0x20000d79 = 0;
  *(uint8_t*)0x20000d7a = 0;
  *(uint8_t*)0x20000d7b = 0;
  *(uint8_t*)0x20000d7c = 0;
  *(uint8_t*)0x20000d7d = 0;
  *(uint8_t*)0x20000d7e = 0;
  *(uint8_t*)0x20000d7f = 0;
  *(uint8_t*)0x20000d80 = 0;
  *(uint8_t*)0x20000d81 = 0;
  *(uint8_t*)0x20000d82 = 0;
  *(uint8_t*)0x20000d83 = 0;
  *(uint8_t*)0x20000d84 = 0;
  *(uint8_t*)0x20000d85 = 0;
  *(uint8_t*)0x20000d86 = 0;
  *(uint8_t*)0x20000d87 = 0;
  *(uint8_t*)0x20000d88 = 0;
  *(uint8_t*)0x20000d89 = 0;
  *(uint8_t*)0x20000d8a = 0;
  *(uint8_t*)0x20000d8b = 0;
  *(uint8_t*)0x20000d8c = 0;
  *(uint8_t*)0x20000d8d = 0;
  *(uint8_t*)0x20000d8e = 0;
  *(uint8_t*)0x20000d8f = 0;
  *(uint8_t*)0x20000d90 = 0;
  *(uint8_t*)0x20000d91 = 0;
  *(uint8_t*)0x20000d92 = 0;
  *(uint8_t*)0x20000d93 = 0;
  *(uint8_t*)0x20000d94 = 0;
  *(uint8_t*)0x20000d95 = 0;
  *(uint8_t*)0x20000d96 = 0;
  *(uint8_t*)0x20000d97 = 0;
  *(uint8_t*)0x20000d98 = 0;
  *(uint8_t*)0x20000d99 = 0;
  *(uint8_t*)0x20000d9a = 0;
  *(uint8_t*)0x20000d9b = 0;
  *(uint8_t*)0x20000d9c = 0;
  *(uint8_t*)0x20000d9d = 0;
  *(uint8_t*)0x20000d9e = 0;
  *(uint8_t*)0x20000d9f = 0;
  *(uint8_t*)0x20000da0 = 0;
  *(uint8_t*)0x20000da1 = 0;
  *(uint8_t*)0x20000da2 = 0;
  *(uint8_t*)0x20000da3 = 0;
  *(uint32_t*)0x20000da4 = 0;
  *(uint16_t*)0x20000da8 = 0x70;
  *(uint16_t*)0x20000daa = 0x98;
  *(uint32_t*)0x20000dac = 0;
  *(uint64_t*)0x20000db0 = 0;
  *(uint64_t*)0x20000db8 = 0;
  *(uint16_t*)0x20000dc0 = 0x28;
  memcpy((void*)0x20000dc2, "\000\000\000\000\000\000\000\000\000\000\000\000"
                            "\000\000\000\000\000\000\000\000\000\000\000\000"
                            "\000\000\000\000\000",
         29);
  *(uint8_t*)0x20000ddf = 0;
  *(uint32_t*)0x20000de0 = 0xfffffffe;
  syscall(__NR_setsockopt, r[0], 0ul, 0x40ul, 0x200009c0ul, 0x428ul);
  res = syscall(__NR_socket, 0x10ul, 3ul, 0ul);
  if (res != -1)
    r[1] = res;
  *(uint64_t*)0x20000040 = 0;
  *(uint32_t*)0x20000048 = 0;
  *(uint64_t*)0x20000050 = 0x20000000;
  *(uint64_t*)0x20000000 = 0x20000540;
  memcpy((void*)0x20000540, "\x48\x00\x00\x00\x10\x00\x05\x07\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00",
         20);
  *(uint32_t*)0x20000554 = -1;
  memcpy((void*)0x20000558,
         "\x00\x00\x00\x00\x00\x00\x00\x00\x28\x00\x12\x00\x0c\x00\x01\x00\x76"
         "\x65\x74\x68\x00\x00\x00\x00\x18\x00\x02\x00\xfd\x00\x01\x00\x00\x00"
         "\x00\x00\x23\xc0\x30\x65\x54\x36\x2d\xdd\xcb\x89\x2e\xf8\x05\x14\x04"
         "\xbd\xe5\xbf\x29\x6e\x3c\x56\x6a\x03\xd7\x24\xf7\xea\xd1\xef\x33\xad"
         "\xfd\xbe\x08\xb8\xc5\x23\x6b\x93\xb9\x79\x7b\x44\x09\xf6\xe3\x70\xd1"
         "\x51\x5d\x2e\x1f\xa6\x32\x59\xe6\xd4\xbd\x05\x77\x29\x81",
         99);
  *(uint32_t*)0x200005bb = 0;
  memcpy(
      (void*)0x200005bf,
      "\x00\x00\x00\x79\xab\xd1\x93\x2a\x9e\xc8\xa3\xa6\x36\x73\xa3\x6d\x66\xb1"
      "\x03\xe1\xfd\xbb\x46\x78\x73\x1c\x44\xd5\x77\x2a\x8b\x52\xf8\x81\x32\x61"
      "\x3f\x2a\xb9\xfa\xa4\x8e\x75\xb0\x50\x8e\x23\x67\x01\x8d\xc4\x47\x9c\x67"
      "\x57\xb0\xa5\x62\x21\x07\xe7\x80\xa5\x2d\x43\xa2\x22\xd4\xaa\x8f\xa0\xc3"
      "\xe9\x61\xe2\x40\x1d\x5d\xbb\x22\x10\x7c\xe4\x58\x4d\x22\xa3\x5c\x2f\xf5"
      "\xc7\x06\x97\x79\xf3\xa8\xe8\x88\xa8\xac\x94\x31\x2c\xdb\x43\xf7\x90\x7e"
      "\xbf\xcf\x3d\xc4\xad\x1f\x5e\x75\x77\xc5\xc2\xc9\x14\x64\x39\xe6\x91\x0c"
      "\x43\x7a\x82\x13\xe1\x77\xdf\xca\x08\xfb\x12\xf6\xc6\xa8\x34\x38\x21\xe5"
      "\x3d\x1f\x0e\xf2\x45\x75\x79\x71\x41\xdd\x16\xb8\x06\x50\x42\x50\x00\x17"
      "\xc0\xba\xb7\x26\x5b\xa1\x85\xfa\x61\x40\x41\x45\xc5\x00\xbe\x7e\x57\xf2"
      "\xaf\x45\x57\x65\xc6\x75\xc7\x10\xda\x30\xfb\x91\x5a\xbb\xfc\xb8\xfe\x5e"
      "\x5a\x54\xf9\x98\xae\xb8\xec\xb8\x69\x53\x7d\x7d\xdb\x52\x9a\x8d\x66\xa4"
      "\x90\x55\x86\xc9\xdd\x0d\x81\xd4\x84\x1e\x2c\x90\xbd\x8f\xa2\xbf\x38\x02"
      "\xbf\x96\x3e\xda\xae\x01\xeb\xd1\x25\x51\x0b\xbe\x75\xbe\xac\x07\x7a\xf7"
      "\x73\xd5\xd2\xa3\x4b\x25\x6e\x83\x69\xf6\x8b\x0f\xca\xb8\x7c\x7e\xe0\x33"
      "\x99\x7f\x53\xb6\x35\xb5\x9a\xc5\xaa\x14\x56\xd0\xb3\x5e\x1d\xd7\x34\x14"
      "\x9d\xbc\xf5\x41\xd7\x44\x96\x2b\x2b\xd0\xec\xe4\xc2\x67\x76\x0c\x3a\x6d"
      "\x4b\xce\x9b\x03\x00\x00\x00\xcf\xa7\x03\xa1\xa4\x8b\x59\x70\x0f\x8c\x90"
      "\x2e\x46\xae\x26\xe6\xe3\x11\x85\xa1\x9c\x07\x95\x9e\xdc\xb6\xbf\xc8\x8c"
      "\x9e\x6b\xc1\x24\x14\x75\x21\xf6\xeb\x32\x72\x31\xe3\x57\x85\x95\x13\x77"
      "\xc4\x0b\x71\x3a\x4f\x68\x54\xb0\x2c\x42\x8b\xef\x06\x8f\x94\x94\xaa\x8f"
      "\xc9\xf9\x9d\xdf\xf4\x0e\xf4\xfd\xc9\x36\x0e\xb1\xbc\x2a\x25\xac\x49\x1f"
      "\x2b\xc9\xc7\xa2\x3f\xe5\x66\x21\x70\xfe\xb5\x5b\x39\x99\xb4\x5b\x8b\x80"
      "\xa8\x43\x8d\xf1\x9e\x18\x3d\x85\x46\x91\xa1\xf2\xb3\x43\x52\xfe\xd5\x22"
      "\xc4\x26\x5e\x4e\xce\x52\xf3\x5d\x35\x1a\x16\x76\x98\x2c\xe0\xf2\xeb\x2c"
      "\x45\x4b\x9d\xf0\x4b\x97\x61\x79\x61\x1f\x1b\xe4\xde\xac\x0d\xd4\xc7\x9a"
      "\x12\x2f\x3d\x33\xe5\x2b\xcc\xe3\x88\x08\x80\x98\x20\x09\x4c\x31\xaf\x5c"
      "\xca\x2d\x79\xbf\x78\x3b\xb8\x75\x88\xd8\xc2\x1b\xad\x66\x3b\xbd\xe2\x64"
      "\x4c\xab\x2b\x60\x5d\x0c\xa9\x1b\x5c\x24\x17\xab\x7c\x7b\xba\x51\x73\xb0"
      "\xbf\xdd\xfd\x1d\x87\xce\x6d\x25\x7c\x05\x26\xfc\x05\x1a\xda\xf7\x83\xcb"
      "\x44\xe5\xf0\x98\x99\x88\x6b\x26\xca\x74\x6f\x8d\x2b\x39\x2e\x08\x71\xbc"
      "\xa6\xf1\xcb\x40\xc5\xac\x1b\xf5\xca\x80\xb9\x34\x42\x4d\xed\xdf\xb5\x47"
      "\xd8\xf9\xa3\x8a\x25\xaa\x39\x75\x2c\xac\x86\x69\x86\xbb\x0f\xaa\xf0\x7f"
      "\xfe\xec\xd2\x7b\xd7\x36\xfa\x1a\x05\x8e\xe5\xb1\x7a\xdb\xde\x60\x5e\xb5"
      "\xf3\x64\x8b\x4e\xe0\x13\x64\x0d\x01\x8b\x42\xef\x6b",
      625);
  *(uint64_t*)0x20000008 = 0x48;
  *(uint64_t*)0x20000058 = 1;
  *(uint64_t*)0x20000060 = 0;
  *(uint64_t*)0x20000068 = 0;
  *(uint32_t*)0x20000070 = 0;
  syscall(__NR_sendmsg, r[1], 0x20000040ul, 0ul);
  res = syscall(__NR_socket, 0x10ul, 3ul, 0xcul);
  if (res != -1)
    r[2] = res;
  *(uint64_t*)0x20000240 = 0;
  *(uint32_t*)0x20000248 = 0;
  *(uint64_t*)0x20000250 = 0x20000080;
  *(uint64_t*)0x20000080 = 0x200001c0;
  *(uint32_t*)0x200001c0 = 0x30;
  *(uint8_t*)0x200001c4 = 0;
  *(uint8_t*)0x200001c5 = 0xb;
  *(uint16_t*)0x200001c6 = 0xf7d7;
  *(uint32_t*)0x200001c8 = 0;
  *(uint32_t*)0x200001cc = 0;
  *(uint8_t*)0x200001d0 = 2;
  *(uint8_t*)0x200001d1 = 0;
  *(uint16_t*)0x200001d2 = htobe16(0);
  *(uint16_t*)0x200001d4 = 8;
  STORE_BY_BITMASK(uint16_t, , 0x200001d6, 2, 0, 14);
  STORE_BY_BITMASK(uint16_t, , 0x200001d7, 1, 6, 1);
  STORE_BY_BITMASK(uint16_t, , 0x200001d7, 0, 7, 1);
  *(uint32_t*)0x200001d8 = htobe32(0);
  *(uint16_t*)0x200001dc = 8;
  STORE_BY_BITMASK(uint16_t, , 0x200001de, 3, 0, 14);
  STORE_BY_BITMASK(uint16_t, , 0x200001df, 1, 6, 1);
  STORE_BY_BITMASK(uint16_t, , 0x200001df, 0, 7, 1);
  *(uint32_t*)0x200001e0 = htobe32(0);
  *(uint16_t*)0x200001e4 = 0xb;
  *(uint16_t*)0x200001e6 = 1;
  memcpy((void*)0x200001e8, "cgroup\000", 7);
  *(uint64_t*)0x20000088 = 0x30;
  *(uint64_t*)0x20000258 = 1;
  *(uint64_t*)0x20000260 = 0;
  *(uint64_t*)0x20000268 = 0;
  *(uint32_t*)0x20000270 = 0;
  syscall(__NR_sendmsg, r[2], 0x20000240ul, 0ul);
}
int main(void)
{
  syscall(__NR_mmap, 0x20000000ul, 0x1000000ul, 3ul, 0x32ul, -1, 0);
  do_sandbox_none();
  return 0;
}