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

#define _GNU_SOURCE

#include <endian.h>
#include <errno.h>
#include <fcntl.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/stat.h>
#include <sys/syscall.h>
#include <sys/types.h>
#include <unistd.h>

static __thread int skip_segv;
static __thread jmp_buf segv_env;

static void segv_handler(int sig, siginfo_t* info, void* ctx)
{
  uintptr_t addr = (uintptr_t)info->si_addr;
  const uintptr_t prog_start = 1 << 20;
  const uintptr_t prog_end = 100 << 20;
  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 use_temporary_dir(void)
{
  char tmpdir_template[] = "./syzkaller.XXXXXX";
  char* tmpdir = mkdtemp(tmpdir_template);
  if (!tmpdir)
    exit(1);
  if (chmod(tmpdir, 0777))
    exit(1);
  if (chdir(tmpdir))
    exit(1);
}

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

static void setup_sysctl()
{
  static 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/net/ipv4/ping_group_range", "0 65535"},
      {"/proc/sys/kernel/keys/gc_delay", "1"},
      {"/proc/sys/vm/nr_overcommit_hugepages", "4"},
      {"/proc/sys/vm/oom_kill_allocating_task", "1"},
  };
  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));
  }
}

#ifndef __NR_bpf
#define __NR_bpf 321
#endif

uint64_t r[1] = {0xffffffffffffffff};

int main(void)
{
  syscall(__NR_mmap, 0x1ffff000ul, 0x1000ul, 0ul, 0x32ul, -1, 0ul);
  syscall(__NR_mmap, 0x20000000ul, 0x1000000ul, 7ul, 0x32ul, -1, 0ul);
  syscall(__NR_mmap, 0x21000000ul, 0x1000ul, 0ul, 0x32ul, -1, 0ul);
  setup_sysctl();
  install_segv_handler();
  use_temporary_dir();
  intptr_t res = 0;
  NONFAILING(*(uint32_t*)0x20000200 = 4);
  NONFAILING(*(uint32_t*)0x20000204 = 0xe);
  NONFAILING(*(uint64_t*)0x20000208 = 0x20000840);
  NONFAILING(memcpy(
      (void*)0x20000840,
      "\xb7\x02\x00\x00\x00\x00\x00\x00\xbf\xa3\x00\x00\x00\x00\x00\x00\x07\x03"
      "\x00\x00\x00\xfe\xff\xff\x7a\x0a\xf0\xff\xf8\xff\xff\xff\x79\xa4\xf0\xff"
      "\x00\x00\x00\x00\xb7\x06\x00\x00\xff\xff\xff\xff\x6d\x64\x05\x00\x00\x00"
      "\x00\x00\x65\x04\x04\x00\x01\x00\x00\x00\x04\x04\x00\x00\x01\x00\x00\x00"
      "\xb7\x05\x00\x00\x40\x00\x00\x00\x6a\x0a\x80\xfe\x00\x00\x00\x00\x85\x00"
      "\x00\x00\x53\x00\x00\x00\xb7\x00\x00\x00\x00\x00\x00\x00\x95\x00\x00\x10"
      "\x00\x00\x00\x00\x4e\x62\x01\x1c\x30\x34\xfd\xb1\x17\x16\x8b\xd0\x7b\xa0"
      "\x8a\xf3\x39\xd1\xa1\xee\x35\xfe\x16\x3a\x25\x5c\x33\x28\x20\x44\xb3\x24"
      "\x95\xef\x8a\xb9\xad\xc6\x7c\xcc\x94\x5f\xf1\x5d\x80\x2f\x51\x32\x14\x3c"
      "\x0a\x9f\xc7\xa8\x44\x52\x56\x99\x57\xc1\x00\x2e\xd7\xd4\x58\xe1\x7f\x79"
      "\x1f\x47\x98\xc8\xeb\x48\x4d\xe0\x33\x12\xc6\x9b\x3e\xdf\x00\x00\x26\x76"
      "\x5b\xa5\xf8\xf2\x87\x90\x21\xc2\xea\x53\xac\x54\x7a\x65\x4b\xbd\x2d\xb5"
      "\x35\x6b\x97\x1d\x83\xdd\xf7\x9f\x2b\xe9\x08\x7a\x3e\x7b\x7c\x0e\xfd\x3e"
      "\x38\xc7\x94\xeb\x06\xb0\xb8\xc3\x92\x90\x4a\xe7\xdd\x5e\x4d\xee\x88\x51"
      "\x8d\xdf\x12\xdd\xdd\x4b\xfc\x6a\x4d\xd3\xb6\xbe\xba\x51\x07\x42\x29\xb0"
      "\xd4\xb5\x04\x51\x6c\x4c\x3e\x5d\x1a\xa0\x44\xd8\xd0\x07\x28\x14\x1c\xd6"
      "\x7b\xcd\x68\xf2\x53\x28\x8e\x65\x5c\x6b\x34\xe0\x2e\x90\x63\x7e\xf2\x91"
      "\x2b\xa7\xde\x26\xff\x23\x57\xef\x17\xf9\x5a\x25\x78\x0c\x3a\x05\x78\x26"
      "\xef\x4e\x91\x2f\x01\xa2\x01\xe6\x94\xe3\x04\x9b\x8c\x8f\xe8\xb6\x5d\x8d"
      "\x66\xbb\x76\x6f\x7f\x3f\x91\x8c\x86\xa7\x02\x52\x23\x68\xd9\xf8\x18\x97"
      "\x13\x3a\xf9\x4a\x5a\x4c\xff\x7f\x4d\x8b\x9d\x8e\xaf\x30\x2f\x0b\x2e\x0c"
      "\x25\x2b\x00\x00\x00\x00\x00\x00\x00\x00\xee\x91\x7b\xca\x48\x85\xbb\xf5"
      "\x97\xa1\x4a\xb6\x45\x8e\x62\x72\xd8\x8e\x0c\x80\x88\xf4\x04\xf0\x11\x28"
      "\x9e\xbc\x56\x23\xfa\xa1\x18\x26\x32\x16\x1e\x07\x3a\xf1\xd6\x9a\x2e\x36"
      "\xbe\x11\x5b\xe3\xb3\x25\xec\xd2\x01\xd2\xff\xb0\xa7\xfa\x4f\x5d\x11\x06"
      "\x56\x0c\xdc\xf0\x71\xde\xfd\x0a\x8b\xe3\xb6\x9c\xe3\xe4\xf3\x61\xac\xa7"
      "\x58\x27\x42\x6d\xde\x87\xfd\xf4\x61\x72\x22\x67\x42\x80\xf5\x5e\x98\x10"
      "\x74\x50\xc1\x9b\x86\x12\x99\xfc\xd9\xed\x9d\x86\x79\x40\x64\x19\x40\x6b"
      "\xf0\xc5\x32\x9b\xd5\x06\x4a\xe6\x84\x36\x6d\xfd\xb4\x69\x73\x36\x11\x2b"
      "\x0b\x87\x56\xce\x35\x74\x04\x6b\xf6\x11\xa1\x08\xf8\xdf\x4d\x1a\x88\x59"
      "\x78\x40\xb7\x02\xb6\xfa\x8e\xdf\xff\x8f\xaf\x8b\x8e\x0f\x77\xdd\xc9\xef"
      "\x12\xc9\x09\x21\xc0\x39\xba\xb3\x85\xca\xc0\x53\x53\x73\xbb\x8f\xab\x90"
      "\x53\x9b\x1a\x65\xdd\xff\x84\x1e\xb6\x71\xf7\xfa\xf3\x9a\x43\xa6\x6c\x55"
      "\x40\xb8\x76\x2b\x42\x00\x7c\x9e\xc4\x31\x93\xcc\xf6\x17\xdb\xf8\xa1\x2b"
      "\x4a\x18\x9e\xdb\xf9\xfb\x7c\x42\xb1\xf4\x35\xcc\xd4\xb1\x9b\x53\xb6\x03"
      "\x22\xaf\x0a\xa6\x6e\x8f\x44\x8e\x1b\xd9\x68\x22\xe6\xb7\x0b\x62\x91\x2c"
      "\x92\x6d\xbe\x41\x7c\xcc\xc4\xf6\x96\xd5\x28\xfa\x8a\x3e\xa8\x47\xf1\x0e"
      "\x9b\x11\x06\xf3\xbb\x50\x6f\x1d\x7f\xbd\xf8\x01\x00\x00\x00\x00\x00\x00"
      "\x00\x6c\x02\x8e\xb5\xb5\xa0\x73\xd0\xde\x55\x38\xab\x42\xe1\x71\xb3\xba"
      "\xae\x34\xc3\x59\x87\xb0\xdd\xa4\x97\xac\x3f\x5e\x97\xe6\x0e\xae\xea\x15"
      "\xc6\xd5\x5b\xad\xf9\xb8\x6b\x1c\x00\x01\x00\x00\x6e\x60\xcd\x06\xc9\xed"
      "\x24\x31\x3c\xe6\x07\xd4\x03\xbb\x60\x30\xf8\x00\x00\x00\x00\x69\x0d\xb0"
      "\x22\x1b\x17\x05\xc5\x01\xf8\x02\xff\x59\xb4\xe6\x83\xef\xa4\xb6\xe7\x7e"
      "\x04\x20\x72\xbd\x2a\xc3\x7d\x41\x30\x08\xec\x9e\xb8\x16\x6f\x6e\x28\xb4"
      "\x9a\x77\xed\x91\xbe\xfc\x4d\x31\x58\x78\xf8\x8a\x8f\xb1\xdd\x67\x9f\xb4"
      "\xc5\x55\x7a\xba\xe6\x84\x99\x17\xdc\x51\xa8\x9d\x47\xb7\x28\x50\x2f\x7e"
      "\x62\x1f\xc0\xe3\xba\x04\x02\x00\x00\xc1\x49\xee\x66\x01\x72\x8c\x75\x09"
      "\x30\x51\x93\x39\xb4\x41\x97\xc2\x2d\xa8\x65\x05\x9b\x47\x5a\xfd\x96\x18"
      "\x7d\x88\x1e\x93\xb4\x2a\x5f\xdf\xd6\x86\xd8\x90\x0c\x44\xc6\x71\x33\xee"
      "\xb0\x10\x9d\xcb\x60\xdd\xda\xd5\x80\x37\xfd\xa6\x58\x85\xa1\x5a\x42\x9e"
      "\xdf\xe3\x02\x7a\x5e\xbf\x95\x25\x47\x44\xf1\x0f\xd6\x07\xbc\x31\x00\xb9"
      "\x49\x32\xb8\xd9\x44\x7c\x42\xf6\xe2\x1e\xe0\xe5\x4f\x8b\xe3\x86\xbd\xc0"
      "\x9d\xec\xec\xe9\x10\xa4\x81\xe6\x48\xe0\xcb\x07\x45\x36\xa2\x5f\xf5\x81"
      "\xd9\x2a\xf0\x8a\x06\xf8\x57\x31\x1a\x2f\x14\x32\x6b\x0b\x29\x02\x05\xe9"
      "\x1a\x68\x2e\x00\xc8\x76\x2c\xbc\x6b\x90\x4c\x98\x0e\xef\x6e\x6a\xe0\x0f"
      "\x00\x00\x00\x00\x00\x00\x6a\x81\x94\x47\x97\x00\xa0\x2b\x92\xbe\xc8\xd0"
      "\x5e\xae\x1f\x24\xfd\xd7\xb8\x0d\x3d\xde\x04\xc2\x2f\x68\x95\x94\xde\x2e"
      "\xbb\x96\x87\x21\x9d\xe8\xd7\x3a\xc8\x38\x23\xfe\xb4\x02\xa2\x41\x5a\x98"
      "\x50\xd5\xe9\x6d\xc0\xe4\xac\xd7\xac\xf1\xdf\xe7\x9d\x67\x71\x90\x3b\x76"
      "\xe2\xae\x47\xd9\x72\x65\x11\x90\xc2\x2d\x64\x10\x30\xe1\xdd\xac\x01\x8d"
      "\xc3\x11\x6e\x18\x03\xaf\x20\xa5\xf2\xb5\xf7\xba\x58\xac\xa5\xbc\xab\xbb"
      "\xab\x24\x41\x4a\x38\x10\x78\x8e\x55\x03\xe4\xbe\x66\xd6\x83\xda\xac\x5f"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x10\x8a\x3c\x87\xb1\x9d\x5b\x9a\x00\xc7"
      "\x5d\x84\xa9\x2d\x6d\xcf\x00\xba\x96\xed\xb9\x5e\xde\x0e\x19\x57\xc2\xa2"
      "\x75\x42\x58\xd9\xfd\x02\x80\x96\xcc\x15\xa8\xb9\x12\xb4\x94\xd4\xbb\xe6"
      "\x09\x03\x1e\xa1\xca\x65\xa5\x48\x94\x1d\x5d\x16\x29\x6d\xd0\x8e\x9e\xdf"
      "\xb2\xfb\x3e\x1e\x7a\x27\x67\x89\x77\x57\x31\x0d\x9d\xae\xbd\x5a\x3d\xab"
      "\xbc\xed\x3b\x05\x11\x29\xcd\x60\xa3\x7d\x39\x76\x43\x19\x4e\x6f\x0a\xad"
      "\xf9\x78\xd6\x39\x65\x00\x00\x00\x00\x00\x00\x00\x00\x57\x0b\x0a\xcb\xca"
      "\xa1\x96\xe6\xa5\x50\xe7\xc2\xd8\xce\xe7\xa2\x78\xce\xe5\x91\xf3\x60\xe3"
      "\x31\x7c\x42\xd2\xac\x91\x26\xac\xd7\x61\x30\xef\x10\x86\x01\x66\x97\xe4"
      "\xd5\x1c\x4b\x42\xb2\xef\xc8\xed\xab\x88\xd4\x6b\xc3\xd5\xd6\xe5\xa6\x34"
      "\x20\xaa\x39\x03\x5a\xe4\x6d\x16\xd8\x79\xfc\x81\x5a\x5c\xb8\x4b\x0d\x5c"
      "\x8a\xd9\x70\x12\x8a\xdf\x8d\xec\x11\x71\xe8\x60\xca\x54\xce\x5d\x6a\x5a"
      "\xa0\x32\x7b\xca\x4f\x49\xa7\x10\xbf\x8a\x83\x99\x07\x12\x37\xfe\x5d\x76"
      "\x4e\x20\x34\x87\x3c\x94\xa4\xf2\x12\x87\xf3\xbc\xe3\xee\xb6\x9e\x94\xdf"
      "\x2e\x14\xe4\xab\x10\xcc\x78\x34\xb3\x0c\xbc\x87\x9b\x80\x25\x59\x91\xdd"
      "\x7a\xac\x2e\x92\xc9\xe7\xc4\x11\xc0\x19\xd2\x29\xc1\xf1\xe5\x63\x15\x2f"
      "\x1c\x5a\xe9\xcd\xa3\xe8\xf4\x96\x6e\xbf\xa0\xc7\x79\xd6\x24\xc5\xa2\xb7"
      "\x49\x1b\x8f\x73\xe7\x67\x38\x9e\xcd\x1d\xee\x95\x13\x53\xbb\x22\xb7\xca"
      "\xf8\x94\x68\x87\x15\x20\x82\x37\x15\xcf\xeb\xd0\x41\x89\xc6\xc6\xb3\x4b"
      "\xd8\xa6\x54\x1f\x6b\xc0\x63\x00\x00\x00\x00\x00\xf9\x4e\x85\xf5\x11\x1a"
      "\xdd\x3a\x3c\xb5\xbc\xac\xe9\x5f\x38\x46\x54\x02\xc3\x9d\xf8\x35\x75\x4e"
      "\xf3\x87\x82\x2c\x00\x1a\x25\x30\x4f\x3e\x00\xb4\x46\x75\xd0\xa2\x3a\x21"
      "\xdc\x40\x23\xc6\x42\xcc\x6f\x5a\x75\xc4\x5a\x29\xab\x93\x36\x00\xac\xf9"
      "\xa2\xd4\x71\xb7\x3a\x73\x17\x8c\xdf\x30\x9e\x5d\x53\x31\x19\x96\x21\x5b"
      "\x44\x29\x5d\xfd\xdc\x1d\xd6\xb8\x11\x32\xe9\x99\x36\x6e\x46\x0d\x15\xd3"
      "\x66\xe8\x4d\xa0\x2b\x8a\xfc\x40\xc4\x7e\x73\x3f\x80\x44\x60\xed\x83\x00"
      "\xec\x34\xea\xb2\xed\x80\x09\x7b\xd3\x2f\xf1\xa6\x14\x3a\xb1\x47\x60\x37"
      "\xe4\x74\xca\x87\x61\x87\xc8\x5b\xed\x41\x91\x21\x5c\xd7\x7e\x6a\x1f\xd6"
      "\x39\x9a\x49\x8b\x96\xb9\xb0\xcc\xa9\x32\x55\xac\xb0\x8c\x67\xe5\x00\x04"
      "\xc5\xaf\x6f\xd5\xb4\xce\x7c\x1e\xbc\x92\x02\xbd\x7b\x32\x9a\x4d\x25\x30"
      "\x48\x6d\x59\x99\xdd\x7f\x90\xeb\xec\xca\x37\xf2\x86\x91\x35\x43\x8f\x05"
      "\x40\x80\x1f\x97\x48\x1d\xaf\x9e\xc9\x4b\x79\x9c\x12\xe7\x14\xd5\x73\xe2"
      "\xa6\x33\x1f\x49\x62\x54\xf2\x54\xa6\x0c\x52\xb2\x02\x6e\xd6\xa7\x2c\x82"
      "\xcd\x19\x14\x90\xfa\xbe\x7b\x15\x1f\x92\xe5\xd7\x00\xf2\x18\x30\xd6\x13"
      "\xfb\x8e\x73\xdd\xaa\x62\x1b\x5f\x8e\x78\xd3\x6f\x16\xe4\x90\xf3\x05\xb3"
      "\x84\x5a\x78\x81\x7e\x59\xbf\x7e\xd3\x64\x71\xdb\xca\x01\xd3\x9e\x50\xae"
      "\x25\x35\x46\x0e\x1d\x2f\x26\x14\x94\x06\x47\x23\x3a\x02\xd5\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\xf7\x0e\x52\xf0\xd5\x6f\x6a\x4d\xcf\x7e\x57\xc0"
      "\x3d\x4b\x4a\xdd\x38\x26\x72\x66\x9f\xdc\x1e\x0f\x32\x03\x04\xd0\xd2\xb3"
      "\x08\xc5\xed\x39\x56\xea\xe2\x63\x03\x5d\x70\x3f\x86\x22\x24\xe9\x81\x8a"
      "\x3d\x7a\xc2\x70\x79\xbd\x2b\x29\x99\x94\xb4\x8f\x1f\xdc\xfb\x0c\x7c\xe9"
      "\x3a\x7b\xf2\xaf\x87\x58\x52\x93\x96\x0a\x80\xac\x63\xc5\x4e\x55\x06\x3b"
      "\xf8\xd2\x46\x39\xe5\x61\x25\x3e\xf0\xca\xf6\xc5\x81\x18\x12\x0d\x8a\xce"
      "\xcc\x05\x28\xf0\xd8\x1d\x29\x10\x09\xfc\x46\x40\x1b\xaf\x9c\x22\xd1\xc4"
      "\x52\xa5\xb4\x1b\x7a\x1b\x9a\xdf\xcc\x17\xf5\xad\x99\xdc\xdf\x93\x59\x23"
      "\x18\x5d\xb7\xb1\x4a\x7f\xa7\xba\xbc\x1f\x53\xdf\x70\x61\x8b\xb7\x3a\xa8"
      "\x10\xb7\x56\x69\x6f\x26\x65\x3b\x84\xcf\x84\x2a\xe4\x33\xfd\xa5\x9f\xbe"
      "\x31\x2b\xe1\x1b\xb7\xdf\xec\xdc\x38\xc1\xc1\xf6\x88\xd2\x72\x45\x68\xcc"
      "\x39\x6f\xca\x7c\x74\x98\x4b\x7f\x7b\xd0\x33\xc1\xd0\x62\x37\x6e\xb4\x5e"
      "\x3e\x58\x57\xfc\x65\x98\xc9\x33\x61\x0b\xe3\x74\x90\x65\x17\x9d\xc8\x62"
      "\x2b\x07\x22\x25\x9e\x92\x2f\x40\xd7\x86\x2f\x7e\xa7\x2f\x17\x54\xf0\x77"
      "\x11\xde\x76\x00\x00\x00\x00",
      2041));
  NONFAILING(*(uint64_t*)0x20000210 = 0x20000340);
  NONFAILING(memcpy((void*)0x20000340, "syzkaller\000", 10));
  NONFAILING(*(uint32_t*)0x20000218 = 0);
  NONFAILING(*(uint32_t*)0x2000021c = 0);
  NONFAILING(*(uint64_t*)0x20000220 = 0);
  NONFAILING(*(uint32_t*)0x20000228 = 0);
  NONFAILING(*(uint32_t*)0x2000022c = 0);
  NONFAILING(*(uint8_t*)0x20000230 = 0);
  NONFAILING(*(uint8_t*)0x20000231 = 0);
  NONFAILING(*(uint8_t*)0x20000232 = 0);
  NONFAILING(*(uint8_t*)0x20000233 = 0);
  NONFAILING(*(uint8_t*)0x20000234 = 0);
  NONFAILING(*(uint8_t*)0x20000235 = 0);
  NONFAILING(*(uint8_t*)0x20000236 = 0);
  NONFAILING(*(uint8_t*)0x20000237 = 0);
  NONFAILING(*(uint8_t*)0x20000238 = 0);
  NONFAILING(*(uint8_t*)0x20000239 = 0);
  NONFAILING(*(uint8_t*)0x2000023a = 0);
  NONFAILING(*(uint8_t*)0x2000023b = 0);
  NONFAILING(*(uint8_t*)0x2000023c = 0);
  NONFAILING(*(uint8_t*)0x2000023d = 0);
  NONFAILING(*(uint8_t*)0x2000023e = 0);
  NONFAILING(*(uint8_t*)0x2000023f = 0);
  NONFAILING(*(uint32_t*)0x20000240 = 0);
  NONFAILING(*(uint32_t*)0x20000244 = 0);
  NONFAILING(*(uint32_t*)0x20000248 = -1);
  NONFAILING(*(uint32_t*)0x2000024c = 8);
  NONFAILING(*(uint64_t*)0x20000250 = 0x20000000);
  NONFAILING(*(uint32_t*)0x20000000 = 0);
  NONFAILING(*(uint32_t*)0x20000004 = 0);
  NONFAILING(*(uint32_t*)0x20000258 = 0);
  NONFAILING(*(uint32_t*)0x2000025c = 0x10);
  NONFAILING(*(uint64_t*)0x20000260 = 0x20000000);
  NONFAILING(*(uint32_t*)0x20000000 = 0);
  NONFAILING(*(uint32_t*)0x20000004 = 0);
  NONFAILING(*(uint32_t*)0x20000008 = 0);
  NONFAILING(*(uint32_t*)0x2000000c = 0);
  NONFAILING(*(uint32_t*)0x20000268 = 0);
  NONFAILING(*(uint32_t*)0x2000026c = 0);
  NONFAILING(*(uint32_t*)0x20000270 = -1);
  res = syscall(__NR_bpf, 5ul, 0x20000200ul, 0x48ul);
  if (res != -1)
    r[0] = res;
  NONFAILING(*(uint32_t*)0x20000280 = r[0]);
  NONFAILING(*(uint32_t*)0x20000284 = 0xfeffff);
  NONFAILING(*(uint32_t*)0x20000288 = 0x113);
  NONFAILING(*(uint32_t*)0x2000028c = 0x3f003f00);
  NONFAILING(*(uint64_t*)0x20000290 = 0x20000700);
  NONFAILING(memcpy(
      (void*)0x20000700,
      "\xc4\x5c\x57\xce\x39\x5d\xe5\xb2\x89\x1a\x7d\x63\x7a\x22\x39\x20\xf1\x81"
      "\xc2\xe5\x7d\x71\x48\x3c\xfb\x2d\x07\x5a\x3f\xa6\x72\x58\xe0\x80\xa1\x94"
      "\x80\x5c\xdb\x0c\x26\xd3\xf7\xff\xb1\xe0\xd9\xcf\x4f\xa3\x6d\xcb\x21\x68"
      "\xb7\x2d\xe4\x8a\xc8\xf9\x3e\x68\x04\xf1\xc4\xd7\x08\x98\xd0\x81\x0e\x04"
      "\x4d\x7e\x17\x78\xea\xac\x5d\xfd\xcc\x9f\x12\x08\x90\x55\x22\x02\x5b\xcf"
      "\xdf\x1b\x6f\x96\x9b\x09\x4d\x5c\x02\x2c\x2b\x7f\xfe\xfd\xe7\x1e\x06\x27"
      "\xb9\xa2\x06\x9c\xc1\xe0\x17\x5c\x4b\x88\x60\xaa\xd4\xb0\xa1\x03\xc5\x89"
      "\xf6\x76\xb6\xc4\xe8\x5e\xb3\x95\x0c\x53\x3b\x6e\x62\xc3\x9c\xcf\x9a\xe9"
      "\xbf\xe5\x4e\xe5\x88\x73\x58\xd4\x4f\x46\x33\x7f\xbe\x09\x0d\x7c\x7e\x55"
      "\x84\x7e\xde\xe8\x13\x0f\xfd\x3d\x1e\x71\x9e\x01\xa6\x8b\x0e\x69\x1c\x0d"
      "\x35\xb0\xb5\x6e\x0b\x51\x40\x36\x34\x2f\xd5\x6f\x08\xac\x00\x83\xf3\xc2"
      "\xfe\x41\xa1\x29\x5a\x3d\x23\xcf\x3d\x16\x0d\x4f\xd9\x0f\x66\xbe\xba\x68"
      "\x86\x04\x56\xed\x41\x27\x2e\x1e\x68\xd1\x6c\x25\x64\xc8\x5f\x55\x56\xe1"
      "\x87\x84\x11\x3c\x49\x3d\x13\x25\x3e\x14\xd6\xeb\x89\x17\x07\xfb\xa3\xc3"
      "\x0d\x07\xd5\xee\x86\x19\xe4\x42\x6c\xaf\xec\x4c\xf6\xa3\x72\x3c\x45\x5d"
      "\x09\xb5\x86\xb2\x48",
      275));
  NONFAILING(*(uint64_t*)0x20000298 = 0);
  NONFAILING(*(uint32_t*)0x200002a0 = 0xf0);
  NONFAILING(*(uint32_t*)0x200002a4 = 0);
  NONFAILING(*(uint32_t*)0x200002a8 = 0x4a);
  NONFAILING(*(uint32_t*)0x200002ac = 0xffffff0c);
  NONFAILING(*(uint64_t*)0x200002b0 = 0x20000000);
  NONFAILING(*(uint64_t*)0x200002b8 = 0x20000000);
  NONFAILING(*(uint32_t*)0x200002c0 = 0);
  NONFAILING(*(uint32_t*)0x200002c4 = 0);
  syscall(__NR_bpf, 0xaul, 0x20000280ul, 0x40ul);
  return 0;
}