// https://syzkaller.appspot.com/bug?id=f0d852f7d588e6fdfe7054c82e92aacde61fa227
// 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_arp.h>
#include <pthread.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/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/futex.h>
#include <linux/if.h>
#include <linux/if_ether.h>
#include <linux/if_tun.h>
#include <linux/ip.h>
#include <linux/tcp.h>

unsigned long long procid;

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 thread_start(void* (*fn)(void*), void* arg)
{
  pthread_t th;
  pthread_attr_t attr;
  pthread_attr_init(&attr);
  pthread_attr_setstacksize(&attr, 128 << 10);
  if (pthread_create(&th, &attr, fn, arg))
    exit(1);
  pthread_attr_destroy(&attr);
}

#define BITMASK_LEN(type, bf_len) (type)((1ull << (bf_len)) - 1)

#define BITMASK_LEN_OFF(type, bf_off, bf_len)                                  \
  (type)(BITMASK_LEN(type, (bf_len)) << (bf_off))

#define STORE_BY_BITMASK(type, addr, val, bf_off, bf_len)                      \
  if ((bf_off) == 0 && (bf_len) == 0) {                                        \
    *(type*)(addr) = (type)(val);                                              \
  } else {                                                                     \
    type new_val = *(type*)(addr);                                             \
    new_val &= ~BITMASK_LEN_OFF(type, (bf_off), (bf_len));                     \
    new_val |= ((type)(val)&BITMASK_LEN(type, (bf_len))) << (bf_off);          \
    *(type*)(addr) = new_val;                                                  \
  }

typedef struct {
  int state;
} event_t;

static void event_init(event_t* ev)
{
  ev->state = 0;
}

static void event_reset(event_t* ev)
{
  ev->state = 0;
}

static void event_set(event_t* ev)
{
  if (ev->state)
    exit(1);
  __atomic_store_n(&ev->state, 1, __ATOMIC_RELEASE);
  syscall(SYS_futex, &ev->state, FUTEX_WAKE | FUTEX_PRIVATE_FLAG);
}

static void event_wait(event_t* ev)
{
  while (!__atomic_load_n(&ev->state, __ATOMIC_ACQUIRE))
    syscall(SYS_futex, &ev->state, FUTEX_WAIT | FUTEX_PRIVATE_FLAG, 0, 0);
}

static int event_isset(event_t* ev)
{
  return __atomic_load_n(&ev->state, __ATOMIC_ACQUIRE);
}

static int event_timedwait(event_t* ev, uint64_t timeout)
{
  uint64_t start = current_time_ms();
  uint64_t now = start;
  for (;;) {
    uint64_t remain = timeout - (now - start);
    struct timespec ts;
    ts.tv_sec = remain / 1000;
    ts.tv_nsec = (remain % 1000) * 1000 * 1000;
    syscall(SYS_futex, &ev->state, FUTEX_WAIT | FUTEX_PRIVATE_FLAG, 0, &ts);
    if (__atomic_load_n(&ev->state, __ATOMIC_RELAXED))
      return 1;
    now = current_time_ms();
    if (now - start > timeout)
      return 0;
  }
}

static void vsnprintf_check(char* str, size_t size, const char* format,
                            va_list args)
{
  int rv;
  rv = vsnprintf(str, size, format, args);
  if (rv < 0)
    exit(1);
  if ((size_t)rv >= size)
    exit(1);
}

#define COMMAND_MAX_LEN 128
#define PATH_PREFIX                                                            \
  "PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin "
#define PATH_PREFIX_LEN (sizeof(PATH_PREFIX) - 1)

static void execute_command(bool panic, const char* format, ...)
{
  va_list args;
  char command[PATH_PREFIX_LEN + COMMAND_MAX_LEN];
  int rv;
  va_start(args, format);
  memcpy(command, PATH_PREFIX, PATH_PREFIX_LEN);
  vsnprintf_check(command + PATH_PREFIX_LEN, COMMAND_MAX_LEN, format, args);
  va_end(args);
  rv = system(command);
  if (rv) {
    if (panic)
      exit(1);
  }
}

#define DEV_IPV4 "172.20.20.%d"
#define DEV_IPV6 "fe80::%02hx"
#define DEV_MAC "aa:aa:aa:aa:aa:%02hx"

static void snprintf_check(char* str, size_t size, const char* format, ...)
{
  va_list args;
  va_start(args, format);
  vsnprintf_check(str, size, format, args);
  va_end(args);
}
static void initialize_netdevices(void)
{
  unsigned i;
  const char* devtypes[] = {"ip6gretap", "bridge", "vcan", "bond", "team"};
  const char* devnames[] = {"lo",
                            "sit0",
                            "bridge0",
                            "vcan0",
                            "tunl0",
                            "gre0",
                            "gretap0",
                            "ip_vti0",
                            "ip6_vti0",
                            "ip6tnl0",
                            "ip6gre0",
                            "ip6gretap0",
                            "erspan0",
                            "bond0",
                            "veth0",
                            "veth1",
                            "team0",
                            "veth0_to_bridge",
                            "veth1_to_bridge",
                            "veth0_to_bond",
                            "veth1_to_bond",
                            "veth0_to_team",
                            "veth1_to_team"};
  const char* devmasters[] = {"bridge", "bond", "team"};
  for (i = 0; i < sizeof(devtypes) / (sizeof(devtypes[0])); i++)
    execute_command(0, "ip link add dev %s0 type %s", devtypes[i], devtypes[i]);
  execute_command(0, "ip link add type veth");
  for (i = 0; i < sizeof(devmasters) / (sizeof(devmasters[0])); i++) {
    execute_command(
        0, "ip link add name %s_slave_0 type veth peer name veth0_to_%s",
        devmasters[i], devmasters[i]);
    execute_command(
        0, "ip link add name %s_slave_1 type veth peer name veth1_to_%s",
        devmasters[i], devmasters[i]);
    execute_command(0, "ip link set %s_slave_0 master %s0", devmasters[i],
                    devmasters[i]);
    execute_command(0, "ip link set %s_slave_1 master %s0", devmasters[i],
                    devmasters[i]);
    execute_command(0, "ip link set veth0_to_%s up", devmasters[i]);
    execute_command(0, "ip link set veth1_to_%s up", devmasters[i]);
  }
  execute_command(0, "ip link set bridge_slave_0 up");
  execute_command(0, "ip link set bridge_slave_1 up");
  for (i = 0; i < sizeof(devnames) / (sizeof(devnames[0])); i++) {
    char addr[32];
    snprintf_check(addr, sizeof(addr), DEV_IPV4, i + 10);
    execute_command(0, "ip -4 addr add %s/24 dev %s", addr, devnames[i]);
    snprintf_check(addr, sizeof(addr), DEV_IPV6, i + 10);
    execute_command(0, "ip -6 addr add %s/120 dev %s", addr, devnames[i]);
    snprintf_check(addr, sizeof(addr), DEV_MAC, i + 10);
    execute_command(0, "ip link set dev %s address %s", devnames[i], addr);
    execute_command(0, "ip link set dev %s up", devnames[i]);
  }
}

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 = 160 << 20;
  setrlimit(RLIMIT_AS, &rlim);
  rlim.rlim_cur = rlim.rlim_max = 8 << 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)) {
  }
}

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

#define SYZ_HAVE_SETUP_TEST 1
static void setup_test()
{
  prctl(PR_SET_PDEATHSIG, SIGKILL, 0, 0, 0);
  setpgrp();
}

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

struct thread_t {
  int created, call;
  event_t ready, done;
};

static struct thread_t threads[16];
static void execute_call(int call);
static int running;

static void* thr(void* arg)
{
  struct thread_t* th = (struct thread_t*)arg;
  for (;;) {
    event_wait(&th->ready);
    event_reset(&th->ready);
    execute_call(th->call);
    __atomic_fetch_sub(&running, 1, __ATOMIC_RELAXED);
    event_set(&th->done);
  }
  return 0;
}

static void execute_one(void)
{
  int i, call, thread;
  int collide = 0;
again:
  for (call = 0; call < 63; call++) {
    for (thread = 0; thread < (int)(sizeof(threads) / sizeof(threads[0]));
         thread++) {
      struct thread_t* th = &threads[thread];
      if (!th->created) {
        th->created = 1;
        event_init(&th->ready);
        event_init(&th->done);
        event_set(&th->done);
        thread_start(thr, th);
      }
      if (!event_isset(&th->done))
        continue;
      event_reset(&th->done);
      th->call = call;
      __atomic_fetch_add(&running, 1, __ATOMIC_RELAXED);
      event_set(&th->ready);
      if (collide && (call % 2) == 0)
        break;
      event_timedwait(&th->done, 45);
      break;
    }
  }
  for (i = 0; i < 100 && __atomic_load_n(&running, __ATOMIC_RELAXED); i++)
    sleep_ms(1);
  if (!collide) {
    collide = 1;
    goto again;
  }
}

static void execute_one(void);

#define WAIT_FLAGS __WALL

static void loop(void)
{
  int iter;
  for (iter = 0;; iter++) {
    int pid = fork();
    if (pid < 0)
      exit(1);
    if (pid == 0) {
      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;
    }
  }
}
#ifndef __NR_bpf
#define __NR_bpf 321
#endif

uint64_t r[9] = {0xffffffffffffffff, 0xffffffffffffffff, 0x0,
                 0xffffffffffffffff, 0xffffffffffffffff, 0xffffffffffffffff,
                 0xffffffffffffffff, 0xffffffffffffffff, 0xffffffffffffffff};

void execute_call(int call)
{
  long res;
  switch (call) {
  case 0:
    *(uint32_t*)0x20000180 = 0;
    syscall(__NR_setsockopt, -1, 6, 0, 0x20000180, 0x315);
    break;
  case 1:
    *(uint32_t*)0x200002c0 = 0;
    syscall(__NR_getsockopt, -1, 0x29, 0x41, 0x20000200, 0x200002c0);
    break;
  case 2:
    memcpy((void*)0x20000080, "lp", 3);
    syscall(__NR_setsockopt, -1, 6, 0xd, 0x20000080, 3);
    break;
  case 3:
    res = syscall(__NR_pipe2, 0x20000100, 0);
    if (res != -1) {
      r[0] = *(uint32_t*)0x20000100;
      r[1] = *(uint32_t*)0x20000104;
    }
    break;
  case 4:
    *(uint32_t*)0x20000580 = 0;
    *(uint32_t*)0x20000584 = 0;
    *(uint32_t*)0x20000588 = 4;
    *(uint32_t*)0x2000058c = 0;
    *(uint64_t*)0x20000590 = 0;
    *(uint64_t*)0x20000598 = 0;
    *(uint64_t*)0x200005a0 = 0;
    *(uint64_t*)0x200005a8 = 0;
    *(uint64_t*)0x200005b0 = 0;
    *(uint64_t*)0x200005b8 = 0;
    *(uint32_t*)0x200005c0 = 0;
    *(uint32_t*)0x200005c4 = 0x7f;
    *(uint64_t*)0x200005c8 = 0x50d;
    *(uint64_t*)0x200005d0 = 0xee6;
    *(uint64_t*)0x200005d8 = 1;
    *(uint64_t*)0x200005e0 = 0x100000000;
    *(uint64_t*)0x200005e8 = 0;
    *(uint64_t*)0x200005f0 = 0;
    *(uint64_t*)0x200005f8 = 0;
    *(uint32_t*)0x20000600 = 4;
    *(uint32_t*)0x20000604 = 0x80000000;
    *(uint64_t*)0x20000608 = 0x101;
    *(uint64_t*)0x20000610 = 0;
    *(uint64_t*)0x20000618 = 0x100000001;
    *(uint64_t*)0x20000620 = 0x80000000;
    *(uint64_t*)0x20000628 = 0;
    *(uint64_t*)0x20000630 = 0;
    *(uint64_t*)0x20000638 = 0;
    *(uint8_t*)0x20000640 = 0;
    *(uint8_t*)0x20000641 = 0;
    *(uint8_t*)0x20000642 = 0;
    *(uint8_t*)0x20000643 = 0;
    *(uint8_t*)0x20000644 = 0;
    *(uint8_t*)0x20000645 = 0;
    *(uint8_t*)0x20000646 = 0;
    *(uint8_t*)0x20000647 = 0;
    *(uint8_t*)0x20000648 = 0;
    *(uint8_t*)0x20000649 = 0;
    *(uint8_t*)0x2000064a = 0;
    *(uint8_t*)0x2000064b = 0;
    *(uint8_t*)0x2000064c = 0;
    *(uint8_t*)0x2000064d = 0;
    *(uint8_t*)0x2000064e = 0;
    *(uint8_t*)0x2000064f = 0;
    *(uint8_t*)0x20000650 = 0;
    *(uint8_t*)0x20000651 = 0;
    *(uint8_t*)0x20000652 = 0;
    *(uint8_t*)0x20000653 = 0;
    *(uint8_t*)0x20000654 = 0;
    *(uint8_t*)0x20000655 = 0;
    *(uint8_t*)0x20000656 = 0;
    *(uint8_t*)0x20000657 = 0;
    *(uint8_t*)0x20000658 = 0;
    *(uint8_t*)0x20000659 = 0;
    *(uint8_t*)0x2000065a = 0;
    *(uint8_t*)0x2000065b = 0;
    *(uint8_t*)0x2000065c = 0;
    *(uint8_t*)0x2000065d = 0;
    *(uint8_t*)0x2000065e = 0;
    *(uint8_t*)0x2000065f = 0;
    *(uint8_t*)0x20000660 = 0;
    *(uint8_t*)0x20000661 = 0;
    *(uint8_t*)0x20000662 = 0;
    *(uint8_t*)0x20000663 = 0;
    *(uint8_t*)0x20000664 = 0;
    *(uint8_t*)0x20000665 = 0;
    *(uint8_t*)0x20000666 = 0;
    *(uint8_t*)0x20000667 = 0;
    *(uint8_t*)0x20000668 = 0;
    *(uint8_t*)0x20000669 = 0;
    *(uint8_t*)0x2000066a = 0;
    *(uint8_t*)0x2000066b = 0;
    *(uint8_t*)0x2000066c = 0;
    *(uint8_t*)0x2000066d = 0;
    *(uint8_t*)0x2000066e = 0;
    *(uint8_t*)0x2000066f = 0;
    *(uint8_t*)0x20000670 = 0;
    *(uint8_t*)0x20000671 = 0;
    *(uint8_t*)0x20000672 = 0;
    *(uint8_t*)0x20000673 = 0;
    *(uint8_t*)0x20000674 = 0;
    *(uint8_t*)0x20000675 = 0;
    *(uint8_t*)0x20000676 = 0;
    *(uint8_t*)0x20000677 = 0;
    *(uint8_t*)0x20000678 = 0;
    *(uint8_t*)0x20000679 = 0;
    *(uint8_t*)0x2000067a = 0;
    *(uint8_t*)0x2000067b = 0;
    *(uint8_t*)0x2000067c = 0;
    *(uint8_t*)0x2000067d = 0;
    *(uint8_t*)0x2000067e = 0;
    *(uint8_t*)0x2000067f = 0;
    *(uint8_t*)0x20000680 = 0;
    *(uint8_t*)0x20000681 = 0;
    *(uint8_t*)0x20000682 = 0;
    *(uint8_t*)0x20000683 = 0;
    *(uint8_t*)0x20000684 = 0;
    *(uint8_t*)0x20000685 = 0;
    *(uint8_t*)0x20000686 = 0;
    *(uint8_t*)0x20000687 = 0;
    *(uint8_t*)0x20000688 = 0;
    *(uint8_t*)0x20000689 = 0;
    *(uint8_t*)0x2000068a = 0;
    *(uint8_t*)0x2000068b = 0;
    *(uint8_t*)0x2000068c = 0;
    *(uint8_t*)0x2000068d = 0;
    *(uint8_t*)0x2000068e = 0;
    *(uint8_t*)0x2000068f = 0;
    *(uint8_t*)0x20000690 = 0;
    *(uint8_t*)0x20000691 = 0;
    *(uint8_t*)0x20000692 = 0;
    *(uint8_t*)0x20000693 = 0;
    *(uint8_t*)0x20000694 = 0;
    *(uint8_t*)0x20000695 = 0;
    *(uint8_t*)0x20000696 = 0;
    *(uint8_t*)0x20000697 = 0;
    *(uint8_t*)0x20000698 = 0;
    *(uint8_t*)0x20000699 = 0;
    *(uint8_t*)0x2000069a = 0;
    *(uint8_t*)0x2000069b = 0;
    *(uint8_t*)0x2000069c = 0;
    *(uint8_t*)0x2000069d = 0;
    *(uint8_t*)0x2000069e = 0;
    *(uint8_t*)0x2000069f = 0;
    *(uint8_t*)0x200006a0 = 0;
    *(uint8_t*)0x200006a1 = 0;
    *(uint8_t*)0x200006a2 = 0;
    *(uint8_t*)0x200006a3 = 0;
    *(uint8_t*)0x200006a4 = 0;
    *(uint8_t*)0x200006a5 = 0;
    *(uint8_t*)0x200006a6 = 0;
    *(uint8_t*)0x200006a7 = 0;
    *(uint8_t*)0x200006a8 = 0;
    *(uint8_t*)0x200006a9 = 0;
    *(uint8_t*)0x200006aa = 0;
    *(uint8_t*)0x200006ab = 0;
    *(uint8_t*)0x200006ac = 0;
    *(uint8_t*)0x200006ad = 0;
    *(uint8_t*)0x200006ae = 0;
    *(uint8_t*)0x200006af = 0;
    *(uint8_t*)0x200006b0 = 0;
    *(uint8_t*)0x200006b1 = 0;
    *(uint8_t*)0x200006b2 = 0;
    *(uint8_t*)0x200006b3 = 0;
    *(uint8_t*)0x200006b4 = 0;
    *(uint8_t*)0x200006b5 = 0;
    *(uint8_t*)0x200006b6 = 0;
    *(uint8_t*)0x200006b7 = 0;
    *(uint8_t*)0x200006b8 = 0;
    *(uint8_t*)0x200006b9 = 0;
    *(uint8_t*)0x200006ba = 0;
    *(uint8_t*)0x200006bb = 0;
    *(uint8_t*)0x200006bc = 0;
    *(uint8_t*)0x200006bd = 0;
    *(uint8_t*)0x200006be = 0;
    *(uint8_t*)0x200006bf = 0;
    *(uint8_t*)0x200006c0 = 0;
    *(uint8_t*)0x200006c1 = 0;
    *(uint8_t*)0x200006c2 = 0;
    *(uint8_t*)0x200006c3 = 0;
    *(uint8_t*)0x200006c4 = 0;
    *(uint8_t*)0x200006c5 = 0;
    *(uint8_t*)0x200006c6 = 0;
    *(uint8_t*)0x200006c7 = 0;
    *(uint8_t*)0x200006c8 = 0;
    *(uint8_t*)0x200006c9 = 0;
    *(uint8_t*)0x200006ca = 0;
    *(uint8_t*)0x200006cb = 0;
    *(uint8_t*)0x200006cc = 0;
    *(uint8_t*)0x200006cd = 0;
    *(uint8_t*)0x200006ce = 0;
    *(uint8_t*)0x200006cf = 0;
    *(uint8_t*)0x200006d0 = 0;
    *(uint8_t*)0x200006d1 = 0;
    *(uint8_t*)0x200006d2 = 0;
    *(uint8_t*)0x200006d3 = 0;
    *(uint8_t*)0x200006d4 = 0;
    *(uint8_t*)0x200006d5 = 0;
    *(uint8_t*)0x200006d6 = 0;
    *(uint8_t*)0x200006d7 = 0;
    *(uint8_t*)0x200006d8 = 0;
    *(uint8_t*)0x200006d9 = 0;
    *(uint8_t*)0x200006da = 0;
    *(uint8_t*)0x200006db = 0;
    *(uint8_t*)0x200006dc = 0;
    *(uint8_t*)0x200006dd = 0;
    *(uint8_t*)0x200006de = 0;
    *(uint8_t*)0x200006df = 0;
    *(uint8_t*)0x200006e0 = 0;
    *(uint8_t*)0x200006e1 = 0;
    *(uint8_t*)0x200006e2 = 0;
    *(uint8_t*)0x200006e3 = 0;
    *(uint8_t*)0x200006e4 = 0;
    *(uint8_t*)0x200006e5 = 0;
    *(uint8_t*)0x200006e6 = 0;
    *(uint8_t*)0x200006e7 = 0;
    *(uint8_t*)0x200006e8 = 0;
    *(uint8_t*)0x200006e9 = 0;
    *(uint8_t*)0x200006ea = 0;
    *(uint8_t*)0x200006eb = 0;
    *(uint8_t*)0x200006ec = 0;
    *(uint8_t*)0x200006ed = 0;
    *(uint8_t*)0x200006ee = 0;
    *(uint8_t*)0x200006ef = 0;
    *(uint8_t*)0x200006f0 = 0;
    *(uint8_t*)0x200006f1 = 0;
    *(uint8_t*)0x200006f2 = 0;
    *(uint8_t*)0x200006f3 = 0;
    *(uint8_t*)0x200006f4 = 0;
    *(uint8_t*)0x200006f5 = 0;
    *(uint8_t*)0x200006f6 = 0;
    *(uint8_t*)0x200006f7 = 0;
    *(uint8_t*)0x200006f8 = 0;
    *(uint8_t*)0x200006f9 = 0;
    *(uint8_t*)0x200006fa = 0;
    *(uint8_t*)0x200006fb = 0;
    *(uint8_t*)0x200006fc = 0;
    *(uint8_t*)0x200006fd = 0;
    *(uint8_t*)0x200006fe = 0;
    *(uint8_t*)0x200006ff = 0;
    *(uint8_t*)0x20000700 = 0;
    *(uint8_t*)0x20000701 = 0;
    *(uint8_t*)0x20000702 = 0;
    *(uint8_t*)0x20000703 = 0;
    *(uint8_t*)0x20000704 = 0;
    *(uint8_t*)0x20000705 = 0;
    *(uint8_t*)0x20000706 = 0;
    *(uint8_t*)0x20000707 = 0;
    *(uint8_t*)0x20000708 = 0;
    *(uint8_t*)0x20000709 = 0;
    *(uint8_t*)0x2000070a = 0;
    *(uint8_t*)0x2000070b = 0;
    *(uint8_t*)0x2000070c = 0;
    *(uint8_t*)0x2000070d = 0;
    *(uint8_t*)0x2000070e = 0;
    *(uint8_t*)0x2000070f = 0;
    *(uint8_t*)0x20000710 = 0;
    *(uint8_t*)0x20000711 = 0;
    *(uint8_t*)0x20000712 = 0;
    *(uint8_t*)0x20000713 = 0;
    *(uint8_t*)0x20000714 = 0;
    *(uint8_t*)0x20000715 = 0;
    *(uint8_t*)0x20000716 = 0;
    *(uint8_t*)0x20000717 = 0;
    *(uint8_t*)0x20000718 = 0;
    *(uint8_t*)0x20000719 = 0;
    *(uint8_t*)0x2000071a = 0;
    *(uint8_t*)0x2000071b = 0;
    *(uint8_t*)0x2000071c = 0;
    *(uint8_t*)0x2000071d = 0;
    *(uint8_t*)0x2000071e = 0;
    *(uint8_t*)0x2000071f = 0;
    *(uint8_t*)0x20000720 = 0;
    *(uint8_t*)0x20000721 = 0;
    *(uint8_t*)0x20000722 = 0;
    *(uint8_t*)0x20000723 = 0;
    *(uint8_t*)0x20000724 = 0;
    *(uint8_t*)0x20000725 = 0;
    *(uint8_t*)0x20000726 = 0;
    *(uint8_t*)0x20000727 = 0;
    *(uint8_t*)0x20000728 = 0;
    *(uint8_t*)0x20000729 = 0;
    *(uint8_t*)0x2000072a = 0;
    *(uint8_t*)0x2000072b = 0;
    *(uint8_t*)0x2000072c = 0;
    *(uint8_t*)0x2000072d = 0;
    *(uint8_t*)0x2000072e = 0;
    *(uint8_t*)0x2000072f = 0;
    *(uint8_t*)0x20000730 = 0;
    *(uint8_t*)0x20000731 = 0;
    *(uint8_t*)0x20000732 = 0;
    *(uint8_t*)0x20000733 = 0;
    *(uint8_t*)0x20000734 = 0;
    *(uint8_t*)0x20000735 = 0;
    *(uint8_t*)0x20000736 = 0;
    *(uint8_t*)0x20000737 = 0;
    *(uint8_t*)0x20000738 = 0;
    *(uint8_t*)0x20000739 = 0;
    *(uint8_t*)0x2000073a = 0;
    *(uint8_t*)0x2000073b = 0;
    *(uint8_t*)0x2000073c = 0;
    *(uint8_t*)0x2000073d = 0;
    *(uint8_t*)0x2000073e = 0;
    *(uint8_t*)0x2000073f = 0;
    syscall(__NR_ioctl, r[1], 0xc0c0583b, 0x20000580);
    break;
  case 5:
    syscall(__NR_getresgid, 0x20000240, 0x20000280, 0x20000340);
    break;
  case 6:
    *(uint32_t*)0x20000480 = 0;
    *(uint16_t*)0x20000484 = 9;
    *(uint16_t*)0x20000486 = 0;
    *(uint32_t*)0x20000488 = 1;
    *(uint32_t*)0x2000048c = 9;
    *(uint32_t*)0x20000490 = 0x81;
    *(uint32_t*)0x200004c0 = 0x14;
    syscall(__NR_getsockopt, r[0], 0x84, 1, 0x20000480, 0x200004c0);
    break;
  case 7:
    syscall(__NR_listen, -1, 0x18);
    break;
  case 8:
    syscall(__NR_socket, 0xa, 5, 0);
    break;
  case 9:
    *(uint32_t*)0x20000440 = 0x60;
    syscall(__NR_accept4, r[0], 0x200003c0, 0x20000440, 0x80800);
    break;
  case 10:
    syscall(__NR_socket, 0xa, 0x201000000000002, 0);
    break;
  case 11:
    syscall(__NR_clone, 0x802102001ffc, 0, 0x9999999999999999, 0x20000040, -1);
    break;
  case 12:
    res = syscall(__NR_getpid);
    if (res != -1)
      r[2] = res;
    break;
  case 13:
    *(uint32_t*)0x20000200 = 0;
    syscall(__NR_sched_setscheduler, r[2], 5, 0x20000200);
    break;
  case 14:
    *(uint32_t*)0x2001d000 = 1;
    *(uint32_t*)0x2001d004 = 0x70;
    *(uint8_t*)0x2001d008 = 0;
    *(uint8_t*)0x2001d009 = 0;
    *(uint8_t*)0x2001d00a = 0;
    *(uint8_t*)0x2001d00b = 0;
    *(uint32_t*)0x2001d00c = 0;
    *(uint64_t*)0x2001d010 = 0x7f;
    *(uint64_t*)0x2001d018 = 0;
    *(uint64_t*)0x2001d020 = 0;
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 0, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 1, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 2, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 3, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 4, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 5, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 6, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 7, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 8, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 9, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 10, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 11, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 12, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 13, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 14, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 15, 2);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 17, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 18, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 19, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 20, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 21, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 22, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 23, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 24, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 25, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 26, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 27, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 28, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 29, 35);
    *(uint32_t*)0x2001d030 = 0;
    *(uint32_t*)0x2001d034 = 0;
    *(uint64_t*)0x2001d038 = 0x20abe000;
    *(uint64_t*)0x2001d040 = 0;
    *(uint64_t*)0x2001d048 = 0;
    *(uint64_t*)0x2001d050 = 0;
    *(uint32_t*)0x2001d058 = 0;
    *(uint32_t*)0x2001d05c = 0;
    *(uint64_t*)0x2001d060 = 0;
    *(uint32_t*)0x2001d068 = 0;
    *(uint16_t*)0x2001d06c = 0;
    *(uint16_t*)0x2001d06e = 0;
    syscall(__NR_perf_event_open, 0x2001d000, 0, -1, -1, 0);
    break;
  case 15:
    res = syscall(__NR_socket, 0x10, 3, 0);
    if (res != -1)
      r[3] = res;
    break;
  case 16:
    *(uint64_t*)0x20000180 = 0x20000000;
    *(uint16_t*)0x20000000 = 0x10;
    *(uint16_t*)0x20000002 = 0x100;
    *(uint32_t*)0x20000004 = 0;
    *(uint32_t*)0x20000008 = 0;
    *(uint32_t*)0x20000188 = 0xc;
    *(uint64_t*)0x20000190 = 0x20000140;
    *(uint64_t*)0x20000140 = 0x200005c0;
    *(uint32_t*)0x200005c0 = 0x34;
    *(uint16_t*)0x200005c4 = 0x10;
    *(uint16_t*)0x200005c6 = 0x601;
    *(uint32_t*)0x200005c8 = 0;
    *(uint32_t*)0x200005cc = 0;
    *(uint8_t*)0x200005d0 = 0;
    *(uint8_t*)0x200005d1 = 0;
    *(uint16_t*)0x200005d2 = 0;
    *(uint32_t*)0x200005d4 = 0;
    *(uint32_t*)0x200005d8 = 0;
    *(uint32_t*)0x200005dc = 0;
    *(uint16_t*)0x200005e0 = 0x14;
    *(uint16_t*)0x200005e2 = 0x12;
    *(uint16_t*)0x200005e4 = 0xc;
    *(uint16_t*)0x200005e6 = 1;
    memcpy((void*)0x200005e8, "bond", 5);
    *(uint16_t*)0x200005f0 = 4;
    *(uint16_t*)0x200005f2 = 2;
    *(uint64_t*)0x20000148 = 0x34;
    *(uint64_t*)0x20000198 = 1;
    *(uint64_t*)0x200001a0 = 0;
    *(uint64_t*)0x200001a8 = 0;
    *(uint32_t*)0x200001b0 = 0;
    syscall(__NR_sendmsg, r[3], 0x20000180, 0);
    break;
  case 17:
    *(uint64_t*)0x20d65000 = 0x200004c0;
    *(uint16_t*)0x200004c0 = 0x10;
    *(uint16_t*)0x200004c2 = 0;
    *(uint32_t*)0x200004c4 = 0;
    *(uint32_t*)0x200004c8 = 0;
    *(uint32_t*)0x20d65008 = 0xc;
    *(uint64_t*)0x20d65010 = 0x20000000;
    *(uint64_t*)0x20000000 = 0x200005c0;
    *(uint32_t*)0x200005c0 = 0x24;
    *(uint8_t*)0x200005c4 = 2;
    *(uint8_t*)0x200005c5 = 1;
    *(uint16_t*)0x200005c6 = -1;
    *(uint32_t*)0x200005c8 = 0;
    *(uint32_t*)0x200005cc = 0;
    *(uint8_t*)0x200005d0 = 0;
    *(uint8_t*)0x200005d1 = 0;
    *(uint16_t*)0x200005d2 = htobe16(0);
    *(uint16_t*)0x200005d4 = 8;
    *(uint16_t*)0x200005d6 = 0x15;
    *(uint32_t*)0x200005d8 = 0;
    *(uint16_t*)0x200005dc = 8;
    *(uint16_t*)0x200005de = 8;
    *(uint32_t*)0x200005e0 = 0;
    *(uint64_t*)0x20000008 = 0x24;
    *(uint64_t*)0x20d65018 = 1;
    *(uint64_t*)0x20d65020 = 0;
    *(uint64_t*)0x20d65028 = 0;
    *(uint32_t*)0x20d65030 = 0;
    syscall(__NR_sendmsg, -1, 0x20d65000, 0);
    break;
  case 18:
    *(uint32_t*)0x20fcb000 = 0;
    syscall(__NR_setsockopt, -1, 0x29, 0x16, 0x20fcb000, 4);
    break;
  case 19:
    memcpy((void*)0x20000140, "/dev/vhost-vsock", 17);
    syscall(__NR_openat, 0xffffffffffffff9c, 0x20000140, 2, 0);
    break;
  case 20:
    syscall(__NR_socketpair, 1, 1, 0, 0x20000040);
    break;
  case 21:
    syscall(__NR_socketpair, 1, 5, 0, 0x20000180);
    break;
  case 22:
    syscall(__NR_ustat, 0xe, 0x20000000);
    break;
  case 23:
    syscall(__NR_fcntl, -1, 0, -1);
    break;
  case 24:
    *(uint32_t*)0x20000180 = 2;
    *(uint32_t*)0x20000184 = 0x70;
    *(uint8_t*)0x20000188 = 0xe6;
    *(uint8_t*)0x20000189 = 0;
    *(uint8_t*)0x2000018a = 0;
    *(uint8_t*)0x2000018b = 0;
    *(uint32_t*)0x2000018c = 0;
    *(uint64_t*)0x20000190 = 0;
    *(uint64_t*)0x20000198 = 0;
    *(uint64_t*)0x200001a0 = 0;
    STORE_BY_BITMASK(uint64_t, 0x200001a8, 0, 0, 1);
    STORE_BY_BITMASK(uint64_t, 0x200001a8, 0, 1, 1);
    STORE_BY_BITMASK(uint64_t, 0x200001a8, 0, 2, 1);
    STORE_BY_BITMASK(uint64_t, 0x200001a8, 0, 3, 1);
    STORE_BY_BITMASK(uint64_t, 0x200001a8, 0, 4, 1);
    STORE_BY_BITMASK(uint64_t, 0x200001a8, 0, 5, 1);
    STORE_BY_BITMASK(uint64_t, 0x200001a8, 0, 6, 1);
    STORE_BY_BITMASK(uint64_t, 0x200001a8, 0, 7, 1);
    STORE_BY_BITMASK(uint64_t, 0x200001a8, 0, 8, 1);
    STORE_BY_BITMASK(uint64_t, 0x200001a8, 0, 9, 1);
    STORE_BY_BITMASK(uint64_t, 0x200001a8, 0, 10, 1);
    STORE_BY_BITMASK(uint64_t, 0x200001a8, 0, 11, 1);
    STORE_BY_BITMASK(uint64_t, 0x200001a8, 0, 12, 1);
    STORE_BY_BITMASK(uint64_t, 0x200001a8, 0, 13, 1);
    STORE_BY_BITMASK(uint64_t, 0x200001a8, 0, 14, 1);
    STORE_BY_BITMASK(uint64_t, 0x200001a8, 0, 15, 2);
    STORE_BY_BITMASK(uint64_t, 0x200001a8, 0, 17, 1);
    STORE_BY_BITMASK(uint64_t, 0x200001a8, 0, 18, 1);
    STORE_BY_BITMASK(uint64_t, 0x200001a8, 0, 19, 1);
    STORE_BY_BITMASK(uint64_t, 0x200001a8, 0, 20, 1);
    STORE_BY_BITMASK(uint64_t, 0x200001a8, 0, 21, 1);
    STORE_BY_BITMASK(uint64_t, 0x200001a8, 0, 22, 1);
    STORE_BY_BITMASK(uint64_t, 0x200001a8, 0, 23, 1);
    STORE_BY_BITMASK(uint64_t, 0x200001a8, 0, 24, 1);
    STORE_BY_BITMASK(uint64_t, 0x200001a8, 0, 25, 1);
    STORE_BY_BITMASK(uint64_t, 0x200001a8, 0, 26, 1);
    STORE_BY_BITMASK(uint64_t, 0x200001a8, 0, 27, 1);
    STORE_BY_BITMASK(uint64_t, 0x200001a8, 0, 28, 1);
    STORE_BY_BITMASK(uint64_t, 0x200001a8, 0, 29, 35);
    *(uint32_t*)0x200001b0 = 0;
    *(uint32_t*)0x200001b4 = 0;
    *(uint64_t*)0x200001b8 = 0;
    *(uint64_t*)0x200001c0 = 0;
    *(uint64_t*)0x200001c8 = 0;
    *(uint64_t*)0x200001d0 = 0;
    *(uint32_t*)0x200001d8 = 0;
    *(uint32_t*)0x200001dc = 0;
    *(uint64_t*)0x200001e0 = 0;
    *(uint32_t*)0x200001e8 = 0;
    *(uint16_t*)0x200001ec = 0;
    *(uint16_t*)0x200001ee = 0;
    syscall(__NR_perf_event_open, 0x20000180, 0, -1, -1, 0);
    break;
  case 25:
    *(uint64_t*)0x200003c0 = 0x20000100;
    *(uint32_t*)0x200003c8 = 0x80;
    *(uint64_t*)0x200003d0 = 0x20000300;
    *(uint64_t*)0x200003d8 = 0;
    *(uint64_t*)0x200003e0 = 0x20000380;
    *(uint64_t*)0x200003e8 = 0x1a;
    *(uint32_t*)0x200003f0 = 0;
    syscall(__NR_recvmsg, -1, 0x200003c0, 2);
    break;
  case 26:
    *(uint64_t*)0x2000d8c0 = 0;
    *(uint32_t*)0x2000d8c8 = 0;
    *(uint64_t*)0x2000d8d0 = 0x20000000;
    *(uint64_t*)0x20000000 = 0x20000340;
    memcpy((void*)0x20000340, "#", 1);
    *(uint64_t*)0x20000008 = 1;
    *(uint64_t*)0x2000d8d8 = 1;
    *(uint64_t*)0x2000d8e0 = 0;
    *(uint64_t*)0x2000d8e8 = 0;
    *(uint32_t*)0x2000d8f0 = 0;
    *(uint32_t*)0x2000d8f8 = 0;
    syscall(__NR_sendmmsg, -1, 0x2000d8c0, 1, 0);
    break;
  case 27:
    syscall(__NR_ioctl, -1, 0x8912, 0x400200);
    break;
  case 28:
    syscall(__NR_ioctl, -1, 0xae01, 0);
    break;
  case 29:
    syscall(__NR_socket, 0x10, 3, 0);
    break;
  case 30:
    *(uint32_t*)0x20000040 = -1;
    *(uint32_t*)0x20000044 = 0x28;
    *(uint64_t*)0x20000048 = 0x20000000;
    syscall(__NR_bpf, 0xf, 0x20000040, 0x10);
    break;
  case 31:
    syscall(__NR_ustat, 0xe, 0x20000000);
    break;
  case 32:
    *(uint32_t*)0x20000040 = -1;
    *(uint32_t*)0x20000044 = 0x28;
    *(uint64_t*)0x20000048 = 0x20000000;
    syscall(__NR_bpf, 0xf, 0x20000040, 0x10);
    break;
  case 33:
    syscall(__NR_ioctl, -1, 0x541b, 0x20000200);
    break;
  case 34:
    memcpy((void*)0x20000380, "/dev/kvm", 9);
    res = syscall(__NR_openat, 0xffffffffffffff9c, 0x20000380, 0, 0);
    if (res != -1)
      r[4] = res;
    break;
  case 35:
    syscall(__NR_ioctl, r[4], 0xae01, 0);
    break;
  case 36:
    *(uint64_t*)0x200003c0 = 0;
    *(uint32_t*)0x200003c8 = 0;
    *(uint16_t*)0x200003cc = 0;
    *(uint8_t*)0x200003ce = 0;
    *(uint8_t*)0x200003cf = 0;
    *(uint8_t*)0x200003d0 = 0;
    *(uint8_t*)0x200003d1 = 0;
    *(uint8_t*)0x200003d2 = 0;
    *(uint8_t*)0x200003d3 = 0;
    *(uint8_t*)0x200003d4 = 0;
    *(uint8_t*)0x200003d5 = 0;
    *(uint8_t*)0x200003d6 = 0;
    *(uint8_t*)0x200003d7 = 0;
    *(uint64_t*)0x200003d8 = 0;
    *(uint32_t*)0x200003e0 = 0;
    *(uint16_t*)0x200003e4 = 0;
    *(uint8_t*)0x200003e6 = 0;
    *(uint8_t*)0x200003e7 = 0;
    *(uint8_t*)0x200003e8 = 0;
    *(uint8_t*)0x200003e9 = 0;
    *(uint8_t*)0x200003ea = 0;
    *(uint8_t*)0x200003eb = 0;
    *(uint8_t*)0x200003ec = 0;
    *(uint8_t*)0x200003ed = 0;
    *(uint8_t*)0x200003ee = 0;
    *(uint8_t*)0x200003ef = 0;
    *(uint64_t*)0x200003f0 = 0;
    *(uint32_t*)0x200003f8 = 0;
    *(uint16_t*)0x200003fc = 0;
    *(uint8_t*)0x200003fe = 0;
    *(uint8_t*)0x200003ff = 0;
    *(uint8_t*)0x20000400 = 0;
    *(uint8_t*)0x20000401 = 0;
    *(uint8_t*)0x20000402 = 0;
    *(uint8_t*)0x20000403 = 0;
    *(uint8_t*)0x20000404 = 0;
    *(uint8_t*)0x20000405 = 0;
    *(uint8_t*)0x20000406 = 0;
    *(uint8_t*)0x20000407 = 0;
    *(uint64_t*)0x20000408 = 0;
    *(uint32_t*)0x20000410 = 0;
    *(uint16_t*)0x20000414 = 0;
    *(uint8_t*)0x20000416 = 0;
    *(uint8_t*)0x20000417 = 0;
    *(uint8_t*)0x20000418 = 0;
    *(uint8_t*)0x20000419 = 0;
    *(uint8_t*)0x2000041a = 0;
    *(uint8_t*)0x2000041b = 0;
    *(uint8_t*)0x2000041c = 0;
    *(uint8_t*)0x2000041d = 0;
    *(uint8_t*)0x2000041e = 0;
    *(uint8_t*)0x2000041f = 0;
    *(uint64_t*)0x20000420 = 0;
    *(uint32_t*)0x20000428 = 0;
    *(uint16_t*)0x2000042c = 0;
    *(uint8_t*)0x2000042e = 0;
    *(uint8_t*)0x2000042f = 0;
    *(uint8_t*)0x20000430 = 0;
    *(uint8_t*)0x20000431 = 0;
    *(uint8_t*)0x20000432 = 0;
    *(uint8_t*)0x20000433 = 0;
    *(uint8_t*)0x20000434 = 0;
    *(uint8_t*)0x20000435 = 0;
    *(uint8_t*)0x20000436 = 0;
    *(uint8_t*)0x20000437 = 0;
    *(uint64_t*)0x20000438 = 0;
    *(uint32_t*)0x20000440 = 0;
    *(uint16_t*)0x20000444 = 0;
    *(uint8_t*)0x20000446 = 0;
    *(uint8_t*)0x20000447 = 0;
    *(uint8_t*)0x20000448 = 0;
    *(uint8_t*)0x20000449 = 0;
    *(uint8_t*)0x2000044a = 0;
    *(uint8_t*)0x2000044b = 0;
    *(uint8_t*)0x2000044c = 0;
    *(uint8_t*)0x2000044d = 0;
    *(uint8_t*)0x2000044e = 0;
    *(uint8_t*)0x2000044f = 0;
    *(uint64_t*)0x20000450 = 0;
    *(uint32_t*)0x20000458 = 0;
    *(uint16_t*)0x2000045c = 0;
    *(uint8_t*)0x2000045e = 0;
    *(uint8_t*)0x2000045f = 0;
    *(uint8_t*)0x20000460 = 0;
    *(uint8_t*)0x20000461 = 0;
    *(uint8_t*)0x20000462 = 0;
    *(uint8_t*)0x20000463 = 0;
    *(uint8_t*)0x20000464 = 0;
    *(uint8_t*)0x20000465 = 0;
    *(uint8_t*)0x20000466 = 0;
    *(uint8_t*)0x20000467 = 0;
    *(uint64_t*)0x20000468 = 0;
    *(uint32_t*)0x20000470 = 0;
    *(uint16_t*)0x20000474 = 0;
    *(uint8_t*)0x20000476 = 0;
    *(uint8_t*)0x20000477 = 0;
    *(uint8_t*)0x20000478 = 0;
    *(uint8_t*)0x20000479 = 0;
    *(uint8_t*)0x2000047a = 0;
    *(uint8_t*)0x2000047b = 0;
    *(uint8_t*)0x2000047c = 0;
    *(uint8_t*)0x2000047d = 0;
    *(uint8_t*)0x2000047e = 0;
    *(uint8_t*)0x2000047f = 0;
    *(uint64_t*)0x20000480 = 0;
    *(uint16_t*)0x20000488 = 0;
    *(uint16_t*)0x2000048a = 0;
    *(uint16_t*)0x2000048c = 0;
    *(uint16_t*)0x2000048e = 0;
    *(uint64_t*)0x20000490 = 0;
    *(uint16_t*)0x20000498 = 0;
    *(uint16_t*)0x2000049a = 0;
    *(uint16_t*)0x2000049c = 0;
    *(uint16_t*)0x2000049e = 0;
    *(uint64_t*)0x200004a0 = 0x8005001f;
    *(uint64_t*)0x200004a8 = 0;
    *(uint64_t*)0x200004b0 = 0;
    *(uint64_t*)0x200004b8 = 0x28;
    *(uint64_t*)0x200004c0 = 0;
    *(uint64_t*)0x200004c8 = 0x6500;
    *(uint64_t*)0x200004d0 = 0;
    *(uint64_t*)0x200004d8 = 0;
    *(uint64_t*)0x200004e0 = 0;
    *(uint64_t*)0x200004e8 = 0;
    *(uint64_t*)0x200004f0 = 0;
    syscall(__NR_ioctl, -1, 0x4138ae84, 0x200003c0);
    break;
  case 37:
    *(uint64_t*)0x200001c0 = 0;
    *(uint64_t*)0x200001c8 = 0;
    *(uint8_t*)0x200001d0 = 0;
    *(uint8_t*)0x200001d1 = 0;
    *(uint8_t*)0x200001d2 = 0;
    syscall(__NR_ioctl, -1, 0x4138ae84, 0x200001c0);
    break;
  case 38:
    memcpy((void*)0x20000180, "/dev/net/tun", 13);
    syscall(__NR_openat, 0xffffffffffffff9c, 0x20000180, 0, 0);
    break;
  case 39:
    syscall(__NR_ioctl, -1, 0xae01, 0);
    break;
  case 40:
    *(uint64_t*)0x200003c0 = 0;
    *(uint32_t*)0x200003c8 = 0;
    *(uint16_t*)0x200003cc = 0;
    *(uint8_t*)0x200003ce = 0;
    *(uint8_t*)0x200003cf = 0;
    *(uint8_t*)0x200003d0 = 0;
    *(uint8_t*)0x200003d1 = 0;
    *(uint8_t*)0x200003d2 = 0;
    *(uint8_t*)0x200003d3 = 0;
    *(uint8_t*)0x200003d4 = 0;
    *(uint8_t*)0x200003d5 = 0;
    *(uint8_t*)0x200003d6 = 0;
    *(uint8_t*)0x200003d7 = 0;
    *(uint64_t*)0x200003d8 = 0;
    *(uint32_t*)0x200003e0 = 0;
    *(uint16_t*)0x200003e4 = 0;
    *(uint8_t*)0x200003e6 = 0;
    *(uint8_t*)0x200003e7 = 0;
    *(uint8_t*)0x200003e8 = 0;
    *(uint8_t*)0x200003e9 = 0;
    *(uint8_t*)0x200003ea = 0;
    *(uint8_t*)0x200003eb = 0;
    *(uint8_t*)0x200003ec = 0;
    *(uint8_t*)0x200003ed = 0;
    *(uint8_t*)0x200003ee = 0;
    *(uint8_t*)0x200003ef = 0;
    *(uint64_t*)0x200003f0 = 0;
    *(uint32_t*)0x200003f8 = 0;
    *(uint16_t*)0x200003fc = 0;
    *(uint8_t*)0x200003fe = 0;
    *(uint8_t*)0x200003ff = 0;
    *(uint8_t*)0x20000400 = 0;
    *(uint8_t*)0x20000401 = 0;
    *(uint8_t*)0x20000402 = 0;
    *(uint8_t*)0x20000403 = 0;
    *(uint8_t*)0x20000404 = 0;
    *(uint8_t*)0x20000405 = 0;
    *(uint8_t*)0x20000406 = 0;
    *(uint8_t*)0x20000407 = 0;
    *(uint64_t*)0x20000408 = 0;
    *(uint32_t*)0x20000410 = 0;
    *(uint16_t*)0x20000414 = 0;
    *(uint8_t*)0x20000416 = 0;
    *(uint8_t*)0x20000417 = 0;
    *(uint8_t*)0x20000418 = 0;
    *(uint8_t*)0x20000419 = 0;
    *(uint8_t*)0x2000041a = 0;
    *(uint8_t*)0x2000041b = 0;
    *(uint8_t*)0x2000041c = 0;
    *(uint8_t*)0x2000041d = 0;
    *(uint8_t*)0x2000041e = 0;
    *(uint8_t*)0x2000041f = 0;
    *(uint64_t*)0x20000420 = 0;
    *(uint32_t*)0x20000428 = 0;
    *(uint16_t*)0x2000042c = 0;
    *(uint8_t*)0x2000042e = 0;
    *(uint8_t*)0x2000042f = 0;
    *(uint8_t*)0x20000430 = 0;
    *(uint8_t*)0x20000431 = 0;
    *(uint8_t*)0x20000432 = 0;
    *(uint8_t*)0x20000433 = 0;
    *(uint8_t*)0x20000434 = 0;
    *(uint8_t*)0x20000435 = 0;
    *(uint8_t*)0x20000436 = 0;
    *(uint8_t*)0x20000437 = 0;
    *(uint64_t*)0x20000438 = 0;
    *(uint32_t*)0x20000440 = 0;
    *(uint16_t*)0x20000444 = 0;
    *(uint8_t*)0x20000446 = 0;
    *(uint8_t*)0x20000447 = 0;
    *(uint8_t*)0x20000448 = 0;
    *(uint8_t*)0x20000449 = 0;
    *(uint8_t*)0x2000044a = 0;
    *(uint8_t*)0x2000044b = 0;
    *(uint8_t*)0x2000044c = 0;
    *(uint8_t*)0x2000044d = 0;
    *(uint8_t*)0x2000044e = 0;
    *(uint8_t*)0x2000044f = 0;
    *(uint64_t*)0x20000450 = 0;
    *(uint32_t*)0x20000458 = 0;
    *(uint16_t*)0x2000045c = 0;
    *(uint8_t*)0x2000045e = 0;
    *(uint8_t*)0x2000045f = 0;
    *(uint8_t*)0x20000460 = 0;
    *(uint8_t*)0x20000461 = 0;
    *(uint8_t*)0x20000462 = 0;
    *(uint8_t*)0x20000463 = 0;
    *(uint8_t*)0x20000464 = 0;
    *(uint8_t*)0x20000465 = 0;
    *(uint8_t*)0x20000466 = 0;
    *(uint8_t*)0x20000467 = 0;
    *(uint64_t*)0x20000468 = 0;
    *(uint32_t*)0x20000470 = 0;
    *(uint16_t*)0x20000474 = 0;
    *(uint8_t*)0x20000476 = 0;
    *(uint8_t*)0x20000477 = 0;
    *(uint8_t*)0x20000478 = 0;
    *(uint8_t*)0x20000479 = 0;
    *(uint8_t*)0x2000047a = 0;
    *(uint8_t*)0x2000047b = 0;
    *(uint8_t*)0x2000047c = 0;
    *(uint8_t*)0x2000047d = 0;
    *(uint8_t*)0x2000047e = 0;
    *(uint8_t*)0x2000047f = 0;
    *(uint64_t*)0x20000480 = 0;
    *(uint16_t*)0x20000488 = 0;
    *(uint16_t*)0x2000048a = 0;
    *(uint16_t*)0x2000048c = 0;
    *(uint16_t*)0x2000048e = 0;
    *(uint64_t*)0x20000490 = 0;
    *(uint16_t*)0x20000498 = 0;
    *(uint16_t*)0x2000049a = 0;
    *(uint16_t*)0x2000049c = 0;
    *(uint16_t*)0x2000049e = 0;
    *(uint64_t*)0x200004a0 = 0x8005001f;
    *(uint64_t*)0x200004a8 = 0;
    *(uint64_t*)0x200004b0 = 0;
    *(uint64_t*)0x200004b8 = 0x28;
    *(uint64_t*)0x200004c0 = 0;
    *(uint64_t*)0x200004c8 = 0x6500;
    *(uint64_t*)0x200004d0 = 0;
    *(uint64_t*)0x200004d8 = 0;
    *(uint64_t*)0x200004e0 = 0;
    *(uint64_t*)0x200004e8 = 0;
    *(uint64_t*)0x200004f0 = 0;
    syscall(__NR_ioctl, -1, 0x4138ae84, 0x200003c0);
    break;
  case 41:
    memcpy((void*)0x200001c0, "trusted.overlay.upper", 22);
    *(uint8_t*)0x20000300 = 0;
    *(uint8_t*)0x20000301 = 0xfb;
    *(uint8_t*)0x20000302 = 0x15;
    *(uint8_t*)0x20000303 = 0;
    *(uint8_t*)0x20000304 = 0;
    memcpy((void*)0x20000305,
           "\x15\xda\x34\x97\x20\xda\x1e\xf6\x98\x86\x47\x09\xa3\x6c\xca\x9a",
           16);
    syscall(__NR_fsetxattr, -1, 0x200001c0, 0x20000300, 0x15, 1);
    break;
  case 42:
    syscall(__NR_close, -1);
    break;
  case 43:
    memcpy((void*)0x20000180, "./file0", 8);
    *(uint64_t*)0x20000400 = 0x20000440;
    memcpy((void*)0x20000440, "{user}eth0eth1", 15);
    *(uint64_t*)0x20000408 = 0x20000380;
    memcpy((void*)0x20000380, "/proc/sys/net/ipv4/vs/expire_nodest_conn", 41);
    syscall(__NR_execve, 0x20000180, 0x20000400, 0x20000140);
    break;
  case 44:
    *(uint32_t*)0x2001d000 = 1;
    *(uint32_t*)0x2001d004 = 0x70;
    *(uint8_t*)0x2001d008 = 0;
    *(uint8_t*)0x2001d009 = 0;
    *(uint8_t*)0x2001d00a = 0;
    *(uint8_t*)0x2001d00b = 0;
    *(uint32_t*)0x2001d00c = 0;
    *(uint64_t*)0x2001d010 = 0x7f;
    *(uint64_t*)0x2001d018 = 0;
    *(uint64_t*)0x2001d020 = 0;
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 0, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 1, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 2, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 3, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 4, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 5, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 6, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 7, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 8, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 9, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 10, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 11, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 12, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 13, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 14, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 15, 2);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 17, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 18, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 19, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 20, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 21, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 22, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 23, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 24, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 25, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 26, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 27, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 28, 1);
    STORE_BY_BITMASK(uint64_t, 0x2001d028, 0, 29, 35);
    *(uint32_t*)0x2001d030 = 0;
    *(uint32_t*)0x2001d034 = 0;
    *(uint64_t*)0x2001d038 = 0x20abe000;
    *(uint64_t*)0x2001d040 = 0;
    *(uint64_t*)0x2001d048 = 0;
    *(uint64_t*)0x2001d050 = 0;
    *(uint32_t*)0x2001d058 = 0;
    *(uint32_t*)0x2001d05c = 0;
    *(uint64_t*)0x2001d060 = 0;
    *(uint32_t*)0x2001d068 = 0;
    *(uint16_t*)0x2001d06c = 0;
    *(uint16_t*)0x2001d06e = 0;
    syscall(__NR_perf_event_open, 0x2001d000, 0, -1, -1, 0);
    break;
  case 45:
    res = syscall(__NR_socket, 0x15, 5, 0);
    if (res != -1)
      r[5] = res;
    break;
  case 46:
    *(uint16_t*)0x20000080 = 2;
    *(uint16_t*)0x20000082 = htobe16(0);
    *(uint8_t*)0x20000084 = 0xac;
    *(uint8_t*)0x20000085 = 0x14;
    *(uint8_t*)0x20000086 = 0x14;
    *(uint8_t*)0x20000087 = 0xaa;
    *(uint8_t*)0x20000088 = 0;
    *(uint8_t*)0x20000089 = 0;
    *(uint8_t*)0x2000008a = 0;
    *(uint8_t*)0x2000008b = 0;
    *(uint8_t*)0x2000008c = 0;
    *(uint8_t*)0x2000008d = 0;
    *(uint8_t*)0x2000008e = 0;
    *(uint8_t*)0x2000008f = 0;
    syscall(__NR_bind, r[5], 0x20000080, 0x10);
    break;
  case 47:
    memcpy((void*)0x20000180, "/dev/net/tun", 13);
    res = syscall(__NR_openat, 0xffffffffffffff9c, 0x20000180, 0, 0);
    if (res != -1)
      r[6] = res;
    break;
  case 48:
    syscall(__NR_close, r[6]);
    break;
  case 49:
    syscall(__NR_listen, -1, 0x10102);
    break;
  case 50:
    syscall(__NR_socket, 0xa, 5, 0x84);
    break;
  case 51:
    syscall(__NR_ioctl, -1, 0x540c);
    break;
  case 52:
    *(uint64_t*)0x20000380 = 0x20000180;
    memcpy((void*)0x20000180, "ppp0vboxnet1.GPL@:bdevsecurity", 31);
    *(uint32_t*)0x20000388 = -1;
    res = syscall(__NR_bpf, 0x11, 0x20000380, 0x10);
    if (res != -1)
      r[7] = res;
    break;
  case 53:
    *(uint16_t*)0x208d4fe4 = 0xa;
    *(uint16_t*)0x208d4fe6 = htobe16(0x4e20);
    *(uint32_t*)0x208d4fe8 = 0;
    *(uint64_t*)0x208d4fec = htobe64(0);
    *(uint64_t*)0x208d4ff4 = htobe64(1);
    *(uint32_t*)0x208d4ffc = 0;
    syscall(__NR_sendto, -1, 0x20e77fff, 0x2bd, 0x20000008, 0x208d4fe4, 0x1c);
    break;
  case 54:
    memcpy((void*)0x20002000, "./bus", 6);
    res = syscall(__NR_open, 0x20002000, 0x141042, 0);
    if (res != -1)
      r[8] = res;
    break;
  case 55:
    memcpy((void*)0x20000140, "./bus", 6);
    syscall(__NR_readlinkat, -1, 0x20000140, 0x20000200, 0x6e);
    break;
  case 56:
    syscall(__NR_ftruncate, r[8], 0x80003);
    break;
  case 57:
    *(uint64_t*)0x200000c0 = 0;
    syscall(__NR_sendfile, -1, r[8], 0x200000c0, 0x8000fffffffe);
    break;
  case 58:
    *(uint32_t*)0x20000400 = 8;
    *(uint64_t*)0x20000408 = 0;
    *(uint64_t*)0x20000410 = 0;
    *(uint64_t*)0x20000418 = 0;
    *(uint32_t*)0x20000420 = 0;
    *(uint16_t*)0x20000424 = 0;
    *(uint16_t*)0x20000426 = 0;
    syscall(__NR_ioctl, -1, 0x40286608, 0x20000400);
    break;
  case 59:
    *(uint32_t*)0x20000440 = 0x50;
    *(uint32_t*)0x20000444 = 0xfffffff5;
    *(uint64_t*)0x20000448 = 3;
    *(uint32_t*)0x20000450 = 7;
    *(uint32_t*)0x20000454 = 0x1b;
    *(uint32_t*)0x20000458 = 6;
    *(uint32_t*)0x2000045c = 0xd1010;
    *(uint16_t*)0x20000460 = 0;
    *(uint16_t*)0x20000462 = 2;
    *(uint32_t*)0x20000464 = 8;
    *(uint32_t*)0x20000468 = 0x7ff;
    *(uint32_t*)0x2000046c = 0;
    *(uint32_t*)0x20000470 = 0;
    *(uint32_t*)0x20000474 = 0;
    *(uint32_t*)0x20000478 = 0;
    *(uint32_t*)0x2000047c = 0;
    *(uint32_t*)0x20000480 = 0;
    *(uint32_t*)0x20000484 = 0;
    *(uint32_t*)0x20000488 = 0;
    *(uint32_t*)0x2000048c = 0;
    syscall(__NR_write, r[7], 0x20000440, 0x50);
    break;
  case 60:
    *(uint8_t*)0x20000100 = 1;
    *(uint8_t*)0x20000101 = 0;
    *(uint32_t*)0x20000104 = 0x31;
    *(uint32_t*)0x20000108 = 0xf;
    *(uint32_t*)0x2000010c = 7;
    *(uint32_t*)0x20000110 = 0xa;
    *(uint32_t*)0x20000114 = 0xb;
    *(uint32_t*)0x20000118 = 0xff;
    *(uint32_t*)0x2000011c = 0;
    *(uint32_t*)0x20000120 = 0x102;
    *(uint32_t*)0x20000124 = 0;
    syscall(__NR_ioctl, r[8], 0x4028700f, 0x20000100);
    break;
  case 61:
    *(uint64_t*)0x20003440 = 0x20001840;
    *(uint32_t*)0x20003448 = 0x80;
    *(uint64_t*)0x20003450 = 0x20001d80;
    *(uint64_t*)0x20003458 = 0;
    *(uint64_t*)0x20003460 = 0x20001e40;
    *(uint64_t*)0x20003468 = 0x42;
    *(uint32_t*)0x20003470 = 0;
    *(uint32_t*)0x20003478 = 0;
    *(uint64_t*)0x20003500 = 0;
    *(uint64_t*)0x20003508 = 0x1c9c380;
    syscall(__NR_recvmmsg, -1, 0x20003440, 0x21b, 0x2000, 0x20003500);
    break;
  case 62:
    *(uint64_t*)0x20007e00 = 0;
    *(uint32_t*)0x20007e08 = 0;
    *(uint64_t*)0x20007e10 = 0x200001c0;
    *(uint64_t*)0x20007e18 = 0;
    *(uint64_t*)0x20007e20 = 0x200003c0;
    *(uint64_t*)0x20007e28 = 0;
    *(uint32_t*)0x20007e30 = 0;
    *(uint32_t*)0x20007e38 = 0;
    syscall(__NR_sendmmsg, -1, 0x20007e00, 1, 0x8000);
    break;
  }
}
int main(void)
{
  syscall(__NR_mmap, 0x20000000, 0x1000000, 3, 0x32, -1, 0);
  for (procid = 0; procid < 8; procid++) {
    if (fork() == 0) {
      do_sandbox_none();
    }
  }
  sleep(1000000);
  return 0;
}