// https://syzkaller.appspot.com/bug?id=b3d4ed3e41b3085ce97f4504f4183e3f99115fb2
// 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 279
#endif
#ifndef __NR_mmap
#define __NR_mmap 222
#endif
#ifndef __NR_mount
#define __NR_mount 40
#endif

static unsigned long long procid;

static __thread int clone_ongoing;
static __thread int skip_segv;
static __thread jmp_buf segv_env;

static void segv_handler(int sig, siginfo_t* info, void* ctx)
{
  if (__atomic_load_n(&clone_ongoing, __ATOMIC_RELAXED) != 0) {
    exit(sig);
  }
  uintptr_t addr = (uintptr_t)info->si_addr;
  const uintptr_t prog_start = 1 << 20;
  const uintptr_t prog_end = 100 << 20;
  int skip = __atomic_load_n(&skip_segv, __ATOMIC_RELAXED) != 0;
  int valid = addr < prog_start || addr > prog_end;
  if (skip && valid) {
    _longjmp(segv_env, 1);
  }
  exit(sig);
}

static void install_segv_handler(void)
{
  struct sigaction sa;
  memset(&sa, 0, sizeof(sa));
  sa.sa_handler = SIG_IGN;
  syscall(SYS_rt_sigaction, 0x20, &sa, NULL, 8);
  syscall(SYS_rt_sigaction, 0x21, &sa, NULL, 8);
  memset(&sa, 0, sizeof(sa));
  sa.sa_sigaction = segv_handler;
  sa.sa_flags = SA_NODEFER | SA_SIGINFO;
  sigaction(SIGSEGV, &sa, NULL);
  sigaction(SIGBUS, &sa, NULL);
}

#define NONFAILING(...)                                                        \
  ({                                                                           \
    int ok = 1;                                                                \
    __atomic_fetch_add(&skip_segv, 1, __ATOMIC_SEQ_CST);                       \
    if (_setjmp(segv_env) == 0) {                                              \
      __VA_ARGS__;                                                             \
    } else                                                                     \
      ok = 0;                                                                  \
    __atomic_fetch_sub(&skip_segv, 1, __ATOMIC_SEQ_CST);                       \
    ok;                                                                        \
  })

static void sleep_ms(uint64_t ms)
{
  usleep(ms * 1000);
}

static uint64_t current_time_ms(void)
{
  struct timespec ts;
  if (clock_gettime(CLOCK_MONOTONIC, &ts))
    exit(1);
  return (uint64_t)ts.tv_sec * 1000 + (uint64_t)ts.tv_nsec / 1000000;
}

static void use_temporary_dir(void)
{
  char tmpdir_template[] = "./syzkaller.XXXXXX";
  char* tmpdir = mkdtemp(tmpdir_template);
  if (!tmpdir)
    exit(1);
  if (chmod(tmpdir, 0777))
    exit(1);
  if (chdir(tmpdir))
    exit(1);
}

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

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

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

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

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

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

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

#define ZLIB_HEADER_WIDTH 2

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

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

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

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

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

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

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

static void kill_and_wait(int pid, int* status)
{
  kill(-pid, SIGKILL);
  kill(pid, SIGKILL);
  for (int i = 0; i < 100; i++) {
    if (waitpid(-1, status, WNOHANG | __WALL) == pid)
      return;
    usleep(1000);
  }
  DIR* dir = opendir("/sys/fs/fuse/connections");
  if (dir) {
    for (;;) {
      struct dirent* ent = readdir(dir);
      if (!ent)
        break;
      if (strcmp(ent->d_name, ".") == 0 || strcmp(ent->d_name, "..") == 0)
        continue;
      char abort[300];
      snprintf(abort, sizeof(abort), "/sys/fs/fuse/connections/%s/abort",
               ent->d_name);
      int fd = open(abort, O_WRONLY);
      if (fd == -1) {
        continue;
      }
      if (write(fd, abort, 1) < 0) {
      }
      close(fd);
    }
    closedir(dir);
  } else {
  }
  while (waitpid(-1, status, __WALL) != pid) {
  }
}

static void reset_loop()
{
  char buf[64];
  snprintf(buf, sizeof(buf), "/dev/loop%llu", procid);
  int loopfd = open(buf, O_RDWR);
  if (loopfd != -1) {
    ioctl(loopfd, LOOP_CLR_FD, 0);
    close(loopfd);
  }
}

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

static void execute_one(void);

#define WAIT_FLAGS __WALL

static void loop(void)
{
  int iter = 0;
  for (;; iter++) {
    char cwdbuf[32];
    sprintf(cwdbuf, "./%d", iter);
    if (mkdir(cwdbuf, 0777))
      exit(1);
    reset_loop();
    int pid = fork();
    if (pid < 0)
      exit(1);
    if (pid == 0) {
      if (chdir(cwdbuf))
        exit(1);
      setup_test();
      execute_one();
      exit(0);
    }
    int status = 0;
    uint64_t start = current_time_ms();
    for (;;) {
      sleep_ms(10);
      if (waitpid(-1, &status, WNOHANG | WAIT_FLAGS) == pid)
        break;
      if (current_time_ms() - start < 5000)
        continue;
      kill_and_wait(pid, &status);
      break;
    }
    remove_dir(cwdbuf);
  }
}

void execute_one(void)
{
  if (write(1, "executing program\n", sizeof("executing program\n") - 1)) {
  }
  //  syz_mount_image$ext4 arguments: [
  //    fs: ptr[in, buffer] {
  //      buffer: {65 78 74 34 00} (length 0x5)
  //    }
  //    dir: ptr[in, buffer] {
  //      buffer: {2e 2f 66 69 6c 65 31 00} (length 0x8)
  //    }
  //    flags: mount_flags = 0x1018e58 (8 bytes)
  //    opts: ptr[in, fs_options[ext4_options]] {
  //      fs_options[ext4_options] {
  //        elems: array[fs_opt_elem[ext4_options]] {
  //        }
  //        common: array[fs_opt_elem[fs_options_common]] {
  //        }
  //        null: const = 0x0 (1 bytes)
  //      }
  //    }
  //    chdir: int8 = 0x1 (1 bytes)
  //    size: len = 0x61f (8 bytes)
  //    img: ptr[in, buffer] {
  //      buffer: (compressed buffer with length 0x620)
  //    }
  //  ]
  //  returns fd_dir
  NONFAILING(memcpy((void*)0x20000140, "ext4\000", 5));
  NONFAILING(memcpy((void*)0x20000040, "./file1\000", 8));
  NONFAILING(*(uint8_t*)0x20000000 = 0);
  NONFAILING(memcpy(
      (void*)0x20001680,
      "\x78\x9c\xec\xdd\xcf\x6b\x5c\xd5\x1e\x00\xf0\xef\x9d\x49\xd2\xa4\xcd\x7b"
      "\x69\x1f\x8f\xc7\x6b\x78\x0f\x03\x2e\x5a\x90\xa6\x49\x2d\x56\xdd\xd8\xd6"
      "\x85\x5d\x14\x2c\xd8\x85\x88\x8b\x86\x26\xa9\xa1\xd3\x1f\x34\x29\xd8\x5a"
      "\x68\x0b\x2e\x14\x14\x44\xdc\x16\xe9\xc6\x7f\xc0\xbd\x74\xef\x4e\x04\x75"
      "\xe7\x5a\xa8\x22\x15\x05\x2d\x19\xb9\x77\xee\xa4\x93\xe4\x4e\x93\xa6\x9d"
      "\x99\xa4\xf7\xf3\x81\x99\x39\xf7\xdc\x3b\x73\xce\x77\x4e\x4f\xef\xb9\xf7"
      "\xe6\xcc\x0d\xa0\xb4\xc6\xd2\xa7\x4a\xc4\xee\x88\xc5\x53\x49\xc4\x48\xcb"
      "\xba\xe1\x68\xac\x1c\xcb\xb7\xbb\xf7\xeb\xb5\xd3\xe9\x23\x89\x7a\xfd\x8d"
      "\x5f\x92\x48\xf2\xbc\xe6\xf6\x8b\xf9\xeb\x8e\xf4\x29\x89\x18\x8c\x88\x6f"
      "\x8e\x46\xfc\xab\xba\xba\xdc\xf9\x2b\x57\xcf\x4e\xd5\xea\x0d\xd7\x23\xf6"
      "\x2f\x9c\xbb\xb8\x7f\xfe\xca\xd5\x7d\x73\xe7\xa6\xce\xcc\x9c\x99\x39\x3f"
      "\x79\xe0\xc5\x83\x87\x26\x5e\x9a\x3c\x38\xf9\x44\xe2\xdc\x91\xbf\x1e\x3b"
      "\xfe\xfa\xff\x3e\x7e\xff\x9d\x17\x66\xbf\xad\xed\x4b\xe2\x70\x9c\xec\x7f"
      "\x6f\x3a\x56\xc4\xb1\x01\xf5\xa4\x20\x73\x2c\xc6\x62\x31\x0f\xb1\x35\xbf"
      "\x2f\x22\x0e\xa5\x89\x82\xef\x65\xab\x59\x57\x08\xdb\x3a\x5f\x0f\x36\xa6"
      "\x9a\xff\x7b\xec\x8f\x88\xff\xc4\x48\x54\xb3\xa5\x86\x91\x98\xfb\xa8\xa7"
      "\x95\x03\x3a\xaa\x5e\x8d\xa8\x03\x25\x95\xe8\xff\x50\x52\xcd\x71\x40\xf3"
      "\xd8\x7e\x7d\xc7\xc1\x27\x3b\x3c\x2a\xe9\x9e\xbb\x47\x1a\x07\x40\xab\xe3"
      "\xef\x6b\x9c\x1b\x89\xc1\xec\xd8\x68\xfb\xbd\xa4\xe5\xc8\xa8\x71\x6e\x63"
      "\xe7\x13\x28\x3f\x2d\xe3\xfe\xb5\xd1\x5b\xe9\x23\x96\x9d\x87\xf8\x63\xa9"
      "\x75\xfa\x9e\x40\x39\xed\xdc\xb8\x19\x11\xff\x2d\x8a\x3f\xc9\xea\xb6\x33"
      "\x8b\x34\x8d\xbf\x12\x95\x96\xf7\xa5\x75\x9a\x88\x88\x81\x3c\xfd\xea\x06"
      "\x8a\x6e\x26\x5a\xcf\x9d\x3c\xe6\x79\x98\x47\xaf\xc4\x23\xc4\xdf\xda\x0e"
      "\xe9\x77\x71\x38\x7f\x4d\xf3\x8f\x6e\xb0\xfc\xb1\x15\xcb\xdd\x8e\x1f\x80"
      "\x72\xba\x73\x24\xdf\x91\x67\x7b\xe3\x07\xfb\xbf\x74\xec\xd1\x1c\xff\x44"
      "\xc1\xf8\x67\xb8\x60\xdf\xb5\x11\xbd\xde\xff\xb5\x1f\xff\x35\xf7\xf7\x83"
      "\xd9\x39\xf2\xca\x8a\x71\x58\x3a\x66\x39\x51\xfc\x91\xfd\x2b\x33\x7e\xfc"
      "\xf0\xd8\xa7\xed\xca\x6f\x1d\xff\xdd\xbf\x96\x64\xf5\x68\x8e\x05\xbb\xe1"
      "\xee\xcd\x88\xd1\x15\xf1\x7f\x90\x0d\xf4\x92\xa5\xf6\x4f\x0a\xda\x3f\xdd"
      "\xe4\xd4\xe1\xf5\x95\xf1\xda\x77\x3f\x1f\x6b\xb7\x6e\x79\xfc\xa3\xb7\xba"
      "\x1d\x7f\xfd\x76\xc4\x9e\xc2\xe3\x9f\x07\xa3\xd2\x34\xf5\x90\xeb\x93\xfb"
      "\x67\xe7\x6a\x33\x13\x8d\xe7\xc2\x32\xbe\xfa\xfa\xed\x2f\xda\x95\xdf\xeb"
      "\xf8\xd3\xf6\xdf\xde\x26\xfe\x96\xf6\xaf\xac\x7c\x5f\xfa\x9d\x5c\x5c\x67"
      "\x19\x5f\x9e\xb8\x7d\x6e\xa0\xcd\xba\xe1\x35\xe3\xaf\xfc\x34\x90\x34\x8e"
      "\x37\x9b\x9f\xf1\xee\xd4\xc2\xc2\xa5\xc9\x88\x81\xe4\x78\xbe\x49\x4b\xfe"
      "\x81\x87\xd7\xa5\xb9\x4d\xf3\x33\xd2\xf8\xf7\x3e\x5b\xdc\xff\x97\xfd\xfb"
      "\xbf\xb9\xfc\x73\x86\x5a\x0f\x60\xd6\x70\xf1\xcd\xb3\xf7\xda\xad\xdb\x48"
      "\xfb\xb7\x5c\x4c\x5e\xac\xaf\xb3\x0e\xed\xa4\xf1\x4f\xaf\xdd\xfe\xab\xfa"
      "\x7f\x9a\xf7\xc9\x3a\xcb\xf8\xfd\xad\xcb\xff\x6f\xb7\xae\x20\xfe\x88\x3c"
      "\xfe\xa1\xc7\x09\x0c\x00\x00\x00\x00\x00\x00\x4a\xa8\x92\x5d\x83\x4d\x2a"
      "\xe3\x4b\xe9\x4a\x65\x7c\xbc\x31\x5f\xf6\xdf\xb1\xbd\x52\xbb\x30\xbf\xf0"
      "\xdc\xec\x85\xcb\xe7\xa7\x23\xf6\x66\x7f\x0f\xd9\x5f\x69\x5e\xe9\x1e\x69"
      "\x2c\x27\xe9\xf2\x64\xfe\xf7\xb0\xcd\xe5\x03\x2b\x96\x9f\x8f\x88\x5d\x11"
      "\xf1\x59\x75\x28\x5b\x1e\x3f\x7d\xa1\x36\xdd\xeb\xe0\x01\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x60\x93\xd8\x91\xcf\xff\x6f\xde"
      "\xa7\xfa\xb7\x6a\x63\xfe\x3f\x50\x12\x9d\xbc\xc1\x1c\xb0\xb9\xe9\xff\x50"
      "\x5e\x59\xff\x5f\x75\x8b\x27\xa0\x0c\xec\xff\xa1\xbc\xf4\x7f\x28\x2f\xfd"
      "\x1f\xca\x4b\xff\x87\xf2\xd2\xff\xa1\xbc\xf4\x7f\x28\x2f\xfd\x1f\xca\x4b"
      "\xff\x07\x00\x00\x00\x80\xa7\xd2\xae\x67\xee\xfc\x90\x44\xc4\x8d\x97\x87"
      "\xb2\x47\x6a\x20\x5f\x57\xed\x69\xcd\x80\x4e\xeb\x2f\xc8\xab\x5f\xef\x41"
      "\x45\x80\xae\xb3\x8f\x87\xf2\x5a\xba\xf4\x6f\xfa\x3f\x94\x4e\xd1\xf8\x7f"
      "\x95\x3f\xf3\x1f\x07\xec\x7c\x75\x80\x1e\x48\x8a\x32\xb3\xc1\x41\xfd\xe1"
      "\x9d\xff\x4e\xe1\x3b\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x0e\xd8"
      "\xb3\xbb\xfd\xfc\xff\x75\xcd\x0d\x00\xb6\x2c\xd3\xfe\xa0\xbc\x1e\x63\xfe"
      "\xbf\x9f\x0e\x80\x2d\xce\x4f\xff\x43\x79\x39\xc6\x07\xd6\x9a\xc5\x3f\xd8"
      "\x6e\x85\xf9\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xd0\x35\xc3\xd9"
      "\x23\xa9\x8c\xe7\x73\x81\x87\xa3\x52\x19\x1f\x8f\xf8\x47\x44\xec\x8c\xfe"
      "\x64\x76\xae\x36\x33\x11\x11\xff\x8c\x88\xef\xab\xfd\xdb\xd2\xe5\xc9\x5e"
      "\x57\x1a\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x9e"
      "\x32\xf3\x57\xae\x9e\x9d\xaa\xd5\x66\x2e\xb5\x26\xfe\x5a\x95\xf3\x74\x27"
      "\x9a\x77\x41\xed\x42\x59\xaf\xc4\x23\xbe\x2b\x92\xee\x7f\x2d\x43\x11\xd1"
      "\xf3\x46\xe9\x58\xa2\xaf\x25\x27\x89\xb8\x91\xb6\xfc\xa6\xa8\xd8\xa5\xf9"
      "\xd8\x1c\xd5\xc8\x12\x3d\xfe\x8f\x09\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x4a\xa8\x65\xee\x71\xb1\xd1\xcf\xbb\x5c\x23\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xe8\xbe\x07\xf7\xff\xef\x5c"
      "\xa2\xd7\x31\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x5b\xd3\xdf\x01\x00\x00\xff\xff\xfc\xaa"
      "\x42\x21",
      1568));
  NONFAILING(syz_mount_image(
      /*fs=*/0x20000140, /*dir=*/0x20000040,
      /*flags=MS_POSIXACL|MS_SYNCHRONOUS|MS_STRICTATIME|MS_SILENT|MS_NOEXEC|0xe40*/
      0x1018e58, /*opts=*/0x20000000, /*chdir=*/1, /*size=*/0x61f,
      /*img=*/0x20001680));
  //  syz_mount_image$ext4 arguments: [
  //    fs: ptr[in, buffer] {
  //      buffer: {65 78 74 34 00} (length 0x5)
  //    }
  //    dir: ptr[in, buffer] {
  //      buffer: {2e 2f 66 69 6c 65 32 00} (length 0x8)
  //    }
  //    flags: mount_flags = 0x2800000 (8 bytes)
  //    opts: ptr[in, fs_options[ext4_options]] {
  //      fs_options[ext4_options] {
  //        elems: array[fs_opt_elem[ext4_options]] {
  //          fs_opt_elem[ext4_options] {
  //            elem: union ext4_options {
  //              debug: buffer: {64 65 62 75 67} (length 0x5)
  //            }
  //            comma: const = 0x2c (1 bytes)
  //          }
  //          fs_opt_elem[ext4_options] {
  //            elem: union ext4_options {
  //              jqfmt_vfsv0: buffer: {6a 71 66 6d 74 3d 76 66 73 76 30}
  //              (length 0xb)
  //            }
  //            comma: const = 0x2c (1 bytes)
  //          }
  //          fs_opt_elem[ext4_options] {
  //            elem: union ext4_options {
  //              inlinecrypt: buffer: {69 6e 6c 69 6e 65 63 72 79 70 74}
  //              (length 0xb)
  //            }
  //            comma: const = 0x2c (1 bytes)
  //          }
  //          fs_opt_elem[ext4_options] {
  //            elem: union ext4_options {
  //              errors_remount: buffer: {65 72 72 6f 72 73 3d 72 65 6d 6f 75
  //              6e 74 2d 72 6f} (length 0x11)
  //            }
  //            comma: const = 0x2c (1 bytes)
  //          }
  //          fs_opt_elem[ext4_options] {
  //            elem: union ext4_options {
  //              test_dummy_encryption_v1: buffer: {74 65 73 74 5f 64 75 6d 6d
  //              79 5f 65 6e 63 72 79 70 74 69 6f 6e 3d 76 31} (length 0x18)
  //            }
  //            comma: const = 0x2c (1 bytes)
  //          }
  //          fs_opt_elem[ext4_options] {
  //            elem: union ext4_options {
  //              norecovery: buffer: {6e 6f 72 65 63 6f 76 65 72 79} (length
  //              0xa)
  //            }
  //            comma: const = 0x2c (1 bytes)
  //          }
  //          fs_opt_elem[ext4_options] {
  //            elem: union ext4_options {
  //              delalloc: buffer: {64 65 6c 61 6c 6c 6f 63} (length 0x8)
  //            }
  //            comma: const = 0x2c (1 bytes)
  //          }
  //          fs_opt_elem[ext4_options] {
  //            elem: union ext4_options {
  //              nogrpid: buffer: {6e 6f 67 72 70 69 64} (length 0x7)
  //            }
  //            comma: const = 0x2c (1 bytes)
  //          }
  //          fs_opt_elem[ext4_options] {
  //            elem: union ext4_options {
  //              minixdf: buffer: {6d 69 6e 69 78 64 66} (length 0x7)
  //            }
  //            comma: const = 0x2c (1 bytes)
  //          }
  //        }
  //        common: array[fs_opt_elem[fs_options_common]] {
  //        }
  //        null: const = 0x0 (1 bytes)
  //      }
  //    }
  //    chdir: int8 = 0x1 (1 bytes)
  //    size: len = 0xbdb (8 bytes)
  //    img: ptr[in, buffer] {
  //      buffer: (compressed buffer with length 0xbdb)
  //    }
  //  ]
  //  returns fd_dir
  NONFAILING(memcpy((void*)0x20000100, "ext4\000", 5));
  NONFAILING(memcpy((void*)0x20000280, "./file2\000", 8));
  NONFAILING(memcpy((void*)0x20000300, "debug", 5));
  NONFAILING(*(uint8_t*)0x20000305 = 0x2c);
  NONFAILING(memcpy((void*)0x20000306, "jqfmt=vfsv0", 11));
  NONFAILING(*(uint8_t*)0x20000311 = 0x2c);
  NONFAILING(memcpy((void*)0x20000312, "inlinecrypt", 11));
  NONFAILING(*(uint8_t*)0x2000031d = 0x2c);
  NONFAILING(memcpy((void*)0x2000031e, "errors=remount-ro", 17));
  NONFAILING(*(uint8_t*)0x2000032f = 0x2c);
  NONFAILING(memcpy((void*)0x20000330, "test_dummy_encryption=v1", 24));
  NONFAILING(*(uint8_t*)0x20000348 = 0x2c);
  NONFAILING(memcpy((void*)0x20000349, "norecovery", 10));
  NONFAILING(*(uint8_t*)0x20000353 = 0x2c);
  NONFAILING(memcpy((void*)0x20000354, "delalloc", 8));
  NONFAILING(*(uint8_t*)0x2000035c = 0x2c);
  NONFAILING(memcpy((void*)0x2000035d, "nogrpid", 7));
  NONFAILING(*(uint8_t*)0x20000364 = 0x2c);
  NONFAILING(memcpy((void*)0x20000365, "minixdf", 7));
  NONFAILING(*(uint8_t*)0x2000036c = 0x2c);
  NONFAILING(*(uint8_t*)0x2000036d = 0);
  NONFAILING(memcpy(
      (void*)0x20001000,
      "\x78\x9c\xec\xdc\xcd\x6b\x1c\xe7\x19\x00\xf0\x67\x46\xab\x0f\xdb\x72\x57"
      "\x2e\xa5\xd4\xbd\x58\xa5\x14\x1b\x4a\xd7\xb2\x8b\x4c\x6d\x0a\xb5\x8b\x4b"
      "\x2f\x3d\x14\xda\x6b\xc1\x42\x5e\x19\xa1\xf5\x07\x92\x8a\x2b\x59\xd0\x55"
      "\xf2\x0f\x84\x24\xff\x40\x2e\x39\x24\x26\xc1\x87\xf8\xec\x4b\x02\xb9\xe6"
      "\x92\x38\xd7\x98\x1c\x02\x26\x28\x56\x02\x21\x24\x0a\xb3\x1f\x92\x2c\xed"
      "\x4a\x96\xb5\xab\x51\xe4\xdf\x0f\x5e\xcd\xfb\x31\x33\xef\xf3\x68\xa4\x9d"
      "\x79\x61\x77\x03\x78\x61\x0d\x67\x3f\xd2\x88\xe3\x11\x71\x25\x89\x28\x36"
      "\xfa\xd3\x88\xe8\xab\xd5\x06\x22\xaa\xf5\xfd\x96\x97\x16\xc6\xbf\x59\x5a"
      "\x18\x4f\x62\x65\xe5\x5f\x5f\x26\x91\x44\xc4\x93\xa5\x85\xf1\xe6\xb9\x92"
      "\xc6\xf6\x48\xa3\x31\x10\x11\x1f\xfd\x35\x89\x9f\xbf\xbc\x79\xde\x99\xb9"
      "\xf9\xa9\xb1\x4a\xa5\x3c\xdd\x68\x9f\x9e\xbd\x7e\xeb\xf4\xcc\xdc\xfc\x1f"
      "\x26\xaf\x8f\x5d\x2b\x5f\x2b\xdf\x38\x73\xee\x4f\xa3\x67\x47\xcf\x8d\x9c"
      "\x1f\xed\x58\xae\xdf\x7e\x76\xf1\xfe\xd7\xbf\xf9\xfb\xe7\xd5\xef\xde\xfa"
      "\xfe\xee\x57\xaf\xbd\x99\xc4\xc5\x18\x6c\x8c\xad\xcf\xa3\x91\xf5\xae\x0d"
      "\xc7\xf0\xea\xef\x64\xbd\x42\x44\x8c\x75\xe0\xfc\xfb\x41\x4f\x23\x9f\xf5"
      "\x79\x26\x85\x6d\x0e\x4a\xbb\x1c\x14\x00\x00\x6d\xa5\xeb\x9e\xe1\x7e\x19"
      "\xc5\xe8\x89\xb5\x87\xb7\x62\xbc\xff\x71\xae\xc1\x01\x00\x00\x00\x1d\xb1"
      "\xd2\x13\xb1\x02\x00\x00\x00\x1c\x70\x89\xf5\x3f\x00\x00\x00\x1c\x70\xcd"
      "\xf7\x01\x3c\x59\x5a\x18\x6f\x96\x7c\xdf\x91\xb0\xb7\x1e\x5f\x8a\x88\xa1"
      "\x7a\xfe\xcb\x8d\x52\x1f\x29\x44\xb5\xb6\x1d\x88\xde\x88\x38\xfc\x24\x89"
      "\xf5\x1f\x6b\x4d\xea\x87\xed\xda\x70\x44\x3c\xfa\xf4\xfc\xbb\x59\x89\x16"
      "\x9f\x43\xee\xb6\xea\x62\x44\xfc\xaa\xd5\xf5\x4f\x6a\xf9\x0f\x35\x3e\x09"
      "\xbd\x31\xff\x34\x22\x46\x3a\x30\xff\xf0\x86\xf6\x4f\x29\xff\x8b\x1d\x98"
      "\x3f\xef\xfc\x01\x78\x31\x3d\xb8\x54\xbf\x91\x6d\xbe\xff\xa5\xab\xcf\x3f"
      "\xd1\xe2\xfe\x57\x68\x71\xef\x7a\x1e\x79\xdf\xff\x9a\xcf\x7f\xcb\x9b\x9e"
      "\xff\xd6\xf2\xef\x69\xf3\xfc\xf7\xcf\x67\x9c\xe3\x4e\x21\x6e\xb7\x1b\xcb"
      "\xf2\xff\xf3\xfd\xbf\xbd\xd3\x2c\xd9\xfc\xd9\x76\x57\x49\xed\xc0\xe3\xc5"
      "\x88\x5f\x17\x5a\xe5\x9f\xac\xe6\x9f\xb4\xc9\xff\xca\x36\xe7\x4e\xa2\x7e"
      "\x8a\xe2\x0f\xb7\xcb\xed\xf6\xc9\x3b\xff\x95\x37\x22\x4e\x46\xeb\xfc\x9b"
      "\x92\xad\xbf\x9f\xe8\xf4\xc4\x64\xa5\x3c\x52\xff\xd9\x72\x8e\xc5\x0f\x47"
      "\xdf\x6e\x37\x7f\xde\xf9\x67\xd7\xff\x70\x9b\xfc\xb7\xb8\xfe\x03\x59\xdf"
      "\xad\xa7\xce\xd4\xfe\x4b\x7d\xfe\x73\xf9\xf2\xbd\x4d\x9d\x8d\xdd\xb7\xcf"
      "\x3f\xfd\xa2\x2f\xf9\x77\xad\xd6\xd7\xe8\xf9\xdf\xd8\xec\xec\xf4\x99\x88"
      "\xbe\xe4\x1f\x9b\xfb\xcf\x6e\x9d\x6f\x73\x9f\xe6\x39\xb2\xfc\x4f\xfd\x76"
      "\xeb\xff\xff\x56\x7f\xff\xd9\x6b\x42\xb5\xf1\xb7\x91\xa5\xb2\xd8\xd8\x66"
      "\xed\x97\x36\xcc\xf9\x97\xbb\x77\xde\x6b\x17\x4f\x73\xfd\x97\xe7\xf5\xbf"
      "\xba\xf3\xeb\x5f\xeb\x7b\xe5\x19\xe7\xf8\xdd\x07\xaf\x9e\xda\xd8\xd7\xfc"
      "\x7e\xad\xf5\xeb\xdf\xac\x64\xf3\x3f\x4a\xea\x6b\x61\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x68\x4a\x23\x62\x30\x92\xb4\x14\x11\x49\xad\x9e\xa6\xa5\x52\xc4"
      "\x91\x88\xf8\x45\x1c\x4e\x2b\x37\x67\x66\x7f\x3f\x71\xf3\xbf\x37\xae\x66"
      "\x63\x11\x43\xd1\x9b\x4e\x4c\x56\xca\x23\x11\x51\xac\xb7\x93\xac\x7d\xa6"
      "\x56\x5f\x6b\x9f\xdd\xd0\xfe\x63\x44\x1c\x8b\x88\xd7\x8b\x87\x6a\xed\xd2"
      "\xf8\xcd\xca\xd5\xbc\x93\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\x60\xd5\x91"
      "\x88\x18\x8c\x24\x2d\x45\x44\x1a\x11\xcb\xc5\x34\x2d\x95\xf2\x8e\x0a\x00"
      "\x00\x00\xe8\xb8\xa1\xbc\x03\x00\x00\x00\x00\xba\xce\xfa\x1f\x00\x00\x00"
      "\x0e\x3e\xeb\x7f\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\xba\xec\xd8\x89\x07\x0f\x93\x88\xa8\x5e\x38\x54\x2b\x99\xbe\xc6\x58"
      "\x6f\xae\x91\x01\xdd\x96\xe6\x1d\x00\x90\x9b\x9e\xbc\x03\x00\x72\x53\xc8"
      "\x3b\x00\x20\x37\x3b\x5c\xe3\x7b\x5c\x80\x03\x28\xd9\x66\x7c\xa0\x65\x6f"
      "\xf6\xea\xd1\xdf\x95\x78\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xd8\x9f\x4e\x1e\x7f\xf0\x30\x89"
      "\x88\xea\x85\x43\xb5\x92\xe9\x6b\x8c\xf5\xb6\x3c\xe2\xc4\x1e\x46\x07\x74"
      "\x53\x9a\x77\x00\x40\x6e\x7a\xb6\x1a\x2c\xec\x5d\x1c\xc0\xde\x7b\xee\x7f"
      "\xf1\xa3\x9d\x8d\x03\xd8\x7b\xad\xd7\xf8\xc0\x8b\x24\xd9\x66\x7c\x60\x6d"
      "\x9f\xea\xd3\x23\xfd\x5d\x8b\x09\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\xfd\x67\xb0\x56\x92\xb4"
      "\x14\x11\x69\xad\x9e\xa6\xa5\x52\xc4\xd1\x88\x18\x8a\xde\x64\x62\xb2\x52"
      "\x1e\x89\x88\x9f\x45\xc4\x27\xc5\xde\xfe\xac\xdd\x9f\x77\xd0\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x74\xdc\xcc\xdc\xfc\xd4\x58\xa5\x52\x9e\x7e\x9e"
      "\x4a\xb2\xbb\xc3\x55\x54\xda\x55\xfe\xbf\x3f\xc2\xd8\xdb\x4a\x52\xab\x0c"
      "\xe4\x1d\x46\xbd\x92\xf7\x2b\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x79\x98"
      "\x99\x9b\x9f\x1a\xab\x54\xca\xd3\x33\x79\x47\x02\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xe4\x6d\x66\x6e\x7e\x6a"
      "\xac\x52\x29\x4f\x3f\x43\xe5\xde\x4e\x76\x5e\x57\xc9\x3b\x47\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xf2"
      "\xf3\x63\x00\x00\x00\xff\xff\x5b\x02\x0c\x36",
      3035));
  NONFAILING(syz_mount_image(/*fs=*/0x20000100, /*dir=*/0x20000280,
                             /*flags=MS_LAZYTIME|MS_I_VERSION*/ 0x2800000,
                             /*opts=*/0x20000300, /*chdir=*/1, /*size=*/0xbdb,
                             /*img=*/0x20001000));
  //  syz_mount_image$fuse arguments: [
  //    fs: nil
  //    dir: ptr[in, buffer] {
  //      buffer: {2e 2f 62 75 73 00} (length 0x6)
  //    }
  //    flags: mount_flags = 0x30040a9 (8 bytes)
  //    opts: nil
  //    chdir: int8 = 0xf (1 bytes)
  //    size: const = 0x0 (8 bytes)
  //    img: nil
  //  ]
  //  returns fd_dir
  NONFAILING(memcpy((void*)0x20000000, "./bus\000", 6));
  NONFAILING(syz_mount_image(
      /*fs=*/0, /*dir=*/0x20000000,
      /*flags=MS_LAZYTIME|MS_REC|MS_STRICTATIME|MS_REMOUNT|MS_RDONLY|0x88*/
      0x30040a9, /*opts=*/0, /*chdir=*/0xf, /*size=*/0, /*img=*/0));
  //  mount$overlay arguments: [
  //    src: const = 0x0 (8 bytes)
  //    dst: ptr[in, buffer] {
  //      buffer: {2e 2f 66 69 6c 65 30 00} (length 0x8)
  //    }
  //    type: ptr[in, buffer] {
  //      buffer: {6f 76 65 72 6c 61 79 00} (length 0x8)
  //    }
  //    flags: mount_flags = 0x8 (8 bytes)
  //    opts: ptr[in, fs_options[overlay_options]] {
  //      fs_options[overlay_options] {
  //        elems: array[fs_opt_elem[overlay_options]] {
  //          fs_opt_elem[overlay_options] {
  //            elem: union overlay_options {
  //              upperdir: fs_opt["upperdir", stringnoz[filename]] {
  //                name: buffer: {75 70 70 65 72 64 69 72} (length 0x8)
  //                eq: const = 0x3d (1 bytes)
  //                val: buffer: {2e 2f 66 69 6c 65 30} (length 0x7)
  //              }
  //            }
  //            comma: const = 0x2c (1 bytes)
  //          }
  //          fs_opt_elem[overlay_options] {
  //            elem: union overlay_options {
  //              workdir: fs_opt["workdir", stringnoz[filename]] {
  //                name: buffer: {77 6f 72 6b 64 69 72} (length 0x7)
  //                eq: const = 0x3d (1 bytes)
  //                val: buffer: {2e 2f 62 75 73} (length 0x5)
  //              }
  //            }
  //            comma: const = 0x2c (1 bytes)
  //          }
  //          fs_opt_elem[overlay_options] {
  //            elem: union overlay_options {
  //              lowerdir: fs_opt["lowerdir", stringnoz[filename]] {
  //                name: buffer: {6c 6f 77 65 72 64 69 72} (length 0x8)
  //                eq: const = 0x3d (1 bytes)
  //                val: buffer: {2e} (length 0x1)
  //              }
  //            }
  //            comma: const = 0x2c (1 bytes)
  //          }
  //        }
  //        common: array[fs_opt_elem[fs_options_common]] {
  //        }
  //        null: const = 0x0 (1 bytes)
  //      }
  //    }
  //  ]
  NONFAILING(memcpy((void*)0x20000100, "./file0\000", 8));
  NONFAILING(memcpy((void*)0x20000b80, "overlay\000", 8));
  NONFAILING(memcpy((void*)0x20000240, "upperdir", 8));
  NONFAILING(*(uint8_t*)0x20000248 = 0x3d);
  NONFAILING(memcpy((void*)0x20000249, "./file0", 7));
  NONFAILING(*(uint8_t*)0x20000250 = 0x2c);
  NONFAILING(memcpy((void*)0x20000251, "workdir", 7));
  NONFAILING(*(uint8_t*)0x20000258 = 0x3d);
  NONFAILING(memcpy((void*)0x20000259, "./bus", 5));
  NONFAILING(*(uint8_t*)0x2000025e = 0x2c);
  NONFAILING(memcpy((void*)0x2000025f, "lowerdir", 8));
  NONFAILING(*(uint8_t*)0x20000267 = 0x3d);
  NONFAILING(memset((void*)0x20000268, 46, 1));
  NONFAILING(*(uint8_t*)0x20000269 = 0x2c);
  NONFAILING(*(uint8_t*)0x2000026a = 0);
  syscall(__NR_mount, /*src=*/0ul, /*dst=*/0x20000100ul, /*type=*/0x20000b80ul,
          /*flags=MS_NOEXEC*/ 8ul, /*opts=*/0x20000240ul);
}
int main(void)
{
  syscall(__NR_mmap, /*addr=*/0x1ffff000ul, /*len=*/0x1000ul, /*prot=*/0ul,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul,
          /*fd=*/(intptr_t)-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=*/(intptr_t)-1, /*offset=*/0ul);
  syscall(__NR_mmap, /*addr=*/0x21000000ul, /*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();
  use_temporary_dir();
  loop();
  return 0;
}