// https://syzkaller.appspot.com/bug?id=ff834988a0e05a23199aa0230d9afa4b010c69d2
// 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 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[4] = {0xffffffffffffffff, 0xffffffffffffffff, 0xffffffffffffffff,
                 0xffffffffffffffff};

void execute_one(void)
{
  intptr_t res = 0;
  if (write(1, "executing program\n", sizeof("executing program\n") - 1)) {
  }
  //  syz_mount_image$udf arguments: [
  //    fs: ptr[in, buffer] {
  //      buffer: {75 64 66 00} (length 0x4)
  //    }
  //    dir: ptr[in, buffer] {
  //      buffer: {2e 2f 66 69 6c 65 31 00} (length 0x8)
  //    }
  //    flags: mount_flags = 0x80 (8 bytes)
  //    opts: ptr[inout, array[ANYUNION]] {
  //      array[ANYUNION] {
  //      }
  //    }
  //    chdir: int8 = 0x3 (1 bytes)
  //    size: len = 0xc6b (8 bytes)
  //    img: ptr[in, buffer] {
  //      buffer: (compressed buffer with length 0xc6b)
  //    }
  //  ]
  //  returns fd_dir
  memcpy((void*)0x200000000100, "udf\000", 4);
  memcpy((void*)0x200000000c80, "./file1\000", 8);
  memcpy(
      (void*)0x200000000cc0,
      "\x78\x9c\xec\xdd\x5d\x6c\x5c\x67\x5a\x07\xf0\xe7\x9d\x63\x27\x76\xca\xb2"
      "\x2e\x6d\xd3\x2e\x5d\xa4\x59\x8a\xd8\x34\x4d\x82\xf3\xd1\xd6\x28\x2d\x72"
      "\x36\xc6\xda\x95\xa2\x36\xaa\xe3\x85\x1b\x90\xc7\xf1\x24\x8c\x6a\x8f\x5d"
      "\xdb\x59\xa5\x15\x2c\x41\x02\x6e\x40\x10\x54\xa4\x15\x70\x41\x6e\x90\xb8"
      "\xe0\x22\x37\x48\x68\x85\x50\xc4\xcd\x22\x01\x52\x04\xaa\xb4\x08\x24\x02"
      "\x6d\xa3\x95\x10\xe0\x15\x2c\xac\x58\x69\x8d\xce\xcc\x3b\xf6\xd8\x8d\x63"
      "\x37\x5f\x76\x9a\xdf\x6f\x37\xf9\xcf\x39\xf3\x9c\x39\xef\x99\xf6\x3d\x73"
      "\xa6\x9a\x67\x26\x00\x00\x00\x00\x00\x00\x00\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"
      "\x88\x2f\xfc\xf4\x89\xc1\xc3\x69\xbb\x47\x01\x00\x3c\x48\xaf\x8d\xbd\x31"
      "\x78\xd4\xeb\x3f\x00\x3c\x52\xce\x78\xff\x0f\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\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\xe6\x52"
      "\x14\xf1\x56\xa4\x78\x6f\x74\x29\x4d\xb4\x96\xdb\xfa\x4e\x35\x9a\x17\x2e"
      "\x8e\x8f\x8c\xde\x7a\xb3\xfe\x14\x29\x2a\x51\xb4\xea\xcb\x3f\x7d\x87\x8f"
      "\x1c\x3d\xf6\xe2\x4b\x2f\x0f\x75\xf2\xf6\xdb\xdf\x6b\x9f\x89\xd7\xc7\xce"
      "\x9c\xa8\x9e\x9c\x9d\x99\x9b\xaf\x2f\x2c\xd4\xa7\xaa\xe3\xcd\xc6\xd9\xd9"
      "\xa9\xfa\x96\x1f\xe1\x6e\xb7\x5f\x6f\x7f\xeb\x09\xa8\xce\xbc\x79\x61\xea"
      "\xdc\xb9\x85\xea\x91\x43\x47\xd7\xdc\x7d\x71\xe0\xe6\xee\xc7\xf6\x0e\x1c"
      "\x1f\x7a\xf6\xc0\xf3\x9d\xda\xf1\x91\xd1\xd1\xb1\xae\x9a\x9e\xde\x3b\xde"
      "\xfb\x47\xa4\x7b\xf7\x50\x7c\x82\xec\x8a\x22\xbe\x18\x29\xbe\x71\xf0\x5b"
      "\xa9\x16\x11\x95\xb8\xfb\xb9\xb0\xc9\xb9\xe3\x7e\xeb\x8f\x9e\x72\xfe\xb5"
      "\x0e\x62\x7c\x64\xb4\x75\x20\xd3\x8d\x5a\x73\xb1\xbc\x33\x55\x72\x55\x4f"
      "\xc4\x40\xd7\x46\xc3\x9d\x39\xf2\x00\xe6\xe2\x5d\x19\x8e\xb8\x54\xfe\x73"
      "\x2a\x07\xbc\xbf\x3c\xbc\xb1\xb9\xda\x7c\x6d\x72\xba\x5e\x3d\x5d\x9b\x5f"
      "\x6c\x2c\x36\x66\x9b\xa9\xd2\x1e\x6d\x79\x3c\x03\x51\x89\xa1\x14\x31\x17"
      "\x11\x4b\xc5\x76\x0f\x9e\x9d\xa6\x37\x8a\x78\x35\x52\xdc\xfc\xde\x52\x9a"
      "\x8c\x88\xa2\x33\x0f\x5e\x78\x6d\xec\x8d\xc1\xa3\x1b\x6f\xd8\xf3\x00\x07"
      "\xb9\xc1\xee\x07\x8a\x88\xeb\xf1\x10\xcc\x59\xd8\xa1\x76\x47\x11\xbf\x13"
      "\x29\xde\x9d\x18\x8c\xb3\x79\x5e\xf5\xee\x8e\x88\x0f\x22\x3e\x5f\x16\xbc"
      "\x12\xf1\x56\x99\xd7\x52\x5c\xce\xcb\xa9\x3c\x41\x0c\x45\x7c\xdb\xeb\x09"
      "\x3c\xd4\x7a\xa2\x88\xbf\x8d\x14\xb3\x69\x29\x4d\xb5\xae\x07\x3a\xd7\x95"
      "\xa7\xbe\x5c\xfd\x52\xf3\xdc\x6c\x57\x6d\xe7\xba\xf2\xa1\x7a\x7f\xf0\xd1"
      "\x6b\x80\xfe\x07\xb1\xdb\x15\xae\x4d\xd8\xc1\xfa\xa2\x88\xc9\xd6\x15\xff"
      "\x52\xba\xf3\xff\xd8\x05\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x3c\x18"
      "\x45\x7c\x3d\x52\x5c\x9d\xd9\x97\xe6\xa2\xbb\xa7\xb4\xd1\x3c\x5f\x3d\x53"
      "\x9b\x9c\x6e\x7f\x2a\xb8\xf3\xd9\xff\x6a\xde\x6a\x79\x79\x79\x79\x20\xb5"
      "\xb3\x9a\x73\x30\xe7\x70\xce\xd3\x39\x27\x72\xce\xe5\xbc\x94\xf3\x72\xce"
      "\x2b\x39\xaf\xe6\xbc\x96\xf3\x7a\xce\x1b\x39\x97\x72\x46\x25\xef\x3f\x67"
      "\x35\xe7\x60\xce\xe1\x9c\xa7\x73\x4e\xe4\x9c\xcb\x79\x29\xe7\xe5\x9c\x57"
      "\xda\xd9\xe9\x68\x5c\xbe\xd6\x97\xf7\x9f\xef\xbf\x91\x73\x29\x67\xe8\x7b"
      "\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xe0\x1e\xeb"
      "\x8f\x22\x7e\x33\x52\xfc\xc7\x1f\x7c\xa5\xf5\xbb\xd2\xd1\xfa\x5d\xfa\x4f"
      "\x1f\x1f\x3a\x79\xea\x53\xdd\xbf\x19\xff\xcc\x26\x8f\x53\xd6\x1e\x8a\x88"
      "\xaf\xc7\xd6\x7e\x93\x77\x57\xfe\xad\xf1\x54\x29\xff\x77\xef\x8f\x0b\xd8"
      "\x5c\x5f\x14\xf1\xd5\xfc\xfb\x7f\xbf\xb2\xdd\x83\x01\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x76\x84\x4a\x14\xf1\xab"
      "\x91\xe2\x6b\xdf\x59\x4a\x91\x22\x62\x38\x62\x22\xda\x79\xa3\xd8\xee\xd1"
      "\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\xa5\xdd\xa9\x88\x57\x23\xc5\xcf\xfe\xde\xf0\xca\xba\x9e\x88\x48"
      "\xad\xff\xb7\xed\x2b\xff\x3a\x16\xc3\x45\xce\x27\xca\x7c\x25\x86\x0f\xb7"
      "\xb2\x32\x7c\xa2\xcc\xbe\x88\x43\xdb\x30\x7e\xe0\xce\x2d\xbc\xfd\xce\x9b"
      "\xb5\xe9\xe9\xfa\xbc\x1b\x6e\xb8\xe1\xc6\xca\x8d\xed\x3e\x33\x01\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xc0\x23\x2c\x15\xf1\x0f\x91\xe2"
      "\x27\x7f\x7f\x29\x0d\x44\xc4\xc5\x81\x9b\xbb\x1f\xdb\x3b\x70\x7c\xe8\xd9"
      "\x03\xcf\x17\x51\xb4\xbe\x04\x20\x75\xd7\xbf\x3e\x76\xe6\x44\xf5\xe4\xec"
      "\xcc\xdc\x7c\x7d\x61\xa1\x3e\x55\x1d\x6f\x36\xce\xce\x4e\xd5\xb7\xba\xbb"
      "\xbe\x53\x8d\xe6\x85\x8b\xe3\x23\xa3\xf7\xe5\x60\x36\xd5\x7f\x9f\xc7\xdf"
      "\xdf\x77\x72\x76\xee\xed\xf9\xc6\xf9\x5f\x58\xbc\xe5\xfd\x7b\xfa\x4e\x4c"
      "\x2e\x2c\xce\xd7\xce\xde\xfa\xee\xe8\x8f\x9e\x88\xc1\xee\x35\xfb\x5b\x03"
      "\x1e\x1f\x19\x6d\x0d\x7a\xba\x51\x6b\xb6\x36\x4d\x95\x0d\x06\xd8\x13\x51"
      "\xdd\xea\xc1\xf0\xc8\xdb\x93\x8a\xf8\xbf\x48\xf1\xde\xc1\x6f\xc6\xe3\x79"
      "\x5d\xfe\xfe\x8f\xde\xf6\xd2\xea\xec\xff\xa3\x5f\x5c\x5d\xfa\xe1\x9e\xb5"
      "\xb9\xf2\xaf\x63\xeb\xfc\xf1\xe9\xe3\x43\x27\xf7\x3c\xb7\x95\xdb\x69\xab"
      "\x03\xdd\xdf\x9a\x78\xe5\x44\x18\x1d\xeb\x5a\xdd\x93\x47\xf9\x43\x5d\xeb"
      "\x06\xf2\xb8\xb6\xfc\xd8\xf0\x88\x2a\xe7\xff\x0b\x91\xe2\xe7\xff\xb8\x48"
      "\x9d\x39\x94\xe7\xff\x0f\xb4\x97\x8a\x95\xd9\xfd\xbf\x5f\x5d\x9d\x53\xc7"
      "\xd7\xe5\x8a\x6d\x9a\xff\x4f\x74\xad\x3b\x9e\xcf\x5a\xbd\x3d\x11\x7d\x8b"
      "\x33\x73\xbd\x4f\x47\xf4\x2d\xbc\xfd\xce\xc1\xc6\x4c\xed\x7c\xfd\x7c\xbd"
      "\x79\xec\xc8\xcb\x2f\x0d\x1d\x7b\xf9\xc5\x63\x2f\xf5\xee\x8a\xe8\x3b\xd7"
      "\x98\xae\x0f\xae\xde\xda\xea\x88\x76\x6f\xb5\x10\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x3e\xae\xde\x54\xc4\x17\x22\xc5\x2f\xfd\xfd"
      "\x5f\xad\xf4\x8d\xe7\xfe\xbf\x4f\xb5\x97\x8a\x95\xda\xee\xfe\xdf\x7d\xeb"
      "\x1e\xa7\xfb\x7b\x03\x36\xba\x7d\xcb\x5e\xbf\x4d\xfa\xfa\xba\x95\xfb\x4c"
      "\xa9\x88\xa7\x22\xc5\xb3\x7f\xfe\x4c\x6b\xbc\x29\xf6\xe8\x79\x87\x3b\xb4"
      "\x27\x15\xf1\xdd\x72\x3e\x4d\x7d\x31\x7d\x2e\xaf\xcb\xf3\x3f\x77\xf6\xdf"
      "\x7a\xfe\x5f\x5a\x97\x2b\xee\x69\xff\x6f\x57\x8b\xed\x26\xe7\x89\xc7\xbb"
      "\xd6\x5d\xca\xe7\x89\xff\x8c\x14\x8f\xff\xe1\x33\xf1\xb9\xae\xf3\xc4\xfa"
      "\xee\xde\xb2\xee\x2f\x23\xc5\xe4\x8f\x7c\x36\xd7\xc5\xae\xb2\xae\xf3\x78"
      "\xed\x9e\xe8\x76\x63\x70\x59\xfb\x95\x48\xf1\xfe\xe9\xb5\xb5\x9d\xbe\xe9"
      "\x27\x56\x6b\x0f\xdf\xf6\xb0\x60\x87\x28\xe7\xff\x4c\xa4\xf8\xc7\xdf\xfe"
      "\xbb\xf8\xd1\xbc\x6e\xed\xf7\x7f\xdc\x7a\xfe\xef\x59\x97\x2b\xb6\xa9\xff"
      "\xff\xc9\xee\x63\x8a\x88\x85\xb7\xdf\x79\xb3\x36\x3d\x5d\x9f\x5f\xd8\xf2"
      "\x53\x01\x8f\x9c\x72\xfe\xff\x46\xa4\xf8\x9b\x3f\xfd\x66\x3c\x97\xd7\xdd"
      "\xee\xfb\x7f\x3a\xdf\xf3\xb3\xef\xb9\xb5\xd9\xdf\x29\xda\xa6\xf9\xff\x54"
      "\xd7\xba\x94\xc7\xf5\x63\x1f\xf3\xb9\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x80\x87\xc5\x9e\x54\xc4\x3f\x47\x8a\xbf\xf8\xb3\x03\xe9\x60\x5e\xb7\x95"
      "\xcf\xff\x4e\xad\xcb\x15\xdb\xf4\xf9\xbf\xa7\xbb\xd6\x4d\xad\xf9\xfc\xef"
      "\xfd\xbb\xb1\xe5\x27\x19\x00\x00\x76\x88\xde\x54\xc4\x4f\x44\x8a\x3f\x99"
      "\xfa\x20\x75\x7a\x63\x37\xec\xff\x7d\x65\xb5\xff\x67\x64\xfd\x85\x7b\xeb"
      "\x9a\xfe\x07\x5b\x7d\xfe\x1f\xeb\x5a\xff\x63\xf4\xff\x97\xfb\x4c\xa9\x88"
      "\xef\xe7\xbe\xde\xc1\x4d\xfa\x7a\x7f\x3c\x52\xfc\xfa\x4f\x1d\xc8\x75\x69"
      "\x6f\x59\x37\xdc\x19\x6e\xeb\xef\xbe\xd7\x66\x9b\x07\x4f\x4c\x4f\xcf\x9e"
      "\xad\x2d\xd6\x26\xa7\xeb\xd5\xb1\xb9\xda\xd9\x7a\xb9\xed\xfe\x48\xf1\x6f"
      "\xff\xfe\xd9\xbc\x6d\xa5\xd5\xe7\xdb\xe9\x8f\x6e\xf7\x06\xaf\xf6\x04\xff"
      "\x6e\xa4\xf8\xb9\x0f\x3b\xb5\xed\x9e\xe0\x4e\x2f\xe5\x93\xab\xb5\x87\xcb"
      "\xda\x83\x91\xe2\xbb\xef\xaf\xad\xed\xf4\x5d\x3d\xb5\x5a\x7b\xa4\xac\xfd"
      "\xad\x48\x31\xfa\x3f\xb7\xae\xdd\xbb\x5a\x7b\xb4\xac\xfd\xa7\x48\xf1\x5f"
      "\xef\x56\x3b\xb5\x7b\xca\xda\xce\xfb\xb9\xa7\x57\x6b\x0f\x9d\x9d\x9d\xfe"
      "\xc8\x5b\x36\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\xb6\x5f\x6f\x2a\x22\x45\x8a\x6b\x3f\x73\x65\xa5\x37\x7e\xed\xf7\x7f\x75"
      "\xbe\x07\x60\xed\xf7\x7f\xad\x77\xbf\x7e\xff\x7f\xe0\xde\x1c\x26\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x3c\x14\x52\x14"
      "\xf1\xdf\x91\xe2\xbd\xd1\xa5\x74\xa3\x28\x97\xdb\xfa\x4e\x35\x9a\x17\x2e"
      "\x8e\x8f\x8c\xde\x7a\xb3\xfe\x14\x29\x2a\x51\xb4\xea\xcb\x3f\x7d\x87\x8f"
      "\x1c\x3d\xf6\xe2\x4b\x2f\x0f\x75\xf2\xf6\xdb\xdf\x6b\x9f\x89\xd7\xc7\xce"
      "\x9c\xa8\x9e\x9c\x9d\x99\x9b\xaf\x2f\x2c\xd4\xa7\xaa\xe3\xcd\xc6\xd9\xd9"
      "\xa9\xfa\x96\x1f\xe1\xce\xb6\x2f\x36\xbc\x67\x7f\xeb\x09\xa8\xce\xbc\x79"
      "\x61\xea\xdc\xb9\x85\xea\x91\x43\x47\xd7\xdc\x7d\x71\xe0\xe6\xee\xc7\xf6"
      "\x0e\x1c\x1f\x7a\xf6\xc0\xf3\x9d\xda\xf1\x91\xd1\xd1\xb1\xae\x9a\x9e\xde"
      "\x2d\x8f\x7e\x53\xe9\xde\x3d\x14\x9f\x20\xbb\xa2\x88\xbf\x8e\x14\xdf\x38"
      "\xf8\xad\xf4\x2f\x45\x44\xa5\xb5\x2e\xe2\x6e\xe6\xd2\x26\xe7\x8e\xfb\xad"
      "\x3f\x7a\xca\xf9\xd7\x9a\xd0\xe3\x23\xa3\xad\x03\x99\x6e\xd4\x9a\x8b\xe5"
      "\x9d\xa9\x92\xab\x7a\x22\x06\xba\x36\x1a\xee\xcc\x91\x07\x30\x17\xef\xca"
      "\x70\xc4\xa5\x88\xa8\x94\x03\xde\x5f\x1e\xde\xd8\x5c\x6d\xbe\x36\x39\x5d"
      "\xaf\x9e\xae\xcd\x2f\x36\x16\x1b\xb3\xcd\x54\x69\x8f\xb6\x3c\x9e\x81\xa8"
      "\xc4\x50\x8a\x98\x8b\x88\xa5\x8d\xcf\x56\x3c\xa2\x7a\xa3\x88\x6b\x91\xe2"
      "\xe6\xf7\x96\xd2\xbf\x16\xed\x17\xb4\xd6\x3c\x78\xe1\xb5\xb1\x37\x06\x8f"
      "\x6e\xbc\x61\xcf\x03\x1c\xe4\x06\xbb\x1f\x28\x22\xae\xc7\x43\x30\x67\x61"
      "\x87\xda\x1d\x45\x3c\x19\x29\xde\x9d\x18\x8c\xf7\x8b\xf6\xbc\x6a\x4d\x9b"
      "\x0f\x22\x3e\x5f\xe6\x2b\x11\x6f\x95\x79\x2d\xc5\xe5\xbc\x9c\xca\x13\xc4"
      "\x50\xc4\xb7\xbd\x9e\xc0\x43\xad\x27\x8a\x38\x1d\x29\x66\xd3\x52\xfa\xa0"
      "\xc8\x73\xbf\x75\x5d\x79\xea\xcb\xd5\x2f\x35\xcf\xcd\x76\xd5\x76\xae\x2b"
      "\xef\xf6\xbd\xf6\xb6\xbf\x3f\x78\x90\x5c\x9b\xb0\x83\xf5\x45\x11\x1f\xb6"
      "\xae\xf8\x97\xd2\x87\x5e\xcf\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x60"
      "\x87\x2b\xe2\xd5\x48\x71\x75\x66\x5f\x6a\xf5\x87\xae\xf4\x94\x36\x9a\xe7"
      "\xab\x67\x6a\x93\xd3\xed\x8f\xf5\x77\x3e\xfb\x5f\xcd\x5b\x2d\x2f\x2f\x2f"
      "\x0f\xa4\x76\x56\x73\x0e\xe6\x1c\xce\x79\x3a\xe7\x44\xce\xb9\x9c\x97\x72"
      "\x5e\x4e\xf1\xfd\x32\xaf\xe4\xe5\xab\x65\xfe\xf2\xea\x0e\xae\xe7\xf5\x37"
      "\x5a\xb9\xbb\xd5\x98\x58\x2e\x47\x25\xef\x3f\x67\x35\xe7\x60\xce\xe1\x9c"
      "\xa7\x73\x4e\xe4\x9c\xcb\x79\x29\xe7\xe5\x9c\x57\x72\x5e\xcd\x79\x2d\xe7"
      "\xf5\x9c\x37\x72\x2e\xe5\xbc\x4d\xd7\x3f\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\xdc\x95\x4a\x14\xf1\x6b\x91\xe2\x6b\xdf\x59\x4a"
      "\xcb\x45\xfb\xf7\x65\x27\xa2\x9d\x37\xd6\xf6\xb9\xee\xda\xae\x31\x02\xf7"
      "\xc7\xff\x07\x00\x00\xff\xff\xe3\x3c\x17\xdf",
      3179);
  syz_mount_image(/*fs=*/0x200000000100, /*dir=*/0x200000000c80,
                  /*flags=MS_DIRSYNC*/ 0x80, /*opts=*/0x200000000180,
                  /*chdir=*/3, /*size=*/0xc6b, /*img=*/0x200000000cc0);
  //  openat arguments: [
  //    fd: fd_dir (resource)
  //    file: ptr[in, buffer] {
  //      buffer: {2e 2f 66 69 6c 65 31 00} (length 0x8)
  //    }
  //    flags: open_flags = 0x42 (4 bytes)
  //    mode: open_mode = 0x0 (2 bytes)
  //  ]
  //  returns fd
  memcpy((void*)0x200000000040, "./file1\000", 8);
  res = syscall(__NR_openat, /*fd=*/0xffffff9c, /*file=*/0x200000000040ul,
                /*flags=O_CREAT|O_RDWR*/ 0x42, /*mode=*/0);
  if (res != -1)
    r[0] = res;
  //  pwrite64 arguments: [
  //    fd: fd (resource)
  //    buf: ptr[in, buffer] {
  //      buffer: {22} (length 0x1)
  //    }
  //    count: len = 0x1 (8 bytes)
  //    pos: intptr = 0x4fed0 (8 bytes)
  //  ]
  memset((void*)0x2000000005c0, 34, 1);
  syscall(__NR_pwrite64, /*fd=*/r[0], /*buf=*/0x2000000005c0ul, /*count=*/1ul,
          /*pos=*/0x4fed0ul);
  //  openat arguments: [
  //    fd: fd_dir (resource)
  //    file: ptr[in, buffer] {
  //      buffer: {2e 2f 66 69 6c 65 31 00} (length 0x8)
  //    }
  //    flags: open_flags = 0x42 (4 bytes)
  //    mode: open_mode = 0x0 (2 bytes)
  //  ]
  //  returns fd
  memcpy((void*)0x200000000040, "./file1\000", 8);
  res = syscall(__NR_openat, /*fd=*/0xffffff9c, /*file=*/0x200000000040ul,
                /*flags=O_CREAT|O_RDWR*/ 0x42, /*mode=*/0);
  if (res != -1)
    r[1] = res;
  //  pwrite64 arguments: [
  //    fd: fd (resource)
  //    buf: ptr[in, buffer] {
  //      buffer: {61} (length 0x1)
  //    }
  //    count: len = 0x200000c1 (8 bytes)
  //    pos: intptr = 0x9000 (8 bytes)
  //  ]
  memset((void*)0x2000000000c0, 97, 1);
  syscall(__NR_pwrite64, /*fd=*/r[1], /*buf=*/0x2000000000c0ul,
          /*count=*/0x200000c1ul, /*pos=*/0x9000ul);
  //  openat arguments: [
  //    fd: fd_dir (resource)
  //    file: ptr[in, buffer] {
  //      buffer: {2e 2f 66 69 6c 65 31 00} (length 0x8)
  //    }
  //    flags: open_flags = 0x105042 (4 bytes)
  //    mode: open_mode = 0x189 (2 bytes)
  //  ]
  //  returns fd
  memcpy((void*)0x200000000180, "./file1\000", 8);
  res = syscall(__NR_openat, /*fd=*/0xffffff9c, /*file=*/0x200000000180ul,
                /*flags=O_SYNC|O_DIRECT|O_CREAT|O_RDWR*/ 0x105042,
                /*mode=S_IXOTH|S_IXGRP|S_IWUSR|S_IRUSR*/ 0x189);
  if (res != -1)
    r[2] = res;
  //  write$binfmt_format arguments: [
  //    fd: fd_binfmt_format (resource)
  //    data: ptr[in, buffer] {
  //      buffer: {31 00} (length 0x2)
  //    }
  //    len: bytesize = 0x2400 (8 bytes)
  //  ]
  memcpy((void*)0x200000000000, "1\000", 2);
  syscall(__NR_write, /*fd=*/r[2], /*data=*/0x200000000000ul, /*len=*/0x2400ul);
  //  openat arguments: [
  //    fd: fd_dir (resource)
  //    file: ptr[in, buffer] {
  //      buffer: {2e 2f 66 69 6c 65 31 00} (length 0x8)
  //    }
  //    flags: open_flags = 0x42 (4 bytes)
  //    mode: open_mode = 0x0 (2 bytes)
  //  ]
  //  returns fd
  memcpy((void*)0x200000000040, "./file1\000", 8);
  res = syscall(__NR_openat, /*fd=*/0xffffff9c, /*file=*/0x200000000040ul,
                /*flags=O_CREAT|O_RDWR*/ 0x42, /*mode=*/0);
  if (res != -1)
    r[3] = res;
  //  pwrite64 arguments: [
  //    fd: fd (resource)
  //    buf: ptr[in, buffer] {
  //      buffer: {32} (length 0x1)
  //    }
  //    count: len = 0x1 (8 bytes)
  //    pos: intptr = 0x8000c61 (8 bytes)
  //  ]
  memset((void*)0x200000000140, 50, 1);
  syscall(__NR_pwrite64, /*fd=*/r[3], /*buf=*/0x200000000140ul, /*count=*/1ul,
          /*pos=*/0x8000c61ul);
}
int main(void)
{
  syscall(__NR_mmap, /*addr=*/0x1ffffffff000ul, /*len=*/0x1000, /*prot=*/0ul,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul,
          /*fd=*/(intptr_t)-1, /*offset=*/0ul);
  syscall(__NR_mmap, /*addr=*/0x200000000000ul, /*len=*/0x1000000,
          /*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=*/0x1000, /*prot=*/0ul,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul,
          /*fd=*/(intptr_t)-1, /*offset=*/0ul);
  const char* reason;
  (void)reason;
  loop();
  return 0;
}