// https://syzkaller.appspot.com/bug?id=03c217262f27c0aa43185e88db523ec9aa25f7fa
// autogenerated by syzkaller (https://github.com/google/syzkaller)

#define _GNU_SOURCE

#include <endian.h>
#include <errno.h>
#include <fcntl.h>
#include <setjmp.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/stat.h>
#include <sys/syscall.h>
#include <sys/types.h>
#include <unistd.h>

#include <linux/loop.h>

#ifndef __NR_bpf
#define __NR_bpf 321
#endif
#ifndef __NR_memfd_create
#define __NR_memfd_create 319
#endif

static unsigned long long procid;

//% 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;
}

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;
  if (write(1, "executing program\n", sizeof("executing program\n") - 1)) {
  }
  //  bpf$BPF_PROG_TEST_RUN arguments: [
  //    cmd: const = 0xa (8 bytes)
  //    arg: ptr[in, bpf_test_prog_arg] {
  //      bpf_test_prog_arg {
  //        prog: fd_bpf_prog (resource)
  //        retval: const = 0x0 (4 bytes)
  //        insizedata: len = 0x0 (4 bytes)
  //        outsizedata: len = 0x0 (4 bytes)
  //        indata: nil
  //        outdata: nil
  //        repeat: int32 = 0x3 (4 bytes)
  //        dur: const = 0x0 (4 bytes)
  //        insizectx: len = 0x99 (4 bytes)
  //        outsizectx: len = 0x0 (4 bytes)
  //        inctx: ptr[in, buffer] {
  //          buffer: {5a 57 b0 4f 82 28 f3 3f cf 3c 4e 9a c4 e8 2d cb 53 4b 84
  //          e8 f3 c1 f7 d0 fd 9b ea ca ae c5 de 4b 61 22 2f a7 ec 63 6c 46 81
  //          62 a1 54 e5 39 a9 9c 3f 50 37 6b da 9e 7f ec 3f da a6 7c e2 04 a2
  //          58 b5 c6 6e b8 48 f3 bd d1 95 3d ba 38 8b 93 10 2b 0c 32 56 f1 ac
  //          ee d5 24 2d db 95 0c 9e d4 f6 05 4a 8d 8e 7b a1 ac f1 79 d4 33 40
  //          fd f0 1e 05 de fe 25 13 bf 60 47 29 6f 20 4c f3 8d 16 fd 48 9f 14
  //          00 ad b5 9a 8c 97 08 f2 c2 f0 a8 e4 6c 72 08 50 97 87 7b 62 2c 4b
  //          cb 34} (length 0x99)
  //        }
  //        outctx: nil
  //        flags: bpf_prog_test_run_flags = 0x2 (4 bytes)
  //        cpu: const = 0x0 (4 bytes)
  //        batch_size: int32 = 0x7ffc (4 bytes)
  //        pad = 0x0 (4 bytes)
  //      }
  //    }
  //    size: len = 0x50 (8 bytes)
  //  ]
  *(uint32_t*)0x2000000001c0 = -1;
  *(uint32_t*)0x2000000001c4 = 0;
  *(uint32_t*)0x2000000001c8 = 0;
  *(uint32_t*)0x2000000001cc = 0;
  *(uint64_t*)0x2000000001d0 = 0;
  *(uint64_t*)0x2000000001d8 = 0;
  *(uint32_t*)0x2000000001e0 = 3;
  *(uint32_t*)0x2000000001e4 = 0;
  *(uint32_t*)0x2000000001e8 = 0x99;
  *(uint32_t*)0x2000000001ec = 0;
  *(uint64_t*)0x2000000001f0 = 0x200000000880;
  memcpy((void*)0x200000000880,
         "\x5a\x57\xb0\x4f\x82\x28\xf3\x3f\xcf\x3c\x4e\x9a\xc4\xe8\x2d\xcb\x53"
         "\x4b\x84\xe8\xf3\xc1\xf7\xd0\xfd\x9b\xea\xca\xae\xc5\xde\x4b\x61\x22"
         "\x2f\xa7\xec\x63\x6c\x46\x81\x62\xa1\x54\xe5\x39\xa9\x9c\x3f\x50\x37"
         "\x6b\xda\x9e\x7f\xec\x3f\xda\xa6\x7c\xe2\x04\xa2\x58\xb5\xc6\x6e\xb8"
         "\x48\xf3\xbd\xd1\x95\x3d\xba\x38\x8b\x93\x10\x2b\x0c\x32\x56\xf1\xac"
         "\xee\xd5\x24\x2d\xdb\x95\x0c\x9e\xd4\xf6\x05\x4a\x8d\x8e\x7b\xa1\xac"
         "\xf1\x79\xd4\x33\x40\xfd\xf0\x1e\x05\xde\xfe\x25\x13\xbf\x60\x47\x29"
         "\x6f\x20\x4c\xf3\x8d\x16\xfd\x48\x9f\x14\x00\xad\xb5\x9a\x8c\x97\x08"
         "\xf2\xc2\xf0\xa8\xe4\x6c\x72\x08\x50\x97\x87\x7b\x62\x2c\x4b\xcb\x34",
         153);
  *(uint64_t*)0x2000000001f8 = 0;
  *(uint32_t*)0x200000000200 = 2;
  *(uint32_t*)0x200000000204 = 0;
  *(uint32_t*)0x200000000208 = 0x7ffc;
  syscall(__NR_bpf, /*cmd=*/0xaul, /*arg=*/0x2000000001c0ul, /*size=*/0x50ul);
  //  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 = 0x30000c6 (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 {
  //              nombcache: buffer: {6e 6f 6d 62 63 61 63 68 65} (length 0x9)
  //            }
  //            comma: const = 0x2c (1 bytes)
  //          }
  //          fs_opt_elem[ext4_options] {
  //            elem: union ext4_options {
  //              journal_dev: fs_opt["journal_dev", fmt[hex, int32]] {
  //                name: buffer: {6a 6f 75 72 6e 61 6c 5f 64 65 76} (length
  //                0xb) eq: const = 0x3d (1 bytes) val: int32 = 0xff (18 bytes)
  //              }
  //            }
  //            comma: const = 0x2c (1 bytes)
  //          }
  //          fs_opt_elem[ext4_options] {
  //            elem: union ext4_options {
  //              nombcache: buffer: {6e 6f 6d 62 63 61 63 68 65} (length 0x9)
  //            }
  //            comma: const = 0x2c (1 bytes)
  //          }
  //          fs_opt_elem[ext4_options] {
  //            elem: union ext4_options {
  //              nobarrier: buffer: {6e 6f 62 61 72 72 69 65 72} (length 0x9)
  //            }
  //            comma: const = 0x2c (1 bytes)
  //          }
  //          fs_opt_elem[ext4_options] {
  //            elem: union ext4_options {
  //              init_itable: buffer: {69 6e 69 74 5f 69 74 61 62 6c 65}
  //              (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)
  //          }
  //        }
  //        common: array[fs_opt_elem[fs_options_common]] {
  //        }
  //        null: const = 0x0 (1 bytes)
  //      }
  //    }
  //    chdir: int8 = 0x1 (1 bytes)
  //    size: len = 0x569 (8 bytes)
  //    img: ptr[in, buffer] {
  //      buffer: (compressed buffer with length 0x569)
  //    }
  //  ]
  //  returns fd_dir
  memcpy((void*)0x200000000040, "ext4\000", 5);
  memcpy((void*)0x200000000140, "./file1\000", 8);
  memcpy((void*)0x200000000200, "nombcache", 9);
  *(uint8_t*)0x200000000209 = 0x2c;
  memcpy((void*)0x20000000020a, "journal_dev", 11);
  *(uint8_t*)0x200000000215 = 0x3d;
  sprintf((char*)0x200000000216, "0x%016llx", (long long)0xff);
  *(uint8_t*)0x200000000228 = 0x2c;
  memcpy((void*)0x200000000229, "nombcache", 9);
  *(uint8_t*)0x200000000232 = 0x2c;
  memcpy((void*)0x200000000233, "nobarrier", 9);
  *(uint8_t*)0x20000000023c = 0x2c;
  memcpy((void*)0x20000000023d, "init_itable", 11);
  *(uint8_t*)0x200000000248 = 0x2c;
  memcpy((void*)0x200000000249, "errors=remount-ro", 17);
  *(uint8_t*)0x20000000025a = 0x2c;
  *(uint8_t*)0x20000000025b = 0;
  memcpy(
      (void*)0x2000000002c0,
      "\x78\x9c\xec\xdd\x4d\x6b\x5c\x55\x1f\x00\xf0\xff\x9d\x64\xfa\xfe\x3c\x4d"
      "\xa1\x14\x15\x91\x80\x0b\x2b\xb5\x93\x26\xf1\xa5\x82\x8b\xba\xd6\x62\x41"
      "\xf7\x75\x48\x6e\x43\xc9\xa4\x53\x32\x93\xd2\xc4\x82\xed\xc2\xae\xa5\xb8"
      "\x11\x0b\xe2\x5e\x5c\xbb\x2c\x7e\x01\x17\x7e\x86\x82\x16\x8a\x94\xa0\x0b"
      "\x37\x91\x3b\xb9\x33\x9d\x24\x33\xc9\xb4\x9d\x26\x53\xe7\xf7\x83\x5b\xce"
      "\xb9\x2f\x39\xf7\xcc\xb9\xff\xd3\x73\x72\x66\x32\x01\x0c\xad\xf1\xec\x9f"
      "\x42\xc4\xcb\x11\xf1\x75\x12\x71\x34\x22\x92\xfc\xd8\x68\xe4\x07\xc7\xd7"
      "\xcf\x5b\x7d\x74\x63\x26\xdb\x92\x58\x5b\xfb\xf4\xcf\xa4\x71\x5e\x96\x6f"
      "\xfe\xac\xe6\x75\x87\xf3\xcc\x4b\x11\xf1\xcb\x57\x11\xa7\x0a\x5b\xcb\xad"
      "\x2d\xaf\xcc\x97\x2b\x95\x74\x31\xcf\x4f\xd4\x17\xae\x4e\xd4\x96\x57\x4e"
      "\x5f\x5e\x28\xcf\xa5\x73\xe9\x95\xa9\xe9\xe9\xb3\xef\x4c\x4f\xbd\xff\xde"
      "\xbb\x7d\xab\xeb\x9b\x17\xfe\xfe\xf6\x93\x7b\x23\x79\xee\xd8\x9d\x24\xce"
      "\xc5\x91\x3c\xd7\x5e\x8f\x67\x70\xb3\x3d\x33\x1e\xe3\xf9\x6b\x52\x8c\x73"
      "\x9b\x4e\x9c\xec\x43\x61\x83\x24\xe9\xb8\xf7\xa7\x5d\xbf\x0f\x9e\xcc\x48"
      "\x1e\xe7\xc5\xc8\xfa\x80\xa3\x31\x92\x47\x3d\xf0\xdf\xf7\x65\x44\xac\x01"
      "\x43\x2a\x79\xe2\xf8\xff\xad\xf8\x7c\xee\x04\xd8\x5d\xcd\x71\x40\x73\x6e"
      "\xdf\xa7\x79\xf0\x0b\xe3\xe1\x87\xeb\x13\xa0\xad\xf5\x1f\x5d\xff\xdd\x48"
      "\x1c\x68\xcc\x8d\x0e\xad\x26\x1b\x66\x46\xd9\x7c\x77\xac\x0f\xe5\x67\x65"
      "\xfc\xfc\xc7\xdd\x3b\xd9\x16\xfd\xfb\x3d\x04\xc0\x8e\x6e\xde\x8a\x88\x33"
      "\xa3\xa3\x5b\xfb\xbf\x24\xef\xff\x9e\xde\x99\x1e\xce\xd9\x5c\x86\xfe\x0f"
      "\x76\xcf\xbd\x6c\xfc\xf3\x56\xa7\xf1\x4f\xa1\x35\xfe\x89\x0e\xe3\x9f\xc3"
      "\x1d\x62\xf7\x69\xec\x1c\xff\x85\x07\x7d\x28\xa6\xab\x6c\xfc\xf7\x41\xc7"
      "\xf1\x6f\x6b\xd1\x6a\x6c\x24\xcf\xfd\xaf\x31\xe6\x2b\x26\x97\x2e\x57\xd2"
      "\xac\x6f\xfb\x7f\x44\x9c\x8c\xe2\xfe\x2c\xbf\xdd\x7a\xce\xd9\xd5\xfb\x6b"
      "\xdd\x8e\xb5\x8f\xff\xb2\x2d\x2b\xbf\x39\x16\xcc\xef\xe3\xc1\xe8\xfe\x8d"
      "\xd7\xcc\x96\xeb\xe5\x67\xa9\x73\xbb\x87\xb7\x22\x5e\xe9\x38\xfe\x4d\x5a"
      "\xed\x9f\x74\x68\xff\xec\xf5\xb8\xd0\x63\x19\x27\xd2\xbb\xaf\x75\x3b\xb6"
      "\x73\xfd\x9f\xaf\xb5\x1f\x22\xde\xe8\xd8\xfe\x8f\x57\xb4\x92\xed\xd7\x27"
      "\x27\x1a\xcf\xc3\x44\xf3\xa9\xd8\xea\xaf\xdb\x27\x7e\xed\x56\xfe\x5e\xd7"
      "\x3f\x6b\xff\x43\xdb\xd7\x7f\x2c\x69\x5f\xaf\xad\xb5\x5f\x3d\xd2\x53\x19"
      "\xdf\x1f\xf8\x27\x8d\xd6\x7a\xf2\x46\x1b\xea\x1f\xbd\x3f\xff\xfb\x92\xcf"
      "\x1a\xe9\x7d\xf9\xbe\xeb\xe5\x7a\x7d\x71\x32\x62\x5f\xf2\x71\x6b\x7f\xa1"
      "\xb9\x7f\xea\xf1\xb5\xcd\x7c\xf3\xfc\xac\xfe\x27\x5f\xdf\xbe\xff\xeb\xf4"
      "\xfc\x1f\x8c\x88\xcf\x7b\xaa\x7d\xc4\xed\xe3\x3f\xbe\xda\xed\xd8\x20\xb4"
      "\xff\x6c\xc7\xf6\x6f\xcd\x6e\x37\xb5\xff\x93\x27\xee\x7f\xf4\xc5\x77\xdd"
      "\xca\xef\xad\xff\x7b\xbb\x91\x3a\x99\xef\xe9\xa5\xff\xeb\xf5\x06\x9f\xe5"
      "\xb5\x03\x00\x00\x00\x00\x00\x80\x41\x53\x88\x88\x23\x91\x14\x4a\xad\x74"
      "\xa1\x50\x2a\xad\xbf\xbf\xe3\x78\x1c\x2a\x54\xaa\xb5\xfa\xa9\x4b\xd5\xa5"
      "\x2b\xb3\xd1\xf8\xac\xec\x58\x14\x0b\xcd\x95\xee\xa3\x6d\xef\x87\x98\xcc"
      "\x57\x0c\x9b\xf9\xa9\x4d\xf9\xe9\x88\x38\x16\x11\xdf\x8c\x1c\x6c\xe4\x4b"
      "\x33\xd5\xca\xec\x5e\x57\x1e\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x06\xc4\xe1\x2e\x9f\xff\xcf\xfc\xbe\xf5\xcf\xbb\x1f\xd8"
      "\xfd\x3b\x04\x9e\x2b\x5f\xf9\x0d\xc3\x6b\xc7\xf8\xef\xc7\x37\x3d\x01\x03"
      "\xc9\xff\xff\x30\xbc\xc4\x3f\x0c\x2f\xf1\x0f\xc3\x4b\xfc\xc3\xf0\x12\xff"
      "\x30\xbc\xc4\x3f\x0c\x2f\xf1\x0f\xc3\x4b\xfc\x03\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x40\x5f\x5d\x38"
      "\x7f\x3e\xdb\xd6\x56\x1f\xdd\x98\xc9\xf2\xb3\xd7\x96\x97\xe6\xab\xd7\x4e"
      "\xcf\xa6\xb5\xf9\xd2\xc2\xd2\x4c\x69\xa6\xba\x78\xb5\x34\x57\xad\xce\x55"
      "\xd2\xd2\x4c\x75\x61\xa7\x9f\x57\xa9\x56\xaf\x4e\x4e\xc5\xd2\xf5\x89\x7a"
      "\x5a\xab\x4f\xd4\x96\x57\x2e\x2e\x54\x97\xae\xd4\x2f\x5e\x5e\x28\xcf\xa5"
      "\x17\xd3\xe2\xae\xd4\x0a\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x5e\x2c\xb5\xe5\x95\xf9\x72\xa5\x92\x2e\x4a\x48\x3c\x55\x62"
      "\x74\x30\x6e\x43\xa2\xcf\x89\xbd\xee\x99\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\xe0\xb1\x7f\x03\x00\x00\xff\xff\x07\xa5\x33\x0c",
      1385);
  syz_mount_image(
      /*fs=*/0x200000000040, /*dir=*/0x200000000140,
      /*flags=MS_LAZYTIME|MS_STRICTATIME|MS_NOSUID|MS_NODEV|MS_MANDLOCK|0x80*/
      0x30000c6, /*opts=*/0x200000000200, /*chdir=*/1, /*size=*/0x569,
      /*img=*/0x2000000002c0);
  //  lsetxattr$trusted_overlay_upper arguments: [
  //    path: ptr[in, buffer] {
  //      buffer: {2e 2f 66 69 6c 65 31 00} (length 0x8)
  //    }
  //    name: ptr[in, buffer] {
  //      buffer: {74 72 75 73 74 65 64 2e 6f 76 65 72 6c 61 79 2e 75 70 70 65
  //      72 00} (length 0x16)
  //    }
  //    val: ptr[inout, array[ANYUNION]] {
  //      array[ANYUNION] {
  //      }
  //    }
  //    size: len = 0x361 (8 bytes)
  //    flags: setxattr_flags = 0x1 (8 bytes)
  //  ]
  memcpy((void*)0x200000000080, "./file1\000", 8);
  memcpy((void*)0x200000000840, "trusted.overlay.upper\000", 22);
  syscall(__NR_lsetxattr, /*path=*/0x200000000080ul, /*name=*/0x200000000840ul,
          /*val=*/0x200000000940ul, /*size=*/0x361ul,
          /*flags=XATTR_CREATE*/ 1ul);
  //  setxattr$security_ima arguments: [
  //    path: ptr[in, buffer] {
  //      buffer: {2e 2f 66 69 6c 65 31 00} (length 0x8)
  //    }
  //    name: ptr[in, buffer] {
  //      buffer: {73 65 63 75 72 69 74 79 2e 69 6d 61 00} (length 0xd)
  //    }
  //    val: ptr[inout, array[ANYUNION]] {
  //      array[ANYUNION] {
  //      }
  //    }
  //    size: len = 0x700 (8 bytes)
  //    flags: setxattr_flags = 0x0 (8 bytes)
  //  ]
  memcpy((void*)0x200000000100, "./file1\000", 8);
  memcpy((void*)0x200000000140, "security.ima\000", 13);
  syscall(__NR_setxattr, /*path=*/0x200000000100ul, /*name=*/0x200000000140ul,
          /*val=*/0x2000000013c0ul, /*size=*/0x700ul, /*flags=*/0ul);
  //  setxattr$security_ima arguments: [
  //    path: ptr[in, buffer] {
  //      buffer: {2e 2f 66 69 6c 65 31 00} (length 0x8)
  //    }
  //    name: ptr[in, buffer] {
  //      buffer: {73 65 63 75 72 69 74 79 2e 69 6d 61 00} (length 0xd)
  //    }
  //    val: ptr[inout, array[ANYUNION]] {
  //      array[ANYUNION] {
  //      }
  //    }
  //    size: len = 0x700 (8 bytes)
  //    flags: setxattr_flags = 0x0 (8 bytes)
  //  ]
  memcpy((void*)0x200000000100, "./file1\000", 8);
  memcpy((void*)0x200000000140, "security.ima\000", 13);
  syscall(__NR_setxattr, /*path=*/0x200000000100ul, /*name=*/0x200000000140ul,
          /*val=*/0x2000000013c0ul, /*size=*/0x700ul, /*flags=*/0ul);
  //  lsetxattr$trusted_overlay_upper arguments: [
  //    path: ptr[in, buffer] {
  //      buffer: {2e 2f 66 69 6c 65 31 00} (length 0x8)
  //    }
  //    name: ptr[in, buffer] {
  //      buffer: {74 72 75 73 74 65 64 2e 6f 76 65 72 6c 61 79 2e 75 70 70 65
  //      72 00} (length 0x16)
  //    }
  //    val: ptr[inout, array[ANYUNION]] {
  //      array[ANYUNION] {
  //      }
  //    }
  //    size: len = 0xfe37 (8 bytes)
  //    flags: setxattr_flags = 0x0 (8 bytes)
  //  ]
  memcpy((void*)0x200000000280, "./file1\000", 8);
  memcpy((void*)0x2000000000c0, "trusted.overlay.upper\000", 22);
  syscall(__NR_lsetxattr, /*path=*/0x200000000280ul, /*name=*/0x2000000000c0ul,
          /*val=*/0x2000000001c0ul, /*size=*/0xfe37ul, /*flags=*/0ul);
  return 0;
}