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

#define _GNU_SOURCE

#include <dirent.h>
#include <endian.h>
#include <errno.h>
#include <fcntl.h>
#include <pthread.h>
#include <setjmp.h>
#include <signal.h>
#include <stdarg.h>
#include <stdbool.h>
#include <stddef.h>
#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <sys/ioctl.h>
#include <sys/mman.h>
#include <sys/mount.h>
#include <sys/prctl.h>
#include <sys/stat.h>
#include <sys/syscall.h>
#include <sys/types.h>
#include <sys/wait.h>
#include <time.h>
#include <unistd.h>

#include <linux/futex.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;                                                                        \
  })

static void sleep_ms(uint64_t ms)
{
  usleep(ms * 1000);
}

static uint64_t current_time_ms(void)
{
  struct timespec ts;
  if (clock_gettime(CLOCK_MONOTONIC, &ts))
    exit(1);
  return (uint64_t)ts.tv_sec * 1000 + (uint64_t)ts.tv_nsec / 1000000;
}

static void thread_start(void* (*fn)(void*), void* arg)
{
  pthread_t th;
  pthread_attr_t attr;
  pthread_attr_init(&attr);
  pthread_attr_setstacksize(&attr, 128 << 10);
  int i = 0;
  for (; i < 100; i++) {
    if (pthread_create(&th, &attr, fn, arg) == 0) {
      pthread_attr_destroy(&attr);
      return;
    }
    if (errno == EAGAIN) {
      usleep(50);
      continue;
    }
    break;
  }
  exit(1);
}

typedef struct {
  int state;
} event_t;

static void event_init(event_t* ev)
{
  ev->state = 0;
}

static void event_reset(event_t* ev)
{
  ev->state = 0;
}

static void event_set(event_t* ev)
{
  if (ev->state)
    exit(1);
  __atomic_store_n(&ev->state, 1, __ATOMIC_RELEASE);
  syscall(SYS_futex, &ev->state, FUTEX_WAKE | FUTEX_PRIVATE_FLAG, 1000000);
}

static void event_wait(event_t* ev)
{
  while (!__atomic_load_n(&ev->state, __ATOMIC_ACQUIRE))
    syscall(SYS_futex, &ev->state, FUTEX_WAIT | FUTEX_PRIVATE_FLAG, 0, 0);
}

static int event_isset(event_t* ev)
{
  return __atomic_load_n(&ev->state, __ATOMIC_ACQUIRE);
}

static int event_timedwait(event_t* ev, uint64_t timeout)
{
  uint64_t start = current_time_ms();
  uint64_t now = start;
  for (;;) {
    uint64_t remain = timeout - (now - start);
    struct timespec ts;
    ts.tv_sec = remain / 1000;
    ts.tv_nsec = (remain % 1000) * 1000 * 1000;
    syscall(SYS_futex, &ev->state, FUTEX_WAIT | FUTEX_PRIVATE_FLAG, 0, &ts);
    if (__atomic_load_n(&ev->state, __ATOMIC_ACQUIRE))
      return 1;
    now = current_time_ms();
    if (now - start > timeout)
      return 0;
  }
}

static bool write_file(const char* file, const char* what, ...)
{
  char buf[1024];
  va_list args;
  va_start(args, what);
  vsnprintf(buf, sizeof(buf), what, args);
  va_end(args);
  buf[sizeof(buf) - 1] = 0;
  int len = strlen(buf);
  int fd = open(file, O_WRONLY | O_CLOEXEC);
  if (fd == -1)
    return false;
  if (write(fd, buf, len) != len) {
    int err = errno;
    close(fd);
    errno = err;
    return false;
  }
  close(fd);
  return true;
}

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

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

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

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

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

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

#define ZLIB_HEADER_WIDTH 2

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

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

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

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

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

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

static void kill_and_wait(int pid, int* status)
{
  kill(-pid, SIGKILL);
  kill(pid, SIGKILL);
  for (int i = 0; i < 100; i++) {
    if (waitpid(-1, status, WNOHANG | __WALL) == pid)
      return;
    usleep(1000);
  }
  DIR* dir = opendir("/sys/fs/fuse/connections");
  if (dir) {
    for (;;) {
      struct dirent* ent = readdir(dir);
      if (!ent)
        break;
      if (strcmp(ent->d_name, ".") == 0 || strcmp(ent->d_name, "..") == 0)
        continue;
      char abort[300];
      snprintf(abort, sizeof(abort), "/sys/fs/fuse/connections/%s/abort",
               ent->d_name);
      int fd = open(abort, O_WRONLY);
      if (fd == -1) {
        continue;
      }
      if (write(fd, abort, 1) < 0) {
      }
      close(fd);
    }
    closedir(dir);
  } else {
  }
  while (waitpid(-1, status, __WALL) != pid) {
  }
}

static void reset_loop()
{
  char buf[64];
  snprintf(buf, sizeof(buf), "/dev/loop%llu", procid);
  int loopfd = open(buf, O_RDWR);
  if (loopfd != -1) {
    ioctl(loopfd, LOOP_CLR_FD, 0);
    close(loopfd);
  }
}

static void setup_test()
{
  prctl(PR_SET_PDEATHSIG, SIGKILL, 0, 0, 0);
  setpgrp();
  write_file("/proc/self/oom_score_adj", "1000");
}

static void setup_sysctl()
{
  int cad_pid = fork();
  if (cad_pid < 0)
    exit(1);
  if (cad_pid == 0) {
    for (;;)
      sleep(100);
  }
  char tmppid[32];
  snprintf(tmppid, sizeof(tmppid), "%d", cad_pid);
  struct {
    const char* name;
    const char* data;
  } files[] = {
      {"/sys/kernel/debug/x86/nmi_longest_ns", "10000000000"},
      {"/proc/sys/kernel/hung_task_check_interval_secs", "20"},
      {"/proc/sys/net/core/bpf_jit_kallsyms", "1"},
      {"/proc/sys/net/core/bpf_jit_harden", "0"},
      {"/proc/sys/kernel/kptr_restrict", "0"},
      {"/proc/sys/kernel/softlockup_all_cpu_backtrace", "1"},
      {"/proc/sys/fs/mount-max", "100"},
      {"/proc/sys/vm/oom_dump_tasks", "0"},
      {"/proc/sys/debug/exception-trace", "0"},
      {"/proc/sys/kernel/printk", "7 4 1 3"},
      {"/proc/sys/kernel/keys/gc_delay", "1"},
      {"/proc/sys/vm/oom_kill_allocating_task", "1"},
      {"/proc/sys/kernel/ctrl-alt-del", "0"},
      {"/proc/sys/kernel/cad_pid", tmppid},
  };
  for (size_t i = 0; i < sizeof(files) / sizeof(files[0]); i++) {
    if (!write_file(files[i].name, files[i].data)) {
    }
  }
  kill(cad_pid, SIGKILL);
  while (waitpid(cad_pid, NULL, 0) != cad_pid)
    ;
}

struct thread_t {
  int created, call;
  event_t ready, done;
};

static struct thread_t threads[16];
static void execute_call(int call);
static int running;

static void* thr(void* arg)
{
  struct thread_t* th = (struct thread_t*)arg;
  for (;;) {
    event_wait(&th->ready);
    event_reset(&th->ready);
    execute_call(th->call);
    __atomic_fetch_sub(&running, 1, __ATOMIC_RELAXED);
    event_set(&th->done);
  }
  return 0;
}

static void execute_one(void)
{
  if (write(1, "executing program\n", sizeof("executing program\n") - 1)) {
  }
  int i, call, thread;
  for (call = 0; call < 5; call++) {
    for (thread = 0; thread < (int)(sizeof(threads) / sizeof(threads[0]));
         thread++) {
      struct thread_t* th = &threads[thread];
      if (!th->created) {
        th->created = 1;
        event_init(&th->ready);
        event_init(&th->done);
        event_set(&th->done);
        thread_start(thr, th);
      }
      if (!event_isset(&th->done))
        continue;
      event_reset(&th->done);
      th->call = call;
      __atomic_fetch_add(&running, 1, __ATOMIC_RELAXED);
      event_set(&th->ready);
      if (call == 0)
        break;
      event_timedwait(&th->done, 50 + (call == 0 ? 4000 : 0));
      break;
    }
  }
  for (i = 0; i < 100 && __atomic_load_n(&running, __ATOMIC_RELAXED); i++)
    sleep_ms(1);
}

static void execute_one(void);

#define WAIT_FLAGS __WALL

static void loop(void)
{
  int iter = 0;
  for (;; iter++) {
    reset_loop();
    int pid = fork();
    if (pid < 0)
      exit(1);
    if (pid == 0) {
      setup_test();
      execute_one();
      exit(0);
    }
    int status = 0;
    uint64_t start = current_time_ms();
    for (;;) {
      sleep_ms(10);
      if (waitpid(-1, &status, WNOHANG | WAIT_FLAGS) == pid)
        break;
      if (current_time_ms() - start < 5000)
        continue;
      kill_and_wait(pid, &status);
      break;
    }
  }
}

uint64_t r[1] = {0xffffffffffffffff};

void execute_call(int call)
{
  intptr_t res = 0;
  switch (call) {
  case 0:
    //  syz_mount_image$exfat arguments: [
    //    fs: ptr[in, buffer] {
    //      buffer: {65 78 66 61 74 00} (length 0x6)
    //    }
    //    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] {
    //      }
    //    }
    //    chdir: int8 = 0x2 (1 bytes)
    //    size: len = 0x14fe (8 bytes)
    //    img: ptr[in, buffer] {
    //      buffer: (compressed buffer with length 0x14fe)
    //    }
    //  ]
    //  returns fd_dir
    NONFAILING(memcpy((void*)0x200000000000, "exfat\000", 6));
    NONFAILING(memcpy((void*)0x200000000240, "./file0\000", 8));
    NONFAILING(memcpy(
        (void*)0x200000002180,
        "\x78\x9c\xec\xdc\x0b\xb4\xce\xd5\xd6\x30\xf0\x39\xd7\x5a\x7f\x36\x49"
        "\x4f\x92\xfb\x9a\x6b\xfe\x79\x92\xcb\x22\x49\x72\x49\x48\x24\x49\x92"
        "\x24\xb9\x25\x24\x49\x92\x84\xc4\x26\xb7\x24\x24\x21\xf7\x24\xf7\x90"
        "\xdc\x62\x27\xf7\xfb\x2d\xf7\x24\x39\x92\x24\x09\x09\x49\xd6\x37\x74"
        "\x3a\x9f\xf7\xbc\x9d\xf7\xed\x9c\xef\x9c\xef\xf5\x7d\x67\xcf\xdf\x18"
        "\x6b\xec\x35\xf7\xff\x99\xf3\x59\x6b\xcf\x3d\x9e\xff\x65\x8c\xbd\xbf"
        "\xed\x38\xb8\x6a\xfd\x6a\x95\xeb\x32\x33\xfc\x53\xf0\xcf\x5f\x52\x01"
        "\x20\x05\x00\xfa\x01\xc0\x35\x00\x10\x01\x40\xa9\x6c\xa5\xb2\x01\x0e"
        "\x83\x4c\x1a\x53\xff\xb9\x37\x11\xff\x5a\x0f\x4d\xbb\xd2\x2b\x10\x57"
        "\x92\xf4\x3f\x7d\x93\xfe\xa7\x6f\xd2\xff\xf4\x4d\xfa\x9f\xbe\x49\xff"
        "\xd3\x37\xe9\x7f\xfa\x26\xfd\x4f\xdf\xa4\xff\x42\xa4\x67\x5b\xa7\xe7"
        "\xbe\x56\x46\xfa\x1d\xff\x73\xcf\xff\x41\x9e\xff\xff\x3f\x47\xce\xff"
        "\xff\x46\x0e\x17\x1b\xf3\xe5\xfa\x62\xd7\x77\xfa\x07\x52\xa4\xff\xe9"
        "\x9b\xf4\x3f\x7d\x93\xfe\xa7\x6f\xd2\xff\xf4\x4d\xfa\x9f\xbe\x49\xff"
        "\xff\xcd\x45\x00\x95\xfe\x9b\xc3\xd2\xff\xf4\x4d\xfa\x2f\x44\x7a\x76"
        "\xa5\x9f\x3f\xcb\xb8\xb2\xe3\x4a\xff\xfe\x09\x21\x84\x10\x42\x08\x21"
        "\x84\x10\x42\x08\x21\x84\x10\x42\x08\x21\x84\x10\x42\x08\x21\x84\x10"
        "\x42\x08\x21\x84\x10\x42\x08\x21\x84\x10\x42\x08\x21\x84\x10\x42\x08"
        "\x21\x84\x10\x42\x08\x21\x84\x10\x42\x08\x21\x84\x10\x42\x08\x21\x84"
        "\x10\x42\x08\x21\x84\x10\x42\x08\x21\x84\x10\x42\x08\x21\x84\x10\x42"
        "\x08\x21\x84\x10\x42\x08\x21\x84\x10\x42\x08\x21\x84\x10\x42\x08\x21"
        "\x84\x10\x42\x08\x21\x84\x10\x42\x08\x21\x84\x10\x42\x08\x21\x84\x10"
        "\x42\x08\x21\x84\x10\x42\x08\x21\x84\x10\x42\x08\x21\x84\x10\x42\x08"
        "\x21\x84\x48\x1f\xce\x85\xcb\x0c\x00\xfc\x65\x7e\xa5\xd7\x25\x84\x10"
        "\x42\x08\x21\x84\x10\x42\x88\x7f\x9d\x90\xf1\x4a\xaf\x40\x08\x21\x84"
        "\x10\x42\x08\x21\x84\x10\xff\xf7\x21\x28\xd0\x60\x20\x82\x0c\x90\x11"
        "\x52\x20\x13\x64\x86\xab\x20\x0b\x5c\x0d\x59\xe1\x1a\x48\xc0\xb5\x90"
        "\x0d\xae\x83\xec\x70\x3d\xe4\x80\x9c\x90\x0b\x72\x43\x1e\xc8\x0b\xf9"
        "\xc0\x02\x81\x03\x86\x18\xf2\x43\x01\x48\xc2\x0d\x50\x10\x6e\x84\x42"
        "\x50\x18\x8a\x40\x51\xf0\x50\x0c\x8a\xc3\x4d\x50\x02\x6e\x86\x92\x70"
        "\x0b\x94\x82\x5b\xa1\x34\xdc\x06\x65\xa0\x2c\x94\x83\xf2\x70\x3b\x54"
        "\x80\x3b\xa0\x22\x54\x82\xca\x70\x27\x54\x81\xbb\xa0\x2a\x54\x83\xbb"
        "\xa1\x3a\xdc\x03\x35\xe0\x5e\xa8\x09\xf7\x41\x2d\xb8\x1f\x6a\xc3\x03"
        "\x50\x07\x1e\x84\xba\xf0\x10\xd4\x83\x87\xa1\x3e\x3c\x02\x0d\xe0\x51"
        "\x68\x08\x8d\xa0\x31\x34\x81\xa6\xff\x47\xf9\x2f\x42\x57\x78\x09\xba"
        "\x41\x77\x48\x85\x1e\xd0\x13\x5e\x86\x5e\xd0\x1b\xfa\x40\x5f\xe8\x07"
        "\xaf\x40\x7f\x78\x15\x06\xc0\x6b\x30\x10\x06\xc1\x60\x78\x1d\x86\xc0"
        "\x1b\x30\x14\xde\x84\x61\x30\x1c\x46\xc0\x5b\x30\x12\x46\xc1\x68\x18"
        "\x03\x63\x61\x1c\x8c\x87\xb7\x61\x02\xbc\x03\x13\xe1\x5d\x98\x04\x93"
        "\x61\x0a\x4c\x85\x69\x30\x1d\x66\xc0\x7b\x30\x13\x66\xc1\x6c\x78\x1f"
        "\xe6\xc0\x07\x30\x17\xe6\xc1\x7c\x58\x00\x0b\xe1\x43\x58\x04\x8b\x21"
        "\x0d\x3e\x82\x25\xf0\x31\x2c\x85\x65\xb0\x1c\x56\xc0\x4a\x58\x05\xab"
        "\x61\x0d\xac\x85\x75\xb0\x1e\x36\xc0\x46\xd8\x04\x9b\x61\x0b\x6c\x85"
        "\x4f\x60\x1b\x6c\x87\x1d\xb0\x13\x76\xc1\x6e\xd8\x03\x9f\xc2\x5e\xf8"
        "\x0c\xf6\xc1\xe7\xb0\x1f\xbe\xf8\x07\xf3\xcf\xfe\xa7\xfc\x4e\x08\x08"
        "\xa8\x50\xa1\x41\x83\x19\x30\x03\xa6\x60\x0a\x66\xc6\xcc\x98\x05\xb3"
        "\x60\x56\xcc\x8a\x09\x4c\x60\x36\xcc\x86\xd9\x31\x3b\xe6\xc0\x1c\x98"
        "\x0b\x73\x61\x1e\xcc\x83\xf9\x30\x1f\x12\x12\x32\x32\xe6\xc7\xfc\x98"
        "\xc4\x24\x16\xc4\x82\x58\x08\x0b\x61\x11\x2c\x82\x1e\x3d\x16\xc7\xe2"
        "\x58\x02\x6f\xc6\x92\x58\x12\x4b\x61\x29\x2c\x8d\xa5\xb1\x0c\x96\xc5"
        "\xb2\x58\x1e\xcb\x63\x05\xac\x80\x15\xb1\x22\x56\xc6\xca\x58\x05\xab"
        "\x60\x55\xac\x8a\x77\xe3\xdd\x78\x0f\xd6\xc0\x1a\x58\x13\x6b\x62\x2d"
        "\xac\x85\xb5\xb1\x36\xd6\xc1\x3a\x58\x17\xeb\x62\x3d\xac\x87\xf5\xb1"
        "\x3e\x36\xc0\x06\xd8\x10\x1b\x62\x63\x6c\x8c\x4d\xb1\x29\x36\xc3\x66"
        "\xd8\x1c\x9b\x63\x4b\x6c\x89\xad\xb0\x15\xb6\xc6\xd6\xd8\x06\xdb\x60"
        "\x5b\x6c\x8b\xed\xb0\x1d\xb6\xc7\xf6\xd8\x01\x3b\x60\x47\xec\x88\x9d"
        "\xb0\x33\x76\xc6\x17\xf1\x45\x7c\x09\x5f\xc2\xee\x58\x45\xf5\xc0\x9e"
        "\xd8\x13\x7b\x61\x2f\xec\x83\x7d\xb1\x2f\xbe\x82\xfd\xf1\x55\x7c\x15"
        "\x5f\xc3\x81\x38\x08\x07\xe3\xeb\xf8\x3a\xbe\x81\x43\xf1\x0c\x0e\xc3"
        "\xe1\x38\x02\x47\x60\x05\x35\x0a\x47\xe3\x18\x64\x35\x0e\xc7\xe3\x78"
        "\x9c\x80\x13\x70\x22\x4e\xc4\x49\x38\x19\x27\xe3\x54\x9c\x86\xd3\x71"
        "\x06\xce\xc0\x99\x38\x0b\x67\xe1\xfb\x38\x07\x3f\xc0\x0f\x70\x1e\xce"
        "\xc3\x05\xb8\x10\x17\xe2\x22\x5c\x8c\x69\x98\x86\x4b\xf0\x2c\x2e\xc5"
        "\x65\xb8\x1c\x57\xe0\x4a\x5c\x85\x2b\x71\x0d\xae\xc5\x35\xb8\x1e\x37"
        "\xe0\x7a\xdc\x84\x9b\x70\x0b\x6e\xc1\x4f\xf0\x13\xdc\x8e\xdb\x71\x27"
        "\xee\xc4\xdd\xb8\x1b\x3f\xc5\x4f\xf1\x33\xfc\x0c\x07\xe2\x7e\xdc\x8f"
        "\x07\xf0\x00\x1e\xc4\x83\x78\x08\x0f\xe1\x61\x3c\x8c\x47\xf0\x08\x1e"
        "\xc5\xa3\x78\x0c\x8f\xe1\x71\x3c\x8e\x27\xf0\x24\x9e\xc2\x93\x78\x1a"
        "\x4f\xe3\x19\x3c\x8b\xe7\xf0\x1c\x9e\xc7\xf3\x78\x01\x9f\xcf\xf3\x75"
        "\xbd\xdd\x85\xd7\x0d\x04\x75\x89\x51\x46\x65\x50\x19\x54\x8a\x4a\x51"
        "\x99\x55\x66\x95\x45\x65\x51\x59\x55\x56\x95\x50\x09\x95\x4d\x65\x53"
        "\xd9\x55\x76\x95\x43\xe5\x50\xb9\x54\x2e\x95\x47\xe5\x51\xf9\x54\x3e"
        "\x45\x8a\x14\xab\x58\xe5\x57\xf9\x55\x52\x25\x55\x41\x55\x50\x15\x52"
        "\x85\x54\x11\x55\x44\x79\xe5\x55\x71\x55\x5c\x95\x50\x25\x54\x49\x55"
        "\x52\x95\x52\xb7\xaa\xd2\xea\x36\x55\x46\x95\x55\x2d\x7c\x79\x55\x5e"
        "\x55\x50\x2d\x7d\x45\x55\x49\x55\x56\x95\x55\x15\x75\x97\xaa\xaa\xaa"
        "\xa9\x6a\xaa\xba\xaa\xae\x6a\xa8\x1a\xaa\xa6\xaa\xa9\x6a\xa9\x5a\xaa"
        "\xb6\x7a\x40\xd5\x51\x3d\xb0\x0f\x3e\xa4\x2e\x75\xa6\xbe\x1a\x84\x0d"
        "\xd4\x60\x6c\xa8\x1a\xa9\xc6\xaa\x89\x7a\x03\x1f\x53\xcd\xd4\x50\x6c"
        "\xae\x5a\xa8\x96\xea\x09\x35\x1c\x87\x61\x6b\xd5\xcc\xb7\x51\x4f\xab"
        "\xb6\x6a\x34\xb6\x53\xcf\xaa\x31\xf8\x9c\xea\xa0\xc6\x61\x47\xf5\x82"
        "\xea\xa4\x3a\xab\x2e\xea\x45\xd5\x55\x35\xf7\xdd\x32\xfc\xf6\x11\xa8"
        "\xa6\x62\x2f\xd5\x5b\xf5\x51\x7d\xd5\x4c\xbc\x4b\x5d\xea\x58\x55\xf5"
        "\x9a\x1a\xa8\x06\xa9\xc1\xea\x75\xb5\x00\xdf\x50\x43\xd5\x9b\x6a\x98"
        "\x1a\xae\x46\xa8\xb7\xd4\x48\x35\x4a\x8d\x56\x63\xd4\x58\x35\x4e\x8d"
        "\x57\x6f\xab\x09\xea\x1d\x35\x51\xbd\xab\x26\xa9\xc9\x6a\x8a\x9a\xaa"
        "\xa6\xa9\xe9\x6a\x86\x7a\x4f\xcd\x54\xb3\xd4\x6c\xf5\xbe\x9a\xa3\x3e"
        "\x50\x73\xd5\x3c\x35\x5f\x2d\x50\x0b\xd5\x87\x6a\x91\x5a\xac\xd2\xd4"
        "\x47\x6a\x89\xfa\x58\x2d\x55\xcb\xd4\x72\xb5\x42\xad\x54\xab\xd4\x6a"
        "\xb5\x46\xad\x55\xeb\xd4\x7a\xb5\x41\x6d\x54\x9b\xd4\x66\xb5\x45\x6d"
        "\x55\x9f\xa8\x6d\x6a\xbb\xda\xa1\x76\xaa\x5d\x6a\xb7\xda\xa3\x3e\x55"
        "\x7b\xd5\x67\x6a\x9f\xfa\x5c\xed\x57\x5f\xa8\x03\xea\x4f\xea\xa0\xfa"
        "\x52\x1d\x52\x5f\xa9\xc3\xea\x6b\x75\x44\x7d\xa3\x8e\xaa\x6f\xd5\x31"
        "\xf5\x9d\x3a\xae\xbe\x57\x27\xd4\x49\x75\x4a\xfd\xa0\x4e\xab\x1f\xd5"
        "\x19\x75\x56\x9d\x53\x3f\xa9\xf3\xea\x67\x75\x41\xfd\xa2\x2e\xaa\xa0"
        "\x40\xa3\x56\x5a\x6b\xa3\x23\x9d\x41\x67\xd4\x29\x3a\x93\xce\xac\xaf"
        "\xd2\x59\xf4\xd5\x3a\xab\xbe\x46\x27\xf4\xb5\x3a\x9b\xbe\x4e\x67\xd7"
        "\xd7\xeb\x1c\x3a\xa7\xce\xa5\x73\xeb\x3c\x3a\xaf\xce\xa7\xad\x26\xed"
        "\x34\xeb\x58\xe7\xd7\x05\x74\x52\xdf\xa0\x0b\xea\x1b\x75\x21\x5d\x58"
        "\x17\xd1\x45\xb5\xd7\xc5\x74\x71\x7d\x93\x2e\xa1\x6f\xd6\x25\xf5\x2d"
        "\xba\x94\xbe\x55\x97\xd6\xb7\xe9\x32\xba\xac\x2e\xa7\xcb\xeb\xdb\x75"
        "\x05\x7d\x87\xae\xa8\x2b\xe9\xca\xfa\x4e\x5d\x45\xdf\xa5\xab\xea\x6a"
        "\xfa\x6e\x5d\x5d\xdf\xa3\x6b\xe8\x7b\x75\x4d\x7d\x9f\xae\xa5\xef\xd7"
        "\xb5\xf5\x03\xba\x8e\x7e\x50\xd7\xd5\x0f\xe9\x7a\xfa\x61\x5d\x5f\x3f"
        "\xa2\x1b\xe8\x47\x75\x43\xdd\x48\x37\xd6\x4d\x74\x53\xfd\x98\x6e\xa6"
        "\x1f\xd7\xcd\x75\x0b\xdd\x52\x3f\xa1\x5b\xe9\x27\x75\x6b\xfd\x94\x6e"
        "\xa3\x9f\xd6\x6d\xf5\x33\xba\x9d\x7e\x56\xb7\xd7\xcf\xe9\x0e\xfa\x79"
        "\xdd\x51\xbf\xa0\x3b\xe9\xce\xba\x8b\xfe\x45\x5f\xd4\x41\x77\xd3\xdd"
        "\x75\xaa\xee\xa1\x7b\xea\x97\x75\x2f\xdd\x5b\xf7\xd1\x7d\x75\x3f\xfd"
        "\x8a\xee\xaf\x5f\xd5\x03\xf4\x6b\x7a\xa0\x1e\xa4\x07\xeb\xd7\xf5\x10"
        "\xfd\x86\x1e\xaa\xdf\xd4\xc3\xf4\x70\x3d\x42\xbf\xa5\x47\xea\x51\x7a"
        "\xb4\x1e\xa3\xc7\xea\x71\x7a\xbc\x7e\x5b\x4f\xd0\xef\xe8\x89\xfa\x5d"
        "\x3d\x49\x4f\xd6\x53\xf4\x54\x3d\x4d\x4f\xd7\x7d\x7e\xab\x34\xfb\xef"
        "\xc8\x7f\xe7\x6f\xe4\x0f\xf8\xf5\xdd\xb7\xe8\xad\xfa\x13\xbd\x4d\x6f"
        "\xd7\x3b\xf4\x4e\xbd\x4b\xef\xd6\x7b\xf4\x1e\xbd\x57\xef\xd5\xfb\xf4"
        "\x3e\xbd\x5f\xef\xd7\x07\xf4\x01\x7d\x50\x1f\xd4\x87\xf4\x21\x7d\x58"
        "\x1f\xd6\x47\xf4\x11\x7d\x54\x1f\xd5\xc7\xf4\x31\x7d\x5c\x1f\xd7\x27"
        "\xf4\x49\xfd\x93\xfe\x41\x9f\xd6\x3f\xea\x33\xfa\xac\x3e\xab\x7f\xd2"
        "\xe7\xf5\x79\x7d\xe1\xb7\x9f\x01\x18\x34\xca\x68\x63\x4c\x64\x32\x98"
        "\x8c\x26\xc5\x64\x32\x99\xcd\x55\x26\x8b\xb9\xda\x64\x35\xd7\x98\x84"
        "\xb9\xd6\x64\x33\xd7\x99\xec\xe6\x7a\x93\xc3\xe4\x34\xb9\x4c\x6e\x93"
        "\xc7\xe4\x35\xf9\x8c\x35\x64\x9c\x61\x13\x9b\xfc\xa6\x80\x49\x9a\x1b"
        "\x4c\x41\x73\xa3\x29\x64\x0a\x9b\x22\xa6\xa8\xf1\xa6\x98\x29\x6e\x6e"
        "\xfa\xa7\xf3\xff\x68\x7d\x4d\x4d\x53\xd3\xcc\x34\x33\xcd\x4d\x73\xd3"
        "\xd2\xb4\x34\xad\x4c\x2b\xd3\xda\xb4\x36\x6d\x4c\x1b\xd3\xd6\xb4\x35"
        "\xed\x4c\x3b\xd3\xde\xb4\x37\x1d\x4c\x07\xd3\xd1\x74\x34\x9d\x4c\x27"
        "\xd3\xc5\x74\x31\x5d\x4d\x57\xd3\xcd\x74\x33\xa9\x26\xd5\xf4\x34\x2f"
        "\x9b\x5e\xa6\xb7\xe9\x63\xfa\x9a\x7e\xe6\x15\xd3\xdf\xf4\x37\x03\xcc"
        "\x00\x33\xd0\x0c\x34\x83\xcd\x60\x33\xc4\x0c\x31\x43\xcd\x50\x33\xcc"
        "\x0c\x33\x23\xcc\x08\x33\xd2\x8c\x34\xa3\xcd\x68\x33\xd6\x8c\x35\xe3"
        "\xcd\x78\x33\xc1\x4c\x30\x13\xcd\x44\x33\xc9\x4c\x32\x53\xcc\x14\x33"
        "\xcd\x4c\x33\x33\xcc\x0c\x33\xd3\xcc\x34\xb3\xcd\x6c\x33\xc7\xcc\x31"
        "\x73\xcd\x5c\x33\xdf\xcc\x37\x0b\xcd\x42\xb3\xc8\x2c\x32\x69\x26\xcd"
        "\x2c\x31\x4b\xcc\x52\xb3\xcc\x2c\x33\x2b\xcc\x0a\xb3\xca\xac\x32\x6b"
        "\xcc\x1a\xb3\xce\xac\x33\x1b\xcc\x06\xb3\xc9\x6c\x32\x4b\xcd\x56\xb3"
        "\xd5\x6c\x33\xdb\xcc\x0e\xb3\xc3\xec\x32\xbb\xcc\x1e\xb3\xc7\xec\x35"
        "\x7b\xcd\x3e\xb3\xcf\xec\x37\xfb\xcd\x01\x73\xc0\x1c\x34\x07\xcd\x21"
        "\x73\xc8\x1c\x36\x87\xcd\x11\x73\xc4\x1c\x35\x47\xcd\x31\x73\xcc\x1c"
        "\x37\xc7\xcd\x09\x73\xc2\x9c\x32\xa7\xcc\x69\x73\xda\x9c\x31\x67\xcc"
        "\x39\x73\xce\x9c\x37\xe7\xcd\x05\x73\xc1\x5c\x34\x17\x2f\x5d\xf6\x45"
        "\x2a\x52\x91\x89\x4c\x94\x21\xca\x10\xa5\x44\x29\x51\xe6\x28\x73\x94"
        "\x25\xca\x12\x65\x8d\xb2\x46\x89\x28\x11\x65\x8b\xb2\x45\xd9\xa3\xeb"
        "\xa3\x1c\x51\xce\x28\x57\x94\x3b\xca\x13\xe5\x8d\x52\xc1\x46\x14\xb9"
        "\x88\xa3\x38\xca\x1f\x15\x88\x92\xd1\x0d\x51\xc1\xe8\xc6\xa8\x50\x54"
        "\x38\x2a\x12\x15\x8d\x7c\x54\x2c\x2a\x1e\xdd\x14\x95\x88\x6e\x8e\x4a"
        "\x46\xb7\x44\xa5\xa2\x5b\xa3\xd2\xd1\x6d\x51\x99\xa8\x6c\x54\x2e\x2a"
        "\x1f\xdd\x1e\x55\x88\xee\x88\x2a\x46\x95\xa2\xca\xd1\x9d\x51\x95\xe8"
        "\xae\xa8\x6a\x54\x2d\xba\x3b\xaa\x1e\xdd\x13\xd5\x88\xee\x8d\x6a\x46"
        "\xf7\x45\xb5\xa2\xfb\xa3\xda\xd1\x03\x51\x9d\xe8\xc1\xa8\x6e\xf4\x50"
        "\x54\x2f\x7a\x38\xaa\x1f\x3d\x12\x35\x88\x1e\x8d\x1a\x46\x8d\xa2\xc6"
        "\x51\x93\xa8\xe9\xbf\xb4\x7e\x08\x67\x72\x3e\xee\xbb\xd9\xee\x36\xd5"
        "\xf6\xb0\x3d\xed\xcb\xb6\x97\xed\x6d\xfb\xd8\xbe\xb6\x9f\x7d\xc5\xf6"
        "\xb7\xaf\xda\x01\xf6\x35\x3b\xd0\x0e\xb2\x83\xed\xeb\x76\x88\x7d\xc3"
        "\x0e\xb5\x6f\xda\x61\x76\xb8\x1d\x61\xdf\xb2\x23\xed\x28\x3b\xda\x8e"
        "\xb1\x63\xed\x38\x3b\xde\xbe\x6d\x27\xd8\x77\xec\x44\xfb\xae\x9d\x64"
        "\x27\xdb\x29\x76\xaa\x9d\x66\xa7\xdb\x19\xf6\x3d\x3b\xd3\xce\xb2\xb3"
        "\xed\xfb\x76\x8e\xfd\xc0\xce\xb5\xf3\xec\x7c\xbb\xc0\x2e\xb4\x1f\xda"
        "\x45\x76\xb1\x4d\xb3\x1f\xd9\x25\xf6\x63\xbb\xd4\x2e\xb3\xcb\xed\x0a"
        "\xbb\xd2\xae\xb2\xab\xed\x1a\xbb\xd6\xae\xb3\xeb\xed\x06\xbb\xd1\x6e"
        "\xb2\x9b\xed\x16\xbb\xd5\x7e\x62\xb7\xd9\xed\x76\x87\xdd\x69\x77\xd9"
        "\xdd\x76\x8f\xfd\xd4\xee\xb5\x9f\xd9\x7d\xf6\x73\xbb\xdf\x7e\x61\x0f"
        "\xd8\x3f\xd9\x83\xf6\x4b\x7b\xc8\x7e\x65\x0f\xdb\xaf\xed\x11\xfb\x8d"
        "\x3d\x6a\xbf\xb5\xc7\xec\x77\xf6\xb8\xfd\xde\x9e\xb0\x27\xed\x29\xfb"
        "\x83\x3d\x6d\x7f\xb4\x67\xec\x59\x7b\xce\xfe\x64\xcf\xdb\x9f\xed\x05"
        "\xfb\x8b\xbd\x68\xc3\xa5\x8b\xfb\x4b\xa7\x77\x32\x64\x28\x03\x65\xa0"
        "\x14\x4a\xa1\xcc\x94\x99\xb2\x50\x16\xca\x4a\x59\x29\x41\x09\xca\x46"
        "\xd9\x28\x3b\x65\xa7\x1c\x94\x83\x72\x51\x2e\xca\x43\x79\x28\x1f\xe5"
        "\xa3\x4b\x98\x98\xf2\x53\x7e\x4a\x52\x92\x0a\x52\x41\x2a\x44\x85\xa8"
        "\x08\x15\x21\x4f\x9e\x8a\x53\x71\x2a\x41\x25\xa8\x24\x95\xa4\x52\x54"
        "\x8a\x4a\x53\x69\x2a\x43\x65\xa8\x1c\x95\xa3\xdb\xe9\x76\xba\x83\xee"
        "\xa0\x4a\x54\x89\xee\xa4\x3b\xe9\x2e\xba\x8b\xaa\x51\x35\xaa\x4e\xd5"
        "\xa9\x06\xd5\xa0\x9a\x54\x93\x6a\x51\x2d\xaa\x4d\xb5\xa9\x0e\xd5\xa1"
        "\xba\x54\x97\xea\x51\x3d\xaa\x4f\xf5\xa9\x01\x35\xa0\x86\xd4\x90\x1a"
        "\x53\x63\x6a\x4a\x4d\xa9\x19\x35\xa3\xe6\xd4\x9c\x5a\x52\x4b\x6a\x45"
        "\xad\xa8\x35\xb5\xa6\x36\xd4\x86\xda\x52\x5b\x6a\x47\xed\xa8\x3d\xb5"
        "\xa7\x0e\xd4\x81\x3a\x52\x47\xea\x44\x9d\xa8\x0b\x75\xa1\xae\xd4\x95"
        "\xba\x51\x37\x4a\xa5\x54\xea\x49\x3d\xa9\x17\xf5\xa2\x3e\xd4\x87\xfa"
        "\x51\x3f\xea\x4f\xfd\x69\x00\x0d\xa0\x81\x34\x90\x06\xd3\x60\x1a\x42"
        "\x43\x68\x28\x0d\xa5\x61\x34\x9c\x46\xd0\x5b\x34\x92\x46\xd1\x68\x1a"
        "\x43\x63\x69\x1c\x8d\xa7\xf1\x34\x81\x26\xd0\x44\x9a\x48\x93\x68\x12"
        "\x4d\xa1\x29\x34\x8d\xa6\xd1\x0c\x9a\x41\x33\x69\x26\xcd\xa6\xd9\x34"
        "\x87\xe6\xd0\x5c\x9a\x4b\xf3\x69\x3e\x2d\xa4\x85\xb4\x88\x16\x51\x1a"
        "\xa5\xd1\x12\x5a\x42\x4b\x69\x29\x2d\xa7\xe5\xb4\x92\x56\xd2\x6a\x5a"
        "\x4d\x6b\x69\x2d\xad\xa7\xf5\xb4\x91\x36\xd2\x66\xda\x4c\x5b\x69\x2b"
        "\x6d\xa3\x6d\xb4\x83\x76\xd0\x2e\xda\x45\x7b\x68\x0f\xed\xa5\xbd\xb4"
        "\x8f\xf6\xd1\x7e\xda\x4f\x07\xe8\x00\x1d\xa4\x83\x74\x88\x0e\xd1\x61"
        "\x3a\x4c\x47\xe8\x08\x1d\xa5\xa3\x74\x8c\x8e\xd1\x71\x3a\x4e\x27\xe8"
        "\x04\x9d\xa2\x53\x74\x9a\x4e\xd3\x19\x3a\x43\xe7\xe8\x1c\x9d\xa7\x9f"
        "\xe9\x02\xfd\x42\x17\x29\x50\x8a\x53\x90\xd9\x5d\xe5\xb2\xb8\xab\x5d"
        "\x56\x77\x8d\x4b\x71\x99\xdc\xa5\x38\x02\x80\x4b\x71\x2e\x97\xdb\xe5"
        "\x71\x79\x5d\x3e\x67\x5d\x0e\x97\xf3\xaf\x62\x72\xce\x15\x72\x85\x5d"
        "\x11\x57\xd4\x79\x57\xcc\x15\x77\x37\xfd\x2e\x2e\xe3\xca\xba\x72\xae"
        "\xbc\xbb\xdd\x55\x70\x77\xb8\x8a\xbf\x8b\xab\xbb\x7b\x5c\x0d\x77\xaf"
        "\xab\xe9\xee\x73\xd5\xdc\xdd\x7f\x15\xd7\x72\xf7\xbb\xda\xee\x11\x57"
        "\xc7\x3d\xea\xea\xba\x46\xae\x9e\x6b\xe2\xea\xbb\x47\x5c\x03\xf7\xa8"
        "\x6b\xe8\x1a\xb9\xc6\xae\x89\x6b\xe5\x9e\x74\xad\xdd\x53\xae\x8d\x7b"
        "\xda\xb5\x75\xcf\xfc\x2e\x5e\xe4\x16\xbb\xb5\x6e\x9d\x5b\xef\x36\xb8"
        "\xbd\xee\x33\x77\xce\xfd\xe4\x8e\xba\x6f\xdd\x79\xf7\xb3\xeb\xe6\xba"
        "\xbb\x7e\xee\x15\xd7\xdf\xbd\xea\x06\xb8\xd7\xdc\x40\x37\xe8\x77\xf1"
        "\x08\xf7\x96\x1b\xe9\x46\xb9\xd1\x6e\x8c\x1b\xeb\xc6\xfd\x2e\x9e\xe2"
        "\xa6\xba\x69\x6e\xba\x9b\xe1\xde\x73\x33\xdd\xac\xdf\xc5\x0b\xdd\x87"
        "\x6e\x8e\x4b\x73\x73\xdd\x3c\x37\xdf\x2d\xf8\x35\xbe\xb4\xa6\x34\xf7"
        "\x91\x5b\xe2\x3e\x76\x4b\xdd\x32\xb7\xdc\xad\x70\x2b\xdd\x2a\xb7\xda"
        "\xad\xf9\xdf\x6b\x5d\xe1\x36\xb9\xcd\x6e\x8b\xdb\xe3\x3e\x75\xdb\xdc"
        "\x76\xb7\xc3\xed\x74\xbb\xdc\xee\x5f\xe3\x4b\xfb\xd8\xe7\x3e\x77\xfb"
        "\xdd\x17\xee\x88\xfb\xc6\x1d\x74\x5f\xba\x43\xee\x98\x3b\xec\xbe\xfe"
        "\x35\xbe\xb4\xbf\x63\xee\x3b\x77\xdc\x7d\xef\x4e\xb8\x93\xee\x94\xfb"
        "\xc1\x9d\x76\x3f\xba\x33\xee\xec\xaf\xfb\xbf\xb4\xf7\x1f\xdc\x2f\xee"
        "\xa2\x0b\x0e\x18\x59\xb1\x66\xc3\x11\x67\xe0\x8c\x9c\xc2\x99\x38\x33"
        "\x5f\xc5\x59\xf8\x6a\xce\xca\xd7\x70\x82\xaf\xe5\x6c\x7c\x1d\x67\xe7"
        "\xeb\x39\x07\xe7\xe4\x5c\x9c\x9b\xf3\x70\x5e\xce\xc7\x96\x89\x1d\x33"
        "\xc7\x9c\x9f\x0b\x70\x92\x6f\xe0\x82\x7c\x23\x17\xe2\xc2\x5c\x84\x8b"
        "\xb2\xe7\x62\x5c\x9c\x6f\xe2\x12\x7c\x33\x97\xe4\x5b\xb8\x14\xdf\xca"
        "\xa5\xf9\x36\x2e\xc3\x65\xb9\x1c\x97\xe7\xdb\xb9\x02\xdf\xc1\x15\xb9"
        "\x12\x57\xe6\x3b\xb9\x4a\x08\x5c\x95\xab\xf1\xdd\x5c\x9d\xef\xe1\x1a"
        "\x7c\x2f\xd7\xe4\xfb\xb8\x16\xdf\xcf\xb5\xf9\x01\xae\xc3\x0f\x72\x5d"
        "\x7e\x88\xeb\xf1\xc3\x5c\x9f\x1f\xe1\x06\xfc\x28\x37\xe4\x46\xdc\x98"
        "\x9b\x70\x53\x7e\x8c\x9b\xf1\xe3\xdc\x9c\x5b\x70\x4b\x7e\x82\x5b\xf1"
        "\x93\xdc\x9a\x9f\xe2\x36\xfc\x34\xb7\xe5\x67\xb8\x1d\x3f\xcb\xed\xf9"
        "\x39\xee\xc0\xcf\x73\x47\x7e\x81\x3b\x71\x67\xee\xc2\x2f\x72\x57\x7e"
        "\x89\xbb\x71\x77\x4e\xe5\x1e\xdc\x93\x5f\xe6\x5e\xdc\x9b\xfb\x70\x5f"
        "\xee\xc7\xaf\x70\x7f\x7e\x95\x07\xf0\x6b\x3c\x90\x07\xf1\x60\x7e\x9d"
        "\x87\xf0\x1b\x3c\x94\xdf\xe4\x61\x3c\x9c\x47\xf0\x5b\x3c\x92\x47\xf1"
        "\x68\x1e\xc3\x63\x79\x1c\x8f\xe7\xb7\x79\x02\xbf\xc3\x13\xf9\x5d\x9e"
        "\xc4\x93\x79\x0a\x4f\xe5\x69\x3c\x9d\x67\xf0\x7b\x3c\x93\x67\xf1\x6c"
        "\x7e\x9f\xe7\xf0\x07\x3c\x97\xe7\xf1\x7c\x5e\xc0\x0b\xf9\x43\x5e\xc4"
        "\x8b\x39\x8d\x3f\xe2\x25\xfc\x31\x2f\xe5\x65\xbc\x9c\x57\xf0\x4a\x5e"
        "\xc5\xab\x79\x0d\xaf\xe5\x75\xbc\x9e\x37\xf0\x46\xde\xc4\x9b\x79\x0b"
        "\x6f\xe5\x4f\x78\x1b\x6f\xe7\x1d\xbc\x93\x77\xf1\x6e\xde\xc3\x9f\xf2"
        "\x5e\xfe\x8c\xf7\xf1\xe7\xbc\x9f\xbf\xe0\x03\xfc\x27\x3e\xc8\x5f\xf2"
        "\x21\xfe\x8a\x0f\xf3\xd7\x7c\x84\xbf\xe1\xa3\xfc\x2d\x1f\xe3\xef\xf8"
        "\x38\x7f\xcf\x27\xf8\x24\x9f\xe2\x1f\xf8\x34\xff\xc8\x67\xf8\x2c\x9f"
        "\xe3\x9f\xf8\x3c\xff\xcc\x17\xf8\x17\xbe\xc8\x81\x21\xc6\x58\xc5\x3a"
        "\x36\x71\x14\x67\x88\x33\xc6\x29\x71\xa6\x38\x73\x7c\x55\x9c\x25\xbe"
        "\x3a\xce\x1a\x5f\x13\x27\xe2\x6b\xe3\x6c\xf1\x75\x71\xf6\xf8\xfa\x38"
        "\x47\x9c\x33\xce\x15\xe7\x8e\xf3\xc4\x79\xe3\x7c\xb1\x8d\x29\x76\x31"
        "\xc7\x71\x9c\x3f\x2e\x10\x27\xe3\x1b\xe2\x82\xf1\x8d\x71\xa1\xb8\x70"
        "\x5c\x24\x2e\x1a\xfb\xb8\x58\x5c\x3c\xbe\x29\x2e\x11\xdf\x1c\x97\x8c"
        "\x6f\x89\x4b\xc5\xb7\xc6\xa5\xe3\xdb\xe2\x32\x71\xd9\xf8\x91\xfb\xca"
        "\xc7\xb7\xc7\x15\xe2\x3b\xe2\x8a\x71\xa5\xb8\x72\x7c\x67\x5c\x25\xbe"
        "\x2b\xae\x1a\x57\x8b\xef\x8e\xab\xc7\xf7\xc4\x35\xe2\x7b\xe3\x9a\xf1"
        "\x7d\x71\xc9\xf8\xfe\xb8\x76\xfc\x40\x5c\x27\x7e\x30\xae\x1b\x3f\x14"
        "\xd7\x8b\x1f\x8e\xeb\xc7\x8f\xc4\x0d\xe2\x47\xe3\x86\x71\xa3\xb8\x71"
        "\xdc\x24\x6e\x1a\x3f\x16\x37\x8b\x1f\x8f\x9b\xc7\x2d\xe2\x96\xf1\x13"
        "\x71\xab\xf8\xc9\xb8\x75\xfc\x54\xdc\x26\x7e\x3a\x6e\x1b\x3f\xf3\x87"
        "\xc7\x53\xe3\x1e\x71\xcf\xf8\xe5\xf8\xe5\x38\x84\x7b\xf5\xfc\xe4\x82"
        "\xe4\xc2\xe4\x87\xc9\x45\xc9\xc5\xc9\xb4\xe4\x47\xc9\x25\xc9\x8f\x93"
        "\x4b\x93\xcb\x92\xcb\x93\x2b\x92\x2b\x93\xab\x92\xab\x93\x6b\x92\x6b"
        "\x93\xeb\x92\xeb\x93\x1b\x92\x1b\x93\x9b\x92\x9b\x93\x5b\x92\x21\x54"
        "\xcb\x08\x1e\xbd\xf2\xda\x1b\x1f\xf9\x0c\x3e\xa3\x4f\xf1\x99\x7c\x66"
        "\x7f\x95\xcf\xe2\xaf\xf6\x59\xfd\x35\x3e\xe1\xaf\xf5\xd9\xfc\x75\x3e"
        "\xbb\xbf\xde\xe7\xf0\x39\x7d\x2e\x9f\xdb\xe7\xf1\x79\x7d\x3e\x6f\x3d"
        "\x79\xe7\xd9\xc7\x3e\xbf\x2f\xe0\x93\xfe\x06\x5f\xd0\xdf\xe8\x0b\xf9"
        "\xc2\xbe\x88\x2f\xea\xbd\x2f\xe6\x8b\xfb\x26\xbe\xa9\x6f\xea\x9b\xf9"
        "\xc7\x7d\x73\xdf\xc2\xb7\xf4\x4f\xf8\x27\xfc\x93\xfe\x49\xff\x94\x7f"
        "\xca\x3f\xed\xdb\xfa\x67\x7c\x3b\xff\xac\x6f\xef\x9f\xf3\x1d\xfc\xf3"
        "\xfe\x79\xff\x82\xef\xe4\x3b\xfb\x2e\xfe\x45\xdf\xd5\xbf\xe4\xbb\xf9"
        "\xee\x3e\xd5\xa7\xfa\x9e\xbe\xa7\xef\xe5\x7b\xf9\x3e\xbe\x8f\xef\xe7"
        "\xfb\xf9\xfe\xbe\xbf\x1f\xe0\x07\xf8\x81\x7e\xa0\x1f\xec\x07\xfb\x21"
        "\x7e\x88\x1f\xea\x87\xfa\x61\x7e\x98\x1f\xe1\x47\xf8\x91\x7e\xa4\x1f"
        "\xed\x47\xfb\xb1\x7e\xac\x1f\xef\xc7\xfb\x09\x7e\x82\x9f\xe8\x27\xfa"
        "\x49\x7e\x92\x9f\xe2\xa7\xf8\x69\x7e\x9a\x9f\xe1\x67\xf8\x99\x7e\xa6"
        "\x9f\xed\x67\xfb\x39\x85\xe6\xf8\xb9\x7e\xae\x9f\xef\xe7\xfb\x85\x7e"
        "\xa1\x5f\xe4\x17\xf9\x34\x9f\xe6\x97\xf8\x25\x7e\xa9\x5f\xea\x97\xfb"
        "\xe5\x7e\xa5\x5f\xe9\x57\xfb\xd5\x7e\xad\x5f\xeb\xd7\xfb\xf5\x7e\xa3"
        "\xdf\xe8\x37\xfb\xcd\x7e\xab\xdf\xea\xb7\xf9\x6d\x7e\x87\xdf\xe1\x77"
        "\xf9\x5d\x7e\x8f\xdf\xe3\xf7\xfa\xbd\x7e\x9f\xdf\xe7\xf7\xfb\xfd\xfe"
        "\x80\x3f\xe0\x0f\xfa\x83\xfe\x90\xff\xca\x1f\xf6\x5f\xfb\x23\xfe\x1b"
        "\x7f\xd4\x7f\xeb\x8f\xf9\xef\xfc\x71\xff\xbd\x3f\xe1\x4f\xfa\x53\xfe"
        "\x07\x7f\xda\xff\xe8\xcf\xf8\xb3\xfe\x9c\xff\xc9\x9f\xf7\x3f\xfb\x0b"
        "\xfe\x17\x7f\xd1\x07\x3f\x3e\xf1\x76\x62\x42\xe2\x9d\xc4\xc4\xc4\xbb"
        "\x89\x49\x89\xc9\x89\x29\x89\xa9\x89\x69\x89\xe9\x89\x19\x89\xf7\x12"
        "\x33\x13\xb3\x12\xb3\x13\xef\x27\xe6\x24\x3e\x48\xcc\x4d\xcc\x4b\xcc"
        "\x4f\x2c\x48\x2c\x4c\x7c\x98\x58\x94\x58\x9c\x48\x4b\x7c\x94\x58\x92"
        "\xf8\x38\xb1\x34\xb1\x2c\xb1\x3c\xb1\x22\xb1\x32\xb1\x2a\x11\x42\xde"
        "\x6d\x71\xc8\x1f\x0a\x84\x64\xb8\x21\x14\x0c\x37\x86\x42\xa1\x70\x28"
        "\x12\x8a\x06\x1f\x8a\x85\xe2\xe1\xa6\x50\x22\xdc\x1c\x4a\x86\x5b\x42"
        "\xa9\x70\x6b\x28\x1d\x6e\x0b\x65\x42\xd9\x50\x2e\x3c\x1a\x1a\x86\x46"
        "\xa1\x71\x68\x12\x9a\x86\xc7\x42\xb3\xf0\x78\x68\x1e\x5a\x84\x96\xe1"
        "\x89\xd0\x2a\x3c\x19\x5a\x87\xa7\x42\x9b\xf0\x74\x68\x1b\x9e\x09\xed"
        "\xc2\xb3\xa1\x7d\x78\x2e\x74\x08\xcf\x87\x8e\xe1\x85\xd0\x29\x74\x0e"
        "\x5d\xc2\x8b\xa1\x6b\x78\x29\x74\x0b\xdd\x43\x6a\xe8\x11\x7a\x86\x97"
        "\x43\xaf\xd0\x3b\xf4\x09\x7d\x43\xbf\xf0\x4a\xe8\x1f\x5e\x0d\x03\xc2"
        "\x6b\x61\x60\x18\x14\x06\x87\xd7\xc3\x90\xf0\x46\x18\x1a\xde\x0c\xc3"
        "\xc2\xf0\x30\x22\xbc\x15\x46\x86\x51\x61\x74\x18\x13\xc6\x86\x71\x61"
        "\x7c\x78\x3b\x4c\x08\xef\x84\x89\xe1\xdd\x30\x29\x4c\x0e\x53\xc2\xd4"
        "\x30\x2d\x4c\x0f\x33\xc2\x7b\x61\x66\x98\x15\x66\x87\xf7\xc3\x9c\xf0"
        "\x41\x98\x1b\xe6\x85\xf9\x61\x41\x58\x18\x3e\x0c\x8b\xc2\xe2\x90\x16"
        "\x3e\x0a\x4b\xc2\xc7\x61\x69\x58\x16\x96\x87\x15\x61\x65\x58\x15\x56"
        "\x87\x35\x61\x6d\x58\x17\xd6\x87\x0d\x61\x63\xd8\x14\x36\x87\x2d\x61"
        "\x6b\xf8\x24\x6c\x0b\xdb\xc3\x8e\xb0\x33\xec\x0a\xbb\xc3\x9e\xf0\x69"
        "\xd8\x1b\x3e\x0b\xfb\xc2\xe7\x61\x7f\xf8\x22\x1c\x08\x7f\x0a\x07\xc3"
        "\x97\xe1\x50\xf8\x2a\x1c\x0e\x5f\x87\x23\xe1\x9b\x70\x34\x7c\x1b\x8e"
        "\x85\xef\xc2\xf1\xf0\x7d\x38\x11\x4e\x86\x53\xe1\x87\x70\x3a\xfc\x18"
        "\xce\x84\xb3\xe1\x5c\xf8\x29\x9c\x0f\x3f\x87\x0b\xe1\x97\x70\x51\xfe"
        "\x66\x4d\x08\x21\x84\x10\xe2\xef\xa2\xff\xe0\x78\x8f\xbf\xf1\xbd\x0c"
        "\x00\xa0\x7e\x9b\xf7\x04\x80\xab\xb7\xe7\x3e\xfc\x9f\x6b\x6e\xcc\xf1"
        "\xe7\x79\x6f\x95\xa7\x55\x02\x00\x9e\xee\xde\xf1\xa1\xbf\x8c\x2a\x55"
        "\x52\x53\x53\x7f\x7b\xed\x52\x0d\x51\x81\x79\x00\x90\xf8\xeb\xfa\x7f"
        "\x89\x97\x41\x4b\x78\x12\xda\x40\x0b\x28\xf1\x37\xd7\xd7\x5b\x75\x3e"
        "\xcf\x7f\x50\x3f\x79\x2b\x40\xe6\xff\x90\x93\x02\x97\xe3\xcb\xf5\x6f"
        "\xfe\x2f\xea\x3f\xf6\xc4\x88\x45\xa5\xe3\x73\xd9\xfe\x9b\xfa\xf3\x00"
        "\x0a\x15\xb8\x9c\x93\x09\x2e\xc7\x97\xeb\x97\xfc\x2f\xea\xe7\x6c\xf6"
        "\x07\xeb\xcf\xf4\xe5\x78\x80\xe6\xff\x21\x27\x0b\x5c\x8e\x2f\xd7\x2f"
        "\x0e\x8f\xc3\x33\xd0\xe6\xaf\x5e\x29\x84\x10\x42\x08\x21\x84\x10\x42"
        "\xfc\x59\x6f\x55\xae\xfd\x1f\xdd\x3f\x5f\xba\x3f\xcf\x63\x2e\xe7\x64"
        "\x84\xcb\xf1\x1f\xdd\x9f\x0b\x21\x84\x10\x42\x08\x21\x84\x10\xe2\xca"
        "\x7b\xae\x73\x97\xa7\x1e\x6b\xd3\xa6\x45\xfb\xbf\x6f\x82\xbf\x3d\x17"
        "\xf8\xc7\xb2\x64\x22\x13\x99\xfc\x7f\x36\xb9\xd2\x9f\x4c\x42\x08\x21"
        "\x84\x10\x42\x88\x7f\xb5\xcb\x17\xfd\x57\x7a\x25\x42\x08\x21\x84\x10"
        "\x42\x08\x21\x84\x10\x42\x08\x21\x84\x10\x42\x08\x21\x84\x10\x42\x08"
        "\x21\x84\x10\x42\x08\x21\x84\x10\x42\x08\x21\x84\x10\x42\x08\x21\x44"
        "\xfa\xf5\x3f\xf1\xef\xc4\xae\xf4\x1e\x85\x10\x42\x08\x21\x84\x10\x42"
        "\x08\x21\x84\x10\x42\x08\x21\x84\x10\x42\x08\x21\x84\x10\x42\x08\x21"
        "\x84\x10\x42\x08\x21\x84\x10\x42\x08\x21\x84\x10\x42\x08\x21\x84\x10"
        "\x42\x08\x21\x84\x10\x42\x88\x2b\xed\x7f\x05\x00\x00\xff\xff\x96\xec"
        "\x39\x69",
        5374));
    NONFAILING(syz_mount_image(/*fs=*/0x200000000000, /*dir=*/0x200000000240,
                               /*flags=*/0, /*opts=*/0x200000000600,
                               /*chdir=*/2, /*size=*/0x14fe,
                               /*img=*/0x200000002180));
    break;
  case 1:
    //  creat arguments: [
    //    file: ptr[in, buffer] {
    //      buffer: {2e 2f 62 75 73 00} (length 0x6)
    //    }
    //    mode: open_mode = 0x0 (8 bytes)
    //  ]
    //  returns fd
    NONFAILING(memcpy((void*)0x200000000040, "./bus\000", 6));
    syscall(__NR_creat, /*file=*/0x200000000040ul, /*mode=*/0ul);
    break;
  case 2:
    //  mount arguments: [
    //    src: ptr[in, blockdev_filename] {
    //      union blockdev_filename {
    //        loop: loop_filename {
    //          prefix: buffer: {2f 64 65 76 2f 6c 6f 6f 70} (length 0x9)
    //          id: proc = 0x0 (1 bytes)
    //          z: const = 0x0 (1 bytes)
    //        }
    //      }
    //    }
    //    dst: ptr[in, buffer] {
    //      buffer: {2e 2f 62 75 73 00} (length 0x6)
    //    }
    //    type: nil
    //    flags: mount_flags = 0x1000 (8 bytes)
    //    data: nil
    //  ]
    NONFAILING(memcpy((void*)0x2000000002c0, "/dev/loop", 9));
    NONFAILING(*(uint8_t*)0x2000000002c9 = 0x30 + procid * 1);
    NONFAILING(*(uint8_t*)0x2000000002ca = 0);
    NONFAILING(memcpy((void*)0x200000000140, "./bus\000", 6));
    syscall(__NR_mount, /*src=*/0x2000000002c0ul, /*dst=*/0x200000000140ul,
            /*type=*/0ul, /*flags=MS_BIND*/ 0x1000ul, /*data=*/0ul);
    break;
  case 3:
    //  open arguments: [
    //    file: ptr[in, buffer] {
    //      buffer: {2e 2f 62 75 73 00} (length 0x6)
    //    }
    //    flags: open_flags = 0x44842 (8 bytes)
    //    mode: open_mode = 0x0 (8 bytes)
    //  ]
    //  returns fd
    NONFAILING(memcpy((void*)0x200000000040, "./bus\000", 6));
    res = syscall(
        __NR_open, /*file=*/0x200000000040ul,
        /*flags=O_NONBLOCK|O_NOATIME|O_DIRECT|O_CREAT|O_RDWR*/ 0x44842ul,
        /*mode=*/0ul);
    if (res != -1)
      r[0] = res;
    break;
  case 4:
    //  write$char_usb arguments: [
    //    fd: fd_char_usb (resource)
    //    buf: ptr[in, buffer] {
    //      buffer: {ef 51 e1 c4 c7 2f 59 26 f1 4b 99 6e d0 d5 3c ed 7e 1d a6 8c
    //      27 25 8e 06 57 87 36 04 16 97 dd 07 b5 7e 49 9b 4d db 64 95 61 60 e1
    //      ee 83 b4 7e f7 75 56 1f 20 d4 79 a5 5c aa ec 3a dd 01 d4 84 29 d7 94
    //      c6 b5 cb d2 59 d9 cd 13 da 11 91 3c 5e 51 b0 d8 86 9c a6 b2 94 8a db
    //      a3 55 fe 4c 67 a9 78 8f a8 12 18 5b 96 b9 f1 ec 41 ce c8 b9 aa e0 d6
    //      cb d9 94 76 c5 f4 81 cd 0d 09 f4 f4 c2 82 b5 73 a4 ee 95 54 7e e8 d7
    //      a6 98 6a ed ed bf e9 ea 47 69 bc bb 23 bb 61 5b 09 c8 69 2e 04 d8 e4
    //      45 4f b6 9e 46 84 3e 3d f4 ef 3a 8a d6 0c 5c 19 72 29 ca 4d 6e 3f 8b
    //      1b 31 87 a7 82 09 e2 f4 50 68 bc c6 16 b3 ed af 36 a9 b0 57 74 e4 61
    //      e4 c8 94 b1 8e 0a c0 fc 30 96 1c 39 4d 0a f0 82 72 89 10 1e 0f dd 7b
    //      06 a4 50 8c 94 43 29 61 e0 22 70 57 b1 17 f4 95 28 c3 14 af e3 b1 f7
    //      75 c1 79 98 c2 57 5a b9 6c 06 72 16 76 4c f5 f6 d3 07 8e f7 3b 55 3c
    //      5a f4 cf ae 07 42 28 30 24 34 67 a8 15 c2 3f 70 08 d7 d8 d6 97 7a bb
    //      c6 42 ca a0 1b cb 59 62 c8 41 1d 21 6c f8 ca 8f f2 4b 9a e0 3b 71 88
    //      29 53 75 34 fa 89 88 80 39 cb 36 ff 57 ba 77 85 1c a6 f0 8f 9f 72 fb
    //      4d ec 0a 4d fd 21 1b dd 0e 7c 6b e2 f8 cf c2 cd a4 49 f8 d9 5c a3 4f
    //      d5 6b ee 8d 7d 3e 8b 55 ab 77 e0 cb 19 90 29 46 e9 d5 16 6b a3 ab 8e
    //      d7 40 3e d8 ee 91 93 ff 9d e9 2d 6c 74 4e 6c 79 33 74 43 95 80 2e 90
    //      f5 53 e8 b2 a6 f2 8e df c5 bd 47 a6 23 c6 15 44 e1 ce a1 40 92 c7 68
    //      67 f3 05 e1 d2 6f a3 12 13 b3 ef fe 58 84 cb 6a c0 c3 6b 4e c8 d8 1e
    //      84 6d 44 31 56 c0 70 ea 62 fd 16 84 40 00 c9 5d 8e 47 94 32 3d 83 42
    //      ec a0 39 c5 4a ad 23 0b fd 44 71 d6 56 37 f1 10 7e 60 db 1a 08 ca a9
    //      15 0f b0 1c f7 02 dd 04 0a 64 11 a4 8b 01 07 b3 41 38 ba 68 ec cc 1f
    //      34 e9 a7 6e 17 3e d2 8d 44 36 3b 1c 7b d8 69 7a c1 14 53 ea 0b 93 8b
    //      4d 31 cb 8c 6a b2 e9 8a bb 57 7f a7 0e bb 36 fd ac 2b 4e e7 93 4f 25
    //      ce b0 3d e4 a8 44 95 b4 81 71 62 e7 3a ae 45 8a 01 cf 53 43 90 7b a0
    //      14 f1 d3 03 46 fc 83 e8 7f 25 d4 4f 74 6d 88 b5 57 cf cc 22 3f 37 a4
    //      bc ce f7 58 cb 8d 99 11 6e 1f f4 51 d4 fb d0 2e dd 72 3a 2c dd 21 6d
    //      d7 19 8c 67 b9 40 d8 41 ad 08 14 dd c4 e0 4a 6c 8a c4 80 07 7c 9c e9
    //      c5 28 6f 94 d3 21 13 05 00 3a 03 37 4c 8d 4d 10 a8 5a 40 21 32 b1 39
    //      63 7f 79 2a 85 77 51 d1 82 c6 1b 14 91 48 77 1a d0 3b da 81 c2 89 bf
    //      d3 be b1 71 db cd 5e cf d4 23 5d 5f e1 85 b8 ed 1b d6 e1 13 78 30 c6
    //      e7 c9 65 5e 80 b7 7c ff 5b e6 98 34 4b 7c 07 7d 1c 85 ed fe a8 c3 f5
    //      27 a6 b6 eb 74 2b 48 49 bb 9b 87 a7 af c4 e4 1a 58 fd ba e3 a0 e6 bc
    //      79 10 74 06 cf 57 d2 50 2f a6 32 8f 5b c3 41 9c 5d 3d 35 dc fb 00 5b
    //      5b c7 74 7c 3e 9c ab 1f 7e 60 a0 fd 2c 4f 1e 14 e6 3b 2a a8 87 7f d6
    //      7d ed 25 73 9b d9 67 5c 22 14 5f 86 89 41 6f 77 49 73 72 95 26 61 54
    //      d9 3d 6c 58 c8 30 55 13 de b0 70 bf 23 c3 27 ad fc fc 82 12 2a 67 1f
    //      f9 3c d0 8a 76 77 61 2a 8b ce 61 58 63 5e 11 f4 52 63 6c 0b 64 e3 b9
    //      98 3b 96 71 ea 45 b7 6f 0c 9a 3d 9a ce f9 3d 94 8f a5 62 8a f8 85 84
    //      32 49 33 24 db 8d 43 85 66 ed 34 c0 a1 84 4d 08 88 b5 68 20 c4 7f 29
    //      0b 58 3d b9 f5 8f da 75 32 99 79 58 5e a6 7c 5c ff 40 2e a4 46 77 49
    //      ed 52 1c 9a c9 5b 22 be 63 66 b4 65 a8 4d 79 66 d6 6d 01 a0 9e d8 41
    //      9b 21 b6 33 e5 3f c7 09 ee b8 c6 f6 c5 09 68 74 12 16 19 f3 53 3d b3
    //      cb fa ea f0 43 f1 67 c7 c4 41 d0 ef 30 c3 78 7b de 6d 80 3c ce c9 7d
    //      01 b9 0d 17 eb fb 2d 4e 10 16 b7 ea fc 2a 6c 5d f6 b4 99 ab 77 69 f9
    //      d1 3a 18 95 bc 7d 6f 0b ae df 31 85 cd b3 fd a5 c6 5e fd 71 e0 07 75
    //      46 9c 2b f3 b4 b0 9d 24 3f 18 ef 58 d9 31 e9 4e b4 84 c3 47 53 44 5d
    //      64 ac 57 c7 38 3c 1c 2a 30 9f 50 1f 94 41 75 50 9a 30 c5 66 7e c9 6e
    //      60 7b 72 8d cd 47 9c 3d de 57 ad cf 1b 14 3b 55 a0 6f 9e 5b 15 b7 a8
    //      f3 f1 38 75 7d 75 da f5 e3 b1 90 dd 81 bd 15 55 96 20 3b 38 3f 49 51
    //      a7 e7 f1 e2 bd f4 2d 8d c0 9d aa 7b 79 37 e9 f8 3e 79 f6 e7 19 84 e1
    //      6a 66 8e 12 d8 a9 7d af 60 b5 75 21 0b ce b2 eb 08 44 a5 fe 5a cd aa
    //      41 ab e7 a9 42 55 d8 b1 fc 1b 74 73 b5 ca ce c7 b6 b4 97 3e 3e 26 17
    //      6b f7 39 94 f9 90 43 d5 d3 7f 66 06 cd 90 ad da e1 4b e1 55 79 e5 96
    //      7e 52 ca 8b 89 f6 35 63 e0 8a 32 d7 08 e5 37 2c f8 53 78 b6 02 46 78
    //      3e 53 9a c2 08 e6 73 82 28 93 42 f1 a6 63 e5 d2 0e 50 90 99 15 4a 55
    //      8e 05 cb 68 29 91 d8 41 aa cf e9 1d cf d1 81 f8 7b 4c 8c 57 31 1b 9e
    //      4e a9 99 45 ec c1 58 61 4b b4 7c 62 04 47 15 79 71 3c ee 0e 7b e7 a8
    //      fa 31 cd 22 11 3e c1 b3 4d 01 d7 a0 39 29 b0 0c 91 0f df e4 0c 5c 1c
    //      ac 52 94 19 e4 13 3f 37 dc 0d 52 ea 56 6a 88 98 b6 ae 6f a0 ef d6 36
    //      cf 6a a5 da 73 ba 53 ad 2a 77 db b0 d1 de 0c 49 7b 94 18 48 f1 1d 88
    //      93 91 5c 16 1f 8c 39 0f b3 fe ab 3a c9 32 fa a2 95 61 5e b1 2e 71 33
    //      51 35 3e a0 00 55 c3 0c cf 53 75 56 50 06 aa 4c fa f8 34 52 29 89 52
    //      3a 86 a5 7a 32 73 df dd 41 05 0b 83 76 7f bb 06 28 e6 9c 0c 99 0e 45
    //      ba 37 a7 3b 1d 08 80 58 2d 4d 05 64 39 a0 fa 4e ad 4b c1 55 06 c6 33
    //      d2 8e 1f e9 38 5d 78 eb 8b ff da e1 ff bc d8 24 db df d3 ca 3e f3 4e
    //      d9 92 7f eb cb 00 4e b2 01 14 3e 75 e6 ee e3 52 2c 35 e0 f2 97 b2 40
    //      3e 64 e5 b4 b0 cd d9 ba 3a 93 b6 01 6d d7 ac b2 57 79 b1 0a f4 ad 19
    //      e2 8f 68 45 43 4a 6e c2 5f 6a f2 37 2b 61 8c 53 60 1f d4 64 45 6e a3
    //      ad 61 d4 6e 7b 3f 07 ba 15 cf 41 00 6a b4 2d 55 d6 40 29 78 e9 61 91
    //      9b 8d 1c 2f 34 8a cf a1 1d 3b e2 bd 23 7d 0a 0d 33 1d 72 d4 97 4e bf
    //      86 42 09 f4 d0 87 85 bb e3 28 a4 a1 2e 73 2b de ac 9d b5 67 55 37 58
    //      d7 18 81 b1 ab 9b 58 e3 26 18 7b 38 3c 2f 45 b6 6d 31 36 77 ec 6b 8e
    //      ff 6e 40 bd d3 fb 52 ef 97 2e df 52 6a ce 9e 7b db 5e 10 84 71 ca 80
    //      16 50 f0 f4 d2 35 d1 3e c4 b1 82 1c d9 c8 40 d1 8f 07 e1 ff 09 a2 ba
    //      b6 87 13 4f 7b 9c 1b c3 2b 6a 71 f3 7b a5 5c 76 02 7d c0 d5 98 b8 65
    //      51 73 9f a0 93 66 8c 4f b5 e0 88 eb 31 6b 3f ee e3 c6 64 de 4d 07 57
    //      d2 30 9b f1 e2 72 19 5e c3 69 23 67 37 b4 88 51 7a 9f a8 c4 fa 9d 4e
    //      9d b6 09 93 58 ff 6f 0c 20 28 99 ca fb 6e 8a b9 a3 94 cd b5 b2 1a af
    //      82 78 84 8e 51 79 d1 dd 19 d9 cf e6 47 51 0a f5 e0 c7 2d 7f e9 5d f9
    //      f3 1d 2b ba a3 b4 e4 d7 ce aa b3 56 df ea 15 09 c7 25 f9 d6 85 6a b9
    //      a6 a8 37 5b 32 cc d2 88 78 a8 08 c7 17 de 26 9c fa 12 f5 d4 8c 33 80
    //      14 06 98 20 31 b6 51 2d 13 b2 82 d6 76 5c af 4b 16 41 1e a9 a4 12 da
    //      75 c9 03 d2 48 3a 59 c0 3f 7c 1d c5 24 98 5f 0d c8 a1 ec d5 3a 1d c8
    //      c7 24 0d 94 d1 34 93 63 e0 36 60 13 d9 7e 70 f7 2b 3a 6d 66 a0 a7 69
    //      6e df 8c 61 ce 7c 3b 3b 6e 16 20 33 95 c0 72 50 bb 4d d7 d2 00 a7 5a
    //      7d 6a ec 7f ae 65 a0 58 52 a9 32 e5 ab 02 c2 34 ad 33 1a 95 67 59 f2
    //      5c c4 18 af db 74 5b 8e 7b 0f 37 b8 8d 22 0a f9 e5 4b b7 10 8c 3d d2
    //      9a 36 fc ee ad 66 0e f9 1f 83 a0 7e 8f e3 1c 28 ea 1d 5a cc 28 81 a2
    //      9b 2e 6d 11 92 15 92 ac b9 71 3a 2e cc ad 12 88 a1 3c a3 59 20 2d 88
    //      4e 5f 27 55 a9 2d c2 a8 10 b6 a5 32 f4 c1 9d 4d 0e df 67 b5 e7 b1 25
    //      88 9f 26 1c 9e 6f df 96 19 1a df 2a de 19 25 a5 6b 74 5d d3 d4 1c e8
    //      92 c8 90 c3 ab 99 e8 a6 a5 b8 7c 95 f4 92 25 48 88 86 7e f8 1b 8e 25
    //      3e 84 f8 08 68 6a 3f ba 08 55 43 0c 51 ab e0 ce 8e c7 c7 36 16 74 70
    //      cc e4 0e ca de 1e a7 30 ef 58 ec 18 91 59 8b 8c 6b 03 7d cd ac f4 64
    //      5e 9c 9b 78 94 a4 c1 8c 68 d2 fa 33 7c 43 e0 f4 8f 50 ed 0a c7 8e c2
    //      c2 26 0a d3 8c 58 20 c2 a4 74 0b 8c 27 5f c4 3c 07 bd e3 4c 2c 03 0a
    //      6c dc af 58 ae 43 ad 6f f2 1b 02 7c 44 8c d5 5d 8e e4 cf ff 1f 99 60
    //      ab 8c 11 3e 0e b9 fe 6a 3d 83 1b 44 e6 58 cf 72 79 8d 71 6e 94 01 47
    //      f5 91 e1 8d c5 f3 fc a2 47 8d 90 4b b7 b8 46 09 ff 23 6b b1 ec a1 ca
    //      8c 28 42 6d 0a a3 f4 6a fe a5 34 0d 1d bd 53 2b 0a ed 32 24 b7 08 35
    //      51 64 a4 9a 8d b8 7a dd e8 82 34 25 d7 1d d9 be 1d 4c 97 f9 41 da cd
    //      b2 20 2f 40 68 e6 4e 5e 98 46 34 3c ed a2 46 f4 04 9c 91 ad 74 d1 91
    //      5c 8c 52 a6 fb f7 67 e7 81 b1 4a c0 97 4e e7 76 31 97 85 0b fa ff 44
    //      4b fc 14 88 4e 69 b3 1a e3 92 49 2e db e1 85 ee 05 3c b6 bf 09 7f 67
    //      93 21 0e d3 87 be 08 5d bb d4 23 64 5d df 40 98 14 2f 4d 40 b2 2b 60
    //      d5 d4 fe 6f 5e 6f 42 4a 11 85 76 b7 46 0f b8 61 a4 7b 9f 17 b5 7b 85
    //      8e 9d 6c e6 85 3e 57 64 ed 22 ec 17 4f c2 1c bf 92 3f 37 ca 8a 3d e8
    //      fa 29 53 33 b7 78 01 3f 0d 3b 66 5d 5d 39 74 34 79 3f b6 8d 43 52 0c
    //      08 f9 59 ee 8e 9c c0 14 57 b9 55 d8 2f d6 1e 28 bf 5e 15 7d 70 b1 aa
    //      9e 1c 82 a0 57 13 be 38 0d ad 7d dc 07 4a c1 05 d1 74 38 a8 08 6a 5f
    //      fd bd 1e 36 0f ad 2d 38 b4 25 98 d3 6b ce a0 a7 ec 5b b7 eb c0 be 02
    //      df 5b 5e 41 42 d0 a6 dc 67 9a 28 40 ab b9 53 d3 7d 09 b2 68 36 10 a7
    //      5d c2 66 ae f7 7e ea 8d 18 34 e2 f1 6e f9 c0 f2 88 bd ea 04 6b ad 51
    //      4a 62 cb 99 15 a8 d2 71 0f 88 d8 42 e2 b1 03 a0 a7 93 54 32 da 1c 36
    //      c2 23 e2 85 41 4d da cb 63 32 7c 54 88 c4 ad 18 b8 b3 71 7f 79 c8 c1
    //      9a d6 0b ef bd 3d b2 77 b7 29 40 ac 44 ae 69 79 67 1a 35 0d c6 16 cf
    //      71 d4 cc e8 c4 71 bb d4 89 e6 7f 67 b5 b2 9e 2d d6 cc 45 3f ff b2 17
    //      94 03 da b6 a7 e5 5a 93 9f d9 d7 48 24 50 14 88 bd 5a 33 02 23 92 fe
    //      0c cd c7 dd e3 e6 3e 7a 3d 8e 46 15 c8 fb aa 77 85 93 93 2c 06 7b ff
    //      13 86 06 c9 06 43 51 da ce 2a 1d 82 ff 58 5d 5d bd 32 ab f8 20 8b b3
    //      7a 1a 07 c3 91 24 66 4a 3c 8e 72 ba a1 54 03 d7 09 d9 83 a4 d2 98 c6
    //      80 4b a3 0e 25 17 75 0c 9f c9 71 cc d9 5e cd 59 6a ad df 6b 8a e4 7d
    //      fb 4c b4 ea 1b 01 52 9b dd d7 ab 4f ff 9b 9f 65 5a b3 d9 04 5b 9f ea
    //      17 a0 5f 8a ab 67 b9 c1 a0 56 46 64 12 8b c3 b1 d2 74 93 c2 a1 a9 be
    //      7d 69 f7 77 ff 86 c9 e3 38 63 8a a1 80 4e b1 e6 a6 b2 3a e1 95 1a 84
    //      e0 1f a8 f6 dd c0 75 7a 0c 6f da 45 0d b1 36 49 9d d8 c2 6b cf 40 9f
    //      d8 6d 58 c7 fe 87 ea 85 8a d9 29 52 b2 46 6b ec 5c 62 4b f6 c0 ae 29
    //      c9 7c 5a ff 0e b1 6b 1b 79 f6 ce 98 b9 d0 00 83 6c 5e 5c 04 ad c2 6e
    //      2e b9 75 58 66 37 5a 50 f9 12 3f f1 d3 d1 c3 ad 26 80 63 62 55 9a 28
    //      9e 1d 17 f1 18 ab d3 d6 8c 6f 4c 29 10 0c c4 e6 1d 06 24 48 3b a8 a8
    //      62 d1 eb 7a 31 fc 98 c6 7d 5b 1d b9 4b 0c 51 9c 89 c2 4f 23 78 e3 e6
    //      0a 9f 57 81 27 0e dd 49 e3 d4 2c 5c cd 1b a1 ed 42 31 10 29 31 61 16
    //      7b f2 c9 e2 e9 53 43 ee 40 2f f2 6f bd 8e 18 da 09 c0 bb b2 98 9b 65
    //      2b e5 aa b5 43 69 54 af b5 d3 88 21 8c 21 25 e0 ab 97 20 e3 58 a9 ed
    //      5f 50 7a 91 51 6a 1a fe 5b 07 95 f8 54 e9 4f 9a 19 b3 59 3f ef d0 35
    //      a9 d4 27 18 d7 1d c6 f7 0f b0 a8 45 51 29 88 51 fb ae 57 3c 5a 71 42
    //      39 04 57 3e 1c e0 6b f5 01 7d 0b cf 1d b6 5f 67 19 4a 3f 1c b3 8a 77
    //      96 84 ad d1 31 f7 2f 99 48 ed 0d 95 8b e0 a9 68 47 37 db c7 18 18 11
    //      1a d2 04 f4 38 f2 10 39 f9 0f 09 d2 9a 53 e0 35 84 d9 e3 0b ba ea 53
    //      bf 01 39 29 05 7e 61 7b e9 03 32 cb 1d 81 07 2e 76 bd 4b 47 71 9b 27
    //      5b 07 de ee a5 2c ed 5b 27 95 f5 a6 33 68 ce 3e 2e b8 cd a5 f2 a5 db
    //      9f 31 64 86 48 0c e9 15 ea ab e3 cf d6 da 43 d7 bf f2 d1 e8 0f 15 99
    //      e3 aa 64 b2 fc 8b 22 34 89 bc e1 1d 84 4e 33 0a f8 02 c9 65 71 55 0a
    //      20 54 e5 a9 8f 22 d4 df 74 61 1f 7c a4 ea 16 6a bd d1 3b ee c3 16 19
    //      f6 71 11 9d 21 42 53 84 6e ca 5b e0 b8 ec a6 f9 2c d6 2a ac 41 ad a6
    //      5f bb ee e7 43 e1 d9 03 21 a0 a7 2c a9 b1 db 71 be 26 d4 0b e1 4f d3
    //      ef af 28 4d a9 54 28 20 ac cf 04 56 5d ab d7 c0 89 2b 5e a8 64 75 7b
    //      1b ae 27 a0 7a b3 82 41 0b d1 75 2b 60 21 c6 cc 48 f9 3a b4 06 de b6
    //      0b 75 4b 18 d5 6d 07 f0 4d 18 03 14 52 34 4b 92 b7 91 61 23 e5 84 48
    //      70 97 52 e2 73 4d 49 ac 7f a2 81 08 f3 f2 9f 95 89 b9 6e 58 7f e4 90
    //      b8 e9 c4 85 cc bc b1 b2 90 18 bd d8 ad 83 5f ac ef f3 4d de 61 81 88
    //      da ec 24 13 b5 cb 98 4c 4f fd a0 b0 25 53 7d c1 c1 7d 0b 02 a1 15 90
    //      25 ee ca c6 1d 92 65 36 45 0b d5 27 05 2c 3f b8 2a 7c 7f 05 f1 e3 aa
    //      f2 34 68 4c 61 e1 6c 92 f9 9f 57 9e d6 ce a3 3d 04 89 0c 67 7b 63 34
    //      b2 80 f7 80 90 8d 6a a4 8c b3 07 a8 63 5e 39 24 b6 6b 68 49 11 27 b7
    //      6d 3c 49 54 43 d6 b7 ba a4 42 08 2d 5c d5 7d 0f c5 50 86 66 20 81 1e
    //      61 08 60 5a a8 b6 05 04 88 1b bd 92 73 5e d3 c2 72 be 09 c4 19 06 fb
    //      38 e0 6a 9b 53 44 18 8b 12 b3 51 33 f3 e5 35 b1 54 c5 24 ff 4c 7c 44
    //      ef 97 97 59 31 d5 00 65 6d d8 9d a0 a2 72 7f a1 96 a4 a5 6e 8a 6c b6
    //      b9 55 bd 43 fc bd 6a 11 90 8b 07 71 81 8c 63 8f 63 bb b1 3e 2d 01 6c
    //      3e b5 18 9f 10 31 71 ac 01 b1 85 c5 23 09 fb 7c 21 41 8c de 69 ec 3b
    //      32 0d 66 fc 06 bf 91 51 3e 9d c7 c6 ae 60 d7 35 4f 8e 95 39 fd 3a ee
    //      0d 1e b8 60 09 cc 72 2e 1b e7 88 b7 ea 0c d4 b9 d4 63 ff 93 a9 0a db
    //      73 1d e4 e3 8c 6c b1 2b 28 bb d8 2b 92 f3 75 3b 9b ea 03 9d ba 79 aa
    //      70 86 d9 9d 11 0d 24 ed 39 20 ff 44 ac 62 6f 90 3e eb f3 b3 c5 cf bc
    //      2d 97 65 45 75 05 5a 41 f1 96 cf dd 66 0a 07 6d e3 65 67 66 7e 9d 79
    //      88 bf 04 27 f0 d3 25 a3 d0 be 66 17 12 5b 97 55 a5 38 bd ac 13 70 b2
    //      23 81 04 6f 87 49 35 ae 09 fb 06 e1 96 0d 5c 70 7b 0b 2c 01 31 df 3a
    //      9d 7f 76 f7 d5 71 2a d3 2c 56 08 37 75 6e 49 2b f8 a2 c2 dd 56 64 b8
    //      ce 5e 3c 1a 55 78 25 a6 3d 13 3a 1a 5a e3 e8 f8 df c1 de 63 6b 3b 81
    //      70 9b 93 d2 a1 5b 9c b4 ba 99 e3 91 3e b8 e7 f8 f2 f9 36 12 99 0d a9
    //      e9 f5 ea 40 3b 3c cc b5 18 e1 47 52 76 a7 9c 8a 42 4e a2 14 6b 5f ca
    //      7a 82 ef 97 81 0d 93 d4 98 13 b8 23 c9 ca 95 b4 fe 15 bb 3f 89 6a 11
    //      d4 c7 49 bd af e7 01 3c 42 c9 0e fe d5 ca 42 17 7a 09 0c 64 38 7f d9
    //      27 d6 15 6c 69 cf ed 66 6e f6 81 1f d2 a9 d0 07 83 f7 22 de 87 6f 19
    //      2e 1e 24 42 8c 4b a1 5c 74 03 8b c7 1e 0e 37 4c 4a 3a 1b 2b 78 79 cc
    //      3c a6 97 dd 5b} (length 0x1000)
    //    }
    //    count: len = 0x1000 (8 bytes)
    //  ]
    NONFAILING(memcpy(
        (void*)0x200000000780,
        "\xef\x51\xe1\xc4\xc7\x2f\x59\x26\xf1\x4b\x99\x6e\xd0\xd5\x3c\xed\x7e"
        "\x1d\xa6\x8c\x27\x25\x8e\x06\x57\x87\x36\x04\x16\x97\xdd\x07\xb5\x7e"
        "\x49\x9b\x4d\xdb\x64\x95\x61\x60\xe1\xee\x83\xb4\x7e\xf7\x75\x56\x1f"
        "\x20\xd4\x79\xa5\x5c\xaa\xec\x3a\xdd\x01\xd4\x84\x29\xd7\x94\xc6\xb5"
        "\xcb\xd2\x59\xd9\xcd\x13\xda\x11\x91\x3c\x5e\x51\xb0\xd8\x86\x9c\xa6"
        "\xb2\x94\x8a\xdb\xa3\x55\xfe\x4c\x67\xa9\x78\x8f\xa8\x12\x18\x5b\x96"
        "\xb9\xf1\xec\x41\xce\xc8\xb9\xaa\xe0\xd6\xcb\xd9\x94\x76\xc5\xf4\x81"
        "\xcd\x0d\x09\xf4\xf4\xc2\x82\xb5\x73\xa4\xee\x95\x54\x7e\xe8\xd7\xa6"
        "\x98\x6a\xed\xed\xbf\xe9\xea\x47\x69\xbc\xbb\x23\xbb\x61\x5b\x09\xc8"
        "\x69\x2e\x04\xd8\xe4\x45\x4f\xb6\x9e\x46\x84\x3e\x3d\xf4\xef\x3a\x8a"
        "\xd6\x0c\x5c\x19\x72\x29\xca\x4d\x6e\x3f\x8b\x1b\x31\x87\xa7\x82\x09"
        "\xe2\xf4\x50\x68\xbc\xc6\x16\xb3\xed\xaf\x36\xa9\xb0\x57\x74\xe4\x61"
        "\xe4\xc8\x94\xb1\x8e\x0a\xc0\xfc\x30\x96\x1c\x39\x4d\x0a\xf0\x82\x72"
        "\x89\x10\x1e\x0f\xdd\x7b\x06\xa4\x50\x8c\x94\x43\x29\x61\xe0\x22\x70"
        "\x57\xb1\x17\xf4\x95\x28\xc3\x14\xaf\xe3\xb1\xf7\x75\xc1\x79\x98\xc2"
        "\x57\x5a\xb9\x6c\x06\x72\x16\x76\x4c\xf5\xf6\xd3\x07\x8e\xf7\x3b\x55"
        "\x3c\x5a\xf4\xcf\xae\x07\x42\x28\x30\x24\x34\x67\xa8\x15\xc2\x3f\x70"
        "\x08\xd7\xd8\xd6\x97\x7a\xbb\xc6\x42\xca\xa0\x1b\xcb\x59\x62\xc8\x41"
        "\x1d\x21\x6c\xf8\xca\x8f\xf2\x4b\x9a\xe0\x3b\x71\x88\x29\x53\x75\x34"
        "\xfa\x89\x88\x80\x39\xcb\x36\xff\x57\xba\x77\x85\x1c\xa6\xf0\x8f\x9f"
        "\x72\xfb\x4d\xec\x0a\x4d\xfd\x21\x1b\xdd\x0e\x7c\x6b\xe2\xf8\xcf\xc2"
        "\xcd\xa4\x49\xf8\xd9\x5c\xa3\x4f\xd5\x6b\xee\x8d\x7d\x3e\x8b\x55\xab"
        "\x77\xe0\xcb\x19\x90\x29\x46\xe9\xd5\x16\x6b\xa3\xab\x8e\xd7\x40\x3e"
        "\xd8\xee\x91\x93\xff\x9d\xe9\x2d\x6c\x74\x4e\x6c\x79\x33\x74\x43\x95"
        "\x80\x2e\x90\xf5\x53\xe8\xb2\xa6\xf2\x8e\xdf\xc5\xbd\x47\xa6\x23\xc6"
        "\x15\x44\xe1\xce\xa1\x40\x92\xc7\x68\x67\xf3\x05\xe1\xd2\x6f\xa3\x12"
        "\x13\xb3\xef\xfe\x58\x84\xcb\x6a\xc0\xc3\x6b\x4e\xc8\xd8\x1e\x84\x6d"
        "\x44\x31\x56\xc0\x70\xea\x62\xfd\x16\x84\x40\x00\xc9\x5d\x8e\x47\x94"
        "\x32\x3d\x83\x42\xec\xa0\x39\xc5\x4a\xad\x23\x0b\xfd\x44\x71\xd6\x56"
        "\x37\xf1\x10\x7e\x60\xdb\x1a\x08\xca\xa9\x15\x0f\xb0\x1c\xf7\x02\xdd"
        "\x04\x0a\x64\x11\xa4\x8b\x01\x07\xb3\x41\x38\xba\x68\xec\xcc\x1f\x34"
        "\xe9\xa7\x6e\x17\x3e\xd2\x8d\x44\x36\x3b\x1c\x7b\xd8\x69\x7a\xc1\x14"
        "\x53\xea\x0b\x93\x8b\x4d\x31\xcb\x8c\x6a\xb2\xe9\x8a\xbb\x57\x7f\xa7"
        "\x0e\xbb\x36\xfd\xac\x2b\x4e\xe7\x93\x4f\x25\xce\xb0\x3d\xe4\xa8\x44"
        "\x95\xb4\x81\x71\x62\xe7\x3a\xae\x45\x8a\x01\xcf\x53\x43\x90\x7b\xa0"
        "\x14\xf1\xd3\x03\x46\xfc\x83\xe8\x7f\x25\xd4\x4f\x74\x6d\x88\xb5\x57"
        "\xcf\xcc\x22\x3f\x37\xa4\xbc\xce\xf7\x58\xcb\x8d\x99\x11\x6e\x1f\xf4"
        "\x51\xd4\xfb\xd0\x2e\xdd\x72\x3a\x2c\xdd\x21\x6d\xd7\x19\x8c\x67\xb9"
        "\x40\xd8\x41\xad\x08\x14\xdd\xc4\xe0\x4a\x6c\x8a\xc4\x80\x07\x7c\x9c"
        "\xe9\xc5\x28\x6f\x94\xd3\x21\x13\x05\x00\x3a\x03\x37\x4c\x8d\x4d\x10"
        "\xa8\x5a\x40\x21\x32\xb1\x39\x63\x7f\x79\x2a\x85\x77\x51\xd1\x82\xc6"
        "\x1b\x14\x91\x48\x77\x1a\xd0\x3b\xda\x81\xc2\x89\xbf\xd3\xbe\xb1\x71"
        "\xdb\xcd\x5e\xcf\xd4\x23\x5d\x5f\xe1\x85\xb8\xed\x1b\xd6\xe1\x13\x78"
        "\x30\xc6\xe7\xc9\x65\x5e\x80\xb7\x7c\xff\x5b\xe6\x98\x34\x4b\x7c\x07"
        "\x7d\x1c\x85\xed\xfe\xa8\xc3\xf5\x27\xa6\xb6\xeb\x74\x2b\x48\x49\xbb"
        "\x9b\x87\xa7\xaf\xc4\xe4\x1a\x58\xfd\xba\xe3\xa0\xe6\xbc\x79\x10\x74"
        "\x06\xcf\x57\xd2\x50\x2f\xa6\x32\x8f\x5b\xc3\x41\x9c\x5d\x3d\x35\xdc"
        "\xfb\x00\x5b\x5b\xc7\x74\x7c\x3e\x9c\xab\x1f\x7e\x60\xa0\xfd\x2c\x4f"
        "\x1e\x14\xe6\x3b\x2a\xa8\x87\x7f\xd6\x7d\xed\x25\x73\x9b\xd9\x67\x5c"
        "\x22\x14\x5f\x86\x89\x41\x6f\x77\x49\x73\x72\x95\x26\x61\x54\xd9\x3d"
        "\x6c\x58\xc8\x30\x55\x13\xde\xb0\x70\xbf\x23\xc3\x27\xad\xfc\xfc\x82"
        "\x12\x2a\x67\x1f\xf9\x3c\xd0\x8a\x76\x77\x61\x2a\x8b\xce\x61\x58\x63"
        "\x5e\x11\xf4\x52\x63\x6c\x0b\x64\xe3\xb9\x98\x3b\x96\x71\xea\x45\xb7"
        "\x6f\x0c\x9a\x3d\x9a\xce\xf9\x3d\x94\x8f\xa5\x62\x8a\xf8\x85\x84\x32"
        "\x49\x33\x24\xdb\x8d\x43\x85\x66\xed\x34\xc0\xa1\x84\x4d\x08\x88\xb5"
        "\x68\x20\xc4\x7f\x29\x0b\x58\x3d\xb9\xf5\x8f\xda\x75\x32\x99\x79\x58"
        "\x5e\xa6\x7c\x5c\xff\x40\x2e\xa4\x46\x77\x49\xed\x52\x1c\x9a\xc9\x5b"
        "\x22\xbe\x63\x66\xb4\x65\xa8\x4d\x79\x66\xd6\x6d\x01\xa0\x9e\xd8\x41"
        "\x9b\x21\xb6\x33\xe5\x3f\xc7\x09\xee\xb8\xc6\xf6\xc5\x09\x68\x74\x12"
        "\x16\x19\xf3\x53\x3d\xb3\xcb\xfa\xea\xf0\x43\xf1\x67\xc7\xc4\x41\xd0"
        "\xef\x30\xc3\x78\x7b\xde\x6d\x80\x3c\xce\xc9\x7d\x01\xb9\x0d\x17\xeb"
        "\xfb\x2d\x4e\x10\x16\xb7\xea\xfc\x2a\x6c\x5d\xf6\xb4\x99\xab\x77\x69"
        "\xf9\xd1\x3a\x18\x95\xbc\x7d\x6f\x0b\xae\xdf\x31\x85\xcd\xb3\xfd\xa5"
        "\xc6\x5e\xfd\x71\xe0\x07\x75\x46\x9c\x2b\xf3\xb4\xb0\x9d\x24\x3f\x18"
        "\xef\x58\xd9\x31\xe9\x4e\xb4\x84\xc3\x47\x53\x44\x5d\x64\xac\x57\xc7"
        "\x38\x3c\x1c\x2a\x30\x9f\x50\x1f\x94\x41\x75\x50\x9a\x30\xc5\x66\x7e"
        "\xc9\x6e\x60\x7b\x72\x8d\xcd\x47\x9c\x3d\xde\x57\xad\xcf\x1b\x14\x3b"
        "\x55\xa0\x6f\x9e\x5b\x15\xb7\xa8\xf3\xf1\x38\x75\x7d\x75\xda\xf5\xe3"
        "\xb1\x90\xdd\x81\xbd\x15\x55\x96\x20\x3b\x38\x3f\x49\x51\xa7\xe7\xf1"
        "\xe2\xbd\xf4\x2d\x8d\xc0\x9d\xaa\x7b\x79\x37\xe9\xf8\x3e\x79\xf6\xe7"
        "\x19\x84\xe1\x6a\x66\x8e\x12\xd8\xa9\x7d\xaf\x60\xb5\x75\x21\x0b\xce"
        "\xb2\xeb\x08\x44\xa5\xfe\x5a\xcd\xaa\x41\xab\xe7\xa9\x42\x55\xd8\xb1"
        "\xfc\x1b\x74\x73\xb5\xca\xce\xc7\xb6\xb4\x97\x3e\x3e\x26\x17\x6b\xf7"
        "\x39\x94\xf9\x90\x43\xd5\xd3\x7f\x66\x06\xcd\x90\xad\xda\xe1\x4b\xe1"
        "\x55\x79\xe5\x96\x7e\x52\xca\x8b\x89\xf6\x35\x63\xe0\x8a\x32\xd7\x08"
        "\xe5\x37\x2c\xf8\x53\x78\xb6\x02\x46\x78\x3e\x53\x9a\xc2\x08\xe6\x73"
        "\x82\x28\x93\x42\xf1\xa6\x63\xe5\xd2\x0e\x50\x90\x99\x15\x4a\x55\x8e"
        "\x05\xcb\x68\x29\x91\xd8\x41\xaa\xcf\xe9\x1d\xcf\xd1\x81\xf8\x7b\x4c"
        "\x8c\x57\x31\x1b\x9e\x4e\xa9\x99\x45\xec\xc1\x58\x61\x4b\xb4\x7c\x62"
        "\x04\x47\x15\x79\x71\x3c\xee\x0e\x7b\xe7\xa8\xfa\x31\xcd\x22\x11\x3e"
        "\xc1\xb3\x4d\x01\xd7\xa0\x39\x29\xb0\x0c\x91\x0f\xdf\xe4\x0c\x5c\x1c"
        "\xac\x52\x94\x19\xe4\x13\x3f\x37\xdc\x0d\x52\xea\x56\x6a\x88\x98\xb6"
        "\xae\x6f\xa0\xef\xd6\x36\xcf\x6a\xa5\xda\x73\xba\x53\xad\x2a\x77\xdb"
        "\xb0\xd1\xde\x0c\x49\x7b\x94\x18\x48\xf1\x1d\x88\x93\x91\x5c\x16\x1f"
        "\x8c\x39\x0f\xb3\xfe\xab\x3a\xc9\x32\xfa\xa2\x95\x61\x5e\xb1\x2e\x71"
        "\x33\x51\x35\x3e\xa0\x00\x55\xc3\x0c\xcf\x53\x75\x56\x50\x06\xaa\x4c"
        "\xfa\xf8\x34\x52\x29\x89\x52\x3a\x86\xa5\x7a\x32\x73\xdf\xdd\x41\x05"
        "\x0b\x83\x76\x7f\xbb\x06\x28\xe6\x9c\x0c\x99\x0e\x45\xba\x37\xa7\x3b"
        "\x1d\x08\x80\x58\x2d\x4d\x05\x64\x39\xa0\xfa\x4e\xad\x4b\xc1\x55\x06"
        "\xc6\x33\xd2\x8e\x1f\xe9\x38\x5d\x78\xeb\x8b\xff\xda\xe1\xff\xbc\xd8"
        "\x24\xdb\xdf\xd3\xca\x3e\xf3\x4e\xd9\x92\x7f\xeb\xcb\x00\x4e\xb2\x01"
        "\x14\x3e\x75\xe6\xee\xe3\x52\x2c\x35\xe0\xf2\x97\xb2\x40\x3e\x64\xe5"
        "\xb4\xb0\xcd\xd9\xba\x3a\x93\xb6\x01\x6d\xd7\xac\xb2\x57\x79\xb1\x0a"
        "\xf4\xad\x19\xe2\x8f\x68\x45\x43\x4a\x6e\xc2\x5f\x6a\xf2\x37\x2b\x61"
        "\x8c\x53\x60\x1f\xd4\x64\x45\x6e\xa3\xad\x61\xd4\x6e\x7b\x3f\x07\xba"
        "\x15\xcf\x41\x00\x6a\xb4\x2d\x55\xd6\x40\x29\x78\xe9\x61\x91\x9b\x8d"
        "\x1c\x2f\x34\x8a\xcf\xa1\x1d\x3b\xe2\xbd\x23\x7d\x0a\x0d\x33\x1d\x72"
        "\xd4\x97\x4e\xbf\x86\x42\x09\xf4\xd0\x87\x85\xbb\xe3\x28\xa4\xa1\x2e"
        "\x73\x2b\xde\xac\x9d\xb5\x67\x55\x37\x58\xd7\x18\x81\xb1\xab\x9b\x58"
        "\xe3\x26\x18\x7b\x38\x3c\x2f\x45\xb6\x6d\x31\x36\x77\xec\x6b\x8e\xff"
        "\x6e\x40\xbd\xd3\xfb\x52\xef\x97\x2e\xdf\x52\x6a\xce\x9e\x7b\xdb\x5e"
        "\x10\x84\x71\xca\x80\x16\x50\xf0\xf4\xd2\x35\xd1\x3e\xc4\xb1\x82\x1c"
        "\xd9\xc8\x40\xd1\x8f\x07\xe1\xff\x09\xa2\xba\xb6\x87\x13\x4f\x7b\x9c"
        "\x1b\xc3\x2b\x6a\x71\xf3\x7b\xa5\x5c\x76\x02\x7d\xc0\xd5\x98\xb8\x65"
        "\x51\x73\x9f\xa0\x93\x66\x8c\x4f\xb5\xe0\x88\xeb\x31\x6b\x3f\xee\xe3"
        "\xc6\x64\xde\x4d\x07\x57\xd2\x30\x9b\xf1\xe2\x72\x19\x5e\xc3\x69\x23"
        "\x67\x37\xb4\x88\x51\x7a\x9f\xa8\xc4\xfa\x9d\x4e\x9d\xb6\x09\x93\x58"
        "\xff\x6f\x0c\x20\x28\x99\xca\xfb\x6e\x8a\xb9\xa3\x94\xcd\xb5\xb2\x1a"
        "\xaf\x82\x78\x84\x8e\x51\x79\xd1\xdd\x19\xd9\xcf\xe6\x47\x51\x0a\xf5"
        "\xe0\xc7\x2d\x7f\xe9\x5d\xf9\xf3\x1d\x2b\xba\xa3\xb4\xe4\xd7\xce\xaa"
        "\xb3\x56\xdf\xea\x15\x09\xc7\x25\xf9\xd6\x85\x6a\xb9\xa6\xa8\x37\x5b"
        "\x32\xcc\xd2\x88\x78\xa8\x08\xc7\x17\xde\x26\x9c\xfa\x12\xf5\xd4\x8c"
        "\x33\x80\x14\x06\x98\x20\x31\xb6\x51\x2d\x13\xb2\x82\xd6\x76\x5c\xaf"
        "\x4b\x16\x41\x1e\xa9\xa4\x12\xda\x75\xc9\x03\xd2\x48\x3a\x59\xc0\x3f"
        "\x7c\x1d\xc5\x24\x98\x5f\x0d\xc8\xa1\xec\xd5\x3a\x1d\xc8\xc7\x24\x0d"
        "\x94\xd1\x34\x93\x63\xe0\x36\x60\x13\xd9\x7e\x70\xf7\x2b\x3a\x6d\x66"
        "\xa0\xa7\x69\x6e\xdf\x8c\x61\xce\x7c\x3b\x3b\x6e\x16\x20\x33\x95\xc0"
        "\x72\x50\xbb\x4d\xd7\xd2\x00\xa7\x5a\x7d\x6a\xec\x7f\xae\x65\xa0\x58"
        "\x52\xa9\x32\xe5\xab\x02\xc2\x34\xad\x33\x1a\x95\x67\x59\xf2\x5c\xc4"
        "\x18\xaf\xdb\x74\x5b\x8e\x7b\x0f\x37\xb8\x8d\x22\x0a\xf9\xe5\x4b\xb7"
        "\x10\x8c\x3d\xd2\x9a\x36\xfc\xee\xad\x66\x0e\xf9\x1f\x83\xa0\x7e\x8f"
        "\xe3\x1c\x28\xea\x1d\x5a\xcc\x28\x81\xa2\x9b\x2e\x6d\x11\x92\x15\x92"
        "\xac\xb9\x71\x3a\x2e\xcc\xad\x12\x88\xa1\x3c\xa3\x59\x20\x2d\x88\x4e"
        "\x5f\x27\x55\xa9\x2d\xc2\xa8\x10\xb6\xa5\x32\xf4\xc1\x9d\x4d\x0e\xdf"
        "\x67\xb5\xe7\xb1\x25\x88\x9f\x26\x1c\x9e\x6f\xdf\x96\x19\x1a\xdf\x2a"
        "\xde\x19\x25\xa5\x6b\x74\x5d\xd3\xd4\x1c\xe8\x92\xc8\x90\xc3\xab\x99"
        "\xe8\xa6\xa5\xb8\x7c\x95\xf4\x92\x25\x48\x88\x86\x7e\xf8\x1b\x8e\x25"
        "\x3e\x84\xf8\x08\x68\x6a\x3f\xba\x08\x55\x43\x0c\x51\xab\xe0\xce\x8e"
        "\xc7\xc7\x36\x16\x74\x70\xcc\xe4\x0e\xca\xde\x1e\xa7\x30\xef\x58\xec"
        "\x18\x91\x59\x8b\x8c\x6b\x03\x7d\xcd\xac\xf4\x64\x5e\x9c\x9b\x78\x94"
        "\xa4\xc1\x8c\x68\xd2\xfa\x33\x7c\x43\xe0\xf4\x8f\x50\xed\x0a\xc7\x8e"
        "\xc2\xc2\x26\x0a\xd3\x8c\x58\x20\xc2\xa4\x74\x0b\x8c\x27\x5f\xc4\x3c"
        "\x07\xbd\xe3\x4c\x2c\x03\x0a\x6c\xdc\xaf\x58\xae\x43\xad\x6f\xf2\x1b"
        "\x02\x7c\x44\x8c\xd5\x5d\x8e\xe4\xcf\xff\x1f\x99\x60\xab\x8c\x11\x3e"
        "\x0e\xb9\xfe\x6a\x3d\x83\x1b\x44\xe6\x58\xcf\x72\x79\x8d\x71\x6e\x94"
        "\x01\x47\xf5\x91\xe1\x8d\xc5\xf3\xfc\xa2\x47\x8d\x90\x4b\xb7\xb8\x46"
        "\x09\xff\x23\x6b\xb1\xec\xa1\xca\x8c\x28\x42\x6d\x0a\xa3\xf4\x6a\xfe"
        "\xa5\x34\x0d\x1d\xbd\x53\x2b\x0a\xed\x32\x24\xb7\x08\x35\x51\x64\xa4"
        "\x9a\x8d\xb8\x7a\xdd\xe8\x82\x34\x25\xd7\x1d\xd9\xbe\x1d\x4c\x97\xf9"
        "\x41\xda\xcd\xb2\x20\x2f\x40\x68\xe6\x4e\x5e\x98\x46\x34\x3c\xed\xa2"
        "\x46\xf4\x04\x9c\x91\xad\x74\xd1\x91\x5c\x8c\x52\xa6\xfb\xf7\x67\xe7"
        "\x81\xb1\x4a\xc0\x97\x4e\xe7\x76\x31\x97\x85\x0b\xfa\xff\x44\x4b\xfc"
        "\x14\x88\x4e\x69\xb3\x1a\xe3\x92\x49\x2e\xdb\xe1\x85\xee\x05\x3c\xb6"
        "\xbf\x09\x7f\x67\x93\x21\x0e\xd3\x87\xbe\x08\x5d\xbb\xd4\x23\x64\x5d"
        "\xdf\x40\x98\x14\x2f\x4d\x40\xb2\x2b\x60\xd5\xd4\xfe\x6f\x5e\x6f\x42"
        "\x4a\x11\x85\x76\xb7\x46\x0f\xb8\x61\xa4\x7b\x9f\x17\xb5\x7b\x85\x8e"
        "\x9d\x6c\xe6\x85\x3e\x57\x64\xed\x22\xec\x17\x4f\xc2\x1c\xbf\x92\x3f"
        "\x37\xca\x8a\x3d\xe8\xfa\x29\x53\x33\xb7\x78\x01\x3f\x0d\x3b\x66\x5d"
        "\x5d\x39\x74\x34\x79\x3f\xb6\x8d\x43\x52\x0c\x08\xf9\x59\xee\x8e\x9c"
        "\xc0\x14\x57\xb9\x55\xd8\x2f\xd6\x1e\x28\xbf\x5e\x15\x7d\x70\xb1\xaa"
        "\x9e\x1c\x82\xa0\x57\x13\xbe\x38\x0d\xad\x7d\xdc\x07\x4a\xc1\x05\xd1"
        "\x74\x38\xa8\x08\x6a\x5f\xfd\xbd\x1e\x36\x0f\xad\x2d\x38\xb4\x25\x98"
        "\xd3\x6b\xce\xa0\xa7\xec\x5b\xb7\xeb\xc0\xbe\x02\xdf\x5b\x5e\x41\x42"
        "\xd0\xa6\xdc\x67\x9a\x28\x40\xab\xb9\x53\xd3\x7d\x09\xb2\x68\x36\x10"
        "\xa7\x5d\xc2\x66\xae\xf7\x7e\xea\x8d\x18\x34\xe2\xf1\x6e\xf9\xc0\xf2"
        "\x88\xbd\xea\x04\x6b\xad\x51\x4a\x62\xcb\x99\x15\xa8\xd2\x71\x0f\x88"
        "\xd8\x42\xe2\xb1\x03\xa0\xa7\x93\x54\x32\xda\x1c\x36\xc2\x23\xe2\x85"
        "\x41\x4d\xda\xcb\x63\x32\x7c\x54\x88\xc4\xad\x18\xb8\xb3\x71\x7f\x79"
        "\xc8\xc1\x9a\xd6\x0b\xef\xbd\x3d\xb2\x77\xb7\x29\x40\xac\x44\xae\x69"
        "\x79\x67\x1a\x35\x0d\xc6\x16\xcf\x71\xd4\xcc\xe8\xc4\x71\xbb\xd4\x89"
        "\xe6\x7f\x67\xb5\xb2\x9e\x2d\xd6\xcc\x45\x3f\xff\xb2\x17\x94\x03\xda"
        "\xb6\xa7\xe5\x5a\x93\x9f\xd9\xd7\x48\x24\x50\x14\x88\xbd\x5a\x33\x02"
        "\x23\x92\xfe\x0c\xcd\xc7\xdd\xe3\xe6\x3e\x7a\x3d\x8e\x46\x15\xc8\xfb"
        "\xaa\x77\x85\x93\x93\x2c\x06\x7b\xff\x13\x86\x06\xc9\x06\x43\x51\xda"
        "\xce\x2a\x1d\x82\xff\x58\x5d\x5d\xbd\x32\xab\xf8\x20\x8b\xb3\x7a\x1a"
        "\x07\xc3\x91\x24\x66\x4a\x3c\x8e\x72\xba\xa1\x54\x03\xd7\x09\xd9\x83"
        "\xa4\xd2\x98\xc6\x80\x4b\xa3\x0e\x25\x17\x75\x0c\x9f\xc9\x71\xcc\xd9"
        "\x5e\xcd\x59\x6a\xad\xdf\x6b\x8a\xe4\x7d\xfb\x4c\xb4\xea\x1b\x01\x52"
        "\x9b\xdd\xd7\xab\x4f\xff\x9b\x9f\x65\x5a\xb3\xd9\x04\x5b\x9f\xea\x17"
        "\xa0\x5f\x8a\xab\x67\xb9\xc1\xa0\x56\x46\x64\x12\x8b\xc3\xb1\xd2\x74"
        "\x93\xc2\xa1\xa9\xbe\x7d\x69\xf7\x77\xff\x86\xc9\xe3\x38\x63\x8a\xa1"
        "\x80\x4e\xb1\xe6\xa6\xb2\x3a\xe1\x95\x1a\x84\xe0\x1f\xa8\xf6\xdd\xc0"
        "\x75\x7a\x0c\x6f\xda\x45\x0d\xb1\x36\x49\x9d\xd8\xc2\x6b\xcf\x40\x9f"
        "\xd8\x6d\x58\xc7\xfe\x87\xea\x85\x8a\xd9\x29\x52\xb2\x46\x6b\xec\x5c"
        "\x62\x4b\xf6\xc0\xae\x29\xc9\x7c\x5a\xff\x0e\xb1\x6b\x1b\x79\xf6\xce"
        "\x98\xb9\xd0\x00\x83\x6c\x5e\x5c\x04\xad\xc2\x6e\x2e\xb9\x75\x58\x66"
        "\x37\x5a\x50\xf9\x12\x3f\xf1\xd3\xd1\xc3\xad\x26\x80\x63\x62\x55\x9a"
        "\x28\x9e\x1d\x17\xf1\x18\xab\xd3\xd6\x8c\x6f\x4c\x29\x10\x0c\xc4\xe6"
        "\x1d\x06\x24\x48\x3b\xa8\xa8\x62\xd1\xeb\x7a\x31\xfc\x98\xc6\x7d\x5b"
        "\x1d\xb9\x4b\x0c\x51\x9c\x89\xc2\x4f\x23\x78\xe3\xe6\x0a\x9f\x57\x81"
        "\x27\x0e\xdd\x49\xe3\xd4\x2c\x5c\xcd\x1b\xa1\xed\x42\x31\x10\x29\x31"
        "\x61\x16\x7b\xf2\xc9\xe2\xe9\x53\x43\xee\x40\x2f\xf2\x6f\xbd\x8e\x18"
        "\xda\x09\xc0\xbb\xb2\x98\x9b\x65\x2b\xe5\xaa\xb5\x43\x69\x54\xaf\xb5"
        "\xd3\x88\x21\x8c\x21\x25\xe0\xab\x97\x20\xe3\x58\xa9\xed\x5f\x50\x7a"
        "\x91\x51\x6a\x1a\xfe\x5b\x07\x95\xf8\x54\xe9\x4f\x9a\x19\xb3\x59\x3f"
        "\xef\xd0\x35\xa9\xd4\x27\x18\xd7\x1d\xc6\xf7\x0f\xb0\xa8\x45\x51\x29"
        "\x88\x51\xfb\xae\x57\x3c\x5a\x71\x42\x39\x04\x57\x3e\x1c\xe0\x6b\xf5"
        "\x01\x7d\x0b\xcf\x1d\xb6\x5f\x67\x19\x4a\x3f\x1c\xb3\x8a\x77\x96\x84"
        "\xad\xd1\x31\xf7\x2f\x99\x48\xed\x0d\x95\x8b\xe0\xa9\x68\x47\x37\xdb"
        "\xc7\x18\x18\x11\x1a\xd2\x04\xf4\x38\xf2\x10\x39\xf9\x0f\x09\xd2\x9a"
        "\x53\xe0\x35\x84\xd9\xe3\x0b\xba\xea\x53\xbf\x01\x39\x29\x05\x7e\x61"
        "\x7b\xe9\x03\x32\xcb\x1d\x81\x07\x2e\x76\xbd\x4b\x47\x71\x9b\x27\x5b"
        "\x07\xde\xee\xa5\x2c\xed\x5b\x27\x95\xf5\xa6\x33\x68\xce\x3e\x2e\xb8"
        "\xcd\xa5\xf2\xa5\xdb\x9f\x31\x64\x86\x48\x0c\xe9\x15\xea\xab\xe3\xcf"
        "\xd6\xda\x43\xd7\xbf\xf2\xd1\xe8\x0f\x15\x99\xe3\xaa\x64\xb2\xfc\x8b"
        "\x22\x34\x89\xbc\xe1\x1d\x84\x4e\x33\x0a\xf8\x02\xc9\x65\x71\x55\x0a"
        "\x20\x54\xe5\xa9\x8f\x22\xd4\xdf\x74\x61\x1f\x7c\xa4\xea\x16\x6a\xbd"
        "\xd1\x3b\xee\xc3\x16\x19\xf6\x71\x11\x9d\x21\x42\x53\x84\x6e\xca\x5b"
        "\xe0\xb8\xec\xa6\xf9\x2c\xd6\x2a\xac\x41\xad\xa6\x5f\xbb\xee\xe7\x43"
        "\xe1\xd9\x03\x21\xa0\xa7\x2c\xa9\xb1\xdb\x71\xbe\x26\xd4\x0b\xe1\x4f"
        "\xd3\xef\xaf\x28\x4d\xa9\x54\x28\x20\xac\xcf\x04\x56\x5d\xab\xd7\xc0"
        "\x89\x2b\x5e\xa8\x64\x75\x7b\x1b\xae\x27\xa0\x7a\xb3\x82\x41\x0b\xd1"
        "\x75\x2b\x60\x21\xc6\xcc\x48\xf9\x3a\xb4\x06\xde\xb6\x0b\x75\x4b\x18"
        "\xd5\x6d\x07\xf0\x4d\x18\x03\x14\x52\x34\x4b\x92\xb7\x91\x61\x23\xe5"
        "\x84\x48\x70\x97\x52\xe2\x73\x4d\x49\xac\x7f\xa2\x81\x08\xf3\xf2\x9f"
        "\x95\x89\xb9\x6e\x58\x7f\xe4\x90\xb8\xe9\xc4\x85\xcc\xbc\xb1\xb2\x90"
        "\x18\xbd\xd8\xad\x83\x5f\xac\xef\xf3\x4d\xde\x61\x81\x88\xda\xec\x24"
        "\x13\xb5\xcb\x98\x4c\x4f\xfd\xa0\xb0\x25\x53\x7d\xc1\xc1\x7d\x0b\x02"
        "\xa1\x15\x90\x25\xee\xca\xc6\x1d\x92\x65\x36\x45\x0b\xd5\x27\x05\x2c"
        "\x3f\xb8\x2a\x7c\x7f\x05\xf1\xe3\xaa\xf2\x34\x68\x4c\x61\xe1\x6c\x92"
        "\xf9\x9f\x57\x9e\xd6\xce\xa3\x3d\x04\x89\x0c\x67\x7b\x63\x34\xb2\x80"
        "\xf7\x80\x90\x8d\x6a\xa4\x8c\xb3\x07\xa8\x63\x5e\x39\x24\xb6\x6b\x68"
        "\x49\x11\x27\xb7\x6d\x3c\x49\x54\x43\xd6\xb7\xba\xa4\x42\x08\x2d\x5c"
        "\xd5\x7d\x0f\xc5\x50\x86\x66\x20\x81\x1e\x61\x08\x60\x5a\xa8\xb6\x05"
        "\x04\x88\x1b\xbd\x92\x73\x5e\xd3\xc2\x72\xbe\x09\xc4\x19\x06\xfb\x38"
        "\xe0\x6a\x9b\x53\x44\x18\x8b\x12\xb3\x51\x33\xf3\xe5\x35\xb1\x54\xc5"
        "\x24\xff\x4c\x7c\x44\xef\x97\x97\x59\x31\xd5\x00\x65\x6d\xd8\x9d\xa0"
        "\xa2\x72\x7f\xa1\x96\xa4\xa5\x6e\x8a\x6c\xb6\xb9\x55\xbd\x43\xfc\xbd"
        "\x6a\x11\x90\x8b\x07\x71\x81\x8c\x63\x8f\x63\xbb\xb1\x3e\x2d\x01\x6c"
        "\x3e\xb5\x18\x9f\x10\x31\x71\xac\x01\xb1\x85\xc5\x23\x09\xfb\x7c\x21"
        "\x41\x8c\xde\x69\xec\x3b\x32\x0d\x66\xfc\x06\xbf\x91\x51\x3e\x9d\xc7"
        "\xc6\xae\x60\xd7\x35\x4f\x8e\x95\x39\xfd\x3a\xee\x0d\x1e\xb8\x60\x09"
        "\xcc\x72\x2e\x1b\xe7\x88\xb7\xea\x0c\xd4\xb9\xd4\x63\xff\x93\xa9\x0a"
        "\xdb\x73\x1d\xe4\xe3\x8c\x6c\xb1\x2b\x28\xbb\xd8\x2b\x92\xf3\x75\x3b"
        "\x9b\xea\x03\x9d\xba\x79\xaa\x70\x86\xd9\x9d\x11\x0d\x24\xed\x39\x20"
        "\xff\x44\xac\x62\x6f\x90\x3e\xeb\xf3\xb3\xc5\xcf\xbc\x2d\x97\x65\x45"
        "\x75\x05\x5a\x41\xf1\x96\xcf\xdd\x66\x0a\x07\x6d\xe3\x65\x67\x66\x7e"
        "\x9d\x79\x88\xbf\x04\x27\xf0\xd3\x25\xa3\xd0\xbe\x66\x17\x12\x5b\x97"
        "\x55\xa5\x38\xbd\xac\x13\x70\xb2\x23\x81\x04\x6f\x87\x49\x35\xae\x09"
        "\xfb\x06\xe1\x96\x0d\x5c\x70\x7b\x0b\x2c\x01\x31\xdf\x3a\x9d\x7f\x76"
        "\xf7\xd5\x71\x2a\xd3\x2c\x56\x08\x37\x75\x6e\x49\x2b\xf8\xa2\xc2\xdd"
        "\x56\x64\xb8\xce\x5e\x3c\x1a\x55\x78\x25\xa6\x3d\x13\x3a\x1a\x5a\xe3"
        "\xe8\xf8\xdf\xc1\xde\x63\x6b\x3b\x81\x70\x9b\x93\xd2\xa1\x5b\x9c\xb4"
        "\xba\x99\xe3\x91\x3e\xb8\xe7\xf8\xf2\xf9\x36\x12\x99\x0d\xa9\xe9\xf5"
        "\xea\x40\x3b\x3c\xcc\xb5\x18\xe1\x47\x52\x76\xa7\x9c\x8a\x42\x4e\xa2"
        "\x14\x6b\x5f\xca\x7a\x82\xef\x97\x81\x0d\x93\xd4\x98\x13\xb8\x23\xc9"
        "\xca\x95\xb4\xfe\x15\xbb\x3f\x89\x6a\x11\xd4\xc7\x49\xbd\xaf\xe7\x01"
        "\x3c\x42\xc9\x0e\xfe\xd5\xca\x42\x17\x7a\x09\x0c\x64\x38\x7f\xd9\x27"
        "\xd6\x15\x6c\x69\xcf\xed\x66\x6e\xf6\x81\x1f\xd2\xa9\xd0\x07\x83\xf7"
        "\x22\xde\x87\x6f\x19\x2e\x1e\x24\x42\x8c\x4b\xa1\x5c\x74\x03\x8b\xc7"
        "\x1e\x0e\x37\x4c\x4a\x3a\x1b\x2b\x78\x79\xcc\x3c\xa6\x97\xdd\x5b",
        4096));
    syscall(__NR_write, /*fd=*/r[0], /*buf=*/0x200000000780ul,
            /*count=*/0x1000ul);
    break;
  }
}
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);
  setup_sysctl();
  const char* reason;
  (void)reason;
  install_segv_handler();
  for (procid = 0; procid < 5; procid++) {
    if (fork() == 0) {
      loop();
    }
  }
  sleep(1000000);
  return 0;
}