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

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

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;
  intptr_t res = 0;
  if (write(1, "executing program\n", sizeof("executing program\n") - 1)) {
  }
  //  syz_mount_image$reiserfs arguments: [
  //    fs: ptr[in, buffer] {
  //      buffer: {72 65 69 73 65 72 66 73 00} (length 0x9)
  //    }
  //    dir: ptr[in, buffer] {
  //      buffer: {2e 2f 66 69 6c 65 36 00} (length 0x8)
  //    }
  //    flags: mount_flags = 0x98 (8 bytes)
  //    opts: ptr[in, fs_options[reiserfs_options]] {
  //      fs_options[reiserfs_options] {
  //        elems: array[fs_opt_elem[reiserfs_options]] {
  //        }
  //        common: array[fs_opt_elem[fs_options_common]] {
  //        }
  //        null: const = 0x0 (1 bytes)
  //      }
  //    }
  //    chdir: int8 = 0x1 (1 bytes)
  //    size: len = 0x10ef (8 bytes)
  //    img: ptr[in, buffer] {
  //      buffer: (compressed buffer with length 0x10ef)
  //    }
  //  ]
  //  returns fd_dir
  memcpy((void*)0x200000000140, "reiserfs\000", 9);
  memcpy((void*)0x200000001140, "./file6\000", 8);
  *(uint8_t*)0x200000000280 = 0;
  memcpy(
      (void*)0x2000000022c0,
      "\x78\x9c\xec\xd8\x31\x8b\x13\x41\x18\x06\xe0\x77\x76\x0f\xe4\xaa\xc8\x5c"
      "\xbf\x1e\x68\x61\x21\xc7\x1d\xf1\x0f\x5c\xa1\x90\xc6\xc2\xda\x2e\x58\xd9"
      "\x99\x4a\xc9\xcf\xf1\xe7\xc8\x55\xf6\x47\x7a\x53\x04\xec\x95\x4d\x0c\x09"
      "\x12\x10\xc9\x62\xe0\x78\x1e\x58\x76\xe7\x65\x66\xbe\x9d\x72\xbe\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x40\xef\x2c\xf9\x5e\x92\x8b\x26\xa9\xdb\xac"
      "\x49\x52\x92\xae\xbb\x9b\x2c\x92\x74\xdb\xfc\xf1\xd7\xb6\x49\xc9\xdb\xf7"
      "\x93\xd9\xab\x8f\xe3\xd7\xb3\xcd\xb4\xf4\x59\x93\xd2\xaf\x5a\x8f\xeb\xcd"
      "\xd3\x5a\xc7\x75\x5c\x6f\xea\xcb\x8b\xdb\x67\x75\xf6\xe9\xf3\x87\x76\xaf"
      "\x64\x49\x97\xfb\xd5\x7c\x7a\xfe\x66\x39\xe8\x51\xfa\xda\xed\xa0\x3b\x02"
      "\x00\x00\xc0\xc3\xf0\xf3\x68\xa3\x13\xd7\x07\x00\x00\x00\xfe\x66\xb0\x46"
      "\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xc0\x00"
      "\xea\xf6\xa3\x49\x52\x92\xae\xbb\x9b\x2c\x92\x74\xa7\xfd\x2d\x00\x00\x00"
      "\xe0\x48\x25\x4d\xde\x8d\x0e\xe5\x9b\x36\xc0\xce\x8b\x7c\x1b\x95\x94\x47"
      "\xbb\xe4\x47\xe9\xe7\x5c\xe7\xcb\x81\xf5\x00\x00\x00\xc0\xbf\x29\x7b\xf7"
      "\xf1\xe7\x39\xcf\x93\xbd\xfc\x32\x67\xb9\xba\xda\x8c\x7f\xbf\xb2\xbc\x4d"
      "\xda\x24\xd7\x7f\xec\x73\xbf\x9a\x4f\xd7\xcf\xe5\x7c\x5a\xfe\xe7\x01\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\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\x5f\xec\xc0\xb1\x00"
      "\x00\x00\x00\x80\x30\x7f\xeb\x34\x3a\x36\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x60\xaa\x00\x00\x00\xff\xff\x53\x18\xd2\x08",
      4335);
  syz_mount_image(/*fs=*/0x200000000140, /*dir=*/0x200000001140,
                  /*flags=MS_SYNCHRONOUS|MS_NOEXEC|MS_DIRSYNC*/ 0x98,
                  /*opts=*/0x200000000280, /*chdir=*/1, /*size=*/0x10ef,
                  /*img=*/0x2000000022c0);
  //  openat arguments: [
  //    fd: fd_dir (resource)
  //    file: ptr[in, buffer] {
  //      buffer: {2e 2f 66 69 6c 65 30 00} (length 0x8)
  //    }
  //    flags: open_flags = 0x103a42 (4 bytes)
  //    mode: open_mode = 0x100 (2 bytes)
  //  ]
  //  returns fd
  memcpy((void*)0x200000000440, "./file0\000", 8);
  res = syscall(
      __NR_openat, /*fd=*/0xffffff9c, /*file=*/0x200000000440ul,
      /*flags=O_TRUNC|O_SYNC|O_NONBLOCK|O_CREAT|FASYNC|O_RDWR*/ 0x103a42,
      /*mode=S_IRUSR*/ 0x100);
  if (res != -1)
    r[0] = res;
  //  truncate arguments: [
  //    file: ptr[in, buffer] {
  //      buffer: {2e 2f 66 69 6c 65 30 00} (length 0x8)
  //    }
  //    len: intptr = 0x3a6800 (8 bytes)
  //  ]
  memcpy((void*)0x200000000080, "./file0\000", 8);
  syscall(__NR_truncate, /*file=*/0x200000000080ul, /*len=*/0x3a6800ul);
  //  openat arguments: [
  //    fd: fd_dir (resource)
  //    file: ptr[in, buffer] {
  //      buffer: {2e 2f 66 69 6c 65 31 00} (length 0x8)
  //    }
  //    flags: open_flags = 0xc4042 (4 bytes)
  //    mode: open_mode = 0xb9cbbe05c791f09e (2 bytes)
  //  ]
  //  returns fd
  memcpy((void*)0x200000000100, "./file1\000", 8);
  syscall(__NR_openat, /*fd=*/0xffffff9c, /*file=*/0x200000000100ul,
          /*flags=O_NOATIME|O_DIRECT|O_CREAT|O_CLOEXEC|0x2*/ 0xc4042,
          /*mode=S_IWOTH|S_IROTH|S_IXGRP|S_IWGRP|S_IWUSR|0xf000*/ 0xf09e);
  //  write$uinput_user_dev arguments: [
  //    fd: fd_uinput (resource)
  //    data: ptr[in, uinput_user_dev] {
  //      uinput_user_dev {
  //        name: buffer: {73 79 7a 31 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 = 0x0 (2 bytes)
  //          vendor: int16 = 0x3 (2 bytes)
  //          product: int16 = 0x1000 (2 bytes)
  //          version: int16 = 0x101 (2 bytes)
  //        }
  //        ff_effects_max: int32 = 0x19 (4 bytes)
  //        absmax: array[int32] {
  //          int32 = 0xf (4 bytes)
  //          int32 = 0x7 (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0xd (4 bytes)
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0x9b (4 bytes)
  //          int32 = 0x3ff (4 bytes)
  //          int32 = 0x8f (4 bytes)
  //          int32 = 0xff (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0x5f0 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x3ff (4 bytes)
  //          int32 = 0x101 (4 bytes)
  //          int32 = 0x400 (4 bytes)
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0x2 (4 bytes)
  //          int32 = 0xe (4 bytes)
  //          int32 = 0x800 (4 bytes)
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0xfffffffb (4 bytes)
  //          int32 = 0x7 (4 bytes)
  //          int32 = 0x2 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x1ff (4 bytes)
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x2 (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x40 (4 bytes)
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0x1 (4 bytes)
  //          int32 = 0x2f (4 bytes)
  //          int32 = 0x3ff (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0xb (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x7 (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0xb (4 bytes)
  //          int32 = 0xfffffffe (4 bytes)
  //          int32 = 0x1 (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0xe5c5 (4 bytes)
  //          int32 = 0xb (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x7 (4 bytes)
  //          int32 = 0x100 (4 bytes)
  //          int32 = 0x24 (4 bytes)
  //          int32 = 0x2 (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //        }
  //        absmin: array[int32] {
  //          int32 = 0x3ff (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0xa (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0xed92 (4 bytes)
  //          int32 = 0x888 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x7f (4 bytes)
  //          int32 = 0x118758c6 (4 bytes)
  //          int32 = 0xfff (4 bytes)
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x2f (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0x10001 (4 bytes)
  //          int32 = 0xf6 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x7 (4 bytes)
  //          int32 = 0xc (4 bytes)
  //          int32 = 0x3f (4 bytes)
  //          int32 = 0x1ff (4 bytes)
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0xff (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x3ff (4 bytes)
  //          int32 = 0xe (4 bytes)
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0x10000 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x1ff (4 bytes)
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x7fffffff (4 bytes)
  //          int32 = 0xfff (4 bytes)
  //          int32 = 0xe81 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x7e22 (4 bytes)
  //          int32 = 0x7fffffff (4 bytes)
  //          int32 = 0x1 (4 bytes)
  //          int32 = 0x10000 (4 bytes)
  //          int32 = 0x44 (4 bytes)
  //          int32 = 0x52d (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0xfffff001 (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x24d (4 bytes)
  //        }
  //        absfuzz: array[int32] {
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0x1 (4 bytes)
  //          int32 = 0x78da (4 bytes)
  //          int32 = 0x8000 (4 bytes)
  //          int32 = 0xffffff7f (4 bytes)
  //          int32 = 0x67c (4 bytes)
  //          int32 = 0x98f5 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x10 (4 bytes)
  //          int32 = 0xc1c (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x4db83704 (4 bytes)
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0xc7a (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0xf978 (4 bytes)
  //          int32 = 0x7ffffffc (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0xb6c (4 bytes)
  //          int32 = 0x8000 (4 bytes)
  //          int32 = 0x1 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x1000 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x200 (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x7 (4 bytes)
  //          int32 = 0x8f98 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x8000 (4 bytes)
  //          int32 = 0x80000000 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0xa6b0 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0xa221 (4 bytes)
  //          int32 = 0x7fffffff (4 bytes)
  //          int32 = 0x2 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x10001 (4 bytes)
  //          int32 = 0x45b (4 bytes)
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0x3e85daf5 (4 bytes)
  //          int32 = 0x404 (4 bytes)
  //          int32 = 0xffff8000 (4 bytes)
  //          int32 = 0x423 (4 bytes)
  //          int32 = 0xbf3 (4 bytes)
  //          int32 = 0x94 (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x2 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x1 (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x1 (4 bytes)
  //          int32 = 0x1 (4 bytes)
  //          int32 = 0x1 (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //        }
  //        absflat: array[int32] {
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0xffff8001 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x81 (4 bytes)
  //          int32 = 0x1 (4 bytes)
  //          int32 = 0x1 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0xb (4 bytes)
  //          int32 = 0x1 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x9b4 (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x260d (4 bytes)
  //          int32 = 0xfffffffb (4 bytes)
  //          int32 = 0xc (4 bytes)
  //          int32 = 0xff (4 bytes)
  //          int32 = 0x7 (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0x2 (4 bytes)
  //          int32 = 0x7fffffff (4 bytes)
  //          int32 = 0x1 (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0xffffffff (4 bytes)
  //          int32 = 0xa7bd (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x1 (4 bytes)
  //          int32 = 0x25562d28 (4 bytes)
  //          int32 = 0x3ff (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x39 (4 bytes)
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0xa7d7 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x40f (4 bytes)
  //          int32 = 0xff (4 bytes)
  //          int32 = 0x2 (4 bytes)
  //          int32 = 0x800 (4 bytes)
  //          int32 = 0xffffffff (4 bytes)
  //          int32 = 0xa9 (4 bytes)
  //          int32 = 0x20009 (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0xfc9a (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0x10001 (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x800 (4 bytes)
  //          int32 = 0x7 (4 bytes)
  //          int32 = 0x3859 (4 bytes)
  //          int32 = 0x2 (4 bytes)
  //          int32 = 0x1 (4 bytes)
  //        }
  //      }
  //    }
  //    len: len = 0x45c (8 bytes)
  //  ]
  memcpy((void*)0x200000002dc0,
         "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",
         80);
  *(uint16_t*)0x200000002e10 = 0;
  *(uint16_t*)0x200000002e12 = 3;
  *(uint16_t*)0x200000002e14 = 0x1000;
  *(uint16_t*)0x200000002e16 = 0x101;
  *(uint32_t*)0x200000002e18 = 0x19;
  *(uint32_t*)0x200000002e1c = 0xf;
  *(uint32_t*)0x200000002e20 = 7;
  *(uint32_t*)0x200000002e24 = 3;
  *(uint32_t*)0x200000002e28 = 0;
  *(uint32_t*)0x200000002e2c = 0xd;
  *(uint32_t*)0x200000002e30 = 8;
  *(uint32_t*)0x200000002e34 = 0x9b;
  *(uint32_t*)0x200000002e38 = 0x3ff;
  *(uint32_t*)0x200000002e3c = 0x8f;
  *(uint32_t*)0x200000002e40 = 0xff;
  *(uint32_t*)0x200000002e44 = 6;
  *(uint32_t*)0x200000002e48 = 3;
  *(uint32_t*)0x200000002e4c = 0x5f0;
  *(uint32_t*)0x200000002e50 = 4;
  *(uint32_t*)0x200000002e54 = 8;
  *(uint32_t*)0x200000002e58 = 9;
  *(uint32_t*)0x200000002e5c = 4;
  *(uint32_t*)0x200000002e60 = 0x3ff;
  *(uint32_t*)0x200000002e64 = 0x101;
  *(uint32_t*)0x200000002e68 = 0x400;
  *(uint32_t*)0x200000002e6c = 8;
  *(uint32_t*)0x200000002e70 = 2;
  *(uint32_t*)0x200000002e74 = 0xe;
  *(uint32_t*)0x200000002e78 = 0x800;
  *(uint32_t*)0x200000002e7c = 8;
  *(uint32_t*)0x200000002e80 = 0xfffffffb;
  *(uint32_t*)0x200000002e84 = 7;
  *(uint32_t*)0x200000002e88 = 2;
  *(uint32_t*)0x200000002e8c = 0;
  *(uint32_t*)0x200000002e90 = 9;
  *(uint32_t*)0x200000002e94 = 6;
  *(uint32_t*)0x200000002e98 = 0x1ff;
  *(uint32_t*)0x200000002e9c = 8;
  *(uint32_t*)0x200000002ea0 = 0;
  *(uint32_t*)0x200000002ea4 = 5;
  *(uint32_t*)0x200000002ea8 = 3;
  *(uint32_t*)0x200000002eac = 9;
  *(uint32_t*)0x200000002eb0 = 5;
  *(uint32_t*)0x200000002eb4 = 2;
  *(uint32_t*)0x200000002eb8 = 9;
  *(uint32_t*)0x200000002ebc = 0x40;
  *(uint32_t*)0x200000002ec0 = 8;
  *(uint32_t*)0x200000002ec4 = 1;
  *(uint32_t*)0x200000002ec8 = 0x2f;
  *(uint32_t*)0x200000002ecc = 0x3ff;
  *(uint32_t*)0x200000002ed0 = 0;
  *(uint32_t*)0x200000002ed4 = 0xb;
  *(uint32_t*)0x200000002ed8 = 3;
  *(uint32_t*)0x200000002edc = 6;
  *(uint32_t*)0x200000002ee0 = 7;
  *(uint32_t*)0x200000002ee4 = 5;
  *(uint32_t*)0x200000002ee8 = 0xb;
  *(uint32_t*)0x200000002eec = 0xfffffffe;
  *(uint32_t*)0x200000002ef0 = 1;
  *(uint32_t*)0x200000002ef4 = 9;
  *(uint32_t*)0x200000002ef8 = 9;
  *(uint32_t*)0x200000002efc = 0xe5c5;
  *(uint32_t*)0x200000002f00 = 0xb;
  *(uint32_t*)0x200000002f04 = 4;
  *(uint32_t*)0x200000002f08 = 7;
  *(uint32_t*)0x200000002f0c = 0x100;
  *(uint32_t*)0x200000002f10 = 0x24;
  *(uint32_t*)0x200000002f14 = 2;
  *(uint32_t*)0x200000002f18 = 3;
  *(uint32_t*)0x200000002f1c = 0x3ff;
  *(uint32_t*)0x200000002f20 = 0;
  *(uint32_t*)0x200000002f24 = 0xa;
  *(uint32_t*)0x200000002f28 = 5;
  *(uint32_t*)0x200000002f2c = 8;
  *(uint32_t*)0x200000002f30 = 0;
  *(uint32_t*)0x200000002f34 = 6;
  *(uint32_t*)0x200000002f38 = 0xed92;
  *(uint32_t*)0x200000002f3c = 0x888;
  *(uint32_t*)0x200000002f40 = 0;
  *(uint32_t*)0x200000002f44 = 0x7f;
  *(uint32_t*)0x200000002f48 = 0x118758c6;
  *(uint32_t*)0x200000002f4c = 0xfff;
  *(uint32_t*)0x200000002f50 = 8;
  *(uint32_t*)0x200000002f54 = 4;
  *(uint32_t*)0x200000002f58 = 4;
  *(uint32_t*)0x200000002f5c = 5;
  *(uint32_t*)0x200000002f60 = 0;
  *(uint32_t*)0x200000002f64 = 9;
  *(uint32_t*)0x200000002f68 = 0x2f;
  *(uint32_t*)0x200000002f6c = 3;
  *(uint32_t*)0x200000002f70 = 0x10001;
  *(uint32_t*)0x200000002f74 = 0xf6;
  *(uint32_t*)0x200000002f78 = 0;
  *(uint32_t*)0x200000002f7c = 7;
  *(uint32_t*)0x200000002f80 = 0xc;
  *(uint32_t*)0x200000002f84 = 0x3f;
  *(uint32_t*)0x200000002f88 = 0x1ff;
  *(uint32_t*)0x200000002f8c = 8;
  *(uint32_t*)0x200000002f90 = 9;
  *(uint32_t*)0x200000002f94 = 0;
  *(uint32_t*)0x200000002f98 = 0xff;
  *(uint32_t*)0x200000002f9c = 0;
  *(uint32_t*)0x200000002fa0 = 8;
  *(uint32_t*)0x200000002fa4 = 4;
  *(uint32_t*)0x200000002fa8 = 4;
  *(uint32_t*)0x200000002fac = 6;
  *(uint32_t*)0x200000002fb0 = 0;
  *(uint32_t*)0x200000002fb4 = 6;
  *(uint32_t*)0x200000002fb8 = 9;
  *(uint32_t*)0x200000002fbc = 0x3ff;
  *(uint32_t*)0x200000002fc0 = 0xe;
  *(uint32_t*)0x200000002fc4 = 8;
  *(uint32_t*)0x200000002fc8 = 0x10000;
  *(uint32_t*)0x200000002fcc = 6;
  *(uint32_t*)0x200000002fd0 = 0;
  *(uint32_t*)0x200000002fd4 = 0x1ff;
  *(uint32_t*)0x200000002fd8 = 8;
  *(uint32_t*)0x200000002fdc = 0;
  *(uint32_t*)0x200000002fe0 = 0x7fffffff;
  *(uint32_t*)0x200000002fe4 = 0xfff;
  *(uint32_t*)0x200000002fe8 = 0xe81;
  *(uint32_t*)0x200000002fec = 6;
  *(uint32_t*)0x200000002ff0 = 0x7e22;
  *(uint32_t*)0x200000002ff4 = 0x7fffffff;
  *(uint32_t*)0x200000002ff8 = 1;
  *(uint32_t*)0x200000002ffc = 0x10000;
  *(uint32_t*)0x200000003000 = 0x44;
  *(uint32_t*)0x200000003004 = 0x52d;
  *(uint32_t*)0x200000003008 = 5;
  *(uint32_t*)0x20000000300c = 3;
  *(uint32_t*)0x200000003010 = 0xfffff001;
  *(uint32_t*)0x200000003014 = 9;
  *(uint32_t*)0x200000003018 = 0x24d;
  *(uint32_t*)0x20000000301c = 8;
  *(uint32_t*)0x200000003020 = 1;
  *(uint32_t*)0x200000003024 = 0x78da;
  *(uint32_t*)0x200000003028 = 0x8000;
  *(uint32_t*)0x20000000302c = 0xffffff7f;
  *(uint32_t*)0x200000003030 = 0x67c;
  *(uint32_t*)0x200000003034 = 0x98f5;
  *(uint32_t*)0x200000003038 = 0;
  *(uint32_t*)0x20000000303c = 0x10;
  *(uint32_t*)0x200000003040 = 0xc1c;
  *(uint32_t*)0x200000003044 = 4;
  *(uint32_t*)0x200000003048 = 0x4db83704;
  *(uint32_t*)0x20000000304c = 8;
  *(uint32_t*)0x200000003050 = 6;
  *(uint32_t*)0x200000003054 = 0xc7a;
  *(uint32_t*)0x200000003058 = 5;
  *(uint32_t*)0x20000000305c = 0xf978;
  *(uint32_t*)0x200000003060 = 0x7ffffffc;
  *(uint32_t*)0x200000003064 = 3;
  *(uint32_t*)0x200000003068 = 5;
  *(uint32_t*)0x20000000306c = 0;
  *(uint32_t*)0x200000003070 = 9;
  *(uint32_t*)0x200000003074 = 0xb6c;
  *(uint32_t*)0x200000003078 = 0x8000;
  *(uint32_t*)0x20000000307c = 1;
  *(uint32_t*)0x200000003080 = 6;
  *(uint32_t*)0x200000003084 = 0x1000;
  *(uint32_t*)0x200000003088 = 4;
  *(uint32_t*)0x20000000308c = 0x200;
  *(uint32_t*)0x200000003090 = 5;
  *(uint32_t*)0x200000003094 = 0;
  *(uint32_t*)0x200000003098 = 7;
  *(uint32_t*)0x20000000309c = 0x8f98;
  *(uint32_t*)0x2000000030a0 = 0;
  *(uint32_t*)0x2000000030a4 = 0x8000;
  *(uint32_t*)0x2000000030a8 = 0x80000000;
  *(uint32_t*)0x2000000030ac = 4;
  *(uint32_t*)0x2000000030b0 = 0;
  *(uint32_t*)0x2000000030b4 = 0xa6b0;
  *(uint32_t*)0x2000000030b8 = 6;
  *(uint32_t*)0x2000000030bc = 0xa221;
  *(uint32_t*)0x2000000030c0 = 0x7fffffff;
  *(uint32_t*)0x2000000030c4 = 2;
  *(uint32_t*)0x2000000030c8 = 4;
  *(uint32_t*)0x2000000030cc = 0x10001;
  *(uint32_t*)0x2000000030d0 = 0x45b;
  *(uint32_t*)0x2000000030d4 = 8;
  *(uint32_t*)0x2000000030d8 = 0x3e85daf5;
  *(uint32_t*)0x2000000030dc = 0x404;
  *(uint32_t*)0x2000000030e0 = 0xffff8000;
  *(uint32_t*)0x2000000030e4 = 0x423;
  *(uint32_t*)0x2000000030e8 = 0xbf3;
  *(uint32_t*)0x2000000030ec = 0x94;
  *(uint32_t*)0x2000000030f0 = 3;
  *(uint32_t*)0x2000000030f4 = 4;
  *(uint32_t*)0x2000000030f8 = 2;
  *(uint32_t*)0x2000000030fc = 4;
  *(uint32_t*)0x200000003100 = 1;
  *(uint32_t*)0x200000003104 = 5;
  *(uint32_t*)0x200000003108 = 1;
  *(uint32_t*)0x20000000310c = 1;
  *(uint32_t*)0x200000003110 = 1;
  *(uint32_t*)0x200000003114 = 5;
  *(uint32_t*)0x200000003118 = 6;
  *(uint32_t*)0x20000000311c = 9;
  *(uint32_t*)0x200000003120 = 4;
  *(uint32_t*)0x200000003124 = 0xffff8001;
  *(uint32_t*)0x200000003128 = 4;
  *(uint32_t*)0x20000000312c = 0x81;
  *(uint32_t*)0x200000003130 = 1;
  *(uint32_t*)0x200000003134 = 1;
  *(uint32_t*)0x200000003138 = 0;
  *(uint32_t*)0x20000000313c = 8;
  *(uint32_t*)0x200000003140 = 6;
  *(uint32_t*)0x200000003144 = 0xb;
  *(uint32_t*)0x200000003148 = 1;
  *(uint32_t*)0x20000000314c = 4;
  *(uint32_t*)0x200000003150 = 0x9b4;
  *(uint32_t*)0x200000003154 = 9;
  *(uint32_t*)0x200000003158 = 3;
  *(uint32_t*)0x20000000315c = 4;
  *(uint32_t*)0x200000003160 = 9;
  *(uint32_t*)0x200000003164 = 0x260d;
  *(uint32_t*)0x200000003168 = 0xfffffffb;
  *(uint32_t*)0x20000000316c = 0xc;
  *(uint32_t*)0x200000003170 = 0xff;
  *(uint32_t*)0x200000003174 = 7;
  *(uint32_t*)0x200000003178 = 3;
  *(uint32_t*)0x20000000317c = 2;
  *(uint32_t*)0x200000003180 = 0x7fffffff;
  *(uint32_t*)0x200000003184 = 1;
  *(uint32_t*)0x200000003188 = 9;
  *(uint32_t*)0x20000000318c = 3;
  *(uint32_t*)0x200000003190 = 5;
  *(uint32_t*)0x200000003194 = -1;
  *(uint32_t*)0x200000003198 = 0xa7bd;
  *(uint32_t*)0x20000000319c = 9;
  *(uint32_t*)0x2000000031a0 = 9;
  *(uint32_t*)0x2000000031a4 = 1;
  *(uint32_t*)0x2000000031a8 = 0x25562d28;
  *(uint32_t*)0x2000000031ac = 0x3ff;
  *(uint32_t*)0x2000000031b0 = 9;
  *(uint32_t*)0x2000000031b4 = 0x39;
  *(uint32_t*)0x2000000031b8 = 8;
  *(uint32_t*)0x2000000031bc = 6;
  *(uint32_t*)0x2000000031c0 = 0xa7d7;
  *(uint32_t*)0x2000000031c4 = 6;
  *(uint32_t*)0x2000000031c8 = 5;
  *(uint32_t*)0x2000000031cc = 0;
  *(uint32_t*)0x2000000031d0 = 0x40f;
  *(uint32_t*)0x2000000031d4 = 0xff;
  *(uint32_t*)0x2000000031d8 = 2;
  *(uint32_t*)0x2000000031dc = 0x800;
  *(uint32_t*)0x2000000031e0 = -1;
  *(uint32_t*)0x2000000031e4 = 0xa9;
  *(uint32_t*)0x2000000031e8 = 0x20009;
  *(uint32_t*)0x2000000031ec = 3;
  *(uint32_t*)0x2000000031f0 = 6;
  *(uint32_t*)0x2000000031f4 = 0xfc9a;
  *(uint32_t*)0x2000000031f8 = 3;
  *(uint32_t*)0x2000000031fc = 0x10001;
  *(uint32_t*)0x200000003200 = 9;
  *(uint32_t*)0x200000003204 = 5;
  *(uint32_t*)0x200000003208 = 0x800;
  *(uint32_t*)0x20000000320c = 7;
  *(uint32_t*)0x200000003210 = 0x3859;
  *(uint32_t*)0x200000003214 = 2;
  *(uint32_t*)0x200000003218 = 1;
  syscall(__NR_write, /*fd=*/r[0], /*data=*/0x200000002dc0ul, /*len=*/0x45cul);
  //  openat arguments: [
  //    fd: fd_dir (resource)
  //    file: ptr[in, buffer] {
  //      buffer: {2e 2f 66 69 6c 65 31 00} (length 0x8)
  //    }
  //    flags: open_flags = 0x42 (4 bytes)
  //    mode: open_mode = 0x0 (2 bytes)
  //  ]
  //  returns fd
  memcpy((void*)0x200000000080, "./file1\000", 8);
  res = syscall(__NR_openat, /*fd=*/0xffffff9c, /*file=*/0x200000000080ul,
                /*flags=O_CREAT|O_RDWR*/ 0x42, /*mode=*/0);
  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 = 0x6 (2 bytes)
  //          vendor: int16 = 0x5 (2 bytes)
  //          product: int16 = 0x4 (2 bytes)
  //          version: int16 = 0x7ff (2 bytes)
  //        }
  //        ff_effects_max: int32 = 0x1a (4 bytes)
  //        absmax: array[int32] {
  //          int32 = 0x10001 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0xfffffff7 (4 bytes)
  //          int32 = 0xfffffff7 (4 bytes)
  //          int32 = 0xfffffffc (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0xc (4 bytes)
  //          int32 = 0xfff (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x10 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x7fffffff (4 bytes)
  //          int32 = 0x7 (4 bytes)
  //          int32 = 0x3ff (4 bytes)
  //          int32 = 0xffffe682 (4 bytes)
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0x19a (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x1 (4 bytes)
  //          int32 = 0x6be2 (4 bytes)
  //          int32 = 0x401 (4 bytes)
  //          int32 = 0x80000000 (4 bytes)
  //          int32 = 0x2 (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x3ff (4 bytes)
  //          int32 = 0x80 (4 bytes)
  //          int32 = 0x1000 (4 bytes)
  //          int32 = 0x7f (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x98 (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x846 (4 bytes)
  //          int32 = 0x7 (4 bytes)
  //          int32 = 0x71c (4 bytes)
  //          int32 = 0x10000 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x2 (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0x1 (4 bytes)
  //          int32 = 0xc24b (4 bytes)
  //          int32 = 0x5e (4 bytes)
  //          int32 = 0x42b (4 bytes)
  //          int32 = 0xf3fc (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x7fffffff (4 bytes)
  //          int32 = 0x1ff (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x7 (4 bytes)
  //          int32 = 0xd (4 bytes)
  //          int32 = 0x7f (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0xad (4 bytes)
  //        }
  //        absmin: array[int32] {
  //          int32 = 0xfebb (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0x80 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0x800 (4 bytes)
  //          int32 = 0xc805 (4 bytes)
  //          int32 = 0x1 (4 bytes)
  //          int32 = 0xfffffffc (4 bytes)
  //          int32 = 0xb0 (4 bytes)
  //          int32 = 0x7 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x63 (4 bytes)
  //          int32 = 0x7 (4 bytes)
  //          int32 = 0x1 (4 bytes)
  //          int32 = 0x7ffffffe (4 bytes)
  //          int32 = 0x1 (4 bytes)
  //          int32 = 0x7 (4 bytes)
  //          int32 = 0x7 (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x737e (4 bytes)
  //          int32 = 0x4000007 (4 bytes)
  //          int32 = 0x8000 (4 bytes)
  //          int32 = 0x1 (4 bytes)
  //          int32 = 0x1000 (4 bytes)
  //          int32 = 0x8001 (4 bytes)
  //          int32 = 0xb (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0x2 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x7 (4 bytes)
  //          int32 = 0x161c (4 bytes)
  //          int32 = 0xd (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x3ff (4 bytes)
  //          int32 = 0xb (4 bytes)
  //          int32 = 0x5a4 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0xa99 (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x8000 (4 bytes)
  //          int32 = 0x800 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x7 (4 bytes)
  //          int32 = 0x1 (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x10000 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0xfffffffb (4 bytes)
  //          int32 = 0xff (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0xa (4 bytes)
  //          int32 = 0x10 (4 bytes)
  //          int32 = 0x6df (4 bytes)
  //          int32 = 0xcbf (4 bytes)
  //          int32 = 0xe278 (4 bytes)
  //        }
  //        absfuzz: array[int32] {
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x25 (4 bytes)
  //          int32 = 0x2 (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x7fff (4 bytes)
  //          int32 = 0x17ee (4 bytes)
  //          int32 = 0x2 (4 bytes)
  //          int32 = 0x200 (4 bytes)
  //          int32 = 0xf1b00000 (4 bytes)
  //          int32 = 0x2d (4 bytes)
  //          int32 = 0x1 (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x2 (4 bytes)
  //          int32 = 0x983 (4 bytes)
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0x2 (4 bytes)
  //          int32 = 0x40 (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0xe (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x7ff (4 bytes)
  //          int32 = 0x92 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x33e (4 bytes)
  //          int32 = 0xae1b (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x1 (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0xffffffff (4 bytes)
  //          int32 = 0xc (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x1b87 (4 bytes)
  //          int32 = 0x1 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0xffff0001 (4 bytes)
  //          int32 = 0x7 (4 bytes)
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0x4000 (4 bytes)
  //          int32 = 0x1 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x8001 (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0xb (4 bytes)
  //          int32 = 0xcfa6 (4 bytes)
  //          int32 = 0x1000 (4 bytes)
  //          int32 = 0x10001 (4 bytes)
  //          int32 = 0x91d8 (4 bytes)
  //          int32 = 0xfffffff8 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0xc (4 bytes)
  //          int32 = 0x8000 (4 bytes)
  //          int32 = 0x45c (4 bytes)
  //          int32 = 0xf (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //        }
  //        absflat: array[int32] {
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x3e3ae9e1 (4 bytes)
  //          int32 = 0x7f (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x1 (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x8893 (4 bytes)
  //          int32 = 0x2 (4 bytes)
  //          int32 = 0x2ca (4 bytes)
  //          int32 = 0x200 (4 bytes)
  //          int32 = 0x52 (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0xffff (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0xc37 (4 bytes)
  //          int32 = 0x100000 (4 bytes)
  //          int32 = 0xff (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0x1000 (4 bytes)
  //          int32 = 0x2 (4 bytes)
  //          int32 = 0x160 (4 bytes)
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0xf (4 bytes)
  //          int32 = 0x2 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0x2 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0xd66 (4 bytes)
  //          int32 = 0x7 (4 bytes)
  //          int32 = 0x58f (4 bytes)
  //          int32 = 0x2 (4 bytes)
  //          int32 = 0x5 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x80000001 (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x80000001 (4 bytes)
  //          int32 = 0xffffffff (4 bytes)
  //          int32 = 0xfffff801 (4 bytes)
  //          int32 = 0x2 (4 bytes)
  //          int32 = 0x94d3 (4 bytes)
  //          int32 = 0x1 (4 bytes)
  //          int32 = 0xfe85 (4 bytes)
  //          int32 = 0x7 (4 bytes)
  //          int32 = 0x3 (4 bytes)
  //          int32 = 0x10001 (4 bytes)
  //          int32 = 0x80 (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //          int32 = 0x80000000 (4 bytes)
  //          int32 = 0x4 (4 bytes)
  //          int32 = 0xe (4 bytes)
  //          int32 = 0x6 (4 bytes)
  //          int32 = 0x8 (4 bytes)
  //          int32 = 0x10000 (4 bytes)
  //          int32 = 0x0 (4 bytes)
  //          int32 = 0x1 (4 bytes)
  //          int32 = 0x101 (4 bytes)
  //          int32 = 0x9 (4 bytes)
  //        }
  //      }
  //    }
  //    len: len = 0x45c (8 bytes)
  //  ]
  memcpy((void*)0x200000000440,
         "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*)0x200000000490 = 6;
  *(uint16_t*)0x200000000492 = 5;
  *(uint16_t*)0x200000000494 = 4;
  *(uint16_t*)0x200000000496 = 0x7ff;
  *(uint32_t*)0x200000000498 = 0x1a;
  *(uint32_t*)0x20000000049c = 0x10001;
  *(uint32_t*)0x2000000004a0 = 0;
  *(uint32_t*)0x2000000004a4 = 6;
  *(uint32_t*)0x2000000004a8 = 0xfffffff7;
  *(uint32_t*)0x2000000004ac = 0xfffffff7;
  *(uint32_t*)0x2000000004b0 = 0xfffffffc;
  *(uint32_t*)0x2000000004b4 = 9;
  *(uint32_t*)0x2000000004b8 = 0xc;
  *(uint32_t*)0x2000000004bc = 0xfff;
  *(uint32_t*)0x2000000004c0 = 6;
  *(uint32_t*)0x2000000004c4 = 0x10;
  *(uint32_t*)0x2000000004c8 = 0;
  *(uint32_t*)0x2000000004cc = 0x7fffffff;
  *(uint32_t*)0x2000000004d0 = 7;
  *(uint32_t*)0x2000000004d4 = 0x3ff;
  *(uint32_t*)0x2000000004d8 = 0xffffe682;
  *(uint32_t*)0x2000000004dc = 8;
  *(uint32_t*)0x2000000004e0 = 0x19a;
  *(uint32_t*)0x2000000004e4 = 3;
  *(uint32_t*)0x2000000004e8 = 3;
  *(uint32_t*)0x2000000004ec = 5;
  *(uint32_t*)0x2000000004f0 = 1;
  *(uint32_t*)0x2000000004f4 = 0x6be2;
  *(uint32_t*)0x2000000004f8 = 0x401;
  *(uint32_t*)0x2000000004fc = 0x80000000;
  *(uint32_t*)0x200000000500 = 2;
  *(uint32_t*)0x200000000504 = 5;
  *(uint32_t*)0x200000000508 = 3;
  *(uint32_t*)0x20000000050c = 0;
  *(uint32_t*)0x200000000510 = 0x3ff;
  *(uint32_t*)0x200000000514 = 0x80;
  *(uint32_t*)0x200000000518 = 0x1000;
  *(uint32_t*)0x20000000051c = 0x7f;
  *(uint32_t*)0x200000000520 = 5;
  *(uint32_t*)0x200000000524 = 0x98;
  *(uint32_t*)0x200000000528 = 9;
  *(uint32_t*)0x20000000052c = 4;
  *(uint32_t*)0x200000000530 = 0x846;
  *(uint32_t*)0x200000000534 = 7;
  *(uint32_t*)0x200000000538 = 0x71c;
  *(uint32_t*)0x20000000053c = 0x10000;
  *(uint32_t*)0x200000000540 = 0;
  *(uint32_t*)0x200000000544 = 3;
  *(uint32_t*)0x200000000548 = 4;
  *(uint32_t*)0x20000000054c = 2;
  *(uint32_t*)0x200000000550 = 9;
  *(uint32_t*)0x200000000554 = 5;
  *(uint32_t*)0x200000000558 = 8;
  *(uint32_t*)0x20000000055c = 3;
  *(uint32_t*)0x200000000560 = 1;
  *(uint32_t*)0x200000000564 = 0xc24b;
  *(uint32_t*)0x200000000568 = 0x5e;
  *(uint32_t*)0x20000000056c = 0x42b;
  *(uint32_t*)0x200000000570 = 0xf3fc;
  *(uint32_t*)0x200000000574 = 9;
  *(uint32_t*)0x200000000578 = 0x7fffffff;
  *(uint32_t*)0x20000000057c = 0x1ff;
  *(uint32_t*)0x200000000580 = 0;
  *(uint32_t*)0x200000000584 = 7;
  *(uint32_t*)0x200000000588 = 0xd;
  *(uint32_t*)0x20000000058c = 0x7f;
  *(uint32_t*)0x200000000590 = 4;
  *(uint32_t*)0x200000000594 = 3;
  *(uint32_t*)0x200000000598 = 0xad;
  *(uint32_t*)0x20000000059c = 0xfebb;
  *(uint32_t*)0x2000000005a0 = 4;
  *(uint32_t*)0x2000000005a4 = 4;
  *(uint32_t*)0x2000000005a8 = 8;
  *(uint32_t*)0x2000000005ac = 0x80;
  *(uint32_t*)0x2000000005b0 = 6;
  *(uint32_t*)0x2000000005b4 = 3;
  *(uint32_t*)0x2000000005b8 = 0x800;
  *(uint32_t*)0x2000000005bc = 0xc805;
  *(uint32_t*)0x2000000005c0 = 1;
  *(uint32_t*)0x2000000005c4 = 0xfffffffc;
  *(uint32_t*)0x2000000005c8 = 0xb0;
  *(uint32_t*)0x2000000005cc = 7;
  *(uint32_t*)0x2000000005d0 = 6;
  *(uint32_t*)0x2000000005d4 = 0x63;
  *(uint32_t*)0x2000000005d8 = 7;
  *(uint32_t*)0x2000000005dc = 1;
  *(uint32_t*)0x2000000005e0 = 0x7ffffffe;
  *(uint32_t*)0x2000000005e4 = 1;
  *(uint32_t*)0x2000000005e8 = 7;
  *(uint32_t*)0x2000000005ec = 7;
  *(uint32_t*)0x2000000005f0 = 9;
  *(uint32_t*)0x2000000005f4 = 0x737e;
  *(uint32_t*)0x2000000005f8 = 0x4000007;
  *(uint32_t*)0x2000000005fc = 0x8000;
  *(uint32_t*)0x200000000600 = 1;
  *(uint32_t*)0x200000000604 = 0x1000;
  *(uint32_t*)0x200000000608 = 0x8001;
  *(uint32_t*)0x20000000060c = 0xb;
  *(uint32_t*)0x200000000610 = 5;
  *(uint32_t*)0x200000000614 = 3;
  *(uint32_t*)0x200000000618 = 2;
  *(uint32_t*)0x20000000061c = 4;
  *(uint32_t*)0x200000000620 = 0;
  *(uint32_t*)0x200000000624 = 4;
  *(uint32_t*)0x200000000628 = 7;
  *(uint32_t*)0x20000000062c = 0x161c;
  *(uint32_t*)0x200000000630 = 0xd;
  *(uint32_t*)0x200000000634 = 9;
  *(uint32_t*)0x200000000638 = 0x3ff;
  *(uint32_t*)0x20000000063c = 0xb;
  *(uint32_t*)0x200000000640 = 0x5a4;
  *(uint32_t*)0x200000000644 = 0;
  *(uint32_t*)0x200000000648 = 0xa99;
  *(uint32_t*)0x20000000064c = 5;
  *(uint32_t*)0x200000000650 = 6;
  *(uint32_t*)0x200000000654 = 6;
  *(uint32_t*)0x200000000658 = 0x8000;
  *(uint32_t*)0x20000000065c = 0x800;
  *(uint32_t*)0x200000000660 = 4;
  *(uint32_t*)0x200000000664 = 7;
  *(uint32_t*)0x200000000668 = 1;
  *(uint32_t*)0x20000000066c = 3;
  *(uint32_t*)0x200000000670 = 4;
  *(uint32_t*)0x200000000674 = 0x10000;
  *(uint32_t*)0x200000000678 = 4;
  *(uint32_t*)0x20000000067c = 0xfffffffb;
  *(uint32_t*)0x200000000680 = 0xff;
  *(uint32_t*)0x200000000684 = 4;
  *(uint32_t*)0x200000000688 = 0xa;
  *(uint32_t*)0x20000000068c = 0x10;
  *(uint32_t*)0x200000000690 = 0x6df;
  *(uint32_t*)0x200000000694 = 0xcbf;
  *(uint32_t*)0x200000000698 = 0xe278;
  *(uint32_t*)0x20000000069c = 6;
  *(uint32_t*)0x2000000006a0 = 5;
  *(uint32_t*)0x2000000006a4 = 5;
  *(uint32_t*)0x2000000006a8 = 0;
  *(uint32_t*)0x2000000006ac = 0x25;
  *(uint32_t*)0x2000000006b0 = 2;
  *(uint32_t*)0x2000000006b4 = 5;
  *(uint32_t*)0x2000000006b8 = 8;
  *(uint32_t*)0x2000000006bc = 6;
  *(uint32_t*)0x2000000006c0 = 0x7fff;
  *(uint32_t*)0x2000000006c4 = 0x17ee;
  *(uint32_t*)0x2000000006c8 = 2;
  *(uint32_t*)0x2000000006cc = 0x200;
  *(uint32_t*)0x2000000006d0 = 0xf1b00000;
  *(uint32_t*)0x2000000006d4 = 0x2d;
  *(uint32_t*)0x2000000006d8 = 1;
  *(uint32_t*)0x2000000006dc = 9;
  *(uint32_t*)0x2000000006e0 = 2;
  *(uint32_t*)0x2000000006e4 = 0x983;
  *(uint32_t*)0x2000000006e8 = 8;
  *(uint32_t*)0x2000000006ec = 2;
  *(uint32_t*)0x2000000006f0 = 0x40;
  *(uint32_t*)0x2000000006f4 = 3;
  *(uint32_t*)0x2000000006f8 = 4;
  *(uint32_t*)0x2000000006fc = 0xe;
  *(uint32_t*)0x200000000700 = 3;
  *(uint32_t*)0x200000000704 = 4;
  *(uint32_t*)0x200000000708 = 6;
  *(uint32_t*)0x20000000070c = 9;
  *(uint32_t*)0x200000000710 = 0x7ff;
  *(uint32_t*)0x200000000714 = 0x92;
  *(uint32_t*)0x200000000718 = 4;
  *(uint32_t*)0x20000000071c = 0x33e;
  *(uint32_t*)0x200000000720 = 0xae1b;
  *(uint32_t*)0x200000000724 = 4;
  *(uint32_t*)0x200000000728 = 5;
  *(uint32_t*)0x20000000072c = 1;
  *(uint32_t*)0x200000000730 = 3;
  *(uint32_t*)0x200000000734 = -1;
  *(uint32_t*)0x200000000738 = 0xc;
  *(uint32_t*)0x20000000073c = 0;
  *(uint32_t*)0x200000000740 = 0x1b87;
  *(uint32_t*)0x200000000744 = 1;
  *(uint32_t*)0x200000000748 = 4;
  *(uint32_t*)0x20000000074c = 0xffff0001;
  *(uint32_t*)0x200000000750 = 7;
  *(uint32_t*)0x200000000754 = 8;
  *(uint32_t*)0x200000000758 = 0x4000;
  *(uint32_t*)0x20000000075c = 1;
  *(uint32_t*)0x200000000760 = 6;
  *(uint32_t*)0x200000000764 = 0x8001;
  *(uint32_t*)0x200000000768 = 3;
  *(uint32_t*)0x20000000076c = 0xb;
  *(uint32_t*)0x200000000770 = 0xcfa6;
  *(uint32_t*)0x200000000774 = 0x1000;
  *(uint32_t*)0x200000000778 = 0x10001;
  *(uint32_t*)0x20000000077c = 0x91d8;
  *(uint32_t*)0x200000000780 = 0xfffffff8;
  *(uint32_t*)0x200000000784 = 6;
  *(uint32_t*)0x200000000788 = 0xc;
  *(uint32_t*)0x20000000078c = 0x8000;
  *(uint32_t*)0x200000000790 = 0x45c;
  *(uint32_t*)0x200000000794 = 0xf;
  *(uint32_t*)0x200000000798 = 6;
  *(uint32_t*)0x20000000079c = 6;
  *(uint32_t*)0x2000000007a0 = 4;
  *(uint32_t*)0x2000000007a4 = 0x3e3ae9e1;
  *(uint32_t*)0x2000000007a8 = 0x7f;
  *(uint32_t*)0x2000000007ac = 3;
  *(uint32_t*)0x2000000007b0 = 6;
  *(uint32_t*)0x2000000007b4 = 1;
  *(uint32_t*)0x2000000007b8 = 9;
  *(uint32_t*)0x2000000007bc = 0x8893;
  *(uint32_t*)0x2000000007c0 = 2;
  *(uint32_t*)0x2000000007c4 = 0x2ca;
  *(uint32_t*)0x2000000007c8 = 0x200;
  *(uint32_t*)0x2000000007cc = 0x52;
  *(uint32_t*)0x2000000007d0 = 9;
  *(uint32_t*)0x2000000007d4 = 0;
  *(uint32_t*)0x2000000007d8 = 0xffff;
  *(uint32_t*)0x2000000007dc = 5;
  *(uint32_t*)0x2000000007e0 = 0xc37;
  *(uint32_t*)0x2000000007e4 = 0x100000;
  *(uint32_t*)0x2000000007e8 = 0xff;
  *(uint32_t*)0x2000000007ec = 3;
  *(uint32_t*)0x2000000007f0 = 0x1000;
  *(uint32_t*)0x2000000007f4 = 2;
  *(uint32_t*)0x2000000007f8 = 0x160;
  *(uint32_t*)0x2000000007fc = 8;
  *(uint32_t*)0x200000000800 = 0;
  *(uint32_t*)0x200000000804 = 4;
  *(uint32_t*)0x200000000808 = 0xf;
  *(uint32_t*)0x20000000080c = 2;
  *(uint32_t*)0x200000000810 = 4;
  *(uint32_t*)0x200000000814 = 2;
  *(uint32_t*)0x200000000818 = 0;
  *(uint32_t*)0x20000000081c = 8;
  *(uint32_t*)0x200000000820 = 5;
  *(uint32_t*)0x200000000824 = 0xd66;
  *(uint32_t*)0x200000000828 = 7;
  *(uint32_t*)0x20000000082c = 0x58f;
  *(uint32_t*)0x200000000830 = 2;
  *(uint32_t*)0x200000000834 = 5;
  *(uint32_t*)0x200000000838 = 0;
  *(uint32_t*)0x20000000083c = 0x80000001;
  *(uint32_t*)0x200000000840 = 9;
  *(uint32_t*)0x200000000844 = 0x80000001;
  *(uint32_t*)0x200000000848 = -1;
  *(uint32_t*)0x20000000084c = 0xfffff801;
  *(uint32_t*)0x200000000850 = 2;
  *(uint32_t*)0x200000000854 = 0x94d3;
  *(uint32_t*)0x200000000858 = 1;
  *(uint32_t*)0x20000000085c = 0xfe85;
  *(uint32_t*)0x200000000860 = 7;
  *(uint32_t*)0x200000000864 = 3;
  *(uint32_t*)0x200000000868 = 0x10001;
  *(uint32_t*)0x20000000086c = 0x80;
  *(uint32_t*)0x200000000870 = 9;
  *(uint32_t*)0x200000000874 = 0x80000000;
  *(uint32_t*)0x200000000878 = 4;
  *(uint32_t*)0x20000000087c = 0xe;
  *(uint32_t*)0x200000000880 = 6;
  *(uint32_t*)0x200000000884 = 8;
  *(uint32_t*)0x200000000888 = 0x10000;
  *(uint32_t*)0x20000000088c = 0;
  *(uint32_t*)0x200000000890 = 1;
  *(uint32_t*)0x200000000894 = 0x101;
  *(uint32_t*)0x200000000898 = 9;
  syscall(__NR_write, /*fd=*/r[1], /*data=*/0x200000000440ul, /*len=*/0x45cul);
  return 0;
}