// https://syzkaller.appspot.com/bug?id=34b31083847cb689c8622ee3a538ae07bb324285
// 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_accept
#define __NR_accept 202
#endif
#ifndef __NR_bind
#define __NR_bind 200
#endif
#ifndef __NR_bpf
#define __NR_bpf 280
#endif
#ifndef __NR_dup
#define __NR_dup 23
#endif
#ifndef __NR_getsockopt
#define __NR_getsockopt 209
#endif
#ifndef __NR_memfd_create
#define __NR_memfd_create 279
#endif
#ifndef __NR_mmap
#define __NR_mmap 222
#endif
#ifndef __NR_sched_setscheduler
#define __NR_sched_setscheduler 119
#endif
#ifndef __NR_sendmmsg
#define __NR_sendmmsg 269
#endif
#ifndef __NR_sendmsg
#define __NR_sendmsg 211
#endif
#ifndef __NR_setsockopt
#define __NR_setsockopt 208
#endif
#ifndef __NR_socket
#define __NR_socket 198
#endif
#ifndef __NR_socketpair
#define __NR_socketpair 199
#endif

static unsigned long long procid;

static long syz_open_dev(volatile long a0, volatile long a1, volatile long a2)
{
  if (a0 == 0xc || a0 == 0xb) {
    char buf[128];
    sprintf(buf, "/dev/%s/%d:%d", a0 == 0xc ? "char" : "block", (uint8_t)a1,
            (uint8_t)a2);
    return open(buf, O_RDWR, 0);
  } else {
    char buf[1024];
    char* hash;
    strncpy(buf, (char*)a0, sizeof(buf) - 1);
    buf[sizeof(buf) - 1] = 0;
    while ((hash = strchr(buf, '#'))) {
      *hash = '0' + (char)(a1 % 10);
      a1 /= 10;
    }
    return open(buf, a2, 0);
  }
}

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

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

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

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

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

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

#define ZLIB_HEADER_WIDTH 2

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

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

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

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

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

error_clear_loop:
  if (need_loop_device)
    reset_loop_device(loopname);
  errno = err;
  return res;
}

uint64_t r[3] = {0xffffffffffffffff, 0xffffffffffffffff, 0xffffffffffffffff};

int main(void)
{
  syscall(__NR_mmap, /*addr=*/0x1ffff000ul, /*len=*/0x1000ul, /*prot=*/0ul,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul, /*fd=*/-1,
          /*offset=*/0ul);
  syscall(__NR_mmap, /*addr=*/0x20000000ul, /*len=*/0x1000000ul,
          /*prot=PROT_WRITE|PROT_READ|PROT_EXEC*/ 7ul,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul, /*fd=*/-1,
          /*offset=*/0ul);
  syscall(__NR_mmap, /*addr=*/0x21000000ul, /*len=*/0x1000ul, /*prot=*/0ul,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul, /*fd=*/-1,
          /*offset=*/0ul);
  const char* reason;
  (void)reason;
  intptr_t res = 0;
  if (write(1, "executing program\n", sizeof("executing program\n") - 1)) {
  }
  memcpy((void*)0x20000280, "/dev/cec#\000", 10);
  syz_open_dev(/*dev=*/0x20000280, /*id=*/0, /*flags=O_EXCL*/ 0x80);
  *(uint32_t*)0x20000080 = 7;
  syscall(__NR_sched_setscheduler, /*pid=*/0, /*policy=SCHED_FIFO*/ 1ul,
          /*prio=*/0x20000080ul);
  syscall(__NR_socketpair, /*domain=*/1ul, /*type=SOCK_DGRAM*/ 2ul, /*proto=*/0,
          /*fds=*/0ul);
  syscall(__NR_sendmmsg, /*fd=*/-1, /*mmsg=*/0x200bd000ul, /*vlen=*/0x318ul,
          /*f=*/0ul);
  syscall(__NR_sendmsg, /*fd=*/-1, /*msg=*/0ul,
          /*f=MSG_OOB|MSG_DONTWAIT*/ 0x41ul);
  res = syscall(__NR_dup, /*oldfd=*/-1);
  if (res != -1)
    r[0] = res;
  syscall(__NR_getsockopt, /*fd=*/r[0], /*level=*/0, /*optname=*/0x10,
          /*optval=*/0ul, /*optlen=*/0ul);
  *(uint16_t*)0x20000040 = 0x1f;
  *(uint16_t*)0x20000042 = -1;
  *(uint16_t*)0x20000044 = 2;
  syscall(__NR_bind, /*fd=*/-1, /*addr=*/0x20000040ul, /*addrlen=*/6ul);
  syscall(__NR_accept, /*fd=*/-1, /*peer=*/0x20000000ul, /*peerlen=*/0ul);
  *(uint32_t*)0x20000a40 = 3;
  *(uint32_t*)0x20000a44 = 0xc;
  *(uint64_t*)0x20000a48 = 0;
  *(uint64_t*)0x20000a50 = 0;
  *(uint32_t*)0x20000a58 = 0;
  *(uint32_t*)0x20000a5c = 0;
  *(uint64_t*)0x20000a60 = 0;
  *(uint32_t*)0x20000a68 = 0;
  *(uint32_t*)0x20000a6c = 0;
  memset((void*)0x20000a70, 0, 16);
  *(uint32_t*)0x20000a80 = 0;
  *(uint32_t*)0x20000a84 = 0x25;
  *(uint32_t*)0x20000a88 = r[0];
  *(uint32_t*)0x20000a8c = 8;
  *(uint64_t*)0x20000a90 = 0;
  *(uint32_t*)0x20000a98 = 0;
  *(uint32_t*)0x20000a9c = 0x10;
  *(uint64_t*)0x20000aa0 = 0;
  *(uint32_t*)0x20000aa8 = 0;
  *(uint32_t*)0x20000aac = 0;
  *(uint32_t*)0x20000ab0 = 0;
  *(uint32_t*)0x20000ab4 = 0;
  *(uint64_t*)0x20000ab8 = 0;
  *(uint64_t*)0x20000ac0 = 0;
  *(uint32_t*)0x20000ac8 = 0x10;
  *(uint32_t*)0x20000acc = 0;
  res = syscall(__NR_bpf, /*cmd=*/5ul, /*arg=*/0x20000a40ul, /*size=*/0x90ul);
  if (res != -1)
    r[1] = res;
  syscall(__NR_bpf, /*cmd=*/5ul, /*arg=*/0ul, /*size=*/0xffffffffffffffc4ul);
  res = syscall(__NR_socket, /*domain=*/2ul, /*type=*/1ul, /*proto=*/0);
  if (res != -1)
    r[2] = res;
  memcpy((void*)0x20001c40,
         "raw\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",
         32);
  *(uint32_t*)0x20001c60 = 0xc01;
  *(uint32_t*)0x20001c64 = 3;
  *(uint32_t*)0x20001c68 = 0x1230;
  *(uint32_t*)0x20001c6c = 0x10e8;
  *(uint32_t*)0x20001c70 = 0x5002004a;
  *(uint32_t*)0x20001c74 = 0;
  *(uint32_t*)0x20001c78 = 0x10e8;
  *(uint32_t*)0x20001c7c = 0;
  *(uint32_t*)0x20001c80 = 0x1198;
  *(uint32_t*)0x20001c84 = 0x3c8;
  *(uint32_t*)0x20001c88 = 0x3c8;
  *(uint32_t*)0x20001c8c = 0x1198;
  *(uint32_t*)0x20001c90 = 0x3c8;
  *(uint32_t*)0x20001c94 = 3;
  *(uint64_t*)0x20001c98 = 0;
  memset((void*)0x20001ca0, 0, 84);
  *(uint32_t*)0x20001cf4 = 0x60;
  *(uint16_t*)0x20001cf8 = 0x10a0;
  *(uint16_t*)0x20001cfa = 0x10e8;
  *(uint32_t*)0x20001cfc = 0;
  *(uint64_t*)0x20001d00 = 0;
  *(uint64_t*)0x20001d08 = 0;
  *(uint16_t*)0x20001d10 = 0x1030;
  memcpy((void*)0x20001d12,
         "cgroup\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000"
         "\000\000\000\000\000\000\000\000",
         29);
  *(uint8_t*)0x20001d2f = 1;
  *(uint8_t*)0x20001d30 = 1;
  *(uint8_t*)0x20001d31 = 0;
  *(uint8_t*)0x20001d32 = 0;
  *(uint8_t*)0x20001d33 = 0;
  memcpy(
      (void*)0x20001d34,
      "./cgroup.cpu/"
      "syz1\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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\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",
      4096);
  *(uint32_t*)0x20002d34 = 0;
  *(uint64_t*)0x20002d38 = 0;
  *(uint16_t*)0x20002d40 = 0x48;
  memcpy((void*)0x20002d42,
         "TEE\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",
         29);
  *(uint8_t*)0x20002d5f = 1;
  *(uint32_t*)0x20002d60 = htobe32(0xe0000001);
  memcpy((void*)0x20002d70,
         "wg2\000\000\000\000\000\000\000\000\000\000\000\000\000", 16);
  *(uint64_t*)0x20002d80 = 0;
  memset((void*)0x20002d88, 0, 84);
  *(uint32_t*)0x20002ddc = 0;
  *(uint16_t*)0x20002de0 = 0x70;
  *(uint16_t*)0x20002de2 = 0xb0;
  *(uint32_t*)0x20002de4 = 0;
  *(uint64_t*)0x20002de8 = 0;
  *(uint64_t*)0x20002df0 = 0;
  *(uint16_t*)0x20002df8 = 0x40;
  memcpy((void*)0x20002dfa,
         "LOG\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",
         29);
  *(uint8_t*)0x20002e17 = 0;
  *(uint8_t*)0x20002e18 = 0;
  *(uint8_t*)0x20002e19 = 0;
  memcpy((void*)0x20002e1a,
         "\x53\xf9\x92\x37\xf4\x1c\x83\x2f\xc8\x96\x9d\xa1\xf2\xb7\xa8\x6d\xde"
         "\xde\xb7\x58\x7f\x15\x90\x83\x9a\x7a\x3a\xce\xbc\x0f",
         30);
  memset((void*)0x20002e38, 0, 84);
  *(uint32_t*)0x20002e8c = 0;
  *(uint16_t*)0x20002e90 = 0x70;
  *(uint16_t*)0x20002e92 = 0x98;
  *(uint32_t*)0x20002e94 = 0;
  *(uint64_t*)0x20002e98 = 0;
  *(uint64_t*)0x20002ea0 = 0;
  *(uint16_t*)0x20002ea8 = 0x28;
  memset((void*)0x20002eaa, 0, 29);
  *(uint8_t*)0x20002ec7 = 4;
  *(uint32_t*)0x20002ec8 = 0xfffffffe;
  syscall(__NR_setsockopt, /*fd=*/r[2], /*level=*/0, /*opt=*/0x40,
          /*val=*/0x20001c40ul, /*len=*/0x1290ul);
  memcpy((void*)0x20000040, "hfsplus\000", 8);
  memcpy((void*)0x20000080, "./file0\000", 8);
  memcpy(
      (void*)0x20000440,
      "\x70\x61\x72\x74\x3d\x30\x78\x30\x30\x30\x30\x30\x30\x30\x30\x30\x30\x30"
      "\x30\x30\x30\x30\x34\x2c\x6e\x6c\x73\x3d\x61\x73\x63\x69\x69\x2c\x73\x65"
      "\x73\x73\x69\x6f\x6e\x3d\x30\x78\x66\x66\x66\x66\x66\x66\x66\x66\x66\x66"
      "\x66\x66\x66\x66\x37\x66\x2c\x74\x79\x70\x65\x3d\x88\x3b\x7f\x38\x2c\x63"
      "\x72\x65\x61\x74\x6f\x72\x3d\xd4\xa6\x20\xe9\x2c\x6e\x6f\x64\x65\x63\x6f"
      "\x6d\x70\x6f\x73\x65\x2c\x74\x79\x70\x65\x3d\x5d\xbc\xce\x90\x2c\x75\x6d"
      "\x61\x73\x6b\x3d\x30\x30\x30\x30\x30\x30\x30\x30\x30\x30\x30\x30\x30\x30"
      "\x30\x30\x30\x30\x30\x30\x30\x30\x31\x2c\x63\x72\x65\x61\x74\x6f\x72\x3d"
      "\x40\xf1\x94\x71\x2c\x62\x61\x72\x72\x69\x65\x72\x00\x63\x72\x65\x61\x74"
      "\x6f\x72\x3d\x65\xfe\x04\xc2\x2c\x6e\x6f\x64\x65\x63\x6f\x6d\x70\x6f\x73"
      "\x65\x2c\x64\x65\x63\x6f\x6d\x70\x6f\x73\x65\x2c\x63\x72\x65\x61\x74\x6f"
      "\x72\x3d\x8a\x72\x22\x83\x2c\x75\x69\x64\x3d",
      209);
  memcpy((void*)0x20000511,
         "\x3e\xf6\x28\xa9\xec\xf9\xe1\x75\x1e\xd9\xb6\x5d\x6a\x53\x59\xbd\x9a"
         "\xfb\x81\x13\x6c\xbf\xf6\x9e\x1b\xdb\xcb\x39\xd6\x0e\x9b\x32\xd9\xf1"
         "\x42\xac\x18\x9a\xe0\xd6\x59\x61\x0d\xdf\x0b\xf8\xc9\x5e\x8f\x1a\x51"
         "\xf2\x7b\xbb\x90\x98\x90\x0d\x07\xe5\xf0\x30\x34\x18\x85\x6a\x47\x0d"
         "\xe8\x6e\xc7\x69\xd6\x9e\xa6\x0f\x0e\xa3\x3a\x20\x89\xc2\xa2\xd3\x72"
         "\xec\x59\x58\xbb\xc0\x2c\x2b\x4d\x00\xf7\x1d\x70\x62\x87\x6a\xa8\x12"
         "\xe5\x7f\x73\x33\xfa\x60\xa4\xd9\x76\xab\xa0\xce\x61\x0e\xfb\xc2\x7f"
         "\x6c\xd9\xf0\xee\xe7\x07\x4c\x05\xc9\x2a\xe5\x7e\x5e\x1b\x9a\xfe\xd0"
         "\x8d\x27\xdf\x4b\x8b\x9f\xb9\xa3\x0a\x14\xa0\xb4\xa8\x20\x28\xdf\x49"
         "\x24\xd3\x1f\x4c\x15\xfe\x48\xe6\x2d\xdf\x74\x37\xe3\x25\xec\x87\x67"
         "\x99\x45\xec\xba\xed\xa0\x79\x05\x4d\x10\x57\x4c\x00\x36\xc8\x2e\x2f"
         "\xbc\x9d\x07\x3f\x4f\x66\x44\x16\x26\x62\xa8\xdc\x57\x00\xd5\x94\x3d"
         "\x13\xb9\x3f\x98\x68\x91\x97\x46\xc8\x6a\x6d\x48",
         216);
  *(uint16_t*)0x200005e9 = 0;
  *(uint16_t*)0x200005eb = -1;
  sprintf((char*)0x200005ed, "0x%016llx", (long long)-1);
  memcpy((void*)0x200005ff,
         "\xa5\x20\xad\x23\x32\x15\x34\xa8\x83\xfa\x11\x68\x48\xe7\x29\x5e\x86"
         "\x93\x13\x2d\xf1\x63\x8d\x94\x3e\x7d\xac\xc0\x3c\x8d\x2d\x9f\xca\x2a"
         "\xeb\x72\xf7\x2e\xd8\x2a\xf2\xce\xb5\x92\xa5\xee\xa7\xe5\x66\x31\xff"
         "\x9a\xc0\xd9\x2b\xcc\x66\x68\x59\xb3\x16\xfd\x2a\xc8\x69\x45\x77\xd0"
         "\x71\xf3\xf3\x1f\x92\xdf\xdb\xdd\x69\x5e\x5e\xdc\xa5\xb9\x0a\xbb\x53"
         "\x10\x7e\x70\x8b\x90\x15\x0f\xc9\xee\xe8\x41\x8e\x95\x11\xb8\xa4\xce"
         "\x6f\x69\xa3\x14\x72\x37\x82\x58\xa5\x5e\x8a\xa6\x4d\x4a\x98\x59\xbf"
         "\xb3\xd6\xd3\xe4\x9c\xf0\xa4\xc8\xb0\x04\x4d\x37\x81\x2d\xd1\x5a\xf7"
         "\x58\xd8\x17\x7a\xd1\xd6\x30\x19\x3b\x27\x88\x1a\x8a\x06\xb8\x22\x1d"
         "\xbc\xee\xfe\x3f\xbf\x19\x9b\x81\xbc\x31\x33\x8d\x35\xcf\x4c\xb9\xf7"
         "\xf2\x8e\x7a\xbc\x55\xaf\xd4\x1f\x3a\x8b\x4a\x1e\x3f\xc4\xcd\x2d\xec"
         "\xe6\xd1\x65\x9a\xb1\xfc\x85\x11\xc1\x8f\x9b\xd3\xc8\x00\x04\xef\xbd"
         "\x7c\xfd\xa1\x28\x66\x31\x6c\x01\xcc\x4a\x69\xca\x09\xf8\x51\x89\x38"
         "\x0f\x83\x52\x31\xd8\xae\x53\x32\x23\x71\x52\xdc\x3e\xd4\x5d\x7f\x88",
         238);
  *(uint16_t*)0x200006ed = r[1];
  sprintf((char*)0x200006ef, "%020llu", (long long)-1);
  memcpy(
      (void*)0x20000c00,
      "\x78\x9c\xec\xdd\x3b\x6c\x1b\xe7\x1d\x00\xf0\xff\x51\x24\x45\xba\x80\x23"
      "\x27\x7e\xa4\x45\x80\x10\x36\x90\x16\x35\x6a\x4b\x26\x94\x56\x5d\xea\x16"
      "\x45\xe1\x21\x28\x82\x74\x68\x57\xc2\x96\x63\xc1\x94\x1c\x48\x4a\x21\x1b"
      "\x45\xa3\xf4\xb1\x77\xc8\xd4\x29\x1d\xb4\x05\x1d\x8a\x74\xea\x62\xa0\x9d"
      "\x1b\x04\x28\xb2\x6a\x0c\xd0\x22\x4b\x26\x6d\x2a\xee\x78\x47\x91\x12\x45"
      "\x52\xb2\x5e\x4e\x7e\x3f\xe3\xee\xbe\xbb\xef\x71\xdf\xfd\xef\x45\x8a\x30"
      "\xbe\x00\xbe\xb6\xee\x5c\x8f\xf2\xd3\x89\x74\xf9\xc6\x5a\xba\xbe\xb9\xd1"
      "\x6c\x4f\x6c\x34\x27\xf3\xec\x76\x44\x54\x23\xa2\x14\x51\xee\x2c\x22\x59"
      "\x8a\x2c\xf7\x76\x3e\xc5\x37\xd3\x8d\x79\xf9\x64\xbf\xfd\x7c\xb0\x30\xf7"
      "\xd6\x67\x5f\x6e\x7e\xde\x59\x2b\xe7\x53\x56\xbe\x34\xac\xde\x00\xd5\xde"
      "\x95\x5f\x65\xf3\xf5\x7c\x8a\x46\x44\x4c\xe4\xcb\xbd\x2a\xfb\xb4\xf8\xf1"
      "\xee\xdd\xf7\xb5\x77\x77\xdf\xf6\xc6\x95\x74\x8f\x30\x0d\xd8\xb5\x22\x70"
      "\xf1\xe7\x67\x6a\x15\x9e\xd9\xf6\x1e\xeb\xdd\xbc\x8f\xfe\x93\xcd\x87\x55"
      "\x3f\xc8\x7d\x0b\x9c\x51\x49\xe7\xbd\xb9\xc7\x54\xc4\xb9\x88\xa8\x45\x74"
      "\xde\xfa\xf9\xd3\xa1\x74\xb2\xbd\x3b\x7a\xeb\xa7\xdd\x01\x00\x00\x00\x38"
      "\xa8\xfa\xc1\xab\xbc\xb0\x15\x5b\xb1\x16\xe7\x8f\xa3\x3b\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\xf0\x55\x95\x8f\xff\x9f\xe4\x53\xa9\x48\x37\x22\x29"
      "\xc6\xff\xaf\xe6\xdb\x22\x4f\x9f\x41\xa3\x07\x42\xfc\x74\xb2\xb3\x7c\x7a"
      "\xfc\x9d\x01\x00\x00\x00\x00\x00\x00\x80\x63\xf7\xea\x56\x6c\xc5\x5a\x9c"
      "\x2f\xd6\xb7\x93\xec\x37\xff\xab\xb1\xdd\x2d\xf2\x8d\x78\x37\x56\x62\x3e"
      "\x96\xe3\x46\xac\x45\x2b\x56\x63\x35\x96\x63\x26\x22\xa6\x7a\x1a\xaa\xae"
      "\xb5\x56\x57\x97\x67\xe2\x6a\xb6\x76\x71\x48\xcd\x5b\xf1\xc9\x80\x9a\xb7"
      "\xf6\xef\xe3\xed\x23\x3d\x62\x00\x00\x00\x00\x00\x00\x00\x38\xf3\x6a\x23"
      "\xf2\x1f\x56\xf6\x6e\xfb\x5d\xdc\xd9\xf9\xfd\x1f\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\xce\x82\x24\x62\xa2\xb3\xc8\xa6\x8b\x45\x7a\x2a\x4a"
      "\xe5\x88\xa8\x45\x44\x35\x2d\xb7\x1e\xf1\x49\x91\x7e\x4e\x24\x83\x36\x3e"
      "\x3d\xf9\x7e\x00\x00\x00\xc0\x33\xa9\xf5\xaf\x26\xb5\x31\xea\xbc\xf0\x5e"
      "\x6c\xc5\x5a\x9c\x2f\xd6\xb7\x93\xec\x3b\xff\xe5\xec\xfb\x72\x2d\xde\x8d"
      "\xa5\x58\x8d\x85\x58\x8d\x76\xcc\xc7\xbd\xfc\x3b\x74\xfa\xad\xbf\xb4\xb9"
      "\xd1\x6c\x6f\x6e\x34\x17\xa3\xd6\x5c\x4c\x37\xfe\xe3\x7f\xdb\x99\x4e\x3b"
      "\x3f\xfe\xe2\x40\x5d\xcf\x5a\x8c\xce\xdf\x1e\x06\xef\xf9\xe5\xac\x44\x3d"
      "\xee\xc7\x42\xb6\xe5\x46\xdc\x8d\x24\x3a\xbb\x2c\xe5\xad\xbc\xbc\xb9\xd1"
      "\x4c\x97\x8b\x69\xbf\xb2\xbe\xf5\x79\x3f\xed\x53\xf2\xa3\xdc\x90\xde\x4c"
      "\xf4\xa4\xef\xa5\xb3\x2b\x1f\x67\xe9\x3f\xf5\xff\x15\xa1\x7c\xa0\x43\x3c"
      "\x84\xc9\x3c\x2a\x83\x4d\x65\xb9\x95\x6e\x44\xa6\xf3\xbe\xa5\x35\x2e\x14"
      "\x11\x18\x1c\x89\x91\x67\xa7\x3c\x74\x4f\x33\x51\xea\xfe\xe5\xe7\xe2\xf0"
      "\x3d\x0d\x8e\xf9\xfb\xc3\xf7\x7e\x6e\x57\xa9\x81\x7f\xb9\x39\x15\xbb\x23"
      "\x71\x2b\x4a\xdd\x33\x74\x79\x4f\x24\x2a\xfd\x95\xbf\xfd\xf7\x8f\x7e\xf9"
      "\xa0\xbd\xf4\xf0\xc1\xfd\x95\xeb\x67\xe7\x90\x06\x7a\x6f\x64\x89\xdd\x91"
      "\x68\xf6\x44\xe2\xca\xf0\x6b\xe2\xb9\x8a\xc4\x68\xd3\x59\x24\x2e\x75\xd7"
      "\xef\xc4\xcf\xe2\x17\x71\x3d\xbe\x98\x7c\x33\x96\x63\x21\x7e\x1d\xad\x58"
      "\x8d\xf9\x46\x91\xdf\xca\xaf\xe7\x74\x3e\x35\x3c\x52\x9f\xf6\xdd\xfd\x6f"
      "\x8e\xea\x49\x7a\x4f\x36\xba\xcf\xaf\x41\x7d\x6a\x44\x5f\x9f\xa2\x11\x3f"
      "\xcd\x52\xad\xb8\x9a\x9d\xd3\xf3\xb1\x10\x49\x3c\x8a\x88\xf9\x78\x3d\xfb"
      "\x77\x2b\x66\xba\x4f\x83\x9d\x33\x7c\x69\x8c\xbb\xbe\x34\xc6\x93\xb6\xc7"
      "\xb5\xef\x64\x8b\x6e\x98\xa2\xbe\x7f\xd9\xbf\x8e\xd7\xe4\x51\x49\xe3\x7a"
      "\xa1\x27\xae\xbd\xcf\xdc\xa9\x2c\xaf\x77\xcb\x4e\x94\x5e\x1c\x18\xa5\xe2"
      "\x5d\x37\xfe\xfb\xa8\x47\xf9\x5b\x79\x22\x6d\xe1\xf7\x43\xdf\x0f\x27\x6d"
      "\x77\x24\x66\x7a\x22\xf1\xd2\xe6\x46\xb3\xb8\x8a\xfa\xae\x97\x4e\x48\xff"
      "\x92\x7d\x6a\x58\x69\x2f\x3d\x5c\x7e\xd0\x7a\x67\xcc\xfd\xbd\x96\x2f\xd3"
      "\xfb\xe8\x8f\x67\xea\x2d\x91\x9e\xe1\x17\xa3\x96\x1f\xdc\x85\x6c\x9e\x64"
      "\xf7\xd4\x74\x96\xf7\x52\xf7\x0d\xdb\x1f\xaf\x6a\xfe\x8b\x4b\x47\x69\x4f"
      "\xde\xa5\x6e\xbd\xce\x9d\xfa\xf3\x78\x14\xf7\xfa\xee\xd4\xef\xc7\x6c\xcc"
      "\xc6\x5c\x56\xfa\x72\x56\xba\xb2\xe7\x8d\x95\xe6\x5d\xe9\xb6\xd4\xff\x0c"
      "\x4f\xf3\xd2\x4f\x5a\xe5\xee\x0f\x3b\xbd\x9f\xb7\x1e\x45\xbb\xf3\x79\xe8"
      "\xb9\xfa\xdd\x07\xe0\x6b\xe8\xdc\x77\xcf\x55\xeb\xff\xad\xff\xbb\xfe\x61"
      "\xfd\x0f\xf5\x07\xf5\x37\x6a\x3f\x99\xfc\xc1\xe4\x2b\xd5\xa8\xfc\xab\xf2"
      "\xc3\xf2\xf4\xc4\x6b\xa5\x57\x92\xbf\xc5\x87\xf1\xdb\x9d\xef\xff\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\xc0\xe1\xad\x3c\x7e\xf2\xb0\xd5\x6e\xcf\x2f\x0f\x4e\x94\x06"
      "\x67\x25\xc3\x6b\xb5\xda\xdb\xc5\x40\x62\x43\xca\xf4\x25\x92\x7c\xa8\x9c"
      "\x31\x0a\x27\x2b\x8f\x9f\x6c\x8f\x6c\x70\x78\x62\x32\xef\xde\x21\xab\x1f"
      "\x65\xa2\x18\xad\xb1\x37\xab\x18\x4d\xb1\xbf\x70\xe3\x18\xbb\x91\xac\x77"
      "\xc7\x51\xca\xb7\xd4\x46\x9f\x8b\x62\x94\xa7\x31\x76\x91\xec\x09\x78\x5a"
      "\xf9\xd0\x7d\x2e\xf6\xbc\xb3\xa5\x72\x06\x4e\xe5\xee\x44\xe3\x90\xd5\x7b"
      "\x8f\x2b\x4f\x14\x17\x6c\x4f\xe1\x83\x5f\xbd\xf5\x41\xe7\x6b\x22\x22\x06"
      "\x15\x1e\xf1\xe0\x98\x78\xd6\x27\x0f\x70\xda\x6e\xae\x2e\xbe\x73\x73\xe5"
      "\xf1\x93\xef\x2d\x2c\xb6\xde\x9e\x7f\x7b\x7e\xa9\x32\x3b\x3b\x37\x3d\x37"
      "\xfb\x7a\xf3\xe6\xfd\x85\xf6\xfc\x74\x67\xde\x53\xe1\xd8\x07\xbf\x05\x4e"
      "\x4a\xef\xc7\x89\xae\x6a\x44\xbc\x3a\xba\xee\x90\x81\x5a\x01\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x80\x63\x74\x12\xff\x17\xe2\xb4\x8f\x11\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x78\xbe\xdd\xb9\x1e\xe5\xa7\x91\xc4\xcc\xf4\x8d\xe9\x74\x7d\x73\xa3\xd9"
      "\x4e\xa7\x22\xbd\x53\xb2\x1c\x11\xa5\x88\x48\x7e\x13\x91\xfc\x33\xe2\x76"
      "\x74\xa6\x98\xea\x69\x2e\xd9\x6f\x3f\x1f\x2c\xcc\xbd\xf5\xd9\x97\x9b\x9f"
      "\xef\xb4\x55\x2e\xca\x97\x22\xd6\xf7\xad\x37\x9e\xf5\x7c\x8a\x46\x44\x4c"
      "\xe4\xcb\xa3\x6a\xef\xee\xe8\xf6\xaa\x3b\xc9\xc9\x01\xd9\x49\x37\x32\x69"
      "\xc0\xae\x15\x81\x83\xd3\xf6\xff\x00\x00\x00\xff\xff\xed\x36\xec\x40",
      1799);
  syz_mount_image(/*fs=*/0x20000040, /*dir=*/0x20000080,
                  /*flags=MS_I_VERSION|MS_NOEXEC|MS_NODEV*/ 0x80000c,
                  /*opts=*/0x20000440, /*chdir=*/1, /*size=*/0x707,
                  /*img=*/0x20000c00);
  return 0;
}