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

#define _GNU_SOURCE

#include <dirent.h>
#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/prctl.h>
#include <sys/stat.h>
#include <sys/syscall.h>
#include <sys/types.h>
#include <sys/wait.h>
#include <time.h>
#include <unistd.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 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 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 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 (;;) {
      sleep_ms(10);
      if (waitpid(-1, &status, WNOHANG | WAIT_FLAGS) == pid)
        break;
      if (current_time_ms() - start < 5000)
        continue;
      kill_and_wait(pid, &status);
      break;
    }
  }
}

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

void execute_one(void)
{
  intptr_t res = 0;
  if (write(1, "executing program\n", sizeof("executing program\n") - 1)) {
  }
  NONFAILING(memcpy((void*)0x200000000040, "/dev/vmci\000", 10));
  res = syscall(__NR_openat, /*fd=*/0xffffffffffffff9cul,
                /*file=*/0x200000000040ul, /*flags=*/2, /*mode=*/0);
  if (res != -1)
    r[0] = res;
  NONFAILING(*(uint32_t*)0x200000000000 = 0x10000);
  syscall(__NR_ioctl, /*fd=*/r[0], /*cmd=*/0x7a7, /*arg=*/0x200000000000ul);
  NONFAILING(*(uint32_t*)0x200000000100 = 1);
  NONFAILING(*(uint32_t*)0x200000000104 = 0);
  syscall(__NR_ioctl, /*fd=*/r[0], /*cmd=*/0x7a0, /*arg=*/0x200000000100ul);
  NONFAILING(*(uint64_t*)0x200000001680 = 0x200000000680);
  NONFAILING(*(uint32_t*)0x200000000680 = 0x100000);
  NONFAILING(*(uint32_t*)0x200000000684 = 8);
  NONFAILING(*(uint32_t*)0x200000000688 = 0);
  NONFAILING(*(uint32_t*)0x20000000068c = 0);
  NONFAILING(*(uint32_t*)0x200000000690 = 0);
  NONFAILING(*(uint32_t*)0x200000000694 = 0);
  NONFAILING(*(uint32_t*)0x200000000698 = 0);
  NONFAILING(*(uint32_t*)0x20000000069c = 0);
  NONFAILING(*(uint32_t*)0x2000000006a0 = 0);
  NONFAILING(*(uint32_t*)0x2000000006a4 = 0);
  NONFAILING(*(uint32_t*)0x2000000006a8 = 0);
  NONFAILING(*(uint32_t*)0x2000000006ac = 0);
  NONFAILING(*(uint32_t*)0x2000000006b0 = 0);
  NONFAILING(*(uint32_t*)0x2000000006b4 = 0);
  NONFAILING(*(uint32_t*)0x2000000006b8 = 0);
  NONFAILING(*(uint32_t*)0x2000000006bc = 0);
  NONFAILING(*(uint32_t*)0x2000000006c0 = 0);
  NONFAILING(*(uint32_t*)0x2000000006c4 = 0);
  NONFAILING(*(uint32_t*)0x2000000006c8 = 0);
  NONFAILING(*(uint32_t*)0x2000000006cc = 0);
  NONFAILING(*(uint32_t*)0x2000000006d0 = 0);
  NONFAILING(*(uint32_t*)0x2000000006d4 = 0);
  NONFAILING(*(uint32_t*)0x2000000006d8 = 0);
  NONFAILING(*(uint32_t*)0x2000000006dc = 0);
  NONFAILING(*(uint32_t*)0x2000000006e0 = 0);
  NONFAILING(*(uint32_t*)0x2000000006e4 = 0);
  NONFAILING(*(uint32_t*)0x2000000006e8 = 0);
  NONFAILING(*(uint32_t*)0x2000000006ec = 0);
  NONFAILING(*(uint32_t*)0x2000000006f0 = 0);
  NONFAILING(*(uint32_t*)0x2000000006f4 = 0);
  NONFAILING(*(uint32_t*)0x2000000006f8 = 0);
  NONFAILING(*(uint32_t*)0x2000000006fc = 0);
  NONFAILING(*(uint32_t*)0x200000000700 = 0);
  NONFAILING(*(uint32_t*)0x200000000704 = 0);
  NONFAILING(*(uint32_t*)0x200000000708 = 0);
  NONFAILING(*(uint32_t*)0x20000000070c = 0);
  NONFAILING(*(uint32_t*)0x200000000710 = 0);
  NONFAILING(*(uint32_t*)0x200000000714 = 0);
  NONFAILING(*(uint32_t*)0x200000000718 = 0);
  NONFAILING(*(uint32_t*)0x20000000071c = 0xe3);
  NONFAILING(*(uint32_t*)0x200000000720 = 0);
  NONFAILING(*(uint32_t*)0x200000000724 = 0);
  NONFAILING(*(uint32_t*)0x200000000728 = 0);
  NONFAILING(*(uint32_t*)0x20000000072c = 0);
  NONFAILING(*(uint32_t*)0x200000000730 = 0);
  NONFAILING(*(uint32_t*)0x200000000734 = -1);
  NONFAILING(*(uint32_t*)0x200000000738 = 0);
  NONFAILING(*(uint32_t*)0x20000000073c = 0);
  NONFAILING(*(uint32_t*)0x200000000740 = 0);
  NONFAILING(*(uint32_t*)0x200000000744 = 0);
  NONFAILING(*(uint32_t*)0x200000000748 = 0);
  NONFAILING(*(uint32_t*)0x20000000074c = 0);
  NONFAILING(*(uint32_t*)0x200000000750 = 0);
  NONFAILING(*(uint32_t*)0x200000000754 = 0);
  NONFAILING(*(uint32_t*)0x200000000758 = 0);
  NONFAILING(*(uint32_t*)0x20000000075c = 0);
  NONFAILING(*(uint32_t*)0x200000000760 = 0);
  NONFAILING(*(uint32_t*)0x200000000764 = 0);
  NONFAILING(*(uint32_t*)0x200000000768 = 0);
  NONFAILING(*(uint32_t*)0x20000000076c = 0);
  NONFAILING(*(uint32_t*)0x200000000770 = 0);
  NONFAILING(*(uint32_t*)0x200000000774 = 0);
  NONFAILING(*(uint32_t*)0x200000000778 = 0);
  NONFAILING(*(uint32_t*)0x20000000077c = 0);
  NONFAILING(*(uint32_t*)0x200000000780 = 0);
  NONFAILING(*(uint32_t*)0x200000000784 = 0);
  NONFAILING(*(uint32_t*)0x200000000788 = 0);
  NONFAILING(*(uint32_t*)0x20000000078c = 0);
  NONFAILING(*(uint32_t*)0x200000000790 = 0);
  NONFAILING(*(uint32_t*)0x200000000794 = 0);
  NONFAILING(*(uint32_t*)0x200000000798 = 0);
  NONFAILING(*(uint32_t*)0x20000000079c = 0);
  NONFAILING(*(uint32_t*)0x2000000007a0 = 0);
  NONFAILING(*(uint32_t*)0x2000000007a4 = 0);
  NONFAILING(*(uint32_t*)0x2000000007a8 = 0);
  NONFAILING(*(uint32_t*)0x2000000007ac = 0);
  NONFAILING(*(uint32_t*)0x2000000007b0 = 0);
  NONFAILING(*(uint32_t*)0x2000000007b4 = 0);
  NONFAILING(*(uint32_t*)0x2000000007b8 = 0);
  NONFAILING(*(uint32_t*)0x2000000007bc = 0);
  NONFAILING(*(uint32_t*)0x2000000007c0 = 0);
  NONFAILING(*(uint32_t*)0x2000000007c4 = 0);
  NONFAILING(*(uint32_t*)0x2000000007c8 = 0);
  NONFAILING(*(uint32_t*)0x2000000007cc = 0);
  NONFAILING(*(uint32_t*)0x2000000007d0 = 0);
  NONFAILING(*(uint32_t*)0x2000000007d4 = 0);
  NONFAILING(*(uint32_t*)0x2000000007d8 = 0);
  NONFAILING(*(uint32_t*)0x2000000007dc = 0);
  NONFAILING(*(uint32_t*)0x2000000007e0 = 0);
  NONFAILING(*(uint32_t*)0x2000000007e4 = 0);
  NONFAILING(*(uint32_t*)0x2000000007e8 = 0);
  NONFAILING(*(uint32_t*)0x2000000007ec = 0xfffffffe);
  NONFAILING(*(uint32_t*)0x2000000007f0 = 0);
  NONFAILING(*(uint32_t*)0x2000000007f4 = 0);
  NONFAILING(*(uint32_t*)0x2000000007f8 = 0);
  NONFAILING(*(uint32_t*)0x2000000007fc = 0);
  NONFAILING(*(uint32_t*)0x200000000800 = 0);
  NONFAILING(*(uint32_t*)0x200000000804 = 0);
  NONFAILING(*(uint32_t*)0x200000000808 = 0);
  NONFAILING(*(uint32_t*)0x20000000080c = 0);
  NONFAILING(*(uint32_t*)0x200000000810 = 0);
  NONFAILING(*(uint32_t*)0x200000000814 = 0);
  NONFAILING(*(uint32_t*)0x200000000818 = 0);
  NONFAILING(*(uint32_t*)0x20000000081c = 0);
  NONFAILING(*(uint32_t*)0x200000000820 = 0);
  NONFAILING(*(uint32_t*)0x200000000824 = 0);
  NONFAILING(*(uint32_t*)0x200000000828 = 0);
  NONFAILING(*(uint32_t*)0x20000000082c = 0);
  NONFAILING(*(uint32_t*)0x200000000830 = 0);
  NONFAILING(*(uint32_t*)0x200000000834 = 0);
  NONFAILING(*(uint32_t*)0x200000000838 = 0);
  NONFAILING(*(uint32_t*)0x20000000083c = 0);
  NONFAILING(*(uint32_t*)0x200000000840 = 0xfffffffc);
  NONFAILING(*(uint32_t*)0x200000000844 = 0);
  NONFAILING(*(uint32_t*)0x200000000848 = 0);
  NONFAILING(*(uint32_t*)0x20000000084c = 0);
  NONFAILING(*(uint32_t*)0x200000000850 = 0);
  NONFAILING(*(uint32_t*)0x200000000854 = 0);
  NONFAILING(*(uint32_t*)0x200000000858 = 0);
  NONFAILING(*(uint32_t*)0x20000000085c = 0);
  NONFAILING(*(uint32_t*)0x200000000860 = 0);
  NONFAILING(*(uint32_t*)0x200000000864 = 0);
  NONFAILING(*(uint32_t*)0x200000000868 = 0);
  NONFAILING(*(uint32_t*)0x20000000086c = 0xcb776f6);
  NONFAILING(*(uint32_t*)0x200000000870 = 0xfffffffd);
  NONFAILING(*(uint32_t*)0x200000000874 = 0);
  NONFAILING(*(uint32_t*)0x200000000878 = 0);
  NONFAILING(*(uint32_t*)0x20000000087c = 0);
  NONFAILING(*(uint32_t*)0x200000000880 = 0);
  NONFAILING(*(uint32_t*)0x200000000884 = 0);
  NONFAILING(*(uint32_t*)0x200000000888 = 0);
  NONFAILING(*(uint32_t*)0x20000000088c = 0);
  NONFAILING(*(uint32_t*)0x200000000890 = 0);
  NONFAILING(*(uint32_t*)0x200000000894 = 0);
  NONFAILING(*(uint32_t*)0x200000000898 = 4);
  NONFAILING(*(uint32_t*)0x20000000089c = 0);
  NONFAILING(*(uint32_t*)0x2000000008a0 = 0);
  NONFAILING(*(uint32_t*)0x2000000008a4 = 0);
  NONFAILING(*(uint32_t*)0x2000000008a8 = 0);
  NONFAILING(*(uint32_t*)0x2000000008ac = 0);
  NONFAILING(*(uint32_t*)0x2000000008b0 = 0);
  NONFAILING(*(uint32_t*)0x2000000008b4 = 0x3d89f09a);
  NONFAILING(*(uint32_t*)0x2000000008b8 = 0);
  NONFAILING(*(uint32_t*)0x2000000008bc = 0);
  NONFAILING(*(uint32_t*)0x2000000008c0 = 0);
  NONFAILING(*(uint32_t*)0x2000000008c4 = 0);
  NONFAILING(*(uint32_t*)0x2000000008c8 = 0);
  NONFAILING(*(uint32_t*)0x2000000008cc = 0x800);
  NONFAILING(*(uint32_t*)0x2000000008d0 = 0);
  NONFAILING(*(uint32_t*)0x2000000008d4 = 0);
  NONFAILING(*(uint32_t*)0x2000000008d8 = 0);
  NONFAILING(*(uint32_t*)0x2000000008dc = 0);
  NONFAILING(*(uint32_t*)0x2000000008e0 = 0);
  NONFAILING(*(uint32_t*)0x2000000008e4 = 0);
  NONFAILING(*(uint32_t*)0x2000000008e8 = 0);
  NONFAILING(*(uint32_t*)0x2000000008ec = 0);
  NONFAILING(*(uint32_t*)0x2000000008f0 = 0);
  NONFAILING(*(uint32_t*)0x2000000008f4 = 0);
  NONFAILING(*(uint32_t*)0x2000000008f8 = 0);
  NONFAILING(*(uint32_t*)0x2000000008fc = 0);
  NONFAILING(*(uint32_t*)0x200000000900 = 0);
  NONFAILING(*(uint32_t*)0x200000000904 = 0);
  NONFAILING(*(uint32_t*)0x200000000908 = 1);
  NONFAILING(*(uint32_t*)0x20000000090c = 0);
  NONFAILING(*(uint32_t*)0x200000000910 = 0);
  NONFAILING(*(uint32_t*)0x200000000914 = 0);
  NONFAILING(*(uint32_t*)0x200000000918 = 0);
  NONFAILING(*(uint32_t*)0x20000000091c = 0x80);
  NONFAILING(*(uint32_t*)0x200000000920 = 0);
  NONFAILING(*(uint32_t*)0x200000000924 = 0);
  NONFAILING(*(uint32_t*)0x200000000928 = 0x40);
  NONFAILING(*(uint32_t*)0x20000000092c = 0);
  NONFAILING(*(uint32_t*)0x200000000930 = 0);
  NONFAILING(*(uint32_t*)0x200000000934 = 0);
  NONFAILING(*(uint32_t*)0x200000000938 = 0);
  NONFAILING(*(uint32_t*)0x20000000093c = 0);
  NONFAILING(*(uint32_t*)0x200000000940 = 0);
  NONFAILING(*(uint32_t*)0x200000000944 = 0);
  NONFAILING(*(uint32_t*)0x200000000948 = 0);
  NONFAILING(*(uint32_t*)0x20000000094c = 0);
  NONFAILING(*(uint32_t*)0x200000000950 = 0);
  NONFAILING(*(uint32_t*)0x200000000954 = 0);
  NONFAILING(*(uint32_t*)0x200000000958 = 0);
  NONFAILING(*(uint32_t*)0x20000000095c = 0);
  NONFAILING(*(uint32_t*)0x200000000960 = 0);
  NONFAILING(*(uint32_t*)0x200000000964 = 0);
  NONFAILING(*(uint32_t*)0x200000000968 = 0);
  NONFAILING(*(uint32_t*)0x20000000096c = 0);
  NONFAILING(*(uint32_t*)0x200000000970 = 0);
  NONFAILING(*(uint32_t*)0x200000000974 = 0);
  NONFAILING(*(uint32_t*)0x200000000978 = 0);
  NONFAILING(*(uint32_t*)0x20000000097c = 0);
  NONFAILING(*(uint32_t*)0x200000000980 = 0);
  NONFAILING(*(uint32_t*)0x200000000984 = 0);
  NONFAILING(*(uint32_t*)0x200000000988 = 0);
  NONFAILING(*(uint32_t*)0x20000000098c = 0);
  NONFAILING(*(uint32_t*)0x200000000990 = 0);
  NONFAILING(*(uint32_t*)0x200000000994 = 0);
  NONFAILING(*(uint32_t*)0x200000000998 = 0);
  NONFAILING(*(uint32_t*)0x20000000099c = 0);
  NONFAILING(*(uint32_t*)0x2000000009a0 = 0);
  NONFAILING(*(uint32_t*)0x2000000009a4 = 0);
  NONFAILING(*(uint32_t*)0x2000000009a8 = 0);
  NONFAILING(*(uint32_t*)0x2000000009ac = 0);
  NONFAILING(*(uint32_t*)0x2000000009b0 = 0);
  NONFAILING(*(uint32_t*)0x2000000009b4 = 0);
  NONFAILING(*(uint32_t*)0x2000000009b8 = 0);
  NONFAILING(*(uint32_t*)0x2000000009bc = 0);
  NONFAILING(*(uint32_t*)0x2000000009c0 = 0);
  NONFAILING(*(uint32_t*)0x2000000009c4 = 0);
  NONFAILING(*(uint32_t*)0x2000000009c8 = 0);
  NONFAILING(*(uint32_t*)0x2000000009cc = 0);
  NONFAILING(*(uint32_t*)0x2000000009d0 = 0);
  NONFAILING(*(uint32_t*)0x2000000009d4 = 0);
  NONFAILING(*(uint32_t*)0x2000000009d8 = 0);
  NONFAILING(*(uint32_t*)0x2000000009dc = 0);
  NONFAILING(*(uint32_t*)0x2000000009e0 = 0);
  NONFAILING(*(uint32_t*)0x2000000009e4 = 0);
  NONFAILING(*(uint32_t*)0x2000000009e8 = 0);
  NONFAILING(*(uint32_t*)0x2000000009ec = 0);
  NONFAILING(*(uint32_t*)0x2000000009f0 = 0);
  NONFAILING(*(uint32_t*)0x2000000009f4 = 0);
  NONFAILING(*(uint32_t*)0x2000000009f8 = 0);
  NONFAILING(*(uint32_t*)0x2000000009fc = 0);
  NONFAILING(*(uint32_t*)0x200000000a00 = 0);
  NONFAILING(*(uint32_t*)0x200000000a04 = 0);
  NONFAILING(*(uint32_t*)0x200000000a08 = 0);
  NONFAILING(*(uint32_t*)0x200000000a0c = 4);
  NONFAILING(*(uint32_t*)0x200000000a10 = 0);
  NONFAILING(*(uint32_t*)0x200000000a14 = 0);
  NONFAILING(*(uint32_t*)0x200000000a18 = 0);
  NONFAILING(*(uint32_t*)0x200000000a1c = 0);
  NONFAILING(*(uint32_t*)0x200000000a20 = 0);
  NONFAILING(*(uint32_t*)0x200000000a24 = 0);
  NONFAILING(*(uint32_t*)0x200000000a28 = 0);
  NONFAILING(*(uint32_t*)0x200000000a2c = 0);
  NONFAILING(*(uint32_t*)0x200000000a30 = 0);
  NONFAILING(*(uint32_t*)0x200000000a34 = 0);
  NONFAILING(*(uint32_t*)0x200000000a38 = 0);
  NONFAILING(*(uint32_t*)0x200000000a3c = 0);
  NONFAILING(*(uint32_t*)0x200000000a40 = 0);
  NONFAILING(*(uint32_t*)0x200000000a44 = 0);
  NONFAILING(*(uint32_t*)0x200000000a48 = 0);
  NONFAILING(*(uint32_t*)0x200000000a4c = 0);
  NONFAILING(*(uint32_t*)0x200000000a50 = 0);
  NONFAILING(*(uint32_t*)0x200000000a54 = 0);
  NONFAILING(*(uint32_t*)0x200000000a58 = 0);
  NONFAILING(*(uint32_t*)0x200000000a5c = 0);
  NONFAILING(*(uint32_t*)0x200000000a60 = 0);
  NONFAILING(*(uint32_t*)0x200000000a64 = 0);
  NONFAILING(*(uint32_t*)0x200000000a68 = 0);
  NONFAILING(*(uint32_t*)0x200000000a6c = 0);
  NONFAILING(*(uint32_t*)0x200000000a70 = 0);
  NONFAILING(*(uint32_t*)0x200000000a74 = 0);
  NONFAILING(*(uint32_t*)0x200000000a78 = 0);
  NONFAILING(*(uint32_t*)0x200000000a7c = 0);
  NONFAILING(*(uint32_t*)0x200000000a80 = 0);
  NONFAILING(*(uint32_t*)0x200000000a84 = 0);
  NONFAILING(*(uint32_t*)0x200000000a88 = 0);
  NONFAILING(*(uint32_t*)0x200000000a8c = 1);
  NONFAILING(*(uint32_t*)0x200000000a90 = 0);
  NONFAILING(*(uint32_t*)0x200000000a94 = 0);
  NONFAILING(*(uint32_t*)0x200000000a98 = 0);
  NONFAILING(*(uint32_t*)0x200000000a9c = 0);
  NONFAILING(*(uint32_t*)0x200000000aa0 = 0);
  NONFAILING(*(uint32_t*)0x200000000aa4 = 0);
  NONFAILING(*(uint32_t*)0x200000000aa8 = 0);
  NONFAILING(*(uint32_t*)0x200000000aac = 0);
  NONFAILING(*(uint32_t*)0x200000000ab0 = 0);
  NONFAILING(*(uint32_t*)0x200000000ab4 = 0);
  NONFAILING(*(uint32_t*)0x200000000ab8 = 0);
  NONFAILING(*(uint32_t*)0x200000000abc = 0);
  NONFAILING(*(uint32_t*)0x200000000ac0 = 0);
  NONFAILING(*(uint32_t*)0x200000000ac4 = 0);
  NONFAILING(*(uint32_t*)0x200000000ac8 = 0);
  NONFAILING(*(uint32_t*)0x200000000acc = 0);
  NONFAILING(*(uint32_t*)0x200000000ad0 = 0);
  NONFAILING(*(uint32_t*)0x200000000ad4 = 0);
  NONFAILING(*(uint32_t*)0x200000000ad8 = 0);
  NONFAILING(*(uint32_t*)0x200000000adc = 6);
  NONFAILING(*(uint32_t*)0x200000000ae0 = 0);
  NONFAILING(*(uint32_t*)0x200000000ae4 = 0);
  NONFAILING(*(uint32_t*)0x200000000ae8 = 0);
  NONFAILING(*(uint32_t*)0x200000000aec = 0);
  NONFAILING(*(uint32_t*)0x200000000af0 = 0);
  NONFAILING(*(uint32_t*)0x200000000af4 = 0);
  NONFAILING(*(uint32_t*)0x200000000af8 = 0);
  NONFAILING(*(uint32_t*)0x200000000afc = 0);
  NONFAILING(*(uint32_t*)0x200000000b00 = 5);
  NONFAILING(*(uint32_t*)0x200000000b04 = 0);
  NONFAILING(*(uint32_t*)0x200000000b08 = 0);
  NONFAILING(*(uint32_t*)0x200000000b0c = 0);
  NONFAILING(*(uint32_t*)0x200000000b10 = 0);
  NONFAILING(*(uint32_t*)0x200000000b14 = 0);
  NONFAILING(*(uint32_t*)0x200000000b18 = 9);
  NONFAILING(*(uint32_t*)0x200000000b1c = 0);
  NONFAILING(*(uint32_t*)0x200000000b20 = 0);
  NONFAILING(*(uint32_t*)0x200000000b24 = 0);
  NONFAILING(*(uint32_t*)0x200000000b28 = 0);
  NONFAILING(*(uint32_t*)0x200000000b2c = 0);
  NONFAILING(*(uint32_t*)0x200000000b30 = 0);
  NONFAILING(*(uint32_t*)0x200000000b34 = 0);
  NONFAILING(*(uint32_t*)0x200000000b38 = 0);
  NONFAILING(*(uint32_t*)0x200000000b3c = 0);
  NONFAILING(*(uint32_t*)0x200000000b40 = 0);
  NONFAILING(*(uint32_t*)0x200000000b44 = 0);
  NONFAILING(*(uint32_t*)0x200000000b48 = 0);
  NONFAILING(*(uint32_t*)0x200000000b4c = 0);
  NONFAILING(*(uint32_t*)0x200000000b50 = 0);
  NONFAILING(*(uint32_t*)0x200000000b54 = 0);
  NONFAILING(*(uint32_t*)0x200000000b58 = 0);
  NONFAILING(*(uint32_t*)0x200000000b5c = 0);
  NONFAILING(*(uint32_t*)0x200000000b60 = 0);
  NONFAILING(*(uint32_t*)0x200000000b64 = 0);
  NONFAILING(*(uint32_t*)0x200000000b68 = 0);
  NONFAILING(*(uint32_t*)0x200000000b6c = 0);
  NONFAILING(*(uint32_t*)0x200000000b70 = 0);
  NONFAILING(*(uint32_t*)0x200000000b74 = 0);
  NONFAILING(*(uint32_t*)0x200000000b78 = 0);
  NONFAILING(*(uint32_t*)0x200000000b7c = 0);
  NONFAILING(*(uint32_t*)0x200000000b80 = 0);
  NONFAILING(*(uint32_t*)0x200000000b84 = 0);
  NONFAILING(*(uint32_t*)0x200000000b88 = 0);
  NONFAILING(*(uint32_t*)0x200000000b8c = 0);
  NONFAILING(*(uint32_t*)0x200000000b90 = 0);
  NONFAILING(*(uint32_t*)0x200000000b94 = 0);
  NONFAILING(*(uint32_t*)0x200000000b98 = 0);
  NONFAILING(*(uint32_t*)0x200000000b9c = 0);
  NONFAILING(*(uint32_t*)0x200000000ba0 = 0);
  NONFAILING(*(uint32_t*)0x200000000ba4 = 0);
  NONFAILING(*(uint32_t*)0x200000000ba8 = 2);
  NONFAILING(*(uint32_t*)0x200000000bac = 0);
  NONFAILING(*(uint32_t*)0x200000000bb0 = 0);
  NONFAILING(*(uint32_t*)0x200000000bb4 = 0);
  NONFAILING(*(uint32_t*)0x200000000bb8 = 0);
  NONFAILING(*(uint32_t*)0x200000000bbc = 0);
  NONFAILING(*(uint32_t*)0x200000000bc0 = 0);
  NONFAILING(*(uint32_t*)0x200000000bc4 = 0);
  NONFAILING(*(uint32_t*)0x200000000bc8 = 0);
  NONFAILING(*(uint32_t*)0x200000000bcc = 0);
  NONFAILING(*(uint32_t*)0x200000000bd0 = 0);
  NONFAILING(*(uint32_t*)0x200000000bd4 = 0);
  NONFAILING(*(uint32_t*)0x200000000bd8 = 0x10);
  NONFAILING(*(uint32_t*)0x200000000bdc = 0);
  NONFAILING(*(uint32_t*)0x200000000be0 = 0);
  NONFAILING(*(uint32_t*)0x200000000be4 = 0);
  NONFAILING(*(uint32_t*)0x200000000be8 = 0);
  NONFAILING(*(uint32_t*)0x200000000bec = 0);
  NONFAILING(*(uint32_t*)0x200000000bf0 = 0);
  NONFAILING(*(uint32_t*)0x200000000bf4 = 0);
  NONFAILING(*(uint32_t*)0x200000000bf8 = 0);
  NONFAILING(*(uint32_t*)0x200000000bfc = 0);
  NONFAILING(*(uint32_t*)0x200000000c00 = 0);
  NONFAILING(*(uint32_t*)0x200000000c04 = 0);
  NONFAILING(*(uint32_t*)0x200000000c08 = 0);
  NONFAILING(*(uint32_t*)0x200000000c0c = 0);
  NONFAILING(*(uint32_t*)0x200000000c10 = 0);
  NONFAILING(*(uint32_t*)0x200000000c14 = 0);
  NONFAILING(*(uint32_t*)0x200000000c18 = 0);
  NONFAILING(*(uint32_t*)0x200000000c1c = 0);
  NONFAILING(*(uint32_t*)0x200000000c20 = 0);
  NONFAILING(*(uint32_t*)0x200000000c24 = 0);
  NONFAILING(*(uint32_t*)0x200000000c28 = 0);
  NONFAILING(*(uint32_t*)0x200000000c2c = 4);
  NONFAILING(*(uint32_t*)0x200000000c30 = 0);
  NONFAILING(*(uint32_t*)0x200000000c34 = 0);
  NONFAILING(*(uint32_t*)0x200000000c38 = 0);
  NONFAILING(*(uint32_t*)0x200000000c3c = 0);
  NONFAILING(*(uint32_t*)0x200000000c40 = 0);
  NONFAILING(*(uint32_t*)0x200000000c44 = 0);
  NONFAILING(*(uint32_t*)0x200000000c48 = 0);
  NONFAILING(*(uint32_t*)0x200000000c4c = 0);
  NONFAILING(*(uint32_t*)0x200000000c50 = 0);
  NONFAILING(*(uint32_t*)0x200000000c54 = 0);
  NONFAILING(*(uint32_t*)0x200000000c58 = 0);
  NONFAILING(*(uint32_t*)0x200000000c5c = 0);
  NONFAILING(*(uint32_t*)0x200000000c60 = 0);
  NONFAILING(*(uint32_t*)0x200000000c64 = 0);
  NONFAILING(*(uint32_t*)0x200000000c68 = 0);
  NONFAILING(*(uint32_t*)0x200000000c6c = 0);
  NONFAILING(*(uint32_t*)0x200000000c70 = 0x80);
  NONFAILING(*(uint32_t*)0x200000000c74 = 0);
  NONFAILING(*(uint32_t*)0x200000000c78 = 0x8000000);
  NONFAILING(*(uint32_t*)0x200000000c7c = 0);
  NONFAILING(*(uint32_t*)0x200000000c80 = 0);
  NONFAILING(*(uint32_t*)0x200000000c84 = 0);
  NONFAILING(*(uint32_t*)0x200000000c88 = 0);
  NONFAILING(*(uint32_t*)0x200000000c8c = 0);
  NONFAILING(*(uint32_t*)0x200000000c90 = 0);
  NONFAILING(*(uint32_t*)0x200000000c94 = 0);
  NONFAILING(*(uint32_t*)0x200000000c98 = 0);
  NONFAILING(*(uint32_t*)0x200000000c9c = 0);
  NONFAILING(*(uint32_t*)0x200000000ca0 = 0);
  NONFAILING(*(uint32_t*)0x200000000ca4 = 0);
  NONFAILING(*(uint32_t*)0x200000000ca8 = 0);
  NONFAILING(*(uint32_t*)0x200000000cac = 0);
  NONFAILING(*(uint32_t*)0x200000000cb0 = 0);
  NONFAILING(*(uint32_t*)0x200000000cb4 = 0);
  NONFAILING(*(uint32_t*)0x200000000cb8 = 0);
  NONFAILING(*(uint32_t*)0x200000000cbc = 0);
  NONFAILING(*(uint32_t*)0x200000000cc0 = 0);
  NONFAILING(*(uint32_t*)0x200000000cc4 = 0);
  NONFAILING(*(uint32_t*)0x200000000cc8 = 0);
  NONFAILING(*(uint32_t*)0x200000000ccc = 0);
  NONFAILING(*(uint32_t*)0x200000000cd0 = 0);
  NONFAILING(*(uint32_t*)0x200000000cd4 = 0);
  NONFAILING(*(uint32_t*)0x200000000cd8 = 0);
  NONFAILING(*(uint32_t*)0x200000000cdc = 0);
  NONFAILING(*(uint32_t*)0x200000000ce0 = 0);
  NONFAILING(*(uint32_t*)0x200000000ce4 = 0);
  NONFAILING(*(uint32_t*)0x200000000ce8 = 0);
  NONFAILING(*(uint32_t*)0x200000000cec = 1);
  NONFAILING(*(uint32_t*)0x200000000cf0 = 0);
  NONFAILING(*(uint32_t*)0x200000000cf4 = 0);
  NONFAILING(*(uint32_t*)0x200000000cf8 = 0);
  NONFAILING(*(uint32_t*)0x200000000cfc = 0);
  NONFAILING(*(uint32_t*)0x200000000d00 = 0);
  NONFAILING(*(uint32_t*)0x200000000d04 = 0);
  NONFAILING(*(uint32_t*)0x200000000d08 = 0);
  NONFAILING(*(uint32_t*)0x200000000d0c = 0);
  NONFAILING(*(uint32_t*)0x200000000d10 = 0);
  NONFAILING(*(uint32_t*)0x200000000d14 = 0);
  NONFAILING(*(uint32_t*)0x200000000d18 = 0);
  NONFAILING(*(uint32_t*)0x200000000d1c = 0);
  NONFAILING(*(uint32_t*)0x200000000d20 = 0);
  NONFAILING(*(uint32_t*)0x200000000d24 = 0);
  NONFAILING(*(uint32_t*)0x200000000d28 = 0);
  NONFAILING(*(uint32_t*)0x200000000d2c = 0);
  NONFAILING(*(uint32_t*)0x200000000d30 = 0);
  NONFAILING(*(uint32_t*)0x200000000d34 = 0);
  NONFAILING(*(uint32_t*)0x200000000d38 = 0);
  NONFAILING(*(uint32_t*)0x200000000d3c = 0);
  NONFAILING(*(uint32_t*)0x200000000d40 = 0);
  NONFAILING(*(uint32_t*)0x200000000d44 = 0);
  NONFAILING(*(uint32_t*)0x200000000d48 = 0);
  NONFAILING(*(uint32_t*)0x200000000d4c = 0);
  NONFAILING(*(uint32_t*)0x200000000d50 = 0);
  NONFAILING(*(uint32_t*)0x200000000d54 = 0);
  NONFAILING(*(uint32_t*)0x200000000d58 = 3);
  NONFAILING(*(uint32_t*)0x200000000d5c = 0);
  NONFAILING(*(uint32_t*)0x200000000d60 = 0);
  NONFAILING(*(uint32_t*)0x200000000d64 = 0);
  NONFAILING(*(uint32_t*)0x200000000d68 = 0);
  NONFAILING(*(uint32_t*)0x200000000d6c = 0);
  NONFAILING(*(uint32_t*)0x200000000d70 = 0);
  NONFAILING(*(uint32_t*)0x200000000d74 = 0);
  NONFAILING(*(uint32_t*)0x200000000d78 = 0);
  NONFAILING(*(uint32_t*)0x200000000d7c = 0);
  NONFAILING(*(uint32_t*)0x200000000d80 = 0);
  NONFAILING(*(uint32_t*)0x200000000d84 = 0);
  NONFAILING(*(uint32_t*)0x200000000d88 = 3);
  NONFAILING(*(uint32_t*)0x200000000d8c = 0);
  NONFAILING(*(uint32_t*)0x200000000d90 = 0);
  NONFAILING(*(uint32_t*)0x200000000d94 = 0);
  NONFAILING(*(uint32_t*)0x200000000d98 = 0);
  NONFAILING(*(uint32_t*)0x200000000d9c = 0);
  NONFAILING(*(uint32_t*)0x200000000da0 = 0);
  NONFAILING(*(uint32_t*)0x200000000da4 = 4);
  NONFAILING(*(uint32_t*)0x200000000da8 = 0);
  NONFAILING(*(uint32_t*)0x200000000dac = 0);
  NONFAILING(*(uint32_t*)0x200000000db0 = 0);
  NONFAILING(*(uint32_t*)0x200000000db4 = 0);
  NONFAILING(*(uint32_t*)0x200000000db8 = 0);
  NONFAILING(*(uint32_t*)0x200000000dbc = 0);
  NONFAILING(*(uint32_t*)0x200000000dc0 = 0);
  NONFAILING(*(uint32_t*)0x200000000dc4 = 9);
  NONFAILING(*(uint32_t*)0x200000000dc8 = 0);
  NONFAILING(*(uint32_t*)0x200000000dcc = 0);
  NONFAILING(*(uint32_t*)0x200000000dd0 = 0);
  NONFAILING(*(uint32_t*)0x200000000dd4 = 0);
  NONFAILING(*(uint32_t*)0x200000000dd8 = 0);
  NONFAILING(*(uint32_t*)0x200000000ddc = 0);
  NONFAILING(*(uint32_t*)0x200000000de0 = 0);
  NONFAILING(*(uint32_t*)0x200000000de4 = 0);
  NONFAILING(*(uint32_t*)0x200000000de8 = 0);
  NONFAILING(*(uint32_t*)0x200000000dec = 0x1000000);
  NONFAILING(*(uint32_t*)0x200000000df0 = 0);
  NONFAILING(*(uint32_t*)0x200000000df4 = 0);
  NONFAILING(*(uint32_t*)0x200000000df8 = 0);
  NONFAILING(*(uint32_t*)0x200000000dfc = 0);
  NONFAILING(*(uint32_t*)0x200000000e00 = 0);
  NONFAILING(*(uint32_t*)0x200000000e04 = 0);
  NONFAILING(*(uint32_t*)0x200000000e08 = 0);
  NONFAILING(*(uint32_t*)0x200000000e0c = 0);
  NONFAILING(*(uint32_t*)0x200000000e10 = 0);
  NONFAILING(*(uint32_t*)0x200000000e14 = 0);
  NONFAILING(*(uint32_t*)0x200000000e18 = 0);
  NONFAILING(*(uint32_t*)0x200000000e1c = 0);
  NONFAILING(*(uint32_t*)0x200000000e20 = 0);
  NONFAILING(*(uint32_t*)0x200000000e24 = 0);
  NONFAILING(*(uint32_t*)0x200000000e28 = 2);
  NONFAILING(*(uint32_t*)0x200000000e2c = 0);
  NONFAILING(*(uint32_t*)0x200000000e30 = 0);
  NONFAILING(*(uint32_t*)0x200000000e34 = 0);
  NONFAILING(*(uint32_t*)0x200000000e38 = 0);
  NONFAILING(*(uint32_t*)0x200000000e3c = 0);
  NONFAILING(*(uint32_t*)0x200000000e40 = 0);
  NONFAILING(*(uint32_t*)0x200000000e44 = 0);
  NONFAILING(*(uint32_t*)0x200000000e48 = 0);
  NONFAILING(*(uint32_t*)0x200000000e4c = 0);
  NONFAILING(*(uint32_t*)0x200000000e50 = 0);
  NONFAILING(*(uint32_t*)0x200000000e54 = 0);
  NONFAILING(*(uint32_t*)0x200000000e58 = 0);
  NONFAILING(*(uint32_t*)0x200000000e5c = 0);
  NONFAILING(*(uint32_t*)0x200000000e60 = 0);
  NONFAILING(*(uint32_t*)0x200000000e64 = 0);
  NONFAILING(*(uint32_t*)0x200000000e68 = 0);
  NONFAILING(*(uint32_t*)0x200000000e6c = 0);
  NONFAILING(*(uint32_t*)0x200000000e70 = 0);
  NONFAILING(*(uint32_t*)0x200000000e74 = 0);
  NONFAILING(*(uint32_t*)0x200000000e78 = 0);
  NONFAILING(*(uint32_t*)0x200000000e7c = 0);
  NONFAILING(*(uint32_t*)0x200000000e80 = 0);
  NONFAILING(*(uint32_t*)0x200000000e84 = 0);
  NONFAILING(*(uint32_t*)0x200000000e88 = 0);
  NONFAILING(*(uint32_t*)0x200000000e8c = 0);
  NONFAILING(*(uint32_t*)0x200000000e90 = 0);
  NONFAILING(*(uint32_t*)0x200000000e94 = 0);
  NONFAILING(*(uint32_t*)0x200000000e98 = 0);
  NONFAILING(*(uint32_t*)0x200000000e9c = 0);
  NONFAILING(*(uint32_t*)0x200000000ea0 = 0);
  NONFAILING(*(uint32_t*)0x200000000ea4 = 0);
  NONFAILING(*(uint32_t*)0x200000000ea8 = 0);
  NONFAILING(*(uint32_t*)0x200000000eac = 0);
  NONFAILING(*(uint32_t*)0x200000000eb0 = 0);
  NONFAILING(*(uint32_t*)0x200000000eb4 = 0);
  NONFAILING(*(uint32_t*)0x200000000eb8 = 0);
  NONFAILING(*(uint32_t*)0x200000000ebc = 0);
  NONFAILING(*(uint32_t*)0x200000000ec0 = 0);
  NONFAILING(*(uint32_t*)0x200000000ec4 = 0);
  NONFAILING(*(uint32_t*)0x200000000ec8 = 0);
  NONFAILING(*(uint32_t*)0x200000000ecc = 0);
  NONFAILING(*(uint32_t*)0x200000000ed0 = 0);
  NONFAILING(*(uint32_t*)0x200000000ed4 = 0);
  NONFAILING(*(uint32_t*)0x200000000ed8 = 0);
  NONFAILING(*(uint32_t*)0x200000000edc = 0);
  NONFAILING(*(uint32_t*)0x200000000ee0 = 0);
  NONFAILING(*(uint32_t*)0x200000000ee4 = 0);
  NONFAILING(*(uint32_t*)0x200000000ee8 = 0);
  NONFAILING(*(uint32_t*)0x200000000eec = 0);
  NONFAILING(*(uint32_t*)0x200000000ef0 = 0);
  NONFAILING(*(uint32_t*)0x200000000ef4 = 0);
  NONFAILING(*(uint32_t*)0x200000000ef8 = 0);
  NONFAILING(*(uint32_t*)0x200000000efc = 0);
  NONFAILING(*(uint32_t*)0x200000000f00 = 0);
  NONFAILING(*(uint32_t*)0x200000000f04 = 0);
  NONFAILING(*(uint32_t*)0x200000000f08 = 0);
  NONFAILING(*(uint32_t*)0x200000000f0c = 0);
  NONFAILING(*(uint32_t*)0x200000000f10 = 0);
  NONFAILING(*(uint32_t*)0x200000000f14 = 0);
  NONFAILING(*(uint32_t*)0x200000000f18 = 0x7357c35c);
  NONFAILING(*(uint32_t*)0x200000000f1c = 0);
  NONFAILING(*(uint32_t*)0x200000000f20 = 0);
  NONFAILING(*(uint32_t*)0x200000000f24 = 0);
  NONFAILING(*(uint32_t*)0x200000000f28 = 0);
  NONFAILING(*(uint32_t*)0x200000000f2c = 0);
  NONFAILING(*(uint32_t*)0x200000000f30 = 0);
  NONFAILING(*(uint32_t*)0x200000000f34 = 6);
  NONFAILING(*(uint32_t*)0x200000000f38 = 0);
  NONFAILING(*(uint32_t*)0x200000000f3c = 0);
  NONFAILING(*(uint32_t*)0x200000000f40 = 0);
  NONFAILING(*(uint32_t*)0x200000000f44 = 0);
  NONFAILING(*(uint32_t*)0x200000000f48 = 0);
  NONFAILING(*(uint32_t*)0x200000000f4c = 0);
  NONFAILING(*(uint32_t*)0x200000000f50 = 0);
  NONFAILING(*(uint32_t*)0x200000000f54 = 0);
  NONFAILING(*(uint32_t*)0x200000000f58 = 0);
  NONFAILING(*(uint32_t*)0x200000000f5c = 0);
  NONFAILING(*(uint32_t*)0x200000000f60 = 0);
  NONFAILING(*(uint32_t*)0x200000000f64 = 0);
  NONFAILING(*(uint32_t*)0x200000000f68 = 0);
  NONFAILING(*(uint32_t*)0x200000000f6c = 0);
  NONFAILING(*(uint32_t*)0x200000000f70 = 0);
  NONFAILING(*(uint32_t*)0x200000000f74 = 0);
  NONFAILING(*(uint32_t*)0x200000000f78 = 0);
  NONFAILING(*(uint32_t*)0x200000000f7c = 0);
  NONFAILING(*(uint32_t*)0x200000000f80 = 0);
  NONFAILING(*(uint32_t*)0x200000000f84 = 0);
  NONFAILING(*(uint32_t*)0x200000000f88 = 0);
  NONFAILING(*(uint32_t*)0x200000000f8c = 0);
  NONFAILING(*(uint32_t*)0x200000000f90 = 0);
  NONFAILING(*(uint32_t*)0x200000000f94 = 0);
  NONFAILING(*(uint32_t*)0x200000000f98 = 0);
  NONFAILING(*(uint32_t*)0x200000000f9c = 0);
  NONFAILING(*(uint32_t*)0x200000000fa0 = 0);
  NONFAILING(*(uint32_t*)0x200000000fa4 = 0);
  NONFAILING(*(uint32_t*)0x200000000fa8 = 0);
  NONFAILING(*(uint32_t*)0x200000000fac = 0);
  NONFAILING(*(uint32_t*)0x200000000fb0 = 0);
  NONFAILING(*(uint32_t*)0x200000000fb4 = 0x100);
  NONFAILING(*(uint32_t*)0x200000000fb8 = 0);
  NONFAILING(*(uint32_t*)0x200000000fbc = 0);
  NONFAILING(*(uint32_t*)0x200000000fc0 = 0);
  NONFAILING(*(uint32_t*)0x200000000fc4 = 0);
  NONFAILING(*(uint32_t*)0x200000000fc8 = 0);
  NONFAILING(*(uint32_t*)0x200000000fcc = 0);
  NONFAILING(*(uint32_t*)0x200000000fd0 = 0);
  NONFAILING(*(uint32_t*)0x200000000fd4 = 0);
  NONFAILING(*(uint32_t*)0x200000000fd8 = 0);
  NONFAILING(*(uint32_t*)0x200000000fdc = 0);
  NONFAILING(*(uint32_t*)0x200000000fe0 = 0x401);
  NONFAILING(*(uint32_t*)0x200000000fe4 = 0);
  NONFAILING(*(uint32_t*)0x200000000fe8 = 0);
  NONFAILING(*(uint32_t*)0x200000000fec = 0);
  NONFAILING(*(uint32_t*)0x200000000ff0 = 0);
  NONFAILING(*(uint32_t*)0x200000000ff4 = 0);
  NONFAILING(*(uint32_t*)0x200000000ff8 = 0);
  NONFAILING(*(uint32_t*)0x200000000ffc = 0);
  NONFAILING(*(uint32_t*)0x200000001000 = 0);
  NONFAILING(*(uint32_t*)0x200000001004 = 3);
  NONFAILING(*(uint32_t*)0x200000001008 = 0);
  NONFAILING(*(uint32_t*)0x20000000100c = 0);
  NONFAILING(*(uint32_t*)0x200000001010 = 0);
  NONFAILING(*(uint32_t*)0x200000001014 = 0);
  NONFAILING(*(uint32_t*)0x200000001018 = 0);
  NONFAILING(*(uint32_t*)0x20000000101c = 0);
  NONFAILING(*(uint32_t*)0x200000001020 = 0);
  NONFAILING(*(uint32_t*)0x200000001024 = 0);
  NONFAILING(*(uint32_t*)0x200000001028 = 0);
  NONFAILING(*(uint32_t*)0x20000000102c = 0);
  NONFAILING(*(uint32_t*)0x200000001030 = 0);
  NONFAILING(*(uint32_t*)0x200000001034 = 0);
  NONFAILING(*(uint32_t*)0x200000001038 = 0);
  NONFAILING(*(uint32_t*)0x20000000103c = 0);
  NONFAILING(*(uint32_t*)0x200000001040 = 0);
  NONFAILING(*(uint32_t*)0x200000001044 = 0x129e);
  NONFAILING(*(uint32_t*)0x200000001048 = 0);
  NONFAILING(*(uint32_t*)0x20000000104c = 0);
  NONFAILING(*(uint32_t*)0x200000001050 = 0);
  NONFAILING(*(uint32_t*)0x200000001054 = 0);
  NONFAILING(*(uint32_t*)0x200000001058 = 0);
  NONFAILING(*(uint32_t*)0x20000000105c = 0);
  NONFAILING(*(uint32_t*)0x200000001060 = 0);
  NONFAILING(*(uint32_t*)0x200000001064 = 0);
  NONFAILING(*(uint32_t*)0x200000001068 = 0);
  NONFAILING(*(uint32_t*)0x20000000106c = 0);
  NONFAILING(*(uint32_t*)0x200000001070 = 0);
  NONFAILING(*(uint32_t*)0x200000001074 = 0);
  NONFAILING(*(uint32_t*)0x200000001078 = 0);
  NONFAILING(*(uint32_t*)0x20000000107c = 0);
  NONFAILING(*(uint32_t*)0x200000001080 = 0);
  NONFAILING(*(uint32_t*)0x200000001084 = 0);
  NONFAILING(*(uint32_t*)0x200000001088 = 0x1000);
  NONFAILING(*(uint32_t*)0x20000000108c = 0);
  NONFAILING(*(uint32_t*)0x200000001090 = 0);
  NONFAILING(*(uint32_t*)0x200000001094 = 0);
  NONFAILING(*(uint32_t*)0x200000001098 = 0);
  NONFAILING(*(uint32_t*)0x20000000109c = 0);
  NONFAILING(*(uint32_t*)0x2000000010a0 = 0);
  NONFAILING(*(uint32_t*)0x2000000010a4 = 0);
  NONFAILING(*(uint32_t*)0x2000000010a8 = 0);
  NONFAILING(*(uint32_t*)0x2000000010ac = 0);
  NONFAILING(*(uint32_t*)0x2000000010b0 = 0);
  NONFAILING(*(uint32_t*)0x2000000010b4 = 0);
  NONFAILING(*(uint32_t*)0x2000000010b8 = 0);
  NONFAILING(*(uint32_t*)0x2000000010bc = 0);
  NONFAILING(*(uint32_t*)0x2000000010c0 = 0);
  NONFAILING(*(uint32_t*)0x2000000010c4 = 0);
  NONFAILING(*(uint32_t*)0x2000000010c8 = 0);
  NONFAILING(*(uint32_t*)0x2000000010cc = 0);
  NONFAILING(*(uint32_t*)0x2000000010d0 = 0);
  NONFAILING(*(uint32_t*)0x2000000010d4 = 0);
  NONFAILING(*(uint32_t*)0x2000000010d8 = 0);
  NONFAILING(*(uint32_t*)0x2000000010dc = 0);
  NONFAILING(*(uint32_t*)0x2000000010e0 = 0);
  NONFAILING(*(uint32_t*)0x2000000010e4 = 0);
  NONFAILING(*(uint32_t*)0x2000000010e8 = 0);
  NONFAILING(*(uint32_t*)0x2000000010ec = 9);
  NONFAILING(*(uint32_t*)0x2000000010f0 = 0);
  NONFAILING(*(uint32_t*)0x2000000010f4 = 0);
  NONFAILING(*(uint32_t*)0x2000000010f8 = 5);
  NONFAILING(*(uint32_t*)0x2000000010fc = 4);
  NONFAILING(*(uint32_t*)0x200000001100 = 0);
  NONFAILING(*(uint32_t*)0x200000001104 = 0);
  NONFAILING(*(uint32_t*)0x200000001108 = 0);
  NONFAILING(*(uint32_t*)0x20000000110c = 0);
  NONFAILING(*(uint32_t*)0x200000001110 = 0);
  NONFAILING(*(uint32_t*)0x200000001114 = 0);
  NONFAILING(*(uint32_t*)0x200000001118 = 0);
  NONFAILING(*(uint32_t*)0x20000000111c = 0);
  NONFAILING(*(uint32_t*)0x200000001120 = 0);
  NONFAILING(*(uint32_t*)0x200000001124 = 0);
  NONFAILING(*(uint32_t*)0x200000001128 = 0);
  NONFAILING(*(uint32_t*)0x20000000112c = 4);
  NONFAILING(*(uint32_t*)0x200000001130 = 0);
  NONFAILING(*(uint32_t*)0x200000001134 = 0);
  NONFAILING(*(uint32_t*)0x200000001138 = 0);
  NONFAILING(*(uint32_t*)0x20000000113c = 0);
  NONFAILING(*(uint32_t*)0x200000001140 = 0);
  NONFAILING(*(uint32_t*)0x200000001144 = 0);
  NONFAILING(*(uint32_t*)0x200000001148 = 0);
  NONFAILING(*(uint32_t*)0x20000000114c = 0);
  NONFAILING(*(uint32_t*)0x200000001150 = 0);
  NONFAILING(*(uint32_t*)0x200000001154 = 0);
  NONFAILING(*(uint32_t*)0x200000001158 = 0x8000000);
  NONFAILING(*(uint32_t*)0x20000000115c = 0);
  NONFAILING(*(uint32_t*)0x200000001160 = 0x3ff);
  NONFAILING(*(uint32_t*)0x200000001164 = 0);
  NONFAILING(*(uint32_t*)0x200000001168 = 0);
  NONFAILING(*(uint32_t*)0x20000000116c = 0);
  NONFAILING(*(uint32_t*)0x200000001170 = 0);
  NONFAILING(*(uint32_t*)0x200000001174 = 0);
  NONFAILING(*(uint32_t*)0x200000001178 = 0x800);
  NONFAILING(*(uint32_t*)0x20000000117c = 0);
  NONFAILING(*(uint32_t*)0x200000001180 = 0);
  NONFAILING(*(uint32_t*)0x200000001184 = 0);
  NONFAILING(*(uint32_t*)0x200000001188 = 0);
  NONFAILING(*(uint32_t*)0x20000000118c = 0);
  NONFAILING(*(uint32_t*)0x200000001190 = 0);
  NONFAILING(*(uint32_t*)0x200000001194 = 0);
  NONFAILING(*(uint32_t*)0x200000001198 = 0);
  NONFAILING(*(uint32_t*)0x20000000119c = 0);
  NONFAILING(*(uint32_t*)0x2000000011a0 = 0);
  NONFAILING(*(uint32_t*)0x2000000011a4 = 0);
  NONFAILING(*(uint32_t*)0x2000000011a8 = 0);
  NONFAILING(*(uint32_t*)0x2000000011ac = 0);
  NONFAILING(*(uint32_t*)0x2000000011b0 = 0);
  NONFAILING(*(uint32_t*)0x2000000011b4 = 0);
  NONFAILING(*(uint32_t*)0x2000000011b8 = 0);
  NONFAILING(*(uint32_t*)0x2000000011bc = 0);
  NONFAILING(*(uint32_t*)0x2000000011c0 = 0x8000000);
  NONFAILING(*(uint32_t*)0x2000000011c4 = 0);
  NONFAILING(*(uint32_t*)0x2000000011c8 = 0);
  NONFAILING(*(uint32_t*)0x2000000011cc = 0);
  NONFAILING(*(uint32_t*)0x2000000011d0 = 0);
  NONFAILING(*(uint32_t*)0x2000000011d4 = 0);
  NONFAILING(*(uint32_t*)0x2000000011d8 = 0);
  NONFAILING(*(uint32_t*)0x2000000011dc = 0);
  NONFAILING(*(uint32_t*)0x2000000011e0 = 0);
  NONFAILING(*(uint32_t*)0x2000000011e4 = 0);
  NONFAILING(*(uint32_t*)0x2000000011e8 = 0);
  NONFAILING(*(uint32_t*)0x2000000011ec = 0);
  NONFAILING(*(uint32_t*)0x2000000011f0 = 0);
  NONFAILING(*(uint32_t*)0x2000000011f4 = 0);
  NONFAILING(*(uint32_t*)0x2000000011f8 = 0);
  NONFAILING(*(uint32_t*)0x2000000011fc = 0);
  NONFAILING(*(uint32_t*)0x200000001200 = 0);
  NONFAILING(*(uint32_t*)0x200000001204 = 0);
  NONFAILING(*(uint32_t*)0x200000001208 = 0);
  NONFAILING(*(uint32_t*)0x20000000120c = 0);
  NONFAILING(*(uint32_t*)0x200000001210 = 0);
  NONFAILING(*(uint32_t*)0x200000001214 = 0);
  NONFAILING(*(uint32_t*)0x200000001218 = 0);
  NONFAILING(*(uint32_t*)0x20000000121c = 0);
  NONFAILING(*(uint32_t*)0x200000001220 = 0);
  NONFAILING(*(uint32_t*)0x200000001224 = 0);
  NONFAILING(*(uint32_t*)0x200000001228 = 0);
  NONFAILING(*(uint32_t*)0x20000000122c = 0);
  NONFAILING(*(uint32_t*)0x200000001230 = 0);
  NONFAILING(*(uint32_t*)0x200000001234 = 0);
  NONFAILING(*(uint32_t*)0x200000001238 = 0);
  NONFAILING(*(uint32_t*)0x20000000123c = 0);
  NONFAILING(*(uint32_t*)0x200000001240 = 0);
  NONFAILING(*(uint32_t*)0x200000001244 = 0);
  NONFAILING(*(uint32_t*)0x200000001248 = 0);
  NONFAILING(*(uint32_t*)0x20000000124c = 0);
  NONFAILING(*(uint32_t*)0x200000001250 = 0);
  NONFAILING(*(uint32_t*)0x200000001254 = 0);
  NONFAILING(*(uint32_t*)0x200000001258 = 0);
  NONFAILING(*(uint32_t*)0x20000000125c = 0);
  NONFAILING(*(uint32_t*)0x200000001260 = 0);
  NONFAILING(*(uint32_t*)0x200000001264 = 0);
  NONFAILING(*(uint32_t*)0x200000001268 = 0);
  NONFAILING(*(uint32_t*)0x20000000126c = 0);
  NONFAILING(*(uint32_t*)0x200000001270 = 0);
  NONFAILING(*(uint32_t*)0x200000001274 = 0);
  NONFAILING(*(uint32_t*)0x200000001278 = 0);
  NONFAILING(*(uint32_t*)0x20000000127c = 0);
  NONFAILING(*(uint32_t*)0x200000001280 = 0);
  NONFAILING(*(uint32_t*)0x200000001284 = 0);
  NONFAILING(*(uint32_t*)0x200000001288 = 0);
  NONFAILING(*(uint32_t*)0x20000000128c = 0);
  NONFAILING(*(uint32_t*)0x200000001290 = 0);
  NONFAILING(*(uint32_t*)0x200000001294 = 0);
  NONFAILING(*(uint32_t*)0x200000001298 = 0);
  NONFAILING(*(uint32_t*)0x20000000129c = 0);
  NONFAILING(*(uint32_t*)0x2000000012a0 = 0);
  NONFAILING(*(uint32_t*)0x2000000012a4 = 0);
  NONFAILING(*(uint32_t*)0x2000000012a8 = 0);
  NONFAILING(*(uint32_t*)0x2000000012ac = 0);
  NONFAILING(*(uint32_t*)0x2000000012b0 = 0);
  NONFAILING(*(uint32_t*)0x2000000012b4 = 0);
  NONFAILING(*(uint32_t*)0x2000000012b8 = 0);
  NONFAILING(*(uint32_t*)0x2000000012bc = 0);
  NONFAILING(*(uint32_t*)0x2000000012c0 = 0);
  NONFAILING(*(uint32_t*)0x2000000012c4 = 0);
  NONFAILING(*(uint32_t*)0x2000000012c8 = 0);
  NONFAILING(*(uint32_t*)0x2000000012cc = 0);
  NONFAILING(*(uint32_t*)0x2000000012d0 = 0);
  NONFAILING(*(uint32_t*)0x2000000012d4 = 0);
  NONFAILING(*(uint32_t*)0x2000000012d8 = 0);
  NONFAILING(*(uint32_t*)0x2000000012dc = 0x20000);
  NONFAILING(*(uint32_t*)0x2000000012e0 = 0);
  NONFAILING(*(uint32_t*)0x2000000012e4 = 0);
  NONFAILING(*(uint32_t*)0x2000000012e8 = 0);
  NONFAILING(*(uint32_t*)0x2000000012ec = 0);
  NONFAILING(*(uint32_t*)0x2000000012f0 = 0);
  NONFAILING(*(uint32_t*)0x2000000012f4 = 0);
  NONFAILING(*(uint32_t*)0x2000000012f8 = 0);
  NONFAILING(*(uint32_t*)0x2000000012fc = 0);
  NONFAILING(*(uint32_t*)0x200000001300 = 0);
  NONFAILING(*(uint32_t*)0x200000001304 = 0xfffffffe);
  NONFAILING(*(uint32_t*)0x200000001308 = 0);
  NONFAILING(*(uint32_t*)0x20000000130c = 0);
  NONFAILING(*(uint32_t*)0x200000001310 = 0);
  NONFAILING(*(uint32_t*)0x200000001314 = 0);
  NONFAILING(*(uint32_t*)0x200000001318 = 0);
  NONFAILING(*(uint32_t*)0x20000000131c = 0);
  NONFAILING(*(uint32_t*)0x200000001320 = 0);
  NONFAILING(*(uint32_t*)0x200000001324 = 0);
  NONFAILING(*(uint32_t*)0x200000001328 = 0);
  NONFAILING(*(uint32_t*)0x20000000132c = 0);
  NONFAILING(*(uint32_t*)0x200000001330 = 0);
  NONFAILING(*(uint32_t*)0x200000001334 = 0);
  NONFAILING(*(uint32_t*)0x200000001338 = 0);
  NONFAILING(*(uint32_t*)0x20000000133c = 0);
  NONFAILING(*(uint32_t*)0x200000001340 = 0);
  NONFAILING(*(uint32_t*)0x200000001344 = 0);
  NONFAILING(*(uint32_t*)0x200000001348 = 0);
  NONFAILING(*(uint32_t*)0x20000000134c = 0);
  NONFAILING(*(uint32_t*)0x200000001350 = 0);
  NONFAILING(*(uint32_t*)0x200000001354 = 0);
  NONFAILING(*(uint32_t*)0x200000001358 = 0);
  NONFAILING(*(uint32_t*)0x20000000135c = 0);
  NONFAILING(*(uint32_t*)0x200000001360 = 0);
  NONFAILING(*(uint32_t*)0x200000001364 = 0);
  NONFAILING(*(uint32_t*)0x200000001368 = 0);
  NONFAILING(*(uint32_t*)0x20000000136c = 0);
  NONFAILING(*(uint32_t*)0x200000001370 = 0);
  NONFAILING(*(uint32_t*)0x200000001374 = 0);
  NONFAILING(*(uint32_t*)0x200000001378 = 0);
  NONFAILING(*(uint32_t*)0x20000000137c = 0);
  NONFAILING(*(uint32_t*)0x200000001380 = 0);
  NONFAILING(*(uint32_t*)0x200000001384 = 0);
  NONFAILING(*(uint32_t*)0x200000001388 = 0);
  NONFAILING(*(uint32_t*)0x20000000138c = 0x200000);
  NONFAILING(*(uint32_t*)0x200000001390 = 0);
  NONFAILING(*(uint32_t*)0x200000001394 = 0);
  NONFAILING(*(uint32_t*)0x200000001398 = 0);
  NONFAILING(*(uint32_t*)0x20000000139c = 0);
  NONFAILING(*(uint32_t*)0x2000000013a0 = 0);
  NONFAILING(*(uint32_t*)0x2000000013a4 = 0);
  NONFAILING(*(uint32_t*)0x2000000013a8 = 0);
  NONFAILING(*(uint32_t*)0x2000000013ac = 0);
  NONFAILING(*(uint32_t*)0x2000000013b0 = 0);
  NONFAILING(*(uint32_t*)0x2000000013b4 = 0);
  NONFAILING(*(uint32_t*)0x2000000013b8 = 0);
  NONFAILING(*(uint32_t*)0x2000000013bc = 0);
  NONFAILING(*(uint32_t*)0x2000000013c0 = 0);
  NONFAILING(*(uint32_t*)0x2000000013c4 = 0);
  NONFAILING(*(uint32_t*)0x2000000013c8 = 0);
  NONFAILING(*(uint32_t*)0x2000000013cc = 0);
  NONFAILING(*(uint32_t*)0x2000000013d0 = 0);
  NONFAILING(*(uint32_t*)0x2000000013d4 = 0);
  NONFAILING(*(uint32_t*)0x2000000013d8 = 0xfffffffe);
  NONFAILING(*(uint32_t*)0x2000000013dc = 0);
  NONFAILING(*(uint32_t*)0x2000000013e0 = 0);
  NONFAILING(*(uint32_t*)0x2000000013e4 = 0);
  NONFAILING(*(uint32_t*)0x2000000013e8 = 0);
  NONFAILING(*(uint32_t*)0x2000000013ec = 0);
  NONFAILING(*(uint32_t*)0x2000000013f0 = 0);
  NONFAILING(*(uint32_t*)0x2000000013f4 = 0);
  NONFAILING(*(uint32_t*)0x2000000013f8 = 0);
  NONFAILING(*(uint32_t*)0x2000000013fc = 0);
  NONFAILING(*(uint32_t*)0x200000001400 = 0);
  NONFAILING(*(uint32_t*)0x200000001404 = 0);
  NONFAILING(*(uint32_t*)0x200000001408 = 0);
  NONFAILING(*(uint32_t*)0x20000000140c = 0);
  NONFAILING(*(uint32_t*)0x200000001410 = 0);
  NONFAILING(*(uint32_t*)0x200000001414 = 0);
  NONFAILING(*(uint32_t*)0x200000001418 = 0);
  NONFAILING(*(uint32_t*)0x20000000141c = 0);
  NONFAILING(*(uint32_t*)0x200000001420 = 0);
  NONFAILING(*(uint32_t*)0x200000001424 = 0);
  NONFAILING(*(uint32_t*)0x200000001428 = 0);
  NONFAILING(*(uint32_t*)0x20000000142c = 0);
  NONFAILING(*(uint32_t*)0x200000001430 = 0);
  NONFAILING(*(uint32_t*)0x200000001434 = 0);
  NONFAILING(*(uint32_t*)0x200000001438 = 0);
  NONFAILING(*(uint32_t*)0x20000000143c = 0);
  NONFAILING(*(uint32_t*)0x200000001440 = 0);
  NONFAILING(*(uint32_t*)0x200000001444 = 0);
  NONFAILING(*(uint32_t*)0x200000001448 = 5);
  NONFAILING(*(uint32_t*)0x20000000144c = 0);
  NONFAILING(*(uint32_t*)0x200000001450 = 0);
  NONFAILING(*(uint32_t*)0x200000001454 = 0);
  NONFAILING(*(uint32_t*)0x200000001458 = 0);
  NONFAILING(*(uint32_t*)0x20000000145c = 0);
  NONFAILING(*(uint32_t*)0x200000001460 = 0);
  NONFAILING(*(uint32_t*)0x200000001464 = 0);
  NONFAILING(*(uint32_t*)0x200000001468 = 0);
  NONFAILING(*(uint32_t*)0x20000000146c = 0);
  NONFAILING(*(uint32_t*)0x200000001470 = 0);
  NONFAILING(*(uint32_t*)0x200000001474 = 0);
  NONFAILING(*(uint32_t*)0x200000001478 = 0);
  NONFAILING(*(uint32_t*)0x20000000147c = 0);
  NONFAILING(*(uint32_t*)0x200000001480 = 0);
  NONFAILING(*(uint32_t*)0x200000001484 = 0);
  NONFAILING(*(uint32_t*)0x200000001488 = 0);
  NONFAILING(*(uint32_t*)0x20000000148c = 0);
  NONFAILING(*(uint32_t*)0x200000001490 = 0);
  NONFAILING(*(uint32_t*)0x200000001494 = 0);
  NONFAILING(*(uint32_t*)0x200000001498 = 0);
  NONFAILING(*(uint32_t*)0x20000000149c = 0);
  NONFAILING(*(uint32_t*)0x2000000014a0 = 0);
  NONFAILING(*(uint32_t*)0x2000000014a4 = 0);
  NONFAILING(*(uint32_t*)0x2000000014a8 = 0);
  NONFAILING(*(uint32_t*)0x2000000014ac = 0);
  NONFAILING(*(uint32_t*)0x2000000014b0 = 0);
  NONFAILING(*(uint32_t*)0x2000000014b4 = 0);
  NONFAILING(*(uint32_t*)0x2000000014b8 = 0);
  NONFAILING(*(uint32_t*)0x2000000014bc = 0);
  NONFAILING(*(uint32_t*)0x2000000014c0 = 0);
  NONFAILING(*(uint32_t*)0x2000000014c4 = 0);
  NONFAILING(*(uint32_t*)0x2000000014c8 = 4);
  NONFAILING(*(uint32_t*)0x2000000014cc = 0);
  NONFAILING(*(uint32_t*)0x2000000014d0 = 0);
  NONFAILING(*(uint32_t*)0x2000000014d4 = 0);
  NONFAILING(*(uint32_t*)0x2000000014d8 = 0);
  NONFAILING(*(uint32_t*)0x2000000014dc = 0);
  NONFAILING(*(uint32_t*)0x2000000014e0 = 0);
  NONFAILING(*(uint32_t*)0x2000000014e4 = 0);
  NONFAILING(*(uint32_t*)0x2000000014e8 = 0);
  NONFAILING(*(uint32_t*)0x2000000014ec = 0);
  NONFAILING(*(uint32_t*)0x2000000014f0 = 0);
  NONFAILING(*(uint32_t*)0x2000000014f4 = 0);
  NONFAILING(*(uint32_t*)0x2000000014f8 = 0);
  NONFAILING(*(uint32_t*)0x2000000014fc = 0);
  NONFAILING(*(uint32_t*)0x200000001500 = 0);
  NONFAILING(*(uint32_t*)0x200000001504 = 0);
  NONFAILING(*(uint32_t*)0x200000001508 = 0);
  NONFAILING(*(uint32_t*)0x20000000150c = 0);
  NONFAILING(*(uint32_t*)0x200000001510 = 0);
  NONFAILING(*(uint32_t*)0x200000001514 = 0);
  NONFAILING(*(uint32_t*)0x200000001518 = 0x800);
  NONFAILING(*(uint32_t*)0x20000000151c = 0);
  NONFAILING(*(uint32_t*)0x200000001520 = 0);
  NONFAILING(*(uint32_t*)0x200000001524 = 0);
  NONFAILING(*(uint32_t*)0x200000001528 = 0);
  NONFAILING(*(uint32_t*)0x20000000152c = 0);
  NONFAILING(*(uint32_t*)0x200000001530 = 0);
  NONFAILING(*(uint32_t*)0x200000001534 = 0);
  NONFAILING(*(uint32_t*)0x200000001538 = 0);
  NONFAILING(*(uint32_t*)0x20000000153c = 0);
  NONFAILING(*(uint32_t*)0x200000001540 = 0);
  NONFAILING(*(uint32_t*)0x200000001544 = 0);
  NONFAILING(*(uint32_t*)0x200000001548 = 0);
  NONFAILING(*(uint32_t*)0x20000000154c = 0);
  NONFAILING(*(uint32_t*)0x200000001550 = 0);
  NONFAILING(*(uint32_t*)0x200000001554 = 0);
  NONFAILING(*(uint32_t*)0x200000001558 = 0);
  NONFAILING(*(uint32_t*)0x20000000155c = 0);
  NONFAILING(*(uint32_t*)0x200000001560 = 0);
  NONFAILING(*(uint32_t*)0x200000001564 = 0);
  NONFAILING(*(uint32_t*)0x200000001568 = 0);
  NONFAILING(*(uint32_t*)0x20000000156c = 0);
  NONFAILING(*(uint32_t*)0x200000001570 = 0);
  NONFAILING(*(uint32_t*)0x200000001574 = 0);
  NONFAILING(*(uint32_t*)0x200000001578 = 0);
  NONFAILING(*(uint32_t*)0x20000000157c = 0);
  NONFAILING(*(uint32_t*)0x200000001580 = 0);
  NONFAILING(*(uint32_t*)0x200000001584 = 0);
  NONFAILING(*(uint32_t*)0x200000001588 = 0);
  NONFAILING(*(uint32_t*)0x20000000158c = 0);
  NONFAILING(*(uint32_t*)0x200000001590 = 0);
  NONFAILING(*(uint32_t*)0x200000001594 = 0);
  NONFAILING(*(uint32_t*)0x200000001598 = 0);
  NONFAILING(*(uint32_t*)0x20000000159c = 0);
  NONFAILING(*(uint32_t*)0x2000000015a0 = 0);
  NONFAILING(*(uint32_t*)0x2000000015a4 = 0);
  NONFAILING(*(uint32_t*)0x2000000015a8 = 0);
  NONFAILING(*(uint32_t*)0x2000000015ac = 0);
  NONFAILING(*(uint32_t*)0x2000000015b0 = 0);
  NONFAILING(*(uint32_t*)0x2000000015b4 = 0);
  NONFAILING(*(uint32_t*)0x2000000015b8 = 0);
  NONFAILING(*(uint32_t*)0x2000000015bc = 0);
  NONFAILING(*(uint32_t*)0x2000000015c0 = 0xfffffffd);
  NONFAILING(*(uint32_t*)0x2000000015c4 = 0);
  NONFAILING(*(uint32_t*)0x2000000015c8 = 0);
  NONFAILING(*(uint32_t*)0x2000000015cc = 0);
  NONFAILING(*(uint32_t*)0x2000000015d0 = 0);
  NONFAILING(*(uint32_t*)0x2000000015d4 = 0xfffffffe);
  NONFAILING(*(uint32_t*)0x2000000015d8 = 0);
  NONFAILING(*(uint32_t*)0x2000000015dc = 0);
  NONFAILING(*(uint32_t*)0x2000000015e0 = 0);
  NONFAILING(*(uint32_t*)0x2000000015e4 = 0);
  NONFAILING(*(uint32_t*)0x2000000015e8 = 0);
  NONFAILING(*(uint32_t*)0x2000000015ec = 0);
  NONFAILING(*(uint32_t*)0x2000000015f0 = 2);
  NONFAILING(*(uint32_t*)0x2000000015f4 = 0);
  NONFAILING(*(uint32_t*)0x2000000015f8 = 0);
  NONFAILING(*(uint32_t*)0x2000000015fc = 0);
  NONFAILING(*(uint32_t*)0x200000001600 = 0);
  NONFAILING(*(uint32_t*)0x200000001604 = 0);
  NONFAILING(*(uint32_t*)0x200000001608 = 0);
  NONFAILING(*(uint32_t*)0x20000000160c = 0);
  NONFAILING(*(uint32_t*)0x200000001610 = 0);
  NONFAILING(*(uint32_t*)0x200000001614 = 0);
  NONFAILING(*(uint32_t*)0x200000001618 = 0);
  NONFAILING(*(uint32_t*)0x20000000161c = 0);
  NONFAILING(*(uint32_t*)0x200000001620 = 0);
  NONFAILING(*(uint32_t*)0x200000001624 = 0);
  NONFAILING(*(uint32_t*)0x200000001628 = 0);
  NONFAILING(*(uint32_t*)0x20000000162c = 0);
  NONFAILING(*(uint32_t*)0x200000001630 = 0);
  NONFAILING(*(uint32_t*)0x200000001634 = 0);
  NONFAILING(*(uint32_t*)0x200000001638 = 0);
  NONFAILING(*(uint32_t*)0x20000000163c = 0);
  NONFAILING(*(uint32_t*)0x200000001640 = 0);
  NONFAILING(*(uint32_t*)0x200000001644 = 0);
  NONFAILING(*(uint32_t*)0x200000001648 = 0);
  NONFAILING(*(uint32_t*)0x20000000164c = 0);
  NONFAILING(*(uint32_t*)0x200000001650 = 0);
  NONFAILING(*(uint32_t*)0x200000001654 = 0);
  NONFAILING(*(uint32_t*)0x200000001658 = 0);
  NONFAILING(*(uint32_t*)0x20000000165c = 0);
  NONFAILING(*(uint32_t*)0x200000001660 = 0);
  NONFAILING(*(uint32_t*)0x200000001664 = 0);
  NONFAILING(*(uint32_t*)0x200000001668 = 0);
  NONFAILING(*(uint32_t*)0x20000000166c = 0);
  NONFAILING(*(uint32_t*)0x200000001670 = 0);
  NONFAILING(*(uint32_t*)0x200000001674 = 0xfffffffc);
  NONFAILING(*(uint32_t*)0x200000001678 = 4);
  NONFAILING(*(uint32_t*)0x20000000167c = 0);
  NONFAILING(*(uint32_t*)0x200000001688 = 1);
  NONFAILING(*(uint32_t*)0x20000000168c = 0x400);
  NONFAILING(*(uint32_t*)0x200000001690 = 0);
  NONFAILING(*(uint32_t*)0x200000001694 = 0);
  syscall(__NR_ioctl, /*fd=*/r[0], /*cmd=*/0x7b2, /*arg=*/0x200000001680ul);
  NONFAILING(memcpy((void*)0x200000000240, "/dev/vmci\000", 10));
  res = syscall(__NR_openat, /*fd=*/0xffffffffffffff9cul,
                /*file=*/0x200000000240ul, /*flags=*/2, /*mode=*/0);
  if (res != -1)
    r[1] = res;
  NONFAILING(*(uint32_t*)0x2000000004c0 = 0x1d);
  NONFAILING(*(uint32_t*)0x2000000004c4 = 0x18);
  NONFAILING(*(uint64_t*)0x2000000004c8 = 0x2000000001c0);
  NONFAILING(memcpy(
      (void*)0x2000000001c0,
      "\x18\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xb7\x08"
      "\x00\x00\x00\x00\x00\x00\x7b\x8a\xf8\xff\x00\x00\x00\x00\xb7\x08\x00\x00"
      "\x00\x00\x00\x00\x7b\x8a\xf0\xff\x00\x00\x00\x00\xbf\xa1\x00\x00\x00\x00"
      "\x00\x00\x07\x01\x00\x00\xf8\xff\xff\xff\xbf\xa4\x00\x00\x00\x00\x00\x00"
      "\x07\x04\x00\x00\xf0\xff\xff\xff\xb7\x02\x00\x00\x00\x00\x00",
      87));
  NONFAILING(*(uint32_t*)0x200000000217 = -1);
  NONFAILING(*(uint64_t*)0x2000000004d0 = 0);
  NONFAILING(*(uint32_t*)0x2000000004d8 = 0);
  NONFAILING(*(uint32_t*)0x2000000004dc = 0);
  NONFAILING(*(uint64_t*)0x2000000004e0 = 0);
  NONFAILING(*(uint32_t*)0x2000000004e8 = 0);
  NONFAILING(*(uint32_t*)0x2000000004ec = 0x18);
  NONFAILING(memset((void*)0x2000000004f0, 0, 16));
  NONFAILING(*(uint32_t*)0x200000000500 = 0);
  NONFAILING(*(uint32_t*)0x200000000504 = 0);
  NONFAILING(*(uint32_t*)0x200000000508 = 0);
  NONFAILING(*(uint32_t*)0x20000000050c = 0);
  NONFAILING(*(uint64_t*)0x200000000510 = 0);
  NONFAILING(*(uint32_t*)0x200000000518 = 0);
  NONFAILING(*(uint32_t*)0x20000000051c = 0);
  NONFAILING(*(uint64_t*)0x200000000520 = 0);
  NONFAILING(*(uint32_t*)0x200000000528 = 0);
  NONFAILING(*(uint32_t*)0x20000000052c = 0);
  NONFAILING(*(uint32_t*)0x200000000530 = 0);
  NONFAILING(*(uint32_t*)0x200000000534 = 0);
  NONFAILING(*(uint64_t*)0x200000000538 = 0);
  NONFAILING(*(uint64_t*)0x200000000540 = 0);
  NONFAILING(*(uint32_t*)0x200000000548 = 0);
  NONFAILING(*(uint32_t*)0x20000000054c = 0);
  NONFAILING(*(uint32_t*)0x200000000550 = 0);
  syscall(__NR_bpf, /*cmd=*/5ul, /*arg=*/0x2000000004c0ul, /*size=*/0x94ul);
  NONFAILING(*(uint32_t*)0x200000000100 = 0x80000);
  syscall(__NR_ioctl, /*fd=*/r[1], /*cmd=*/0x7a7, /*arg=*/0x200000000100ul);
  syscall(__NR_mprotect, /*addr=*/0x200000000000ul, /*len=*/0x800000ul,
          /*prot=PROT_READ|PROT_EXEC*/ 5ul);
  NONFAILING(*(uint32_t*)0x200000000140 = 1);
  NONFAILING(*(uint32_t*)0x200000000144 = 0);
  syscall(__NR_ioctl, /*fd=*/r[1], /*cmd=*/0x7a0, /*arg=*/0x200000000140ul);
  NONFAILING(*(uint64_t*)0x200000000200 = 0);
  NONFAILING(*(uint32_t*)0x200000000208 = 0);
  NONFAILING(*(uint32_t*)0x20000000020c = 5);
  syscall(__NR_ioctl, /*fd=*/r[0], /*cmd=*/0x7ac, /*arg=*/0x200000000200ul);
}
int main(void)
{
  syscall(__NR_mmap, /*addr=*/0x1ffffffff000ul, /*len=*/0x1000ul, /*prot=*/0ul,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul,
          /*fd=*/(intptr_t)-1, /*offset=*/0ul);
  syscall(__NR_mmap, /*addr=*/0x200000000000ul, /*len=*/0x1000000ul,
          /*prot=PROT_WRITE|PROT_READ|PROT_EXEC*/ 7ul,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul,
          /*fd=*/(intptr_t)-1, /*offset=*/0ul);
  syscall(__NR_mmap, /*addr=*/0x200001000000ul, /*len=*/0x1000ul, /*prot=*/0ul,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul,
          /*fd=*/(intptr_t)-1, /*offset=*/0ul);
  const char* reason;
  (void)reason;
  install_segv_handler();
  loop();
  return 0;
}