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

#define _GNU_SOURCE

#include <endian.h>
#include <errno.h>
#include <fcntl.h>
#include <setjmp.h>
#include <signal.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;

static __thread int clone_ongoing;
static __thread int skip_segv;
static __thread jmp_buf segv_env;

static void segv_handler(int sig, siginfo_t* info, void* ctx)
{
  if (__atomic_load_n(&clone_ongoing, __ATOMIC_RELAXED) != 0) {
    exit(sig);
  }
  uintptr_t addr = (uintptr_t)info->si_addr;
  const uintptr_t prog_start = 1 << 20;
  const uintptr_t prog_end = 100 << 20;
  int skip = __atomic_load_n(&skip_segv, __ATOMIC_RELAXED) != 0;
  int valid = addr < prog_start || addr > prog_end;
  if (skip && valid) {
    _longjmp(segv_env, 1);
  }
  exit(sig);
}

static void install_segv_handler(void)
{
  struct sigaction sa;
  memset(&sa, 0, sizeof(sa));
  sa.sa_handler = SIG_IGN;
  syscall(SYS_rt_sigaction, 0x20, &sa, NULL, 8);
  syscall(SYS_rt_sigaction, 0x21, &sa, NULL, 8);
  memset(&sa, 0, sizeof(sa));
  sa.sa_sigaction = segv_handler;
  sa.sa_flags = SA_NODEFER | SA_SIGINFO;
  sigaction(SIGSEGV, &sa, NULL);
  sigaction(SIGBUS, &sa, NULL);
}

#define NONFAILING(...)                                                        \
  ({                                                                           \
    int ok = 1;                                                                \
    __atomic_fetch_add(&skip_segv, 1, __ATOMIC_SEQ_CST);                       \
    if (_setjmp(segv_env) == 0) {                                              \
      __VA_ARGS__;                                                             \
    } else                                                                     \
      ok = 0;                                                                  \
    __atomic_fetch_sub(&skip_segv, 1, __ATOMIC_SEQ_CST);                       \
    ok;                                                                        \
  })

//% 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[1] = {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;
  install_segv_handler();
  intptr_t res = 0;
  if (write(1, "executing program\n", sizeof("executing program\n") - 1)) {
  }
  //  syz_mount_image$udf arguments: [
  //    fs: ptr[in, buffer] {
  //      buffer: {75 64 66 00} (length 0x4)
  //    }
  //    dir: ptr[in, buffer] {
  //      buffer: {2e 2f 66 69 6c 65 30 00} (length 0x8)
  //    }
  //    flags: mount_flags = 0x0 (8 bytes)
  //    opts: ptr[inout, array[ANYUNION]] {
  //      array[ANYUNION] {
  //        union ANYUNION {
  //          ANYBLOB: buffer: {6e 6f 61 64 69 6e 69 63 62 2c 6e 6f 73 74 72 69
  //          63 74 2c 6d 6f 64 65 3d 30 30 30 30 30 30 30 30 30 30 30 30 30 30
  //          30 30 30 30 30 30 30 30 34 2c 75 69 64 3d 66 6f 72 67 65 74 2c 6e
  //          6f 61 64 69 6e 69 63 62 2c 75 6d 61 73 6b 3d 30 30 30 30 30 30 30
  //          30 30 30 30 30 30 30 30 34 30 30 30 32 30 30 30 2c 6c 61 73 74 62
  //          6c 6f 63 6b 3d 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30
  //          30 31 33 2c 75 6e 64 65 6c 65 74 65 2c 70 61 72 74 69 74 69 6f 6e
  //          3d 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 35 2c
  //          00} (length 0xab)
  //        }
  //      }
  //    }
  //    chdir: int8 = 0x43 (1 bytes)
  //    size: len = 0xc11 (8 bytes)
  //    img: ptr[in, buffer] {
  //      buffer: (compressed buffer with length 0xc11)
  //    }
  //  ]
  //  returns fd_dir
  NONFAILING(memcpy((void*)0x200000000c40, "udf\000", 4));
  NONFAILING(memcpy((void*)0x2000000000c0, "./file0\000", 8));
  NONFAILING(memcpy(
      (void*)0x200000000100,
      "noadinicb,nostrict,mode=00000000000000000000004,uid=forget,noadinicb,"
      "umask=00000000000000040002000,lastblock=00000000000000000013,undelete,"
      "partition=00000000000000000005,\000",
      171));
  NONFAILING(memcpy(
      (void*)0x200000000d00,
      "\x78\x9c\xec\xdd\x5d\x68\x5c\xe9\x79\x07\xf0\xe7\x9d\x23\xad\x46\xda\x34"
      "\xd1\x66\x13\x6f\xd2\x66\xd3\x81\x94\xc4\x28\xb5\xf1\x57\x6c\x05\x97\x20"
      "\x67\x15\xb5\x01\xc7\x1b\x22\x2b\x74\xaf\xa2\xd1\x87\x9d\x61\xe5\x91\x91"
      "\xe4\xc6\x9b\xb6\x41\x6d\x49\x0b\xbd\x09\xdd\x9b\xd2\x9b\x22\x9a\x2e\x2d"
      "\xe4\xa2\x57\xdd\x5e\x56\x69\xb6\x90\x50\x0a\x25\xe4\x22\xbd\x28\x08\x9a"
      "\x2c\x7b\xd1\x0b\x5d\x04\x0a\x2d\x1b\x85\x73\xe6\x1d\x69\x64\xcb\xb6\xb2"
      "\x5e\x5b\xd2\xee\xef\xb7\xcc\xfe\xcf\x9c\x79\xce\xf8\xfd\x18\x9f\x39\x02"
      "\xbf\x3a\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\x44\x7c"
      "\xf6\x73\x97\x4e\x9d\x4e\x07\xdd\x0a\x00\xe0\x71\xba\x32\xf9\xa5\x53\x67"
      "\x7d\xff\x03\xc0\xbb\xca\x55\x3f\xff\x03\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\xc0\x61\x97\xa2\x88\x63\x91\x62\xe8\xd5\xcd\x34\x5d\x3d\xef\xa8"
      "\x5f\x6e\xb5\x6f\xdd\x9e\x1a\x9f\xd8\xfb\xb0\xc1\x14\x29\x6a\x51\x54\xf5"
      "\xe5\xa3\x7e\xfa\xcc\xd9\x73\x9f\x3a\x7f\x61\xb4\x9b\xf7\x3f\xfe\xed\xf6"
      "\xe1\x78\x7e\xf2\xea\xa5\xc6\x73\x8b\x37\x6e\x2e\xcd\x2f\x2f\xcf\xcf\x35"
      "\xa6\xda\xad\xd9\xc5\xb9\xf9\x7d\xbf\xc3\xc3\x1e\x7f\xa7\x91\x6a\x00\x1a"
      "\x37\x5e\xbc\x35\x77\xed\xda\x72\xe3\xcc\xc9\xb3\xbb\x5e\xbe\x3d\xfc\xfa"
      "\xc0\x93\xc7\x86\x2f\x5e\x38\x71\x7e\xb4\x5b\x3b\x35\x3e\x31\x31\xd9\x53"
      "\xd3\xd7\xff\x96\xff\xf4\xbb\xdc\x6b\x85\xc7\x13\x51\x44\x33\x52\xbc\x39"
      "\xfc\x46\x6a\x46\x44\x2d\x1e\x7e\x2c\x1e\xf0\xd9\x79\xd4\x06\xab\x4e\x8c"
      "\x54\x9d\x98\x1a\x9f\xa8\x3a\xb2\xd0\x6a\xb6\x57\xca\x17\x53\x2d\x57\xd5"
      "\x22\x1a\x3d\x07\x8d\x75\xc7\xe8\x31\xcc\xc5\x43\x19\x8b\x58\x2d\x9b\x5f"
      "\x36\x78\xa4\xec\xde\xe4\xcd\xe6\x52\x73\x66\x61\xbe\xf1\xc5\xe6\xd2\x4a"
      "\x6b\xa5\xb5\xd8\x4e\xb5\x4e\x6b\xcb\xfe\x34\xa2\x16\xa3\x29\x62\x2d\x22"
      "\x36\x06\xee\x7e\xbb\xfe\x28\xe2\xa3\x91\xe2\xe5\x53\x9b\x69\x26\x22\x8a"
      "\xee\x38\x7c\xb2\x5a\x18\xfc\xe0\xf6\xd4\x1e\x41\x1f\xf7\xa1\x6c\x67\xa3"
      "\x3f\x62\xad\x76\x04\xe6\xec\x10\x1b\x88\x22\xae\x44\x8a\x9f\xbd\x76\x3c"
      "\x66\xcb\x31\xcb\x8f\xf8\x78\xc4\x17\xca\x7c\x35\xe2\x95\x32\x3f\x13\x91"
      "\xca\x0f\xc6\xb9\x88\x9f\xee\xf1\x39\xe2\x68\xea\x8b\x22\xfe\x3d\x52\x2c"
      "\xa6\xcd\x34\x57\x9d\x0f\xba\xe7\x95\xcb\x5f\x6e\x7c\xbe\x7d\x6d\xb1\xa7"
      "\xb6\x7b\x5e\x39\xf2\xdf\x0f\x8f\xd3\x21\x3f\x37\xd5\xa3\x88\x99\xea\x8c"
      "\xbf\x99\xde\xfa\xc5\x0e\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x6f\xb7\xc1\x28\xe2\xdb\x91\xe2\x4f\x9e\xfd\xbd\x6a\x5d\x71\x54\xeb"
      "\xd2\xdf\x77\x71\xf4\x3d\x2f\xfc\x76\xef\x9a\xf1\x67\x1e\xf0\x3e\x65\xed"
      "\xc9\x88\x58\xad\xed\x6f\x4d\x6e\x7f\x5e\x3a\x9c\x6a\xe5\x7f\x8f\xa0\x63"
      "\xec\x4b\x3d\x8a\xf8\x46\x5e\xff\xf7\x47\x07\xdd\x18\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x77\xb5\x22\x5e\x88\x14\x5f\x39"
      "\x71\x3c\xad\x45\xef\x3d\xc5\x5b\xed\xeb\x8d\xab\xcd\x99\x85\xce\x5d\x61"
      "\xbb\xf7\xfe\xed\xde\x33\x7d\x6b\x6b\x6b\xab\x91\x3a\x39\x96\x73\x3a\xe7"
      "\x6a\xce\xb5\x9c\xeb\x39\x37\x72\x46\x2d\x1f\x9f\x73\x2c\xe7\x74\xce\xd5"
      "\x9c\x6b\x39\xd7\x73\x6e\xe4\x8c\x22\x1f\x9f\x73\x2c\xe7\x74\xce\xd5\x9c"
      "\x6b\x39\xd7\x73\x6e\xe4\x8c\xbe\x7c\x7c\xce\xb1\x9c\xd3\x39\x57\x73\xae"
      "\xe5\x5c\xcf\xb9\x91\x33\x0e\xc9\xbd\x7b\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\xde\x49\x6a\x51\xc4\xcf\x23\xc5\xb7\xbe\xb6\x99\x22\x45\xc4"
      "\x58\xc4\x74\x74\x72\x7d\xe0\xa0\x5b\x07\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x94\xea\xa9\x88\x93\x91\x62"
      "\xfd\x85\x7a\xf5\x7c\xad\x16\x71\x35\x22\x7e\xbe\xb5\xb5\xd5\x7d\x44\xc4"
      "\x66\x99\x0f\xeb\xa0\xfb\x0a\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x87\x56\x2a\xe2\x63\x91\xe2\xe9\xff\xdb\x4c\x8d\x88\xb8"
      "\x3d\xfc\xfa\xc0\x93\xc7\x86\x2f\x5e\x38\x71\x7e\xb4\x88\x22\x52\x59\xd2"
      "\x5b\xff\xfc\xe4\xd5\x4b\x8d\xe7\x16\x6f\xdc\x5c\x9a\x5f\x5e\x9e\x9f\x6b"
      "\x4c\xb5\x5b\xb3\x8b\x73\xf3\xfb\xfd\xe3\xea\x97\x5b\xed\x5b\xb7\xa7\xc6"
      "\x27\x1e\x49\x67\x1e\x68\xf0\x11\xb7\x7f\xb0\xfe\xdc\xe2\xcd\x97\x96\x5a"
      "\xd7\xbf\xba\xb2\xe7\xeb\x43\xf5\x4b\x33\xcb\x2b\x4b\xcd\xd9\xbd\x5f\x8e"
      "\xc1\xa8\x45\x4c\xf7\xee\x19\xa9\x1a\x3c\x35\x3e\x51\x35\x7a\xa1\xd5\x6c"
      "\x57\x87\xa6\xda\x3d\x1a\x58\x8b\x18\xdb\x6f\x67\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x38\x34\x86\x52\x11\x9f\x8b\x14\x3f"
      "\xf9\xaf\x73\xa9\xbb\x6e\xbc\xaf\xb3\xe6\xff\x57\x3a\xcf\x8a\xed\xda\x57"
      "\xfe\x60\xe7\x77\x01\x2c\xdc\x91\x5d\xbd\xbf\x3f\x60\x3f\xdb\x69\xbf\x0d"
      "\x1d\xa9\x16\xde\x37\xa6\xc6\x27\x26\x26\x7b\x76\xf7\xf5\xdf\x5d\x5a\xb6"
      "\x29\xa5\x22\x9e\x89\x14\x9f\x78\xf9\x43\xd5\x7a\xf8\x14\x43\x7b\xae\x8d"
      "\x2f\xeb\xde\x5b\xd6\xdd\x38\x97\xeb\x86\x7f\xad\xac\x5b\xdd\x55\x55\x1f"
      "\x99\x1a\x9f\x68\x5c\x59\x6c\x9f\xb8\xb4\xb0\xb0\x38\xdb\x5c\x69\xce\x2c"
      "\xcc\x37\x26\x6f\x36\x67\xf7\xfd\x8b\x03\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\xe0\x3e\x86\x52\x11\x3f\x8a\x14\xff\xf3\xf7"
      "\xff\x91\xba\xf7\x9d\xcf\xeb\xff\xfb\x3a\xcf\x7a\xd6\xff\xff\x56\xb5\x84"
      "\xbe\x52\x4f\xbb\x73\x5b\xb5\xb6\xff\xbd\xd5\xda\xfe\xce\xf6\xfb\x2e\x8e"
      "\x0e\x7d\xf4\xd9\x7b\xed\x7f\x14\xeb\xff\xcb\x36\xa5\x54\xc4\x37\x23\xc5"
      "\xd9\x1f\x7d\xa8\xba\x9f\x7e\x77\xfd\xff\xf4\x1d\xb5\x65\xdd\x9f\x45\x8a"
      "\x37\x9e\xfd\x48\xae\xab\x3d\x51\xd6\x35\xbb\xdd\xe9\xbc\xe3\xb5\xd6\xc2"
      "\xfc\xa9\xb2\xf6\xaf\x23\xc5\xaf\xbf\xd9\xad\x8d\xaa\xf6\x7a\xae\x7d\x7a"
      "\xa7\xf6\x74\x59\x3b\x18\x29\xfe\x72\x73\x77\xed\x57\x73\xed\x07\x76\x6a"
      "\xcf\x94\xb5\xc7\x23\xc5\xf7\xfe\x7b\xef\xda\x0f\xee\xd4\x9e\x2d\x6b\x7f"
      "\x12\x29\xfe\xe9\xef\x1a\xdd\xda\xa1\xb2\xf6\xf7\x73\xed\xb1\x9d\xda\x93"
      "\xb3\x8b\x0b\x73\x0f\x1a\xd6\x72\xfe\xbf\x13\x29\xfe\xf6\xca\xef\xa4\x6e"
      "\x9f\xef\x39\xff\x3d\xbf\xff\x61\xf5\x8e\xdc\x76\xd7\x9c\xdf\x7f\xfb\xed"
      "\x9a\xff\xe1\x9e\x7d\xab\x79\x5e\xff\x34\xcf\x7f\xf3\x01\xf3\x7f\x3e\x52"
      "\x7c\xa7\xfe\x91\x5c\xd7\x19\xfb\x99\xfc\xfa\x53\xd5\xff\x77\xe6\xff\x13"
      "\x91\xe2\x3f\xff\x6d\x77\xed\xb5\x5c\xfb\xfe\x9d\xda\xd3\xfb\xed\xd6\x41"
      "\x2b\xe7\xff\xdb\x91\xe2\xbb\x7f\xf5\xe3\xed\x3e\xe7\xf9\xcf\x23\xbb\x33"
      "\x43\xbd\xf3\xff\xab\x7d\xbb\x73\xfb\x53\x72\x40\xf3\xff\x54\xcf\xbe\xe1"
      "\xdc\xae\xd9\x5f\x72\x2c\xde\x8d\x96\x5f\xfa\xfa\x8b\xcd\x85\x85\xf9\x25"
      "\x1b\x36\x6c\xd8\xd8\xde\x38\xe8\x33\x13\x8f\x43\xf9\xfd\xff\xe7\x91\xe2"
      "\xff\x8f\x15\xa9\x7b\x1d\x93\xbf\xff\xdf\xd3\x79\xb6\x73\xfd\xf7\xbf\xdf"
      "\xd8\xf9\xfe\xbf\x78\x47\x6e\x3b\xa0\xef\xff\xf7\xf7\xec\xbb\x98\xaf\x5a"
      "\xfa\xfb\x22\xea\x2b\x37\x6e\xf6\x3f\x13\x51\x5f\x7e\xe9\xeb\x27\x5a\x37"
      "\x9a\xd7\xe7\xaf\xcf\xb7\xcf\x9c\x3e\xf5\xe9\x4f\x9f\x3f\x7d\xea\xf4\xf9"
      "\xfe\x27\xba\x17\x77\x3b\x5b\xfb\x1e\xbb\x77\x82\x72\xfe\x7f\x10\x29\x7e"
      "\xf8\x0f\x3f\xdc\xfe\x39\x66\xf7\xf5\xdf\xde\xd7\xff\x43\x77\xe4\xb6\x03"
      "\x9a\xff\xa7\x7b\xfb\xb4\xeb\xba\x66\xdf\x43\xf1\xae\x54\xce\xff\xdf\x44"
      "\x8a\xa7\x3e\xfb\xe3\xed\x9f\x37\xef\x77\xfd\xdf\xfd\xf9\xff\xf8\xc7\x76"
      "\xe7\xf6\xdf\xbf\x03\x9a\xff\x0f\xf4\xec\x1b\xce\xed\x6a\xfd\x92\x63\x01"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x70\x94\x0c\xa5\x22\xfe\x22\x52\xfc\xee"
      "\x1f\xff\x66\xea\xae\x21\xda\xcf\xbf\xff\x9b\xbb\x23\xb7\x1d\xd0\xbf\xff"
      "\x3a\xd6\xb3\x6f\xee\x31\xad\x6b\xd8\xf7\x20\x03\x00\x1c\x22\xe5\xf5\xdf"
      "\x07\x23\xc5\x3f\x6f\x7d\x7f\x7b\x2d\xf7\xee\xeb\xbf\xf8\x8d\x6e\x6d\xef"
      "\xf5\xdf\xbd\x1c\x86\xfb\xff\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\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\x51\x97\xa2\x88\x3f\x8c\x14\x43\xaf\x6e\xa6"
      "\xf5\x81\xf2\x79\x47\xfd\x72\xab\x7d\xeb\xf6\xd4\xf8\xc4\xde\x87\x0d\xa6"
      "\x48\x51\x8b\xa2\xaa\x2f\x1f\xf5\xd3\x67\xce\x9e\xfb\xd4\xf9\x0b\xa3\xdd"
      "\xbc\xff\xf1\x6f\xb7\x0f\xc7\xf3\x93\x57\x2f\x35\x9e\x5b\xbc\x71\x73\x69"
      "\x7e\x79\x79\x7e\xae\x31\xd5\x6e\xcd\x2e\xce\xcd\xef\xfb\x1d\x1e\xf6\xf8"
      "\x3b\x8d\x54\x03\xd0\xb8\xf1\xe2\xad\xb9\x6b\xd7\x96\x1b\x67\x4e\x9e\xdd"
      "\xf5\xf2\xed\xe1\xd7\x07\x9e\x3c\x36\x7c\xf1\xc2\x89\xf3\xa3\xdd\xda\xa9"
      "\xf1\x89\x89\xc9\x9e\x9a\xbe\xfe\xb7\xfc\xa7\xdf\x25\xdd\x63\xff\x13\x51"
      "\xc4\xf7\x23\xc5\x9b\xc3\x6f\xa4\xef\x0e\x44\xd4\xe2\xe1\xc7\xe2\x01\x9f"
      "\x9d\x47\x6d\xb0\xea\xc4\x48\xd5\x89\xa9\xf1\x89\xaa\x23\x0b\xad\x66\x7b"
      "\xa5\x7c\x31\xd5\x72\x55\x2d\xa2\xd1\x73\xd0\x58\x77\x8c\x1e\xc3\x5c\x3c"
      "\x94\xb1\x88\xd5\xb2\xf9\x65\x83\x47\xca\xee\x4d\xde\x6c\x2e\x35\x67\x16"
      "\xe6\x1b\x5f\x6c\x2e\xad\xb4\x56\x5a\x8b\xed\x54\xeb\xb4\xb6\xec\x4f\x23"
      "\x6a\x31\x9a\x22\xd6\x22\x62\x63\xe0\xee\xb7\xeb\x8f\x22\xbe\x19\x29\x5e"
      "\x3e\xb5\x99\xfe\x65\x20\xa2\xe8\x8e\xc3\x27\xaf\x4c\x7e\xe9\xd4\xd9\x07"
      "\xb7\xa7\xf6\x08\xfa\xb8\x0f\x65\x3b\x1b\xfd\x11\x6b\xb5\x23\x30\x67\x87"
      "\xd8\x40\x14\xf1\x8f\x91\xe2\x67\xaf\x1d\x8f\xef\x0d\x44\xf4\x45\xe7\x11"
      "\x1f\x8f\xf8\x42\x99\xaf\x46\xbc\x52\xe6\x67\x22\x52\xf9\xc1\x38\x17\xf1"
      "\xd3\x3d\x3e\x47\x1c\x4d\x7d\x51\xc4\xb9\x48\xb1\x98\x36\xd3\x6b\x03\xe5"
      "\xf9\xa0\x7b\x5e\xb9\xfc\xe5\xc6\xe7\xdb\xd7\x16\x7b\x6a\xbb\xe7\x95\x23"
      "\xff\xfd\xf0\x38\x1d\xf2\x73\x53\x3d\x8a\xf8\x41\x75\xc6\xdf\x4c\xff\xea"
      "\xef\x35\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xc0\x21\x52\xc4"
      "\x5a\xa4\xf8\xca\x89\xe3\xa9\x5a\x1f\xbc\xbd\xa6\xb8\xd5\xbe\xde\xb8\xda"
      "\x9c\x59\xe8\x2c\xeb\xeb\xae\xfd\xeb\xae\x99\xde\xda\xda\xda\x6a\xa4\x4e"
      "\x8e\xe5\x9c\xce\xb9\x9a\x73\x2d\xe7\x7a\xce\x8d\x9c\x51\xcb\xc7\xe7\x1c"
      "\xcb\x39\x9d\x73\x35\xe7\x5a\xce\xf5\x9c\x1b\x39\xa3\xc8\xc7\xe7\x1c\xcb"
      "\x39\x9d\x73\x35\xe7\x5a\xce\xf5\x9c\x1b\x39\xa3\x2f\x1f\x9f\x73\x2c\xe7"
      "\x74\xce\xd5\x9c\x6b\x39\xd7\x73\x6e\xe4\x8c\x43\xb2\x76\x0f\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x78\x67\xa9\x45\x51\xdd\xc5"
      "\xfd\x5b\x5f\xdb\x4c\x5b\x03\x9d\xfb\x4b\x4f\x47\x27\xd7\xdd\x0f\xf4\x1d"
      "\xef\x17\x01\x00\x00\xff\xff\x49\x02\x74\xf7",
      3089));
  NONFAILING(syz_mount_image(/*fs=*/0x200000000c40, /*dir=*/0x2000000000c0,
                             /*flags=*/0, /*opts=*/0x200000000100,
                             /*chdir=*/0x43, /*size=*/0xc11,
                             /*img=*/0x200000000d00));
  //  openat$cgroup_ro arguments: [
  //    fd: fd_cgroup (resource)
  //    file: ptr[in, buffer] {
  //      buffer: {63 70 75 73 65 74 2e 65 66 66 65 63 74 69 76 65 5f 6d 65 6d
  //      73 00} (length 0x16)
  //    }
  //    flags: const = 0x275a (4 bytes)
  //    mode: const = 0x0 (2 bytes)
  //  ]
  //  returns fd
  NONFAILING(memcpy((void*)0x200000000240, "cpuset.effective_mems\000", 22));
  res = syscall(__NR_openat, /*fd=*/0xffffff9c, /*file=*/0x200000000240ul,
                /*flags=*/0x275a, /*mode=*/0);
  if (res != -1)
    r[0] = res;
  //  mmap arguments: [
  //    addr: VMA[0xb36000]
  //    len: len = 0xb36000 (8 bytes)
  //    prot: mmap_prot = 0x2 (8 bytes)
  //    flags: mmap_flags = 0x28011 (8 bytes)
  //    fd: fd (resource)
  //    offset: intptr = 0x0 (8 bytes)
  //  ]
  syscall(__NR_mmap, /*addr=*/0x200000000000ul, /*len=*/0xb36000ul,
          /*prot=PROT_WRITE*/ 2ul,
          /*flags=MAP_STACK|MAP_POPULATE|MAP_FIXED|MAP_SHARED*/ 0x28011ul,
          /*fd=*/r[0], /*offset=*/0ul);
  //  write$UHID_INPUT arguments: [
  //    fd: fd_uhid (resource)
  //    data: ptr[in, uhid_req[UHID_INPUT, uhid_input_req]] {
  //      uhid_req[UHID_INPUT, uhid_input_req] {
  //        type: const = 0x8 (4 bytes)
  //        data: uhid_input_req {
  //          data: buffer: {81 11 34 51 60 bb 19 77 1b 0a f9 2c 0b 93 4f 9e 1a
  //          8a c2 af b5 14 63 27 45 57 ef ea 18 c2 31 e8 a1 ee af e6 4a d9 39
  //          ec 86 bc 20 1d a5 6b b0 bf 6b 7a 78 74 88 c4 e5 df 6a 81 63 09 f2
  //          4e 00 d2 60 ab 7a f3 7a 62 a4 75 4a 45 fb 4d 45 74 c6 73 13 67 66
  //          25 a7 18 9f 41 77 e7 62 10 14 fa 14 0b 05 0e de 11 83 ef 85 10 de
  //          28 68 d9 be 41 e5 3b 81 7d 1f 25 16 4a 48 b5 a1 af b3 05 90 c4 62
  //          76 1f 24 f2 83 53 18 3c 34 78 53 fa bd e8 2e af f4 46 7a 7a 75 e2
  //          d6 be aa a2 ae 81 ee c8 f7 a6 58 80 01 60 cd 45 c8 1c d1 f1 8b d3
  //          ea bd 07 89 15 45 fd 40 79 7c 73 f2 e6 27 3f e3 16 9c b3 81 a5 43
  //          f1 f3 ad bb ad 62 34 5c 11 24 0f 36 cc 17 da e3 39 18 8f 27 69 51
  //          45 54 c7 ce 8d f1 a6 9f e3 27 9d 5b 3d 3a c2 eb aa f5 d2 f5 fa d3
  //          eb 0d cd 51 b3 cf 67 16 20 c6 1b ee 00 e7 d2 d6 13 82 2d bc 78 43
  //          bd b4 3e 07 00 34 57 31 ce 9b 5d aa 62 ef f6 4a 0b 35 f4 39 e1 77
  //          f1 4c 05 1b 8d 42 f1 79 d9 5f 0d 14 29 c5 d7 5a 02 52 cf 49 4c de
  //          7f 2c 73 6c eb f9 63 a7 bc c7 1a d2 56 16 0b 75 e3 73 b9 26 45 36
  //          33 3c bb 80 40 39 f1 40 33 bd 3e 6b 38 07 82 4e 1c ab 5e 7d 1e 5a
  //          b6 c4 88 7a cb d2 22 27 9f c1 cc 7a e6 94 29 5d ca 41 22 f9 de ea
  //          a6 91 ef 8f 15 a0 8b 11 24 fb c9 56 c0 15 21 1f 81 56 bc 5a 8a 9d
  //          b0 a1 82 12 49 89 db 2b f5 d0 28 a8 65 54 6b 26 a9 17 3d a7 ac c6
  //          18 57 92 0f 35 fa eb b5 98 12 37 2a ce bd d6 b5 0c 04 0a c2 c3 5a
  //          73 fb 62 0d d1 ef 62 f8 c0 92 6d d6 38 7d ac a4 6f b5 af a9 bd e3
  //          3c 32 6c ee 84 53 9e 0e 1d cf 7c c5 13 50 b9 83 58 2f bd 11 1e f5
  //          b6 5f 4f 6d 72 3c 5c 2a ab fd a6 d1 18 7a 9d 6b 84 5f ef 8a 95 3e
  //          52 d4 65 d7 74 fa 5b 60 d4 9f db 9f 65 25 72 fd 95 22 f2 a5 c0 48
  //          b6 94 e1 db c0 7b 1f a7 bf 3d 88 42 8c 70 58 a2 cf b6 fc 5d ed c4
  //          c9 e8 0a 15 08 b3 02 10 b3 1c 1a 00 e2 b5 04 0e 3f df 47 55 d9 aa
  //          e9 dd ce 8c dd a0 60 44 68 a4 c4 a0 d7 09 b8 99 73 fd 4e ea 58 36
  //          39 05 c0 d0 a0 e4 d9 09 4d 72 3b 2a 46 f5 9f 82 9e 8d 3e 4f a0 89
  //          68 3d 68 93 c6 68 77 4a 66 49 13 26 95 55 95 d1 dd b4 25 f4 c0 3d
  //          84 14 75 8d 72 0b 9a cd 99 8c dc c8 c8 01 26 47 31 42 a0 35 06 80
  //          81 9b 98 f6 df 80 40 6a 08 31 04 8b 04 98 8a ad 8c a1 4b 1b 22 c8
  //          f8 e0 70 ef 13 8a ec 21 8c 8b 6a f9 75 5b a1 03 54 da 8a 1e 8c de
  //          d2 d1 ca 18 09 19 a1 d5 de 62 80 72 ec fa 58 3c b6 02 77 a8 57 b6
  //          9d d2 ba ba fe 65 4b 6d 96 41 c2 31 51 fa 73 c2 01 a1 22 94 01 48
  //          c9 0c 7d 15 18 ec c1 12 3c 31 d9 c5 4f 48 fa 06 cc 59 7f 94 9a 0f
  //          21 f5 eb 86 bf bc d0 5e 5b 23 c6 f0 ab 5e b7 63 e9 ea e4 d8 df df
  //          a2 e5 f0 7c 49 31 89 d7 e5 6a 16 87 1e b1 6e cc 63 6d a0 bc 9f 9e
  //          95 67 d8 9c ce d7 40 27 dd 58 10 73 66 4d 08 c9 de 40 0d c1 9f c6
  //          dd a1 6a 7c 19 0a 41 84 9f bc d3 c9 5f c9 ae 2d 95 1b 74 2b b6 f8
  //          d0 d4 88 73 e5 20 c0 6b b9 67 c1 38 13 5e 98 17 11 4e a6 93 5b 14
  //          90 fd 2d 00 7d 34 9a ab bf 5d 77 49 0b b7 b5 7c 66 f4 8c 05 9f 6e
  //          b4 a2 e6 06 79 fc 4e c2 8f 53 5e c1 6b f1 38 0d 39 84 86 40 6f 84
  //          c9 40 19 87 59 ac aa ea f3 3a c2 dd 2c 12 bd fc eb 48 6a f6 cc 37
  //          56 c8 19 c5 a9 cd 6a 3e 73 57 5d 8e 4a ca 4f 74 9c 58 5e 8c 21 14
  //          1d 6e 7e 3b 6e b3 7b 57 20 f5 ca a9 02 b0 ab 90 64 f3 02 0b 83 11
  //          f5 22 93 77 17 99 c8 d8 0d 59 2d 45 57 ae 06 cd 80 e0 cb 9d 5d 47
  //          cb 9b 6a 67 f5 8d bb ab 5f 07 b3 2a db 31 43 53 21 72 2b c5 7a e7
  //          5b 31 31 9a 16 55 4a a6 14 2c b8 ae e0 32 b7 32 6c 2d 13 28 e9 6b
  //          f1 25 39 21 67 91 7d 4e 94 51 8f ae 5f 86 64 f5 c5 69 be b4 95 3c
  //          81 ea 91 76 bd 59 3f f7 ce 53 79 f7 92 85 36 90 94 4f 95 6c 9e 11
  //          4b ae 9b f7 bb aa 2c 24 26 cc 2c 00 bb 6c de a6 5b 13 b7 2f 29 34
  //          69 89 cc fa 41 e6 29 4c 1a c2 79 48 bb 9c b5 a1 46 79 e2 e0 e0 d3
  //          9c 20 59 9e be ff 35 2b cb 8d 5a 1b c4 46 1d a5 c1 c7 11 7a 59 be
  //          d3 d0 7d 49 a9 90 14 df 4d fc f8 bf b1 63 da 1d 4f 6d f3 be 05 d3
  //          96 fd ae 11 8e 3f da e3 82 17 2a 72 be 92 b1 6a bb 94 1e 9b e7 7a
  //          84 f8 26 31 3e 0a 79 6a c5 94 18 b9 4f 12 0b d2 d2 3a bf d4 d9 b0
  //          14 63 9a 31 ad f3 5e fe c9 43 62 3e 78 f2 c8 f1 e4 92 00 64 76 9b
  //          3d 87 58 2c f5 28 53 b5 54 96 57 9a f7 98 35 60 ce ec da 6d b0 5f
  //          e0 0b 58 85 79 55 4b e9 e8 16 b7 8d 2f ee 6d 2b 9a 73 91 a0 4b 68
  //          bc ae 4c 97 ce cd c9 cf c1 e5 50 bd 79 e9 26 14 bf 1e 45 59 83 bf
  //          95 37 a5 58 28 6c 65 9f 6d 68 ce 90 d8 05 64 38 08 93 b6 da 1c f6
  //          c8 26 27 16 63 31 77 97 dd a3 7f 93 be 87 66 bd 0d e6 40 3a 0a ce
  //          b6 10 56 e3 97 8f 73 6a 6a ca 42 35 07 dc a0 17 aa e5 88 fc 5e 17
  //          90 a4 97 06 72 6f 92 12 1e 4d 62 ac d9 e3 cc 19 c9 64 f4 03 1f a1
  //          06 cb 28 65 2b 50 ad 44 40 3c dd f9 3c 54 66 0d c8 99 64 9b 42 a1
  //          9f 2e 19 27 15 1a 43 38 ff e1 91 1d 0f 86 32 7e 5b 67 06 39 43 50
  //          1f ad e6 af 37 a2 eb 9a ef 0a 29 65 09 5f 13 62 57 67 38 eb dd 78
  //          fa 73 a3 ce f2 b7 b3 f9 c8 2b 8c 81 46 ce 07 a6 6b 43 c9 b2 65 0e
  //          70 83 1b dd f2 74 51 3f a5 a0 68 3a 9f 62 96 45 05 42 3f b1 01 07
  //          46 26 b2 50 84 39 72 af 20 c3 c8 c8 b1 bf 69 6d 3d ad 42 02 84 ea
  //          d3 f7 3e fb fe 97 69 9b a8 4b 02 25 bd cf 1e 64 ae 92 e4 21 cc a2
  //          45 cb b9 e4 3d e1 15 e7 c0 1b 3b 6d ac eb 3c 48 0a 30 99 cb 15 99
  //          de f0 bd c1 cf f0 ea e7 b3 98 43 29 6a 1e 8e f9 17 85 02 96 68 e5
  //          5e 91 7e 60 41 bd a7 9c d7 93 c3 84 5d 2e cc e2 fe d2 30 3a 3e 1e
  //          8e 1a e8 e9 17 84 8e 2c 40 e2 d5 d1 cb f3 c1 a5 05 81 1f 8d dc 1b
  //          08 59 c6 8b 18 40 2f ca 44 a3 cd 80 72 63 94 cb 34 86 df e0 fb 6d
  //          35 5b c7 28 eb 58 f8 e4 0a c4 80 be a1 ac 3b 3f bb fe 96 1c f0 0a
  //          a8 e0 05 5a 1f 9b 2b d6 f1 34 9b b7 39 60 c8 df 2f ba 8c bd 41 36
  //          53 5e 7f 17 d3 e5 df 9f 63 d7 dc 0f e3 a0 2b b8 95 30 f0 52 b1 24
  //          21 8d ab 13 03 ed 8d 24 f1 dc 54 84 a2 8e d7 0d 97 87 2a c1 ad 11
  //          5c 62 c1 30 8a e7 57 26 d5 81 fd 74 9b c5 44 ce 89 4f 31 7d 19 ed
  //          5e 8e 04 b6 a5 19 ce 50 75 3a e4 b8 24 1a 36 21 c0 af 03 a2 ac 33
  //          d6 94 df fc 40 f4 6d 40 7e f2 92 26 76 83 8f 8f cc e6 55 7b 8f 83
  //          64 36 1d fd a4 f0 f3 9e dd 04 a0 93 95 51 44 af 19 6e 0f 99 6c 75
  //          2f 9f 86 82 23 61 bc f9 2c df 55 34 5d 0c 78 43 14 a8 c0 96 df bf
  //          b5 e6 93 0e 1e 37 f7 37 d1 38 fe 2e c0 22 c9 00 21 51 e8 0f 6d 46
  //          45 83 6f 2d c0 9e 65 d8 92 1f ba 34 52 d4 32 da c3 0e b0 9f a0 8d
  //          d8 12 62 7f 6b 46 a1 9b 3a 4e b3 4a 4a ad 78 d4 23 6d 10 33 20 df
  //          cc 63 5b 0c 8b 43 18 04 01 ec 35 e4 1f b3 7e 1f fb 6d f6 f7 55 7e
  //          4f bb d2 79 85 fc da fe f1 e8 1a 0f 28 d6 ab 81 ba 88 c4 0f 22 a4
  //          2b 0b 15 36 97 2d d5 ec 1b dc 5a de 2e 63 8a 77 a6 d6 46 6e 21 02
  //          ee 8e 64 6e 14 bd 6c 7a 88 16 90 ca b4 0a b9 b5 89 1d 2d 01 c8 e2
  //          ca b4 06 d3 dc 91 cf 76 ab c0 fd 04 d2 29 15 70 4e eb 9b 41 ac 9b
  //          a7 d6 eb 98 d5 63 fc 75 54 65 c8 48 06 c5 c7 b4 ff ac dc d0 53 13
  //          25 5f 86 ca 0e 16 05 04 9b 0e 7f bc 74 3b 68 11 0f 71 a9 46 1f 3e
  //          af 1b 11 13 b5 5d 22 fa c6 2d e8 83 0b 14 73 0e 7b cf 79 f1 d2 3b
  //          f2 ad ea b8 d0 a6 df 71 b7 6e 50 88 8a 69 88 6f 49 b0 19 c8 e3 7d
  //          d0 40 0c c5 67 2a 03 1c 6d f8 e9 18 f9 f1 2e 35 33 d0 cf 68 c9 68
  //          6d cc 25 df 20 07 73 1b d8 29 a5 3c d0 05 6a 1f bd cf 01 d0 1b 13
  //          f0 6d 48 6f fa ec e7 aa bd 72 dd 77 18 49 37 5f 5d 09 3e 9d 32 fe
  //          45 bb fe 8e 8b 9e 2c 37 65 ce fa c4 f1 e9 d4 97 64 42 aa dd 80 f7
  //          47 42 a3 58 9c c3 da 53 50 80 f5 11 98 13 16 c2 e8 08 6c a9 3b 69
  //          b8 81 52 85 7c 86 b4 27 25 4b 98 f1 52 a0 86 9c 77 34 1c 8a a8 73
  //          07 57 f8 18 39 db 39 55 88 cd 6e 60 dc 49 18 34 a3 73 6f 89 af be
  //          cf 39 74 2b ca 69 41 83 e1 61 d1 f6 de 84 71 d4 d0 ca 5c 28 da c3
  //          5e b1 28 87 4c 64 20 dc 56 33 94 2d cf 29 c2 7b 8d 28 4a a7 e8 6a
  //          9c a3 c3 e3 4d 08 88 e8 44 15 b2 38 ee 30 a4 b0 17 9f fc 0d e1 66
  //          17 bc 96 b1 ff 81 53 b6 c6 d9 dd bf 24 11 bf e4 2b 50 15 40 a9 e1
  //          96 70 83 17 95 be c0 5b 8a 24 2a 04 a6 2f 35 e3 27 5d 88 1e d8 00
  //          a4 6d 27 6d cb 4f e9 a4 2d d3 e3 b8 f9 3e bf e2 18 ae ec 56 58 77
  //          e4 c1 5c a9 53 5f f7 96 4f c3 48 b5 62 84 3d 91 19 7d 1a 98 da ad
  //          0a 0a b2 53 21 45 7f 35 81 ff 07 b5 e5 29 8b 6e 2d e1 d3 9a 71 45
  //          29 8c 93 ba 16 b7 e0 46 a6 06 52 dd 4d 41 85 bf 46 83 06 f1 fc c2
  //          22 d3 c5 24 65 73 dd a2 48 2f 51 11 9e e1 46 49 81 11 1f 5b ea 2b
  //          33 d1 f6 3a dd 9e 84 fe 77 69 20 f3 12 54 98 16 a6 90 91 3a 8d 8c
  //          ee 3a e6 c2 e1 94 5f cc e1 17 8b 18 f8 06 3e 95 62 13 11 87 64 dd
  //          35 4e 18 c3 27 ee a8 aa 2c c5 31 ca a9 1a 24 14 fd 66 5d ab f5 cf
  //          6c 8c e3 f9 a1 07 aa 95 4b 23 c0 4a 2b 77 70 35 12 ed 60 6a 19 ea
  //          05 1d 59 bb 8b d4 1f 8e 40 e2 12 e5 e5 3b 96 ed 56 58 d3 1e b3 77
  //          46 34 7b cc a9 b6 c3 6b 83 45 be 5f 93 ca 36 59 8a a2 6b ac 35 d0
  //          d2 bd e8 fd 7a 2b b1 f7 cc 32 b1 30 b2 3c 94 ab f4 60 88 26 7a fa
  //          94 fd 2c 2e 22 50 d2 d8 ac 80 3d 7a 81 f0 af 70 6f 3b ea e8 bc 94
  //          4d 3f 9f 8c e9 55 68 67 e9 8e 07 7b e8 02 7b 09 a9 05 20 6a b0 28
  //          b2 26 15 25 91 8d a7 55 7c 83 fc 85 8e 14 f2 6a ed 52 a5 e6 26 9c
  //          98 db f6 b8 4b 5c 09 bb f6 42 55 77 37 e6 f7 ec 0c 0e 31 55 f9 bb
  //          39 6e d7 3f 75 35 27 2f 92 f1 3b 8f 8d d2 40 02 81 68 36 c5 2d 77
  //          0b eb 86 51 16 89 7b a7 fb 34 a1 12 4d cd 0c cd 6e 71 55 08 9e d0
  //          c6 76 8e bf da c9 9a ea 96 2d d7 19 c0 27 50 5d 5b 6d b6 b8 50 5d
  //          d4 39 59 53 fd e5 1e c8 20 df 2b 98 ba 6e 30 4c 03 c8 88 0b 1e fa
  //          9b 19 25 96 7a 74 6e dd d8 d8 36 1e 62 5a 89 fd 1a c8 aa 74 72 51
  //          c3 09 27 65 8e e7 06 91 1e 21 a7 02 2f 93 2c 17 a7 7a be 4c 3b 6d
  //          09 04 4d 33 a1 eb 53 56 eb b5 bd 2a 8b 79 f0 37 96 4d ae ff e3 74
  //          2b 08 50 69 27 dd 80 06 9b 2e e5 c3 c0 d9 dc d9 7f 19 96 d2 0c 08
  //          70 28 d8 c3 89 4a a1 07 22 de a5 14 98 be f4 96 bb f9 88 c5 63 c5
  //          06 62 a8 5d 6b 8e 98 d4 34 4a 4c 81 f2 00 11 fe 18 e9 10 5b 32 af
  //          dc 58 c8 ce 17 e0 4e db 78 c7 67 be 06 28 fe 2b 6d 11 41 bc e1 18
  //          38 1c 6f 93 82 da ca 4e f9 21 fa ce b8 ef c9 31 29 c1 92 3f 1c 65
  //          ba db a5 05 4c f0 38 12 69 26 c5 30 b7 59 f6 83 d9 e6 51 33 26 dd
  //          95 88 b8 e3 ed 74 57 46 f4 25 84 60 fe 21 93 2e fb 1c 7a 21 47 cf
  //          cd 14 82 53 9a e1 76 cb b1 9a 10 00 05 03 55 2d a4 ac e4 b8 5f 67
  //          2d a2 3a a8 ae 3c 78 96 e0 db 2a 55 16 1f b9 e4 ed 85 53 08 3b 02
  //          9e 82 5d a2 aa cf 55 9f 0c ba 75 0f c1 ae 46 64 17 b6 77 ba 1c da
  //          c3 aa f0 2d 1c 43 8b 19 e2 55 43 b5 f2 7d 21 ed 53 00 b6 06 ce 10
  //          aa b7 2f 9f 80 fd e1 9d 81 1a 8b b1 11 d7 3a 6b 1a 13 a4 66 d5 b8
  //          3f 22 01 40 68 d2 13 e1 db 89 b4 45 38 93 6a 63 ff 3c 36 90 58 0b
  //          fc 9c 24 aa 90 07 08 1f f6 d1 92 f1 ae 8e 67 fb c3 ae b3 c4 a3 d9
  //          a1 06 7b a1 35 1e b3 ba 1e d9 81 5b d5 b2 c3 14 a1 de 00 0f ec 76
  //          46 d0 5e ac b3 47 b4 bd 52 48 04 fd 9e e9 9d 37 d8 f3 f3 18 b6 d3
  //          5a b0 5b 1f 4e d5 67 d6 78 c0 43 e9 8e 16 d8 f7 7c 1b 71 cc a7 65
  //          70 06 ab aa b1 41 af 8b a0 a4 c3 62 9a 99 2f d7 9f 52 7b 2e 97 a0
  //          e8 fe ff c1 e9 cc 3d cf e2 b6 f2 68 0b a0 9a 6c 6b 86 b3 2c b6 7a
  //          a4 90 b4 89 31 6c 8c 35 21 73 fb a9 ef 33 bd 6c 84 fd f7 19 bb fb
  //          45 aa a5 dc 93 dc a5 6b 75 5e f8 34 64 e7 aa 4f d6 55 10 51 84 a9
  //          11 f4 74 7b 57 94 0b bc 6b d5 48 8a 19 b5 bb db f0 23 43 f0 b7 bc
  //          e3 e8 77 65 84 84 87 8b 4b 19 b2 8e fd e3 b9 1a d9 bc 1e de 9f 88
  //          aa f9 06 14 27 07 63 29 7d 61 6f 80 fc 55 36 3a f1 7f 00 aa 7a 31
  //          b7 65 04 d4 81 d5 b3 d8 80 c7 2d 1f 3a 03 ec 38 78 56 fd 22 22 11
  //          6c a0 81 62 96 bf 8d 73 d4 a6 11 96 fb 54 10 2f 84 85 b8 99 82 cd
  //          b0 0e fd f2 41 df db 4a 53 60 52 b6 0f 3e 23 00 ed bf c5 d4 b2 c1
  //          68 81 3e 2c 57 f0 46 82 c4 f4 d0 41 21 df 4f 04 26 79 25 84 04 3a
  //          18 83 fb 98 cc cf f2 35 ec f1 83 68 28 be fe 40 9a 02 0b e5 f0 b1
  //          f5 7d 0c 15 da 65 63 62 5f f9 cc 0f 70 b7 a4 58 e9 0c 33 5c 36 cf
  //          e3 7b 59 91 53 8d 2c b0 89 f8 59 31 70 c6 24 05 9e fa 96 41 44 84
  //          68 01 2b 71 ae b2 57 23 8c e6 4c 95 a2 6a 89 fb c9 a3 4e c6 f7 e9
  //          54 b7 3b 3c ec c0 4a e4 bc d7 ea c1 41 4d b7 4b 71 c2 4f 30 47 cd
  //          0d 70 80 8e af 07 d4 5e 90 62 28 9a 59 ed 1c c4 a0 58 49 9f d1 0d
  //          db 40 3c ee 44 d7 1f b2 d9 5d 0a be 34 51 99 09 de e6 fa 28 5a af
  //          7e ca 1a de c0 74 0c 44 35 8f b1 66 7c 55 a9 9e d2 2b 9d e7 17 dd
  //          30 61 8f 07 9f b9 8e 68 b6 0b 6e 3f d7 1f 57 11 7b 2b 97 83 bf 46
  //          bd 61 48 39 04 44 87 3a c8 e4 5a 9e 3c 59 69 7e a0 f0 e9 9d af dd
  //          a9 54 e4 77 02 da 87 d6 ce 66 15 cc 02 ec 97 0b ea d4 5d 33 54 91
  //          58 ae b2 fe 97 ff 3f cd d4 0c e8 14 e4 96 13 48 c3 2c c6 e3 22 fc
  //          69 03 4a 5f 0c 90 e8 03 76 4e 13 54 a4 c8 6c 16 e0 7d f8 8b 87 1f
  //          8f 91 32 48 90 72 e0 b3 5f a8 41 b0 ee 7c 6c de 04 94 17 7f c9 8e
  //          90 25 b4 be be f6 70 d8 ad e4 8a 45 08 99 5d 8b 5c 3d 40 0e ee c2
  //          0e 29 03 3d e3 33 79 1c 77 5b 1a e2 45 08 62 b3 43 da bc b4 6b 1a
  //          2b cc e4 57 ba 26 be 74 05 c5 84 e2 a2 5d c6 f6 8e 6d 19 99 4c e2
  //          f2 7b ad 0c 5b 7e 08 e6 1f 89 9e 17 2f 98 05 d3 1f 79 2f 65 6a 3c
  //          a3 0f 2c ab f9 e4 0c 3c 93 8f 6c f2 69 e8 67 d3 3b 0b ca 96 f4 56
  //          c5 95 b2 ce 19 b8 94 de ad 75 e4 d5 d9 06 1e b1 21 c9 6b 57 d1 f1
  //          b4 a2 d3 37 13 48 37 ed 33 41 b2 14 b1 b1 ae 02 e4 0e 9f 7a fc 42
  //          f5 a0 9c 94 e1 53 5f af 69 01 51 ff f6 e7 2c fe 9f 4c 69 e2 29 88
  //          72 1b 0d 9e d4 a3 b7 88 9a c7 32 84 00 ac d3 8d eb f5 6d 79 f6 80
  //          4e 07 8b e7 2a 94 6e 45 10 59 59 2d 30 4e 65 44 a2 55 e1 9b ed 65
  //          5e 40 68 fe 2f b2 1c 9a 52 67 26 6d 70 79 30 6a 66 0d 0e a1 c7 78
  //          6f 7e ac dc d1 08 ba 0c a4 48 2b b5 16 41 81 de a5 a1 88 1c fa 42
  //          dc be 95 13 d3 3a 7f b7 4e} (length 0x1000) size: len = 0x1000 (2
  //          bytes)
  //        }
  //      }
  //    }
  //    len: len = 0x1006 (8 bytes)
  //  ]
  NONFAILING(*(uint32_t*)0x200000000580 = 8);
  NONFAILING(memcpy(
      (void*)0x200000000584,
      "\x81\x11\x34\x51\x60\xbb\x19\x77\x1b\x0a\xf9\x2c\x0b\x93\x4f\x9e\x1a\x8a"
      "\xc2\xaf\xb5\x14\x63\x27\x45\x57\xef\xea\x18\xc2\x31\xe8\xa1\xee\xaf\xe6"
      "\x4a\xd9\x39\xec\x86\xbc\x20\x1d\xa5\x6b\xb0\xbf\x6b\x7a\x78\x74\x88\xc4"
      "\xe5\xdf\x6a\x81\x63\x09\xf2\x4e\x00\xd2\x60\xab\x7a\xf3\x7a\x62\xa4\x75"
      "\x4a\x45\xfb\x4d\x45\x74\xc6\x73\x13\x67\x66\x25\xa7\x18\x9f\x41\x77\xe7"
      "\x62\x10\x14\xfa\x14\x0b\x05\x0e\xde\x11\x83\xef\x85\x10\xde\x28\x68\xd9"
      "\xbe\x41\xe5\x3b\x81\x7d\x1f\x25\x16\x4a\x48\xb5\xa1\xaf\xb3\x05\x90\xc4"
      "\x62\x76\x1f\x24\xf2\x83\x53\x18\x3c\x34\x78\x53\xfa\xbd\xe8\x2e\xaf\xf4"
      "\x46\x7a\x7a\x75\xe2\xd6\xbe\xaa\xa2\xae\x81\xee\xc8\xf7\xa6\x58\x80\x01"
      "\x60\xcd\x45\xc8\x1c\xd1\xf1\x8b\xd3\xea\xbd\x07\x89\x15\x45\xfd\x40\x79"
      "\x7c\x73\xf2\xe6\x27\x3f\xe3\x16\x9c\xb3\x81\xa5\x43\xf1\xf3\xad\xbb\xad"
      "\x62\x34\x5c\x11\x24\x0f\x36\xcc\x17\xda\xe3\x39\x18\x8f\x27\x69\x51\x45"
      "\x54\xc7\xce\x8d\xf1\xa6\x9f\xe3\x27\x9d\x5b\x3d\x3a\xc2\xeb\xaa\xf5\xd2"
      "\xf5\xfa\xd3\xeb\x0d\xcd\x51\xb3\xcf\x67\x16\x20\xc6\x1b\xee\x00\xe7\xd2"
      "\xd6\x13\x82\x2d\xbc\x78\x43\xbd\xb4\x3e\x07\x00\x34\x57\x31\xce\x9b\x5d"
      "\xaa\x62\xef\xf6\x4a\x0b\x35\xf4\x39\xe1\x77\xf1\x4c\x05\x1b\x8d\x42\xf1"
      "\x79\xd9\x5f\x0d\x14\x29\xc5\xd7\x5a\x02\x52\xcf\x49\x4c\xde\x7f\x2c\x73"
      "\x6c\xeb\xf9\x63\xa7\xbc\xc7\x1a\xd2\x56\x16\x0b\x75\xe3\x73\xb9\x26\x45"
      "\x36\x33\x3c\xbb\x80\x40\x39\xf1\x40\x33\xbd\x3e\x6b\x38\x07\x82\x4e\x1c"
      "\xab\x5e\x7d\x1e\x5a\xb6\xc4\x88\x7a\xcb\xd2\x22\x27\x9f\xc1\xcc\x7a\xe6"
      "\x94\x29\x5d\xca\x41\x22\xf9\xde\xea\xa6\x91\xef\x8f\x15\xa0\x8b\x11\x24"
      "\xfb\xc9\x56\xc0\x15\x21\x1f\x81\x56\xbc\x5a\x8a\x9d\xb0\xa1\x82\x12\x49"
      "\x89\xdb\x2b\xf5\xd0\x28\xa8\x65\x54\x6b\x26\xa9\x17\x3d\xa7\xac\xc6\x18"
      "\x57\x92\x0f\x35\xfa\xeb\xb5\x98\x12\x37\x2a\xce\xbd\xd6\xb5\x0c\x04\x0a"
      "\xc2\xc3\x5a\x73\xfb\x62\x0d\xd1\xef\x62\xf8\xc0\x92\x6d\xd6\x38\x7d\xac"
      "\xa4\x6f\xb5\xaf\xa9\xbd\xe3\x3c\x32\x6c\xee\x84\x53\x9e\x0e\x1d\xcf\x7c"
      "\xc5\x13\x50\xb9\x83\x58\x2f\xbd\x11\x1e\xf5\xb6\x5f\x4f\x6d\x72\x3c\x5c"
      "\x2a\xab\xfd\xa6\xd1\x18\x7a\x9d\x6b\x84\x5f\xef\x8a\x95\x3e\x52\xd4\x65"
      "\xd7\x74\xfa\x5b\x60\xd4\x9f\xdb\x9f\x65\x25\x72\xfd\x95\x22\xf2\xa5\xc0"
      "\x48\xb6\x94\xe1\xdb\xc0\x7b\x1f\xa7\xbf\x3d\x88\x42\x8c\x70\x58\xa2\xcf"
      "\xb6\xfc\x5d\xed\xc4\xc9\xe8\x0a\x15\x08\xb3\x02\x10\xb3\x1c\x1a\x00\xe2"
      "\xb5\x04\x0e\x3f\xdf\x47\x55\xd9\xaa\xe9\xdd\xce\x8c\xdd\xa0\x60\x44\x68"
      "\xa4\xc4\xa0\xd7\x09\xb8\x99\x73\xfd\x4e\xea\x58\x36\x39\x05\xc0\xd0\xa0"
      "\xe4\xd9\x09\x4d\x72\x3b\x2a\x46\xf5\x9f\x82\x9e\x8d\x3e\x4f\xa0\x89\x68"
      "\x3d\x68\x93\xc6\x68\x77\x4a\x66\x49\x13\x26\x95\x55\x95\xd1\xdd\xb4\x25"
      "\xf4\xc0\x3d\x84\x14\x75\x8d\x72\x0b\x9a\xcd\x99\x8c\xdc\xc8\xc8\x01\x26"
      "\x47\x31\x42\xa0\x35\x06\x80\x81\x9b\x98\xf6\xdf\x80\x40\x6a\x08\x31\x04"
      "\x8b\x04\x98\x8a\xad\x8c\xa1\x4b\x1b\x22\xc8\xf8\xe0\x70\xef\x13\x8a\xec"
      "\x21\x8c\x8b\x6a\xf9\x75\x5b\xa1\x03\x54\xda\x8a\x1e\x8c\xde\xd2\xd1\xca"
      "\x18\x09\x19\xa1\xd5\xde\x62\x80\x72\xec\xfa\x58\x3c\xb6\x02\x77\xa8\x57"
      "\xb6\x9d\xd2\xba\xba\xfe\x65\x4b\x6d\x96\x41\xc2\x31\x51\xfa\x73\xc2\x01"
      "\xa1\x22\x94\x01\x48\xc9\x0c\x7d\x15\x18\xec\xc1\x12\x3c\x31\xd9\xc5\x4f"
      "\x48\xfa\x06\xcc\x59\x7f\x94\x9a\x0f\x21\xf5\xeb\x86\xbf\xbc\xd0\x5e\x5b"
      "\x23\xc6\xf0\xab\x5e\xb7\x63\xe9\xea\xe4\xd8\xdf\xdf\xa2\xe5\xf0\x7c\x49"
      "\x31\x89\xd7\xe5\x6a\x16\x87\x1e\xb1\x6e\xcc\x63\x6d\xa0\xbc\x9f\x9e\x95"
      "\x67\xd8\x9c\xce\xd7\x40\x27\xdd\x58\x10\x73\x66\x4d\x08\xc9\xde\x40\x0d"
      "\xc1\x9f\xc6\xdd\xa1\x6a\x7c\x19\x0a\x41\x84\x9f\xbc\xd3\xc9\x5f\xc9\xae"
      "\x2d\x95\x1b\x74\x2b\xb6\xf8\xd0\xd4\x88\x73\xe5\x20\xc0\x6b\xb9\x67\xc1"
      "\x38\x13\x5e\x98\x17\x11\x4e\xa6\x93\x5b\x14\x90\xfd\x2d\x00\x7d\x34\x9a"
      "\xab\xbf\x5d\x77\x49\x0b\xb7\xb5\x7c\x66\xf4\x8c\x05\x9f\x6e\xb4\xa2\xe6"
      "\x06\x79\xfc\x4e\xc2\x8f\x53\x5e\xc1\x6b\xf1\x38\x0d\x39\x84\x86\x40\x6f"
      "\x84\xc9\x40\x19\x87\x59\xac\xaa\xea\xf3\x3a\xc2\xdd\x2c\x12\xbd\xfc\xeb"
      "\x48\x6a\xf6\xcc\x37\x56\xc8\x19\xc5\xa9\xcd\x6a\x3e\x73\x57\x5d\x8e\x4a"
      "\xca\x4f\x74\x9c\x58\x5e\x8c\x21\x14\x1d\x6e\x7e\x3b\x6e\xb3\x7b\x57\x20"
      "\xf5\xca\xa9\x02\xb0\xab\x90\x64\xf3\x02\x0b\x83\x11\xf5\x22\x93\x77\x17"
      "\x99\xc8\xd8\x0d\x59\x2d\x45\x57\xae\x06\xcd\x80\xe0\xcb\x9d\x5d\x47\xcb"
      "\x9b\x6a\x67\xf5\x8d\xbb\xab\x5f\x07\xb3\x2a\xdb\x31\x43\x53\x21\x72\x2b"
      "\xc5\x7a\xe7\x5b\x31\x31\x9a\x16\x55\x4a\xa6\x14\x2c\xb8\xae\xe0\x32\xb7"
      "\x32\x6c\x2d\x13\x28\xe9\x6b\xf1\x25\x39\x21\x67\x91\x7d\x4e\x94\x51\x8f"
      "\xae\x5f\x86\x64\xf5\xc5\x69\xbe\xb4\x95\x3c\x81\xea\x91\x76\xbd\x59\x3f"
      "\xf7\xce\x53\x79\xf7\x92\x85\x36\x90\x94\x4f\x95\x6c\x9e\x11\x4b\xae\x9b"
      "\xf7\xbb\xaa\x2c\x24\x26\xcc\x2c\x00\xbb\x6c\xde\xa6\x5b\x13\xb7\x2f\x29"
      "\x34\x69\x89\xcc\xfa\x41\xe6\x29\x4c\x1a\xc2\x79\x48\xbb\x9c\xb5\xa1\x46"
      "\x79\xe2\xe0\xe0\xd3\x9c\x20\x59\x9e\xbe\xff\x35\x2b\xcb\x8d\x5a\x1b\xc4"
      "\x46\x1d\xa5\xc1\xc7\x11\x7a\x59\xbe\xd3\xd0\x7d\x49\xa9\x90\x14\xdf\x4d"
      "\xfc\xf8\xbf\xb1\x63\xda\x1d\x4f\x6d\xf3\xbe\x05\xd3\x96\xfd\xae\x11\x8e"
      "\x3f\xda\xe3\x82\x17\x2a\x72\xbe\x92\xb1\x6a\xbb\x94\x1e\x9b\xe7\x7a\x84"
      "\xf8\x26\x31\x3e\x0a\x79\x6a\xc5\x94\x18\xb9\x4f\x12\x0b\xd2\xd2\x3a\xbf"
      "\xd4\xd9\xb0\x14\x63\x9a\x31\xad\xf3\x5e\xfe\xc9\x43\x62\x3e\x78\xf2\xc8"
      "\xf1\xe4\x92\x00\x64\x76\x9b\x3d\x87\x58\x2c\xf5\x28\x53\xb5\x54\x96\x57"
      "\x9a\xf7\x98\x35\x60\xce\xec\xda\x6d\xb0\x5f\xe0\x0b\x58\x85\x79\x55\x4b"
      "\xe9\xe8\x16\xb7\x8d\x2f\xee\x6d\x2b\x9a\x73\x91\xa0\x4b\x68\xbc\xae\x4c"
      "\x97\xce\xcd\xc9\xcf\xc1\xe5\x50\xbd\x79\xe9\x26\x14\xbf\x1e\x45\x59\x83"
      "\xbf\x95\x37\xa5\x58\x28\x6c\x65\x9f\x6d\x68\xce\x90\xd8\x05\x64\x38\x08"
      "\x93\xb6\xda\x1c\xf6\xc8\x26\x27\x16\x63\x31\x77\x97\xdd\xa3\x7f\x93\xbe"
      "\x87\x66\xbd\x0d\xe6\x40\x3a\x0a\xce\xb6\x10\x56\xe3\x97\x8f\x73\x6a\x6a"
      "\xca\x42\x35\x07\xdc\xa0\x17\xaa\xe5\x88\xfc\x5e\x17\x90\xa4\x97\x06\x72"
      "\x6f\x92\x12\x1e\x4d\x62\xac\xd9\xe3\xcc\x19\xc9\x64\xf4\x03\x1f\xa1\x06"
      "\xcb\x28\x65\x2b\x50\xad\x44\x40\x3c\xdd\xf9\x3c\x54\x66\x0d\xc8\x99\x64"
      "\x9b\x42\xa1\x9f\x2e\x19\x27\x15\x1a\x43\x38\xff\xe1\x91\x1d\x0f\x86\x32"
      "\x7e\x5b\x67\x06\x39\x43\x50\x1f\xad\xe6\xaf\x37\xa2\xeb\x9a\xef\x0a\x29"
      "\x65\x09\x5f\x13\x62\x57\x67\x38\xeb\xdd\x78\xfa\x73\xa3\xce\xf2\xb7\xb3"
      "\xf9\xc8\x2b\x8c\x81\x46\xce\x07\xa6\x6b\x43\xc9\xb2\x65\x0e\x70\x83\x1b"
      "\xdd\xf2\x74\x51\x3f\xa5\xa0\x68\x3a\x9f\x62\x96\x45\x05\x42\x3f\xb1\x01"
      "\x07\x46\x26\xb2\x50\x84\x39\x72\xaf\x20\xc3\xc8\xc8\xb1\xbf\x69\x6d\x3d"
      "\xad\x42\x02\x84\xea\xd3\xf7\x3e\xfb\xfe\x97\x69\x9b\xa8\x4b\x02\x25\xbd"
      "\xcf\x1e\x64\xae\x92\xe4\x21\xcc\xa2\x45\xcb\xb9\xe4\x3d\xe1\x15\xe7\xc0"
      "\x1b\x3b\x6d\xac\xeb\x3c\x48\x0a\x30\x99\xcb\x15\x99\xde\xf0\xbd\xc1\xcf"
      "\xf0\xea\xe7\xb3\x98\x43\x29\x6a\x1e\x8e\xf9\x17\x85\x02\x96\x68\xe5\x5e"
      "\x91\x7e\x60\x41\xbd\xa7\x9c\xd7\x93\xc3\x84\x5d\x2e\xcc\xe2\xfe\xd2\x30"
      "\x3a\x3e\x1e\x8e\x1a\xe8\xe9\x17\x84\x8e\x2c\x40\xe2\xd5\xd1\xcb\xf3\xc1"
      "\xa5\x05\x81\x1f\x8d\xdc\x1b\x08\x59\xc6\x8b\x18\x40\x2f\xca\x44\xa3\xcd"
      "\x80\x72\x63\x94\xcb\x34\x86\xdf\xe0\xfb\x6d\x35\x5b\xc7\x28\xeb\x58\xf8"
      "\xe4\x0a\xc4\x80\xbe\xa1\xac\x3b\x3f\xbb\xfe\x96\x1c\xf0\x0a\xa8\xe0\x05"
      "\x5a\x1f\x9b\x2b\xd6\xf1\x34\x9b\xb7\x39\x60\xc8\xdf\x2f\xba\x8c\xbd\x41"
      "\x36\x53\x5e\x7f\x17\xd3\xe5\xdf\x9f\x63\xd7\xdc\x0f\xe3\xa0\x2b\xb8\x95"
      "\x30\xf0\x52\xb1\x24\x21\x8d\xab\x13\x03\xed\x8d\x24\xf1\xdc\x54\x84\xa2"
      "\x8e\xd7\x0d\x97\x87\x2a\xc1\xad\x11\x5c\x62\xc1\x30\x8a\xe7\x57\x26\xd5"
      "\x81\xfd\x74\x9b\xc5\x44\xce\x89\x4f\x31\x7d\x19\xed\x5e\x8e\x04\xb6\xa5"
      "\x19\xce\x50\x75\x3a\xe4\xb8\x24\x1a\x36\x21\xc0\xaf\x03\xa2\xac\x33\xd6"
      "\x94\xdf\xfc\x40\xf4\x6d\x40\x7e\xf2\x92\x26\x76\x83\x8f\x8f\xcc\xe6\x55"
      "\x7b\x8f\x83\x64\x36\x1d\xfd\xa4\xf0\xf3\x9e\xdd\x04\xa0\x93\x95\x51\x44"
      "\xaf\x19\x6e\x0f\x99\x6c\x75\x2f\x9f\x86\x82\x23\x61\xbc\xf9\x2c\xdf\x55"
      "\x34\x5d\x0c\x78\x43\x14\xa8\xc0\x96\xdf\xbf\xb5\xe6\x93\x0e\x1e\x37\xf7"
      "\x37\xd1\x38\xfe\x2e\xc0\x22\xc9\x00\x21\x51\xe8\x0f\x6d\x46\x45\x83\x6f"
      "\x2d\xc0\x9e\x65\xd8\x92\x1f\xba\x34\x52\xd4\x32\xda\xc3\x0e\xb0\x9f\xa0"
      "\x8d\xd8\x12\x62\x7f\x6b\x46\xa1\x9b\x3a\x4e\xb3\x4a\x4a\xad\x78\xd4\x23"
      "\x6d\x10\x33\x20\xdf\xcc\x63\x5b\x0c\x8b\x43\x18\x04\x01\xec\x35\xe4\x1f"
      "\xb3\x7e\x1f\xfb\x6d\xf6\xf7\x55\x7e\x4f\xbb\xd2\x79\x85\xfc\xda\xfe\xf1"
      "\xe8\x1a\x0f\x28\xd6\xab\x81\xba\x88\xc4\x0f\x22\xa4\x2b\x0b\x15\x36\x97"
      "\x2d\xd5\xec\x1b\xdc\x5a\xde\x2e\x63\x8a\x77\xa6\xd6\x46\x6e\x21\x02\xee"
      "\x8e\x64\x6e\x14\xbd\x6c\x7a\x88\x16\x90\xca\xb4\x0a\xb9\xb5\x89\x1d\x2d"
      "\x01\xc8\xe2\xca\xb4\x06\xd3\xdc\x91\xcf\x76\xab\xc0\xfd\x04\xd2\x29\x15"
      "\x70\x4e\xeb\x9b\x41\xac\x9b\xa7\xd6\xeb\x98\xd5\x63\xfc\x75\x54\x65\xc8"
      "\x48\x06\xc5\xc7\xb4\xff\xac\xdc\xd0\x53\x13\x25\x5f\x86\xca\x0e\x16\x05"
      "\x04\x9b\x0e\x7f\xbc\x74\x3b\x68\x11\x0f\x71\xa9\x46\x1f\x3e\xaf\x1b\x11"
      "\x13\xb5\x5d\x22\xfa\xc6\x2d\xe8\x83\x0b\x14\x73\x0e\x7b\xcf\x79\xf1\xd2"
      "\x3b\xf2\xad\xea\xb8\xd0\xa6\xdf\x71\xb7\x6e\x50\x88\x8a\x69\x88\x6f\x49"
      "\xb0\x19\xc8\xe3\x7d\xd0\x40\x0c\xc5\x67\x2a\x03\x1c\x6d\xf8\xe9\x18\xf9"
      "\xf1\x2e\x35\x33\xd0\xcf\x68\xc9\x68\x6d\xcc\x25\xdf\x20\x07\x73\x1b\xd8"
      "\x29\xa5\x3c\xd0\x05\x6a\x1f\xbd\xcf\x01\xd0\x1b\x13\xf0\x6d\x48\x6f\xfa"
      "\xec\xe7\xaa\xbd\x72\xdd\x77\x18\x49\x37\x5f\x5d\x09\x3e\x9d\x32\xfe\x45"
      "\xbb\xfe\x8e\x8b\x9e\x2c\x37\x65\xce\xfa\xc4\xf1\xe9\xd4\x97\x64\x42\xaa"
      "\xdd\x80\xf7\x47\x42\xa3\x58\x9c\xc3\xda\x53\x50\x80\xf5\x11\x98\x13\x16"
      "\xc2\xe8\x08\x6c\xa9\x3b\x69\xb8\x81\x52\x85\x7c\x86\xb4\x27\x25\x4b\x98"
      "\xf1\x52\xa0\x86\x9c\x77\x34\x1c\x8a\xa8\x73\x07\x57\xf8\x18\x39\xdb\x39"
      "\x55\x88\xcd\x6e\x60\xdc\x49\x18\x34\xa3\x73\x6f\x89\xaf\xbe\xcf\x39\x74"
      "\x2b\xca\x69\x41\x83\xe1\x61\xd1\xf6\xde\x84\x71\xd4\xd0\xca\x5c\x28\xda"
      "\xc3\x5e\xb1\x28\x87\x4c\x64\x20\xdc\x56\x33\x94\x2d\xcf\x29\xc2\x7b\x8d"
      "\x28\x4a\xa7\xe8\x6a\x9c\xa3\xc3\xe3\x4d\x08\x88\xe8\x44\x15\xb2\x38\xee"
      "\x30\xa4\xb0\x17\x9f\xfc\x0d\xe1\x66\x17\xbc\x96\xb1\xff\x81\x53\xb6\xc6"
      "\xd9\xdd\xbf\x24\x11\xbf\xe4\x2b\x50\x15\x40\xa9\xe1\x96\x70\x83\x17\x95"
      "\xbe\xc0\x5b\x8a\x24\x2a\x04\xa6\x2f\x35\xe3\x27\x5d\x88\x1e\xd8\x00\xa4"
      "\x6d\x27\x6d\xcb\x4f\xe9\xa4\x2d\xd3\xe3\xb8\xf9\x3e\xbf\xe2\x18\xae\xec"
      "\x56\x58\x77\xe4\xc1\x5c\xa9\x53\x5f\xf7\x96\x4f\xc3\x48\xb5\x62\x84\x3d"
      "\x91\x19\x7d\x1a\x98\xda\xad\x0a\x0a\xb2\x53\x21\x45\x7f\x35\x81\xff\x07"
      "\xb5\xe5\x29\x8b\x6e\x2d\xe1\xd3\x9a\x71\x45\x29\x8c\x93\xba\x16\xb7\xe0"
      "\x46\xa6\x06\x52\xdd\x4d\x41\x85\xbf\x46\x83\x06\xf1\xfc\xc2\x22\xd3\xc5"
      "\x24\x65\x73\xdd\xa2\x48\x2f\x51\x11\x9e\xe1\x46\x49\x81\x11\x1f\x5b\xea"
      "\x2b\x33\xd1\xf6\x3a\xdd\x9e\x84\xfe\x77\x69\x20\xf3\x12\x54\x98\x16\xa6"
      "\x90\x91\x3a\x8d\x8c\xee\x3a\xe6\xc2\xe1\x94\x5f\xcc\xe1\x17\x8b\x18\xf8"
      "\x06\x3e\x95\x62\x13\x11\x87\x64\xdd\x35\x4e\x18\xc3\x27\xee\xa8\xaa\x2c"
      "\xc5\x31\xca\xa9\x1a\x24\x14\xfd\x66\x5d\xab\xf5\xcf\x6c\x8c\xe3\xf9\xa1"
      "\x07\xaa\x95\x4b\x23\xc0\x4a\x2b\x77\x70\x35\x12\xed\x60\x6a\x19\xea\x05"
      "\x1d\x59\xbb\x8b\xd4\x1f\x8e\x40\xe2\x12\xe5\xe5\x3b\x96\xed\x56\x58\xd3"
      "\x1e\xb3\x77\x46\x34\x7b\xcc\xa9\xb6\xc3\x6b\x83\x45\xbe\x5f\x93\xca\x36"
      "\x59\x8a\xa2\x6b\xac\x35\xd0\xd2\xbd\xe8\xfd\x7a\x2b\xb1\xf7\xcc\x32\xb1"
      "\x30\xb2\x3c\x94\xab\xf4\x60\x88\x26\x7a\xfa\x94\xfd\x2c\x2e\x22\x50\xd2"
      "\xd8\xac\x80\x3d\x7a\x81\xf0\xaf\x70\x6f\x3b\xea\xe8\xbc\x94\x4d\x3f\x9f"
      "\x8c\xe9\x55\x68\x67\xe9\x8e\x07\x7b\xe8\x02\x7b\x09\xa9\x05\x20\x6a\xb0"
      "\x28\xb2\x26\x15\x25\x91\x8d\xa7\x55\x7c\x83\xfc\x85\x8e\x14\xf2\x6a\xed"
      "\x52\xa5\xe6\x26\x9c\x98\xdb\xf6\xb8\x4b\x5c\x09\xbb\xf6\x42\x55\x77\x37"
      "\xe6\xf7\xec\x0c\x0e\x31\x55\xf9\xbb\x39\x6e\xd7\x3f\x75\x35\x27\x2f\x92"
      "\xf1\x3b\x8f\x8d\xd2\x40\x02\x81\x68\x36\xc5\x2d\x77\x0b\xeb\x86\x51\x16"
      "\x89\x7b\xa7\xfb\x34\xa1\x12\x4d\xcd\x0c\xcd\x6e\x71\x55\x08\x9e\xd0\xc6"
      "\x76\x8e\xbf\xda\xc9\x9a\xea\x96\x2d\xd7\x19\xc0\x27\x50\x5d\x5b\x6d\xb6"
      "\xb8\x50\x5d\xd4\x39\x59\x53\xfd\xe5\x1e\xc8\x20\xdf\x2b\x98\xba\x6e\x30"
      "\x4c\x03\xc8\x88\x0b\x1e\xfa\x9b\x19\x25\x96\x7a\x74\x6e\xdd\xd8\xd8\x36"
      "\x1e\x62\x5a\x89\xfd\x1a\xc8\xaa\x74\x72\x51\xc3\x09\x27\x65\x8e\xe7\x06"
      "\x91\x1e\x21\xa7\x02\x2f\x93\x2c\x17\xa7\x7a\xbe\x4c\x3b\x6d\x09\x04\x4d"
      "\x33\xa1\xeb\x53\x56\xeb\xb5\xbd\x2a\x8b\x79\xf0\x37\x96\x4d\xae\xff\xe3"
      "\x74\x2b\x08\x50\x69\x27\xdd\x80\x06\x9b\x2e\xe5\xc3\xc0\xd9\xdc\xd9\x7f"
      "\x19\x96\xd2\x0c\x08\x70\x28\xd8\xc3\x89\x4a\xa1\x07\x22\xde\xa5\x14\x98"
      "\xbe\xf4\x96\xbb\xf9\x88\xc5\x63\xc5\x06\x62\xa8\x5d\x6b\x8e\x98\xd4\x34"
      "\x4a\x4c\x81\xf2\x00\x11\xfe\x18\xe9\x10\x5b\x32\xaf\xdc\x58\xc8\xce\x17"
      "\xe0\x4e\xdb\x78\xc7\x67\xbe\x06\x28\xfe\x2b\x6d\x11\x41\xbc\xe1\x18\x38"
      "\x1c\x6f\x93\x82\xda\xca\x4e\xf9\x21\xfa\xce\xb8\xef\xc9\x31\x29\xc1\x92"
      "\x3f\x1c\x65\xba\xdb\xa5\x05\x4c\xf0\x38\x12\x69\x26\xc5\x30\xb7\x59\xf6"
      "\x83\xd9\xe6\x51\x33\x26\xdd\x95\x88\xb8\xe3\xed\x74\x57\x46\xf4\x25\x84"
      "\x60\xfe\x21\x93\x2e\xfb\x1c\x7a\x21\x47\xcf\xcd\x14\x82\x53\x9a\xe1\x76"
      "\xcb\xb1\x9a\x10\x00\x05\x03\x55\x2d\xa4\xac\xe4\xb8\x5f\x67\x2d\xa2\x3a"
      "\xa8\xae\x3c\x78\x96\xe0\xdb\x2a\x55\x16\x1f\xb9\xe4\xed\x85\x53\x08\x3b"
      "\x02\x9e\x82\x5d\xa2\xaa\xcf\x55\x9f\x0c\xba\x75\x0f\xc1\xae\x46\x64\x17"
      "\xb6\x77\xba\x1c\xda\xc3\xaa\xf0\x2d\x1c\x43\x8b\x19\xe2\x55\x43\xb5\xf2"
      "\x7d\x21\xed\x53\x00\xb6\x06\xce\x10\xaa\xb7\x2f\x9f\x80\xfd\xe1\x9d\x81"
      "\x1a\x8b\xb1\x11\xd7\x3a\x6b\x1a\x13\xa4\x66\xd5\xb8\x3f\x22\x01\x40\x68"
      "\xd2\x13\xe1\xdb\x89\xb4\x45\x38\x93\x6a\x63\xff\x3c\x36\x90\x58\x0b\xfc"
      "\x9c\x24\xaa\x90\x07\x08\x1f\xf6\xd1\x92\xf1\xae\x8e\x67\xfb\xc3\xae\xb3"
      "\xc4\xa3\xd9\xa1\x06\x7b\xa1\x35\x1e\xb3\xba\x1e\xd9\x81\x5b\xd5\xb2\xc3"
      "\x14\xa1\xde\x00\x0f\xec\x76\x46\xd0\x5e\xac\xb3\x47\xb4\xbd\x52\x48\x04"
      "\xfd\x9e\xe9\x9d\x37\xd8\xf3\xf3\x18\xb6\xd3\x5a\xb0\x5b\x1f\x4e\xd5\x67"
      "\xd6\x78\xc0\x43\xe9\x8e\x16\xd8\xf7\x7c\x1b\x71\xcc\xa7\x65\x70\x06\xab"
      "\xaa\xb1\x41\xaf\x8b\xa0\xa4\xc3\x62\x9a\x99\x2f\xd7\x9f\x52\x7b\x2e\x97"
      "\xa0\xe8\xfe\xff\xc1\xe9\xcc\x3d\xcf\xe2\xb6\xf2\x68\x0b\xa0\x9a\x6c\x6b"
      "\x86\xb3\x2c\xb6\x7a\xa4\x90\xb4\x89\x31\x6c\x8c\x35\x21\x73\xfb\xa9\xef"
      "\x33\xbd\x6c\x84\xfd\xf7\x19\xbb\xfb\x45\xaa\xa5\xdc\x93\xdc\xa5\x6b\x75"
      "\x5e\xf8\x34\x64\xe7\xaa\x4f\xd6\x55\x10\x51\x84\xa9\x11\xf4\x74\x7b\x57"
      "\x94\x0b\xbc\x6b\xd5\x48\x8a\x19\xb5\xbb\xdb\xf0\x23\x43\xf0\xb7\xbc\xe3"
      "\xe8\x77\x65\x84\x84\x87\x8b\x4b\x19\xb2\x8e\xfd\xe3\xb9\x1a\xd9\xbc\x1e"
      "\xde\x9f\x88\xaa\xf9\x06\x14\x27\x07\x63\x29\x7d\x61\x6f\x80\xfc\x55\x36"
      "\x3a\xf1\x7f\x00\xaa\x7a\x31\xb7\x65\x04\xd4\x81\xd5\xb3\xd8\x80\xc7\x2d"
      "\x1f\x3a\x03\xec\x38\x78\x56\xfd\x22\x22\x11\x6c\xa0\x81\x62\x96\xbf\x8d"
      "\x73\xd4\xa6\x11\x96\xfb\x54\x10\x2f\x84\x85\xb8\x99\x82\xcd\xb0\x0e\xfd"
      "\xf2\x41\xdf\xdb\x4a\x53\x60\x52\xb6\x0f\x3e\x23\x00\xed\xbf\xc5\xd4\xb2"
      "\xc1\x68\x81\x3e\x2c\x57\xf0\x46\x82\xc4\xf4\xd0\x41\x21\xdf\x4f\x04\x26"
      "\x79\x25\x84\x04\x3a\x18\x83\xfb\x98\xcc\xcf\xf2\x35\xec\xf1\x83\x68\x28"
      "\xbe\xfe\x40\x9a\x02\x0b\xe5\xf0\xb1\xf5\x7d\x0c\x15\xda\x65\x63\x62\x5f"
      "\xf9\xcc\x0f\x70\xb7\xa4\x58\xe9\x0c\x33\x5c\x36\xcf\xe3\x7b\x59\x91\x53"
      "\x8d\x2c\xb0\x89\xf8\x59\x31\x70\xc6\x24\x05\x9e\xfa\x96\x41\x44\x84\x68"
      "\x01\x2b\x71\xae\xb2\x57\x23\x8c\xe6\x4c\x95\xa2\x6a\x89\xfb\xc9\xa3\x4e"
      "\xc6\xf7\xe9\x54\xb7\x3b\x3c\xec\xc0\x4a\xe4\xbc\xd7\xea\xc1\x41\x4d\xb7"
      "\x4b\x71\xc2\x4f\x30\x47\xcd\x0d\x70\x80\x8e\xaf\x07\xd4\x5e\x90\x62\x28"
      "\x9a\x59\xed\x1c\xc4\xa0\x58\x49\x9f\xd1\x0d\xdb\x40\x3c\xee\x44\xd7\x1f"
      "\xb2\xd9\x5d\x0a\xbe\x34\x51\x99\x09\xde\xe6\xfa\x28\x5a\xaf\x7e\xca\x1a"
      "\xde\xc0\x74\x0c\x44\x35\x8f\xb1\x66\x7c\x55\xa9\x9e\xd2\x2b\x9d\xe7\x17"
      "\xdd\x30\x61\x8f\x07\x9f\xb9\x8e\x68\xb6\x0b\x6e\x3f\xd7\x1f\x57\x11\x7b"
      "\x2b\x97\x83\xbf\x46\xbd\x61\x48\x39\x04\x44\x87\x3a\xc8\xe4\x5a\x9e\x3c"
      "\x59\x69\x7e\xa0\xf0\xe9\x9d\xaf\xdd\xa9\x54\xe4\x77\x02\xda\x87\xd6\xce"
      "\x66\x15\xcc\x02\xec\x97\x0b\xea\xd4\x5d\x33\x54\x91\x58\xae\xb2\xfe\x97"
      "\xff\x3f\xcd\xd4\x0c\xe8\x14\xe4\x96\x13\x48\xc3\x2c\xc6\xe3\x22\xfc\x69"
      "\x03\x4a\x5f\x0c\x90\xe8\x03\x76\x4e\x13\x54\xa4\xc8\x6c\x16\xe0\x7d\xf8"
      "\x8b\x87\x1f\x8f\x91\x32\x48\x90\x72\xe0\xb3\x5f\xa8\x41\xb0\xee\x7c\x6c"
      "\xde\x04\x94\x17\x7f\xc9\x8e\x90\x25\xb4\xbe\xbe\xf6\x70\xd8\xad\xe4\x8a"
      "\x45\x08\x99\x5d\x8b\x5c\x3d\x40\x0e\xee\xc2\x0e\x29\x03\x3d\xe3\x33\x79"
      "\x1c\x77\x5b\x1a\xe2\x45\x08\x62\xb3\x43\xda\xbc\xb4\x6b\x1a\x2b\xcc\xe4"
      "\x57\xba\x26\xbe\x74\x05\xc5\x84\xe2\xa2\x5d\xc6\xf6\x8e\x6d\x19\x99\x4c"
      "\xe2\xf2\x7b\xad\x0c\x5b\x7e\x08\xe6\x1f\x89\x9e\x17\x2f\x98\x05\xd3\x1f"
      "\x79\x2f\x65\x6a\x3c\xa3\x0f\x2c\xab\xf9\xe4\x0c\x3c\x93\x8f\x6c\xf2\x69"
      "\xe8\x67\xd3\x3b\x0b\xca\x96\xf4\x56\xc5\x95\xb2\xce\x19\xb8\x94\xde\xad"
      "\x75\xe4\xd5\xd9\x06\x1e\xb1\x21\xc9\x6b\x57\xd1\xf1\xb4\xa2\xd3\x37\x13"
      "\x48\x37\xed\x33\x41\xb2\x14\xb1\xb1\xae\x02\xe4\x0e\x9f\x7a\xfc\x42\xf5"
      "\xa0\x9c\x94\xe1\x53\x5f\xaf\x69\x01\x51\xff\xf6\xe7\x2c\xfe\x9f\x4c\x69"
      "\xe2\x29\x88\x72\x1b\x0d\x9e\xd4\xa3\xb7\x88\x9a\xc7\x32\x84\x00\xac\xd3"
      "\x8d\xeb\xf5\x6d\x79\xf6\x80\x4e\x07\x8b\xe7\x2a\x94\x6e\x45\x10\x59\x59"
      "\x2d\x30\x4e\x65\x44\xa2\x55\xe1\x9b\xed\x65\x5e\x40\x68\xfe\x2f\xb2\x1c"
      "\x9a\x52\x67\x26\x6d\x70\x79\x30\x6a\x66\x0d\x0e\xa1\xc7\x78\x6f\x7e\xac"
      "\xdc\xd1\x08\xba\x0c\xa4\x48\x2b\xb5\x16\x41\x81\xde\xa5\xa1\x88\x1c\xfa"
      "\x42\xdc\xbe\x95\x13\xd3\x3a\x7f\xb7\x4e",
      4096));
  NONFAILING(*(uint16_t*)0x200000001584 = 0x1000);
  syscall(__NR_write, /*fd=*/r[0], /*data=*/0x200000000580ul, /*len=*/0x1006ul);
  //  ftruncate arguments: [
  //    fd: fd (resource)
  //    len: intptr = 0xda0 (8 bytes)
  //  ]
  syscall(__NR_ftruncate, /*fd=*/r[0], /*len=*/0xda0ul);
  return 0;
}