// https://syzkaller.appspot.com/bug?id=c4bd4fe6277f8a6cfd89900cd7c2c31f4b991a09
// 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 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);
  }
}

uint64_t r[3] = {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$bfs arguments: [
  //    fs: ptr[in, buffer] {
  //      buffer: {62 66 73 00} (length 0x4)
  //    }
  //    dir: ptr[in, buffer] {
  //      buffer: {2e 2f 62 75 73 00} (length 0x6)
  //    }
  //    flags: mount_flags = 0x8008 (8 bytes)
  //    opts: ptr[inout, array[ANYUNION]] {
  //      array[ANYUNION] {
  //        union ANYUNION {
  //          ANYRES64: ANYRES64 (resource)
  //        }
  //      }
  //    }
  //    chdir: int8 = 0xf (1 bytes)
  //    size: len = 0xab (8 bytes)
  //    img: ptr[in, buffer] {
  //      buffer: (compressed buffer with length 0xab)
  //    }
  //  ]
  //  returns fd_dir
  memcpy((void*)0x200000000000, "bfs\000", 4);
  memcpy((void*)0x200000000240, "./bus\000", 6);
  *(uint64_t*)0x200000000100 = 0;
  memcpy(
      (void*)0x200000010140,
      "\x78\x9c\xec\xd7\x31\x8a\xc2\x40\x18\x05\xe0\x7f\xb3\xb0\x9b\x76\x9b\x45"
      "\xb0\xb0\x4e\xe3\x1d\x3c\x8a\x58\x6a\x23\x56\x8a\xe0\x0d\xc4\x8b\x78\x15"
      "\x8f\x90\xde\xc2\x22\xad\x88\x23\x98\x88\x88\x9d\x45\x04\xf9\xbe\x62\xe0"
      "\xcd\x63\xe0\xb5\xb3\x3b\x6e\xbb\x9b\x22\x22\xad\x22\x52\xd1\x99\xee\xd3"
      "\xdd\x6c\xbe\x18\x0f\x27\xf5\x19\x7c\xa4\x2c\x22\x7e\x23\x22\x8f\x88\xde"
      "\x5f\x9d\x0f\x83\xba\xfb\x6a\xfa\xb2\x5a\x8e\xca\xea\xfb\xf9\xf1\xcf\xba"
      "\xf5\xbd\x00\x00\xc0\xeb\xb2\xe8\x3f\xe6\x73\x6a\x2e\x4e\xcd\x2f\xf0\x1a"
      "\xfe\x6f\x7d\xde\xf2\x3e\x00\x00\x00\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\x77\xbb"
      "\x04\x00\x00\xff\xff\x9d\x7f\x28\x8b",
      171);
  syz_mount_image(/*fs=*/0x200000000000, /*dir=*/0x200000000240,
                  /*flags=MS_SILENT|MS_NOEXEC*/ 0x8008, /*opts=*/0x200000000100,
                  /*chdir=*/0xf, /*size=*/0xab, /*img=*/0x200000010140);
  //  openat$cgroup_ro arguments: [
  //    fd: fd_cgroup (resource)
  //    file: ptr[in, buffer] {
  //      buffer: {6d 65 6d 6f 72 79 2e 65 76 65 6e 74 73 00} (length 0xe)
  //    }
  //    flags: const = 0x275a (4 bytes)
  //    mode: const = 0x0 (2 bytes)
  //  ]
  //  returns fd
  memcpy((void*)0x200000000040, "memory.events\000", 14);
  res = syscall(__NR_openat, /*fd=*/0xffffff9c, /*file=*/0x200000000040ul,
                /*flags=*/0x275a, /*mode=*/0);
  if (res != -1)
    r[0] = res;
  //  openat arguments: [
  //    fd: fd_dir (resource)
  //    file: ptr[in, buffer] {
  //      buffer: {2e 2f 66 69 6c 65 31 00} (length 0x8)
  //    }
  //    flags: open_flags = 0x101142 (4 bytes)
  //    mode: open_mode = 0xeaff (2 bytes)
  //  ]
  //  returns fd
  memcpy((void*)0x200000000080, "./file1\000", 8);
  res = syscall(
      __NR_openat, /*fd=*/0xffffff9c, /*file=*/0x200000000080ul,
      /*flags=O_SYNC|O_NOCTTY|O_CREAT|O_RDWR*/ 0x101142,
      /*mode=S_IXOTH|S_IWOTH|S_IROTH|S_IXGRP|S_IWGRP|S_IRGRP|S_IXUSR|S_IWUSR|0xea00*/
      0xeaff);
  if (res != -1)
    r[1] = res;
  //  write$uinput_user_dev arguments: [
  //    fd: fd_uinput (resource)
  //    data: ptr[in, uinput_user_dev] {
  //      uinput_user_dev {
  //        name: buffer: {73 79 7a 30 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  //        00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  //        00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  //        00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00} (length 0x50) id:
  //        input_id {
  //          bustype: int16 = 0x7 (2 bytes)
  //          vendor: int16 = 0x5 (2 bytes)
  //          product: int16 = 0x6 (2 bytes)
  //          version: int16 = 0x8 (2 bytes)
  //        }
  //        ff_effects_max: int32 = 0x1d (4 bytes)
  //        absmax: array[int32] {
  //          int32 = 0x2 (4 bytes)
  //          int32 = 0xc95a (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x7f (4 bytes)
  //          int32 = 0x401 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x7f (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0xfffffff9 (4 bytes)
  //          int32 = 0xfffffff2 (4 bytes)
  //          int32 = 0x5f (4 bytes)
  //          int32 = 0xa (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0xffff2d3b (4 bytes)
  //          int32 = 0x1dd2 (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x7 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x80000000 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x7 (4 bytes)
  //          int32 = 0x80000001 (4 bytes)
  //          int32 = 0x3c5b (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0x24 (4 bytes)
  //          int32 = 0xffffffff (4 bytes)
  //          int32 = 0xfffffffe (4 bytes)
  //          int32 = 0x1f461e2c (4 bytes)
  //          int32 = 0x2 (4 bytes)
  //          int32 = 0xe661 (4 bytes)
  //          int32 = 0x2 (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x7fff (4 bytes)
  //          int32 = 0x4c74 (4 bytes)
  //          int32 = 0x23 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x7 (4 bytes)
  //          int32 = 0xa (4 bytes)
  //          int32 = 0x7f (4 bytes)
  //          int32 = 0x71 (4 bytes)
  //          int32 = 0x7 (4 bytes)
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x40 (4 bytes)
  //          int32 = 0x91 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0xfffffff9 (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0xb (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x80 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0xa (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0xfffffff9 (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0x40 (4 bytes)
  //        }
  //        absmin: array[int32] {
  //          int32 = 0x10000007 (4 bytes)
  //          int32 = 0xc (4 bytes)
  //          int32 = 0x12f (4 bytes)
  //          int32 = 0x8000 (4 bytes)
  //          int32 = 0x10 (4 bytes)
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0x129432e2 (4 bytes)
  //          int32 = 0xf (4 bytes)
  //          int32 = 0xf9 (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0x2bf (4 bytes)
  //          int32 = 0x6c9 (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0xfffffffe (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0x7691 (4 bytes)
  //          int32 = 0xe4 (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x80 (4 bytes)
  //          int32 = 0xe (4 bytes)
  //          int32 = 0x312 (4 bytes)
  //          int32 = 0x8000 (4 bytes)
  //          int32 = 0xea4 (4 bytes)
  //          int32 = 0xa (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x4000 (4 bytes)
  //          int32 = 0x8000 (4 bytes)
  //          int32 = 0xb (4 bytes)
  //          int32 = 0x401 (4 bytes)
  //          int32 = 0x39f (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0xfffffffd (4 bytes)
  //          int32 = 0x100 (4 bytes)
  //          int32 = 0x1005 (4 bytes)
  //          int32 = 0x2 (4 bytes)
  //          int32 = 0x5f31 (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x7fff (4 bytes)
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x3ff (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x1 (4 bytes)
  //          int32 = 0x8000 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x2 (4 bytes)
  //          int32 = 0x7f (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0x1 (4 bytes)
  //          int32 = 0x7 (4 bytes)
  //          int32 = 0xb (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x48c92690 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0xff (4 bytes)
  //        }
  //        absfuzz: array[int32] {
  //          int32 = 0x7 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x64e (4 bytes)
  //          int32 = 0xfffffdfe (4 bytes)
  //          int32 = 0x80010002 (4 bytes)
  //          int32 = 0x8d2 (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x2 (4 bytes)
  //          int32 = 0x7eff (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0xb (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x4000005 (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x1ef (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x7f (4 bytes)
  //          int32 = 0x86 (4 bytes)
  //          int32 = 0x8001 (4 bytes)
  //          int32 = 0x10000009 (4 bytes)
  //          int32 = 0x3e7 (4 bytes)
  //          int32 = 0x80000b (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x2 (4 bytes)
  //          int32 = 0x2 (4 bytes)
  //          int32 = 0xf (4 bytes)
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x6d01 (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x3b (4 bytes)
  //          int32 = 0x200 (4 bytes)
  //          int32 = 0x200 (4 bytes)
  //          int32 = 0x7 (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0xfffffffe (4 bytes)
  //          int32 = 0x15 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x60000000 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x53cf697b (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x54fe12d0 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x200 (4 bytes)
  //          int32 = 0xffffffff (4 bytes)
  //          int32 = 0x400002 (4 bytes)
  //          int32 = 0xfffffff9 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x3e (4 bytes)
  //          int32 = 0x120000 (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x800 (4 bytes)
  //        }
  //        absflat: array[int32] {
  //          int32 = 0x2 (4 bytes)
  //          int32 = 0xbb2f (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x7 (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x938 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0xce7 (4 bytes)
  //          int32 = 0x1ff (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x401 (4 bytes)
  //          int32 = 0x7 (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0x800 (4 bytes)
  //          int32 = 0x10000 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x7fff (4 bytes)
  //          int32 = 0x8ffff (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x2 (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x1 (4 bytes)
  //          int32 = 0x2 (4 bytes)
  //          int32 = 0x14c (4 bytes)
  //          int32 = 0x60a7 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0xffffffff (4 bytes)
  //          int32 = 0x7fff7ffe (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0xc8 (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0x100 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x7fff (4 bytes)
  //          int32 = 0x2 (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x100 (4 bytes)
  //          int32 = 0x10000 (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x184d99e8 (4 bytes)
  //          int32 = 0x2b91 (4 bytes)
  //          int32 = 0xa1f (4 bytes)
  //          int32 = 0x7d (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x1 (4 bytes)
  //          int32 = 0x6c1b (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x28 (4 bytes)
  //          int32 = 0xb1c (4 bytes)
  //          int32 = 0x4c400000 (4 bytes)
  //          int32 = 0x200 (4 bytes)
  //          int32 = 0xff (4 bytes)
  //          int32 = 0xfff (4 bytes)
  //        }
  //      }
  //    }
  //    len: len = 0x45c (8 bytes)
  //  ]
  memcpy((void*)0x200000000400,
         "syz0\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000"
         "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000"
         "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000"
         "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000"
         "\000\000\000\000\000\000\000\000\000",
         80);
  *(uint16_t*)0x200000000450 = 7;
  *(uint16_t*)0x200000000452 = 5;
  *(uint16_t*)0x200000000454 = 6;
  *(uint16_t*)0x200000000456 = 8;
  *(uint32_t*)0x200000000458 = 0x1d;
  *(uint32_t*)0x20000000045c = 2;
  *(uint32_t*)0x200000000460 = 0xc95a;
  *(uint32_t*)0x200000000464 = 6;
  *(uint32_t*)0x200000000468 = 9;
  *(uint32_t*)0x20000000046c = 0x7f;
  *(uint32_t*)0x200000000470 = 0x401;
  *(uint32_t*)0x200000000474 = 4;
  *(uint32_t*)0x200000000478 = 0x7f;
  *(uint32_t*)0x20000000047c = 0;
  *(uint32_t*)0x200000000480 = 0xfffffff9;
  *(uint32_t*)0x200000000484 = 0xfffffff2;
  *(uint32_t*)0x200000000488 = 0x5f;
  *(uint32_t*)0x20000000048c = 0xa;
  *(uint32_t*)0x200000000490 = 3;
  *(uint32_t*)0x200000000494 = 0xffff2d3b;
  *(uint32_t*)0x200000000498 = 0x1dd2;
  *(uint32_t*)0x20000000049c = 5;
  *(uint32_t*)0x2000000004a0 = 7;
  *(uint32_t*)0x2000000004a4 = 0;
  *(uint32_t*)0x2000000004a8 = 0x80000000;
  *(uint32_t*)0x2000000004ac = 4;
  *(uint32_t*)0x2000000004b0 = 7;
  *(uint32_t*)0x2000000004b4 = 0x80000001;
  *(uint32_t*)0x2000000004b8 = 0x3c5b;
  *(uint32_t*)0x2000000004bc = 3;
  *(uint32_t*)0x2000000004c0 = 0x24;
  *(uint32_t*)0x2000000004c4 = -1;
  *(uint32_t*)0x2000000004c8 = 0xfffffffe;
  *(uint32_t*)0x2000000004cc = 0x1f461e2c;
  *(uint32_t*)0x2000000004d0 = 2;
  *(uint32_t*)0x2000000004d4 = 0xe661;
  *(uint32_t*)0x2000000004d8 = 2;
  *(uint32_t*)0x2000000004dc = 9;
  *(uint32_t*)0x2000000004e0 = 5;
  *(uint32_t*)0x2000000004e4 = 0x7fff;
  *(uint32_t*)0x2000000004e8 = 0x4c74;
  *(uint32_t*)0x2000000004ec = 0x23;
  *(uint32_t*)0x2000000004f0 = 4;
  *(uint32_t*)0x2000000004f4 = 7;
  *(uint32_t*)0x2000000004f8 = 0xa;
  *(uint32_t*)0x2000000004fc = 0x7f;
  *(uint32_t*)0x200000000500 = 0x71;
  *(uint32_t*)0x200000000504 = 7;
  *(uint32_t*)0x200000000508 = 8;
  *(uint32_t*)0x20000000050c = 3;
  *(uint32_t*)0x200000000510 = 0;
  *(uint32_t*)0x200000000514 = 5;
  *(uint32_t*)0x200000000518 = 0x40;
  *(uint32_t*)0x20000000051c = 0x91;
  *(uint32_t*)0x200000000520 = 6;
  *(uint32_t*)0x200000000524 = 0xfffffff9;
  *(uint32_t*)0x200000000528 = 3;
  *(uint32_t*)0x20000000052c = 0xb;
  *(uint32_t*)0x200000000530 = 4;
  *(uint32_t*)0x200000000534 = 8;
  *(uint32_t*)0x200000000538 = 0;
  *(uint32_t*)0x20000000053c = 0x80;
  *(uint32_t*)0x200000000540 = 0;
  *(uint32_t*)0x200000000544 = 0xa;
  *(uint32_t*)0x200000000548 = 6;
  *(uint32_t*)0x20000000054c = 8;
  *(uint32_t*)0x200000000550 = 0xfffffff9;
  *(uint32_t*)0x200000000554 = 3;
  *(uint32_t*)0x200000000558 = 0x40;
  *(uint32_t*)0x20000000055c = 0x10000007;
  *(uint32_t*)0x200000000560 = 0xc;
  *(uint32_t*)0x200000000564 = 0x12f;
  *(uint32_t*)0x200000000568 = 0x8000;
  *(uint32_t*)0x20000000056c = 0x10;
  *(uint32_t*)0x200000000570 = 8;
  *(uint32_t*)0x200000000574 = 0x129432e2;
  *(uint32_t*)0x200000000578 = 0xf;
  *(uint32_t*)0x20000000057c = 0xf9;
  *(uint32_t*)0x200000000580 = 3;
  *(uint32_t*)0x200000000584 = 0x2bf;
  *(uint32_t*)0x200000000588 = 0x6c9;
  *(uint32_t*)0x20000000058c = 9;
  *(uint32_t*)0x200000000590 = 0xfffffffe;
  *(uint32_t*)0x200000000594 = 3;
  *(uint32_t*)0x200000000598 = 0x7691;
  *(uint32_t*)0x20000000059c = 0xe4;
  *(uint32_t*)0x2000000005a0 = 5;
  *(uint32_t*)0x2000000005a4 = 0x80;
  *(uint32_t*)0x2000000005a8 = 0xe;
  *(uint32_t*)0x2000000005ac = 0x312;
  *(uint32_t*)0x2000000005b0 = 0x8000;
  *(uint32_t*)0x2000000005b4 = 0xea4;
  *(uint32_t*)0x2000000005b8 = 0xa;
  *(uint32_t*)0x2000000005bc = 4;
  *(uint32_t*)0x2000000005c0 = 0x4000;
  *(uint32_t*)0x2000000005c4 = 0x8000;
  *(uint32_t*)0x2000000005c8 = 0xb;
  *(uint32_t*)0x2000000005cc = 0x401;
  *(uint32_t*)0x2000000005d0 = 0x39f;
  *(uint32_t*)0x2000000005d4 = 6;
  *(uint32_t*)0x2000000005d8 = 0xfffffffd;
  *(uint32_t*)0x2000000005dc = 0x100;
  *(uint32_t*)0x2000000005e0 = 0x1005;
  *(uint32_t*)0x2000000005e4 = 2;
  *(uint32_t*)0x2000000005e8 = 0x5f31;
  *(uint32_t*)0x2000000005ec = 3;
  *(uint32_t*)0x2000000005f0 = 0;
  *(uint32_t*)0x2000000005f4 = 5;
  *(uint32_t*)0x2000000005f8 = 8;
  *(uint32_t*)0x2000000005fc = 9;
  *(uint32_t*)0x200000000600 = 4;
  *(uint32_t*)0x200000000604 = 0x7fff;
  *(uint32_t*)0x200000000608 = 8;
  *(uint32_t*)0x20000000060c = 9;
  *(uint32_t*)0x200000000610 = 0x3ff;
  *(uint32_t*)0x200000000614 = 5;
  *(uint32_t*)0x200000000618 = 0;
  *(uint32_t*)0x20000000061c = 1;
  *(uint32_t*)0x200000000620 = 0x8000;
  *(uint32_t*)0x200000000624 = 6;
  *(uint32_t*)0x200000000628 = 2;
  *(uint32_t*)0x20000000062c = 0x7f;
  *(uint32_t*)0x200000000630 = 9;
  *(uint32_t*)0x200000000634 = 5;
  *(uint32_t*)0x200000000638 = 8;
  *(uint32_t*)0x20000000063c = 8;
  *(uint32_t*)0x200000000640 = 1;
  *(uint32_t*)0x200000000644 = 7;
  *(uint32_t*)0x200000000648 = 0xb;
  *(uint32_t*)0x20000000064c = 9;
  *(uint32_t*)0x200000000650 = 0x48c92690;
  *(uint32_t*)0x200000000654 = 6;
  *(uint32_t*)0x200000000658 = 0xff;
  *(uint32_t*)0x20000000065c = 7;
  *(uint32_t*)0x200000000660 = 6;
  *(uint32_t*)0x200000000664 = 4;
  *(uint32_t*)0x200000000668 = 0x64e;
  *(uint32_t*)0x20000000066c = 0xfffffdfe;
  *(uint32_t*)0x200000000670 = 0x80010002;
  *(uint32_t*)0x200000000674 = 0x8d2;
  *(uint32_t*)0x200000000678 = 9;
  *(uint32_t*)0x20000000067c = 2;
  *(uint32_t*)0x200000000680 = 0x7eff;
  *(uint32_t*)0x200000000684 = 0;
  *(uint32_t*)0x200000000688 = 5;
  *(uint32_t*)0x20000000068c = 0xb;
  *(uint32_t*)0x200000000690 = 0;
  *(uint32_t*)0x200000000694 = 0x4000005;
  *(uint32_t*)0x200000000698 = 5;
  *(uint32_t*)0x20000000069c = 0;
  *(uint32_t*)0x2000000006a0 = 0x1ef;
  *(uint32_t*)0x2000000006a4 = 5;
  *(uint32_t*)0x2000000006a8 = 0x7f;
  *(uint32_t*)0x2000000006ac = 0x86;
  *(uint32_t*)0x2000000006b0 = 0x8001;
  *(uint32_t*)0x2000000006b4 = 0x10000009;
  *(uint32_t*)0x2000000006b8 = 0x3e7;
  *(uint32_t*)0x2000000006bc = 0x80000b;
  *(uint32_t*)0x2000000006c0 = 5;
  *(uint32_t*)0x2000000006c4 = 2;
  *(uint32_t*)0x2000000006c8 = 2;
  *(uint32_t*)0x2000000006cc = 0xf;
  *(uint32_t*)0x2000000006d0 = 8;
  *(uint32_t*)0x2000000006d4 = 4;
  *(uint32_t*)0x2000000006d8 = 0x6d01;
  *(uint32_t*)0x2000000006dc = 5;
  *(uint32_t*)0x2000000006e0 = 0x3b;
  *(uint32_t*)0x2000000006e4 = 0x200;
  *(uint32_t*)0x2000000006e8 = 0x200;
  *(uint32_t*)0x2000000006ec = 7;
  *(uint32_t*)0x2000000006f0 = 3;
  *(uint32_t*)0x2000000006f4 = 0xfffffffe;
  *(uint32_t*)0x2000000006f8 = 0x15;
  *(uint32_t*)0x2000000006fc = 0;
  *(uint32_t*)0x200000000700 = 0x60000000;
  *(uint32_t*)0x200000000704 = 6;
  *(uint32_t*)0x200000000708 = 0x53cf697b;
  *(uint32_t*)0x20000000070c = 5;
  *(uint32_t*)0x200000000710 = 6;
  *(uint32_t*)0x200000000714 = 0x54fe12d0;
  *(uint32_t*)0x200000000718 = 0;
  *(uint32_t*)0x20000000071c = 0x200;
  *(uint32_t*)0x200000000720 = -1;
  *(uint32_t*)0x200000000724 = 0x400002;
  *(uint32_t*)0x200000000728 = 0xfffffff9;
  *(uint32_t*)0x20000000072c = 0;
  *(uint32_t*)0x200000000730 = 6;
  *(uint32_t*)0x200000000734 = 5;
  *(uint32_t*)0x200000000738 = 0;
  *(uint32_t*)0x20000000073c = 6;
  *(uint32_t*)0x200000000740 = 0x3e;
  *(uint32_t*)0x200000000744 = 0x120000;
  *(uint32_t*)0x200000000748 = 3;
  *(uint32_t*)0x20000000074c = 6;
  *(uint32_t*)0x200000000750 = 9;
  *(uint32_t*)0x200000000754 = 4;
  *(uint32_t*)0x200000000758 = 0x800;
  *(uint32_t*)0x20000000075c = 2;
  *(uint32_t*)0x200000000760 = 0xbb2f;
  *(uint32_t*)0x200000000764 = 0;
  *(uint32_t*)0x200000000768 = 7;
  *(uint32_t*)0x20000000076c = 5;
  *(uint32_t*)0x200000000770 = 0x938;
  *(uint32_t*)0x200000000774 = 6;
  *(uint32_t*)0x200000000778 = 6;
  *(uint32_t*)0x20000000077c = 0;
  *(uint32_t*)0x200000000780 = 5;
  *(uint32_t*)0x200000000784 = 0xce7;
  *(uint32_t*)0x200000000788 = 0x1ff;
  *(uint32_t*)0x20000000078c = 6;
  *(uint32_t*)0x200000000790 = 0x401;
  *(uint32_t*)0x200000000794 = 7;
  *(uint32_t*)0x200000000798 = 3;
  *(uint32_t*)0x20000000079c = 0x800;
  *(uint32_t*)0x2000000007a0 = 0x10000;
  *(uint32_t*)0x2000000007a4 = 6;
  *(uint32_t*)0x2000000007a8 = 0x7fff;
  *(uint32_t*)0x2000000007ac = 0x8ffff;
  *(uint32_t*)0x2000000007b0 = 5;
  *(uint32_t*)0x2000000007b4 = 2;
  *(uint32_t*)0x2000000007b8 = 5;
  *(uint32_t*)0x2000000007bc = 1;
  *(uint32_t*)0x2000000007c0 = 2;
  *(uint32_t*)0x2000000007c4 = 0x14c;
  *(uint32_t*)0x2000000007c8 = 0x60a7;
  *(uint32_t*)0x2000000007cc = 6;
  *(uint32_t*)0x2000000007d0 = 5;
  *(uint32_t*)0x2000000007d4 = -1;
  *(uint32_t*)0x2000000007d8 = 0x7fff7ffe;
  *(uint32_t*)0x2000000007dc = 5;
  *(uint32_t*)0x2000000007e0 = 8;
  *(uint32_t*)0x2000000007e4 = 0xc8;
  *(uint32_t*)0x2000000007e8 = 3;
  *(uint32_t*)0x2000000007ec = 3;
  *(uint32_t*)0x2000000007f0 = 6;
  *(uint32_t*)0x2000000007f4 = 0;
  *(uint32_t*)0x2000000007f8 = 8;
  *(uint32_t*)0x2000000007fc = 0x100;
  *(uint32_t*)0x200000000800 = 4;
  *(uint32_t*)0x200000000804 = 0x7fff;
  *(uint32_t*)0x200000000808 = 2;
  *(uint32_t*)0x20000000080c = 9;
  *(uint32_t*)0x200000000810 = 6;
  *(uint32_t*)0x200000000814 = 0x100;
  *(uint32_t*)0x200000000818 = 0x10000;
  *(uint32_t*)0x20000000081c = 5;
  *(uint32_t*)0x200000000820 = 0x184d99e8;
  *(uint32_t*)0x200000000824 = 0x2b91;
  *(uint32_t*)0x200000000828 = 0xa1f;
  *(uint32_t*)0x20000000082c = 0x7d;
  *(uint32_t*)0x200000000830 = 9;
  *(uint32_t*)0x200000000834 = 1;
  *(uint32_t*)0x200000000838 = 0x6c1b;
  *(uint32_t*)0x20000000083c = 0;
  *(uint32_t*)0x200000000840 = 4;
  *(uint32_t*)0x200000000844 = 0x28;
  *(uint32_t*)0x200000000848 = 0xb1c;
  *(uint32_t*)0x20000000084c = 0x4c400000;
  *(uint32_t*)0x200000000850 = 0x200;
  *(uint32_t*)0x200000000854 = 0xff;
  *(uint32_t*)0x200000000858 = 0xfff;
  syscall(__NR_write, /*fd=*/r[1], /*data=*/0x200000000400ul, /*len=*/0x45cul);
  //  write$RDMA_USER_CM_CMD_NOTIFY arguments: [
  //    fd: fd_rdma_cm (resource)
  //    data: ptr[in, rdma_ucm_cmd_t[RDMA_USER_CM_CMD_NOTIFY, rdma_ucm_notify]]
  //    {
  //      rdma_ucm_cmd_t[RDMA_USER_CM_CMD_NOTIFY, rdma_ucm_notify] {
  //        cmd: const = 0xf (4 bytes)
  //        in: bytesize = 0x8 (2 bytes)
  //        out: const = 0xfa00 (2 bytes)
  //        msg: rdma_ucm_notify {
  //          id: rdma_cm_id (resource)
  //          event: ib_event_type = 0x11 (4 bytes)
  //        }
  //      }
  //    }
  //    len: bytesize = 0x10 (8 bytes)
  //  ]
  *(uint32_t*)0x200000000bc0 = 0xf;
  *(uint16_t*)0x200000000bc4 = 8;
  *(uint16_t*)0x200000000bc6 = 0xfa00;
  *(uint32_t*)0x200000000bc8 = -1;
  *(uint32_t*)0x200000000bcc = 0x11;
  syscall(__NR_write, /*fd=*/r[0], /*data=*/0x200000000bc0ul, /*len=*/0x10ul);
  //  openat arguments: [
  //    fd: fd_dir (resource)
  //    file: ptr[in, buffer] {
  //      buffer: {2e 2f 66 69 6c 65 31 00} (length 0x8)
  //    }
  //    flags: open_flags = 0x101042 (4 bytes)
  //    mode: open_mode = 0x15 (2 bytes)
  //  ]
  //  returns fd
  memcpy((void*)0x200000000040, "./file1\000", 8);
  res = syscall(__NR_openat, /*fd=*/0xffffff9c, /*file=*/0x200000000040ul,
                /*flags=O_SYNC|O_CREAT|O_RDWR*/ 0x101042,
                /*mode=S_IXOTH|S_IROTH|S_IWGRP*/ 0x15);
  if (res != -1)
    r[2] = res;
  //  pwrite64 arguments: [
  //    fd: fd (resource)
  //    buf: ptr[in, buffer] {
  //      buffer: {32} (length 0x1)
  //    }
  //    count: len = 0xfdef (8 bytes)
  //    pos: intptr = 0xe7c (8 bytes)
  //  ]
  memset((void*)0x200000000140, 50, 1);
  syscall(__NR_pwrite64, /*fd=*/r[2], /*buf=*/0x200000000140ul,
          /*count=*/0xfdeful, /*pos=*/0xe7cul);
}
int main(void)
{
  syscall(__NR_mmap, /*addr=*/0x1ffffffff000ul, /*len=*/0x1000ul, /*prot=*/0ul,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul,
          /*fd=*/(intptr_t)-1, /*offset=*/0ul);
  syscall(__NR_mmap, /*addr=*/0x200000000000ul, /*len=*/0x1000000ul,
          /*prot=PROT_WRITE|PROT_READ|PROT_EXEC*/ 7ul,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul,
          /*fd=*/(intptr_t)-1, /*offset=*/0ul);
  syscall(__NR_mmap, /*addr=*/0x200001000000ul, /*len=*/0x1000ul, /*prot=*/0ul,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul,
          /*fd=*/(intptr_t)-1, /*offset=*/0ul);
  const char* reason;
  (void)reason;
  use_temporary_dir();
  loop();
  return 0;
}