// https://syzkaller.appspot.com/bug?id=e87b6425f13a1ee32b5de082182cda1a35f74fd6
// 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 <stddef.h>
#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <sys/ioctl.h>
#include <sys/mman.h>
#include <sys/mount.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>

#include <linux/loop.h>

#ifndef __NR_memfd_create
#define __NR_memfd_create 319
#endif

static unsigned long long procid;

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

//% This code is derived from puff.{c,h}, found in the zlib development. The
//% original files come with the following copyright notice:

//% Copyright (C) 2002-2013 Mark Adler, all rights reserved
//% version 2.3, 21 Jan 2013
//% This software is provided 'as-is', without any express or implied
//% warranty.  In no event will the author be held liable for any damages
//% arising from the use of this software.
//% Permission is granted to anyone to use this software for any purpose,
//% including commercial applications, and to alter it and redistribute it
//% freely, subject to the following restrictions:
//% 1. The origin of this software must not be misrepresented; you must not
//%    claim that you wrote the original software. If you use this software
//%    in a product, an acknowledgment in the product documentation would be
//%    appreciated but is not required.
//% 2. Altered source versions must be plainly marked as such, and must not be
//%    misrepresented as being the original software.
//% 3. This notice may not be removed or altered from any source distribution.
//% Mark Adler    madler@alumni.caltech.edu

//% BEGIN CODE DERIVED FROM puff.{c,h}

#define MAXBITS 15
#define MAXLCODES 286
#define MAXDCODES 30
#define MAXCODES (MAXLCODES + MAXDCODES)
#define FIXLCODES 288

struct puff_state {
  unsigned char* out;
  unsigned long outlen;
  unsigned long outcnt;
  const unsigned char* in;
  unsigned long inlen;
  unsigned long incnt;
  int bitbuf;
  int bitcnt;
  jmp_buf env;
};
static int puff_bits(struct puff_state* s, int need)
{
  long val = s->bitbuf;
  while (s->bitcnt < need) {
    if (s->incnt == s->inlen)
      longjmp(s->env, 1);
    val |= (long)(s->in[s->incnt++]) << s->bitcnt;
    s->bitcnt += 8;
  }
  s->bitbuf = (int)(val >> need);
  s->bitcnt -= need;
  return (int)(val & ((1L << need) - 1));
}
static int puff_stored(struct puff_state* s)
{
  s->bitbuf = 0;
  s->bitcnt = 0;
  if (s->incnt + 4 > s->inlen)
    return 2;
  unsigned len = s->in[s->incnt++];
  len |= s->in[s->incnt++] << 8;
  if (s->in[s->incnt++] != (~len & 0xff) ||
      s->in[s->incnt++] != ((~len >> 8) & 0xff))
    return -2;
  if (s->incnt + len > s->inlen)
    return 2;
  if (s->outcnt + len > s->outlen)
    return 1;
  for (; len--; s->outcnt++, s->incnt++) {
    if (s->in[s->incnt])
      s->out[s->outcnt] = s->in[s->incnt];
  }
  return 0;
}
struct puff_huffman {
  short* count;
  short* symbol;
};
static int puff_decode(struct puff_state* s, const struct puff_huffman* h)
{
  int first = 0;
  int index = 0;
  int bitbuf = s->bitbuf;
  int left = s->bitcnt;
  int code = first = index = 0;
  int len = 1;
  short* next = h->count + 1;
  while (1) {
    while (left--) {
      code |= bitbuf & 1;
      bitbuf >>= 1;
      int count = *next++;
      if (code - count < first) {
        s->bitbuf = bitbuf;
        s->bitcnt = (s->bitcnt - len) & 7;
        return h->symbol[index + (code - first)];
      }
      index += count;
      first += count;
      first <<= 1;
      code <<= 1;
      len++;
    }
    left = (MAXBITS + 1) - len;
    if (left == 0)
      break;
    if (s->incnt == s->inlen)
      longjmp(s->env, 1);
    bitbuf = s->in[s->incnt++];
    if (left > 8)
      left = 8;
  }
  return -10;
}
static int puff_construct(struct puff_huffman* h, const short* length, int n)
{
  int len;
  for (len = 0; len <= MAXBITS; len++)
    h->count[len] = 0;
  int symbol;
  for (symbol = 0; symbol < n; symbol++)
    (h->count[length[symbol]])++;
  if (h->count[0] == n)
    return 0;
  int left = 1;
  for (len = 1; len <= MAXBITS; len++) {
    left <<= 1;
    left -= h->count[len];
    if (left < 0)
      return left;
  }
  short offs[MAXBITS + 1];
  offs[1] = 0;
  for (len = 1; len < MAXBITS; len++)
    offs[len + 1] = offs[len] + h->count[len];
  for (symbol = 0; symbol < n; symbol++)
    if (length[symbol] != 0)
      h->symbol[offs[length[symbol]]++] = symbol;
  return left;
}
static int puff_codes(struct puff_state* s, const struct puff_huffman* lencode,
                      const struct puff_huffman* distcode)
{
  static const short lens[29] = {3,  4,  5,  6,   7,   8,   9,   10,  11, 13,
                                 15, 17, 19, 23,  27,  31,  35,  43,  51, 59,
                                 67, 83, 99, 115, 131, 163, 195, 227, 258};
  static const short lext[29] = {0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2, 2, 2,
                                 2, 3, 3, 3, 3, 4, 4, 4, 4, 5, 5, 5, 5, 0};
  static const short dists[30] = {
      1,    2,    3,    4,    5,    7,    9,    13,    17,    25,
      33,   49,   65,   97,   129,  193,  257,  385,   513,   769,
      1025, 1537, 2049, 3073, 4097, 6145, 8193, 12289, 16385, 24577};
  static const short dext[30] = {0, 0, 0,  0,  1,  1,  2,  2,  3,  3,
                                 4, 4, 5,  5,  6,  6,  7,  7,  8,  8,
                                 9, 9, 10, 10, 11, 11, 12, 12, 13, 13};
  int symbol;
  do {
    symbol = puff_decode(s, lencode);
    if (symbol < 0)
      return symbol;
    if (symbol < 256) {
      if (s->outcnt == s->outlen)
        return 1;
      if (symbol)
        s->out[s->outcnt] = symbol;
      s->outcnt++;
    } else if (symbol > 256) {
      symbol -= 257;
      if (symbol >= 29)
        return -10;
      int len = lens[symbol] + puff_bits(s, lext[symbol]);
      symbol = puff_decode(s, distcode);
      if (symbol < 0)
        return symbol;
      unsigned dist = dists[symbol] + puff_bits(s, dext[symbol]);
      if (dist > s->outcnt)
        return -11;
      if (s->outcnt + len > s->outlen)
        return 1;
      while (len--) {
        if (dist <= s->outcnt && s->out[s->outcnt - dist])
          s->out[s->outcnt] = s->out[s->outcnt - dist];
        s->outcnt++;
      }
    }
  } while (symbol != 256);
  return 0;
}
static int puff_fixed(struct puff_state* s)
{
  static int virgin = 1;
  static short lencnt[MAXBITS + 1], lensym[FIXLCODES];
  static short distcnt[MAXBITS + 1], distsym[MAXDCODES];
  static struct puff_huffman lencode, distcode;
  if (virgin) {
    lencode.count = lencnt;
    lencode.symbol = lensym;
    distcode.count = distcnt;
    distcode.symbol = distsym;
    short lengths[FIXLCODES];
    int symbol;
    for (symbol = 0; symbol < 144; symbol++)
      lengths[symbol] = 8;
    for (; symbol < 256; symbol++)
      lengths[symbol] = 9;
    for (; symbol < 280; symbol++)
      lengths[symbol] = 7;
    for (; symbol < FIXLCODES; symbol++)
      lengths[symbol] = 8;
    puff_construct(&lencode, lengths, FIXLCODES);
    for (symbol = 0; symbol < MAXDCODES; symbol++)
      lengths[symbol] = 5;
    puff_construct(&distcode, lengths, MAXDCODES);
    virgin = 0;
  }
  return puff_codes(s, &lencode, &distcode);
}
static int puff_dynamic(struct puff_state* s)
{
  static const short order[19] = {16, 17, 18, 0, 8,  7, 9,  6, 10, 5,
                                  11, 4,  12, 3, 13, 2, 14, 1, 15};
  int nlen = puff_bits(s, 5) + 257;
  int ndist = puff_bits(s, 5) + 1;
  int ncode = puff_bits(s, 4) + 4;
  if (nlen > MAXLCODES || ndist > MAXDCODES)
    return -3;
  short lengths[MAXCODES];
  int index;
  for (index = 0; index < ncode; index++)
    lengths[order[index]] = puff_bits(s, 3);
  for (; index < 19; index++)
    lengths[order[index]] = 0;
  short lencnt[MAXBITS + 1], lensym[MAXLCODES];
  struct puff_huffman lencode = {lencnt, lensym};
  int err = puff_construct(&lencode, lengths, 19);
  if (err != 0)
    return -4;
  index = 0;
  while (index < nlen + ndist) {
    int symbol;
    int len;
    symbol = puff_decode(s, &lencode);
    if (symbol < 0)
      return symbol;
    if (symbol < 16)
      lengths[index++] = symbol;
    else {
      len = 0;
      if (symbol == 16) {
        if (index == 0)
          return -5;
        len = lengths[index - 1];
        symbol = 3 + puff_bits(s, 2);
      } else if (symbol == 17)
        symbol = 3 + puff_bits(s, 3);
      else
        symbol = 11 + puff_bits(s, 7);
      if (index + symbol > nlen + ndist)
        return -6;
      while (symbol--)
        lengths[index++] = len;
    }
  }
  if (lengths[256] == 0)
    return -9;
  err = puff_construct(&lencode, lengths, nlen);
  if (err && (err < 0 || nlen != lencode.count[0] + lencode.count[1]))
    return -7;
  short distcnt[MAXBITS + 1], distsym[MAXDCODES];
  struct puff_huffman distcode = {distcnt, distsym};
  err = puff_construct(&distcode, lengths + nlen, ndist);
  if (err && (err < 0 || ndist != distcode.count[0] + distcode.count[1]))
    return -8;
  return puff_codes(s, &lencode, &distcode);
}
static int puff(unsigned char* dest, unsigned long* destlen,
                const unsigned char* source, unsigned long sourcelen)
{
  struct puff_state s = {
      .out = dest,
      .outlen = *destlen,
      .outcnt = 0,
      .in = source,
      .inlen = sourcelen,
      .incnt = 0,
      .bitbuf = 0,
      .bitcnt = 0,
  };
  int err;
  if (setjmp(s.env) != 0)
    err = 2;
  else {
    int last;
    do {
      last = puff_bits(&s, 1);
      int type = puff_bits(&s, 2);
      err = type == 0 ? puff_stored(&s)
                      : (type == 1 ? puff_fixed(&s)
                                   : (type == 2 ? puff_dynamic(&s) : -1));
      if (err != 0)
        break;
    } while (!last);
  }
  *destlen = s.outcnt;
  return err;
}

//% END CODE DERIVED FROM puff.{c,h}

#define ZLIB_HEADER_WIDTH 2

static int puff_zlib_to_file(const unsigned char* source,
                             unsigned long sourcelen, int dest_fd)
{
  if (sourcelen < ZLIB_HEADER_WIDTH)
    return 0;
  source += ZLIB_HEADER_WIDTH;
  sourcelen -= ZLIB_HEADER_WIDTH;
  const unsigned long max_destlen = 132 << 20;
  void* ret = mmap(0, max_destlen, PROT_WRITE | PROT_READ,
                   MAP_PRIVATE | MAP_ANON, -1, 0);
  if (ret == MAP_FAILED)
    return -1;
  unsigned char* dest = (unsigned char*)ret;
  unsigned long destlen = max_destlen;
  int err = puff(dest, &destlen, source, sourcelen);
  if (err) {
    munmap(dest, max_destlen);
    errno = -err;
    return -1;
  }
  if (write(dest_fd, dest, destlen) != (ssize_t)destlen) {
    munmap(dest, max_destlen);
    return -1;
  }
  return munmap(dest, max_destlen);
}

static int setup_loop_device(unsigned char* data, unsigned long size,
                             const char* loopname, int* loopfd_p)
{
  int err = 0, loopfd = -1;
  int memfd = syscall(__NR_memfd_create, "syzkaller", 0);
  if (memfd == -1) {
    err = errno;
    goto error;
  }
  if (puff_zlib_to_file(data, size, memfd)) {
    err = errno;
    goto error_close_memfd;
  }
  loopfd = open(loopname, O_RDWR);
  if (loopfd == -1) {
    err = errno;
    goto error_close_memfd;
  }
  if (ioctl(loopfd, LOOP_SET_FD, memfd)) {
    if (errno != EBUSY) {
      err = errno;
      goto error_close_loop;
    }
    ioctl(loopfd, LOOP_CLR_FD, 0);
    usleep(1000);
    if (ioctl(loopfd, LOOP_SET_FD, memfd)) {
      err = errno;
      goto error_close_loop;
    }
  }
  close(memfd);
  *loopfd_p = loopfd;
  return 0;

error_close_loop:
  close(loopfd);
error_close_memfd:
  close(memfd);
error:
  errno = err;
  return -1;
}

static void reset_loop_device(const char* loopname)
{
  int loopfd = open(loopname, O_RDWR);
  if (loopfd == -1) {
    return;
  }
  if (ioctl(loopfd, LOOP_CLR_FD, 0)) {
  }
  close(loopfd);
}

static long syz_mount_image(volatile long fsarg, volatile long dir,
                            volatile long flags, volatile long optsarg,
                            volatile long change_dir,
                            volatile unsigned long size, volatile long image)
{
  unsigned char* data = (unsigned char*)image;
  int res = -1, err = 0, need_loop_device = !!size;
  char* mount_opts = (char*)optsarg;
  char* target = (char*)dir;
  char* fs = (char*)fsarg;
  char* source = NULL;
  char loopname[64];
  if (need_loop_device) {
    int loopfd;
    memset(loopname, 0, sizeof(loopname));
    snprintf(loopname, sizeof(loopname), "/dev/loop%llu", procid);
    if (setup_loop_device(data, size, loopname, &loopfd) == -1)
      return -1;
    close(loopfd);
    source = loopname;
  }
  mkdir(target, 0777);
  char opts[256];
  memset(opts, 0, sizeof(opts));
  if (strlen(mount_opts) > (sizeof(opts) - 32)) {
  }
  strncpy(opts, mount_opts, sizeof(opts) - 32);
  if (strcmp(fs, "iso9660") == 0) {
    flags |= MS_RDONLY;
  } else if (strncmp(fs, "ext", 3) == 0) {
    bool has_remount_ro = false;
    char* remount_ro_start = strstr(opts, "errors=remount-ro");
    if (remount_ro_start != NULL) {
      char after = *(remount_ro_start + strlen("errors=remount-ro"));
      char before = remount_ro_start == opts ? '\0' : *(remount_ro_start - 1);
      has_remount_ro = ((before == '\0' || before == ',') &&
                        (after == '\0' || after == ','));
    }
    if (strstr(opts, "errors=panic") || !has_remount_ro)
      strcat(opts, ",errors=continue");
  } else if (strcmp(fs, "xfs") == 0) {
    strcat(opts, ",nouuid");
  }
  res = mount(source, target, fs, flags, opts);
  if (res == -1) {
    err = errno;
    goto error_clear_loop;
  }
  res = open(target, O_RDONLY | O_DIRECTORY);
  if (res == -1) {
    err = errno;
    goto error_clear_loop;
  }
  if (change_dir) {
    res = chdir(target);
    if (res == -1) {
      err = errno;
    }
  }

error_clear_loop:
  if (need_loop_device)
    reset_loop_device(loopname);
  errno = err;
  return res;
}

#define FS_IOC_SETFLAGS _IOW('f', 2, long)
static void remove_dir(const char* dir)
{
  int iter = 0;
  DIR* dp = 0;
  const int umount_flags = MNT_FORCE | UMOUNT_NOFOLLOW;

retry:
  while (umount2(dir, umount_flags) == 0) {
  }
  dp = opendir(dir);
  if (dp == NULL) {
    if (errno == EMFILE) {
      exit(1);
    }
    exit(1);
  }
  struct dirent* ep = 0;
  while ((ep = readdir(dp))) {
    if (strcmp(ep->d_name, ".") == 0 || strcmp(ep->d_name, "..") == 0)
      continue;
    char filename[FILENAME_MAX];
    snprintf(filename, sizeof(filename), "%s/%s", dir, ep->d_name);
    while (umount2(filename, umount_flags) == 0) {
    }
    struct stat st;
    if (lstat(filename, &st))
      exit(1);
    if (S_ISDIR(st.st_mode)) {
      remove_dir(filename);
      continue;
    }
    int i;
    for (i = 0;; i++) {
      if (unlink(filename) == 0)
        break;
      if (errno == EPERM) {
        int fd = open(filename, O_RDONLY);
        if (fd != -1) {
          long flags = 0;
          if (ioctl(fd, FS_IOC_SETFLAGS, &flags) == 0) {
          }
          close(fd);
          continue;
        }
      }
      if (errno == EROFS) {
        break;
      }
      if (errno != EBUSY || i > 100)
        exit(1);
      if (umount2(filename, umount_flags))
        exit(1);
    }
  }
  closedir(dp);
  for (int i = 0;; i++) {
    if (rmdir(dir) == 0)
      break;
    if (i < 100) {
      if (errno == EPERM) {
        int fd = open(dir, O_RDONLY);
        if (fd != -1) {
          long flags = 0;
          if (ioctl(fd, FS_IOC_SETFLAGS, &flags) == 0) {
          }
          close(fd);
          continue;
        }
      }
      if (errno == EROFS) {
        break;
      }
      if (errno == EBUSY) {
        if (umount2(dir, umount_flags))
          exit(1);
        continue;
      }
      if (errno == ENOTEMPTY) {
        if (iter < 100) {
          iter++;
          goto retry;
        }
      }
    }
    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 reset_loop()
{
  char buf[64];
  snprintf(buf, sizeof(buf), "/dev/loop%llu", procid);
  int loopfd = open(buf, O_RDWR);
  if (loopfd != -1) {
    ioctl(loopfd, LOOP_CLR_FD, 0);
    close(loopfd);
  }
}

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

static void execute_one(void);

#define WAIT_FLAGS __WALL

static void loop(void)
{
  int iter = 0;
  for (;; iter++) {
    char cwdbuf[32];
    sprintf(cwdbuf, "./%d", iter);
    if (mkdir(cwdbuf, 0777))
      exit(1);
    reset_loop();
    int pid = fork();
    if (pid < 0)
      exit(1);
    if (pid == 0) {
      if (chdir(cwdbuf))
        exit(1);
      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;
    }
    remove_dir(cwdbuf);
  }
}

void execute_one(void)
{
  if (write(1, "executing program\n", sizeof("executing program\n") - 1)) {
  }
  NONFAILING(memcpy((void*)0x20000000, "nilfs2\000", 7));
  NONFAILING(memcpy((void*)0x20000f00, "./file1\000", 8));
  NONFAILING(
      memcpy((void*)0x20002d40,
             "\x00\x91\x83\xca\x16\x9e\xa4\x9b\x01\x7c\x45\x25\x46\x0e\x94\x28"
             "\x61\xbd\xc4\xab\xce\x9d\xbb\x90\xbc\x2b\x4e\x8b\xaf\x45\x17\x3c"
             "\xca\x84\x16\xaa\xd7\x58\x8b\x75\x89\x0f\x04\x17\x63\x9f\x4a\x0f"
             "\x97\x33\xc0\x6e\x63\xec\xdf\x79\x08\x18\x59\x8b\xca\xb8\xec\x62"
             "\xd2\x1a\x32\x21\x75\x7e\xc9\x8d\x35\x5e\x6d\x4f\x17\x94\xd2\x25"
             "\x4f\x18\xbe\xca\x38\xff\x28\x6a\x24\xf7\x8e\x2c\xe4\x14\x7c\x97"
             "\xa3\x58\xe0\xd6\xf0\x0b\xd0\xe1\x76\xa4\x99\x86\x8a\xc1\x3b\x8e"
             "\x54\x85\x92\x2a\x1a\x05\x85\x1e\x32\xa3\x14\x7b\x22\xf9\xc6\x63",
             128));
  NONFAILING(*(uint32_t*)0x20002dc0 = -1);
  NONFAILING(*(uint16_t*)0x20002dc4 = -1);
  NONFAILING(sprintf((char*)0x20002dc6, "%020llu", (long long)-1));
  NONFAILING(sprintf((char*)0x20002dda, "%023llo", (long long)-1));
  NONFAILING(memcpy(
      (void*)0x20002df1,
      "\xaa\xd0\x92\x7d\x17\x1a\xb6\xed\x46\x25\xa1\x3e\x26\x6c\x0f\xc1\x92\x31"
      "\x4d\xb2\xfb\xb9\x8e\x26\x1d\x8b\xb2\x02\x4b\x8b\xbe\x17\x4b\x5c\xd9\xde"
      "\x54\xb4\x43\x36\x0b\x97\xbb\x1e\xc2\xea\x52\xa5\xbd\x80\x83\xc0\x8a\xe3"
      "\x7e\xbe\xd1\x48\x21\xa3\x7f\x56\xf7\xa8\xb7\xa7\xdc\x7a\x41\x9a\xa6\x31"
      "\x05\x94\xe1\xa1\xc5\xc6\x9a\x71\x0d\x15\x84\xb4\x93\x1b\x33\x57\x68\x38"
      "\x35\xe0\x90\xe4\x23\x4f\x0c\xac\xa9\xf8\x88\xac\xc1\x5c\x31\xd0\xb8\xef"
      "\xbd\xe5\x55\x51\x87\x49\xc8\x4d\xc8\x70\x8c\x6a\xf1\x2c\x2d\x16\x35\x91"
      "\xb4\x5a\xd4\xd5\xb7\x7a\x8c\xc9\xcc\x30\x4a\xf3\xfa\xf9\xf9\x38\xcc\x1d"
      "\xb6\x4a\xd1\x60\x43\x7d\x19\x48\xfb\xc6\x0f\xdb\x82\x17\xab\xf4\x3b\xc4"
      "\x4c\xa1\xd3\x4f\x43\x34\xe0\xdc\x7e\x1d\x53\x4e\x2e\x45\xc8\xa6\xb0\x07"
      "\x1d\xd1\xb1\x02\x87\x59\xfb\x01\x29\xcd\x47\x48\xa3\x79\x6d\x4c\xb0\xe6"
      "\x57\x56\x66\x70\xaa\x7d\x90\x32\x29\xac\x1a\xea\xdf\x49\xdc\xf2\x33\x44"
      "\xff\xe2\x1a\xd0\x8e\xf0\xb5\x1a\xe1\xbd\x57\xb0\xea\xd3\xfd\xa7\x3d\x1a"
      "\x68\xab\x9d\x0d\x4f\x63\xb3\xa0\x07\x6d\x0c\xb7\x4a\x23\x54\xdc\x7b\x5b"
      "\x75\x8d\x2f\xe0\x53\x44\x6a\x64\xad\x81\xca\x51\x95\xf9\xd1\xae\xf3\x3b"
      "\x06\xb4\xb6\xd6\xf5\xd7\xa2\x7b\x6d\x01\xab\x42\x83\xcd\x0a\xaf\xd3\x1c"
      "\x1b\x1e\xd3\x66\x67\xcf\x21\xaf\x2c\x4b\xba\x83\xb5\x0c\x0e\x4e\x61\x95"
      "\x59\x91\x41\xdd\xa8\x7d\x81\xc5\x12\x7f\xbb\x95\xfb\x0f\x0d\x68\x08\xff"
      "\xbe\x03\x15\x1d\x24\x70\xb7\xd5\x89\xec\xb8\x1a\xde\x10\x3c\x3d\xe7\x49"
      "\x61\xbb\x6c\xb0\x01\x7e\x58\x7b\x21\x20\xf2\x23\x76\x9b\xd9\xbb\x18\xe3"
      "\x51\xe9\x8f\xf8\x4d\x1d\xb7\x67\x2a\x90\x49\xf9\x4a\x75\x0c\x58\x39\x6a"
      "\x36\x16\x16\x61\x60\x0c\x3c\xf5\x1f\xb2\x17\xcb\xb3\xc9\x53\xe4\x3c\x15"
      "\x6e\x36\x8a\xd5\x2f\xd0\xa6\x20\x81\xaf\x1d\xd6\x66\x10\x15\xe5\x7b\xfe"
      "\xcf\x45\x0d\x70\x1d\x91\x54\xb8\x0f\xb1\x7c\x91\xd9\xdc\xcf\x50\x3f\xe3"
      "\x5d\xec\xdf\x42\x6f\x37\xd5\x30\x08\xc1\x3d\x2d\x94\x1a\x7a\xdb\x27\xae"
      "\x79\x59\x24\x8b\x7e\x24\x45\xc7\x58\x64\x8d\x30\xa0\x09\x36\xcb\xab\x54"
      "\x69\xf8\x7a\xe3\x11\x94\x0c\xf5\x0e\x68\x8f\x14\x5f\x6e\x08\xea\xb2\xab"
      "\x67\x82\x5b\x05\x6c\x91\x49\xf7\x99\xcd\x55\x93\xd1\x96\x43\x38\x77\xa3"
      "\xb0\x1e\x2c\x6f\x2e\xa7\x09\xc9\xb5\x54\x62\xeb\x4a\xae\x8b\x77\xa9\x4d"
      "\xd8\x7e\xee\x2c\x3b\x5d\xe1\x1c\xb9\x09\xa0\xf6\x40\x22\xe5\x01\x02\x56"
      "\x78\xc9\x2d\xb6\x5a\x29\x28\xe3\xc6\x38\x00\xc8\xaf\x52\x92\xf7\x7f\x28"
      "\x22\xb8\x3f\x25\xa2\x50\x31\x59\xb4\x56\x8a\xc6\xb5\x46\x10\xaf\x97\x0c"
      "\x89\x08\xaf\x57\x42\xd2\x83\xc3\xe6\xf2\x55\x28\xec\xac\xfe\x27\xf8\x1b"
      "\xf9\xe7\x1c\x71\xfa\xdb\x4e\x76\xec\x95\xc6\xc0\xa2\x62\xea\x71\x8d\x54"
      "\x58\x9d\x36\xa7\xe1\x0d\xef\x28\xea\x68\x3c\xb3\x52\x40\xd6\x72\x54\x68"
      "\xe2\x35\x6e\x03\xeb\xdb\x83\x0c\x35\x03\xc4\x03\x6e\x9e\xad\x8e\xab\x18"
      "\xf0\xf5\x89\xf8\x00\x69\x06\x1e\x8d\xc0\xb5\xaa\x96\x96\x89\x84\x11\x75"
      "\x88\xbb\x6c\x65\xde\x42\x7c\x0c\x4a\xe8\xba\x28\xe0\x23\x6a\x47\xb1\xdb"
      "\xac\x15\x70\xdc\x5a\x91\x24\xb0\xad\x87\x0f\x78\xea\xb2\x71\x69\xc1\xf3"
      "\xa0\x4b\x8f\x07\xe5\x68\xef\x30\x94\x06\x01\xc0\xb1\xfb\x13\xe9\x6b\x01"
      "\x24\xf0\xfb\x42\xca\xb0\xf5\x6f\x50\x73\xde\x8d\xf5\x42\x8a\x74\xdf\xed"
      "\x45\x37\x1e\x35\x29\xc5\xd6\x0b\x8e\x05\x2d\xdb\x86\x45\x5e\x30\xcf\x4b"
      "\x68\xcb\xf4\x62\x49\x6b\xe1\xef\xa9\xf5\xeb\xd4\x92\xa1\x34\xa4\xe6\x86"
      "\x6d\x57\x7f\x2e\x3c\x80\xbd\x5d\xec\xd2\x70\x66\x5b\x7f\xbd\xfc\xb0\x12"
      "\xd1\xa5\x4f\x01\x4b\x35\x75\xdf\xd7\x4e\x68\x69\xf0\xf7\x4d\xa7\x92\x8f"
      "\x7e\x92\x89\xa2\x76\x47\xa0\x39\x73\x04\xd5\xf9\x7d\x00\xab\xca\x22\x21"
      "\xe8\x35\x43\x04\x76\x97\xd5\x8c\x24\x2f\x01\xf2\x70\xf2\x71\x53\x54\x5f"
      "\x12\x4b\xad\x90\x75\xbc\x0f\x8c\xf5\xd8\x9f\x61\x4e\xca\xb6\x1c\x8d\x51"
      "\x6c\x62\x7f\xa6\x69\xe6\xc2\x90\xd4\x1f\x25\xe0\xd1\xcd\x75\x58\x39\xdf"
      "\x48\x30\xcf\xc5\x9f\xe1\xea\x65\xda\xf9\xd7\xbe\x84\x58\xd2\x25\xa6\x3d"
      "\x41\x76\x17\x0e\x81\x29\x87\xa1\xe8\x92\x5b\x97\x98\x1d\x94\xb0\x7b\x56"
      "\x0b\x2d\xde\x02\x74\x44\x8e\xfc\x78\x14\x86\x95\xbf\x74\xae\xac\xb4\xae"
      "\xf4\xc9\x4b\x12\xa8\x24\x80\xbd\x52\xb9\x49\x31\x31\x1c\xe4\x4c\xd3\x6c"
      "\xc6\x0a\x56\xcd\x36\x62\x00\xd0\x2d\xfe\x6b\xc6\x6a\x60\x61\x7a\xab\xbf"
      "\x87\x79\x5a\xca\xdb\xd9\x01\x30\xde\xfb\x89\xce\x71\x37\xd6\xc7\x5d\x73"
      "\xf6\xa8\xf6\x44\xa2\x13\x0d\x7d\x7a\x49\x53\x8c\x89\x4c\xc3\x7f\x17\xba"
      "\x44\x85\x0d\xc7\xe7\x3c\x0c\x8f\xd5\xec\xf1\x0a\x04\xfc\x20\x94\xb6\x7c"
      "\xc1\x23\x04\x77\x7d\x71\xf4\x22\x48\xb0\x3f\xe8\xd8\x49\xc1\x72\xe4\xa3"
      "\xdc\xbb\xb7\x76\x19\xbd\x5c\xd0\x9b\x38\x38\x13\x80\xea\xc0\x80\x0a\x3b"
      "\x20\xf6\xd9\x29\x09\xdd\x31\xec\x3f\xab\xaa\x82\xa2\xd1\x62\x6a\xda\x5e"
      "\x3b\x9e\x84\x8c\xfa\x18\xb6\xd5\xb6\xa8\x24\x26\xaf\x3c\x7c\xd9\x06\x17"
      "\x5b\x6c\x18\x82\x03\x98\x97\x48\x2d\x18\xc5\x9b\xd2\xb1\x10\x9d\x62\x9f"
      "\xfb\x5e\x29\xc8\x9f\x0f\x7c\xc0\x6a\x9a\x04\x9f\x26\x78\xdf\x3d\xf7\xf1"
      "\x79\x6e\x6d\x25\x6c\x1f\x9d\xaa\x08\xa8\x91\xd6\x75\x9e\xa9\xfe\x83\xcf"
      "\x82\x61\xc3\x0f\x68\xd0\x8d\x4f\x34\x7d\x5d\x59\x22\xfa\x76\xc3\x7d\x74"
      "\x76\xd8\x96\xf5\xcc\xa2\xd5\x37\x70\x97\x51\x7f\x9f\xe4\x9f\x48\x75\xd7"
      "\x83\xff\x19\xf1\x1f\x33\x2a\x61\xf1\x8c\x23\x70\x30\x7f\x7d\xdc\xe5\xa8"
      "\x87\x03\x25\xe0\x5e\x12\xd2\x4a\x87\x6b\x2e\xe0\x0d\xa2\xcf\x67\xc3\xc5"
      "\x59\xc3\x94\xb0\x72\x93\x80\x88\xa3\xd6\x43\x82\x67\x4d\xfc\xd9\x64\x4d"
      "\x55\x2f\xcb\xbd\x7c\x1f\xce\x4a\x77\xaf\xbe\x8a\x14\x79\xc3\xfa\x30\xd7"
      "\x30\x64\x91\x84\x68\xac\xef\x39\xaa\x96\x01\x8b\xbf\xdc\x48\xf5\xb2\xa2"
      "\xc1\x94\xc7\x8f\x6d\xc8\xef\xc8\x5f\x76\xd7\x87\xc7\x9d\x1f\x75\xd9\x7b"
      "\x25\xda\x2d\x6e\xaa\x13\xef\x67\x23\x66\x8c\x09\xa3\xe0\x34\x67\x50\xa6"
      "\xdb\xd3\xd4\x71\xc2\xb8\x36\xca\xb8\x6f\xba\x06\x39\x5d\x03\x7c\x2c\x8a"
      "\x30\x00\xab\x71\x6a\xb8\xb7\xfe\x1f\xbc\x60\x1e\x99\xf0\xba\xc1\x07\x8b"
      "\x2f\xb1\x6a\xca\xa4\xb2\x68\x81\x5e\x15\x05\x85\xf4\x8c\xf1\xa3\x9e\xc6"
      "\x45\xe7\x06\x05\x61\x04\x57\x95\x3a\xcc\xec\x14\x9f\x32\xf3\x52\xdf\x4d"
      "\x1d\x20\xfc\xe8\x30\x9a\x2e\xfa\x8f\x39\xbd\x1a\xac\xd5\x44\x75\x79\x2b"
      "\x73\x6c\xd1\x50\xbd\xd5\x8f\x5c\x17\xeb\x51\x9b\x37\x0f\x68\xfe\x40\x1f"
      "\x46\x24\x09\xf6\x65\x98\x09\xe6\xd0\x38\x19\x57\x9e\x46\x8f\x66\xfe\xed"
      "\x5a\x52\x01\x9a\x07\x97\xe7\x3c\x95\x46\x8b\xc5\xf7\x64\xca\x4c\x74\x15"
      "\x04\x84\x64\x78\xd7\xb8\x52\x6e\xfe\xe0\x7d\x7f\xde\x90\xd3\xaf\x26\xe6"
      "\xc2\xa8\x39\x5b\x22\x4a\xc0\x2f\xe0\x48\xa3\xc1\x4b\x77\x11\xdc\x67\x6f"
      "\x49\xae\x2b\x34\xbc\x6b\x6e\xf6\xeb\x52\xae\x49\x14\x84\xf8\x7f\x5c\x7d"
      "\x03\xeb\xef\x3d\xc1\x27\x55\x14\x3c\x63\xfb\xf2\x05\xca\xb7\xf2\x7b\x38"
      "\x3f\xbe\xd3\xa9\x78\x18\x1a\x28\x20\x9e\xe5\x5e\x45\xf6\x54\x0b\xee\xf1"
      "\x1a\x32\x60\x14\x4e\x10\xc1\x9e\xe4\xd3\x15\x33\xe2\x9d\x91\x1e\x6b\x56"
      "\xd7\xd9\x4c\x53\xd8\x99\x35\x15\x74\x51\xe2\xce\x26\x14\x82\xfe\xaa\x10"
      "\x40\x51\xd6\xb9\xcf\x5d\x3f\x33\xef\x0d\x92\x15\xe3\xb1\xaf\x2f\xa1\xa6"
      "\x8f\x39\x08\xab\x49\xff\xfe\xf3\x04\x7a\x7e\x37\x77\xa5\xa4\xa7\xb8\xa2"
      "\xfd\x13\x1b\x05\x9d\x5c\xd4\xa9\xae\x88\x15\x15\x91\xc7\xa8\xf8\x04\x6f"
      "\x14\x93\xe8\x8d\x98\x46\xee\x3a\x4d\x18\x08\x1f\x6f\xc9\xd0\x56\xa8\x0c"
      "\x0f\x3b\x1d\xb8\x58\x35\xfb\xb1\x84\xee\x7a\x9a\x75\xde\x11\x86\xfe\x4d"
      "\x53\xab\x17\xb3\x18\x7b\xd3\x60\xa7\xf1\xc7\xf1\x4a\x8c\x3a\xbc\x9c\x63"
      "\x17\xf7\xf5\xfc\xcd\x2d\x1c\x15\xd4\x86\xc0\xd6\x50\x75\xc3\xb7\xc8\x92"
      "\xff\x96\x35\x88\x6a\xc6\x36\xda\x49\xf8\xd9\xf7\xe6\x86\x23\x21\x2c\x69"
      "\x5c\xf1\xd6\x6e\x1e\x68\x17\xfe\x30\x32\xac\xf5\xd2\xf6\xee\x4b\xb5\x3f"
      "\xcf\xc4\x90\xcb\x50\xca\x32\x98\xe8\x6a\x2e\x63\x17\x25\x22\x0e\x87\x79"
      "\xac\xf4\xbe\x7d\x2b\x89\x8e\xdf\x66\xe5\xba\x68\xc7\x24\x22\xaa\x79\xc4"
      "\x21\x32\xb5\x73\x83\x40\xbd\x60\x0b\xf4\x5d\xb2\x3a\x7e\xf1\x1e\xbc\xd7"
      "\x25\xa6\x99\x31\x4a\xf6\x19\xa9\x98\x98\x04\x06\x46\x6c\x61\x6a\xd7\xb3"
      "\x1d\xc1\x3c\xa2\x9e\x8e\xf5\x5b\xb3\x91\x06\xa8\x99\x6f\xf6\x77\x4e\x03"
      "\xb1\xeb\xdf\x7a\xb0\x8f\xd5\x40\xe7\x31\xef\xd8\x9e\x38\xfd\xf2\xd1\xff"
      "\x1d\x79\x5a\xb8\x01\x95\x43\xe3\xd7\x02\x2d\x20\xe4\xc3\x79\x75\x35\x17"
      "\xdc\x91\xdf\x39\xd0\x0a\x36\x08\xdb\x47\xe9\xb6\x1d\x40\xcc\x3e\x34\x11"
      "\x70\xa7\x6a\x5d\x89\xf2\x8d\x65\xfa\xf4\x1e\x87\x03\x3b\xef\xbf\x36\x53"
      "\x0c\xf4\xd6\x38\xf9\x74\x97\x3b\x26\x23\xa1\x9e\xbf\xe3\xf3\x44\x3a\x92"
      "\x0e\xdf\xd7\xc8\xab\xd8\xbf\x91\x92\xff\x2d\xb0\x78\xab\x9a\x20\x50\x7b"
      "\x3e\xb5\x4b\x73\x68\x77\xd2\xb2\x6b\x8e\x21\xae\x7d\xf7\xa2\xb5\x57\xde"
      "\x6e\x04\xe5\x76\x0c\xfa\x81\xc1\xba\x0e\xb9\x73\x4c\x05\xbe\x56\x7b\x25"
      "\xbb\x1f\x28\x39\x62\x22\x9d\x0a\xf9\x29\x2d\x28\x45\xf7\x18\xe3\x6e\x53"
      "\xbb\x5a\x64\xeb\x2b\x94\x89\xcb\x3d\x5b\x73\xaa\x5d\x1f\x62\xa3\x47\xab"
      "\x21\x45\x9b\xe6\xb0\xe2\x67\x88\xda\x9b\x97\x28\x8a\x74\x88\x21\x1b\x87"
      "\xa6\x90\x60\x7d\x2d\xd7\xd4\xca\xcf\x1d\x45\x64\xd3\x15\xbb\xc8\xbf\x2a"
      "\x42\x61\x01\xb6\x79\x40\x38\x7a\xa4\x88\xad\x80\x0a\x61\x37\x9e\xf7\xc9"
      "\xd7\x0f\x46\x24\x87\x16\xb0\x28\x86\xec\x58\xbf\x7e\xc7\xae\x7f\xc8\x84"
      "\xb4\x98\xe3\xfd\x09\xdf\x63\xe9\x06\x06\x38\x1a\x00\x50\x57\xc5\xa3\xb3"
      "\xe2\xbd\xfa\x9d\x3e\x8d\xc4\xc4\x13\xcd\xbf\x44\xae\xf2\xc4\x8d\x76\xbf"
      "\x19\x27\x13\x59\xdc\x56\xaa\x06\x60\xfb\xd5\x52\x3b\x6d\xde\xb7\x6c\xf2"
      "\x8d\x50\x40\xfd\x2f\xc5\x98\x16\x00\x8b\x13\xc9\x38\x03\xe9\x7d\x55\x1a"
      "\x4f\xf6\xb0\x55\x7b\x80\x90\x6c\x90\x1e\x83\x65\x4b\xf5\x61\x50\x8e\xc8"
      "\x58\x6b\x68\x80\x45\xb9\x07\x20\x88\x1a\x39\xd1\x33\xe2\xf0\x96\x9c\xc3"
      "\xa1\x79\xc6\xfe\xed\x69\xdd\x8f\x89\x6e\xc1\x34\xa6\xbd\xea\x81\x56\xe3"
      "\x1f\x4e\x6f\x43\x30\xca\xaa\xdf\x1c\x76\x5a\x24\x31\x1f\xc1\x98\xfd\x40"
      "\x11\x2b\x87\x1c\x8d\xfa\x8b\x9e\xc1\x2a\xba\xbe\x7d\xce\x06\x34\x93\x56"
      "\x9d\x69\x5f\x09\x37\x30\x59\xd2\xeb\x6d\x60\xa2\x36\x3d\x64\x63\xb0\x70"
      "\x19\x6a\x05\x3f\x48\xdf\x85\xa1\x72\x9b\x51\x3b\xa8\xc7\x56\x74\xd2\x7b"
      "\x1f\x1b\x0c\xc9\x37\x63\xd8\xfa\x6e\xa1\x45\x76\xff\xaf\x1f\x7f\x71\x55"
      "\x4e\x38\x9c\x7b\x16\x21\x54\x7d\x4d\x98\x82\x97\xb0\x44\xfb\x08\x9d\x26"
      "\x8f\xf5\x05\x8b\x5a\xdb\xae\x5f\xc7\x5b\x9b\xd1\xf1\x09\x71\xe1\xd0\x55"
      "\x07\x0e\xc8\x08\x41\xf2\x1a\x59\x0d\x9f\x74\x3c\x2b\x27\x83\x0f\x93\xff"
      "\x4a\xfb\x1d\x9d\x03\x11\x61\x21\x05\x85\xf8\x8d\x80\xe5\x0f\xbe\xce\x83"
      "\x4e\x32\x92\x48\xa2\xb4\x06\x06\xb2\xe7\x6e\x8d\x92\xe0\x76\x64\x66\x47"
      "\xce\x33\x20\x24\x1b\x70\x0c\x17\xd5\x9c\x25\x1c\xd2\xfb\xf8\xd4\x9e\x29"
      "\xae\x85\x9b\x26\xe8\x44\x03\x76\x32\xf9\x80\xd8\x3f\x31\x8b\x74\xa5\x87"
      "\x0c\x4b\x75\x02\x87\xb7\xfd\x15\xef\x87\xe3\xdf\x22\x34\x51\x2a\x70\x11"
      "\xdf\x63\x08\x3f\x9c\x58\x59\xe4\xf1\x05\x12\x5a\x19\x56\x4a\x8e\x9a\xf1"
      "\x2b\xe0\xa6\x78\x7c\xf4\x1e\xd1\x2c\x57\x04\xbf\x86\x9e\xc5\x86\xf6\xbb"
      "\x8b\x8d\xec\xfb\x95\x58\xf9\x4d\x0a\x77\x1e\x51\x88\xca\xcb\x9c\x7c\x4b"
      "\x8b\x8a\xa5\x0b\x20\xa5\xa4\x91\x35\x7b\x5d\xf8\x7d\xc6\xb3\x53\x06\x00"
      "\xa9\x2b\x92\xc4\x8c\x01\xa7\xf7\x14\x4c\x16\x26\x00\x6e\x82\x0d\x05\x0f"
      "\x3c\x70\x02\xab\x6a\x32\xef\xc1\x8a\x20\xc1\xc2\x16\x90\xf1\xf4\x3a\xbe"
      "\xeb\xa4\x2d\x8b\xaa\x2e\x77\xb4\x5a\x7b\xaf\xc6\x7f\xb3\x7b\xe4\x26\x2c"
      "\x7a\xf2\x16\x09\x46\x55\xee\x62\x27\x12\xd4\xc8\xbd\x3d\xb7\xd9\x7e\x5d"
      "\x2a\x3b\x30\x89\x1f\x32\xb4\x9f\xd3\xc6\x43\x36\xaf\x56\x2c\x56\xf4\x9d"
      "\x75\x5a\x20\x44\x6a\x3b\xb3\x9e\x12\x7c\xfd\x55\x4b\x96\x82\xc7\x0e\x33"
      "\xf2\xfa\x88\x24\x96\xb5\xc6\x8d\x85\xe9\x42\x21\x0d\x9f\x1d\xe1\x62\x3c"
      "\x96\xa3\x4d\x1e\x4f\xd7\xad\x75\xc9\xc1\xcf\x72\x11\xb1\xef\x93\x96\xef"
      "\xa5\x9e\xc2\x72\xbb\xcd\xa4\x26\xd2\x43\xb6\xcc\x66\xfc\x2c\x19\x20\x80"
      "\xeb\x4e\x52\x34\x72\xf4\xe5\x67\x0c\xb1\xf6\xfb\x7e\x35\x70\x22\x2e\x94"
      "\x53\x09\x71\x12\x52\xae\x1c\x87\x07\x55\xdb\x92\x3a\xc6\x9c\x1c\xd2\x90"
      "\xb8\x35\xd5\xf2\x31\xc7\x83\x4b\x4a\x1d\x71\x67\xc4\x2b\x81\x2d\xb0\x27"
      "\xe4\x45\xf7\x8c\xdc\x7c\xcb\xb8\x61\xfd\x89\x98\x4a\x92\x0f\xc6\x9b\xf5"
      "\x4b\x8f\xd1\x8c\x19\xff\xc5\xce\x5b\xe3\xcb\x5f\x91\x6d\x48\x38\x20\x47"
      "\x1c\x0c\xb8\x1c\xa8\x28\x70\x6b\x9b\x05\xe1\xc3\x44\xb5\x63\xe6\x46\xf8"
      "\x0c\x0e\x20\x32\x46\xcb\x96\xbf\xe4\x97\x8d\xb0\x0f\xb8\xa0\xc6\x6d\x6f"
      "\x77\xe3\x9e\xc6\xde\xc4\xe0\x11\xef\xda\x43\xe1\x03\xe1\x11\x86\xd3\x21"
      "\xbe\xe5\x9e\x08\x1b\x87\xaf\xdc\x4d\x39\x4d\x57\xbb\xc1\xf2\x07\xd0\x09"
      "\xde\xb1\xcb\x3c\x1c\xd1\xc8\xc3\x23\xf5\x97\xbb\x68\x71\x31\x1d\x46\xef"
      "\x0a\xd7\x2f\x16\xa8\x91\x2c\x56\x6f\x18\x03\x83\x37\x5c\xa1\xb4\x95\x75"
      "\x35\x7a\x3e\xe7\xf5\x72\x80\x13\x03\x09\x13\xe4\xf7\x1c\x71\x57\x5f\xb9"
      "\x2b\xe6\x2e\x60\x9b\xcd\x9b\x96\x64\xe6\x0d\xf7\x3e\x91\x59\xaa\x1a\x34"
      "\x02\xb6\xb9\xe3\x3b\xcf\xb6\x00\x1b\xa8\x7e\x67\xe8\x5f\x68\x16\x3d\x49"
      "\x6f\x45\x4f\x6c\xfa\x5d\x44\xad\xd6\x16\x07\xa2\x99\xbd\xdb\x2e\x05\x6e"
      "\x0b\x3a\xda\xf9\xed\xc7\x71\x9e\x1b\x68\x77\x9f\xb1\x40\xf6\x9b\xd2\x73"
      "\x33\x90\xb6\x59\x8e\x6a\xa0\xd3\x93\x2c\x46\xd5\xd8\x29\xc4\xcc\x0f\x3f"
      "\xd1\xd8\x96\x6b\x1c\x44\x80\xc4\xa8\xf9\xaf\xb0\x65\x3f\x9a\xe5\x50\x9d"
      "\x9e\xbc\x3e\xba\xe2\x1c\xa9\xaf\x78\xc4\x8c\xff\x27\x37\x1e\xe5\xb9\xf7"
      "\x0b\x9e\x6b\x7e\x88\x51\x64\x58\x31\x50\x42\x01\x6b\xd7\xab\x07\x6f\xd0"
      "\xef\x1e\x5d\x0b\x93\x9c\xfb\xca\x5d\xc1\x96\x0c\x17\xc1\x27\x4c\xf4\xff"
      "\x3e\x9f\xdd\xfe\x13\x33\x8d\x60\x22\xe0\x4e\x7e\x88\xb8\x91\xb6\x31\x1c"
      "\xba\x8b\x40\xa3\x3a\xa3\x85\x65\x63\xa6\x97\xe6\x95\xce\x6f\xf0\xdc\xa7"
      "\xde\xcd\x6f\xc9\x5c\xbc\x5a\xa3\x52\x7b\x78\xc9\x85\xd9\xe1\x61\xcc\x12"
      "\xac\x75\x9a\x14\x2d\x29\x34\x9a\x97\x7b\x16\x2a\xf5\x41\xe6\xfb\x36\xbe"
      "\x1e\xed\xe6\x1e\x24\x45\x3c\xa8\xff\xae\x63\x74\x28\x3f\xf3\x3a\x08\x0c"
      "\xe7\x85\x36\xc0\x9a\x00\xaa\x0c\x02\x71\x08\x3d\xc8\xff\x89\x25\xa7\x1c"
      "\x85\xd6\x6e\x85\x62\xde\x27\x1a\x81\x16\x7a\x8b\x12\x87\xe9\x55\x9b\x9f"
      "\x00\x08\x97\x29\xc9\x8d\xac\xf9\x0d\x6d\xda\x99\x06\xa9\xa2\x18\xe8\x88"
      "\x49\xf1\xe9\x42\x0b\x93\xa3\xa9\xb4\x70\x03\xcb\xb3\x7c\xfc\xba\x02\x45"
      "\x6a\xb8\x0d\x1d\xb7\xd7\x4e\x38\x5d\xf3\x66\x2a\x9c\x69\x99\x39\x65\x8d"
      "\x51\x98\x01\xb9\x79\xf9\x7a\x9c\x09\xbe\xb4\xf5\x68\xdd\x78\x26\x47\x14"
      "\xa4\xbd\xb5\x9b\x99\x65\xde\x2e\xf5\x6f\x58\x3f\xe9\x54\x4f\x27\xb2\x56"
      "\xb2\xf4\xc4\x70\x00\xf4\x86\x48\x19\xd5\xc8\x98\x44\x78\x4e\x79\x6c\x90"
      "\xd9\x9e\x5f\x17\x50\x61\x79\x07\x87\xd5\x7b\x5f\xe5\x96\x0a\xdd\xea\xfd"
      "\xb6\x8c\x57\xf7\x73\x38\x9e\xce\x63\x98\xe7\x2f\x51\x4f\x42\xec\xb4\x59"
      "\x14\x78\x4a\x89\xbd\x4e\x65\xd8\x5e\x0e\x8d\xd3\x08\x32\xc4\x80\x45\x6d"
      "\x33\xfc\xd4\x1b\x89\xca\x3c\x85\x36\x95\x2b\xfe\x9b\xe3\x75\x66\x5b\x89"
      "\xef\xa1\x75\x3a\xb0\x3a\x29\xee\x2a\xa2\xdc\x72\xc2\x94\xd5\x3e\xf5\x8a"
      "\x8a\x3d\x7e\x48\x7b\x7c\xd8\x71\xdf\x97\x80\xde\x74\x23\x38\x16\x73\x2d"
      "\xc7\xcc\x7e\x02\x85\x73\xcf\x34\xfe\xdd\x6f\x6c\x1d\xda\x57\xc7\x05\xd2"
      "\xff\xe9\x1d\xd7\x5f\x7a\xa2\x9e\xe1\xbc\x92\xd5\x93\xc6\x22\x66\x07\xa5"
      "\xad\x57\xf8\xd2\x10\xbc\xdd\x1d\x9f\x19\x22\x52\x1f\x59\x3c\xde\xc3\x06"
      "\x26\x63\x62\x24\xfe\x2f\xe5\x32\xff\xde\x16\x54\x5d\xe4\x71\x35\xbf\x4b"
      "\xa9\x14\xde\xb8\x0a\xec\xc5\x43\xef\x45\x5e\x4a\xe5\x38\x46\xf1\x64\xf2"
      "\x2c\x82\x59\x6d\xc1\x20\x02\xaf\xf4\xc0\x90\xbc\xad\x91\x10\xcb\xca\x34"
      "\x07\x00\x23\xb5\x7f\x0e\xb0\xb8\x8b\xd3\x46\x24\xf2\xb7\xac\x21\xc1\xb4"
      "\xf6\xfe\x15\xc0\x65\x33\x03\x81\xc4\x46\x45\x33\xb8\xc7\x84\x38\xc1\x49"
      "\x85\xf7\x03\x89\x0a\xcb\x13\x99\xb1\x61\x77\x1e\x43\xd3\xd2\x1e\x71\x3c"
      "\x41\xde\x2f\xf5\x07\xd6\xb6\x01\xa2\x70\xa3\x59\x49\xaf\xf0\x9b\xf0\x99"
      "\x47\x8a\xd0\x49\xb8\x9e\xcc\x4b\x62\x63\x9b\x72\xd7\xb9\x07\xe8\xba\x5e"
      "\x31\x34\x1d\xbc\x71\xfa\x3a\x22\x8e\x00\xbd\xae\xac\x2c\x90\x46\xec\xa6"
      "\x9c\xee\x1c\xab\xc0\x61\x1b\xb0\x01\x5a\x6a\xef\x8d\x37\x9c\x07\x61\xfe"
      "\xb8\xbf\xe2\x20\xf2\xb8\x3b\x1b\x12\xd4\xf6\x99\x72\xcc\x90\x20\x9f\x69"
      "\xda\xf1\x55\xe7\xfe\x14\x54\x92\x3d\xff\xbe\xd4\x97\xbf\x7e\x51\x22\x4c"
      "\x49\x00\x8d\xe9\xad\xcc\x81\x0d\x2c\x61\xea\x2f\xf9\x29\xf8\x5e\x7e\x92"
      "\x6a\x8b\x37\x62\x8f\xb5\xbe\xf5\x48\x11\x8e\xbe\x63\x70\xa2\x02\x90\x7f"
      "\x23\x62\x49\x00\xd2\x70\x9b\x95\x95\xbf\x7e\x6b\x2b\xce\xc7\xba\x6e\x6a"
      "\x07\xf7\xa1\xbe\xde\x79\x4e\xf3\x70\xcb\x2d\x35\x9c\x35\x42\x43\x03\x95"
      "\x7b\xfc\xf4\xa9\xc2\x42\x2d\x32\x2c\xb9\x7d\xf8\x51\x46\xd0\x1c\xf8\xe1"
      "\xf1\x0f\xfe\x2f\xf4\x61\xab\x89\x1f\x8c\xd4\x9c\xdc\x15\x93\x1b\x17\x72"
      "\xa9\xf1\x4f\x89\x16\x9e\x40\x92\x95\x9a\x0e\x26\x72\x47\x2d\x8a\xe1\x75"
      "\xaf\x6d\xad\x03\x6b\xef\x59\x6c\xdd\xa6\x9a\xad\xce\x8e\x24\xa2\x09\x8f"
      "\xcb\x65\xf3\x3a\x67\x07\x55\xbd\x48\x10\x53\xb3\xa7\xe2\xd7\x50\xf1\x89"
      "\xf6\xc0\x75\x9e\xd1\x95\x20\xa4\x3f\x4f\x3b\x07\xfd\xf4\xf2\x4a\x69\x6a"
      "\x95\x6a\x36\x51\x48\x84\x3f\x21\x7b\x44\x71\xaa\x78\x3f\x2f\x8d\x55\xa1"
      "\x4d\x99\x8d\x27\xa4\x76\xfc\x5a\x4e\x89\x4a\x41\x56\x70\xa3\x70\x9c\x90"
      "\x3a\x73\xef\xb6\xc4\xe5\x44\x05\xda\x69\x2a\x6e\xeb\x44\x8e\xec\x4e\xed"
      "\x68\xdb\x06\x40\x95\x5d\x80\xd7\x4f\x46\xf9\xfd\xd1\xac\x26\xca\xc3\x04"
      "\x59\x3e\x38\x3e\x89\x3d\x17\x50\x63\x96\x7f\xf1\x59\xd2\x4c\xe2\x48\x3c"
      "\xa0\x87\x25\xa8\x0f\x1a\xbd\xb5\xff\x46\x8d\x71\xce\x1e\x2b\xce\x45\x81"
      "\x28\xba\x17\xa1\x20\x63\x60\x2b\x99\x34\x5c\xa3\x9b\x7e\x60\xd9\xab\x53"
      "\x3d\xb9\x6e\x4d\x04\x25\x73\x95\x05\x71\xd4\x8a\x49\x09\xa8\xa9\x17\x43"
      "\x36\x46\xdb\xe6\x8f\x21\x9d\x53\x9d\x87\x0a\xe3\xf9\xf4\x01\x1b\x38\xc7"
      "\xb7\xd2\xc9\x79\xd9\x63\x16\xe0\x1d\x85\xf9\x32\x8b\x7c\xe1\x6e\x1d\x30"
      "\x96\x9a\x7f\xd3\xcb\x91\x04\x87\x28\xcd\xf0\x27\x32\x81\xf3\xd5\xe8\xa4"
      "\xd7\xf4\x90\x48\x0a\x71\xdb\x36\xf8\x7d\x70\x59\xa1\x35\x89\xd5\x6b\x2b"
      "\xb9\xc6\xa7\xaf\x4b\xc4\x58\xc8\xd4\xcb\xa2\x9c\xf2\x44\xc1\xad\x47\x2e"
      "\x8f\xcf\xd2\xbb\xaa\x52\x85\x4d\x40\x9c",
      4096));
  NONFAILING(memcpy(
      (void*)0x20001e40,
      "\x78\x9c\xec\xdd\x4f\x6c\x1c\xd5\x19\x00\xf0\x37\x6b\xaf\xed\xc4\x26\x5e"
      "\x03\x05\x03\x25\xa4\xd0\x8a\x40\xc1\x0e\x49\xa4\xa6\xb7\x20\x50\x8f\x88"
      "\x4b\xef\xa0\x90\xd0\x08\x43\x51\x43\x0f\x44\xfc\x09\x3d\x20\x2a\x21\x8a"
      "\x84\x38\x55\x1c\xa8\xb8\x50\x2a\xa5\x48\x45\x02\x55\xaa\x50\x4f\x6d\x4f"
      "\xad\x7a\xeb\x09\xf5\x42\xa5\x2a\x95\x82\x7a\x68\x23\x25\xae\xb2\x79\x6f"
      "\xbd\xfb\x9c\xe9\xae\xc7\xf6\xac\xbd\xfb\xfb\x49\xdf\xbe\x7d\xf3\x66\xe7"
      "\xfb\xc6\x1b\x39\x33\xe3\xd9\xb7\x01\x18\x5b\x8d\xf6\xe3\xd1\xa3\x8b\x45"
      "\x08\xef\x7e\xf6\xce\xa3\x2f\x3f\x55\x7c\x72\x75\xd9\x5d\x9d\x35\x0e\xb4"
      "\x1f\x8b\xd8\x6b\x85\x10\x9a\x5d\xfd\x22\xdb\xde\x17\x71\xc1\xe5\x8b\x2f"
      "\x9d\xb8\x5e\x5b\x84\xc3\xed\xc7\xd4\x0f\x8f\x5d\xe8\xbc\x76\x36\x84\x70"
      "\x2e\x1c\x08\x9f\x87\x56\xf8\x68\x79\xe5\xab\x0f\xdf\x7b\xe4\xe0\xc7\xaf"
      "\xcf\xdc\xf2\xd6\xd9\x67\x5e\xd9\xa6\xdd\xef\xc8\xf7\x03\x00\x00\x46\xd1"
      "\xf9\x3f\xad\xfc\xed\xbe\x7f\xfc\xf1\x81\x85\x4b\xe7\xf7\x1f\x0f\xd3\x9d"
      "\xe5\xe9\xf8\xbc\x15\xfb\xb3\xf1\xb8\xff\x50\x3c\x50\x4e\xc7\xcb\x8d\xd0"
      "\xdb\x2f\xba\xa2\xdb\x54\xb6\xde\x44\x8c\x46\xb6\xde\x44\xb6\xde\x64\x96"
      "\x67\xb2\x24\x5f\x33\xdb\x4e\xb3\x64\xbd\xa9\x3e\xf9\x26\xba\x96\x5d\x6f"
      "\x3f\x01\x00\x00\x60\x37\x4a\xe7\xb5\xad\x50\x34\x96\x7a\xfa\x8d\xc6\xd2"
      "\xd2\xb5\xf3\xfe\xab\xbe\x98\x9f\x2a\x96\x9e\x3b\xbd\x72\xea\xcc\x90\x0a"
      "\x05\x00\x00\x00\x2a\xfb\xf7\xab\xed\x9b\x6e\x85\x10\x42\x08\x21\x84\x10"
      "\x42\x08\x31\xc2\xb1\x3a\x3f\xec\x2b\x10\x00\x00\x00\xc0\xb8\xc9\xe7\x0b"
      "\x5b\xe7\xdc\xd6\xce\xd4\xd5\xd9\x5a\x6b\xb0\xfc\x17\x1e\x6e\x5c\xff\xf5"
      "\xb0\x05\xea\xfe\xf7\x2f\xff\xee\xca\xff\xc1\x6b\x7e\xe3\x00\x00\x50\xdd"
      "\xa8\x1e\x4d\xa6\xfd\x4a\xc7\xd1\x69\x1e\x83\x7c\x1e\xc1\x89\xec\x75\x1b"
      "\x3d\xfe\x6f\x64\xdb\x99\xdc\x60\x9d\x65\xf3\x0a\xf6\x2c\x2f\x76\xee\xdb"
      "\x54\x56\x7f\xfe\x73\xdd\xa9\xca\xea\xdf\xe8\xfb\x38\x2c\x65\xf5\xe7\xf3"
      "\x61\xee\x54\x65\xf5\xe7\xf3\x74\xee\x54\x65\xf5\x4f\xd7\x5c\x47\x55\x65"
      "\xf5\xcf\xd4\x5c\x47\x55\x65\xf5\xef\xa9\xb9\x8e\xaa\xca\xea\xdf\x5b\x73"
      "\x1d\x55\x95\xd5\x3f\x5b\x73\x1d\x55\x95\xd5\x3f\x57\x73\x1d\x55\x95\xd5"
      "\x7f\x43\xcd\x75\x54\x55\x56\xff\xbe\x9a\xeb\xa8\xaa\xac\xfe\xdd\x72\x5b"
      "\x6d\x59\xfd\xad\x9a\xeb\xa8\xaa\xac\xfe\x85\x9a\xeb\xa8\xaa\xac\xfe\x1b"
      "\x6b\xae\xa3\xaa\xb2\xfa\x6f\xaa\xb9\x8e\xaa\xca\xea\xbf\xb9\xe6\x3a\x86"
      "\xe5\xce\xd8\xa6\x9f\xc3\xfe\x6c\xbc\xfb\xfc\x39\x3f\xa7\xdb\x2d\xe7\x78"
      "\x00\x00\x00\x30\xee\xfe\x6b\xfe\x3f\x21\x84\x10\x62\x5d\xb4\xef\x83\xd8"
      "\x01\x75\x08\x31\xda\x51\xec\x80\x1a\x84\x10\x62\x7c\xe2\xd5\x61\x5f\x80"
      "\x00\x00\x00\x00\x86\x2e\x7d\x2e\x20\x7d\x00\x7d\x35\x4a\xe3\x13\x7d\xc6"
      "\x27\xbb\xc7\x67\xd6\x56\x48\xe3\xcd\x3e\xaf\x9f\xea\x33\x3e\xdd\x67\x1c"
      "\x00\x00\x00\x08\xe1\xb7\x6f\x9c\xba\xed\xed\x62\xed\x73\xfe\x9b\x9d\x0f"
      "\x2f\xcd\x1b\xb5\x27\x7c\x72\x25\x54\x98\xc7\x28\x9f\xe8\x6e\xa3\xf9\x37"
      "\x3b\xef\xd9\x66\xf3\xef\x96\x79\xcb\x00\x00\x00\x18\x2f\xc5\xf7\x3e\xbf"
      "\x72\xff\xa3\xef\xbf\xb0\x70\xe9\xfc\xfe\xe3\x5d\x67\xbf\x57\xe2\xf9\x6e"
      "\x9a\x07\x74\x32\x5e\x1b\xf8\x34\xf6\xd3\x7d\x01\x73\x59\xbf\x48\xe7\xd0"
      "\xc7\x7b\xf3\x34\x4a\xd6\xcb\xaf\x0f\xdc\x50\xb6\xbd\xc7\x37\xb9\xa3\x00"
      "\x00\x00\x30\xc6\xd2\xf9\x7b\x2b\x14\x8d\xa5\xae\xf3\xee\x56\x68\x34\x96"
      "\x96\xd6\xce\xc7\x17\x43\xb3\x38\x75\x7a\xe5\xe4\xa1\xd8\x4f\xdf\xcf\xf2"
      "\x87\xf9\xe6\xf4\xd5\xe5\x0f\xd5\x5c\x37\x00\x00\x00\x30\xb8\xb5\xf3\xfd"
      "\xeb\x9f\xff\xa7\xef\xf1\x5d\x0c\x53\xc5\xd2\x73\xa7\x57\x4e\x9d\xb9\xd6"
      "\x9f\xeb\x2c\x6f\x36\xba\xaf\x0b\xcc\xaf\x2d\x2f\xba\xaf\x0b\xb4\xb2\xe5"
      "\x87\x4b\x96\x1f\x89\xfd\xf4\xfd\x9d\x3f\x98\xdf\xd3\x5e\xbe\x74\xe2\x87"
      "\x2b\x4f\x6d\xf5\xce\x03\x00\x00\xc0\x98\x38\xf3\xe2\xd9\x67\x9e\x5c\x59"
      "\x39\xf9\x23\x4f\x3c\xf1\xc4\x93\xce\x93\x61\xff\x66\x02\x00\x00\xb6\xda"
      "\x97\x5f\xbe\xd3\xfc\xf1\x91\xb9\xdf\x5d\xfb\xfc\xff\xda\xfc\x77\xe9\xf3"
      "\xff\x07\x62\xbf\x15\xe7\xf6\xfb\x73\x5c\x21\xdd\x27\x90\x3e\x07\xb0\xee"
      "\xf3\xfa\x4f\xf4\xe6\x99\x2f\x5b\xef\xf9\xde\xf5\x5a\xd9\x7a\x13\x31\xa6"
      "\xb3\xba\x67\xba\xb6\x13\xda\xf3\x0d\xf6\xbe\x6e\xa1\x2c\x5f\xab\x77\x3b"
      "\x53\x25\xf9\x66\xb3\x7c\x73\x59\xbe\x7c\x9e\x82\xc9\x6c\xfd\x94\x6f\x5f"
      "\xb6\x3c\x9f\x9f\x30\xad\x37\x9f\x2d\xcf\xe7\x61\x9c\xcc\x72\x14\x59\xfe"
      "\xbb\x03\x00\x00\x00\x94\x5b\x7e\xe1\xd9\xe7\x97\xcf\xbc\x78\xf6\xc1\xd3"
      "\xcf\x3e\xf9\xf4\xc9\xa7\x4f\x3e\x77\xe4\xf0\xb1\xef\x1e\x3b\x76\xe8\xa1"
      "\xef\x3c\xb4\xdc\xbe\xaf\x7f\xb9\xfb\xee\x7e\x00\x00\x00\x60\x37\x5a\xbb"
      "\xe9\x77\xd8\x95\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\xc0\xf8\xaa\xe3\xeb\xc4\x86\xbd\x8f\x00\x00\x00\x30\xee\xfe\xf5\x6a"
      "\x08\xe1\x9c\x10\x42\x54\x8e\xd5\xe9\xe1\xd7\x20\x84\x10\x42\x08\x21\xc4"
      "\xae\x89\xf6\x77\xbb\xd7\x9f\xb7\x31\xec\xeb\x0f\x00\x00\x00\xc0\xf8\xb9"
      "\x7c\xf1\xa5\x13\xdd\xed\x3a\xe7\x8a\x2d\xcd\xd7\xd9\x5a\xeb\x5a\x73\x25"
      "\xe6\x4d\xed\xdc\x83\x7f\x5d\xb8\x1a\x69\xb5\x0b\x0f\x4f\xf4\xbc\x7e\xef"
      "\x96\x56\xc3\xb8\xab\xfb\xdf\xbf\xfc\xbb\x2b\xff\x07\xaf\x6d\x6d\xfe\x99"
      "\xf4\x64\xe0\xdf\x7f\xd9\x25\xe3\xe3\xd5\xf2\xde\xbb\xfc\xcb\xc5\xee\xfc"
      "\xb7\x4f\x0e\x98\x3f\xdf\xff\xc7\xab\xe5\x3f\x98\xe5\xbf\x37\x0c\x96\x7f"
      "\xf5\xfd\x2c\xff\x13\xd5\xf2\xdf\x97\xe5\xdf\x3b\x60\xfe\x75\xfb\xff\x7c"
      "\xb5\xfc\xf7\xc7\xfc\x8b\xb1\x7f\xf0\x9e\x41\xf3\xf7\xbe\xff\xd3\xb1\x4d"
      "\xfb\xb1\x67\xc0\xfc\xdf\xce\xf6\xff\xa9\x30\x68\xfe\x6c\xff\x5b\x03\x26"
      "\xcc\x3c\x10\xf3\x03\xc0\x38\x1a\xd5\x1b\x00\xd2\x51\x42\x3a\x8e\x9e\x8d"
      "\xfd\xb4\xbf\xf1\x70\x33\x4c\x64\xaf\xdb\xe8\xf1\x7f\x23\xdb\xce\xe4\xa6"
      "\x2b\xef\xdd\x6e\x3a\x0e\xba\x35\xf6\xd3\xf1\xd2\x5c\x96\x37\xd9\x68\xfd"
      "\xb3\xd9\xf6\x6e\xa8\x58\x67\x2e\xaf\x6b\xa7\x2a\xab\x7f\xab\xde\xc7\xed"
      "\x56\x56\x7f\xb3\xe6\x3a\xaa\x2a\xab\x7f\xaa\xe6\x3a\xaa\x2a\xab\x7f\xba"
      "\xe6\x3a\xaa\x2a\xab\x7f\xa6\xe6\x3a\xaa\x2a\xab\x7f\xd0\xf3\xd0\x61\x2b"
      "\xab\x7f\xb7\x5c\x57\x2e\xab\x7f\xb6\xe6\x3a\xaa\x2a\xab\x7f\xae\xe6\x3a"
      "\xaa\x2a\xab\x7f\xa3\xff\x8f\x0f\x4b\x59\xfd\xfb\x6a\xae\xa3\xaa\xb2\xfa"
      "\xe7\x6b\xae\xa3\xaa\xb2\xfa\x2b\x5e\x56\xab\x5d\x59\xfd\x0b\x35\xd7\x51"
      "\x55\x59\xfd\x37\xd6\x5c\x47\x55\x65\xf5\xdf\x54\x73\x1d\x55\x95\xd5\x7f"
      "\x73\xcd\x75\x0c\xcb\x1d\xb1\x2d\x3b\x1f\x4e\xe7\x9f\xf3\x71\x2c\xf5\x5b"
      "\x59\x7f\xfa\x3a\x3f\xcb\x51\xbd\xb6\x00\x00\x00\x00\xbb\xcd\x3f\xcd\xff"
      "\x27\x84\x10\x42\x08\x51\x29\xda\xf7\xcb\xec\x80\x3a\x86\x13\x5d\x77\xcb"
      "\x0d\xbd\x16\xb1\x15\xf1\x9f\xd5\x6b\x86\x5d\x87\x10\x62\xfb\x62\x75\x75"
      "\x88\x17\x1f\x18\xba\xed\xfd\x34\x33\x00\x3b\x95\xdf\xff\xe3\xcd\xfb\x3f"
      "\xde\xbc\xff\xe3\xcd\xfb\xcf\xff\x93\xee\xe1\x2f\xb2\x7e\x32\xd1\x67\x7c"
      "\xb2\xcf\x78\xb3\xcf\xf8\x54\x36\x9e\xff\x7b\x9d\xee\x33\x7e\x53\xb6\xdd"
      "\xd5\x74\x5d\x33\xba\xb9\xcf\xf8\xd7\xfa\x8c\xef\xeb\x33\x7e\x6b\x9f\xf1"
      "\xc5\x3e\xe3\xb7\xf5\x19\xbf\xbd\xcf\xf8\x1d\x7d\xc6\x01\x00\x00\x18\x0f"
      "\xb7\xc4\xd6\xf9\x21\x00\x00\x00\x8c\xae\x97\x7f\xf5\xe9\x9b\xbf\xb9\xf7"
      "\x89\x8b\x0b\x97\xce\xef\x3f\x1e\xa6\xd6\xcd\x3b\x7f\x28\xf6\xa7\xe3\xdf"
      "\xd6\xdf\x88\xfd\x7c\xde\xfb\xa4\x19\xff\xe6\xff\x93\xd8\xff\x45\x6c\x7f"
      "\x1f\xdb\xbf\x67\xeb\xbb\xff\x04\x00\x00\x00\xb6\x5f\xfa\x9e\x18\x7f\xff"
      "\x07\x00\x00\x80\xd1\x95\xbe\xa7\xd4\xf9\x3f\x00\x00\x00\x8c\xae\x85\xd8"
      "\x3a\xff\x07\x00\x00\x80\xd1\x75\x63\x6c\x9d\xff\x03\x00\x00\xc0\x08\x2b"
      "\x66\xae\xbf\x38\xb6\xe9\xba\xc0\xdd\xb1\x1d\x74\x5e\x3f\x00\x60\xe7\xfb"
      "\x7a\x6c\xef\x8c\xed\xfe\xd8\xde\x15\xdb\x6f\xc4\x36\x1d\x07\xdc\x13\xdb"
      "\x6f\xd6\x54\x1f\x00\xb0\x75\x7e\xfe\xfd\x9f\x1e\x7b\xbb\x58\x9b\xef\xff"
      "\x48\x36\x7e\x39\x2e\x4f\xed\x3a\xe7\xae\x5d\x29\x28\x1a\xbd\x33\xf9\xef"
      "\x89\xed\xde\xd8\x7e\x6b\xc0\x7a\xf2\xef\x03\x18\x34\x7f\xb2\x6f\xc0\x3c"
      "\xdb\x95\x7f\x7e\x93\xf9\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\xd1\xd1\x68\x3f\x1e\x3d\xba"
      "\x58\x84\xf0\xee\x67\xef\x3c\xfa\xb3\xa9\x37\xff\x72\x75\xd9\x5d\x9d\x35"
      "\x0e\xb4\x1f\x8b\xd8\x6b\x85\x10\x9a\x9d\xd7\xa5\xd1\xb5\xfe\xaf\xe3\x8a"
      "\x97\x2f\xbe\x74\xa2\xbb\xbd\x12\xdb\x22\x1c\x0e\x45\x28\x3a\xcb\xc3\x63"
      "\x17\x3a\x99\x66\x43\x08\xe7\xc2\x81\xf0\x79\x68\x85\x8f\x96\x57\xbe\xfa"
      "\xf0\xbd\x47\x0e\x7e\xfc\xfa\xcc\x2d\x6f\x9d\x7d\xe6\x95\x6d\xfc\x11\xf4"
      "\xec\x1f\x00\x00\x00\x8c\xa2\xff\x05\x00\x00\xff\xff\x68\x4f\x23\x78",
      3815));
  NONFAILING(syz_mount_image(
      /*fs=*/0x20000000, /*dir=*/0x20000f00, /*flags=MS_RELATIME*/ 0x200000,
      /*opts=*/0x20002d40, /*chdir=*/1, /*size=*/0xee7, /*img=*/0x20001e40));
  NONFAILING(memcpy((void*)0x200003c0, "./file0\000", 8));
  NONFAILING(
      memcpy((void*)0x20000f40,
             "./"
             "file0aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa"
             "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa"
             "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa"
             "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\000",
             252));
  syscall(__NR_rename, /*old=*/0x200003c0ul, /*new=*/0x20000f40ul);
  NONFAILING(memcpy((void*)0x20000080, "./file0\000", 8));
  NONFAILING(syz_mount_image(/*fs=*/0, /*dir=*/0x20000080,
                             /*flags=MS_I_VERSION|MS_SLAVE|MS_MOVE*/ 0x882000,
                             /*opts=*/0, /*chdir=*/0, /*size=*/0, /*img=*/0));
  NONFAILING(memcpy((void*)0x20001340, "./file0\000", 8));
  NONFAILING(memcpy((void*)0x200000c0, "overlay\000", 8));
  NONFAILING(memcpy((void*)0x200003c0, "lowerdir", 8));
  NONFAILING(*(uint8_t*)0x200003c8 = 0x3d);
  NONFAILING(memcpy((void*)0x200003c9, "./file0", 7));
  NONFAILING(*(uint8_t*)0x200003d0 = 0x3a);
  NONFAILING(*(uint8_t*)0x200003d1 = 0x2f);
  syscall(__NR_mount, /*src=*/0ul, /*dst=*/0x20001340ul, /*type=*/0x200000c0ul,
          /*flags=*/0ul, /*opts=*/0x200003c0ul);
}
int main(void)
{
  syscall(__NR_mmap, /*addr=*/0x1ffff000ul, /*len=*/0x1000ul, /*prot=*/0ul,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul, /*fd=*/-1,
          /*offset=*/0ul);
  syscall(__NR_mmap, /*addr=*/0x20000000ul, /*len=*/0x1000000ul,
          /*prot=PROT_WRITE|PROT_READ|PROT_EXEC*/ 7ul,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul, /*fd=*/-1,
          /*offset=*/0ul);
  syscall(__NR_mmap, /*addr=*/0x21000000ul, /*len=*/0x1000ul, /*prot=*/0ul,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul, /*fd=*/-1,
          /*offset=*/0ul);
  const char* reason;
  (void)reason;
  install_segv_handler();
  use_temporary_dir();
  loop();
  return 0;
}