// https://syzkaller.appspot.com/bug?id=ba4286c15d3479ff087fb1af311a1aa27fc32afc
// 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
#ifndef __NR_renameat2
#define __NR_renameat2 316
#endif

static unsigned long long procid;

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 int inject_fault(int nth)
{
  int fd;
  fd = open("/proc/thread-self/fail-nth", O_RDWR);
  if (fd == -1)
    exit(1);
  char buf[16];
  sprintf(buf, "%d", nth);
  if (write(fd, buf, strlen(buf)) != (ssize_t)strlen(buf))
    exit(1);
  return fd;
}

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 const char* setup_fault()
{
  int fd = open("/proc/self/make-it-fail", O_WRONLY);
  if (fd == -1)
    return "CONFIG_FAULT_INJECTION is not enabled";
  close(fd);
  fd = open("/proc/thread-self/fail-nth", O_WRONLY);
  if (fd == -1)
    return "kernel does not have systematic fault injection support";
  close(fd);
  static struct {
    const char* file;
    const char* val;
    bool fatal;
  } files[] = {
      {"/sys/kernel/debug/failslab/ignore-gfp-wait", "N", true},
      {"/sys/kernel/debug/fail_futex/ignore-private", "N", false},
      {"/sys/kernel/debug/fail_page_alloc/ignore-gfp-highmem", "N", false},
      {"/sys/kernel/debug/fail_page_alloc/ignore-gfp-wait", "N", false},
      {"/sys/kernel/debug/fail_page_alloc/min-order", "0", false},
  };
  unsigned i;
  for (i = 0; i < sizeof(files) / sizeof(files[0]); i++) {
    if (!write_file(files[i].file, files[i].val)) {
      if (files[i].fatal)
        return "failed to write fault injection file";
    }
  }
  return NULL;
}

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)) {
  }
  memcpy((void*)0x20000f00, "udf\000", 4);
  memcpy((void*)0x20000000, "./bus\000", 6);
  memcpy(
      (void*)0x20000440,
      "\x69\x6f\x63\x68\x61\x72\x73\x65\x74\x3d\x61\x73\x63\x69\x69\x00\xf1\x65"
      "\x2c\x69\x6f\x1e\x71\x6b\x91\x73\x65\x74\x3d\x75\x74\x66\x38\x2c\x6e\x6f"
      "\x76\x72\x73\x2c\x74\x00\x00\x20\xac\xdc\x6c\xcf\x12\xfc\x22\x89\x21\x5e"
      "\x4c\xf0\x69\x0f\x9e\x7a\x28\x03\x06\xdc\xa9\x3a\x9e\x0c\x47\x1d\xcc\xa2"
      "\x61\xec\xbf\xef\x7d\x2c\x68\x9c\x92\x32\x48\xfa\x9b\x40\x88\xa7\xae\x1c"
      "\x23\x6c\x06\x10\xe0\xd9\x46\x63\x27\x6a\xaa\xd7\x29\x23\x3c\x1b\x86\x62"
      "\xd9\x1b\xda\x29\x9a\xd4\x2d\x27\xbc\xe2\xaa\xf4\x03\xb0\x0e\x01\xf9\xb1"
      "\x8d\xb7\x81\xff\x3c\x0e\x17\x91\x08\x25\x4e\x55\xb3\x2d\xbe\xdc\x41\x16"
      "\xbf\x5b\xf3\x17\x9d\x05\xc6\x72\x51\x90\xd7\x83\xd5\xd9\x96\x24\x2d\x8e"
      "\x14\xdd\xb0\xd6\x50\x17\xe6\x81\x9f\x02\x64\x08\x1c\x08\xd4\x74\x21\x6c"
      "\x59\x76\xe8\x17\x57\xa9\x52\x1f\x17\x0a\x4f\xda\x79\x88\xbe\xf8\x04\x56"
      "\x15\x5b\x5c\x78\x74\xa0\x80\x60\x25\xff\x01\x7c\xc1\x2a\xa9\xf4\x02\x2f"
      "\xfb\x45\x90\x47\xd4\x00\xb6\x94\xf5\x92\x01\x1b\x0a\x43\x47\x41\xeb\xe5"
      "\x5e\xb1\x3e\xe2\x1c\x2b\x4d\x60\x12\x21\x1b\xe0\xbe\x85\x44\x06\x46\x43"
      "\x84\x65\xf7\x1b\xa6\x17\xc3\xcd\xf7\x0e\x24\x36\xac\x56\xee\x18\x6c\x66"
      "\xdf\xf0\x11\x81\xbf\x5b\xbe\xcb\x2b\x38\x66\x76\xfa\x66\x91\xca\x7a\xd5"
      "\x27\x68\x78\xe2\x64\xf8\x2c\xbc\xb3\x3e\x48\x94\x9b\xb7\xa1\x32\xbb\xbe"
      "\x11\xcb\x4a\x7f\x2f\x0e\xb6\xfe\x17\x44\xf3\x9b\xaa\xb9\xcd\x2e\xef\xc2"
      "\x65\x00\xd0\xfc\x19\x98\x10\xcd\x3d\xfd\xde\x4a\x37\xef\x0b\xdc\x0d\x0f"
      "\x72\xba\xa7\x09\x3d\x5e\x8e\x02\xf9\xf6\x8e\x6d\x0d\x6e\xc9\xf1\x52\x47"
      "\x88\x0a\xff\xc2\x33\xff\xcd\x9f\xb5\x16\x8e\x62\xa3\xee\xae\x33\xa1\x05"
      "\x8a\xfc\x2f\xff\x12\x16\xbc\xb9\x98\xbc\x73\x63\x07\x32\x4a\xb1\x46\xbe"
      "\x1c\x2e\x5d\xf2\x82\x80\xb4\xe3\x3e\x69\xc8\x9f\x28\xe0\xed\x16\xa4\x70"
      "\xd4\x13\x54\x69\x8b\xf8\xbc\xfb\x0f\xac\xce\x28\xc7\x5e\xf8\x63\xbf\x59"
      "\x21\x0b\xe9\xd4\xb1\xd2\xc2\xb6\x23\xec\x67\xe4\x08\xfc\x87\x2f\x5b\xef"
      "\x51\xc9\xd8\xd4\x1f\x45\xb0\xcd\x1f\xf0\x78\x7c\x29\xa4\xe0\xeb\x2c\xa7"
      "\x72\x75\x7e\x5f\x40\xa8\xc1\x98\x8b\x51\x42\x14\x21\x7b\x5a\xa9\x3f\x3f"
      "\x92\xd0\xdb\x4a\x8b\x05\x36\x4e\x5c\x5f\xe1\x69\x25\x19\xd7\xe2\x5e\xa9"
      "\xf3\xe4\x07\x24\xb5\xde\x8e\x16\x49\x94\x61\x62\xd3\xe7\x7c\x09\x53\x0e"
      "\x42\x77\xd5\xa3\x92\xf5\xe2\xac\x04\x93\xdc\x8f\xc1\x20\x61\x8c\x11\x66"
      "\xb2\x4d\x86\x52\x40\xc2\x75\x51\xa3\x49\xcc\x00\x1a\xe3\xa5\x6e\x52\x2b"
      "\x1b\x3e\x4a\x20\x45\x07\x5d\xff\x6f\x95\x14\xb2\x4a\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00",
      580);
  sprintf((char*)0x20000684, "%023llo", (long long)-1);
  *(uint8_t*)0x2000069b = -1;
  sprintf((char*)0x2000069c, "%020llu", (long long)-1);
  sprintf((char*)0x200006b0, "0x%016llx", (long long)-1);
  memcpy(
      (void*)0x20001f80,
      "\x78\x9c\xec\xdd\x4f\x6c\x1c\xd7\x7d\x07\xf0\xdf\x1b\x2d\xc5\xa5\xdc\xd6"
      "\x4c\xec\x2a\x4e\x1a\x07\x9b\xb6\x48\x65\xc6\x72\xf5\x2f\xa6\x62\x15\xee"
      "\xaa\xa6\xd9\x06\x90\x65\x22\x14\x73\x0b\xc0\x95\x48\xa9\x0b\x53\x24\x41"
      "\x52\x8d\x6c\xa4\x2d\xd3\x4b\x0f\x3d\x04\x2d\x8a\x1e\x72\x29\x81\xd6\x28"
      "\x90\xa2\x81\xd1\x14\x41\x8f\x4c\xeb\x02\xc9\xc5\x87\x22\xa7\x9e\xd8\x16"
      "\x36\x82\xa2\x07\xb6\x08\x60\xa0\x40\xc0\x62\x66\xdf\x8a\x4b\x8a\xb4\x65"
      "\x91\x92\x28\xe5\xf3\xb1\xa9\xef\xec\xcc\x7b\x33\xef\xcd\xac\x67\x64\x41"
      "\x6f\x5e\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x11\xbf"
      "\xf5\xf2\xf9\x13\x27\xd3\x0e\x1b\x0e\x3d\x80\xc6\x00\x00\xf7\xc5\xc5\xf1"
      "\x2f\x9f\x38\xb5\xd3\xf3\x1f\x00\x78\x64\x5d\xda\xed\xff\xff\x01\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x80\x83\x22\x45\x11\x4f\x44\x8a\xf9\x8b"
      "\xeb\x69\xb2\xfa\xdc\x51\xbf\xd0\xee\xbb\x71\x73\x62\x64\x74\xe7\x6a\x03"
      "\xa9\xaa\x79\xa8\x2a\x5f\xfe\xd4\x4f\x9e\x3a\x7d\xe6\x0b\xcf\x0f\x9f\xed"
      "\xe6\x85\xf6\xec\x07\xd4\xdf\x6f\x9f\x8a\x57\xc7\x2f\x9d\x6f\xbc\x34\x77"
      "\x7d\x7e\x61\x7a\x71\x71\x7a\xaa\x31\x31\xdb\xbe\x32\x37\x35\x7d\xc7\x7b"
      "\xd8\x6b\xfd\xed\x86\xaa\x13\xd0\xb8\xfe\xda\x8d\xa9\xab\x57\x17\x1b\xa7"
      "\x9e\x3b\xbd\x65\xf3\xcd\xc1\xf7\xfa\x1f\x3b\x3a\x78\x6e\xf8\x99\xe3\x4f"
      "\x77\xcb\x4e\x8c\x8c\x8e\x8e\x6f\x16\xa9\xf7\x96\xaf\xdd\x75\x43\x3a\x76"
      "\x1b\xe1\x71\x38\x8a\x38\x1e\x29\x9e\xfd\xce\x8f\x53\x2b\x22\x8a\xd8\xfb"
      "\xb9\xa8\xdf\xdf\x6b\xbf\xdd\x40\xd5\x89\xa1\xaa\x13\x13\x23\xa3\x55\x47"
      "\x66\xda\xad\xd9\xa5\x72\xe3\x58\xf7\x44\x14\x11\x8d\x9e\x4a\xcd\xee\x39"
      "\xda\xf9\x5a\x44\xad\xef\xbe\xf6\x61\x77\xcd\x88\xe5\xb2\xf9\x65\x83\x87"
      "\xca\xee\x8d\xcf\xb7\x16\x5a\x97\x67\xa6\x1b\x63\xad\x85\xa5\xf6\x52\x7b"
      "\x6e\x76\x2c\x75\x5a\x5b\xf6\xa7\x11\x45\x9c\x4d\x11\x2b\x11\xb1\xd6\x7f"
      "\xfb\xee\xfa\xa2\x88\x5a\xa4\xf8\xd6\xe3\xeb\xe9\x72\x7e\xeb\x47\x75\x1e"
      "\x3e\x5f\x0d\x0c\xde\xbd\x1d\xc5\x3d\xec\xe3\x1d\x28\xdb\xd9\xe8\x8b\x58"
      "\x29\x1e\x82\x6b\x76\x80\xf5\x47\x11\xaf\x44\x8a\x9f\xbc\x7d\x2c\xae\xe4"
      "\xfb\x4c\x75\xaf\xf9\x5c\xc4\x2b\x65\x7e\x2f\xe2\xcd\x32\x5f\x8c\x48\xe5"
      "\x17\xe3\x4c\xc4\xbb\x3b\x7c\x8f\x78\x38\xd5\xa2\x88\x3f\x29\xaf\xff\xb9"
      "\xf5\x34\x55\xdd\x0f\xba\xf7\x95\x0b\x5f\x69\x7c\x69\xf6\xea\x5c\x4f\xd9"
      "\xee\x7d\xe5\x23\x3e\x1f\x6e\xbb\x53\x3c\xa0\xe7\xc3\xc0\xb6\xbc\x3f\xb6"
      "\xdc\x9b\xde\xdf\xe8\xae\x3e\x28\xf7\xa6\x7a\x14\xd1\xaa\xee\xf8\xeb\xe9"
      "\xee\x7f\xb3\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xc0\x7e"
      "\x1b\x88\x22\x3e\x19\x29\x5e\xfe\xd7\xdf\xab\xc6\x15\x47\x35\x2e\xfd\xf1"
      "\x73\xc3\xbf\x3d\xf8\xf3\xbd\x63\xc6\x9f\xfa\x90\xfd\x94\x65\x9f\x8b\x88"
      "\xe5\xe2\xce\xc6\xe4\x1e\xce\x03\x03\xc7\xd2\x58\x4a\xbb\x8e\x25\xfe\xd3"
      "\x7f\xdf\xf2\xf1\x80\x8c\x99\x7b\x94\xd4\xa3\x88\xdf\xcf\xe3\xff\xbe\xf1"
      "\xa0\x1b\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xf0"
      "\x33\xad\x88\x1f\x45\x8a\x17\xde\x39\x96\x56\xa2\x77\x4e\xf1\xf6\xec\xb5"
      "\xc6\xa5\xd6\xe5\x99\xce\xac\xb0\xdd\xb9\x7f\xbb\x73\xa6\x6f\x6c\x6c\x6c"
      "\x34\x52\x27\x9b\x39\x27\x73\x2e\xe7\x5c\xc9\xb9\x9a\x73\x2d\x67\x14\xb9"
      "\x7e\xce\x66\xce\xc9\x9c\xcb\x39\x57\x72\xae\xe6\x5c\xcb\x19\x87\x72\xfd"
      "\x9c\xcd\x9c\x93\x39\x97\x73\xae\xe4\x5c\xcd\xb9\x96\x33\x6a\xb9\x7e\xce"
      "\x66\xce\xc9\x9c\xcb\x39\x57\x72\xae\xe6\x5c\xcb\xe9\x3d\x04\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\xfb\xaf\x88\x22\x7e\x1a\x29\xbe\xf9\xb5"
      "\xf5\x14\x29\x22\x9a\x11\x93\xd1\xc9\xd5\xfe\x07\xdd\x3a\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xa0\xd4\x9f"
      "\x8a\xf8\x6e\xa4\x68\xfc\x4e\xf3\xd6\xba\x5a\x44\xa4\xea\xdf\x8e\x63\xe5"
      "\x2f\x67\xa2\x79\xb8\xcc\x8f\x47\x73\xb8\xcc\x17\xa3\x79\x3e\x67\xab\xca"
      "\x5a\xf3\x1b\x0f\xa0\xfd\xec\x4d\x5f\x2a\xe2\x87\x91\xa2\xbf\xfe\xd6\xad"
      "\x0b\x9e\xaf\x7f\x5f\xe7\xd3\xad\xaf\x41\xbc\xf9\xf5\xcd\x4f\x9f\xaa\x75"
      "\xf2\x50\x77\xe3\xe0\x7b\xfd\x8f\x1d\x7d\xfc\xdc\xf0\xe8\x67\x9e\xda\x6d"
      "\x39\xed\xd4\x80\xa1\x0b\xed\xd9\x1b\x37\x1b\x13\x23\xa3\xa3\xe3\x3d\xab"
      "\x6b\xf9\xe8\x1f\xef\x59\x37\x98\x8f\x5b\xec\x4f\xd7\x89\x88\xc5\xd7\xdf"
      "\x78\xad\x35\x33\x33\xbd\x70\xf7\x0b\xe5\x57\x60\x0f\xd5\x0f\xfa\xc2\xc9"
      "\xcd\x35\xa9\xf6\x48\xf7\xd4\xc2\xf6\x85\xa8\x1d\x88\x66\x3c\x98\xbe\x6f"
      "\x51\x7f\x50\x37\x28\xee\xa9\xf2\xf9\xff\x6e\xa4\xf8\xf5\x77\xfe\xad\xfb"
      "\xc0\xef\x3c\xff\xeb\xf1\x73\x9d\x4f\xb7\x9e\xf0\xf1\xfe\x1f\x44\xa4\xd5"
      "\xce\xf2\x0b\xdb\x77\x74\x87\xcf\xff\xda\xf6\x7a\xf9\xf9\x5f\x3e\xd3\x77"
      "\x7a\xfe\x3f\xd1\xb3\xee\x85\xfc\xbb\x91\xbe\x5a\x44\x7d\xe9\xfa\x7c\xdf"
      "\xd1\x88\xfa\xe2\xeb\x6f\x1c\x6f\x5f\x6f\x5d\x9b\xbe\x36\x3d\x7b\xe6\xc4"
      "\x89\x2f\x0e\x0f\x7f\xf1\xf4\x89\xbe\xc3\x11\xf5\xab\xed\x99\xe9\x9e\xa5"
      "\xfd\x39\x5f\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xf7\x4d"
      "\x2a\xe2\x37\x23\x45\xeb\x87\xeb\xa9\x11\x11\x37\xab\xf1\x5a\x83\xe7\x86"
      "\x9f\x39\xfe\xf4\xa1\x38\x54\x8d\xb7\xda\x32\x6e\xfb\xd5\xf1\x4b\xe7\x1b"
      "\x2f\xcd\x5d\x9f\x5f\x98\x5e\x5c\x9c\x9e\x6a\x4c\xcc\xb6\xaf\xcc\x4d\x4d"
      "\xdf\xe9\xe1\xea\xd5\x70\xaf\x89\x91\xd1\x7b\xd2\x99\x0f\x35\x70\x8f\xdb"
      "\x3f\x50\x7f\x69\x6e\xfe\xf5\x85\xf6\xb5\xdf\x5d\xda\x71\xfb\x91\xfa\xf9"
      "\xcb\x8b\x4b\x0b\xad\x2b\x3b\x6f\x8e\x81\x28\x22\x9a\xbd\x6b\x86\xaa\x06"
      "\x4f\x8c\x8c\x56\x8d\x9e\x69\xb7\x66\xab\xaa\x63\x3b\x0e\xa6\xff\xe8\xfa"
      "\x52\x11\xff\x11\x29\xae\x9c\x69\xa4\xcf\xe6\x75\x79\xfc\xff\xf6\x11\xfe"
      "\x5b\xc6\xff\x2f\x6f\xdf\xd1\x3e\x8e\xff\xff\xcc\x91\xcd\xf1\x7f\x1f\xeb"
      "\x29\x5a\x1e\x33\xa5\x22\xde\x8f\x14\xbf\xf6\x67\x4f\xc5\x67\xab\x76\x1e"
      "\x89\xdb\xce\x59\x2e\xf7\xd7\x91\x62\xe8\xec\xa7\x73\xb9\x38\x5c\x96\xeb"
      "\xb6\xa1\xf3\x5e\x81\xce\xc8\xc0\xb2\xec\xff\x44\x8a\xbf\xff\xe9\xd6\xb2"
      "\xdd\xf1\x90\x4f\x6c\x96\x3d\xf9\x91\x4e\xee\x43\xa0\xbc\xfe\x8f\x47\x8a"
      "\xef\xfe\xf1\xb7\xe3\x97\xf3\xba\xad\xef\x7f\xd8\xf9\xfa\x1f\xd9\xbe\xa3"
      "\x7b\xf4\xfe\x87\x27\x7b\xd6\x1d\xd9\xf2\xbe\x82\x3d\x77\x9d\x7c\xfd\x8f"
      "\x47\x8a\x17\x9f\x78\x2b\x7e\xa5\x5a\xf3\x7f\x1f\xf8\xfe\x8f\xee\xbb\x37"
      "\x8e\x75\x0a\x6f\xbe\x9f\x63\xd7\xeb\x7f\x64\x4f\xd7\xff\x17\x7b\xcb\x0e"
      "\x76\x8e\xfb\xab\xfb\xd4\x77\x00\x00\x00\x00\x00\x00\x00\x00\x80\x87\x59"
      "\x5f\x2a\xe2\x6f\x22\xc5\xf7\x47\x6b\xe9\xf9\xbc\xee\x4e\xfe\xfe\xdf\xd4"
      "\xf6\x1d\xdd\xa3\xbf\xff\xf7\x89\x9e\x75\x53\xfb\x33\x5f\xd1\x87\x2e\xec"
      "\xf9\xa4\x02\x00\x00\x00\xc0\x01\xd1\x97\x8a\xf8\x51\xa4\xb8\xb6\xf4\xd6"
      "\xad\x31\xd4\x5b\xc7\x7f\xf7\x8c\xff\xfc\x8d\xcd\xf1\x9f\x23\x69\xdb\xd6"
      "\xea\xcf\xf9\x7e\xa1\x7a\x6f\xc0\x7e\xfe\xf9\x5f\xaf\xc1\x7c\xdc\xc9\xbd"
      "\x77\x1b\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0e"
      "\x94\x94\x8a\x78\x3e\xcf\xa7\x3e\xd9\x7d\xdb\xe7\x2e\xf3\xa9\xaf\x46\x8a"
      "\x97\xff\xeb\xd9\xaa\x5c\x8a\x74\xb4\x2c\xd7\x9d\x07\x7e\xb0\xfa\xb5\x7e"
      "\x71\x6e\xf6\xf8\xf9\x99\x99\xb9\x7a\x2c\xb5\x2e\xcf\x4c\x37\xc6\xe7\x5b"
      "\x57\xa6\xcb\xba\x4f\x46\x8a\xf5\xbf\xfa\x74\xae\x5b\x54\xf3\xab\x77\xe7"
      "\x9b\xef\xcc\xf1\xbe\x39\x17\xfb\x42\xa4\x18\xfd\xdb\x6e\xd9\xce\x5c\xec"
      "\xdd\xb9\xc9\x9f\xdc\x2c\x7b\xb2\x2c\xfb\xb1\x48\xf1\x9f\x7f\xb7\xb5\x6c"
      "\x9e\x9a\x3a\xcf\x1d\x5d\x95\x3d\x55\x96\xfd\x8b\x48\xf1\xd5\x7f\xdc\xb9"
      "\xec\xd1\xcd\xb2\xa7\xcb\xb2\xdf\x8e\x14\x3f\xf8\x6a\xa3\x5b\xf6\x48\x59"
      "\xb6\xfb\x7e\xd4\x4f\x6c\x96\x7d\xee\xca\xc6\xc6\xc6\x1f\xee\xff\x65\x01"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xe0\x67\x4c\x5f"
      "\x2a\xe2\x8f\x22\xc5\x7f\x5f\x5f\xc9\x63\xf9\x37\xfa\xbb\x9b\x72\xd6\xba"
      "\x65\xdf\xfc\x7a\xcf\x7c\xff\xdb\xdc\xac\xe6\xf9\x1f\xac\xe6\xff\xbf\xf9"
      "\x97\x11\xd1\x5d\xee\x59\x7f\x37\xf3\xff\x57\xef\x15\x58\xde\xed\xa8\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xf0\x68"
      "\x4a\x51\xc4\x1b\x91\x62\xfe\xe2\x7a\x5a\xed\x2f\x3f\x77\xd4\x2f\xb4\x67"
      "\x6f\xdc\x9c\x18\x19\xdd\xb9\xda\x40\xaa\x6a\x1e\xaa\xca\x97\x3f\xf5\x93"
      "\xa7\x4e\x9f\xf9\xc2\xf3\xc3\x67\xbb\xf9\xc1\xf5\xf7\xdb\x27\xe3\xd5\xf1"
      "\x4b\xe7\x1b\x2f\xcd\x5d\x9f\x5f\x98\x5e\x5c\x9c\x9e\x6a\x4c\xcc\xb6\xaf"
      "\xcc\x4d\x4d\xdf\xf1\x1e\xf6\x5a\x7f\xbb\xa1\xea\x04\x34\xae\xbf\x76\x63"
      "\xea\xea\xd5\xc5\xc6\xa9\xe7\x4e\x6f\xd9\x7c\x73\xf0\xbd\xfe\xc7\x8e\x0e"
      "\x9e\x1b\x7e\xe6\xf8\xd3\xdd\xb2\x13\x23\xa3\xa3\xe3\x3d\x65\x6a\x7d\x77"
      "\x7d\xf4\xdb\xa4\x5d\xd6\x1f\x8e\x22\xfe\x3c\x52\x3c\xfb\x9d\x1f\xa7\xef"
      "\xf7\x47\x14\xb1\xf7\x73\xf1\x21\xdf\x9d\x7b\x6d\xa0\xea\xc4\x50\xd5\x89"
      "\x89\x91\xd1\xaa\x23\x33\xed\xd6\xec\x52\xb9\x71\xac\x7b\x22\x8a\x88\x46"
      "\x4f\xa5\x66\xf7\x1c\xdd\x87\x6b\xb1\x27\xcd\x88\xe5\xb2\xf9\x65\x83\x87"
      "\xca\xee\x8d\xcf\xb7\x16\x5a\x97\x67\xa6\x1b\x63\xad\x85\xa5\xf6\x52\x7b"
      "\x6e\x76\x2c\x75\x5a\x5b\xf6\xa7\x11\x45\x9c\x4d\x11\x2b\x11\xb1\xd6\x7f"
      "\xfb\xee\xfa\xa2\x88\xd7\x22\xc5\xb7\x1e\x5f\x4f\xff\xd4\x1f\x71\xa8\x7b"
      "\x1e\x3e\x7f\x71\xfc\xcb\x27\x4e\xed\xde\x8e\xe2\x1e\xf6\xf1\x0e\x94\xed"
      "\x6c\xf4\x45\xac\x14\x0f\xc1\x35\x3b\xc0\xfa\xa3\x88\x7f\x88\x14\x3f\x79"
      "\xfb\x58\xfc\x73\x7f\x44\x2d\x3a\x3f\xf1\xb9\x88\x57\xca\xfc\x5e\xc4\x9b"
      "\xd1\xb9\xde\xa9\xfc\x62\x9c\x89\x78\x77\x87\xef\x11\x0f\xa7\x5a\x14\xf1"
      "\xbf\xe5\xf5\x3f\xb7\x9e\xde\xee\x2f\xef\x07\xdd\xfb\xca\x85\xaf\x34\xbe"
      "\x34\x7b\x75\xae\xa7\x6c\xf7\xbe\xf2\xd0\x3f\x1f\xee\xa7\x03\x7e\x6f\xaa"
      "\x47\x11\x3f\xa8\xee\xf8\xeb\xe9\x5f\xfc\x77\x0d\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x70\x80\x14\xf1\x4b\x91\x22\xde\x39\x96\xaa\xf1"
      "\xc1\xb7\xc6\x14\xb7\x67\xaf\x35\x2e\xb5\x2e\xcf\x74\x86\xf5\x75\xc7\xfe"
      "\x75\xc7\x4c\x6f\x6c\x6c\x6c\x34\x52\x27\x9b\x39\x27\x73\x2e\xe7\x5c\xc9"
      "\xb9\x9a\x73\x2d\x67\x14\xb9\x7e\xce\x66\x99\xf5\x8d\x8d\xc9\xfc\x79\x39"
      "\xe7\x4a\xce\xd5\x9c\x6b\x39\xe3\x50\xae\x9f\xb3\x99\x73\x32\xe7\x72\xce"
      "\x95\x9c\xab\x39\xd7\x72\x46\x2d\xd7\xcf\xd9\xcc\x39\x99\x73\x39\xe7\x4a"
      "\xce\xd5\x9c\x6b\x39\xe3\x80\x8c\xdd\x03\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x1e\x2d\x45\xf5\x4f\x8a\x6f\x7e\x6d\x3d\x6d\xf4"
      "\x77\xe6\x97\x9e\x8c\x4e\xae\x9a\x0f\xf4\x91\xf7\xff\x01\x00\x00\xff\xff"
      "\xbe\x09\xff\x2b",
      3172);
  syz_mount_image(/*fs=*/0x20000f00, /*dir=*/0x20000000, /*flags=*/0,
                  /*opts=*/0x20000440, /*chdir=*/9, /*size=*/0xc64,
                  /*img=*/0x20001f80);
  memcpy((void*)0x200001c0, "./file2\000", 8);
  memcpy((void*)0x20000200, "./file6\000", 8);
  syscall(__NR_symlinkat, /*old=*/0x200001c0ul, /*newfd=*/0xffffff9c,
          /*new=*/0x20000200ul);
  memcpy((void*)0x20000b80, "./file6\000", 8);
  memcpy((void*)0x20000bc0, "./file7\000", 8);
  inject_fault(12);
  syscall(__NR_renameat2, /*oldfd=*/0xffffff9c, /*old=*/0x20000b80ul,
          /*newfd=*/0xffffff9c, /*new=*/0x20000bc0ul, /*flags=*/0ul);
}
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;
  if ((reason = setup_fault()))
    printf("the reproducer may not work as expected: fault injection setup "
           "failed: %s\n",
           reason);
  use_temporary_dir();
  loop();
  return 0;
}