// https://syzkaller.appspot.com/bug?id=da0d8a51e89e8a43bbe9f97163f12296725c796c
// 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 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");
  } else if (strncmp(fs, "gfs2", 4) == 0 &&
             (strstr(opts, "errors=panic") || strstr(opts, "debug"))) {
    strcat(opts, ",errors=withdraw");
  }
  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;
}

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

static void execute_one(void);

#define WAIT_FLAGS __WALL

static void loop(void)
{
  int iter = 0;
  for (;; iter++) {
    reset_loop();
    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[1] = {0xffffffffffffffff};

void execute_one(void)
{
  intptr_t res = 0;
  if (write(1, "executing program\n", sizeof("executing program\n") - 1)) {
  }
  NONFAILING(memcpy((void*)0x200000000c40, "udf\000", 4));
  NONFAILING(memcpy((void*)0x2000000000c0, "./file0\000", 8));
  NONFAILING(memcpy(
      (void*)0x200000000100,
      "noadinicb,nostrict,mode=00000000000000000000004,uid=forget,noadinicb,"
      "umask=00000000000000040002000,lastblock=00000000000000000013,undelete,"
      "partition=00000000000000000005,\000",
      171));
  NONFAILING(memcpy(
      (void*)0x200000000d00,
      "\x78\x9c\xec\xdd\x5d\x68\x5c\xe9\x79\x07\xf0\xe7\x9d\x23\xad\x46\xda\x34"
      "\xd1\x66\x13\x6f\xd2\x66\xd3\x81\x94\xc4\x28\xb5\xf1\x57\x6c\x05\x97\x20"
      "\x67\x15\xb5\x01\xc7\x1b\x22\x2b\x74\xaf\xa2\xd1\x87\x9d\x61\xe5\x91\x91"
      "\xe4\xc6\x9b\xb6\x41\x6d\x49\x0b\xbd\x09\xdd\x9b\xd2\x9b\x22\x9a\x2e\x2d"
      "\xe4\xa2\x57\xdd\x5e\x56\x69\xb6\x90\x50\x0a\x25\xe4\x22\xbd\x28\x08\x9a"
      "\x2c\x7b\xd1\x0b\x5d\x04\x0a\x2d\x1b\x85\x73\xe6\x1d\x69\x64\xcb\xb6\xb2"
      "\x5e\x5b\xd2\xee\xef\xb7\xcc\xfe\xcf\x9c\x79\xce\xf8\xfd\x18\x9f\x39\x02"
      "\xbf\x3a\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\x44\x7c"
      "\xf6\x73\x97\x4e\x9d\x4e\x07\xdd\x0a\x00\xe0\x71\xba\x32\xf9\xa5\x53\x67"
      "\x7d\xff\x03\xc0\xbb\xca\x55\x3f\xff\x03\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\xc0\x61\x97\xa2\x88\x63\x91\x62\xe8\xd5\xcd\x34\x5d\x3d\xef\xa8"
      "\x5f\x6e\xb5\x6f\xdd\x9e\x1a\x9f\xd8\xfb\xb0\xc1\x14\x29\x6a\x51\x54\xf5"
      "\xe5\xa3\x7e\xfa\xcc\xd9\x73\x9f\x3a\x7f\x61\xb4\x9b\xf7\x3f\xfe\xed\xf6"
      "\xe1\x78\x7e\xf2\xea\xa5\xc6\x73\x8b\x37\x6e\x2e\xcd\x2f\x2f\xcf\xcf\x35"
      "\xa6\xda\xad\xd9\xc5\xb9\xf9\x7d\xbf\xc3\xc3\x1e\x7f\xa7\x91\x6a\x00\x1a"
      "\x37\x5e\xbc\x35\x77\xed\xda\x72\xe3\xcc\xc9\xb3\xbb\x5e\xbe\x3d\xfc\xfa"
      "\xc0\x93\xc7\x86\x2f\x5e\x38\x71\x7e\xb4\x5b\x3b\x35\x3e\x31\x31\xd9\x53"
      "\xd3\xd7\xff\x96\xff\xf4\xbb\xdc\x6b\x85\xc7\x13\x51\x44\x33\x52\xbc\x39"
      "\xfc\x46\x6a\x46\x44\x2d\x1e\x7e\x2c\x1e\xf0\xd9\x79\xd4\x06\xab\x4e\x8c"
      "\x54\x9d\x98\x1a\x9f\xa8\x3a\xb2\xd0\x6a\xb6\x57\xca\x17\x53\x2d\x57\xd5"
      "\x22\x1a\x3d\x07\x8d\x75\xc7\xe8\x31\xcc\xc5\x43\x19\x8b\x58\x2d\x9b\x5f"
      "\x36\x78\xa4\xec\xde\xe4\xcd\xe6\x52\x73\x66\x61\xbe\xf1\xc5\xe6\xd2\x4a"
      "\x6b\xa5\xb5\xd8\x4e\xb5\x4e\x6b\xcb\xfe\x34\xa2\x16\xa3\x29\x62\x2d\x22"
      "\x36\x06\xee\x7e\xbb\xfe\x28\xe2\xa3\x91\xe2\xe5\x53\x9b\x69\x26\x22\x8a"
      "\xee\x38\x7c\xb2\x5a\x18\xfc\xe0\xf6\xd4\x1e\x41\x1f\xf7\xa1\x6c\x67\xa3"
      "\x3f\x62\xad\x76\x04\xe6\xec\x10\x1b\x88\x22\xae\x44\x8a\x9f\xbd\x76\x3c"
      "\x66\xcb\x31\xcb\x8f\xf8\x78\xc4\x17\xca\x7c\x35\xe2\x95\x32\x3f\x13\x91"
      "\xca\x0f\xc6\xb9\x88\x9f\xee\xf1\x39\xe2\x68\xea\x8b\x22\xfe\x3d\x52\x2c"
      "\xa6\xcd\x34\x57\x9d\x0f\xba\xe7\x95\xcb\x5f\x6e\x7c\xbe\x7d\x6d\xb1\xa7"
      "\xb6\x7b\x5e\x39\xf2\xdf\x0f\x8f\xd3\x21\x3f\x37\xd5\xa3\x88\x99\xea\x8c"
      "\xbf\x99\xde\xfa\xc5\x0e\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x6f\xb7\xc1\x28\xe2\xdb\x91\xe2\x4f\x9e\xfd\xbd\x6a\x5d\x71\x54\xeb"
      "\xd2\xdf\x77\x71\xf4\x3d\x2f\xfc\x76\xef\x9a\xf1\x67\x1e\xf0\x3e\x65\xed"
      "\xc9\x88\x58\xad\xed\x6f\x4d\x6e\x7f\x5e\x3a\x9c\x6a\xe5\x7f\x8f\xa0\x63"
      "\xec\x4b\x3d\x8a\xf8\x46\x5e\xff\xf7\x47\x07\xdd\x18\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x77\xb5\x22\x5e\x88\x14\x5f\x39"
      "\x71\x3c\xad\x45\xef\x3d\xc5\x5b\xed\xeb\x8d\xab\xcd\x99\x85\xce\x5d\x61"
      "\xbb\xf7\xfe\xed\xde\x33\x7d\x6b\x6b\x6b\xab\x91\x3a\x39\x96\x73\x3a\xe7"
      "\x6a\xce\xb5\x9c\xeb\x39\x37\x72\x46\x2d\x1f\x9f\x73\x2c\xe7\x74\xce\xd5"
      "\x9c\x6b\x39\xd7\x73\x6e\xe4\x8c\x22\x1f\x9f\x73\x2c\xe7\x74\xce\xd5\x9c"
      "\x6b\x39\xd7\x73\x6e\xe4\x8c\xbe\x7c\x7c\xce\xb1\x9c\xd3\x39\x57\x73\xae"
      "\xe5\x5c\xcf\xb9\x91\x33\x0e\xc9\xbd\x7b\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\xde\x49\x6a\x51\xc4\xcf\x23\xc5\xb7\xbe\xb6\x99\x22\x45\xc4"
      "\x58\xc4\x74\x74\x72\x7d\xe0\xa0\x5b\x07\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x94\xea\xa9\x88\x93\x91\x62"
      "\xfd\x85\x7a\xf5\x7c\xad\x16\x71\x35\x22\x7e\xbe\xb5\xb5\xd5\x7d\x44\xc4"
      "\x66\x99\x0f\xeb\xa0\xfb\x0a\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x87\x56\x2a\xe2\x63\x91\xe2\xe9\xff\xdb\x4c\x8d\x88\xb8"
      "\x3d\xfc\xfa\xc0\x93\xc7\x86\x2f\x5e\x38\x71\x7e\xb4\x88\x22\x52\x59\xd2"
      "\x5b\xff\xfc\xe4\xd5\x4b\x8d\xe7\x16\x6f\xdc\x5c\x9a\x5f\x5e\x9e\x9f\x6b"
      "\x4c\xb5\x5b\xb3\x8b\x73\xf3\xfb\xfd\xe3\xea\x97\x5b\xed\x5b\xb7\xa7\xc6"
      "\x27\x1e\x49\x67\x1e\x68\xf0\x11\xb7\x7f\xb0\xfe\xdc\xe2\xcd\x97\x96\x5a"
      "\xd7\xbf\xba\xb2\xe7\xeb\x43\xf5\x4b\x33\xcb\x2b\x4b\xcd\xd9\xbd\x5f\x8e"
      "\xc1\xa8\x45\x4c\xf7\xee\x19\xa9\x1a\x3c\x35\x3e\x51\x35\x7a\xa1\xd5\x6c"
      "\x57\x87\xa6\xda\x3d\x1a\x58\x8b\x18\xdb\x6f\x67\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x38\x34\x86\x52\x11\x9f\x8b\x14\x3f"
      "\xf9\xaf\x73\xa9\xbb\x6e\xbc\xaf\xb3\xe6\xff\x57\x3a\xcf\x8a\xed\xda\x57"
      "\xfe\x60\xe7\x77\x01\x2c\xdc\x91\x5d\xbd\xbf\x3f\x60\x3f\xdb\x69\xbf\x0d"
      "\x1d\xa9\x16\xde\x37\xa6\xc6\x27\x26\x26\x7b\x76\xf7\xf5\xdf\x5d\x5a\xb6"
      "\x29\xa5\x22\x9e\x89\x14\x9f\x78\xf9\x43\xd5\x7a\xf8\x14\x43\x7b\xae\x8d"
      "\x2f\xeb\xde\x5b\xd6\xdd\x38\x97\xeb\x86\x7f\xad\xac\x5b\xdd\x55\x55\x1f"
      "\x99\x1a\x9f\x68\x5c\x59\x6c\x9f\xb8\xb4\xb0\xb0\x38\xdb\x5c\x69\xce\x2c"
      "\xcc\x37\x26\x6f\x36\x67\xf7\xfd\x8b\x03\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\xe0\x3e\x86\x52\x11\x3f\x8a\x14\xff\xf3\xf7"
      "\xff\x91\xba\xf7\x9d\xcf\xeb\xff\xfb\x3a\xcf\x7a\xd6\xff\xff\x56\xb5\x84"
      "\xbe\x52\x4f\xbb\x73\x5b\xb5\xb6\xff\xbd\xd5\xda\xfe\xce\xf6\xfb\x2e\x8e"
      "\x0e\x7d\xf4\xd9\x7b\xed\x7f\x14\xeb\xff\xcb\x36\xa5\x54\xc4\x37\x23\xc5"
      "\xd9\x1f\x7d\xa8\xba\x9f\x7e\x77\xfd\xff\xf4\x1d\xb5\x65\xdd\x9f\x45\x8a"
      "\x37\x9e\xfd\x48\xae\xab\x3d\x51\xd6\x35\xbb\xdd\xe9\xbc\xe3\xb5\xd6\xc2"
      "\xfc\xa9\xb2\xf6\xaf\x23\xc5\xaf\xbf\xd9\xad\x8d\xaa\xf6\x7a\xae\x7d\x7a"
      "\xa7\xf6\x74\x59\x3b\x18\x29\xfe\x72\x73\x77\xed\x57\x73\xed\x07\x76\x6a"
      "\xcf\x94\xb5\xc7\x23\xc5\xf7\xfe\x7b\xef\xda\x0f\xee\xd4\x9e\x2d\x6b\x7f"
      "\x12\x29\xfe\xe9\xef\x1a\xdd\xda\xa1\xb2\xf6\xf7\x73\xed\xb1\x9d\xda\x93"
      "\xb3\x8b\x0b\x73\x0f\x1a\xd6\x72\xfe\xbf\x13\x29\xfe\xf6\xca\xef\xa4\x6e"
      "\x9f\xef\x39\xff\x3d\xbf\xff\x61\xf5\x8e\xdc\x76\xd7\x9c\xdf\x7f\xfb\xed"
      "\x9a\xff\xe1\x9e\x7d\xab\x79\x5e\xff\x34\xcf\x7f\xf3\x01\xf3\x7f\x3e\x52"
      "\x7c\xa7\xfe\x91\x5c\xd7\x19\xfb\x99\xfc\xfa\x53\xd5\xff\x77\xe6\xff\x13"
      "\x91\xe2\x3f\xff\x6d\x77\xed\xb5\x5c\xfb\xfe\x9d\xda\xd3\xfb\xed\xd6\x41"
      "\x2b\xe7\xff\xdb\x91\xe2\xbb\x7f\xf5\xe3\xed\x3e\xe7\xf9\xcf\x23\xbb\x33"
      "\x43\xbd\xf3\xff\xab\x7d\xbb\x73\xfb\x53\x72\x40\xf3\xff\x54\xcf\xbe\xe1"
      "\xdc\xae\xd9\x5f\x72\x2c\xde\x8d\x96\x5f\xfa\xfa\x8b\xcd\x85\x85\xf9\x25"
      "\x1b\x36\x6c\xd8\xd8\xde\x38\xe8\x33\x13\x8f\x43\xf9\xfd\xff\xe7\x91\xe2"
      "\xff\x8f\x15\xa9\x7b\x1d\x93\xbf\xff\xdf\xd3\x79\xb6\x73\xfd\xf7\xbf\xdf"
      "\xd8\xf9\xfe\xbf\x78\x47\x6e\x3b\xa0\xef\xff\xf7\xf7\xec\xbb\x98\xaf\x5a"
      "\xfa\xfb\x22\xea\x2b\x37\x6e\xf6\x3f\x13\x51\x5f\x7e\xe9\xeb\x27\x5a\x37"
      "\x9a\xd7\xe7\xaf\xcf\xb7\xcf\x9c\x3e\xf5\xe9\x4f\x9f\x3f\x7d\xea\xf4\xf9"
      "\xfe\x27\xba\x17\x77\x3b\x5b\xfb\x1e\xbb\x77\x82\x72\xfe\x7f\x10\x29\x7e"
      "\xf8\x0f\x3f\xdc\xfe\x39\x66\xf7\xf5\xdf\xde\xd7\xff\x43\x77\xe4\xb6\x03"
      "\x9a\xff\xa7\x7b\xfb\xb4\xeb\xba\x66\xdf\x43\xf1\xae\x54\xce\xff\xdf\x44"
      "\x8a\xa7\x3e\xfb\xe3\xed\x9f\x37\xef\x77\xfd\xdf\xfd\xf9\xff\xf8\xc7\x76"
      "\xe7\xf6\xdf\xbf\x03\x9a\xff\x0f\xf4\xec\x1b\xce\xed\x6a\xfd\x92\x63\x01"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x70\x94\x0c\xa5\x22\xfe\x22\x52\xfc\xee"
      "\x1f\xff\x66\xea\xae\x21\xda\xcf\xbf\xff\x9b\xbb\x23\xb7\x1d\xd0\xbf\xff"
      "\x3a\xd6\xb3\x6f\xee\x31\xad\x6b\xd8\xf7\x20\x03\x00\x1c\x22\xe5\xf5\xdf"
      "\x07\x23\xc5\x3f\x6f\x7d\x7f\x7b\x2d\xf7\xee\xeb\xbf\xf8\x8d\x6e\x6d\xef"
      "\xf5\xdf\xbd\x1c\x86\xfb\xff\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\xc0\x51\x97\xa2\x88\x3f\x8c\x14\x43\xaf\x6e\xa6"
      "\xf5\x81\xf2\x79\x47\xfd\x72\xab\x7d\xeb\xf6\xd4\xf8\xc4\xde\x87\x0d\xa6"
      "\x48\x51\x8b\xa2\xaa\x2f\x1f\xf5\xd3\x67\xce\x9e\xfb\xd4\xf9\x0b\xa3\xdd"
      "\xbc\xff\xf1\x6f\xb7\x0f\xc7\xf3\x93\x57\x2f\x35\x9e\x5b\xbc\x71\x73\x69"
      "\x7e\x79\x79\x7e\xae\x31\xd5\x6e\xcd\x2e\xce\xcd\xef\xfb\x1d\x1e\xf6\xf8"
      "\x3b\x8d\x54\x03\xd0\xb8\xf1\xe2\xad\xb9\x6b\xd7\x96\x1b\x67\x4e\x9e\xdd"
      "\xf5\xf2\xed\xe1\xd7\x07\x9e\x3c\x36\x7c\xf1\xc2\x89\xf3\xa3\xdd\xda\xa9"
      "\xf1\x89\x89\xc9\x9e\x9a\xbe\xfe\xb7\xfc\xa7\xdf\x25\xdd\x63\xff\x13\x51"
      "\xc4\xf7\x23\xc5\x9b\xc3\x6f\xa4\xef\x0e\x44\xd4\xe2\xe1\xc7\xe2\x01\x9f"
      "\x9d\x47\x6d\xb0\xea\xc4\x48\xd5\x89\xa9\xf1\x89\xaa\x23\x0b\xad\x66\x7b"
      "\xa5\x7c\x31\xd5\x72\x55\x2d\xa2\xd1\x73\xd0\x58\x77\x8c\x1e\xc3\x5c\x3c"
      "\x94\xb1\x88\xd5\xb2\xf9\x65\x83\x47\xca\xee\x4d\xde\x6c\x2e\x35\x67\x16"
      "\xe6\x1b\x5f\x6c\x2e\xad\xb4\x56\x5a\x8b\xed\x54\xeb\xb4\xb6\xec\x4f\x23"
      "\x6a\x31\x9a\x22\xd6\x22\x62\x63\xe0\xee\xb7\xeb\x8f\x22\xbe\x19\x29\x5e"
      "\x3e\xb5\x99\xfe\x65\x20\xa2\xe8\x8e\xc3\x27\xaf\x4c\x7e\xe9\xd4\xd9\x07"
      "\xb7\xa7\xf6\x08\xfa\xb8\x0f\x65\x3b\x1b\xfd\x11\x6b\xb5\x23\x30\x67\x87"
      "\xd8\x40\x14\xf1\x8f\x91\xe2\x67\xaf\x1d\x8f\xef\x0d\x44\xf4\x45\xe7\x11"
      "\x1f\x8f\xf8\x42\x99\xaf\x46\xbc\x52\xe6\x67\x22\x52\xf9\xc1\x38\x17\xf1"
      "\xd3\x3d\x3e\x47\x1c\x4d\x7d\x51\xc4\xb9\x48\xb1\x98\x36\xd3\x6b\x03\xe5"
      "\xf9\xa0\x7b\x5e\xb9\xfc\xe5\xc6\xe7\xdb\xd7\x16\x7b\x6a\xbb\xe7\x95\x23"
      "\xff\xfd\xf0\x38\x1d\xf2\x73\x53\x3d\x8a\xf8\x41\x75\xc6\xdf\x4c\xff\xea"
      "\xef\x35\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xc0\x21\x52\xc4"
      "\x5a\xa4\xf8\xca\x89\xe3\xa9\x5a\x1f\xbc\xbd\xa6\xb8\xd5\xbe\xde\xb8\xda"
      "\x9c\x59\xe8\x2c\xeb\xeb\xae\xfd\xeb\xae\x99\xde\xda\xda\xda\x6a\xa4\x4e"
      "\x8e\xe5\x9c\xce\xb9\x9a\x73\x2d\xe7\x7a\xce\x8d\x9c\x51\xcb\xc7\xe7\x1c"
      "\xcb\x39\x9d\x73\x35\xe7\x5a\xce\xf5\x9c\x1b\x39\xa3\xc8\xc7\xe7\x1c\xcb"
      "\x39\x9d\x73\x35\xe7\x5a\xce\xf5\x9c\x1b\x39\xa3\x2f\x1f\x9f\x73\x2c\xe7"
      "\x74\xce\xd5\x9c\x6b\x39\xd7\x73\x6e\xe4\x8c\x43\xb2\x76\x0f\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x78\x67\xa9\x45\x51\xdd\xc5"
      "\xfd\x5b\x5f\xdb\x4c\x5b\x03\x9d\xfb\x4b\x4f\x47\x27\xd7\xdd\x0f\xf4\x1d"
      "\xef\x17\x01\x00\x00\xff\xff\x49\x02\x74\xf7",
      3089));
  NONFAILING(syz_mount_image(/*fs=*/0x200000000c40, /*dir=*/0x2000000000c0,
                             /*flags=*/0, /*opts=*/0x200000000100,
                             /*chdir=*/0x43, /*size=*/0xc11,
                             /*img=*/0x200000000d00));
  NONFAILING(memcpy((void*)0x200000000080, "./file1\000", 8));
  res = syscall(__NR_openat, /*fd=*/0xffffff9c, /*file=*/0x200000000080ul,
                /*flags=O_CREAT|O_RDWR*/ 0x42, /*mode=*/0);
  if (res != -1)
    r[0] = res;
  syscall(
      __NR_mmap, /*addr=*/0x200000000000ul, /*len=*/0x600000ul,
      /*prot=PROT_GROWSUP|PROT_WRITE|PROT_READ|PROT_EXEC|0x7ffff0*/ 0x27ffff7ul,
      /*flags=MAP_UNINITIALIZED|MAP_NONBLOCK|MAP_LOCKED|MAP_FIXED|0x1*/
      0x4012011ul, /*fd=*/r[0], /*offset=*/0ul);
  NONFAILING(*(uint64_t*)0x200000000040 = 0);
  NONFAILING(*(uint64_t*)0x200000000048 = 0);
  NONFAILING(*(uint64_t*)0x200000000050 = 0);
  NONFAILING(*(uint64_t*)0x200000000058 = 0);
  NONFAILING(*(uint64_t*)0x200000000060 = 0x200000001940);
  NONFAILING(memcpy(
      (void*)0x200000001940,
      "\x94\xb5\x67\x6b\xde\xbe\xe0\x5c\xe8\xc5\x9f\x76\x4d\xb8\x14\xcf\x77\x93"
      "\xf4\x8c\x58\xf6\xf6\x74\x73\x5a\x4a\x46\x4d\xa2\x7a\x0f\xbe\x31\x1c\x1d"
      "\xa7\x99\x56\x77\xc6\x1c\x59\x86\xc0\x41\x23\x2b\xcf\xcc\x47\x6b\xc9\x86"
      "\xd9\x09\x00\xc5\x7c\x7c\x38\xa5\x23\xc7\x00\x30\xa9\x4f\xc8\xb1\xed\xba"
      "\xae\x40\x64\xb0\x34\x90\x50\xd2\x28\xa1\xb1\xb9\xe5\x96\x98\x7a\xd8\x02"
      "\x52\xf5\x24\x33\xfe\xa6\x66\xe0\x00\xf5\x8f\x56\xa0\x6c\x23\x92\xc8\x04"
      "\xed\x9b\xed\xcf\x99\x19\x21\x35\xdf\x69\xf0\x82\xdd\x15\x6a\x0c\x99\xfa"
      "\x0f\x42\x7f\xd8\xdc\xe5\x75\xb8\x59\x1f\xa9\xb0\x5f\x57\x88\x50\x31\xf0"
      "\xaa\xb6\xe1\x85\xdc\xf5\xa4\x12\x3d\x8f\x62\xe4\xcf\x17\xa4\x0e\x49\x29"
      "\x32\xf3\xee\xe1\x67\xb0\x0c\xab\xea\x44\xb9\x1d\x57\xe9\xf9\x26\x17\xe8"
      "\x29\x45\xcc\xfe\x52\x24\x23\x6e\x01\x76\xdc\x3f\xf5\x57\x00\x3b\x73\x28"
      "\x5d\xbc\x24\xb7\x54\x07\xb6\x24\xb5\x94\x48\x94\x5f\xe8\xd2\x38\x46\x45"
      "\x34\x5a\x81\x0b\x99\xdb\xf3\xa3\x6f\x09\x44\x00\x6f\x34\xee\x61\xd7\x88"
      "\x83\x31\xd8\x96\x50\x0b\x04\x7e\x05\xcb\xa1\x74\xa9\x34\x95\xd2\xce\xea"
      "\x6f\x71\x94\x29\x80\x72\xc9\xe8\x45\xb8\x96\xc6\x20\xea\x05\x7a\x29\x24"
      "\x68\x7e\x34\x27\xb1\xc3\xb6\x59\x2b\xd1\x46\x6f\xad\xb1\x1b\x78\x37\x6b"
      "\xeb\xd7\xc2\xcf\x43\x84\x65\xd9\x27\x1a\x6e\x68\x6b\x8f\xf0\xbe\xd6\xd8"
      "\x9f\xb1\xd0\xb5\x2e\x74\x63\x10\xd6\x5b\x31\xdb\xd4\xe7\xcb\x36\xe6\x5a"
      "\xc2\x2b\x71\x13\x6f\xd9\x30\x9a\xd4\x5f\x1b\x55\xba\xdc\xf1\x38\xb7\xc9"
      "\xd5\x34\x70\xed\x5a\x34\x49\x6d\xaf\x7d\x1b\x00\x4d\xc4\xea\x2d\x24\x09"
      "\xbd\xb4\x81\x93\x89\x47\xfa\x5e\x11\x8b\xb6\xc4\x20\x3c\x39\x17\x28\xc7"
      "\x9d\xa4\xe6\x27\xfc\xaa\x4c\x49\xd5\x43\xcb\xe7\xe5\xcb\x62\xec\x39\xb9"
      "\x69\xb8\x08\xab\x7d\x76\xa8\xaa\x04\xcf\x67\x7b\x56\x67\xea\x61\x65\x40"
      "\x6d\x2b\x2d\x4b\x43\x45\x5b\xee\xfb\x1b\xd3\xfc\x64\xb6\xb4\x20\xbd\x64"
      "\x1f\x85\x39\x5c\x37\x1f\x0f\x14\xdb\xd4\x50\xc4\x78\x6b\x04\xfa\x6c\xe7"
      "\xd5\xc0\xad\x0b\x04\xd7\xf0\x9f\xd4\x35\x97\x59\xe6\x14\x70\x38\xc8\x8a"
      "\x39\xae\xbc\x54\x0f\x06\x68\x50\x5f\xd0\x60\x1a\x68\x62\x8f\x76\x73\x08"
      "\x55\xfe\xce\xa7\x29\xba\x51\xc0\x8c\x48\xb2\x26\xbb\x43\x3f\xf6\x96\xeb"
      "\xfb\x4e\x80\x5e\xdb\x08\xa0\x3a\x94\xce\xf2\x4f\xed\x88\xab\xfe\x46\x06"
      "\x0e\xf1\x73\x7b\x25\x9b\x97\x20\xd2\xd6\x59\xa0\xa4\x25\x40\x00\xc4\x87"
      "\x4e\x8e\x61\xea\x68\xc4\xb7\x78\x9c\xe3\x6f\x3f\x3d\x64\x20\x8f\x79\x45"
      "\xa8\xf9\xae\x81\x23\xd5\x5f\x48\x1e\x57\x28\x17\xf1\x6d\x50\xc9\x7f\x4c"
      "\x3b\x19\x57\x6e\x22\xbd\x4f\x76\x90\x00\x27\xd2\xf9\x5d\xfb\xaa\xd9\x18"
      "\x14\xea\xe5\x32\x2a\x02\x52\x31\x28\xe8\xbd\xda\x05\xb0\x0b\x22\x47\xcf"
      "\xf7\x98\x26\xbd\xfa\x0f\x64\xa7\xed\x5e\x3c\x26\x11\x0f\x8c\xa5\xbb\xe1"
      "\xa2\x98\x64\x08\xfa\xce\x35\x04\x56\xb8\x90\x2e\xa8\x5d\x5d\x77\xb4\xff"
      "\x33\x82\x4e\x5e\xe5\x09\x52\xcb\x77\x94\xb4\x9f\xca\xa4\xf0\xe5\x90\xdf"
      "\x69\x72\x5e\x8c\x7f\x08\xdb\x26\xc5\x70\x5b\xf1\x8a\x16\xbb\xba\x17\x1e"
      "\xf1\xb5\x12\x96\xcc\xde\x05\x28\xdc\xf4\x68\xd4\x1e\x25\xf1\x89\xe9\xb2"
      "\xc6\x24\x45\x1f\x7a\xc8\xb3\xd7\x8c\x33\xa6\xa3\xd9\x3e\x60\x66\x3a\x9d"
      "\x14\x8d\x1d\xb5\x29\x9e\x8e\xe2\xec\x5b\xab\x6e\x30\xa7\x9b\x65\xec\x4c"
      "\x1d\x3e\x43\x92\xce\x66\x04\x6f\x5d\xf0\xa0\x91\xc0\x0a\xd1\x49\xe7\x6c"
      "\x6c\x18\x1a\x93\x8e\x31\x8c\xf8\xd1\xf6\xcf\xd5\x72\xe5\x1a\xaa\x25\xa7"
      "\xa7\xa3\x96\xe6\x92\x39\x7c\x32\xf2\x9a\x60\xac\xb6\x1b\x94\xb9\x87\xfd"
      "\x23\x6a\x74\x10\x67\x4f\xbb\x1b\xf2\x98\x5b\x45\xff\xb6\x5c\xc9\xdd\x94"
      "\x08\x7b\xab\x04\x23\xa9\x7f\xc8\xac\x89\xb1\xe2\x29\xa4\x9a\xbe\x70\xba"
      "\x6a\x6d\xe8\x18\x03\xf3\x81\x93\x0a\x4e\xaa\xf5\xe0\xab\x49\xc9\x04\xa0"
      "\xd5\x83\xca\x40\xe4\xf8\xe2\xcc\xf1\xe4\x49\x5f\xea\x96\x44\x8e\x86\x7c"
      "\x1d\xa2\x00\x59\xa3\x7c\xf8\x4a\xec\x58\xab\x52\x0c\x26\x58\x39\xd8\xbd"
      "\xe6\xfe\x28\x22\x6a\x6c\x2d\xa8\xc1\x7f\x20\x24\xc9\x27\xfe\xd3\xdf\xd0"
      "\x2a\x20\xba\xc9\xb3\xd2\x71\x65\x5e\x25\xc2\x2d\x91\x30\xe0\x79\x13\x8b"
      "\xeb\x18\x10\x09\xdd\x7f\x39\xb9\xf1\x1e\x02\x5d\xee\x77\xca\x3b\xb7\x60"
      "\xbf\xc1\x7a\x3d\xd1\x7a\xe2\x3a\xe4\xcc\x5f\x7d\x3a\x30\x26\xfa\x03\x16"
      "\xef\x61\x8b\xa1\x33\x2d\x96\x19\xa3\xef\x56\x01\xfe\x25\x88\xa0\xb9\x7b"
      "\xd0\xe4\x11\xd8\xaf\xfc\xe4\x9b\x05\xec\xee\xb4\xfb\x44\x47\xbf\x65\x5c"
      "\x10\x86\xe7\xea\xd1\xe8\x9c\x0f\x69\xf1\xce\x25\x14\x15\x26\x38\x52\x19"
      "\xdb\x94\xf7\x22\x0d\xaa\x0e\x24\xcd\xee\xd0\xc3\x30\x0e\xbc\xee\x56\x15"
      "\x8f\x43\x5a\x68\x33\xed\x8f\xf2\xe8\x40\x18\x8f\x5b\xee\x5a\xab\x41\x51"
      "\xc9\x34\xbb\x82\x77\xe7\xab\x0b\xa4\x80\x2d\x5e\x82\x35\x6d\x63\x27\x99"
      "\x90\x78\x9d\xf8\xa0\x0c\x69\x4e\x64\x2b\x53\xbb\x23\x94\xf3\xbc\x0b\x6c"
      "\xcf\x45\xe5\x68\x4b\x0b\x1f\x8b\x0c\x0e\x3f\x20\x91\x06\xe1\xf8\x4b\xc3"
      "\x79\xc2\x7b\xf6\xb5\x9b\x3e\xbf\x37\xc1\x89\xa0\x39\xa6\x44\x60\x0a\x24"
      "\xd2\xa4\xda\x6a\x52\xbc\x90\xd2\x81\x8e\xcb\x37\xea\x57\x50\x5e\x12\x69"
      "\x29\x1e\x9c\xef\x79\x59\xf9\x47\xa1\x39\x4b\xb0\xdf\xfa\xe1\x6e\x11\xc1"
      "\xfe\x8f\x35\x82\xe1\x97\x61\xa7\xd1\x4d\x37\x3a\xc4\xc8\x1e\x78\xa9\x22"
      "\xa9\x3f\x19\x48\x78\xe2\xe1\xa5\x40\xc1\x2f\xde\x71\xfe\x47\xe8\x9e\x02"
      "\x36\x62\x02\x7c\x18\x37\xdc\xd7\xdc\x34\x64\xcb\x36\x16\x48\xd4\xa9\xf4"
      "\x3d\x0a\x91\xe7\xa9\x38\x18\xd6\x2a\xed\x5c\x2c\x9b\x56\x15\x60\xee\x21"
      "\x0a\x67\xbe\xdc\xbf\xc8\xc8\x44\x3d\x23\xbf\x5e\xd0\xf8\x99\x63\x2e\x83"
      "\x6e\xee\x7f\x27\x9c\xa1\x06\x58\x59\x41\x12\xb9\xeb\x21\x36\x49\xa2\x2d"
      "\xc9\xb7\x28\x87\x1b\x9b\x89\x9c\x8c\x8d\xf5\xfa\xd0\x38\x98\x72\xa1\xa6"
      "\x41\x2d\x40\xa1\x05\x52\x13\x98\xc0\xc9\xdf\xe5\x0d\xc2\x78\x43\xa5\x89"
      "\xcd\x5b\x3e\x6b\x38\xc2\x3c\x52\x13\x80\x7c\xd2\xf2\xdf\xb3\xa0\x0e\xd5"
      "\x73\xf4\x28\x55\x68\x62\x26\x51\x25\x0b\x71\xde\x1d\x41\xec\x9f\xeb\x97"
      "\x02\xb5\x7c\x7c\xd3\x49\x66\xd1\xb3\x05\xb4\x50\x78\x71\xf9\x66\x27\xc1"
      "\x23\x10\xdb\x2d\x35\x86\xf9\x0c\x15\xf0\xd4\xf4\x7a\xac\x38\xab\x99\x6f"
      "\x29\xd7\xbb\x4b\xb9\x4a\xcb\x27\x80\x59\x69\x5c\x69\x31\x44\xd0\x8d\xd6"
      "\x9a\x86\x56\xc4\x3f\x3a\x17\x08\xd8\x25\x8b\x08\x8c\xee\xa2\x5f\x67\xb7"
      "\xae\xcd\x84\x1c\xb7\xf8\x35\x79\x10\x55\x11\x7f\xce\x53\x2c\x8a\xfe\x04"
      "\x18\x90\x89\xab\x18\xe6\x64\x0a\x3b\xfb\x66\x42\x08\xa2\xa7\xac\xe1\x22"
      "\x6c\x2b\xb6\xb3\x8d\xc3\x3e\x58\x8e\x2a\x6f\x44\x61\x04\x62\x3c\x3e\x2c"
      "\xe1\x81\xcf\x27\x46\x4b\xdb\x03\xce\x20\x66\x63\xb1\x82\x6e\x37\x70\xeb"
      "\x50\xa2\x3e\x29\x62\x3c\x3a\xb6\x5f\x71\x10\x02\xaa\x42\x2a\xc4\x79\x80"
      "\xcd\x1b\xc9\xcb\xe6\xde\x01\x89\xf0\xc7\x18\x1d\xf4\xea\x7f\x8b\xc2\x4d"
      "\x36\x9f\xe8\xcd\x14\x42\x54\x2d\xd2\xe6\xd2\x6c\xcd\xfe\xd1\xfb\x2b\x14"
      "\xc8\xdc\xe7\xbb\xd6\x2a\xe5\x0a\x13\x53\xd7\x44\xed\xb4\xbb\x4b\x75\x69"
      "\xec\x83\xe0\x26\xf9\xa0\x1f\x40\x83\x3a\x93\xc4\xe0\xce\x46\x99\x63\xac"
      "\x70\x3b\xa3\x70\x4b\x94\x6c\x37\xe8\xc4\xf2\xcc\xfb\x4c\xb6\x04\xb7\x62"
      "\x9c\xf2\x70\x78\xe0\x16\x0a\x63\xa6\x6e\x10\x8a\x68\x82\x65\x04\x2c\xbe"
      "\x88\x88\xa6\x6b\xa6\x4b\xa2\xe7\x5e\x8c\x09\x05\x1f\x90\xe5\x6f\x93\x07"
      "\x11\x35\xe6\xf0\xfe\xac\xf0\x66\x95\xb6\xfa\x6c\x06\x63\x38\xd4\x14\x6c"
      "\x99\x28\x61\x12\x18\xd4\xdb\x14\x39\x26\xd3\xc2\xaa\x33\x91\x25\xb3\xbc"
      "\xb7\x38\xe2\x3e\x06\x83\x23\xc1\x70\x84\x6c\xff\xbe\x1b\x80\x29\xe6\x42"
      "\x6b\xd1\x06\x12\xf8\xd8\xd7\xda\x8d\x28\x35\x1c\xc2\xe0\xc5\xb3\xbc\x77"
      "\x95\x1d\x8f\x24\x9f\xc9\xcb\xaa\xed\x45\x02\x87\xbf\xe0\x05\x83\x99\x5d"
      "\x47\x1f\xe1\xa3\xed\x3f\x54\xc6\x6a\x82\xb9\x98\x4e\x41\xe8\x3c\x6f\xb4"
      "\xf9\xcf\xfe\x63\x0f\x9a\x5f\x31\xa2\x2b\x62\xe0\x8a\x90\x81\x4e\x71\xe7"
      "\x90\x69\x33\xf2\xdb\x8a\xda\x41\x37\x1b\x24\x70\x32\x0f\x91\xe0\xc4\x0c"
      "\x5b\xdb\x27\x9f\x69\x01\x05\xab\xa7\x20\x01\x9a\xea\xc1\x5c\x0d\x33\xf7"
      "\x6e\xa3\xf2\x76\x61\x18\xac\x85\x40\x9c\x16\x71\xe9\x09\xcf\xcf\x7a\xea"
      "\x33\x08\xec\xa5\x11\x4b\x86\x0c\x41\x2d\xde\xbc\x47\x15\x4e\x7f\x9b\x65"
      "\x83\x8d\x40\x16\x71\x3c\x53\x95\xf7\x35\xa0\x71\x5b\x9d\x2c\x9e\xab\x05"
      "\x61\x2c\xf0\xae\x5f\x63\xce\x1c\x8c\x06\x9a\x17\x48\x61\xba\x7b\x74\x53"
      "\xa6\xbd\xbb\xf6\x34\x82\x32\xcc\x38\x40\xac\x49\x9b\xda\x42\x90\x0a\x81"
      "\xa0\xb5\x5a\x14\x15\x9b\x66\x77\x83\x3b\x59\xff\x32\x4b\x32\x5f\x31\xeb"
      "\xc2\xa7\x9f\xd1\xff\xc5\xd6\x0c\x6e\x69\xa9\x3a\x3f\xc7\xc7\x44\xcf\x70"
      "\x97\x50\xbe\xac\xa8\xdd\xe4\x0b\xb3\x8e\xb5\x47\xfb\x46\xb7\xd3\x89\xf9"
      "\x87\xda\x0d\xdd\x44\x54\x1d\x24\xc5\x0f\x61\x5c\x1b\x6e\xb5\x3b\x98\x53"
      "\x72\x4d\x13\x1f\xd6\xba\x63\x71\x4a\xd1\x40\xb4\xea\x58\x2c\x9e\x0e\xfb"
      "\x3a\xb6\x83\xab\x0e\x64\x19\x19\x75\x04\x56\x86\xb4\x2c\x5e\x7a\x2c\xbe"
      "\xcd\x65\x85\xc8\x79\x4b\x00\x56\x70\x98\x96\xf7\x59\x53\x1f\xa4\x05\x27"
      "\x77\x86\xbd\xd1\xf4\x89\x6c\x9c\x89\x01\x91\x0a\xe3\x10\xad\x0f\xac\x38"
      "\x46\xa6\x61\xa1\xbf\x44\x71\xa9\xdd\x06\xcb\x35\x1f\x3c\x01\xbc\xba\xaa"
      "\xc7\x29\x17\x97\xd6\x8e\xe2\x71\xa4\xad\x57\x88\x42\x6e\xc5\xa0\x75\xe9"
      "\xd1\x71\x4f\xfc\xcd\x61\xba\xc2\x1d\x0e\xc1\x7f\xc8\xf8\xf2\xb8\x30\x16"
      "\x1a\x55\xee\x01\x28\x52\x08\xc2\xcd\xf4\x43\xb1\x19\x2e\x5e\x86\x3e\xb1"
      "\xbc\xd5\x1c\xe2\xff\x51\x19\x1c\x7f\x7e\x59\x70\xb5\x6e\x8d\x25\x69\x12"
      "\x7d\xad\x8f\x52\xf3\x09\xcb\x53\x4d\x4d\xa7\x4e\x53\xd1\xb6\x30\x2e\xce"
      "\xbd\xc8\x80\x78\xa4\x8d\x63\x01\x81\x04\xc8\x64\x55\x74\x25\x83\x95\x18"
      "\xbb\xef\x8b\xb3\x09\x31\x59\x03\x4f\x21\xc2\xf9\xa4\x45\x83\x12\x71\x2c"
      "\x00\x50\x2b\x45\xe2\x33\x96\xdf\x94\x1c\xa5\xd2\x15\x1a\x75\xe2\x38\x12"
      "\xd8\x3b\xa8\x7f\x15\xb0\x78\xa4\x2a\x9b\x0f\x6a\xf1\x51\x3a\x6b\xbf\x98"
      "\xea\x93\x5c\x2e\x49\x1e\x68\xac\xd6\x83\x29\xf1\xce\xe9\xe4\xc2\xda\x5b"
      "\x86\x3b\x3b\xd0\xd9\x1d\x24\xf5\x4a\x48\xe0\xde\xd8\x51\xea\xd0\x49\x2b"
      "\x4a\xfe\x61\xcf\x6c\x7e\x17\x14\xc8\x51\xee\x89\x70\xef\xae\x16\x3e\x77"
      "\x4e\x07\xd2\x06\x8b\x58\x8a\x24\x7f\x92\x7b\x24\x54\x4e\x30\x3b\x92\x26"
      "\x28\x29\xe9\xe8\x0b\x29\xd0\xb3\xa5\xec\xc5\x6f\x44\xfd\xdb\xe9\x22\xa6"
      "\xe7\x84\x13\xd4\xcf\x97\xbd\x82\x25\x37\x5d\x9a\x7d\x61\x52\xaf\x61\xa0"
      "\x85\x85\x55\xb4\x6f\x1a\x1e\x96\x6f\xe7\xf4\x3d\x0a\x9f\xa8\x24\x11\xb3"
      "\xe0\xc9\xb0\x3c\xf4\x08\x95\x1b\xa2\xa3\xff\x8c\xc3\xba\x4f\xc6\x5c\x02"
      "\x53\x90\x47\xbc\x81\x50\xe1\xb2\xe2\x8a\x10\x3f\xdc\xd4\x1b\x4c\x21\x3a"
      "\x10\x19\xf2\xf3\xf1\x41\x53\x31\x60\xab\xfd\x43\x8a\xb5\x4b\xdd\x0e\xf6"
      "\x27\x6f\xbd\x24\xcd\x90\xec\xdd\xca\x28\x61\x81\x44\x15\xf1\x45\x47\x17"
      "\x49\xda\x54\xfe\x64\x97\xe9\x8d\x96\x32\xd0\xfb\xef\xfb\x6c\x41\x19\x36"
      "\xcf\x1c\x25\xfc\x1d\x6a\x70\x51\x47\xa8\x82\xeb\x87\x46\x87\xe5\x5c\xf5"
      "\x4f\xc4\xc1\xf7\x86\xcc\xb7\x3e\xd0\xc2\x7e\x3f\x22\x07\xff\x06\xc8\xd5"
      "\x46\x06\x2e\x65\x41\x43\x96\x5d\x11\x33\x1f\x9e\xee\xb5\x28\xac\x48\x6e"
      "\xee\xf1\x64\x23\xd4\x09\x77\xe5\xf8\xab\x3d\xe1\x04\xca\xa7\x28\xfe\xf9"
      "\x5e\x40\xd3\x09\x76\x94\xd0\x0c\x68\x57\x55\x7c\x34\xa3\x85\x78\x23\xea"
      "\x95\x1f\x37\xb9\x68\x0b\x09\xab\x46\xdf\x58\x97\xc2\x85\xda\x2f\x9b\x57"
      "\xf4\x23\x82\x02\x96\x88\x4e\x87\x9f\x42\xf7\x09\x8b\x03\xff\x62\x2c\x75"
      "\x90\xb0\x4a\xee\x38\x4a\x44\x27\x98\x85\xef\x3e\x40\x38\xbc\x57\x1c\xb1"
      "\xa3\x86\x17\x31\x55\x53\x88\xba\xf0\xe9\x20\x33\x32\x97\x50\x01\x0d\x60"
      "\x13\x7b\xba\xfb\x8a\xab\x3a\x23\x47\x7d\x10\x9b\xa6\xc2\xa2\x8f\x67\x21"
      "\x70\x12\x09\x50\x62\x47\x33\x4d\x5c\xb4\xc0\xa8\xcb\x76\x13\x80\x8c\x44"
      "\x50\xc8\x9f\xdc\x92\xd9\xc6\x65\x61\x8e\xc1\x8f\xc3\x57\xe6\x3d\x75\xdb"
      "\x91\x93\xe4\xee\x1f\xbe\x28\x10\x7d\x54\xed\x1a\x55\xc5\x6c\xa2\x4c\x22"
      "\x6b\xf0\x68\xcc\x1c\x15\xad\x10\xfe\xb1\x7d\x3f\x11\x33\xf3\x94\x12\xbf"
      "\xa6\x02\xda\x66\xe9\x16\x7e\x2d\x90\xdc\x46\xc7\x48\xeb\x51\xdd\xfd\x94"
      "\x94\x22\xf8\x9d\x10\x68\xae\x37\x98\xcf\xd7\x86\x59\x3e\xc1\xa3\x29\x86"
      "\x36\x76\x12\xce\x42\x1a\x67\x3b\x3a\x44\x64\x3a\xd5\xfb\xec\xb1\x59\xf3"
      "\x0f\x94\x28\x93\x54\xd6\xb3\x94\x14\x4d\x8e\x40\x02\xdd\x67\x6e\x2d\xcc"
      "\x3a\xab\x70\x6f\xf6\x2d\x87\x2a\x7d\x9d\x68\x8e\xc3\xf8\xd0\x90\x7e\xb1"
      "\x5a\x58\xfd\xae\x62\x95\x03\x1b\xda\x54\x1f\xda\x84\x55\xcc\x5f\xe8\x68"
      "\xab\xb9\xca\x29\x3c\xdd\x8c\x7e\x25\x7f\x8e\x7e\xf1\x31\xd2\x6a\x05\xef"
      "\xe0\x14\xfb\x1f\xbe\x92\x6c\x87\xd9\x89\xf3\x5f\xda\xe2\x9d\xe8\x32\x48"
      "\x80\x94\x22\x67\x33\x74\xe0\x06\x34\x28\xe9\x72\xe1\x75\x7a\x7c\x09\x96"
      "\x75\x40\xa7\xee\xce\xf8\x0f\x2e\xa5\x73\x8a\x39\x15\x6a\x32\x94\x66\xbc"
      "\x80\x24\x75\xdb\xcc\xa9\x85\xfb\x9b\xe9\x3a\x86\xf4\x5f\xa3\x79\xc9\x2e"
      "\xe8\xf2\x46\xf0\xa4\x85\x75\xb6\x95\x64\x89\xee\xda\xe9\xd1\xb4\x5e\x1e"
      "\xa9\x5c\xf8\xf5\xb5\x64\x4c\xd7\xd6\xa2\x4e\x84\x35\xa9\x14\xd6\x2b\xb5"
      "\xd4\x33\x5d\xb6\xca\x41\x88\x9d\x1f\x7b\xc0\xdf\xf5\x73\xa0\xaa\x7a\xdb"
      "\xbc\x6b\xb8\xda\xd7\x5d\x09\x26\xb4\x56\x35\x10\x64\x5d\x09\xc2\x6f\xe7"
      "\x9d\xa7\xda\x49\xa6\xd9\xf3\xac\xd1\xcd\xf3\xec\xdf\x99\x58\x90\xa8\xd3"
      "\x2e\xde\x47\x76\xac\x09\xdc\xec\x3d\xca\x83\xb9\x09\xe8\x9f\x4c\x32\xb3"
      "\xe4\x7c\xb7\x97\x21\x10\x12\xcd\xd0\xb3\x18\x48\x3a\x8b\xa9\x93\x20\xba"
      "\x42\x45\xd1\xda\xbc\x8a\x15\x99\xec\xa5\xda\x5c\x65\xd8\x1b\x56\xdc\xcc"
      "\x06\x17\x5a\xd0\xdd\x41\x6b\xe5\x29\xf3\x6b\x97\xd3\x37\xaa\xe9\xf4\xee"
      "\xfa\xee\x02\xa1\x00\x7f\x9a\xea\xdc\x8a\x01\x37\x4a\x6e\x9e\x45\x4d\x52"
      "\x2b\x9f\xa6\x7c\x7c\x48\x69\x5f\xe5\x8b\x85\xee\x54\xd4\x85\x20\x96\x14"
      "\xad\x9c\x4d\xf2\x47\x1a\xbd\xac\x47\x95\x34\x21\xf7\xe1\x50\x3f\x05\x71"
      "\xf1\xa9\x2d\x78\x3f\x5f\x48\x37\x3f\x88\x2f\x32\x22\x48\xb3\xb4\x7f\xf0"
      "\x10\xda\xa2\xdd\x98\xfd\x6a\x02\x9b\x95\xa7\xc8\x5d\x20\x59\x4c\x24\x9b"
      "\xa0\x70\x68\xc6\x03\xcd\x73\x8e\x2f\x5f\x2a\x37\x40\x2e\xa9\x77\x61\x39"
      "\x01\x18\xb5\x87\x34\x3d\xf9\x30\x88\x75\x19\xc1\xd9\x1a\x9e\x25\xd7\x0a"
      "\xff\xa3\x45\x41\xe2\xe7\x34\xf6\x9d\x09\x2e\xf2\x53\xf2\x0a\x4c\xdb\x6a"
      "\x2a\xb4\x70\xc4\x1d\x7e\xea\xfd\xd9\xd9\x9f\x2c\xdc\xd3\x5a\xaf\x6f\x2a"
      "\x56\xb5\xff\x03\xe8\xc9\x76\x7d\x1f\xac\xb6\x1c\x78\xa6\x22\x6e\xae\x6b"
      "\x09\xa3\x35\xf9\x5c\x9b\xf1\x71\x50\x06\x2c\x5d\x11\x44\xb4\x7e\x75\xea"
      "\x69\x6f\x38\x8f\x6d\x09\x06\x6f\x61\xc3\x2a\xb2\xa5\x15\x4d\xed\xd7\xbf"
      "\x0a\x5a\xc3\x62\xd1\xa5\xb2\x76\xd5\x7f\x6f\x1c\xd5\x84\x39\xa2\x57\xc5"
      "\xa8\xcd\xcb\x41\xf7\x4e\x1a\xce\xbd\x08\x2d\xff\x64\x80\x5f\x40\x3e\x04"
      "\x6d\x5a\xf9\x96\xf3\xa0\x98\x26\x2c\xbd\xc2\x26\x88\xff\xba\xcc\xd4\xba"
      "\x51\xa3\x25\x93\xbe\xda\x27\x5a\xbe\x5c\x8d\x05\x10\x38\xad\x5c\x3d\xe1"
      "\x60\xb5\x8e\x66\xe3\x0a\xb7\x51\x43\x56\x11\x3e\x7e\x95\x82\x7c\x68\xd9"
      "\xf7\x49\xa9\xc2\xea\xdc\x32\x49\xf8\x25\x1b\x75\x61\x6e\xcd\x68\x51\x47"
      "\x6d\x8d\x9b\x6f\x47\x96\x07\x03\x57\x19\xc8\xbd\x39\x89\x8a\x1f\xf6\x15"
      "\x4a\x82\x0c\xeb\x2e\xc1\xb7\x1c\x53\x36\x62\x84\xfe\x53\x82\x27\x4a\x96"
      "\x2a\xb0\x1a\xc5\xef\xf6\x44\xf5\xfe\x46\xf9\x34\x4f\x0a\x4b\x3b\x4d\x68"
      "\x09\xce\xc0\xdb\xa1\xa8\xe6\x0f\x20\x96\x18\xba\xbd\x99\x56\xfb\x81\xd1"
      "\x9a\xb7\x11\x33\xcb\x2f\xb4\xc4\x5c\xae\x72\xa7\x9f\xa4\x33\xfb\xe0\xd9"
      "\x45\xeb\x98\xcf\x27\xfa\xfe\x32\xe9\x1d\x92\x3f\x95\x1f\x51\x51\xaf\x27"
      "\x59\xf4\x26\xf1\x9e\x3a\x89\xdd\x28\x19\xf6\xe9\xda\x9e\x0e\xbe\x96\xc7"
      "\xf3\x24\x22\x9f\x07\xbe\xe7\x37\x84\xc3\x26\xaf\x25\xd5\xba\x09\x39\x69"
      "\xe3\xc1\xc1\x3f\x11\x87\x13\xa2\xb3\x1a\x45\x8c\x79\xfe\xe6\x03\xcc\x17"
      "\x2f\x5f\x5d\x29\xd6\x84\x42\xc7\x19\x53\x21\x50\x5b\x2c\x87\x8e\x5f\x10"
      "\xff\x61\xec\x5d\x23\x00\x51\x5c\xac\x24\x90\x2c\xef\xca\xa6\x3f\xca\x05"
      "\x1a\x32\xb1\x3e\x27\xed\x82\xd2\x39\xf0\xb6\xd4\x90\xf0\x05\xd0\x76\x66"
      "\xd6\xb1\xa7\x8e\x6d\xa9\x4d\xc7\xc3\xc6\xa6\xf0\x0f\x72\x82\xc8\xcf\xce"
      "\x6d\x4f\xaf\x30\x68\xa6\xaf\x1e\x96\x60\xe4\x64\x10\x53\x84\x4f\x70\x3f"
      "\x07\x7d\x72\xe3\xef\x83\x1e\x4f\xb4\x4e\xa0\xd4\xf1\x21\x8d\xbb\x3f\xaa"
      "\xa9\xbd\x2c\x96\x81\x07\x07\x1a\xcd\xb1\xec\x4c\x07\xc2\xac\x3b\x2a\x8b"
      "\x9f\x90\xff\x26\x0d\x0d\x23\x78\x30\x56\x62\xa0\x89\x8e\x24\xa4\xcf\xff"
      "\x70\xb3\xf5\x0f\x3c\x9f\xb4\x43\xca\xca\x16\x95\x5a\xa6\xd1\x9d\xfd\x92"
      "\x56\x0b\x14\x51\x63\xf4\xfd\x99\x8a\x37\x4e\x25\x08\x0a\x64\xeb\x12\x95"
      "\x5b\xc9\x09\xd9\x40\x40\x66\xee\x77\x67\x78\xdc\x9f\x82\x81\x42\x81\xcc"
      "\xf8\x4a\xdc\xe1\x81\x40\x98\x85\x1b\x57\x7f\x0d\xb8\x32\xb0\xfd\xe5\x55"
      "\x1f\x22\xb5\x88\x53\x50\x29\xde\x69\x33\x55\x8a\x52\xf8\x01\x8f\x26\x43"
      "\xfb\x8f\xf7\x7c\x99\x3b\x60\xe0\xd9\x86\x5c\x5c\xcd\x26\x52\x6a\x17\x9d"
      "\xf0\x6e\x5f\x80\xcb\xf0\x32\x65\x79\x1d\xef\x8e\x84\x70\x41\xe9\xc3\x04"
      "\x81\xb6\x14\x08\x38\xfc\x56\xb2\x57\x9d\x77\x88\x7e\x78\x05\x5a\x30\x70"
      "\x57\xd5\x8e\x1f\x0d\xa3\x7a\x9b\xa7\x74\xca\x5b\x90\x99\xcf\x24\xc4\x03"
      "\xdb\xbb\x76\x6a\x39\xdd\x9c\x39\x31\x37\x51\xae\xdb\x20\x43\xc8\x80\x73"
      "\xda\x7c\xd5\x37\x74\xd1\x41\x13\xbf\x9a\xb5\x9a\x86\xb0\x4b\xd3\xd5\x53"
      "\x6d\x82\x45\x42\xce\x1f\x4d\x3e\x2a\xe8\xc1\xee\x26\x8d\x32\xdc\x94\x7c"
      "\x9e\x8a\x0d\xc4\x85\xa0\xe2\x54\x04\x7d\x90\xf3\x53\x0d\x2e\xeb\xb8\x81"
      "\x5b\xd7\xd1\xd6\x7a\xef\xbd\x09\x07\xc1\xe7\xa2\x6c\x3d\xf0\x2d\x55\x6a"
      "\x16\x52\xe6\x5e\xec\x8d\x2b\x1d\x46\xd0\xd5\x6d\x38\xc3\x56\x18\xf4\x08"
      "\xaf\x86\x50\xb4\x0a\x06\x4e\xbb\x35\x36\xc0\x33\xa3\x0d\xde\x04\x68\xbb"
      "\x79\x30\xdc\x4e\x30\x30\xc7\xc5\x63\xca\x01\xdc\x7e\xbb\xb2\xa4\x79\xab"
      "\x81\x19\x98\xb2\xe2\xd1\x96\x79\xca\xf1\x0d\x6d\x7d\xc2\x5f\xab\x6e\xb0"
      "\x04\x39\xe8\x4b\x81\x3e\x65\x7f\x93\x1b\xac\x65\xee\xa9\xbe\xd2\xf8\x9f"
      "\xf3\x2a\x4b\x1e\x68\xae\xbd\xa3\x5b\x74\x1a\xb7\x9b\x5e\x59\x13\xd3\xa3"
      "\x37\x0c\x52\x1b\x26\x0f\x37\x57\xd5\xb7\xdc\x5a\x57\xf6\x14\xdf\x5a\x1d"
      "\x9a\xcc\x61\x4d\x1c\xd1\x27\x6a\x94\x66\x60\x5a\xf6\x35\x7a\x1c\x3f\x69"
      "\xe3\xc1\x36\x6a\xd4\xa6\x48\xce\x1c\xa8\x04\x06\xc4\xd0\x7c\xa4\x69\xa4"
      "\x95\xb9\x4e\x80\xee\x85\x09\xe7\x41\x88\x5a\x3d\x3b\xbe\x80\xb3\x38\xd7"
      "\xe3\xab\x3a\x60\x7f\x9d\x19\x5e\xb3\x57",
      4096));
  NONFAILING(*(uint64_t*)0x200000000068 = 0x1000);
  syscall(__NR_writev, /*fd=*/r[0], /*vec=*/0x200000000040ul, /*vlen=*/3ul);
  syscall(__NR_ftruncate, /*fd=*/r[0], /*len=*/0xd5ul);
}
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;
}