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

#define _GNU_SOURCE

#include <dirent.h>
#include <endian.h>
#include <errno.h>
#include <fcntl.h>
#include <pthread.h>
#include <sched.h>
#include <setjmp.h>
#include <signal.h>
#include <stdarg.h>
#include <stdbool.h>
#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <sys/mount.h>
#include <sys/prctl.h>
#include <sys/resource.h>
#include <sys/stat.h>
#include <sys/swap.h>
#include <sys/syscall.h>
#include <sys/time.h>
#include <sys/types.h>
#include <sys/wait.h>
#include <time.h>
#include <unistd.h>

#include <linux/capability.h>
#include <linux/falloc.h>
#include <linux/futex.h>

#ifndef __NR_bpf
#define __NR_bpf 321
#endif

static __thread int clone_ongoing;
static __thread int skip_segv;
static __thread jmp_buf segv_env;

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

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

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

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);
  int i = 0;
  for (; i < 100; i++) {
    if (pthread_create(&th, &attr, fn, arg) == 0) {
      pthread_attr_destroy(&attr);
      return;
    }
    if (errno == EAGAIN) {
      usleep(50);
      continue;
    }
    break;
  }
  exit(1);
}

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

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, 1000000);
}

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_ACQUIRE))
      return 1;
    now = current_time_ms();
    if (now - start > timeout)
      return 0;
  }
}

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

static int runcmdline(char* cmdline)
{
  int ret = system(cmdline);
  if (ret) {
  }
  return ret;
}

#define MAX_FDS 30

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

static void setup_binderfs()
{
  if (mkdir("/dev/binderfs", 0777)) {
  }
  if (mount("binder", "/dev/binderfs", "binder", 0, NULL)) {
  }
  if (symlink("/dev/binderfs", "./binderfs")) {
  }
}

static void loop();

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

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

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

static int do_sandbox_none(void)
{
  if (unshare(CLONE_NEWPID)) {
  }
  int pid = fork();
  if (pid != 0)
    return wait_for_loop(pid);
  setup_common();
  sandbox_common();
  drop_caps();
  if (unshare(CLONE_NEWNET)) {
  }
  write_file("/proc/sys/net/ipv4/ping_group_range", "0 65535");
  setup_binderfs();
  loop();
  exit(1);
}

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

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

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

static void setup_sysctl()
{
  char mypid[32];
  snprintf(mypid, sizeof(mypid), "%d", getpid());
  struct {
    const char* name;
    const char* data;
  } files[] = {
      {"/sys/kernel/debug/x86/nmi_longest_ns", "10000000000"},
      {"/proc/sys/kernel/hung_task_check_interval_secs", "20"},
      {"/proc/sys/net/core/bpf_jit_kallsyms", "1"},
      {"/proc/sys/net/core/bpf_jit_harden", "0"},
      {"/proc/sys/kernel/kptr_restrict", "0"},
      {"/proc/sys/kernel/softlockup_all_cpu_backtrace", "1"},
      {"/proc/sys/fs/mount-max", "100"},
      {"/proc/sys/vm/oom_dump_tasks", "0"},
      {"/proc/sys/debug/exception-trace", "0"},
      {"/proc/sys/kernel/printk", "7 4 1 3"},
      {"/proc/sys/kernel/keys/gc_delay", "1"},
      {"/proc/sys/vm/oom_kill_allocating_task", "1"},
      {"/proc/sys/kernel/ctrl-alt-del", "0"},
      {"/proc/sys/kernel/cad_pid", mypid},
  };
  for (size_t i = 0; i < sizeof(files) / sizeof(files[0]); i++) {
    if (!write_file(files[i].name, files[i].data))
      printf("write to %s failed: %s\n", files[i].name, strerror(errno));
  }
}

#define USLEEP_FORKED_CHILD (3 * 50 * 1000)

static long handle_clone_ret(long ret)
{
  if (ret != 0) {
    __atomic_store_n(&clone_ongoing, 0, __ATOMIC_RELAXED);
    return ret;
  }
  usleep(USLEEP_FORKED_CHILD);
  syscall(__NR_exit, 0);
  while (1) {
  }
}

static long syz_clone(volatile long flags, volatile long stack,
                      volatile long stack_len, volatile long ptid,
                      volatile long ctid, volatile long tls)
{
  long sp = (stack + stack_len) & ~15;
  __atomic_store_n(&clone_ongoing, 1, __ATOMIC_RELAXED);
  long ret = (long)syscall(__NR_clone, flags & ~CLONE_VM, sp, ptid, ctid, tls);
  return handle_clone_ret(ret);
}

#define SWAP_FILE "./swap-file"
#define SWAP_FILE_SIZE (128 * 1000 * 1000)

static void setup_swap()
{
  swapoff(SWAP_FILE);
  unlink(SWAP_FILE);
  int fd = open(SWAP_FILE, O_CREAT | O_WRONLY | O_CLOEXEC, 0600);
  if (fd == -1) {
    exit(1);
    return;
  }
  fallocate(fd, FALLOC_FL_ZERO_RANGE, 0, SWAP_FILE_SIZE);
  close(fd);
  char cmdline[64];
  sprintf(cmdline, "mkswap %s", SWAP_FILE);
  if (runcmdline(cmdline)) {
    exit(1);
    return;
  }
  if (swapon(SWAP_FILE, SWAP_FLAG_PREFER) == 1) {
    exit(1);
    return;
  }
}

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;
  for (call = 0; call < 27; 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);
      event_timedwait(&th->done,
                      50 + (call == 0 ? 500 : 0) + (call == 1 ? 500 : 0) +
                          (call == 9 ? 500 : 0) + (call == 10 ? 500 : 0) +
                          (call == 16 ? 500 : 0) + (call == 19 ? 500 : 0));
      break;
    }
  }
  for (i = 0; i < 100 && __atomic_load_n(&running, __ATOMIC_RELAXED); i++)
    sleep_ms(1);
  close_fds();
}

static void execute_one(void);

#define WAIT_FLAGS __WALL

static void loop(void)
{
  int iter = 0;
  for (;; iter++) {
    int pid = fork();
    if (pid < 0)
      exit(1);
    if (pid == 0) {
      setup_test();
      execute_one();
      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 < 5000)
        continue;
      kill_and_wait(pid, &status);
      break;
    }
  }
}

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

void execute_call(int call)
{
  intptr_t res = 0;
  switch (call) {
  case 0:
    NONFAILING(*(uint32_t*)0x20000300 = 0x11);
    NONFAILING(*(uint32_t*)0x20000304 = 5);
    NONFAILING(*(uint64_t*)0x20000308 = 0x200002c0);
    NONFAILING(memcpy(
        (void*)0x200002c0,
        "\x18\x05\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x4b\x64\xff\xec\x85"
        "\x00\x00\x00\x7d\x00\x00\x00\x85\x00\x00\x00\x07\x00\x00\x00\x95",
        33));
    NONFAILING(*(uint64_t*)0x20000310 = 0x20000080);
    NONFAILING(memcpy((void*)0x20000080, "GPL\000", 4));
    NONFAILING(*(uint32_t*)0x20000318 = 0);
    NONFAILING(*(uint32_t*)0x2000031c = 0);
    NONFAILING(*(uint64_t*)0x20000320 = 0);
    NONFAILING(*(uint32_t*)0x20000328 = 0);
    NONFAILING(*(uint32_t*)0x2000032c = 0);
    NONFAILING(memset((void*)0x20000330, 0, 16));
    NONFAILING(*(uint32_t*)0x20000340 = 0);
    NONFAILING(*(uint32_t*)0x20000344 = 2);
    NONFAILING(*(uint32_t*)0x20000348 = -1);
    NONFAILING(*(uint32_t*)0x2000034c = 8);
    NONFAILING(*(uint64_t*)0x20000350 = 0);
    NONFAILING(*(uint32_t*)0x20000358 = 0);
    NONFAILING(*(uint32_t*)0x2000035c = 0x10);
    NONFAILING(*(uint64_t*)0x20000360 = 0);
    NONFAILING(*(uint32_t*)0x20000368 = 0);
    NONFAILING(*(uint32_t*)0x2000036c = 0);
    NONFAILING(*(uint32_t*)0x20000370 = 0);
    NONFAILING(*(uint32_t*)0x20000374 = 0);
    NONFAILING(*(uint64_t*)0x20000378 = 0);
    NONFAILING(*(uint64_t*)0x20000380 = 0);
    NONFAILING(*(uint32_t*)0x20000388 = 0x10);
    NONFAILING(*(uint32_t*)0x2000038c = 0);
    res = syscall(__NR_bpf, /*cmd=*/5ul, /*arg=*/0x20000300ul, /*size=*/0x80ul);
    if (res != -1)
      r[0] = res;
    break;
  case 1:
    NONFAILING(*(uint64_t*)0x20000540 = 0x20000080);
    NONFAILING(memcpy((void*)0x20000080, "sched_switch\000", 13));
    NONFAILING(*(uint32_t*)0x20000548 = r[0]);
    syscall(__NR_bpf, /*cmd=*/0x11ul, /*arg=*/0x20000540ul, /*size=*/0x10ul);
    break;
  case 2:
    res = syscall(__NR_bpf, /*cmd=*/0ul, /*arg=*/0ul, /*size=*/0ul);
    if (res != -1)
      r[1] = res;
    break;
  case 3:
    NONFAILING(*(uint32_t*)0x20000a00 = 0x1e);
    NONFAILING(*(uint32_t*)0x20000a04 = 0xa61);
    NONFAILING(*(uint32_t*)0x20000a08 = 0xc0000000);
    NONFAILING(*(uint32_t*)0x20000a0c = 9);
    NONFAILING(*(uint32_t*)0x20000a10 = 0x520);
    NONFAILING(*(uint32_t*)0x20000a14 = r[1]);
    NONFAILING(*(uint32_t*)0x20000a18 = 9);
    NONFAILING(memset((void*)0x20000a1c, 0, 16));
    NONFAILING(*(uint32_t*)0x20000a2c = 0);
    NONFAILING(*(uint32_t*)0x20000a30 = -1);
    NONFAILING(*(uint32_t*)0x20000a34 = 0);
    NONFAILING(*(uint32_t*)0x20000a38 = 5);
    NONFAILING(*(uint32_t*)0x20000a3c = 4);
    NONFAILING(*(uint64_t*)0x20000a40 = 3);
    res = syscall(__NR_bpf, /*cmd=*/0ul, /*arg=*/0x20000a00ul, /*size=*/0x48ul);
    if (res != -1)
      r[2] = res;
    break;
  case 4:
    NONFAILING(*(uint32_t*)0x20000440 = -1);
    NONFAILING(*(uint32_t*)0x20000444 = 0);
    NONFAILING(*(uint32_t*)0x20000448 = 0);
    NONFAILING(*(uint32_t*)0x2000044c = 0);
    NONFAILING(*(uint64_t*)0x20000450 = 0);
    NONFAILING(*(uint64_t*)0x20000458 = 0);
    NONFAILING(*(uint32_t*)0x20000460 = 0);
    NONFAILING(*(uint32_t*)0x20000464 = 0);
    NONFAILING(*(uint32_t*)0x20000468 = 0);
    NONFAILING(*(uint32_t*)0x2000046c = 0);
    NONFAILING(*(uint64_t*)0x20000470 = 0);
    NONFAILING(*(uint64_t*)0x20000478 = 0);
    NONFAILING(*(uint32_t*)0x20000480 = 0);
    NONFAILING(*(uint32_t*)0x20000484 = 0);
    NONFAILING(*(uint32_t*)0x20000488 = 0);
    syscall(__NR_bpf, /*cmd=*/0xaul, /*arg=*/0x20000440ul, /*size=*/0x48ul);
    break;
  case 5:
    NONFAILING(*(uint32_t*)0x20000180 = 1);
    NONFAILING(*(uint32_t*)0x20000184 = 0x80);
    NONFAILING(*(uint8_t*)0x20000188 = 0);
    NONFAILING(*(uint8_t*)0x20000189 = 0);
    NONFAILING(*(uint8_t*)0x2000018a = 0);
    NONFAILING(*(uint8_t*)0x2000018b = 0);
    NONFAILING(*(uint32_t*)0x2000018c = 0);
    NONFAILING(*(uint64_t*)0x20000190 = 0x1ff);
    NONFAILING(*(uint64_t*)0x20000198 = 0);
    NONFAILING(*(uint64_t*)0x200001a0 = 0);
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 0, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 1, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 2, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 3, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 4, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 5, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 6, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 7, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 8, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 9, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 10, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 11, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 12, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 13, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 14, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 15, 2));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 17, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 18, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 19, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 20, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 21, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 22, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 23, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 24, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 25, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 26, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 27, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 28, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 29, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 30, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 31, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 32, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 33, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 34, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 35, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 36, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 37, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200001a8, 0, 38, 26));
    NONFAILING(*(uint32_t*)0x200001b0 = 0);
    NONFAILING(*(uint32_t*)0x200001b4 = 0);
    NONFAILING(*(uint64_t*)0x200001b8 = 0);
    NONFAILING(*(uint64_t*)0x200001c0 = 0);
    NONFAILING(*(uint64_t*)0x200001c8 = 0);
    NONFAILING(*(uint64_t*)0x200001d0 = 0);
    NONFAILING(*(uint32_t*)0x200001d8 = 0);
    NONFAILING(*(uint32_t*)0x200001dc = 0);
    NONFAILING(*(uint64_t*)0x200001e0 = 0);
    NONFAILING(*(uint32_t*)0x200001e8 = 0);
    NONFAILING(*(uint16_t*)0x200001ec = 0);
    NONFAILING(*(uint16_t*)0x200001ee = 0);
    NONFAILING(*(uint32_t*)0x200001f0 = 0);
    NONFAILING(*(uint32_t*)0x200001f4 = 0);
    NONFAILING(*(uint64_t*)0x200001f8 = 0);
    syscall(__NR_perf_event_open, /*attr=*/0x20000180ul, /*pid=*/0,
            /*cpu=*/0xbffffffffffffffful, /*group=*/-1, /*flags=*/0ul);
    break;
  case 6:
    NONFAILING(*(uint32_t*)0x200007c0 = 0);
    NONFAILING(*(uint32_t*)0x200007c4 = 0x80);
    NONFAILING(*(uint8_t*)0x200007c8 = 0);
    NONFAILING(*(uint8_t*)0x200007c9 = 0);
    NONFAILING(*(uint8_t*)0x200007ca = 7);
    NONFAILING(*(uint8_t*)0x200007cb = 1);
    NONFAILING(*(uint32_t*)0x200007cc = 0);
    NONFAILING(*(uint64_t*)0x200007d0 = 0);
    NONFAILING(*(uint64_t*)0x200007d8 = 0);
    NONFAILING(*(uint64_t*)0x200007e0 = 0);
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 0, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 1, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 2, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 1, 3, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 4, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 5, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 6, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 7, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 8, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 1, 9, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 1, 10, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 11, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 1, 12, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 13, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 14, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 15, 2));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 17, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 18, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 19, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 1, 20, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 21, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 22, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 23, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 24, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 25, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 26, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 27, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 28, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 29, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 30, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 1, 31, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 32, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 33, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 34, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 1, 35, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 36, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 37, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 38, 26));
    NONFAILING(*(uint32_t*)0x200007f0 = 0);
    NONFAILING(*(uint32_t*)0x200007f4 = 0);
    NONFAILING(*(uint64_t*)0x200007f8 = 0);
    NONFAILING(*(uint64_t*)0x20000800 = 0);
    NONFAILING(*(uint64_t*)0x20000808 = 0x801);
    NONFAILING(*(uint64_t*)0x20000810 = 1);
    NONFAILING(*(uint32_t*)0x20000818 = 0x3f);
    NONFAILING(*(uint32_t*)0x2000081c = 0);
    NONFAILING(*(uint64_t*)0x20000820 = 0);
    NONFAILING(*(uint32_t*)0x20000828 = 1);
    NONFAILING(*(uint16_t*)0x2000082c = 0);
    NONFAILING(*(uint16_t*)0x2000082e = 0);
    NONFAILING(*(uint32_t*)0x20000830 = 6);
    NONFAILING(*(uint32_t*)0x20000834 = 0);
    NONFAILING(*(uint64_t*)0x20000838 = 0);
    syscall(__NR_perf_event_open, /*attr=*/0x200007c0ul, /*fd=*/-1, /*cpu=*/0ul,
            /*group=*/-1, /*flags=*/0ul);
    break;
  case 7:
    NONFAILING(syz_clone(/*flags=*/0xc0920400, /*stack=*/0,
                         /*stack_len=*/0x1000000, /*parentid=*/0,
                         /*childtid=*/0, /*tls=*/0));
    break;
  case 8:
    NONFAILING(memcpy((void*)0x20000080, "memory.events\000", 14));
    res = syscall(__NR_openat, /*fd=*/0xffffff9c, /*file=*/0x20000080ul,
                  /*flags=*/0x7a05ul, /*mode=*/0x1700ul);
    if (res != -1)
      r[3] = res;
    break;
  case 9:
    NONFAILING(*(uint32_t*)0x20000180 = 0x18);
    NONFAILING(*(uint32_t*)0x20000184 = 5);
    NONFAILING(*(uint64_t*)0x20000188 = 0x20000280);
    NONFAILING(memcpy(
        (void*)0x20000280,
        "\x18\x01\x00\x00\x05\x00\x00\x00\x00\x00\x00\x00\x4b\x64\xff\xec\x85"
        "\x00\x00\x00\x6d\x00\x00\x00\x85\x00\x00\x00\x05\x00\x00\x00\x95",
        33));
    NONFAILING(*(uint64_t*)0x20000190 = 0x20000100);
    NONFAILING(memcpy((void*)0x20000100, "GPL\000", 4));
    NONFAILING(*(uint32_t*)0x20000198 = 0);
    NONFAILING(*(uint32_t*)0x2000019c = 0);
    NONFAILING(*(uint64_t*)0x200001a0 = 0);
    NONFAILING(*(uint32_t*)0x200001a8 = 0);
    NONFAILING(*(uint32_t*)0x200001ac = 0);
    NONFAILING(memset((void*)0x200001b0, 0, 16));
    NONFAILING(*(uint32_t*)0x200001c0 = 0);
    NONFAILING(*(uint32_t*)0x200001c4 = 2);
    NONFAILING(*(uint32_t*)0x200001c8 = -1);
    NONFAILING(*(uint32_t*)0x200001cc = 8);
    NONFAILING(*(uint64_t*)0x200001d0 = 0);
    NONFAILING(*(uint32_t*)0x200001d8 = 0);
    NONFAILING(*(uint32_t*)0x200001dc = 0x10);
    NONFAILING(*(uint64_t*)0x200001e0 = 0);
    NONFAILING(*(uint32_t*)0x200001e8 = 0);
    NONFAILING(*(uint32_t*)0x200001ec = 0);
    NONFAILING(*(uint32_t*)0x200001f0 = 0);
    NONFAILING(*(uint32_t*)0x200001f4 = 0);
    NONFAILING(*(uint64_t*)0x200001f8 = 0);
    NONFAILING(*(uint64_t*)0x20000200 = 0);
    NONFAILING(*(uint32_t*)0x20000208 = 0x10);
    NONFAILING(*(uint32_t*)0x2000020c = 0);
    res = syscall(__NR_bpf, /*cmd=*/5ul, /*arg=*/0x20000180ul, /*size=*/0x80ul);
    if (res != -1)
      r[4] = res;
    break;
  case 10:
    NONFAILING(*(uint64_t*)0x200000c0 = 0x20000080);
    NONFAILING(memcpy((void*)0x20000080, "sched_switch\000", 13));
    NONFAILING(*(uint32_t*)0x200000c8 = r[4]);
    res = syscall(__NR_bpf, /*cmd=*/0x11ul, /*arg=*/0x200000c0ul,
                  /*size=*/0x10ul);
    if (res != -1)
      r[5] = res;
    break;
  case 11:
    res = -1;
    NONFAILING(res =
                   syz_clone(/*flags=*/0x75848400, /*stack=*/0, /*stack_len=*/0,
                             /*parentid=*/0, /*childtid=*/0, /*tls=*/0));
    if (res != -1)
      r[6] = res;
    break;
  case 12:
    NONFAILING(*(uint32_t*)0x200032c0 = 5);
    NONFAILING(*(uint32_t*)0x200032c4 = 0x80);
    NONFAILING(*(uint8_t*)0x200032c8 = 0x40);
    NONFAILING(*(uint8_t*)0x200032c9 = 3);
    NONFAILING(*(uint8_t*)0x200032ca = 1);
    NONFAILING(*(uint8_t*)0x200032cb = 9);
    NONFAILING(*(uint32_t*)0x200032cc = 0);
    NONFAILING(*(uint64_t*)0x200032d0 = 0xffffffff);
    NONFAILING(*(uint64_t*)0x200032d8 = 0x80000);
    NONFAILING(*(uint64_t*)0x200032e0 = 2);
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 0, 0, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 1, 1, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 1, 2, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 1, 3, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 0, 4, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 0, 5, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 0, 6, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 0, 7, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 1, 8, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 0, 9, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 1, 10, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 0, 11, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 0, 12, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 0, 13, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 0, 14, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 3, 15, 2));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 1, 17, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 1, 18, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 0, 19, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 0, 20, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 1, 21, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 0, 22, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 1, 23, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 0, 24, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 0, 25, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 1, 26, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 1, 27, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 1, 28, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 1, 29, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 0, 30, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 0, 31, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 0, 32, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 0, 33, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 0, 34, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 0, 35, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 0, 36, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 1, 37, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200032e8, 0, 38, 26));
    NONFAILING(*(uint32_t*)0x200032f0 = 0x1000);
    NONFAILING(*(uint32_t*)0x200032f4 = 0);
    NONFAILING(*(uint64_t*)0x200032f8 = 0);
    NONFAILING(*(uint64_t*)0x20003300 = 0x3f);
    NONFAILING(*(uint64_t*)0x20003308 = 0x80000);
    NONFAILING(*(uint64_t*)0x20003310 = 8);
    NONFAILING(*(uint32_t*)0x20003318 = 0x10001);
    NONFAILING(*(uint32_t*)0x2000331c = 9);
    NONFAILING(*(uint64_t*)0x20003320 = 2);
    NONFAILING(*(uint32_t*)0x20003328 = 4);
    NONFAILING(*(uint16_t*)0x2000332c = 0xfffa);
    NONFAILING(*(uint16_t*)0x2000332e = 0);
    NONFAILING(*(uint32_t*)0x20003330 = 0x87d2);
    NONFAILING(*(uint32_t*)0x20003334 = 0);
    NONFAILING(*(uint64_t*)0x20003338 = 2);
    syscall(__NR_perf_event_open, /*attr=*/0x200032c0ul, /*pid=*/r[6],
            /*cpu=*/4ul, /*group=*/r[5], /*flags=*/9ul);
    break;
  case 13:
    NONFAILING(*(uint32_t*)0x20000f80 = r[0]);
    NONFAILING(*(uint32_t*)0x20000f84 = 0xe0);
    NONFAILING(*(uint64_t*)0x20000f88 = 0x20000e80);
    NONFAILING(*(uint32_t*)0x20000eb4 = 9);
    NONFAILING(*(uint64_t*)0x20000eb8 = 0x20000cc0);
    NONFAILING(*(uint32_t*)0x20000ee8 = 5);
    NONFAILING(*(uint32_t*)0x20000eec = 6);
    NONFAILING(*(uint64_t*)0x20000ef0 = 0x20000d00);
    NONFAILING(*(uint64_t*)0x20000ef8 = 0x20000d40);
    NONFAILING(*(uint32_t*)0x20000f04 = 8);
    NONFAILING(*(uint64_t*)0x20000f08 = 0x20000d80);
    NONFAILING(*(uint32_t*)0x20000f10 = 0x40);
    NONFAILING(*(uint32_t*)0x20000f14 = 0x10);
    NONFAILING(*(uint64_t*)0x20000f18 = 0x20000dc0);
    NONFAILING(*(uint64_t*)0x20000f20 = 0x20000e00);
    NONFAILING(*(uint32_t*)0x20000f28 = 8);
    NONFAILING(*(uint32_t*)0x20000f2c = 0x10);
    NONFAILING(*(uint32_t*)0x20000f30 = 8);
    NONFAILING(*(uint32_t*)0x20000f34 = 8);
    NONFAILING(*(uint64_t*)0x20000f38 = 0x20000e40);
    res =
        syscall(__NR_bpf, /*cmd=*/0xful, /*arg=*/0x20000f80ul, /*size=*/0x10ul);
    if (res != -1)
      NONFAILING(r[7] = *(uint32_t*)0x20000ed0);
    break;
  case 14:
    NONFAILING(memcpy((void*)0x200000c0, "memory.events\000", 14));
    res = syscall(__NR_openat, /*fd=*/0xffffff9c, /*file=*/0x200000c0ul,
                  /*flags=*/0x26e1ul, /*mode=*/0ul);
    if (res != -1)
      r[8] = res;
    break;
  case 15:
    NONFAILING(*(uint32_t*)0x200007c0 = 3);
    NONFAILING(*(uint32_t*)0x200007c4 = 0x80);
    NONFAILING(*(uint8_t*)0x200007c8 = 0);
    NONFAILING(*(uint8_t*)0x200007c9 = 9);
    NONFAILING(*(uint8_t*)0x200007ca = 0);
    NONFAILING(*(uint8_t*)0x200007cb = 0x6f);
    NONFAILING(*(uint32_t*)0x200007cc = 0);
    NONFAILING(*(uint64_t*)0x200007d0 = 0x20);
    NONFAILING(*(uint64_t*)0x200007d8 = 0x180);
    NONFAILING(*(uint64_t*)0x200007e0 = 8);
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 1, 0, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 1, 1, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 2, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 3, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 1, 4, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 1, 5, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 1, 6, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 1, 7, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 8, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 9, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 1, 10, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 1, 11, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 12, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 1, 13, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 14, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 3, 15, 2));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 17, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 18, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 19, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 20, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 1, 21, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 1, 22, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 23, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 1, 24, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 25, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 26, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 1, 27, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 28, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 1, 29, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 30, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 1, 31, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 1, 32, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 33, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 34, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 35, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 36, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 37, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200007e8, 0, 38, 26));
    NONFAILING(*(uint32_t*)0x200007f0 = 0x40);
    NONFAILING(*(uint32_t*)0x200007f4 = 4);
    NONFAILING(*(uint64_t*)0x200007f8 = 4);
    NONFAILING(*(uint64_t*)0x20000800 = 7);
    NONFAILING(*(uint64_t*)0x20000808 = 0x80088);
    NONFAILING(*(uint64_t*)0x20000810 = 0x1ff);
    NONFAILING(*(uint32_t*)0x20000818 = 9);
    NONFAILING(*(uint32_t*)0x2000081c = 2);
    NONFAILING(*(uint64_t*)0x20000820 = 8);
    NONFAILING(*(uint32_t*)0x20000828 = 4);
    NONFAILING(*(uint16_t*)0x2000082c = 6);
    NONFAILING(*(uint16_t*)0x2000082e = 0);
    NONFAILING(*(uint32_t*)0x20000830 = 3);
    NONFAILING(*(uint32_t*)0x20000834 = 0);
    NONFAILING(*(uint64_t*)0x20000838 = 0x7fffffffffffffff);
    syscall(__NR_perf_event_open, /*attr=*/0x200007c0ul, /*pid=*/0, /*cpu=*/0ul,
            /*group=*/r[8], /*flags=*/0xbul);
    break;
  case 16:
    NONFAILING(*(uint32_t*)0x20001080 = 0x18);
    NONFAILING(*(uint32_t*)0x20001084 = 0x12);
    NONFAILING(*(uint64_t*)0x20001088 = 0x20000b40);
    NONFAILING(*(uint8_t*)0x20000b40 = 0x18);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000b41, 0, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000b41, 0, 4, 4));
    NONFAILING(*(uint16_t*)0x20000b42 = 0);
    NONFAILING(*(uint32_t*)0x20000b44 = 2);
    NONFAILING(*(uint8_t*)0x20000b48 = 0);
    NONFAILING(*(uint8_t*)0x20000b49 = 0);
    NONFAILING(*(uint16_t*)0x20000b4a = 0);
    NONFAILING(*(uint32_t*)0x20000b4c = 5);
    NONFAILING(*(uint8_t*)0x20000b50 = 0x18);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000b51, 1, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000b51, 1, 4, 4));
    NONFAILING(*(uint16_t*)0x20000b52 = 0);
    NONFAILING(*(uint32_t*)0x20000b54 = r[1]);
    NONFAILING(*(uint8_t*)0x20000b58 = 0);
    NONFAILING(*(uint8_t*)0x20000b59 = 0);
    NONFAILING(*(uint16_t*)0x20000b5a = 0);
    NONFAILING(*(uint32_t*)0x20000b5c = 0);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000b60, 7, 0, 3));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000b60, 0, 3, 1));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000b60, 0xb, 4, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000b61, 2, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000b61, 0, 4, 4));
    NONFAILING(*(uint16_t*)0x20000b62 = 0);
    NONFAILING(*(uint32_t*)0x20000b64 = 0x14);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000b68, 7, 0, 3));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000b68, 0, 3, 1));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000b68, 0xb, 4, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000b69, 3, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000b69, 0, 4, 4));
    NONFAILING(*(uint16_t*)0x20000b6a = 0);
    NONFAILING(*(uint32_t*)0x20000b6c = 0);
    NONFAILING(*(uint8_t*)0x20000b70 = 0x85);
    NONFAILING(*(uint8_t*)0x20000b71 = 0);
    NONFAILING(*(uint16_t*)0x20000b72 = 0);
    NONFAILING(*(uint32_t*)0x20000b74 = 0x83);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000b78, 7, 0, 3));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000b78, 1, 3, 1));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000b78, 0xb, 4, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000b79, 9, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000b79, 0, 4, 4));
    NONFAILING(*(uint16_t*)0x20000b7a = 0);
    NONFAILING(*(uint32_t*)0x20000b7c = 0);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000b80, 5, 0, 3));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000b80, 0, 3, 1));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000b80, 5, 4, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000b81, 9, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000b81, 0, 4, 4));
    NONFAILING(*(uint16_t*)0x20000b82 = 1);
    NONFAILING(*(uint32_t*)0x20000b84 = 0);
    NONFAILING(*(uint8_t*)0x20000b88 = 0x95);
    NONFAILING(*(uint8_t*)0x20000b89 = 0);
    NONFAILING(*(uint16_t*)0x20000b8a = 0);
    NONFAILING(*(uint32_t*)0x20000b8c = 0);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000b90, 5, 0, 3));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000b90, 0, 3, 1));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000b90, 8, 4, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000b91, 0, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000b91, 7, 4, 4));
    NONFAILING(*(uint16_t*)0x20000b92 = 0xfff8);
    NONFAILING(*(uint32_t*)0x20000b94 = 0);
    NONFAILING(*(uint8_t*)0x20000b98 = 0x18);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000b99, 9, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000b99, 5, 4, 4));
    NONFAILING(*(uint16_t*)0x20000b9a = 0);
    NONFAILING(*(uint32_t*)0x20000b9c = 8);
    NONFAILING(*(uint8_t*)0x20000ba0 = 0);
    NONFAILING(*(uint8_t*)0x20000ba1 = 0);
    NONFAILING(*(uint16_t*)0x20000ba2 = 0);
    NONFAILING(*(uint32_t*)0x20000ba4 = 0);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000ba8, 7, 0, 3));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000ba8, 1, 3, 1));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000ba8, 0xb, 4, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000ba9, 1, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000ba9, 9, 4, 4));
    NONFAILING(*(uint16_t*)0x20000baa = 0);
    NONFAILING(*(uint32_t*)0x20000bac = 0);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000bb0, 7, 0, 3));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000bb0, 0, 3, 1));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000bb0, 0xb, 4, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000bb1, 2, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000bb1, 0, 4, 4));
    NONFAILING(*(uint16_t*)0x20000bb2 = 0);
    NONFAILING(*(uint32_t*)0x20000bb4 = 0);
    NONFAILING(*(uint8_t*)0x20000bb8 = 0x85);
    NONFAILING(*(uint8_t*)0x20000bb9 = 0);
    NONFAILING(*(uint16_t*)0x20000bba = 0);
    NONFAILING(*(uint32_t*)0x20000bbc = 0);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000bc0, 7, 0, 3));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000bc0, 0, 3, 1));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000bc0, 0xb, 4, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000bc1, 0, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000bc1, 0, 4, 4));
    NONFAILING(*(uint16_t*)0x20000bc2 = 0);
    NONFAILING(*(uint32_t*)0x20000bc4 = 0);
    NONFAILING(*(uint8_t*)0x20000bc8 = 0x95);
    NONFAILING(*(uint8_t*)0x20000bc9 = 0);
    NONFAILING(*(uint16_t*)0x20000bca = 0);
    NONFAILING(*(uint32_t*)0x20000bcc = 0);
    NONFAILING(*(uint64_t*)0x20001090 = 0x20000400);
    NONFAILING(memcpy((void*)0x20000400, "GPL\000", 4));
    NONFAILING(*(uint32_t*)0x20001098 = 2);
    NONFAILING(*(uint32_t*)0x2000109c = 0x99);
    NONFAILING(*(uint64_t*)0x200010a0 = 0x20000c00);
    NONFAILING(*(uint32_t*)0x200010a8 = 0x41100);
    NONFAILING(*(uint32_t*)0x200010ac = 0x32);
    NONFAILING(memset((void*)0x200010b0, 0, 16));
    NONFAILING(*(uint32_t*)0x200010c0 = r[7]);
    NONFAILING(*(uint32_t*)0x200010c4 = 0);
    NONFAILING(*(uint32_t*)0x200010c8 = r[8]);
    NONFAILING(*(uint32_t*)0x200010cc = 8);
    NONFAILING(*(uint64_t*)0x200010d0 = 0x20000fc0);
    NONFAILING(*(uint32_t*)0x20000fc0 = 2);
    NONFAILING(*(uint32_t*)0x20000fc4 = 2);
    NONFAILING(*(uint32_t*)0x200010d8 = 8);
    NONFAILING(*(uint32_t*)0x200010dc = 0x10);
    NONFAILING(*(uint64_t*)0x200010e0 = 0x20001000);
    NONFAILING(*(uint32_t*)0x20001000 = 5);
    NONFAILING(*(uint32_t*)0x20001004 = 0xa);
    NONFAILING(*(uint32_t*)0x20001008 = 5);
    NONFAILING(*(uint32_t*)0x2000100c = 0);
    NONFAILING(*(uint32_t*)0x200010e8 = 0x10);
    NONFAILING(*(uint32_t*)0x200010ec = 0);
    NONFAILING(*(uint32_t*)0x200010f0 = 0);
    NONFAILING(*(uint32_t*)0x200010f4 = 0);
    NONFAILING(*(uint64_t*)0x200010f8 = 0x20001040);
    NONFAILING(*(uint32_t*)0x20001040 = r[2]);
    NONFAILING(*(uint64_t*)0x20001100 = 0);
    NONFAILING(*(uint32_t*)0x20001108 = 0x10);
    NONFAILING(*(uint32_t*)0x2000110c = 3);
    syscall(__NR_bpf, /*cmd=*/5ul, /*arg=*/0x20001080ul, /*size=*/0x90ul);
    break;
  case 17:
    NONFAILING(*(uint32_t*)0x200004c0 = 5);
    NONFAILING(*(uint32_t*)0x200004c4 = 0x80);
    NONFAILING(*(uint8_t*)0x200004c8 = 0x80);
    NONFAILING(*(uint8_t*)0x200004c9 = 0);
    NONFAILING(*(uint8_t*)0x200004ca = 0xde);
    NONFAILING(*(uint8_t*)0x200004cb = 2);
    NONFAILING(*(uint32_t*)0x200004cc = 0);
    NONFAILING(*(uint64_t*)0x200004d0 = 0x100000000);
    NONFAILING(*(uint64_t*)0x200004d8 = 4);
    NONFAILING(*(uint64_t*)0x200004e0 = 9);
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 0, 0, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 0, 1, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 0, 2, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 0, 3, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 0, 4, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 1, 5, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 1, 6, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 0, 7, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 1, 8, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 1, 9, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 1, 10, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 1, 11, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 1, 12, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 0, 13, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 1, 14, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 3, 15, 2));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 0, 17, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 0, 18, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 1, 19, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 0, 20, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 0, 21, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 1, 22, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 1, 23, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 1, 24, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 1, 25, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 0, 26, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 1, 27, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 1, 28, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 0, 29, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 1, 30, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 1, 31, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 1, 32, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 0, 33, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 1, 34, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 0, 35, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 0, 36, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 1, 37, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x200004e8, 0, 38, 26));
    NONFAILING(*(uint32_t*)0x200004f0 = 0x50);
    NONFAILING(*(uint32_t*)0x200004f4 = 2);
    NONFAILING(*(uint64_t*)0x200004f8 = 5);
    NONFAILING(*(uint64_t*)0x20000500 = 0x3f);
    NONFAILING(*(uint64_t*)0x20000508 = 0x11080);
    NONFAILING(*(uint64_t*)0x20000510 = 1);
    NONFAILING(*(uint32_t*)0x20000518 = 6);
    NONFAILING(*(uint32_t*)0x2000051c = 7);
    NONFAILING(*(uint64_t*)0x20000520 = 0xe9);
    NONFAILING(*(uint32_t*)0x20000528 = 0x721);
    NONFAILING(*(uint16_t*)0x2000052c = 0x20);
    NONFAILING(*(uint16_t*)0x2000052e = 0);
    NONFAILING(*(uint32_t*)0x20000530 = 0xfff);
    NONFAILING(*(uint32_t*)0x20000534 = 0);
    NONFAILING(*(uint64_t*)0x20000538 = 4);
    syscall(__NR_perf_event_open, /*attr=*/0x200004c0ul, /*pid=*/r[6],
            /*cpu=*/0xeul, /*group=*/-1, /*flags=*/8ul);
    break;
  case 18:
    NONFAILING(memcpy((void*)0x20000380, "memory.events\000", 14));
    res = syscall(__NR_openat, /*fd=*/0xffffff9c, /*file=*/0x20000380ul,
                  /*flags=*/0x7a05ul, /*mode=*/0x1700ul);
    if (res != -1)
      r[9] = res;
    break;
  case 19:
    NONFAILING(*(uint64_t*)0x200003c0 = 0);
    NONFAILING(*(uint32_t*)0x200003c8 = r[9]);
    syscall(__NR_bpf, /*cmd=*/0x11ul, /*arg=*/0x200003c0ul, /*size=*/0x10ul);
    break;
  case 20:
    NONFAILING(sprintf((char*)0x20000200, "0x%016llx", (long long)0));
    syscall(__NR_write, /*fd=*/r[9], /*buf=*/0x20000200ul, /*len=*/0x43405ul);
    break;
  case 21:
    NONFAILING(memcpy((void*)0x20000080, "memory.events\000", 14));
    res = syscall(__NR_openat, /*fd=*/0xffffff9c, /*file=*/0x20000080ul,
                  /*flags=*/0x7a05ul, /*mode=*/0x1700ul);
    if (res != -1)
      r[10] = res;
    break;
  case 22:
    NONFAILING(*(uint64_t*)0x20000040 = 0);
    syscall(__NR_ioctl, /*fd=*/r[10], /*cmd=*/0x40086602,
            /*period=*/0x20000040ul);
    break;
  case 23:
    NONFAILING(*(uint32_t*)0x20000280 = r[3]);
    NONFAILING(*(uint32_t*)0x20000284 = 0x20);
    NONFAILING(*(uint64_t*)0x20000288 = 0x200000c0);
    NONFAILING(*(uint64_t*)0x200000c0 = 0x20000840);
    NONFAILING(*(uint32_t*)0x200000c8 = 0xe1);
    NONFAILING(*(uint64_t*)0x200000d0 = 0);
    res =
        syscall(__NR_bpf, /*cmd=*/0xful, /*arg=*/0x20000280ul, /*size=*/0x10ul);
    if (res != -1)
      NONFAILING(r[11] = *(uint32_t*)0x200000cc);
    break;
  case 24:
    NONFAILING(*(uint32_t*)0x20000940 = 0x15);
    NONFAILING(*(uint32_t*)0x20000944 = 0x2b);
    NONFAILING(*(uint64_t*)0x20000948 = 0x20000580);
    NONFAILING(*(uint8_t*)0x20000580 = 0x18);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000581, 0, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000581, 0, 4, 4));
    NONFAILING(*(uint16_t*)0x20000582 = 0);
    NONFAILING(*(uint32_t*)0x20000584 = 0xcb6c);
    NONFAILING(*(uint8_t*)0x20000588 = 0);
    NONFAILING(*(uint8_t*)0x20000589 = 0);
    NONFAILING(*(uint16_t*)0x2000058a = 0);
    NONFAILING(*(uint32_t*)0x2000058c = 0x401);
    NONFAILING(*(uint8_t*)0x20000590 = 0x18);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000591, 1, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000591, 1, 4, 4));
    NONFAILING(*(uint16_t*)0x20000592 = 0);
    NONFAILING(*(uint32_t*)0x20000594 = r[9]);
    NONFAILING(*(uint8_t*)0x20000598 = 0);
    NONFAILING(*(uint8_t*)0x20000599 = 0);
    NONFAILING(*(uint16_t*)0x2000059a = 0);
    NONFAILING(*(uint32_t*)0x2000059c = 0);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200005a0, 7, 0, 3));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200005a0, 0, 3, 1));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200005a0, 0xb, 4, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200005a1, 2, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200005a1, 0, 4, 4));
    NONFAILING(*(uint16_t*)0x200005a2 = 0);
    NONFAILING(*(uint32_t*)0x200005a4 = 0x14);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200005a8, 7, 0, 3));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200005a8, 0, 3, 1));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200005a8, 0xb, 4, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200005a9, 3, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200005a9, 0, 4, 4));
    NONFAILING(*(uint16_t*)0x200005aa = 0);
    NONFAILING(*(uint32_t*)0x200005ac = 0);
    NONFAILING(*(uint8_t*)0x200005b0 = 0x85);
    NONFAILING(*(uint8_t*)0x200005b1 = 0);
    NONFAILING(*(uint16_t*)0x200005b2 = 0);
    NONFAILING(*(uint32_t*)0x200005b4 = 0x83);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200005b8, 7, 0, 3));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200005b8, 1, 3, 1));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200005b8, 0xb, 4, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200005b9, 9, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200005b9, 0, 4, 4));
    NONFAILING(*(uint16_t*)0x200005ba = 0);
    NONFAILING(*(uint32_t*)0x200005bc = 0);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200005c0, 5, 0, 3));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200005c0, 0, 3, 1));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200005c0, 5, 4, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200005c1, 9, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200005c1, 0, 4, 4));
    NONFAILING(*(uint16_t*)0x200005c2 = 1);
    NONFAILING(*(uint32_t*)0x200005c4 = 0);
    NONFAILING(*(uint8_t*)0x200005c8 = 0x95);
    NONFAILING(*(uint8_t*)0x200005c9 = 0);
    NONFAILING(*(uint16_t*)0x200005ca = 0);
    NONFAILING(*(uint32_t*)0x200005cc = 0);
    NONFAILING(*(uint8_t*)0x200005d0 = 0x18);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200005d1, 5, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200005d1, 1, 4, 4));
    NONFAILING(*(uint16_t*)0x200005d2 = 0);
    NONFAILING(*(uint32_t*)0x200005d4 = r[1]);
    NONFAILING(*(uint8_t*)0x200005d8 = 0);
    NONFAILING(*(uint8_t*)0x200005d9 = 0);
    NONFAILING(*(uint16_t*)0x200005da = 0);
    NONFAILING(*(uint32_t*)0x200005dc = 0);
    NONFAILING(*(uint8_t*)0x200005e0 = 0x18);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200005e1, 1, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200005e1, 4, 4, 4));
    NONFAILING(*(uint16_t*)0x200005e2 = 0);
    NONFAILING(*(uint32_t*)0x200005e4 = -1);
    NONFAILING(*(uint8_t*)0x200005e8 = 0);
    NONFAILING(*(uint8_t*)0x200005e9 = 0);
    NONFAILING(*(uint16_t*)0x200005ea = 0);
    NONFAILING(*(uint32_t*)0x200005ec = 0);
    NONFAILING(*(uint8_t*)0x200005f0 = 0x18);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200005f1, 0, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200005f1, 6, 4, 4));
    NONFAILING(*(uint16_t*)0x200005f2 = 0);
    NONFAILING(*(uint32_t*)0x200005f4 = 3);
    NONFAILING(*(uint8_t*)0x200005f8 = 0);
    NONFAILING(*(uint8_t*)0x200005f9 = 0);
    NONFAILING(*(uint16_t*)0x200005fa = 0);
    NONFAILING(*(uint32_t*)0x200005fc = 6);
    NONFAILING(*(uint8_t*)0x20000600 = 0x18);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000601, 8, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000601, 5, 4, 4));
    NONFAILING(*(uint16_t*)0x20000602 = 0);
    NONFAILING(*(uint32_t*)0x20000604 = 1);
    NONFAILING(*(uint8_t*)0x20000608 = 0);
    NONFAILING(*(uint8_t*)0x20000609 = 0);
    NONFAILING(*(uint16_t*)0x2000060a = 0);
    NONFAILING(*(uint32_t*)0x2000060c = 0);
    NONFAILING(*(uint8_t*)0x20000610 = 0x18);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000611, 2, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000611, 1, 4, 4));
    NONFAILING(*(uint16_t*)0x20000612 = 0);
    NONFAILING(*(uint32_t*)0x20000614 = r[3]);
    NONFAILING(*(uint8_t*)0x20000618 = 0);
    NONFAILING(*(uint8_t*)0x20000619 = 0);
    NONFAILING(*(uint16_t*)0x2000061a = 0);
    NONFAILING(*(uint32_t*)0x2000061c = 0);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000620, 7, 0, 3));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000620, 0, 3, 1));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000620, 0xb, 4, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000621, 3, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000621, 0, 4, 4));
    NONFAILING(*(uint16_t*)0x20000622 = 0);
    NONFAILING(*(uint32_t*)0x20000624 = 0);
    NONFAILING(*(uint8_t*)0x20000628 = 0x85);
    NONFAILING(*(uint8_t*)0x20000629 = 0);
    NONFAILING(*(uint16_t*)0x2000062a = 0);
    NONFAILING(*(uint32_t*)0x2000062c = 0xc);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000630, 7, 0, 3));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000630, 0, 3, 1));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000630, 0xb, 4, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000631, 0, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000631, 0, 4, 4));
    NONFAILING(*(uint16_t*)0x20000632 = 0);
    NONFAILING(*(uint32_t*)0x20000634 = 0);
    NONFAILING(*(uint8_t*)0x20000638 = 0x18);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000639, 1, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000639, 1, 4, 4));
    NONFAILING(*(uint16_t*)0x2000063a = 0);
    NONFAILING(*(uint32_t*)0x2000063c = r[3]);
    NONFAILING(*(uint8_t*)0x20000640 = 0);
    NONFAILING(*(uint8_t*)0x20000641 = 0);
    NONFAILING(*(uint16_t*)0x20000642 = 0);
    NONFAILING(*(uint32_t*)0x20000644 = 0);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000648, 7, 0, 3));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000648, 0, 3, 1));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000648, 0xb, 4, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000649, 8, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000649, 0, 4, 4));
    NONFAILING(*(uint16_t*)0x2000064a = 0);
    NONFAILING(*(uint32_t*)0x2000064c = 0x100);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000650, 3, 0, 3));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000650, 3, 3, 2));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000650, 3, 5, 3));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000651, 0xa, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000651, 8, 4, 4));
    NONFAILING(*(uint16_t*)0x20000652 = 0xfff8);
    NONFAILING(*(uint32_t*)0x20000654 = 0);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000658, 7, 0, 3));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000658, 1, 3, 1));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000658, 0xb, 4, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000659, 2, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000659, 0xa, 4, 4));
    NONFAILING(*(uint16_t*)0x2000065a = 0);
    NONFAILING(*(uint32_t*)0x2000065c = 0);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000660, 7, 0, 3));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000660, 0, 3, 1));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000660, 0, 4, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000661, 2, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000661, 0, 4, 4));
    NONFAILING(*(uint16_t*)0x20000662 = 0);
    NONFAILING(*(uint32_t*)0x20000664 = 0xfffffff8);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000668, 7, 0, 3));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000668, 0, 3, 1));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000668, 0xb, 4, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000669, 3, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000669, 0, 4, 4));
    NONFAILING(*(uint16_t*)0x2000066a = 0);
    NONFAILING(*(uint32_t*)0x2000066c = 8);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000670, 7, 0, 3));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000670, 0, 3, 1));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000670, 0xb, 4, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000671, 4, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000671, 0, 4, 4));
    NONFAILING(*(uint16_t*)0x20000672 = 0);
    NONFAILING(*(uint32_t*)0x20000674 = 0);
    NONFAILING(*(uint8_t*)0x20000678 = 0x85);
    NONFAILING(*(uint8_t*)0x20000679 = 0);
    NONFAILING(*(uint16_t*)0x2000067a = 0);
    NONFAILING(*(uint32_t*)0x2000067c = 0x82);
    NONFAILING(*(uint8_t*)0x20000680 = 0x18);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000681, 2, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000681, 1, 4, 4));
    NONFAILING(*(uint16_t*)0x20000682 = 0);
    NONFAILING(*(uint32_t*)0x20000684 = r[10]);
    NONFAILING(*(uint8_t*)0x20000688 = 0);
    NONFAILING(*(uint8_t*)0x20000689 = 0);
    NONFAILING(*(uint16_t*)0x2000068a = 0);
    NONFAILING(*(uint32_t*)0x2000068c = 0);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000690, 7, 0, 3));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000690, 0, 3, 1));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000690, 0xb, 4, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000691, 3, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x20000691, 0, 4, 4));
    NONFAILING(*(uint16_t*)0x20000692 = 0);
    NONFAILING(*(uint32_t*)0x20000694 = 0);
    NONFAILING(*(uint8_t*)0x20000698 = 0x85);
    NONFAILING(*(uint8_t*)0x20000699 = 0);
    NONFAILING(*(uint16_t*)0x2000069a = 0);
    NONFAILING(*(uint32_t*)0x2000069c = 0xc);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200006a0, 7, 0, 3));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200006a0, 0, 3, 1));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200006a0, 0xb, 4, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200006a1, 0, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200006a1, 0, 4, 4));
    NONFAILING(*(uint16_t*)0x200006a2 = 0);
    NONFAILING(*(uint32_t*)0x200006a4 = 0);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200006a8, 5, 0, 3));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200006a8, 1, 3, 1));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200006a8, 9, 4, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200006a9, 0, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200006a9, 5, 4, 4));
    NONFAILING(*(uint16_t*)0x200006aa = 0x10);
    NONFAILING(*(uint32_t*)0x200006ac = 0xfffffff0);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200006b0, 7, 0, 3));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200006b0, 1, 3, 1));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200006b0, 0xb, 4, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200006b1, 1, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200006b1, 9, 4, 4));
    NONFAILING(*(uint16_t*)0x200006b2 = 0);
    NONFAILING(*(uint32_t*)0x200006b4 = 0);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200006b8, 7, 0, 3));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200006b8, 0, 3, 1));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200006b8, 0xb, 4, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200006b9, 2, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200006b9, 0, 4, 4));
    NONFAILING(*(uint16_t*)0x200006ba = 0);
    NONFAILING(*(uint32_t*)0x200006bc = 2);
    NONFAILING(*(uint8_t*)0x200006c0 = 0x85);
    NONFAILING(*(uint8_t*)0x200006c1 = 0);
    NONFAILING(*(uint16_t*)0x200006c2 = 0);
    NONFAILING(*(uint32_t*)0x200006c4 = 0x84);
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200006c8, 7, 0, 3));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200006c8, 0, 3, 1));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200006c8, 0xb, 4, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200006c9, 0, 0, 4));
    NONFAILING(STORE_BY_BITMASK(uint8_t, , 0x200006c9, 0, 4, 4));
    NONFAILING(*(uint16_t*)0x200006ca = 0);
    NONFAILING(*(uint32_t*)0x200006cc = 0);
    NONFAILING(*(uint8_t*)0x200006d0 = 0x95);
    NONFAILING(*(uint8_t*)0x200006d1 = 0);
    NONFAILING(*(uint16_t*)0x200006d2 = 0);
    NONFAILING(*(uint32_t*)0x200006d4 = 0);
    NONFAILING(*(uint64_t*)0x20000950 = 0x20000000);
    NONFAILING(memcpy((void*)0x20000000, "GPL\000", 4));
    NONFAILING(*(uint32_t*)0x20000958 = 4);
    NONFAILING(*(uint32_t*)0x2000095c = 0x62);
    NONFAILING(*(uint64_t*)0x20000960 = 0x20000200);
    NONFAILING(*(uint32_t*)0x20000968 = 0x41100);
    NONFAILING(*(uint32_t*)0x2000096c = 0x18);
    NONFAILING(memset((void*)0x20000970, 0, 16));
    NONFAILING(*(uint32_t*)0x20000980 = 0);
    NONFAILING(*(uint32_t*)0x20000984 = 0xe);
    NONFAILING(*(uint32_t*)0x20000988 = r[3]);
    NONFAILING(*(uint32_t*)0x2000098c = 8);
    NONFAILING(*(uint64_t*)0x20000990 = 0);
    NONFAILING(*(uint32_t*)0x20000998 = 0);
    NONFAILING(*(uint32_t*)0x2000099c = 0x10);
    NONFAILING(*(uint64_t*)0x200009a0 = 0x20000040);
    NONFAILING(*(uint32_t*)0x20000040 = 3);
    NONFAILING(*(uint32_t*)0x20000044 = 5);
    NONFAILING(*(uint32_t*)0x20000048 = 8);
    NONFAILING(*(uint32_t*)0x2000004c = 7);
    NONFAILING(*(uint32_t*)0x200009a8 = 0x10);
    NONFAILING(*(uint32_t*)0x200009ac = r[11]);
    NONFAILING(*(uint32_t*)0x200009b0 = r[0]);
    NONFAILING(*(uint32_t*)0x200009b4 = 0xa);
    NONFAILING(*(uint64_t*)0x200009b8 = 0);
    NONFAILING(*(uint64_t*)0x200009c0 = 0x20000a80);
    NONFAILING(*(uint32_t*)0x20000a80 = 0);
    NONFAILING(*(uint32_t*)0x20000a84 = 2);
    NONFAILING(*(uint32_t*)0x20000a88 = 7);
    NONFAILING(*(uint32_t*)0x20000a8c = 2);
    NONFAILING(*(uint32_t*)0x20000a90 = 2);
    NONFAILING(*(uint32_t*)0x20000a94 = 5);
    NONFAILING(*(uint32_t*)0x20000a98 = 0xe);
    NONFAILING(*(uint32_t*)0x20000a9c = 1);
    NONFAILING(*(uint32_t*)0x20000aa0 = 4);
    NONFAILING(*(uint32_t*)0x20000aa4 = 5);
    NONFAILING(*(uint32_t*)0x20000aa8 = 4);
    NONFAILING(*(uint32_t*)0x20000aac = 4);
    NONFAILING(*(uint32_t*)0x20000ab0 = 5);
    NONFAILING(*(uint32_t*)0x20000ab4 = 5);
    NONFAILING(*(uint32_t*)0x20000ab8 = 9);
    NONFAILING(*(uint32_t*)0x20000abc = 0);
    NONFAILING(*(uint32_t*)0x20000ac0 = 5);
    NONFAILING(*(uint32_t*)0x20000ac4 = 2);
    NONFAILING(*(uint32_t*)0x20000ac8 = 0xa);
    NONFAILING(*(uint32_t*)0x20000acc = 0);
    NONFAILING(*(uint32_t*)0x20000ad0 = 4);
    NONFAILING(*(uint32_t*)0x20000ad4 = 2);
    NONFAILING(*(uint32_t*)0x20000ad8 = 1);
    NONFAILING(*(uint32_t*)0x20000adc = 0);
    NONFAILING(*(uint32_t*)0x20000ae0 = 2);
    NONFAILING(*(uint32_t*)0x20000ae4 = 4);
    NONFAILING(*(uint32_t*)0x20000ae8 = 0xc);
    NONFAILING(*(uint32_t*)0x20000aec = 1);
    NONFAILING(*(uint32_t*)0x20000af0 = 4);
    NONFAILING(*(uint32_t*)0x20000af4 = 4);
    NONFAILING(*(uint32_t*)0x20000af8 = 9);
    NONFAILING(*(uint32_t*)0x20000afc = 0xc);
    NONFAILING(*(uint32_t*)0x20000b00 = 3);
    NONFAILING(*(uint32_t*)0x20000b04 = 1);
    NONFAILING(*(uint32_t*)0x20000b08 = 5);
    NONFAILING(*(uint32_t*)0x20000b0c = 3);
    NONFAILING(*(uint32_t*)0x20000b10 = 3);
    NONFAILING(*(uint32_t*)0x20000b14 = 2);
    NONFAILING(*(uint32_t*)0x20000b18 = 8);
    NONFAILING(*(uint32_t*)0x20000b1c = 5);
    NONFAILING(*(uint32_t*)0x200009c8 = 0x10);
    NONFAILING(*(uint32_t*)0x200009cc = 0x854);
    syscall(__NR_bpf, /*cmd=*/5ul, /*arg=*/0x20000940ul, /*size=*/0x90ul);
    break;
  case 25:
    syscall(__NR_close, /*fd=*/r[3]);
    break;
  case 26:
    NONFAILING(*(uint32_t*)0x20000100 = 1);
    NONFAILING(*(uint32_t*)0x20000104 = 0x80);
    NONFAILING(*(uint8_t*)0x20000108 = 0xb7);
    NONFAILING(*(uint8_t*)0x20000109 = 0x81);
    NONFAILING(*(uint8_t*)0x2000010a = 0);
    NONFAILING(*(uint8_t*)0x2000010b = 0x7f);
    NONFAILING(*(uint32_t*)0x2000010c = 0);
    NONFAILING(*(uint64_t*)0x20000110 = 0x86);
    NONFAILING(*(uint64_t*)0x20000118 = 0x40c00);
    NONFAILING(*(uint64_t*)0x20000120 = 0);
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 0, 0, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 0, 1, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 0, 2, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 0, 3, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 0, 4, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 0, 5, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 1, 6, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 1, 7, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 0, 8, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 1, 9, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 0, 10, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 0, 11, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 1, 12, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 1, 13, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 0, 14, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 1, 15, 2));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 0, 17, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 0, 18, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 0, 19, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 0, 20, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 0, 21, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 0, 22, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 1, 23, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 0, 24, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 0, 25, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 0, 26, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 0, 27, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 1, 28, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 0, 29, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 0, 30, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 1, 31, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 0, 32, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 0, 33, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 1, 34, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 1, 35, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 0, 36, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 0, 37, 1));
    NONFAILING(STORE_BY_BITMASK(uint64_t, , 0x20000128, 0, 38, 26));
    NONFAILING(*(uint32_t*)0x20000130 = 0xffff1f8e);
    NONFAILING(*(uint32_t*)0x20000134 = 0);
    NONFAILING(*(uint64_t*)0x20000138 = 1);
    NONFAILING(*(uint64_t*)0x20000140 = 6);
    NONFAILING(*(uint64_t*)0x20000148 = 4);
    NONFAILING(*(uint64_t*)0x20000150 = 0);
    NONFAILING(*(uint32_t*)0x20000158 = 0);
    NONFAILING(*(uint32_t*)0x2000015c = 1);
    NONFAILING(*(uint64_t*)0x20000160 = 0x557);
    NONFAILING(*(uint32_t*)0x20000168 = 4);
    NONFAILING(*(uint16_t*)0x2000016c = 0x7f);
    NONFAILING(*(uint16_t*)0x2000016e = 0);
    NONFAILING(*(uint32_t*)0x20000170 = 0);
    NONFAILING(*(uint32_t*)0x20000174 = 0);
    NONFAILING(*(uint64_t*)0x20000178 = 6);
    syscall(__NR_perf_event_open, /*attr=*/0x20000100ul, /*pid=*/-1,
            /*cpu=*/0ul, /*group=*/r[3], /*flags=*/2ul);
    break;
  }
}
int main(void)
{
  syscall(__NR_mmap, /*addr=*/0x1ffff000ul, /*len=*/0x1000ul, /*prot=*/0ul,
          /*flags=*/0x32ul, /*fd=*/-1, /*offset=*/0ul);
  syscall(__NR_mmap, /*addr=*/0x20000000ul, /*len=*/0x1000000ul, /*prot=*/7ul,
          /*flags=*/0x32ul, /*fd=*/-1, /*offset=*/0ul);
  syscall(__NR_mmap, /*addr=*/0x21000000ul, /*len=*/0x1000ul, /*prot=*/0ul,
          /*flags=*/0x32ul, /*fd=*/-1, /*offset=*/0ul);
  setup_sysctl();
  setup_swap();
  install_segv_handler();
  do_sandbox_none();
  return 0;
}