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

static void event_wait(event_t* ev)
{
  while (!__atomic_load_n(&ev->state, __ATOMIC_ACQUIRE))
    syscall(SYS_futex, &ev->state, FUTEX_WAIT, 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, 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 < 116; 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
#ifndef __NR_sched_setattr
#define __NR_sched_setattr 314
#endif

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

void execute_call(int call)
{
  long res;
  switch (call) {
  case 0:
    *(uint32_t*)0x20000180 = 2;
    *(uint32_t*)0x20000184 = 0x70;
    *(uint8_t*)0x20000188 = 0xe5;
    *(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 = 0x20000000;
    *(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 1:
    res = syscall(__NR_socket, 0x18, 1, 2);
    if (res != -1)
      r[0] = res;
    break;
  case 2:
    *(uint16_t*)0x20000040 = 0x18;
    *(uint32_t*)0x20000042 = 2;
    *(uint16_t*)0x20000046 = htobe16(0);
    *(uint32_t*)0x2000004a = htobe32(0x7f000001);
    syscall(__NR_bind, r[0], 0x20000040, 0x1e);
    break;
  case 3:
    *(uint16_t*)0x200000c0 = 0x18;
    *(uint32_t*)0x200000c2 = 2;
    *(uint16_t*)0x200000c6 = htobe16(0);
    *(uint32_t*)0x200000ca = htobe32(0xe0000001);
    syscall(__NR_connect, r[0], 0x200000c0, 0x1e);
    break;
  case 4:
    *(uint32_t*)0x20000180 = 2;
    *(uint32_t*)0x20000184 = 0x70;
    *(uint8_t*)0x20000188 = 0xe5;
    *(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 = 0x20000000;
    *(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, 0, -1, 0);
    break;
  case 5:
    *(uint32_t*)0x20000240 = 0;
    syscall(__NR_bpf, 0xd, 0x20000240, 4);
    break;
  case 6:
    res = syscall(__NR_socket, 0xa, 0x1000000000002, 0);
    if (res != -1)
      r[1] = res;
    break;
  case 7:
    syscall(__NR_ioctl, r[1], 0x8912, 0x20000080);
    break;
  case 8:
    *(uint16_t*)0x200001c0 = 0xa;
    *(uint16_t*)0x200001c2 = htobe16(0x4e23);
    *(uint32_t*)0x200001c4 = 0;
    *(uint8_t*)0x200001c8 = 0;
    *(uint8_t*)0x200001c9 = 0;
    *(uint8_t*)0x200001ca = 0;
    *(uint8_t*)0x200001cb = 0;
    *(uint8_t*)0x200001cc = 0;
    *(uint8_t*)0x200001cd = 0;
    *(uint8_t*)0x200001ce = 0;
    *(uint8_t*)0x200001cf = 0;
    *(uint8_t*)0x200001d0 = 0;
    *(uint8_t*)0x200001d1 = 0;
    *(uint8_t*)0x200001d2 = -1;
    *(uint8_t*)0x200001d3 = -1;
    *(uint32_t*)0x200001d4 = htobe32(0);
    *(uint32_t*)0x200001d8 = 0;
    syscall(__NR_bind, -1, 0x200001c0, 0x1c);
    break;
  case 9:
    res = syscall(__NR_socket, 0x10, 3, 0);
    if (res != -1)
      r[2] = res;
    break;
  case 10:
    *(uint64_t*)0x20000180 = 0x20000000;
    *(uint16_t*)0x20000000 = 0x10;
    *(uint16_t*)0x20000002 = 0;
    *(uint32_t*)0x20000004 = 0;
    *(uint32_t*)0x20000008 = 0;
    *(uint32_t*)0x20000188 = 0xc;
    *(uint64_t*)0x20000190 = 0x20000140;
    *(uint64_t*)0x20000140 = 0x200005c0;
    *(uint32_t*)0x200005c0 = 0x3c;
    *(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 = 0x1c;
    *(uint16_t*)0x200005e2 = 0x12;
    *(uint16_t*)0x200005e4 = 0xc;
    *(uint16_t*)0x200005e6 = 1;
    memcpy((void*)0x200005e8, "bond", 5);
    *(uint16_t*)0x200005f0 = 0xc;
    *(uint16_t*)0x200005f2 = 2;
    *(uint16_t*)0x200005f4 = 8;
    *(uint16_t*)0x200005f6 = 8;
    *(uint32_t*)0x200005f8 = 0;
    *(uint64_t*)0x20000148 = 0x3c;
    *(uint64_t*)0x20000198 = 1;
    *(uint64_t*)0x200001a0 = 0;
    *(uint64_t*)0x200001a8 = 0;
    *(uint32_t*)0x200001b0 = 0;
    syscall(__NR_sendmsg, r[2], 0x20000180, 0);
    break;
  case 11:
    *(uint32_t*)0x200002c0 = 1;
    *(uint32_t*)0x200002c4 = 0x70;
    *(uint8_t*)0x200002c8 = 0;
    *(uint8_t*)0x200002c9 = 0;
    *(uint8_t*)0x200002ca = 0;
    *(uint8_t*)0x200002cb = 0;
    *(uint32_t*)0x200002cc = 0;
    *(uint64_t*)0x200002d0 = 0x50d;
    *(uint64_t*)0x200002d8 = 0;
    *(uint64_t*)0x200002e0 = 0;
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 0, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 1, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 2, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 3, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 4, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 5, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 6, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 7, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 8, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 9, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 10, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 11, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 12, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 13, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 14, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 15, 2);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 17, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 18, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 19, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 20, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 21, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 22, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 23, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 24, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 25, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 26, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 27, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 28, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 29, 35);
    *(uint32_t*)0x200002f0 = 0;
    *(uint32_t*)0x200002f4 = 0;
    *(uint64_t*)0x200002f8 = 0x20000000;
    *(uint64_t*)0x20000300 = 0;
    *(uint64_t*)0x20000308 = 0;
    *(uint64_t*)0x20000310 = 0;
    *(uint32_t*)0x20000318 = 0;
    *(uint32_t*)0x2000031c = 0;
    *(uint64_t*)0x20000320 = 0;
    *(uint32_t*)0x20000328 = 0;
    *(uint16_t*)0x2000032c = 0;
    *(uint16_t*)0x2000032e = 0;
    syscall(__NR_perf_event_open, 0x200002c0, 0, -1, -1, 0);
    break;
  case 12:
    res = syscall(__NR_pipe2, 0x20000100, 0);
    if (res != -1) {
      r[3] = *(uint32_t*)0x20000100;
      r[4] = *(uint32_t*)0x20000104;
    }
    break;
  case 13:
    memcpy((void*)0x20000140, "./file0", 8);
    syscall(__NR_mkdir, 0x20000140, 0);
    break;
  case 14:
    memcpy((void*)0x20000000, "./file0", 8);
    memcpy((void*)0x20000900, "9p", 3);
    memcpy((void*)0x20000840, "trans=fd,", 9);
    memcpy((void*)0x20000849, "rfdno", 5);
    *(uint8_t*)0x2000084e = 0x3d;
    sprintf((char*)0x2000084f, "0x%016llx", (long long)r[3]);
    *(uint8_t*)0x20000861 = 0x2c;
    memcpy((void*)0x20000862, "wfdno", 5);
    *(uint8_t*)0x20000867 = 0x3d;
    sprintf((char*)0x20000868, "0x%016llx", (long long)r[4]);
    *(uint8_t*)0x2000087a = 0x2c;
    *(uint8_t*)0x2000087b = 0;
    syscall(__NR_mount, 0, 0x20000000, 0x20000900, 0, 0x20000840);
    break;
  case 15:
    memcpy((void*)0x20000500, "./file0", 8);
    syscall(__NR_umount2, 0x20000500, 0);
    break;
  case 16:
    memcpy((void*)0x20000380, "/dev/hwrng", 11);
    syscall(__NR_openat, 0xffffffffffffff9c, 0x20000380, 0x480400, 0);
    break;
  case 17:
    *(uint64_t*)0x20d83ff8 = 0;
    syscall(__NR_sendfile, -1, -1, 0x20d83ff8, 0);
    break;
  case 18:
    *(uint32_t*)0x20000080 = 7;
    *(uint8_t*)0x20000084 = 0x21;
    *(uint16_t*)0x20000085 = 2;
    syscall(__NR_write, r[4], 0x20000080, 7);
    break;
  case 19:
    *(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 20:
    *(uint32_t*)0x20000000 = 0;
    *(uint32_t*)0x20000004 = 6;
    *(uint64_t*)0x20000008 = 0;
    *(uint32_t*)0x20000010 = 0;
    *(uint32_t*)0x20000014 = 0;
    *(uint64_t*)0x20000018 = 0x9917;
    *(uint64_t*)0x20000020 = 0;
    *(uint64_t*)0x20000028 = 0;
    syscall(__NR_sched_setattr, 0, 0x20000000, 0);
    break;
  case 21:
    *(uint32_t*)0x20000280 = 0;
    syscall(__NR_ioctl, -1, 0x8902, 0x20000280);
    break;
  case 22:
    memcpy((void*)0x20000180, "cgroup.procs", 13);
    syscall(__NR_openat, -1, 0x20000180, 2, 0);
    break;
  case 23:
    memcpy((void*)0x20000340, "./bus", 6);
    res = syscall(__NR_creat, 0x20000340, 0);
    if (res != -1)
      r[5] = res;
    break;
  case 24:
    *(uint32_t*)0x20000480 = 1;
    *(uint64_t*)0x20000488 = 0x20000580;
    *(uint64_t*)0x20000490 = 0x1000;
    *(uint64_t*)0x20000498 = 0x20000380;
    *(uint8_t*)0x200004a0 = 0;
    *(uint8_t*)0x200004a1 = 0;
    *(uint64_t*)0x200004a8 = 0;
    *(uint64_t*)0x200004b0 = 0;
    *(uint64_t*)0x200004b8 = 0;
    *(uint64_t*)0x200004c0 = 0;
    *(uint64_t*)0x200004c8 = 0;
    *(uint64_t*)0x200004d0 = 0;
    *(uint64_t*)0x200004d8 = 0;
    *(uint64_t*)0x200004e0 = 0;
    syscall(__NR_write, r[5], 0x20000480, 0x68);
    break;
  case 25:
    syscall(__NR_fcntl, r[5], 4, 0x44000);
    break;
  case 26:
    res = syscall(__NR_io_setup, 3, 0x20000200);
    if (res != -1)
      r[6] = *(uint64_t*)0x20000200;
    break;
  case 27:
    *(uint64_t*)0x20000540 = 0x200000c0;
    *(uint64_t*)0x200000c0 = 0;
    *(uint32_t*)0x200000c8 = 0;
    *(uint32_t*)0x200000cc = 0;
    *(uint16_t*)0x200000d0 = 1;
    *(uint16_t*)0x200000d2 = 0;
    *(uint32_t*)0x200000d4 = r[5];
    *(uint64_t*)0x200000d8 = 0x20000000;
    *(uint64_t*)0x200000e0 = 0x377140be6b5ef4c7;
    *(uint64_t*)0x200000e8 = 0xc;
    *(uint64_t*)0x200000f0 = 0;
    *(uint32_t*)0x200000f8 = 0;
    *(uint32_t*)0x200000fc = -1;
    syscall(__NR_io_submit, r[6], 0x653, 0x20000540);
    break;
  case 28:
    *(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 29:
    *(uint32_t*)0x20000000 = 0;
    *(uint32_t*)0x20000004 = 6;
    *(uint64_t*)0x20000008 = 0;
    *(uint32_t*)0x20000010 = 0;
    *(uint32_t*)0x20000014 = 0;
    *(uint64_t*)0x20000018 = 0x9917;
    *(uint64_t*)0x20000020 = 0;
    *(uint64_t*)0x20000028 = 0;
    syscall(__NR_sched_setattr, 0, 0x20000000, 0);
    break;
  case 30:
    *(uint32_t*)0x20000280 = 0;
    syscall(__NR_ioctl, -1, 0x8902, 0x20000280);
    break;
  case 31:
    memcpy((void*)0x20000180, "cgroup.procs", 13);
    syscall(__NR_openat, -1, 0x20000180, 2, 0);
    break;
  case 32:
    memcpy((void*)0x20000340, "./bus", 6);
    res = syscall(__NR_creat, 0x20000340, 0);
    if (res != -1)
      r[7] = res;
    break;
  case 33:
    *(uint32_t*)0x20000480 = 1;
    *(uint64_t*)0x20000488 = 0x20000580;
    *(uint64_t*)0x20000490 = 0x1000;
    *(uint64_t*)0x20000498 = 0x20000380;
    *(uint8_t*)0x200004a0 = 0;
    *(uint8_t*)0x200004a1 = 0;
    *(uint64_t*)0x200004a8 = 0;
    *(uint64_t*)0x200004b0 = 0;
    *(uint64_t*)0x200004b8 = 0;
    *(uint64_t*)0x200004c0 = 0;
    *(uint64_t*)0x200004c8 = 0;
    *(uint64_t*)0x200004d0 = 0;
    *(uint64_t*)0x200004d8 = 0;
    *(uint64_t*)0x200004e0 = 0;
    syscall(__NR_write, r[7], 0x20000480, 0x68);
    break;
  case 34:
    syscall(__NR_fcntl, r[7], 4, 0x44000);
    break;
  case 35:
    res = syscall(__NR_io_setup, 3, 0x20000200);
    if (res != -1)
      r[8] = *(uint64_t*)0x20000200;
    break;
  case 36:
    *(uint64_t*)0x20000540 = 0x200000c0;
    *(uint64_t*)0x200000c0 = 0;
    *(uint32_t*)0x200000c8 = 0;
    *(uint32_t*)0x200000cc = 0;
    *(uint16_t*)0x200000d0 = 1;
    *(uint16_t*)0x200000d2 = 0;
    *(uint32_t*)0x200000d4 = r[7];
    *(uint64_t*)0x200000d8 = 0x20000000;
    *(uint64_t*)0x200000e0 = 0x377140be6b5ef4c7;
    *(uint64_t*)0x200000e8 = 0xc;
    *(uint64_t*)0x200000f0 = 0;
    *(uint32_t*)0x200000f8 = 0;
    *(uint32_t*)0x200000fc = -1;
    syscall(__NR_io_submit, r[8], 0x653, 0x20000540);
    break;
  case 37:
    *(uint32_t*)0x200002c0 = 1;
    *(uint32_t*)0x200002c4 = 0x70;
    *(uint8_t*)0x200002c8 = 0;
    *(uint8_t*)0x200002c9 = 0;
    *(uint8_t*)0x200002ca = 0;
    *(uint8_t*)0x200002cb = 0;
    *(uint32_t*)0x200002cc = 0;
    *(uint64_t*)0x200002d0 = 0x50d;
    *(uint64_t*)0x200002d8 = 0;
    *(uint64_t*)0x200002e0 = 0;
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 0, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 1, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 2, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 3, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 4, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 5, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 6, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 7, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 8, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 9, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 10, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 11, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 12, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 13, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 14, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 15, 2);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 17, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 18, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 19, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 20, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 21, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 22, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 23, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 24, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 25, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 26, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 27, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 28, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 29, 35);
    *(uint32_t*)0x200002f0 = 0;
    *(uint32_t*)0x200002f4 = 0;
    *(uint64_t*)0x200002f8 = 0x20000000;
    *(uint64_t*)0x20000300 = 0;
    *(uint64_t*)0x20000308 = 0;
    *(uint64_t*)0x20000310 = 0;
    *(uint32_t*)0x20000318 = 0;
    *(uint32_t*)0x2000031c = 0;
    *(uint64_t*)0x20000320 = 0;
    *(uint32_t*)0x20000328 = 0;
    *(uint16_t*)0x2000032c = 0;
    *(uint16_t*)0x2000032e = 0;
    syscall(__NR_perf_event_open, 0x200002c0, 0, -1, -1, 0);
    break;
  case 38:
    res = syscall(__NR_pipe2, 0x20000100, 0);
    if (res != -1) {
      r[9] = *(uint32_t*)0x20000100;
      r[10] = *(uint32_t*)0x20000104;
    }
    break;
  case 39:
    *(uint32_t*)0x20000040 = 0xffffffca;
    *(uint8_t*)0x20000044 = 0x4d;
    *(uint16_t*)0x20000045 = 0;
    syscall(__NR_write, r[10], 0x20000040, 7);
    break;
  case 40:
    memcpy((void*)0x20000140, "./file0", 8);
    syscall(__NR_mkdir, 0x20000140, 0);
    break;
  case 41:
    syscall(__NR_fstatfs, r[9], 0x20000640);
    break;
  case 42:
    memcpy((void*)0x200000c0, "./file0", 8);
    memcpy((void*)0x20000340, "9p", 3);
    memcpy((void*)0x200001c0, "trans=fd,", 9);
    memcpy((void*)0x200001c9, "rfdno", 5);
    *(uint8_t*)0x200001ce = 0x3d;
    sprintf((char*)0x200001cf, "0x%016llx", (long long)r[9]);
    *(uint8_t*)0x200001e1 = 0x2c;
    memcpy((void*)0x200001e2, "wfdno", 5);
    *(uint8_t*)0x200001e7 = 0x3d;
    sprintf((char*)0x200001e8, "0x%016llx", (long long)r[10]);
    *(uint8_t*)0x200001fa = 0x2c;
    *(uint8_t*)0x200001fb = 0;
    syscall(__NR_mount, 0, 0x200000c0, 0x20000340, 0, 0x200001c0);
    break;
  case 43:
    *(uint32_t*)0x20000200 = 0xa0;
    *(uint8_t*)0x20000204 = 0x19;
    *(uint16_t*)0x20000205 = 1;
    *(uint64_t*)0x20000207 = 0;
    *(uint8_t*)0x2000020f = 0;
    *(uint32_t*)0x20000210 = 0;
    *(uint64_t*)0x20000214 = 0;
    *(uint32_t*)0x2000021c = 0;
    *(uint32_t*)0x20000220 = 0;
    *(uint32_t*)0x20000224 = 0;
    *(uint64_t*)0x20000228 = 0;
    *(uint64_t*)0x20000230 = 0;
    *(uint64_t*)0x20000238 = 0;
    *(uint64_t*)0x20000240 = 0;
    *(uint64_t*)0x20000248 = 0;
    *(uint64_t*)0x20000250 = 0;
    *(uint64_t*)0x20000258 = 0;
    *(uint64_t*)0x20000260 = 0;
    *(uint64_t*)0x20000268 = 0;
    *(uint64_t*)0x20000270 = 0;
    *(uint64_t*)0x20000278 = 0;
    *(uint64_t*)0x20000280 = 0;
    *(uint64_t*)0x20000288 = 0;
    *(uint64_t*)0x20000290 = 0;
    *(uint64_t*)0x20000298 = 0;
    syscall(__NR_write, r[10], 0x20000200, 0xa0);
    break;
  case 44:
    memcpy((void*)0x20000000, "./file0", 8);
    memcpy((void*)0x20000900, "9p", 3);
    memcpy((void*)0x20000840, "trans=fd,", 9);
    memcpy((void*)0x20000849, "rfdno", 5);
    *(uint8_t*)0x2000084e = 0x3d;
    sprintf((char*)0x2000084f, "0x%016llx", (long long)r[9]);
    *(uint8_t*)0x20000861 = 0x2c;
    memcpy((void*)0x20000862, "wfdno", 5);
    *(uint8_t*)0x20000867 = 0x3d;
    sprintf((char*)0x20000868, "0x%016llx", (long long)r[10]);
    *(uint8_t*)0x2000087a = 0x2c;
    *(uint8_t*)0x2000087b = 0;
    syscall(__NR_mount, 0, 0x20000000, 0x20000900, 0, 0x20000840);
    break;
  case 45:
    memcpy((void*)0x20000500, "./file0", 8);
    syscall(__NR_umount2, 0x20000500, 0);
    break;
  case 46:
    memcpy((void*)0x20000380, "/dev/hwrng", 11);
    syscall(__NR_openat, 0xffffffffffffff9c, 0x20000380, 0x480400, 0);
    break;
  case 47:
    memcpy((void*)0x20000180, "./bus", 6);
    syscall(__NR_open, 0x20000180, 0, 0);
    break;
  case 48:
    *(uint64_t*)0x20d83ff8 = 0;
    syscall(__NR_sendfile, -1, -1, 0x20d83ff8, 0);
    break;
  case 49:
    *(uint32_t*)0x20000080 = 7;
    *(uint8_t*)0x20000084 = 0x21;
    *(uint16_t*)0x20000085 = 2;
    syscall(__NR_write, r[10], 0x20000080, 7);
    break;
  case 50:
    *(uint32_t*)0x2025c000 = 2;
    *(uint32_t*)0x2025c004 = 0x70;
    *(uint8_t*)0x2025c008 = 0xe5;
    *(uint8_t*)0x2025c009 = 0;
    *(uint8_t*)0x2025c00a = 0;
    *(uint8_t*)0x2025c00b = 0;
    *(uint32_t*)0x2025c00c = 0;
    *(uint64_t*)0x2025c010 = 0;
    *(uint64_t*)0x2025c018 = 0;
    *(uint64_t*)0x2025c020 = 0;
    STORE_BY_BITMASK(uint64_t, 0x2025c028, 0, 0, 1);
    STORE_BY_BITMASK(uint64_t, 0x2025c028, 0, 1, 1);
    STORE_BY_BITMASK(uint64_t, 0x2025c028, 0, 2, 1);
    STORE_BY_BITMASK(uint64_t, 0x2025c028, 0, 3, 1);
    STORE_BY_BITMASK(uint64_t, 0x2025c028, 0, 4, 1);
    STORE_BY_BITMASK(uint64_t, 0x2025c028, 0, 5, 1);
    STORE_BY_BITMASK(uint64_t, 0x2025c028, 0, 6, 1);
    STORE_BY_BITMASK(uint64_t, 0x2025c028, 0, 7, 1);
    STORE_BY_BITMASK(uint64_t, 0x2025c028, 0, 8, 1);
    STORE_BY_BITMASK(uint64_t, 0x2025c028, 0, 9, 1);
    STORE_BY_BITMASK(uint64_t, 0x2025c028, 0, 10, 1);
    STORE_BY_BITMASK(uint64_t, 0x2025c028, 0, 11, 1);
    STORE_BY_BITMASK(uint64_t, 0x2025c028, 0, 12, 1);
    STORE_BY_BITMASK(uint64_t, 0x2025c028, 0, 13, 1);
    STORE_BY_BITMASK(uint64_t, 0x2025c028, 0, 14, 1);
    STORE_BY_BITMASK(uint64_t, 0x2025c028, 0, 15, 2);
    STORE_BY_BITMASK(uint64_t, 0x2025c028, 0, 17, 1);
    STORE_BY_BITMASK(uint64_t, 0x2025c028, 0, 18, 1);
    STORE_BY_BITMASK(uint64_t, 0x2025c028, 0, 19, 1);
    STORE_BY_BITMASK(uint64_t, 0x2025c028, 0, 20, 1);
    STORE_BY_BITMASK(uint64_t, 0x2025c028, 0, 21, 1);
    STORE_BY_BITMASK(uint64_t, 0x2025c028, 0, 22, 1);
    STORE_BY_BITMASK(uint64_t, 0x2025c028, 0, 23, 1);
    STORE_BY_BITMASK(uint64_t, 0x2025c028, 0, 24, 1);
    STORE_BY_BITMASK(uint64_t, 0x2025c028, 0, 25, 1);
    STORE_BY_BITMASK(uint64_t, 0x2025c028, 0, 26, 1);
    STORE_BY_BITMASK(uint64_t, 0x2025c028, 0, 27, 1);
    STORE_BY_BITMASK(uint64_t, 0x2025c028, 0, 28, 1);
    STORE_BY_BITMASK(uint64_t, 0x2025c028, 0, 29, 35);
    *(uint32_t*)0x2025c030 = 0;
    *(uint32_t*)0x2025c034 = 0;
    *(uint64_t*)0x2025c038 = 0x20000000;
    *(uint64_t*)0x2025c040 = 0;
    *(uint64_t*)0x2025c048 = 0;
    *(uint64_t*)0x2025c050 = 0;
    *(uint32_t*)0x2025c058 = 0;
    *(uint32_t*)0x2025c05c = 0;
    *(uint64_t*)0x2025c060 = 0;
    *(uint32_t*)0x2025c068 = 0;
    *(uint16_t*)0x2025c06c = 0;
    *(uint16_t*)0x2025c06e = 0;
    syscall(__NR_perf_event_open, 0x2025c000, 0, 0, -1, 0);
    break;
  case 51:
    *(uint32_t*)0x20000240 = 0;
    syscall(__NR_bpf, 0xd, 0x20000240, 4);
    break;
  case 52:
    *(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 53:
    *(uint32_t*)0x20000280 = 0;
    syscall(__NR_ioctl, -1, 0x8902, 0x20000280);
    break;
  case 54:
    *(uint32_t*)0x20000480 = 1;
    *(uint64_t*)0x20000488 = 0x20000580;
    *(uint64_t*)0x20000490 = 0x1000;
    *(uint64_t*)0x20000498 = 0x20000380;
    *(uint8_t*)0x200004a0 = 0;
    *(uint8_t*)0x200004a1 = 0;
    *(uint64_t*)0x200004a8 = 0;
    *(uint64_t*)0x200004b0 = 0;
    *(uint64_t*)0x200004b8 = 0;
    *(uint64_t*)0x200004c0 = 0;
    *(uint64_t*)0x200004c8 = 0;
    *(uint64_t*)0x200004d0 = 0;
    *(uint64_t*)0x200004d8 = 0;
    *(uint64_t*)0x200004e0 = 0;
    syscall(__NR_write, -1, 0x20000480, 0x68);
    break;
  case 55:
    syscall(__NR_fcntl, -1, 4, 0x44000);
    break;
  case 56:
    res = syscall(__NR_io_setup, 3, 0x20000200);
    if (res != -1)
      r[11] = *(uint64_t*)0x20000200;
    break;
  case 57:
    *(uint64_t*)0x20000540 = 0x200000c0;
    *(uint64_t*)0x200000c0 = 0;
    *(uint32_t*)0x200000c8 = 0;
    *(uint32_t*)0x200000cc = 0;
    *(uint16_t*)0x200000d0 = 1;
    *(uint16_t*)0x200000d2 = 0;
    *(uint32_t*)0x200000d4 = -1;
    *(uint64_t*)0x200000d8 = 0x20000000;
    *(uint64_t*)0x200000e0 = 0x377140be6b5ef4c7;
    *(uint64_t*)0x200000e8 = 0xc;
    *(uint64_t*)0x200000f0 = 0;
    *(uint32_t*)0x200000f8 = 0;
    *(uint32_t*)0x200000fc = -1;
    syscall(__NR_io_submit, r[11], 0x653, 0x20000540);
    break;
  case 58:
    *(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 59:
    *(uint32_t*)0x20000000 = 0;
    *(uint32_t*)0x20000004 = 6;
    *(uint64_t*)0x20000008 = 0;
    *(uint32_t*)0x20000010 = 0;
    *(uint32_t*)0x20000014 = 0;
    *(uint64_t*)0x20000018 = 0x9917;
    *(uint64_t*)0x20000020 = 0;
    *(uint64_t*)0x20000028 = 0;
    syscall(__NR_sched_setattr, 0, 0x20000000, 0);
    break;
  case 60:
    memcpy((void*)0x20000180, "cgroup.procs", 13);
    syscall(__NR_openat, -1, 0x20000180, 2, 0);
    break;
  case 61:
    memcpy((void*)0x20000340, "./bus", 6);
    res = syscall(__NR_creat, 0x20000340, 0);
    if (res != -1)
      r[12] = res;
    break;
  case 62:
    syscall(__NR_fcntl, r[12], 4, 0x44000);
    break;
  case 63:
    res = syscall(__NR_io_setup, 3, 0x20000200);
    if (res != -1)
      r[13] = *(uint64_t*)0x20000200;
    break;
  case 64:
    *(uint64_t*)0x20000540 = 0x200000c0;
    *(uint64_t*)0x200000c0 = 0;
    *(uint32_t*)0x200000c8 = 0;
    *(uint32_t*)0x200000cc = 0;
    *(uint16_t*)0x200000d0 = 1;
    *(uint16_t*)0x200000d2 = 0;
    *(uint32_t*)0x200000d4 = r[12];
    *(uint64_t*)0x200000d8 = 0x20000000;
    *(uint64_t*)0x200000e0 = 0x377140be6b5ef4c7;
    *(uint64_t*)0x200000e8 = 0xc;
    *(uint64_t*)0x200000f0 = 0;
    *(uint32_t*)0x200000f8 = 0;
    *(uint32_t*)0x200000fc = -1;
    syscall(__NR_io_submit, r[13], 0x653, 0x20000540);
    break;
  case 65:
    *(uint32_t*)0x200002c0 = 1;
    *(uint32_t*)0x200002c4 = 0x70;
    *(uint8_t*)0x200002c8 = 0;
    *(uint8_t*)0x200002c9 = 0;
    *(uint8_t*)0x200002ca = 0;
    *(uint8_t*)0x200002cb = 0;
    *(uint32_t*)0x200002cc = 0;
    *(uint64_t*)0x200002d0 = 0x50d;
    *(uint64_t*)0x200002d8 = 0;
    *(uint64_t*)0x200002e0 = 0;
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 0, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 1, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 2, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 3, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 4, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 5, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 6, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 7, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 8, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 9, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 10, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 11, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 12, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 13, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 14, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 15, 2);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 17, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 18, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 19, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 20, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 21, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 22, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 23, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 24, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 25, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 26, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 27, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 28, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 29, 35);
    *(uint32_t*)0x200002f0 = 0;
    *(uint32_t*)0x200002f4 = 0;
    *(uint64_t*)0x200002f8 = 0x20000000;
    *(uint64_t*)0x20000300 = 0;
    *(uint64_t*)0x20000308 = 0;
    *(uint64_t*)0x20000310 = 0;
    *(uint32_t*)0x20000318 = 0;
    *(uint32_t*)0x2000031c = 0;
    *(uint64_t*)0x20000320 = 0;
    *(uint32_t*)0x20000328 = 0;
    *(uint16_t*)0x2000032c = 0;
    *(uint16_t*)0x2000032e = 0;
    syscall(__NR_perf_event_open, 0x200002c0, 0, -1, -1, 0);
    break;
  case 66:
    syscall(__NR_getresuid, 0x20000400, 0x20000440, 0x20000540);
    break;
  case 67:
    memcpy((void*)0x20000580, "./bus", 6);
    syscall(__NR_lstat, 0x20000580, 0x200005c0);
    break;
  case 68:
    memcpy((void*)0x20000140, "./file0", 8);
    syscall(__NR_mkdir, 0x20000140, 0);
    break;
  case 69:
    syscall(__NR_fstatfs, -1, 0x20000640);
    break;
  case 70:
    memcpy((void*)0x200000c0, "./file0", 8);
    memcpy((void*)0x20000340, "9p", 3);
    memcpy((void*)0x200001c0, "trans=fd,", 9);
    memcpy((void*)0x200001c9, "rfdno", 5);
    *(uint8_t*)0x200001ce = 0x3d;
    sprintf((char*)0x200001cf, "0x%016llx", (long long)-1);
    *(uint8_t*)0x200001e1 = 0x2c;
    memcpy((void*)0x200001e2, "wfdno", 5);
    *(uint8_t*)0x200001e7 = 0x3d;
    sprintf((char*)0x200001e8, "0x%016llx", (long long)-1);
    *(uint8_t*)0x200001fa = 0x2c;
    *(uint8_t*)0x200001fb = 0;
    syscall(__NR_mount, 0, 0x200000c0, 0x20000340, 0, 0x200001c0);
    break;
  case 71:
    syscall(__NR_write, -1, 0x20000480, 0);
    break;
  case 72:
    *(uint32_t*)0x20000200 = 0xa0;
    *(uint8_t*)0x20000204 = 0x19;
    *(uint16_t*)0x20000205 = 1;
    *(uint64_t*)0x20000207 = 0;
    *(uint8_t*)0x2000020f = 0;
    *(uint32_t*)0x20000210 = 0;
    *(uint64_t*)0x20000214 = 0;
    *(uint32_t*)0x2000021c = 0;
    *(uint32_t*)0x20000220 = 0;
    *(uint32_t*)0x20000224 = 0;
    *(uint64_t*)0x20000228 = 0;
    *(uint64_t*)0x20000230 = 0;
    *(uint64_t*)0x20000238 = 0;
    *(uint64_t*)0x20000240 = 0;
    *(uint64_t*)0x20000248 = 0;
    *(uint64_t*)0x20000250 = 0;
    *(uint64_t*)0x20000258 = 0;
    *(uint64_t*)0x20000260 = 0;
    *(uint64_t*)0x20000268 = 0;
    *(uint64_t*)0x20000270 = 0;
    *(uint64_t*)0x20000278 = 0;
    *(uint64_t*)0x20000280 = 0;
    *(uint64_t*)0x20000288 = 0;
    *(uint64_t*)0x20000290 = 0;
    *(uint64_t*)0x20000298 = 0;
    syscall(__NR_write, -1, 0x20000200, 0xa0);
    break;
  case 73:
    memcpy((void*)0x20000500, "./file0", 8);
    syscall(__NR_umount2, 0x20000500, 0);
    break;
  case 74:
    memcpy((void*)0x20000380, "/dev/hwrng", 11);
    syscall(__NR_openat, 0xffffffffffffff9c, 0x20000380, 0x480400, 0);
    break;
  case 75:
    memcpy((void*)0x20000180, "./bus", 6);
    syscall(__NR_open, 0x20000180, 0, 0);
    break;
  case 76:
    *(uint64_t*)0x20d83ff8 = 0;
    syscall(__NR_sendfile, -1, -1, 0x20d83ff8, 0);
    break;
  case 77:
    *(uint32_t*)0x20000080 = 7;
    *(uint8_t*)0x20000084 = 0x21;
    *(uint16_t*)0x20000085 = 2;
    syscall(__NR_write, -1, 0x20000080, 7);
    break;
  case 78:
    *(uint32_t*)0x200002c0 = 1;
    *(uint32_t*)0x200002c4 = 0x70;
    *(uint8_t*)0x200002c8 = 0;
    *(uint8_t*)0x200002c9 = 0;
    *(uint8_t*)0x200002ca = 0;
    *(uint8_t*)0x200002cb = 0;
    *(uint32_t*)0x200002cc = 0;
    *(uint64_t*)0x200002d0 = 0x50d;
    *(uint64_t*)0x200002d8 = 0;
    *(uint64_t*)0x200002e0 = 0;
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 0, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 1, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 2, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 3, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 4, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 5, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 6, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 7, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 8, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 9, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 10, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 11, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 12, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 13, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 14, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 15, 2);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 17, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 18, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 19, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 20, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 21, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 22, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 23, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 24, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 25, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 26, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 27, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 28, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 29, 35);
    *(uint32_t*)0x200002f0 = 0;
    *(uint32_t*)0x200002f4 = 0;
    *(uint64_t*)0x200002f8 = 0x20000000;
    *(uint64_t*)0x20000300 = 0;
    *(uint64_t*)0x20000308 = 0;
    *(uint64_t*)0x20000310 = 0;
    *(uint32_t*)0x20000318 = 0;
    *(uint32_t*)0x2000031c = 0;
    *(uint64_t*)0x20000320 = 0;
    *(uint32_t*)0x20000328 = 0;
    *(uint16_t*)0x2000032c = 0;
    *(uint16_t*)0x2000032e = 0;
    syscall(__NR_perf_event_open, 0x200002c0, 0, -1, -1, 0);
    break;
  case 79:
    res = syscall(__NR_pipe2, 0x20000100, 0);
    if (res != -1) {
      r[14] = *(uint32_t*)0x20000100;
      r[15] = *(uint32_t*)0x20000104;
    }
    break;
  case 80:
    syscall(__NR_getresuid, 0x20000400, 0x20000440, 0x20000540);
    break;
  case 81:
    memcpy((void*)0x20000580, "./bus", 6);
    syscall(__NR_lstat, 0x20000580, 0x200005c0);
    break;
  case 82:
    *(uint32_t*)0x20000040 = 0xffffffca;
    *(uint8_t*)0x20000044 = 0x4d;
    *(uint16_t*)0x20000045 = 0;
    syscall(__NR_write, r[15], 0x20000040, 7);
    break;
  case 83:
    memcpy((void*)0x20000140, "./file0", 8);
    syscall(__NR_mkdir, 0x20000140, 0);
    break;
  case 84:
    syscall(__NR_fstatfs, r[14], 0x20000640);
    break;
  case 85:
    memcpy((void*)0x200000c0, "./file0", 8);
    memcpy((void*)0x20000340, "9p", 3);
    memcpy((void*)0x200001c0, "trans=fd,", 9);
    memcpy((void*)0x200001c9, "rfdno", 5);
    *(uint8_t*)0x200001ce = 0x3d;
    sprintf((char*)0x200001cf, "0x%016llx", (long long)r[14]);
    *(uint8_t*)0x200001e1 = 0x2c;
    memcpy((void*)0x200001e2, "wfdno", 5);
    *(uint8_t*)0x200001e7 = 0x3d;
    sprintf((char*)0x200001e8, "0x%016llx", (long long)r[15]);
    *(uint8_t*)0x200001fa = 0x2c;
    *(uint8_t*)0x200001fb = 0;
    syscall(__NR_mount, 0, 0x200000c0, 0x20000340, 0, 0x200001c0);
    break;
  case 86:
    *(uint32_t*)0x20000200 = 0xa0;
    *(uint8_t*)0x20000204 = 0x19;
    *(uint16_t*)0x20000205 = 1;
    *(uint64_t*)0x20000207 = 0;
    *(uint8_t*)0x2000020f = 0;
    *(uint32_t*)0x20000210 = 0;
    *(uint64_t*)0x20000214 = 0;
    *(uint32_t*)0x2000021c = 0;
    *(uint32_t*)0x20000220 = 0;
    *(uint32_t*)0x20000224 = 0;
    *(uint64_t*)0x20000228 = 0;
    *(uint64_t*)0x20000230 = 0;
    *(uint64_t*)0x20000238 = 0;
    *(uint64_t*)0x20000240 = 0;
    *(uint64_t*)0x20000248 = 0;
    *(uint64_t*)0x20000250 = 0;
    *(uint64_t*)0x20000258 = 0;
    *(uint64_t*)0x20000260 = 0;
    *(uint64_t*)0x20000268 = 0;
    *(uint64_t*)0x20000270 = 0;
    *(uint64_t*)0x20000278 = 0;
    *(uint64_t*)0x20000280 = 0;
    *(uint64_t*)0x20000288 = 0;
    *(uint64_t*)0x20000290 = 0;
    *(uint64_t*)0x20000298 = 0;
    syscall(__NR_write, r[15], 0x20000200, 0xa0);
    break;
  case 87:
    memcpy((void*)0x20000000, "./file0", 8);
    memcpy((void*)0x20000900, "9p", 3);
    memcpy((void*)0x20000840, "trans=fd,", 9);
    memcpy((void*)0x20000849, "rfdno", 5);
    *(uint8_t*)0x2000084e = 0x3d;
    sprintf((char*)0x2000084f, "0x%016llx", (long long)r[14]);
    *(uint8_t*)0x20000861 = 0x2c;
    memcpy((void*)0x20000862, "wfdno", 5);
    *(uint8_t*)0x20000867 = 0x3d;
    sprintf((char*)0x20000868, "0x%016llx", (long long)r[15]);
    *(uint8_t*)0x2000087a = 0x2c;
    *(uint8_t*)0x2000087b = 0;
    syscall(__NR_mount, 0, 0x20000000, 0x20000900, 0, 0x20000840);
    break;
  case 88:
    memcpy((void*)0x20000380, "/dev/hwrng", 11);
    syscall(__NR_openat, 0xffffffffffffff9c, 0x20000380, 0x480400, 0);
    break;
  case 89:
    *(uint32_t*)0x20000080 = 7;
    *(uint8_t*)0x20000084 = 0x21;
    *(uint16_t*)0x20000085 = 2;
    syscall(__NR_write, r[15], 0x20000080, 7);
    break;
  case 90:
    *(uint32_t*)0x200002c0 = 1;
    *(uint32_t*)0x200002c4 = 0x70;
    *(uint8_t*)0x200002c8 = 0;
    *(uint8_t*)0x200002c9 = 0;
    *(uint8_t*)0x200002ca = 0;
    *(uint8_t*)0x200002cb = 0;
    *(uint32_t*)0x200002cc = 0;
    *(uint64_t*)0x200002d0 = 0x50d;
    *(uint64_t*)0x200002d8 = 0;
    *(uint64_t*)0x200002e0 = 0;
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 0, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 1, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 2, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 3, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 4, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 5, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 6, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 7, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 8, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 9, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 10, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 11, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 12, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 13, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 14, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 15, 2);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 17, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 18, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 19, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 20, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 21, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 22, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 23, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 24, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 25, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 26, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 27, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 28, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 29, 35);
    *(uint32_t*)0x200002f0 = 0;
    *(uint32_t*)0x200002f4 = 0;
    *(uint64_t*)0x200002f8 = 0x20000000;
    *(uint64_t*)0x20000300 = 0;
    *(uint64_t*)0x20000308 = 0;
    *(uint64_t*)0x20000310 = 0;
    *(uint32_t*)0x20000318 = 0;
    *(uint32_t*)0x2000031c = 0;
    *(uint64_t*)0x20000320 = 0;
    *(uint32_t*)0x20000328 = 0;
    *(uint16_t*)0x2000032c = 0;
    *(uint16_t*)0x2000032e = 0;
    syscall(__NR_perf_event_open, 0x200002c0, 0, -1, -1, 0);
    break;
  case 91:
    res = syscall(__NR_pipe2, 0x20000100, 0);
    if (res != -1) {
      r[16] = *(uint32_t*)0x20000100;
      r[17] = *(uint32_t*)0x20000104;
    }
    break;
  case 92:
    syscall(__NR_getresuid, 0x20000400, 0x20000440, 0x20000540);
    break;
  case 93:
    memcpy((void*)0x20000580, "./bus", 6);
    syscall(__NR_lstat, 0x20000580, 0x200005c0);
    break;
  case 94:
    *(uint32_t*)0x20000040 = 0xffffffca;
    *(uint8_t*)0x20000044 = 0x4d;
    *(uint16_t*)0x20000045 = 0;
    syscall(__NR_write, r[17], 0x20000040, 7);
    break;
  case 95:
    memcpy((void*)0x20000140, "./file0", 8);
    syscall(__NR_mkdir, 0x20000140, 0);
    break;
  case 96:
    syscall(__NR_fstatfs, r[16], 0x20000640);
    break;
  case 97:
    syscall(__NR_write, r[17], 0x20000480, 0);
    break;
  case 98:
    memcpy((void*)0x20000500, "./file0", 8);
    syscall(__NR_umount2, 0x20000500, 0);
    break;
  case 99:
    *(uint32_t*)0x20000080 = 7;
    *(uint8_t*)0x20000084 = 0x21;
    *(uint16_t*)0x20000085 = 2;
    syscall(__NR_write, r[17], 0x20000080, 7);
    break;
  case 100:
    *(uint32_t*)0x20000280 = 0;
    syscall(__NR_ioctl, -1, 0x8902, 0x20000280);
    break;
  case 101:
    memcpy((void*)0x20000340, "./bus", 6);
    res = syscall(__NR_creat, 0x20000340, 0);
    if (res != -1)
      r[18] = res;
    break;
  case 102:
    syscall(__NR_fcntl, r[18], 4, 0x44000);
    break;
  case 103:
    *(uint32_t*)0x20000480 = 1;
    *(uint64_t*)0x20000488 = 0x20000580;
    *(uint64_t*)0x20000490 = 0x1000;
    *(uint64_t*)0x20000498 = 0x20000380;
    *(uint8_t*)0x200004a0 = 0;
    *(uint8_t*)0x200004a1 = 0;
    *(uint64_t*)0x200004a8 = 0;
    *(uint64_t*)0x200004b0 = 0;
    *(uint64_t*)0x200004b8 = 0;
    *(uint64_t*)0x200004c0 = 0;
    *(uint64_t*)0x200004c8 = 0;
    *(uint64_t*)0x200004d0 = 0;
    *(uint64_t*)0x200004d8 = 0;
    *(uint64_t*)0x200004e0 = 0;
    syscall(__NR_write, -1, 0x20000480, 0x68);
    break;
  case 104:
    syscall(__NR_io_setup, 3, 0x20000200);
    break;
  case 105:
    *(uint32_t*)0x200002c0 = 1;
    *(uint32_t*)0x200002c4 = 0x70;
    *(uint8_t*)0x200002c8 = 0;
    *(uint8_t*)0x200002c9 = 0;
    *(uint8_t*)0x200002ca = 0;
    *(uint8_t*)0x200002cb = 0;
    *(uint32_t*)0x200002cc = 0;
    *(uint64_t*)0x200002d0 = 0x50d;
    *(uint64_t*)0x200002d8 = 0;
    *(uint64_t*)0x200002e0 = 0;
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 0, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 1, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 2, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 3, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 4, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 5, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 6, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 7, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 8, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 9, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 10, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 11, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 12, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 13, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 14, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 15, 2);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 17, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 18, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 19, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 20, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 21, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 22, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 23, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 24, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 25, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 26, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 27, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 28, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 29, 35);
    *(uint32_t*)0x200002f0 = 0;
    *(uint32_t*)0x200002f4 = 0;
    *(uint64_t*)0x200002f8 = 0x20000000;
    *(uint64_t*)0x20000300 = 0;
    *(uint64_t*)0x20000308 = 0;
    *(uint64_t*)0x20000310 = 0;
    *(uint32_t*)0x20000318 = 0;
    *(uint32_t*)0x2000031c = 0;
    *(uint64_t*)0x20000320 = 0;
    *(uint32_t*)0x20000328 = 0;
    *(uint16_t*)0x2000032c = 0;
    *(uint16_t*)0x2000032e = 0;
    syscall(__NR_perf_event_open, 0x200002c0, 0, -1, -1, 0);
    break;
  case 106:
    memcpy((void*)0x20000140, "./file0", 8);
    syscall(__NR_mkdir, 0x20000140, 0);
    break;
  case 107:
    syscall(__NR_fstatfs, -1, 0x20000640);
    break;
  case 108:
    memcpy((void*)0x200000c0, "./file0", 8);
    memcpy((void*)0x20000340, "9p", 3);
    memcpy((void*)0x200001c0, "trans=fd,", 9);
    memcpy((void*)0x200001c9, "rfdno", 5);
    *(uint8_t*)0x200001ce = 0x3d;
    sprintf((char*)0x200001cf, "0x%016llx", (long long)-1);
    *(uint8_t*)0x200001e1 = 0x2c;
    memcpy((void*)0x200001e2, "wfdno", 5);
    *(uint8_t*)0x200001e7 = 0x3d;
    sprintf((char*)0x200001e8, "0x%016llx", (long long)-1);
    *(uint8_t*)0x200001fa = 0x2c;
    *(uint8_t*)0x200001fb = 0;
    syscall(__NR_mount, 0, 0x200000c0, 0x20000340, 0, 0x200001c0);
    break;
  case 109:
    syscall(__NR_write, -1, 0x20000480, 0);
    break;
  case 110:
    *(uint32_t*)0x20000200 = 0xa0;
    *(uint8_t*)0x20000204 = 0x19;
    *(uint16_t*)0x20000205 = 1;
    *(uint64_t*)0x20000207 = 0;
    *(uint8_t*)0x2000020f = 0;
    *(uint32_t*)0x20000210 = 0;
    *(uint64_t*)0x20000214 = 0;
    *(uint32_t*)0x2000021c = 0;
    *(uint32_t*)0x20000220 = 0;
    *(uint32_t*)0x20000224 = 0;
    *(uint64_t*)0x20000228 = 0;
    *(uint64_t*)0x20000230 = 0;
    *(uint64_t*)0x20000238 = 0;
    *(uint64_t*)0x20000240 = 0;
    *(uint64_t*)0x20000248 = 0;
    *(uint64_t*)0x20000250 = 0;
    *(uint64_t*)0x20000258 = 0;
    *(uint64_t*)0x20000260 = 0;
    *(uint64_t*)0x20000268 = 0;
    *(uint64_t*)0x20000270 = 0;
    *(uint64_t*)0x20000278 = 0;
    *(uint64_t*)0x20000280 = 0;
    *(uint64_t*)0x20000288 = 0;
    *(uint64_t*)0x20000290 = 0;
    *(uint64_t*)0x20000298 = 0;
    syscall(__NR_write, -1, 0x20000200, 0xa0);
    break;
  case 111:
    memcpy((void*)0x20000180, "./bus", 6);
    syscall(__NR_open, 0x20000180, 0, 0);
    break;
  case 112:
    memcpy((void*)0x200000c0, "./file0", 8);
    memcpy((void*)0x20000340, "9p", 3);
    memcpy((void*)0x200001c0, "trans=fd,", 9);
    memcpy((void*)0x200001c9, "rfdno", 5);
    *(uint8_t*)0x200001ce = 0x3d;
    sprintf((char*)0x200001cf, "0x%016llx", (long long)-1);
    *(uint8_t*)0x200001e1 = 0x2c;
    memcpy((void*)0x200001e2, "wfdno", 5);
    *(uint8_t*)0x200001e7 = 0x3d;
    sprintf((char*)0x200001e8, "0x%016llx", (long long)-1);
    *(uint8_t*)0x200001fa = 0x2c;
    *(uint8_t*)0x200001fb = 0;
    syscall(__NR_mount, 0, 0x200000c0, 0x20000340, 0, 0x200001c0);
    break;
  case 113:
    *(uint32_t*)0x20000200 = 0xa0;
    *(uint8_t*)0x20000204 = 0x19;
    *(uint16_t*)0x20000205 = 1;
    *(uint64_t*)0x20000207 = 0;
    *(uint8_t*)0x2000020f = 0;
    *(uint32_t*)0x20000210 = 0;
    *(uint64_t*)0x20000214 = 0;
    *(uint32_t*)0x2000021c = 0;
    *(uint32_t*)0x20000220 = 0;
    *(uint32_t*)0x20000224 = 0;
    *(uint64_t*)0x20000228 = 0;
    *(uint64_t*)0x20000230 = 0;
    *(uint64_t*)0x20000238 = 0;
    *(uint64_t*)0x20000240 = 0;
    *(uint64_t*)0x20000248 = 0;
    *(uint64_t*)0x20000250 = 0;
    *(uint64_t*)0x20000258 = 0;
    *(uint64_t*)0x20000260 = 0;
    *(uint64_t*)0x20000268 = 0;
    *(uint64_t*)0x20000270 = 0;
    *(uint64_t*)0x20000278 = 0;
    *(uint64_t*)0x20000280 = 0;
    *(uint64_t*)0x20000288 = 0;
    *(uint64_t*)0x20000290 = 0;
    *(uint64_t*)0x20000298 = 0;
    syscall(__NR_write, -1, 0x20000200, 0xa0);
    break;
  case 114:
    memcpy((void*)0x20000000, "./file0", 8);
    memcpy((void*)0x20000900, "9p", 3);
    memcpy((void*)0x20000840, "trans=fd,", 9);
    memcpy((void*)0x20000849, "rfdno", 5);
    *(uint8_t*)0x2000084e = 0x3d;
    sprintf((char*)0x2000084f, "0x%016llx", (long long)-1);
    *(uint8_t*)0x20000861 = 0x2c;
    memcpy((void*)0x20000862, "wfdno", 5);
    *(uint8_t*)0x20000867 = 0x3d;
    sprintf((char*)0x20000868, "0x%016llx", (long long)-1);
    *(uint8_t*)0x2000087a = 0x2c;
    *(uint8_t*)0x2000087b = 0;
    syscall(__NR_mount, 0, 0x20000000, 0x20000900, 0, 0x20000840);
    break;
  case 115:
    *(uint32_t*)0x200002c0 = 1;
    *(uint32_t*)0x200002c4 = 0x70;
    *(uint8_t*)0x200002c8 = 0;
    *(uint8_t*)0x200002c9 = 0;
    *(uint8_t*)0x200002ca = 0;
    *(uint8_t*)0x200002cb = 0;
    *(uint32_t*)0x200002cc = 0;
    *(uint64_t*)0x200002d0 = 0x50d;
    *(uint64_t*)0x200002d8 = 0;
    *(uint64_t*)0x200002e0 = 0;
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 0, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 1, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 2, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 3, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 4, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 5, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 6, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 7, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 8, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 9, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 10, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 11, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 12, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 13, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 14, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 15, 2);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 17, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 18, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 19, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 20, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 21, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 22, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 23, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 24, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 25, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 26, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 27, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 28, 1);
    STORE_BY_BITMASK(uint64_t, 0x200002e8, 0, 29, 35);
    *(uint32_t*)0x200002f0 = 0;
    *(uint32_t*)0x200002f4 = 0;
    *(uint64_t*)0x200002f8 = 0x20000000;
    *(uint64_t*)0x20000300 = 0;
    *(uint64_t*)0x20000308 = 0;
    *(uint64_t*)0x20000310 = 0;
    *(uint32_t*)0x20000318 = 0;
    *(uint32_t*)0x2000031c = 0;
    *(uint64_t*)0x20000320 = 0;
    *(uint32_t*)0x20000328 = 0;
    *(uint16_t*)0x2000032c = 0;
    *(uint16_t*)0x2000032e = 0;
    syscall(__NR_perf_event_open, 0x200002c0, 0, -1, -1, 0);
    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;
}