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

#define _GNU_SOURCE
#include <dirent.h>
#include <endian.h>
#include <errno.h>
#include <errno.h>
#include <fcntl.h>
#include <linux/loop.h>
#include <linux/net.h>
#include <netinet/in.h>
#include <signal.h>
#include <stdarg.h>
#include <stdio.h>
#include <stdio.h>
#include <sys/ioctl.h>
#include <sys/mount.h>
#include <sys/mount.h>
#include <sys/prctl.h>
#include <sys/socket.h>
#include <sys/stat.h>
#include <sys/syscall.h>
#include <sys/time.h>
#include <sys/types.h>
#include <sys/wait.h>
#include <time.h>
#include <unistd.h>

__attribute__((noreturn)) static void doexit(int status)
{
  volatile unsigned i;
  syscall(__NR_exit_group, status);
  for (i = 0;; i++) {
  }
}
#include <errno.h>
#include <stdarg.h>
#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <sys/stat.h>

const int kFailStatus = 67;
const int kRetryStatus = 69;

static void fail(const char* msg, ...)
{
  int e = errno;
  va_list args;
  va_start(args, msg);
  vfprintf(stderr, msg, args);
  va_end(args);
  fprintf(stderr, " (errno %d)\n", e);
  doexit((e == ENOMEM || e == EAGAIN) ? kRetryStatus : kFailStatus);
}

static void exitf(const char* msg, ...)
{
  int e = errno;
  va_list args;
  va_start(args, msg);
  vfprintf(stderr, msg, args);
  va_end(args);
  fprintf(stderr, " (errno %d)\n", e);
  doexit(kRetryStatus);
}

static uint64_t current_time_ms()
{
  struct timespec ts;

  if (clock_gettime(CLOCK_MONOTONIC, &ts))
    fail("clock_gettime failed");
  return (uint64_t)ts.tv_sec * 1000 + (uint64_t)ts.tv_nsec / 1000000;
}

static void use_temporary_dir()
{
  char tmpdir_template[] = "./syzkaller.XXXXXX";
  char* tmpdir = mkdtemp(tmpdir_template);
  if (!tmpdir)
    fail("failed to mkdtemp");
  if (chmod(tmpdir, 0777))
    fail("failed to chmod");
  if (chdir(tmpdir))
    fail("failed to chdir");
}

extern unsigned long long procid;

struct fs_image_segment {
  void* data;
  uintptr_t size;
  uintptr_t offset;
};

#define IMAGE_MAX_SEGMENTS 4096
#define IMAGE_MAX_SIZE (32 << 20)

#define SYZ_memfd_create 319

static uintptr_t syz_mount_image(uintptr_t fs, uintptr_t dir, uintptr_t size,
                                 uintptr_t nsegs, uintptr_t segments,
                                 uintptr_t flags, uintptr_t opts)
{
  char loopname[64];
  int loopfd, err = 0, res = -1;
  uintptr_t i;
  struct fs_image_segment* segs = (struct fs_image_segment*)segments;

  if (nsegs > IMAGE_MAX_SEGMENTS)
    nsegs = IMAGE_MAX_SEGMENTS;
  for (i = 0; i < nsegs; i++) {
    if (segs[i].size > IMAGE_MAX_SIZE)
      segs[i].size = IMAGE_MAX_SIZE;
    segs[i].offset %= IMAGE_MAX_SIZE;
    if (segs[i].offset > IMAGE_MAX_SIZE - segs[i].size)
      segs[i].offset = IMAGE_MAX_SIZE - segs[i].size;
    if (size < segs[i].offset + segs[i].offset)
      size = segs[i].offset + segs[i].offset;
  }
  if (size > IMAGE_MAX_SIZE)
    size = IMAGE_MAX_SIZE;
  int memfd = syscall(SYZ_memfd_create, "syz_mount_image", 0);
  if (memfd == -1) {
    err = errno;
    goto error;
  }
  if (ftruncate(memfd, size)) {
    err = errno;
    goto error_close_memfd;
  }
  for (i = 0; i < nsegs; i++) {
    if (pwrite(memfd, segs[i].data, segs[i].size, segs[i].offset) < 0) {
    }
  }
  snprintf(loopname, sizeof(loopname), "/dev/loop%llu", procid);
  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;
    }
  }
  mkdir((char*)dir, 0777);
  if (strcmp((char*)fs, "iso9660") == 0)
    flags |= MS_RDONLY;
  if (mount(loopname, (char*)dir, (char*)fs, flags, (char*)opts)) {
    err = errno;
    goto error_clear_loop;
  }
  res = 0;
error_clear_loop:
  ioctl(loopfd, LOOP_CLR_FD, 0);
error_close_loop:
  close(loopfd);
error_close_memfd:
  close(memfd);
error:
  errno = err;
  return res;
}

#define XT_TABLE_SIZE 1536
#define XT_MAX_ENTRIES 10

struct xt_counters {
  uint64_t pcnt, bcnt;
};

struct ipt_getinfo {
  char name[32];
  unsigned int valid_hooks;
  unsigned int hook_entry[5];
  unsigned int underflow[5];
  unsigned int num_entries;
  unsigned int size;
};

struct ipt_get_entries {
  char name[32];
  unsigned int size;
  void* entrytable[XT_TABLE_SIZE / sizeof(void*)];
};

struct ipt_replace {
  char name[32];
  unsigned int valid_hooks;
  unsigned int num_entries;
  unsigned int size;
  unsigned int hook_entry[5];
  unsigned int underflow[5];
  unsigned int num_counters;
  struct xt_counters* counters;
  char entrytable[XT_TABLE_SIZE];
};

struct ipt_table_desc {
  const char* name;
  struct ipt_getinfo info;
  struct ipt_replace replace;
};

static struct ipt_table_desc ipv4_tables[] = {
    {.name = "filter"}, {.name = "nat"},      {.name = "mangle"},
    {.name = "raw"},    {.name = "security"},
};

static struct ipt_table_desc ipv6_tables[] = {
    {.name = "filter"}, {.name = "nat"},      {.name = "mangle"},
    {.name = "raw"},    {.name = "security"},
};

#define IPT_BASE_CTL 64
#define IPT_SO_SET_REPLACE (IPT_BASE_CTL)
#define IPT_SO_GET_INFO (IPT_BASE_CTL)
#define IPT_SO_GET_ENTRIES (IPT_BASE_CTL + 1)

struct arpt_getinfo {
  char name[32];
  unsigned int valid_hooks;
  unsigned int hook_entry[3];
  unsigned int underflow[3];
  unsigned int num_entries;
  unsigned int size;
};

struct arpt_get_entries {
  char name[32];
  unsigned int size;
  void* entrytable[XT_TABLE_SIZE / sizeof(void*)];
};

struct arpt_replace {
  char name[32];
  unsigned int valid_hooks;
  unsigned int num_entries;
  unsigned int size;
  unsigned int hook_entry[3];
  unsigned int underflow[3];
  unsigned int num_counters;
  struct xt_counters* counters;
  char entrytable[XT_TABLE_SIZE];
};

struct arpt_table_desc {
  const char* name;
  struct arpt_getinfo info;
  struct arpt_replace replace;
};

static struct arpt_table_desc arpt_tables[] = {
    {.name = "filter"},
};

#define ARPT_BASE_CTL 96
#define ARPT_SO_SET_REPLACE (ARPT_BASE_CTL)
#define ARPT_SO_GET_INFO (ARPT_BASE_CTL)
#define ARPT_SO_GET_ENTRIES (ARPT_BASE_CTL + 1)

static void checkpoint_iptables(struct ipt_table_desc* tables, int num_tables,
                                int family, int level)
{
  struct ipt_get_entries entries;
  socklen_t optlen;
  int fd, i;

  fd = socket(family, SOCK_STREAM, IPPROTO_TCP);
  if (fd == -1)
    fail("socket(%d, SOCK_STREAM, IPPROTO_TCP)", family);
  for (i = 0; i < num_tables; i++) {
    struct ipt_table_desc* table = &tables[i];
    strcpy(table->info.name, table->name);
    strcpy(table->replace.name, table->name);
    optlen = sizeof(table->info);
    if (getsockopt(fd, level, IPT_SO_GET_INFO, &table->info, &optlen)) {
      switch (errno) {
      case EPERM:
      case ENOENT:
      case ENOPROTOOPT:
        continue;
      }
      fail("getsockopt(IPT_SO_GET_INFO)");
    }
    if (table->info.size > sizeof(table->replace.entrytable))
      fail("table size is too large: %u", table->info.size);
    if (table->info.num_entries > XT_MAX_ENTRIES)
      fail("too many counters: %u", table->info.num_entries);
    memset(&entries, 0, sizeof(entries));
    strcpy(entries.name, table->name);
    entries.size = table->info.size;
    optlen = sizeof(entries) - sizeof(entries.entrytable) + table->info.size;
    if (getsockopt(fd, level, IPT_SO_GET_ENTRIES, &entries, &optlen))
      fail("getsockopt(IPT_SO_GET_ENTRIES)");
    table->replace.valid_hooks = table->info.valid_hooks;
    table->replace.num_entries = table->info.num_entries;
    table->replace.size = table->info.size;
    memcpy(table->replace.hook_entry, table->info.hook_entry,
           sizeof(table->replace.hook_entry));
    memcpy(table->replace.underflow, table->info.underflow,
           sizeof(table->replace.underflow));
    memcpy(table->replace.entrytable, entries.entrytable, table->info.size);
  }
  close(fd);
}

static void reset_iptables(struct ipt_table_desc* tables, int num_tables,
                           int family, int level)
{
  struct xt_counters counters[XT_MAX_ENTRIES];
  struct ipt_get_entries entries;
  struct ipt_getinfo info;
  socklen_t optlen;
  int fd, i;

  fd = socket(family, SOCK_STREAM, IPPROTO_TCP);
  if (fd == -1)
    fail("socket(%d, SOCK_STREAM, IPPROTO_TCP)", family);
  for (i = 0; i < num_tables; i++) {
    struct ipt_table_desc* table = &tables[i];
    if (table->info.valid_hooks == 0)
      continue;
    memset(&info, 0, sizeof(info));
    strcpy(info.name, table->name);
    optlen = sizeof(info);
    if (getsockopt(fd, level, IPT_SO_GET_INFO, &info, &optlen))
      fail("getsockopt(IPT_SO_GET_INFO)");
    if (memcmp(&table->info, &info, sizeof(table->info)) == 0) {
      memset(&entries, 0, sizeof(entries));
      strcpy(entries.name, table->name);
      entries.size = table->info.size;
      optlen = sizeof(entries) - sizeof(entries.entrytable) + entries.size;
      if (getsockopt(fd, level, IPT_SO_GET_ENTRIES, &entries, &optlen))
        fail("getsockopt(IPT_SO_GET_ENTRIES)");
      if (memcmp(table->replace.entrytable, entries.entrytable,
                 table->info.size) == 0)
        continue;
    }
    table->replace.num_counters = info.num_entries;
    table->replace.counters = counters;
    optlen = sizeof(table->replace) - sizeof(table->replace.entrytable) +
             table->replace.size;
    if (setsockopt(fd, level, IPT_SO_SET_REPLACE, &table->replace, optlen))
      fail("setsockopt(IPT_SO_SET_REPLACE)");
  }
  close(fd);
}

static void checkpoint_arptables(void)
{
  struct arpt_get_entries entries;
  socklen_t optlen;
  unsigned i;
  int fd;

  fd = socket(AF_INET, SOCK_STREAM, IPPROTO_TCP);
  if (fd == -1)
    fail("socket(AF_INET, SOCK_STREAM, IPPROTO_TCP)");
  for (i = 0; i < sizeof(arpt_tables) / sizeof(arpt_tables[0]); i++) {
    struct arpt_table_desc* table = &arpt_tables[i];
    strcpy(table->info.name, table->name);
    strcpy(table->replace.name, table->name);
    optlen = sizeof(table->info);
    if (getsockopt(fd, SOL_IP, ARPT_SO_GET_INFO, &table->info, &optlen)) {
      switch (errno) {
      case EPERM:
      case ENOENT:
      case ENOPROTOOPT:
        continue;
      }
      fail("getsockopt(ARPT_SO_GET_INFO)");
    }
    if (table->info.size > sizeof(table->replace.entrytable))
      fail("table size is too large: %u", table->info.size);
    if (table->info.num_entries > XT_MAX_ENTRIES)
      fail("too many counters: %u", table->info.num_entries);
    memset(&entries, 0, sizeof(entries));
    strcpy(entries.name, table->name);
    entries.size = table->info.size;
    optlen = sizeof(entries) - sizeof(entries.entrytable) + table->info.size;
    if (getsockopt(fd, SOL_IP, ARPT_SO_GET_ENTRIES, &entries, &optlen))
      fail("getsockopt(ARPT_SO_GET_ENTRIES)");
    table->replace.valid_hooks = table->info.valid_hooks;
    table->replace.num_entries = table->info.num_entries;
    table->replace.size = table->info.size;
    memcpy(table->replace.hook_entry, table->info.hook_entry,
           sizeof(table->replace.hook_entry));
    memcpy(table->replace.underflow, table->info.underflow,
           sizeof(table->replace.underflow));
    memcpy(table->replace.entrytable, entries.entrytable, table->info.size);
  }
  close(fd);
}

static void reset_arptables()
{
  struct xt_counters counters[XT_MAX_ENTRIES];
  struct arpt_get_entries entries;
  struct arpt_getinfo info;
  socklen_t optlen;
  unsigned i;
  int fd;

  fd = socket(AF_INET, SOCK_STREAM, IPPROTO_TCP);
  if (fd == -1)
    fail("socket(AF_INET, SOCK_STREAM, IPPROTO_TCP)");
  for (i = 0; i < sizeof(arpt_tables) / sizeof(arpt_tables[0]); i++) {
    struct arpt_table_desc* table = &arpt_tables[i];
    if (table->info.valid_hooks == 0)
      continue;
    memset(&info, 0, sizeof(info));
    strcpy(info.name, table->name);
    optlen = sizeof(info);
    if (getsockopt(fd, SOL_IP, ARPT_SO_GET_INFO, &info, &optlen))
      fail("getsockopt(ARPT_SO_GET_INFO)");
    if (memcmp(&table->info, &info, sizeof(table->info)) == 0) {
      memset(&entries, 0, sizeof(entries));
      strcpy(entries.name, table->name);
      entries.size = table->info.size;
      optlen = sizeof(entries) - sizeof(entries.entrytable) + entries.size;
      if (getsockopt(fd, SOL_IP, ARPT_SO_GET_ENTRIES, &entries, &optlen))
        fail("getsockopt(ARPT_SO_GET_ENTRIES)");
      if (memcmp(table->replace.entrytable, entries.entrytable,
                 table->info.size) == 0)
        continue;
    }
    table->replace.num_counters = info.num_entries;
    table->replace.counters = counters;
    optlen = sizeof(table->replace) - sizeof(table->replace.entrytable) +
             table->replace.size;
    if (setsockopt(fd, SOL_IP, ARPT_SO_SET_REPLACE, &table->replace, optlen))
      fail("setsockopt(ARPT_SO_SET_REPLACE)");
  }
  close(fd);
}
#include <linux/if.h>
#include <linux/netfilter_bridge/ebtables.h>

struct ebt_table_desc {
  const char* name;
  struct ebt_replace replace;
  char entrytable[XT_TABLE_SIZE];
};

static struct ebt_table_desc ebt_tables[] = {
    {.name = "filter"}, {.name = "nat"}, {.name = "broute"},
};

static void checkpoint_ebtables(void)
{
  socklen_t optlen;
  unsigned i;
  int fd;

  fd = socket(AF_INET, SOCK_STREAM, IPPROTO_TCP);
  if (fd == -1)
    fail("socket(AF_INET, SOCK_STREAM, IPPROTO_TCP)");
  for (i = 0; i < sizeof(ebt_tables) / sizeof(ebt_tables[0]); i++) {
    struct ebt_table_desc* table = &ebt_tables[i];
    strcpy(table->replace.name, table->name);
    optlen = sizeof(table->replace);
    if (getsockopt(fd, SOL_IP, EBT_SO_GET_INIT_INFO, &table->replace,
                   &optlen)) {
      switch (errno) {
      case EPERM:
      case ENOENT:
      case ENOPROTOOPT:
        continue;
      }
      fail("getsockopt(EBT_SO_GET_INIT_INFO)");
    }
    if (table->replace.entries_size > sizeof(table->entrytable))
      fail("table size is too large: %u", table->replace.entries_size);
    table->replace.num_counters = 0;
    table->replace.entries = table->entrytable;
    optlen = sizeof(table->replace) + table->replace.entries_size;
    if (getsockopt(fd, SOL_IP, EBT_SO_GET_INIT_ENTRIES, &table->replace,
                   &optlen))
      fail("getsockopt(EBT_SO_GET_INIT_ENTRIES)");
  }
  close(fd);
}

static void reset_ebtables()
{
  struct ebt_replace replace;
  char entrytable[XT_TABLE_SIZE];
  socklen_t optlen;
  unsigned i, j, h;
  int fd;

  fd = socket(AF_INET, SOCK_STREAM, IPPROTO_TCP);
  if (fd == -1)
    fail("socket(AF_INET, SOCK_STREAM, IPPROTO_TCP)");
  for (i = 0; i < sizeof(ebt_tables) / sizeof(ebt_tables[0]); i++) {
    struct ebt_table_desc* table = &ebt_tables[i];
    if (table->replace.valid_hooks == 0)
      continue;
    memset(&replace, 0, sizeof(replace));
    strcpy(replace.name, table->name);
    optlen = sizeof(replace);
    if (getsockopt(fd, SOL_IP, EBT_SO_GET_INFO, &replace, &optlen))
      fail("getsockopt(EBT_SO_GET_INFO)");
    replace.num_counters = 0;
    table->replace.entries = 0;
    for (h = 0; h < NF_BR_NUMHOOKS; h++)
      table->replace.hook_entry[h] = 0;
    if (memcmp(&table->replace, &replace, sizeof(table->replace)) == 0) {
      memset(&entrytable, 0, sizeof(entrytable));
      replace.entries = entrytable;
      optlen = sizeof(replace) + replace.entries_size;
      if (getsockopt(fd, SOL_IP, EBT_SO_GET_ENTRIES, &replace, &optlen))
        fail("getsockopt(EBT_SO_GET_ENTRIES)");
      if (memcmp(table->entrytable, entrytable, replace.entries_size) == 0)
        continue;
    }
    for (j = 0, h = 0; h < NF_BR_NUMHOOKS; h++) {
      if (table->replace.valid_hooks & (1 << h)) {
        table->replace.hook_entry[h] =
            (struct ebt_entries*)table->entrytable + j;
        j++;
      }
    }
    table->replace.entries = table->entrytable;
    optlen = sizeof(table->replace) + table->replace.entries_size;
    if (setsockopt(fd, SOL_IP, EBT_SO_SET_ENTRIES, &table->replace, optlen))
      fail("setsockopt(EBT_SO_SET_ENTRIES)");
  }
  close(fd);
}

static void checkpoint_net_namespace(void)
{
  checkpoint_ebtables();
  checkpoint_arptables();
  checkpoint_iptables(ipv4_tables, sizeof(ipv4_tables) / sizeof(ipv4_tables[0]),
                      AF_INET, SOL_IP);
  checkpoint_iptables(ipv6_tables, sizeof(ipv6_tables) / sizeof(ipv6_tables[0]),
                      AF_INET6, SOL_IPV6);
}

static void reset_net_namespace(void)
{
  reset_ebtables();
  reset_arptables();
  reset_iptables(ipv4_tables, sizeof(ipv4_tables) / sizeof(ipv4_tables[0]),
                 AF_INET, SOL_IP);
  reset_iptables(ipv6_tables, sizeof(ipv6_tables) / sizeof(ipv6_tables[0]),
                 AF_INET6, SOL_IPV6);
}

static void remove_dir(const char* dir)
{
  DIR* dp;
  struct dirent* ep;
  int iter = 0;
retry:
  while (umount2(dir, MNT_DETACH) == 0) {
  }
  dp = opendir(dir);
  if (dp == NULL) {
    if (errno == EMFILE) {
      exitf("opendir(%s) failed due to NOFILE, exiting", dir);
    }
    exitf("opendir(%s) failed", dir);
  }
  while ((ep = readdir(dp))) {
    if (strcmp(ep->d_name, ".") == 0 || strcmp(ep->d_name, "..") == 0)
      continue;
    char filename[FILENAME_MAX];
    snprintf(filename, sizeof(filename), "%s/%s", dir, ep->d_name);
    struct stat st;
    if (lstat(filename, &st))
      exitf("lstat(%s) failed", filename);
    if (S_ISDIR(st.st_mode)) {
      remove_dir(filename);
      continue;
    }
    int i;
    for (i = 0;; i++) {
      if (unlink(filename) == 0)
        break;
      if (errno == EROFS) {
        break;
      }
      if (errno != EBUSY || i > 100)
        exitf("unlink(%s) failed", filename);
      if (umount2(filename, MNT_DETACH))
        exitf("umount(%s) failed", filename);
    }
  }
  closedir(dp);
  int i;
  for (i = 0;; i++) {
    if (rmdir(dir) == 0)
      break;
    if (i < 100) {
      if (errno == EROFS) {
        break;
      }
      if (errno == EBUSY) {
        if (umount2(dir, MNT_DETACH))
          exitf("umount(%s) failed", dir);
        continue;
      }
      if (errno == ENOTEMPTY) {
        if (iter < 100) {
          iter++;
          goto retry;
        }
      }
    }
    exitf("rmdir(%s) failed", dir);
  }
}

static void execute_one();
extern unsigned long long procid;

static void loop()
{
  checkpoint_net_namespace();
  int iter;
  for (iter = 0;; iter++) {
    char cwdbuf[32];
    sprintf(cwdbuf, "./%d", iter);
    if (mkdir(cwdbuf, 0777))
      fail("failed to mkdir");
    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);
    }
    int pid = fork();
    if (pid < 0)
      fail("clone failed");
    if (pid == 0) {
      prctl(PR_SET_PDEATHSIG, SIGKILL, 0, 0, 0);
      setpgrp();
      if (chdir(cwdbuf))
        fail("failed to chdir");
      execute_one();
      doexit(0);
    }

    int status = 0;
    uint64_t start = current_time_ms();
    for (;;) {
      int res = waitpid(-1, &status, __WALL | WNOHANG);
      if (res == pid) {
        break;
      }
      usleep(1000);
      if (current_time_ms() - start < 3 * 1000)
        continue;
      kill(-pid, SIGKILL);
      kill(pid, SIGKILL);
      while (waitpid(-1, &status, __WALL) != pid) {
      }
      break;
    }
    remove_dir(cwdbuf);
    reset_net_namespace();
  }
}

unsigned long long procid;
void execute_one()
{
  memcpy((void*)0x20000000, "ntfs", 5);
  memcpy((void*)0x20000100, "./file0", 8);
  *(uint64_t*)0x20000200 = 0x20010000;
  memcpy((void*)0x20010000,
         "\xeb\x52\x90\x4e\x54\x46\x53\x20\x20\x20\x20\x00\x02\x08\x00\x00\x00"
         "\x00\x00\x00\x00\xf8\x00\x00\x64\x00\x00\x00\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x80\x00\x80\x00\xff\x0f\x00\x00\x00\x00\x00\x00\x04\x00\x00"
         "\x00\x00\x00\x00\x00\xff\x00\x00\x00\x00\x00\x00\x00\xf6\x00\x00\x00"
         "\x01\x00\x00\x00\xd7\xfe\x87\x48\x16\xc6\x95\x50\x00\x00\x00\x00\x0e"
         "\x1f\xbe\x71\x7c\xac\x22\xc0\x74\x0b\x56\xb4\x0e\xbb\x07\x00\xcd\x10"
         "\x5e\xeb\xf0\x32\xe4\xcd\x16\xcd\x19\xeb\xfe\x54\x68\x69\x73\x20\x69"
         "\x73\x20\x6e\x6f\x74\x20\x61\x20\x62\x6f\x6f\x74\x61\x62\x6c\x65\x20"
         "\x64\x69\x73\x6b\x2e\x20\x50\x6c\x65\x61\x73\x65\x20\x69\x6e\x73\x65"
         "\x72\x74\x20\x61\x20\x62\x6f\x6f\x74\x61\x62\x6c\x65\x20\x66\x6c\x6f"
         "\x70\x70\x79\x20\x61\x6e\x64\x0d\x0a\x70\x72\x65\x73\x73\x20\x61\x6e"
         "\x79\x20\x6b\x65\x79\x20\x74\x6f\x20\x74\x72\x79\x20\x61\x67\x61\x69"
         "\x6e\x20\x2e\x2e\x2e\x20\x0d\x0a\x00\x00\x00\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x00",
         224);
  *(uint64_t*)0x20000208 = 0xe0;
  *(uint64_t*)0x20000210 = 0;
  *(uint64_t*)0x20000218 = 0x20010100;
  *(uint64_t*)0x20000220 = 0;
  *(uint64_t*)0x20000228 = 0x1e0;
  *(uint64_t*)0x20000230 = 0x20010200;
  *(uint64_t*)0x20000238 = 0;
  *(uint64_t*)0x20000240 = 0x2000;
  *(uint64_t*)0x20000248 = 0x20010300;
  memcpy((void*)0x20010300,
         "\x46\x49\x4c\x45\x30\x00\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01"
         "\x00\x01\x00\x38\x00\x01\x00\x98\x01\x00\x00\x00\x04\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x00\x00\x04\x00\x00\x00\x00\x00\x00\x00\x02\x00\x00"
         "\x00\x00\x00\x00\x00\x10\x00\x00\x00\x60\x00\x00\x00\x00\x00\x18\x00"
         "\x00\x00\x00\x00\x48\x00\x00\x00\x18\x00\x00\x00\x80\x4a\xb3\x41\x34"
         "\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8"
         "\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x06\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00"
         "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x30"
         "\x00\x00\x00\x68\x00\x00\x00\x00\x00\x18\x00\x00\x00\x02\x00\x4a\x00"
         "\x00\x00\x18\x00\x01\x00\x05\x00\x00\x00\x00\x00\x05\x00\x80\x4a\xb3"
         "\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41"
         "\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x00\x70\x00\x00\x00"
         "\x00\x00\x00\x00\x6c\x00\x00\x00\x00\x00\x00\x06\x00\x00\x00\x00\x00"
         "\x00\x00\x04\x03\x24\x00\x4d\x00\x46\x00\x54\x00\x00\x00\x00\x00\x00"
         "\x00\x80\x00\x00\x00\x48\x00\x00\x00\x01\x00\x40\x00\x00\x00\x01\x00"
         "\x00\x00\x00\x00\x00\x00\x00\x00\x06\x00\x00\x00\x00\x00\x00\x00\x40"
         "\x00\x00\x00\x00\x00\x00\x00\x00\x70\x00\x00\x00\x00\x00\x00\x00\x6c"
         "\x00\x00\x00\x00\x00\x00\x00\x6c\x00\x00\x00\x00\x00\x00\x11\x07\x04"
         "\x00\x00\x00\x00\x00\xb0\x00\x00\x00\x48\x00\x00\x00\x01\x00\x40\x00"
         "\x00\x00\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x40\x00\x00\x00\x00\x00\x00\x00\x00\x10\x00\x00\x00\x00"
         "\x00\x00\x08\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x00\x00\x00"
         "\x00\x11\x01\x02\x00\x00\x00\x00\x00\xff\xff\xff\xff\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x00\x00\x00\x00",
         416);
  *(uint64_t*)0x20000250 = 0x1a0;
  *(uint64_t*)0x20000258 = 0x4000;
  *(uint64_t*)0x20000260 = 0x20010500;
  memcpy((void*)0x20010500, "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x02\x00",
         32);
  *(uint64_t*)0x20000268 = 0x20;
  *(uint64_t*)0x20000270 = 0x41e0;
  *(uint64_t*)0x20000278 = 0x20010600;
  memcpy((void*)0x20010600,
         "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x02\x00\x46\x49"
         "\x4c\x45\x30\x00\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x01"
         "\x00\x38\x00\x01\x00\x58\x01\x00\x00\x00\x04\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x03\x00\x00\x00\x01\x00\x00\x00\x02\x00\x00\x00\x00"
         "\x00\x00\x00\x10\x00\x00\x00\x60\x00\x00\x00\x00\x00\x18\x00\x00\x00"
         "\x00\x00\x48\x00\x00\x00\x18\x00\x00\x00\x80\x4a\xb3\x41\x34\xc8\xd3"
         "\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01"
         "\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x06\x00\x00\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x30\x00\x00"
         "\x00\x70\x00\x00\x00\x00\x00\x18\x00\x00\x00\x02\x00\x52\x00\x00\x00"
         "\x18\x00\x01\x00\x05\x00\x00\x00\x00\x00\x05\x00\x80\x4a\xb3\x41\x34"
         "\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8"
         "\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x00\x10\x00\x00\x00\x00\x00"
         "\x00\x00\x10\x00\x00\x00\x00\x00\x00\x06\x00\x00\x00\x00\x00\x00\x00"
         "\x08\x03\x24\x00\x4d\x00\x46\x00\x54\x00\x4d\x00\x69\x00\x72\x00\x72"
         "\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x48\x00\x00\x00\x01\x00"
         "\x40\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x00\x40\x00\x00\x00\x00\x00\x00\x00\x00\x10\x00\x00"
         "\x00\x00\x00\x00\x00\x10\x00\x00\x00\x00\x00\x00\x00\x10\x00\x00\x00"
         "\x00\x00\x00\x21\x01\xff\x00\x00\x00\x00\x00\xff\xff\xff\xff\x00\x00"
         "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00",
         384);
  *(uint64_t*)0x20000280 = 0x180;
  *(uint64_t*)0x20000288 = 0x43e0;
  *(uint64_t*)0x20000290 = 0x20010800;
  *(uint64_t*)0x20000298 = 0;
  *(uint64_t*)0x200002a0 = 0x45e0;
  *(uint64_t*)0x200002a8 = 0x20010900;
  *(uint64_t*)0x200002b0 = 0;
  *(uint64_t*)0x200002b8 = 0x47e0;
  *(uint64_t*)0x200002c0 = 0x20010b00;
  *(uint64_t*)0x200002c8 = 0;
  *(uint64_t*)0x200002d0 = 0x49e0;
  *(uint64_t*)0x200002d8 = 0x20010c00;
  memcpy((void*)0x20010c00,
         "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x02\x00\x46\x49"
         "\x4c\x45\x30\x00\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x03\x00\x01"
         "\x00\x38\x00\x01\x00\xc8\x01\x00\x00\x00\x04\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x06\x00\x00\x00\x03\x00\x00\x00\x02\x00\x00\x00\x00"
         "\x00\x00\x00\x10\x00\x00\x00\x48\x00\x00\x00\x00\x00\x18\x00\x00\x00"
         "\x00\x00\x30\x00\x00\x00\x18\x00\x00\x00\x80\x4a\xb3\x41\x34\xc8\xd3"
         "\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01"
         "\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x06\x00\x00\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x00\x00\x00\x30\x00\x00\x00\x68\x00\x00\x00\x00\x00"
         "\x18\x00\x00\x00\x01\x00\x50\x00\x00\x00\x18\x00\x01\x00\x05\x00\x00"
         "\x00\x00\x00\x05\x00\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41"
         "\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34"
         "\xc8\xd3\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x06\x00\x00\x00\x00\x00\x00\x00\x07\x03\x24\x00\x56\x00\x6f"
         "\x00\x6c\x00\x75\x00\x6d\x00\x65\x00\x50\x00\x00\x00\x80\x00\x00\x00"
         "\x00\x00\x18\x00\x00\x00\x02\x00\x64\x00\x00\x00\x18\x00\x00\x00\x01"
         "\x00\x04\x80\x48\x00\x00\x00\x54\x00\x00\x00\x00\x00\x00\x00\x14\x00"
         "\x00\x00\x02\x00\x34\x00\x02\x00\x00\x00\x00\x00\x14\x00\x9f\x01\x12"
         "\x00\x01\x01\x00\x00\x00\x00\x00\x05\x12\x00\x00\x00\x00\x00\x18\x00"
         "\x9f\x01\x12\x00\x01\x02\x00\x00\x00\x00\x00\x05\x20\x00\x00\x00\x20"
         "\x02\x00\x00\x01\x01\x00\x00\x00\x00\x00\x05\x12\x00\x00\x00\x01\x02"
         "\x00\x00\x00\x00\x00\x05\x20\x00\x00\x00\x20\x02\x00\x00\x00\x00\x00"
         "\x00\x60\x00\x00\x00\x18\x00\x00\x00\x00\x00\x18\x00\x00\x00\x04\x00"
         "\x00\x00\x00\x00\x18\x00\x00\x00\x70\x00\x00\x00\x28\x00\x00\x00\x00"
         "\x00\x18\x00\x00\x00\x05\x00\x0c\x00\x00\x00\x18\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x00\x00\x03\x01\x00\x00\x00\x00\x00\x00\x80\x00\x00"
         "\x00\x18\x00\x00\x00\x00\x00\x18\x00\x00\x00\x03\x00\x00\x00\x00\x00"
         "\x18\x00\x00\x00\xff\xff\xff\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x02\x00",
         544);
  *(uint64_t*)0x200002e0 = 0x220;
  *(uint64_t*)0x200002e8 = 0x4be0;
  *(uint64_t*)0x200002f0 = 0x20010f00;
  memcpy(
      (void*)0x20010f00,
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x02\x00\x46\x49\x4c\x45"
      "\x30\x00\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x00\x01\x00\x38\x00"
      "\x01\x00\xc0\x01\x00\x00\x00\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x04\x00\x00\x00\x04\x00\x00\x00\x02\x00\x00\x00\x00\x00\x00\x00\x10\x00"
      "\x00\x00\x48\x00\x00\x00\x00\x00\x18\x00\x00\x00\x00\x00\x30\x00\x00\x00"
      "\x18\x00\x00\x00\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8"
      "\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01"
      "\x06\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x30\x00"
      "\x00\x00\x70\x00\x00\x00\x00\x00\x18\x00\x00\x00\x02\x00\x52\x00\x00\x00"
      "\x18\x00\x01\x00\x05\x00\x00\x00\x00\x00\x05\x00\x80\x4a\xb3\x41\x34\xc8"
      "\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01"
      "\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x00\x10\x00\x00\x00\x00\x00\x00\x00\x0a"
      "\x00\x00\x00\x00\x00\x00\x06\x00\x00\x00\x00\x00\x00\x00\x08\x03\x24\x00"
      "\x41\x00\x74\x00\x74\x00\x72\x00\x44\x00\x65\x00\x66\x00\x00\x00\x00\x00"
      "\x00\x00\x50\x00\x00\x00\x80\x00\x00\x00\x00\x00\x18\x00\x00\x00\x03\x00"
      "\x64\x00\x00\x00\x18\x00\x00\x00\x01\x00\x04\x80\x48\x00\x00\x00\x54\x00"
      "\x00\x00\x00\x00\x00\x00\x14\x00\x00\x00\x02\x00\x34\x00\x02\x00\x00\x00"
      "\x00\x00\x14\x00\x89\x00\x12\x00\x01\x01\x00\x00\x00\x00\x00\x05\x12\x00"
      "\x00\x00\x00\x00\x18\x00\x89\x00\x12\x00\x01\x02\x00\x00\x00\x00\x00\x05"
      "\x20\x00\x00\x00\x20\x02\x00\x00\x01\x01\x00\x00\x00\x00\x00\x05\x12\x00"
      "\x00\x00\x01\x02\x00\x00\x00\x00\x00\x05\x20\x00\x00\x00\x20\x02\x00\x00"
      "\x00\x00\x00\x00\x80\x00\x00\x00\x48\x00\x00\x00\x01\x00\x40\x00\x00\x00"
      "\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x40\x00\x00\x00\x00\x00\x00\x00\x00\x10\x00\x00\x00\x00\x00\x00\x00\x0a"
      "\x00\x00\x00\x00\x00\x00\x00\x0a\x00\x00\x00\x00\x00\x00\x21\x01\x43\x01"
      "\x00\x00\x00\x00\xff\xff\xff\xff\x00\x00\x00\x00",
      480);
  *(uint64_t*)0x200002f8 = 0x1e0;
  *(uint64_t*)0x20000300 = 0x4fe0;
  *(uint64_t*)0x20000308 = 0x20011100;
  memcpy((void*)0x20011100, "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x02\x00",
         32);
  *(uint64_t*)0x20000310 = 0x20;
  *(uint64_t*)0x20000318 = 0x51e0;
  *(uint64_t*)0x20000320 = 0x20011200;
  memcpy((void*)0x20011200,
         "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x02\x00\x46\x49"
         "\x4c\x45\x30\x00\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x05\x00\x01"
         "\x00\x38\x00\x03\x00\x00\x02\x00\x00\x00\x04\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x06\x00\x00\x00\x05\x00\x00\x00\x02\x00\x00\x00\x00"
         "\x00\x00\x00\x10\x00\x00\x00\x48\x00\x00\x00\x00\x00\x18\x00\x00\x00"
         "\x00\x00\x30\x00\x00\x00\x18\x00\x00\x00\x80\x4a\xb3\x41\x34\xc8\xd3"
         "\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01"
         "\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x26\x20\x00\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x00\x00\x00\x30\x00\x00\x00\x60\x00\x00\x00\x00\x00"
         "\x18\x00\x00\x00\x01\x00\x44\x00\x00\x00\x18\x00\x01\x00\x05\x00\x00"
         "\x00\x00\x00\x05\x00\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41"
         "\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34"
         "\xc8\xd3\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x06\x00\x00\x10\x00\x00\x00\x00\x01\x03\x2e\x00\x00\x00\x00"
         "\x00\x50\x00\x00\x00\x48\x00\x00\x00\x01\x00\x40\x00\x00\x00\x02\x00"
         "\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x40"
         "\x00\x00\x00\x00\x00\x00\x00\x00\x20\x00\x00\x00\x00\x00\x00\x2c\x10"
         "\x00\x00\x00\x00\x00\x00\x2c\x10\x00\x00\x00\x00\x00\x00\x21\x02\x40"
         "\x01\x00\x00\x00\x00\x90\x00\x00\x00\x58\x00\x00\x00\x00\x04\x18\x00"
         "\x00\x00\x03\x00\x38\x00\x00\x00\x20\x00\x00\x00\x24\x00\x49\x00\x33"
         "\x00\x30\x00\x30\x00\x00\x00\x01\x00\x00\x00\x00\x10\x00\x00\x01\x00"
         "\x00\x00\x10\x00\x00\x00\x28\x00\x00\x00\x28\x00\x00\x00\x01\x00\x00"
         "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x18\x00\x00\x00\x03\x00\x00\x00"
         "\x00\x00\x00\x00\x00\x00\x00\x00\xa0\x00\x00\x00\x50\x00\x00\x00\x01"
         "\x04\x40\x00\x00\x00\x05\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x00\x00\x48\x00\x00\x00\x00\x00\x00\x00\x00\x10\x00"
         "\x00\x00\x00\x00\x00\x00\x10\x00\x00\x00\x00\x00\x00\x00\x10\x00\x00"
         "\x00\x00\x00\x00\x24\x00\x49\x00\x33\x00\x30\x00\x21\x01\x42\x01\x00"
         "\x00\x00\x00\xb0\x00\x00\x00\x28\x00\x00\x00\x00\x04\x18\x00\x00\x00"
         "\x04\x00\x08\x00\x00\x00\x20\x00\x00\x00\x24\x00\x49\x00\x33\x00\x30"
         "\x00\x01\x00\x00\x00\x00\x00\x00\x00\xff\xff\xff\xff\x00\x00\x02\x00",
         544);
  *(uint64_t*)0x20000328 = 0x220;
  *(uint64_t*)0x20000330 = 0x53e0;
  *(uint64_t*)0x20000338 = 0x20011500;
  memcpy((void*)0x20011500,
         "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x02\x00\x46\x49"
         "\x4c\x45\x30\x00\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x06\x00\x01"
         "\x00\x38\x00\x01\x00\x50\x01\x00\x00\x00\x04\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x03\x00\x00\x00\x06\x00\x00\x00\x02\x00\x00\x00\x00"
         "\x00\x00\x00\x10\x00\x00\x00\x60\x00\x00\x00\x00\x00\x18\x00\x00\x00"
         "\x00\x00\x48\x00\x00\x00\x18\x00\x00\x00\x80\x4a\xb3\x41\x34\xc8\xd3"
         "\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01"
         "\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x06\x00\x00\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x30\x00\x00"
         "\x00\x68\x00\x00\x00\x00\x00\x18\x00\x00\x00\x02\x00\x50\x00\x00\x00"
         "\x18\x00\x01\x00\x05\x00\x00\x00\x00\x00\x05\x00\x80\x4a\xb3\x41\x34"
         "\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8"
         "\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x00\x10\x00\x00\x00\x00\x00"
         "\x00\x40\x00\x00\x00\x00\x00\x00\x00\x06\x00\x00\x00\x00\x00\x00\x00"
         "\x07\x03\x24\x00\x42\x00\x69\x00\x74\x00\x6d\x00\x61\x00\x70\x00\x80"
         "\x00\x00\x00\x48\x00\x00\x00\x01\x00\x40\x00\x00\x00\x01\x00\x00\x00"
         "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x40\x00\x00"
         "\x00\x00\x00\x00\x00\x00\x10\x00\x00\x00\x00\x00\x00\x40\x00\x00\x00"
         "\x00\x00\x00\x00\x40\x00\x00\x00\x00\x00\x00\x00\x21\x01\x44\x01\x00"
         "\x00\x00\x00\xff\xff\xff\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00",
         384);
  *(uint64_t*)0x20000340 = 0x180;
  *(uint64_t*)0x20000348 = 0x57e0;
  *(uint64_t*)0x20000350 = 0x20011700;
  memcpy((void*)0x20011700, "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x02\x00",
         32);
  *(uint64_t*)0x20000358 = 0x20;
  *(uint64_t*)0x20000360 = 0x59e0;
  *(uint64_t*)0x20000368 = 0x20011800;
  memcpy(
      (void*)0x20011800,
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x02\x00\x46\x49\x4c\x45"
      "\x30\x00\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x07\x00\x01\x00\x38\x00"
      "\x01\x00\xb8\x01\x00\x00\x00\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x04\x00\x00\x00\x07\x00\x00\x00\x02\x00\x00\x00\x00\x00\x00\x00\x10\x00"
      "\x00\x00\x48\x00\x00\x00\x00\x00\x18\x00\x00\x00\x00\x00\x30\x00\x00\x00"
      "\x18\x00\x00\x00\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8"
      "\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01"
      "\x06\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x30\x00"
      "\x00\x00\x68\x00\x00\x00\x00\x00\x18\x00\x00\x00\x02\x00\x4c\x00\x00\x00"
      "\x18\x00\x01\x00\x05\x00\x00\x00\x00\x00\x05\x00\x80\x4a\xb3\x41\x34\xc8"
      "\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01"
      "\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x00\x20\x00\x00\x00\x00\x00\x00\x00\x20"
      "\x00\x00\x00\x00\x00\x00\x06\x00\x00\x00\x00\x00\x00\x00\x05\x03\x24\x00"
      "\x42\x00\x6f\x00\x6f\x00\x74\x00\x00\x00\x00\x00\x50\x00\x00\x00\x80\x00"
      "\x00\x00\x00\x00\x18\x00\x00\x00\x03\x00\x64\x00\x00\x00\x18\x00\x00\x00"
      "\x01\x00\x04\x80\x48\x00\x00\x00\x54\x00\x00\x00\x00\x00\x00\x00\x14\x00"
      "\x00\x00\x02\x00\x34\x00\x02\x00\x00\x00\x00\x00\x14\x00\x89\x00\x12\x00"
      "\x01\x01\x00\x00\x00\x00\x00\x05\x12\x00\x00\x00\x00\x00\x18\x00\x89\x00"
      "\x12\x00\x01\x02\x00\x00\x00\x00\x00\x05\x20\x00\x00\x00\x20\x02\x00\x00"
      "\x01\x01\x00\x00\x00\x00\x00\x05\x12\x00\x00\x00\x01\x02\x00\x00\x00\x00"
      "\x00\x05\x20\x00\x00\x00\x20\x02\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00"
      "\x48\x00\x00\x00\x01\x00\x40\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x40\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x20\x00\x00\x00\x00\x00\x00\x00\x20\x00\x00\x00\x00\x00\x00\x00\x20"
      "\x00\x00\x00\x00\x00\x00\x11\x02\x00\x00\x00\x00\x00\x00\xff\xff\xff\xff"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00",
      480);
  *(uint64_t*)0x20000370 = 0x1e0;
  *(uint64_t*)0x20000378 = 0x5be0;
  *(uint64_t*)0x20000380 = 0x20011a00;
  *(uint64_t*)0x20000388 = 0;
  *(uint64_t*)0x20000390 = 0x5de0;
  *(uint64_t*)0x20000398 = 0x20011b00;
  *(uint64_t*)0x200003a0 = 0;
  *(uint64_t*)0x200003a8 = 0x5fe0;
  *(uint64_t*)0x200003b0 = 0x20011d00;
  *(uint64_t*)0x200003b8 = 0;
  *(uint64_t*)0x200003c0 = 0x61e0;
  *(uint64_t*)0x200003c8 = 0x20011e00;
  memcpy(
      (void*)0x20011e00,
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x02\x00\x46\x49\x4c\x45"
      "\x30\x00\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x09\x00\x01\x00\x38\x00"
      "\x09\x00\xa8\x02\x00\x00\x00\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x05\x00\x00\x00\x09\x00\x00\x00\x02\x00\x00\x00\x00\x00\x00\x00\x10\x00"
      "\x00\x00\x60\x00\x00\x00\x00\x00\x18\x00\x00\x00\x00\x00\x48\x00\x00\x00"
      "\x18\x00\x00\x00\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8"
      "\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01"
      "\x06\x00\x00\x20\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x01\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x30\x00\x00\x00\x68\x00\x00\x00\x00\x00\x18\x00\x00\x00"
      "\x01\x00\x50\x00\x00\x00\x18\x00\x01\x00\x05\x00\x00\x00\x00\x00\x05\x00"
      "\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a"
      "\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x06\x00\x00\x20\x00\x00"
      "\x00\x00\x07\x03\x24\x00\x53\x00\x65\x00\x63\x00\x75\x00\x72\x00\x65\x00"
      "\x80\x00\x00\x00\x50\x00\x00\x00\x01\x04\x40\x00\x00\x00\x02\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x40\x00\x00\x00\x00\x00\x00\x00\x48\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x10\x04\x00\x00\x00\x00\x00\xfc\x00\x04\x00\x00\x00"
      "\x00\x00\xfc\x00\x04\x00\x00\x00\x00\x00\x24\x00\x53\x00\x44\x00\x53\x00"
      "\x21\x41\x45\x01\x00\x00\x00\x00\x90\x00\x00\x00\xb0\x00\x00\x00\x00\x04"
      "\x18\x00\x00\x00\x03\x00\x90\x00\x00\x00\x20\x00\x00\x00\x24\x00\x53\x00"
      "\x44\x00\x48\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x10\x00\x00\x01\x00"
      "\x00\x00\x10\x00\x00\x00\x80\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00"
      "\x18\x00\x14\x00\x00\x00\x00\x00\x30\x00\x08\x00\x00\x00\x00\x00\x51\x24"
      "\xb3\x00\x01\x01\x00\x00\x51\x24\xb3\x00\x01\x01\x00\x00\x80\x00\x00\x00"
      "\x00\x00\x00\x00\x7c\x00\x00\x00\x49\x00\x49\x00\x18\x00\x14\x00\x00\x00"
      "\x00\x00\x30\x00\x08\x00\x00\x00\x00\x00\xf0\x12\x03\xf8\x00\x01\x00\x00"
      "\xf0\x12\x03\xf8\x00\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x7c\x00"
      "\x00\x00\x49\x00\x49\x00\x00\x00\x00\x00\x00\x00\x00\x00\x10\x00\x00\x00"
      "\x02\x00\x02\x00\x90\x00\x00\x00\xa0\x00\x00\x00\x00\x04\x18\x00\x00\x00"
      "\x04\x00\x80\x00\x00\x00\x20\x00\x00\x00\x24\x00\x53\x00\x49\x00\x49\x00"
      "\x00\x00\x00\x00\x10\x00\x00\x00\x00\x10\x00\x00\x01\x00\x00\x00\x10\x00"
      "\x00\x00\x70\x00\x00\x00\x70\x00\x00\x00\x00\x00\x00\x00\x14\x00\x14\x00"
      "\x00\x00\x00\x00\x28\x00\x04\x00\x00\x00\x00\x00\x00\x01\x00\x00\xf0\x12"
      "\x03\xf8\x00\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x7c\x00\x00\x00"
      "\x14\x00\x14\x00\x00\x00\x00\x00\x28\x00\x04\x00\x00\x00\x00\x00\x01\x01"
      "\x00\x00\x51\x24\xb3\x00\x01\x01\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00"
      "\x7c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x10\x00\x00\x00\x02\x00"
      "\x00\x00\xff\xff\xff\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00",
      736);
  *(uint64_t*)0x200003d0 = 0x2e0;
  *(uint64_t*)0x200003d8 = 0x63e0;
  *(uint64_t*)0x200003e0 = 0x20012100;
  memcpy(
      (void*)0x20012100,
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x02\x00\x46\x49\x4c\x45"
      "\x30\x00\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0a\x00\x01\x00\x38\x00"
      "\x01\x00\x98\x01\x00\x00\x00\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x04\x00\x00\x00\x0a\x00\x00\x00\x02\x00\x00\x00\x00\x00\x00\x00\x10\x00"
      "\x00\x00\x60\x00\x00\x00\x00\x00\x18\x00\x00\x00\x00\x00\x48\x00\x00\x00"
      "\x18\x00\x00\x00\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8"
      "\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01"
      "\x06\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x30\x00\x00\x00\x68\x00\x00\x00\x00\x00\x18\x00\x00\x00"
      "\x03\x00\x50\x00\x00\x00\x18\x00\x01\x00\x05\x00\x00\x00\x00\x00\x05\x00"
      "\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a"
      "\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x00\x00\x02\x00"
      "\x00\x00\x00\x00\x00\x00\x02\x00\x00\x00\x00\x00\x06\x00\x00\x00\x00\x00"
      "\x00\x00\x07\x03\x24\x00\x55\x00\x70\x00\x43\x00\x61\x00\x73\x00\x65\x00"
      "\x80\x00\x00\x00\x48\x00\x00\x00\x01\x00\x40\x00\x00\x00\x01\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x1f\x00\x00\x00\x00\x00\x00\x00\x40\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x02\x00\x00\x00\x00\x00\x00\x00\x02\x00\x00\x00"
      "\x00\x00\x00\x00\x02\x00\x00\x00\x00\x00\x21\x20\x86\x01\x00\x00\x00\x00"
      "\x80\x00\x00\x00\x48\x00\x00\x00\x00\x05\x18\x00\x00\x00\x02\x00\x20\x00"
      "\x00\x00\x28\x00\x00\x00\x24\x00\x49\x00\x6e\x00\x66\x00\x6f\x00\x00\x00"
      "\x00\x00\x00\x00\x20\x00\x00\x00\x00\x00\x00\x00\x0c\x69\x1b\x6b\x77\x7e"
      "\xdc\xda\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\xff\xff\xff\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00",
      448);
  *(uint64_t*)0x200003e8 = 0x1c0;
  *(uint64_t*)0x200003f0 = 0x67e0;
  *(uint64_t*)0x200003f8 = 0x20012300;
  *(uint64_t*)0x20000400 = 0;
  *(uint64_t*)0x20000408 = 0x69e0;
  *(uint64_t*)0x20000410 = 0x20012400;
  memcpy(
      (void*)0x20012400,
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x02\x00\x46\x49\x4c\x45"
      "\x30\x00\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x01\x00\x38\x00"
      "\x03\x00\x80\x02\x00\x00\x00\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x03\x00\x00\x00\x0b\x00\x00\x00\x02\x00\x00\x00\x00\x00\x00\x00\x10\x00"
      "\x00\x00\x60\x00\x00\x00\x00\x00\x18\x00\x00\x00\x00\x00\x48\x00\x00\x00"
      "\x18\x00\x00\x00\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8"
      "\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01"
      "\x06\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x01\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x30\x00\x00\x00\x68\x00\x00\x00\x00\x00\x18\x00\x00\x00"
      "\x01\x00\x50\x00\x00\x00\x18\x00\x01\x00\x05\x00\x00\x00\x00\x00\x05\x00"
      "\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a"
      "\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x06\x00\x00\x10\x00\x00"
      "\x00\x00\x07\x03\x24\x00\x45\x00\x78\x00\x74\x00\x65\x00\x6e\x00\x64\x00"
      "\x90\x00\x00\x00\x78\x01\x00\x00\x00\x04\x18\x00\x00\x00\x02\x00\x58\x01"
      "\x00\x00\x20\x00\x00\x00\x24\x00\x49\x00\x33\x00\x30\x00\x30\x00\x00\x00"
      "\x01\x00\x00\x00\x00\x10\x00\x00\x01\x00\x00\x00\x10\x00\x00\x00\x48\x01"
      "\x00\x00\x48\x01\x00\x00\x00\x00\x00\x00\x19\x00\x00\x00\x00\x00\x01\x00"
      "\x60\x00\x4e\x00\x00\x00\x00\x00\x0b\x00\x00\x00\x00\x00\x0b\x00\x80\x4a"
      "\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41"
      "\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x26\x00\x00\x20\x00\x00\x00\x00"
      "\x06\x03\x24\x00\x4f\x00\x62\x00\x6a\x00\x49\x00\x64\x00\x00\x00\x18\x00"
      "\x00\x00\x00\x00\x01\x00\x60\x00\x4e\x00\x00\x00\x00\x00\x0b\x00\x00\x00"
      "\x00\x00\x0b\x00\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8"
      "\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x26\x00"
      "\x00\x20\x00\x00\x00\x00\x06\x03\x24\x00\x51\x00\x75\x00\x6f\x00\x74\x00"
      "\x61\x00\x02\x00\x1a\x00\x00\x00\x00\x00\x01\x00\x68\x00\x52\x00\x00\x00"
      "\x00\x00\x0b\x00\x00\x00\x00\x00\x0b\x00\x80\x4a\xb3\x41\x34\xc8\xd3\x01"
      "\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a"
      "\xb3\x41\x34\xc8\xd3\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x26\x00\x00\x20\x00\x00\x00\x00\x08\x03\x24\x00\x52\x00"
      "\x65\x00\x70\x00\x61\x00\x72\x00\x73\x00\x65\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x10\x00\x00\x00\x02\x00\x00\x00\xff\xff"
      "\xff\xff\x00\x00\x00\x00",
      672);
  *(uint64_t*)0x20000418 = 0x2a0;
  *(uint64_t*)0x20000420 = 0x6be0;
  *(uint64_t*)0x20000428 = 0x20012700;
  memcpy((void*)0x20012700,
         "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x02\x00\x46\x49"
         "\x4c\x45\x30\x00\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0c\x00\x00"
         "\x00\x38\x00\x01\x00\x20\x01\x00\x00\x00\x04\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x03\x00\x00\x00\x0c\x00\x00\x00\x02\x00\x00\x00\x00"
         "\x00\x00\x00\x10\x00\x00\x00\x48\x00\x00\x00\x00\x00\x18\x00\x00\x00"
         "\x00\x00\x30\x00\x00\x00\x18\x00\x00\x00\x80\x4a\xb3\x41\x34\xc8\xd3"
         "\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01"
         "\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x06\x00\x00\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x00\x00\x00\x50\x00\x00\x00\x80\x00\x00\x00\x00\x00"
         "\x18\x00\x00\x00\x02\x00\x64\x00\x00\x00\x18\x00\x00\x00\x01\x00\x04"
         "\x80\x48\x00\x00\x00\x54\x00\x00\x00\x00\x00\x00\x00\x14\x00\x00\x00"
         "\x02\x00\x34\x00\x02\x00\x00\x00\x00\x00\x14\x00\x9f\x01\x12\x00\x01"
         "\x01\x00\x00\x00\x00\x00\x05\x12\x00\x00\x00\x00\x00\x18\x00\x9f\x01"
         "\x12\x00\x01\x02\x00\x00\x00\x00\x00\x05\x20\x00\x00\x00\x20\x02\x00"
         "\x00\x01\x01\x00\x00\x00\x00\x00\x05\x12\x00\x00\x00\x01\x02\x00\x00"
         "\x00\x00\x00\x05\x20\x00\x00\x00\x20\x02\x00\x00\x00\x00\x00\x00\x80"
         "\x00\x00\x00\x18\x00\x00\x00\x00\x00\x18\x00\x00\x00\x01\x00\x00\x00"
         "\x00\x00\x18\x00\x00\x00\xff\xff\xff\xff\x00\x00\x00\x00",
         320);
  *(uint64_t*)0x20000430 = 0x140;
  *(uint64_t*)0x20000438 = 0x6fe0;
  *(uint64_t*)0x20000440 = 0x20012900;
  *(uint64_t*)0x20000448 = 0;
  *(uint64_t*)0x20000450 = 0x71e0;
  *(uint64_t*)0x20000458 = 0x20012a00;
  *(uint64_t*)0x20000460 = 0;
  *(uint64_t*)0x20000468 = 0x73e0;
  *(uint64_t*)0x20000470 = 0x20012c00;
  *(uint64_t*)0x20000478 = 0;
  *(uint64_t*)0x20000480 = 0x75e0;
  *(uint64_t*)0x20000488 = 0x20012d00;
  *(uint64_t*)0x20000490 = 0;
  *(uint64_t*)0x20000498 = 0x77e0;
  *(uint64_t*)0x200004a0 = 0x20012f00;
  *(uint64_t*)0x200004a8 = 0;
  *(uint64_t*)0x200004b0 = 0x79e0;
  *(uint64_t*)0x200004b8 = 0x20013000;
  *(uint64_t*)0x200004c0 = 0;
  *(uint64_t*)0x200004c8 = 0x7be0;
  *(uint64_t*)0x200004d0 = 0x20013200;
  *(uint64_t*)0x200004d8 = 0;
  *(uint64_t*)0x200004e0 = 0x7de0;
  *(uint64_t*)0x200004e8 = 0x20013300;
  *(uint64_t*)0x200004f0 = 0;
  *(uint64_t*)0x200004f8 = 0x7fe0;
  *(uint64_t*)0x20000500 = 0x20013400;
  *(uint64_t*)0x20000508 = 0;
  *(uint64_t*)0x20000510 = 0x81e0;
  *(uint64_t*)0x20000518 = 0x20013500;
  *(uint64_t*)0x20000520 = 0;
  *(uint64_t*)0x20000528 = 0x83e0;
  *(uint64_t*)0x20000530 = 0x20013600;
  *(uint64_t*)0x20000538 = 0;
  *(uint64_t*)0x20000540 = 0x85e0;
  *(uint64_t*)0x20000548 = 0x20013700;
  *(uint64_t*)0x20000550 = 0;
  *(uint64_t*)0x20000558 = 0x87e0;
  *(uint64_t*)0x20000560 = 0x20013800;
  *(uint64_t*)0x20000568 = 0;
  *(uint64_t*)0x20000570 = 0x89e0;
  *(uint64_t*)0x20000578 = 0x20013900;
  *(uint64_t*)0x20000580 = 0;
  *(uint64_t*)0x20000588 = 0x8be0;
  *(uint64_t*)0x20000590 = 0x20013a00;
  *(uint64_t*)0x20000598 = 0;
  *(uint64_t*)0x200005a0 = 0x8de0;
  *(uint64_t*)0x200005a8 = 0x20013b00;
  *(uint64_t*)0x200005b0 = 0;
  *(uint64_t*)0x200005b8 = 0x8fe0;
  *(uint64_t*)0x200005c0 = 0x20013c00;
  *(uint64_t*)0x200005c8 = 0;
  *(uint64_t*)0x200005d0 = 0x91e0;
  *(uint64_t*)0x200005d8 = 0x20013d00;
  *(uint64_t*)0x200005e0 = 0;
  *(uint64_t*)0x200005e8 = 0x93e0;
  *(uint64_t*)0x200005f0 = 0x20013e00;
  *(uint64_t*)0x200005f8 = 0;
  *(uint64_t*)0x20000600 = 0x95e0;
  *(uint64_t*)0x20000608 = 0x20013f00;
  *(uint64_t*)0x20000610 = 0;
  *(uint64_t*)0x20000618 = 0x97e0;
  *(uint64_t*)0x20000620 = 0x20014000;
  *(uint64_t*)0x20000628 = 0;
  *(uint64_t*)0x20000630 = 0x99e0;
  *(uint64_t*)0x20000638 = 0x20014100;
  *(uint64_t*)0x20000640 = 0;
  *(uint64_t*)0x20000648 = 0x9be0;
  *(uint64_t*)0x20000650 = 0x20014200;
  *(uint64_t*)0x20000658 = 0;
  *(uint64_t*)0x20000660 = 0x9de0;
  *(uint64_t*)0x20000668 = 0x20014300;
  memcpy(
      (void*)0x20014300,
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x02\x00\x46\x49\x4c\x45"
      "\x30\x00\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x01\x00\x38\x00"
      "\x0d\x00\x70\x02\x00\x00\x00\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x04\x00\x00\x00\x18\x00\x00\x00\x02\x00\x00\x00\x00\x00\x00\x00\x10\x00"
      "\x00\x00\x60\x00\x00\x00\x00\x00\x18\x00\x00\x00\x00\x00\x48\x00\x00\x00"
      "\xa8\x72\x00\x00\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8"
      "\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01"
      "\x26\x00\x00\x20\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x01\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x30\x00\x00\x00\x68\x00\x00\x00\x00\x00\x18\x00\x00\x00"
      "\x01\x00\x4e\x00\x00\x00\x18\x00\x01\x00\x0b\x00\x00\x00\x00\x00\x0b\x00"
      "\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a"
      "\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x26\x00\x00\x20\x00\x00"
      "\x00\x00\x06\x03\x24\x00\x51\x00\x75\x00\x6f\x00\x74\x00\x61\x00\x00\x00"
      "\x90\x00\x00\x00\x78\x00\x00\x00\x00\x02\x18\x00\x00\x00\x03\x00\x58\x00"
      "\x00\x00\x20\x00\x00\x00\x24\x00\x4f\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x11\x00\x00\x00\x00\x10\x00\x00\x01\x00\x00\x00\x10\x00\x00\x00\x48\x00"
      "\x00\x00\x48\x00\x00\x00\x00\x00\x00\x00\x20\x00\x04\x00\x00\x00\x00\x00"
      "\x28\x00\x10\x00\x00\x00\x00\x00\x01\x02\x00\x00\x00\x00\x00\x05\x20\x00"
      "\x00\x00\x20\x02\x00\x00\x00\x01\x00\x00\x20\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x10\x00\x00\x00\x02\x00\x00\x00\x90\x00\x00\x00\xf0\x00"
      "\x00\x00\x00\x02\x18\x00\x00\x00\x02\x00\xd0\x00\x00\x00\x20\x00\x00\x00"
      "\x24\x00\x51\x00\x00\x00\x00\x00\x00\x00\x00\x00\x10\x00\x00\x00\x00\x10"
      "\x00\x00\x01\x00\x00\x00\x10\x00\x00\x00\xc0\x00\x00\x00\xc0\x00\x00\x00"
      "\x00\x00\x00\x00\x14\x00\x30\x00\x00\x00\x00\x00\x48\x00\x04\x00\x00\x00"
      "\x00\x00\x01\x00\x00\x00\x02\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x80\x4a\xb3\x41\x34\xc8\xd3\x01\xff\xff\xff\xff\xff\xff"
      "\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x02\x00\x14\x00\x40\x00\x00\x00\x00\x00\x58\x00\x04\x00\x00\x00"
      "\x00\x00\x00\x01\x00\x00\x02\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x80\x4a\xb3\x41\x34\xc8\xd3\x01\xff\xff\xff\xff\xff\xff"
      "\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x01\x02\x00\x00\x00\x00\x00\x05\x20\x00\x00\x00\x20\x02\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x10\x00\x00\x00\x02\x00\x00\x00"
      "\xff\xff\xff\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00",
      672);
  *(uint64_t*)0x20000670 = 0x2a0;
  *(uint64_t*)0x20000678 = 0x9fe0;
  *(uint64_t*)0x20000680 = 0x20000a80;
  memcpy((void*)0x20000a80,
         "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x02\x00\x46\x49"
         "\x4c\x45\x30\x00\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x01"
         "\x00\x38\x00\x0d\x00\x58\x01\x00\x00\x00\x04\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x03\x00\x00\x00\x19\x00\x00\x00\x02\x00\x00\x00\x00"
         "\x00\x00\x00\x10\x00\x00\x00\x60\x00\x00\x00\x00\x00\x18\x00\x00\x00"
         "\x00\x00\x48\x00\x00\x00\x18\x00\x00\x00\x80\x4a\xb3\x41\x34\xc8\xd3"
         "\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01"
         "\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x26\x00\x00\x20\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x01\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x30\x00\x00"
         "\x00\x68\x00\x00\x00\x00\x00\x18\x00\x00\x00\x01\x00\x4e\x00\x00\x00"
         "\x18\x00\x01\x00\x0b\x00\x00\x00\x00\x00\x0b\x00\x80\x4a\xb3\x41\x34"
         "\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x80\x4a\xb3\x41\x34\xc8"
         "\xd3\x01\x80\x4a\xb3\x41\x34\xc8\xd3\x01\x00\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x26\x00\x00\x20\x00\x00\x00\x00"
         "\x06\x03\x24\x00\x4f\x00\x62\x00\x6a\x00\x49\x00\x64\x00\x00\x00\x90"
         "\x00\x00\x00\x50\x00\x00\x00\x00\x02\x18\x00\x00\x00\x02\x00\x30\x00"
         "\x00\x00\x20\x00\x00\x00\x24\x00\x4f\x00\x00\x00\x00\x00\x00\x00\x00"
         "\x00\x13\x00\x00\x00\x00\x10\x00\x00\x01\x00\x00\x00\x10\x00\x00\x00"
         "\x20\x00\x00\x00\x20\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x10\x00\x00\x00\x02\x00\x00\x00\xff\xff\xff\xff\x00\x00"
         "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00",
         384);
  *(uint64_t*)0x20000688 = 0x180;
  *(uint64_t*)0x20000690 = 0xa3e0;
  *(uint64_t*)0x20000698 = 0x20014800;
  *(uint64_t*)0x200006a0 = 0;
  *(uint64_t*)0x200006a8 = 0xa5e0;
  *(uint64_t*)0x200006b0 = 0x20014900;
  *(uint64_t*)0x200006b8 = 0;
  *(uint64_t*)0x200006c0 = 0xa7e0;
  *(uint64_t*)0x200006c8 = 0x20014b00;
  *(uint64_t*)0x200006d0 = 0;
  *(uint64_t*)0x200006d8 = 0xa9e0;
  *(uint64_t*)0x200006e0 = 0x20014c00;
  *(uint64_t*)0x200006e8 = 0;
  *(uint64_t*)0x200006f0 = 0xabe0;
  *(uint64_t*)0x200006f8 = 0x20014d00;
  *(uint64_t*)0x20000700 = 0;
  *(uint64_t*)0x20000708 = 0xff000;
  *(uint64_t*)0x20000710 = 0x20014f00;
  *(uint64_t*)0x20000718 = 0;
  *(uint64_t*)0x20000720 = 0xff1e0;
  *(uint64_t*)0x20000728 = 0x20015000;
  *(uint64_t*)0x20000730 = 0;
  *(uint64_t*)0x20000738 = 0xff3e0;
  *(uint64_t*)0x20000740 = 0x20015200;
  *(uint64_t*)0x20000748 = 0;
  *(uint64_t*)0x20000750 = 0xff5e0;
  *(uint64_t*)0x20000758 = 0x20015300;
  *(uint64_t*)0x20000760 = 0;
  *(uint64_t*)0x20000768 = 0xff7e0;
  *(uint64_t*)0x20000770 = 0x20015500;
  *(uint64_t*)0x20000778 = 0;
  *(uint64_t*)0x20000780 = 0xff9e0;
  *(uint64_t*)0x20000788 = 0x20015600;
  *(uint64_t*)0x20000790 = 0;
  *(uint64_t*)0x20000798 = 0xffbe0;
  *(uint64_t*)0x200007a0 = 0x20015900;
  *(uint64_t*)0x200007a8 = 0;
  *(uint64_t*)0x200007b0 = 0xfffe0;
  *(uint64_t*)0x200007b8 = 0x20055a00;
  *(uint64_t*)0x200007c0 = 0;
  *(uint64_t*)0x200007c8 = 0x141000;
  *(uint64_t*)0x200007d0 = 0x20055b00;
  *(uint64_t*)0x200007d8 = 0;
  *(uint64_t*)0x200007e0 = 0x142000;
  *(uint64_t*)0x200007e8 = 0x20056000;
  *(uint64_t*)0x200007f0 = 0;
  *(uint64_t*)0x200007f8 = 0x1425e0;
  *(uint64_t*)0x20000800 = 0x20056100;
  *(uint64_t*)0x20000808 = 0;
  *(uint64_t*)0x20000810 = 0x1427e0;
  *(uint64_t*)0x20000818 = 0x20056200;
  *(uint64_t*)0x20000820 = 0;
  *(uint64_t*)0x20000828 = 0x1429e0;
  *(uint64_t*)0x20000830 = 0x20056300;
  *(uint64_t*)0x20000838 = 0;
  *(uint64_t*)0x20000840 = 0x142be0;
  *(uint64_t*)0x20000848 = 0x20056400;
  *(uint64_t*)0x20000850 = 0;
  *(uint64_t*)0x20000858 = 0x142de0;
  *(uint64_t*)0x20000860 = 0x20056500;
  *(uint64_t*)0x20000868 = 0;
  *(uint64_t*)0x20000870 = 0x142fe0;
  *(uint64_t*)0x20000878 = 0x20056600;
  *(uint64_t*)0x20000880 = 0;
  *(uint64_t*)0x20000888 = 0x143080;
  *(uint64_t*)0x20000890 = 0x20056700;
  *(uint64_t*)0x20000898 = 0;
  *(uint64_t*)0x200008a0 = 0x143120;
  *(uint64_t*)0x200008a8 = 0x20056800;
  *(uint64_t*)0x200008b0 = 0;
  *(uint64_t*)0x200008b8 = 0x1431c0;
  *(uint64_t*)0x200008c0 = 0x20056900;
  *(uint64_t*)0x200008c8 = 0;
  *(uint64_t*)0x200008d0 = 0x143260;
  *(uint64_t*)0x200008d8 = 0x20056a00;
  *(uint64_t*)0x200008e0 = 0;
  *(uint64_t*)0x200008e8 = 0x143300;
  *(uint64_t*)0x200008f0 = 0x20056b00;
  *(uint64_t*)0x200008f8 = 0;
  *(uint64_t*)0x20000900 = 0x1433a0;
  *(uint64_t*)0x20000908 = 0x20056c00;
  *(uint64_t*)0x20000910 = 0;
  *(uint64_t*)0x20000918 = 0x143440;
  *(uint64_t*)0x20000920 = 0x20056d00;
  *(uint64_t*)0x20000928 = 0;
  *(uint64_t*)0x20000930 = 0x1434e0;
  *(uint64_t*)0x20000938 = 0x20056e00;
  *(uint64_t*)0x20000940 = 0;
  *(uint64_t*)0x20000948 = 0x14b580;
  *(uint64_t*)0x20000950 = 0x20056f00;
  *(uint64_t*)0x20000958 = 0;
  *(uint64_t*)0x20000960 = 0x143620;
  *(uint64_t*)0x20000968 = 0x20057000;
  *(uint64_t*)0x20000970 = 0;
  *(uint64_t*)0x20000978 = 0x1436c0;
  *(uint64_t*)0x20000980 = 0x20057100;
  *(uint64_t*)0x20000988 = 0;
  *(uint64_t*)0x20000990 = 0x143760;
  *(uint64_t*)0x20000998 = 0x20057200;
  *(uint64_t*)0x200009a0 = 0;
  *(uint64_t*)0x200009a8 = 0x143800;
  *(uint64_t*)0x200009b0 = 0x20057300;
  *(uint64_t*)0x200009b8 = 0;
  *(uint64_t*)0x200009c0 = 0x1438a0;
  *(uint64_t*)0x200009c8 = 0x20057400;
  *(uint64_t*)0x200009d0 = 0;
  *(uint64_t*)0x200009d8 = 0x143940;
  *(uint64_t*)0x200009e0 = 0x20057500;
  *(uint64_t*)0x200009e8 = 0;
  *(uint64_t*)0x200009f0 = 0x144000;
  *(uint64_t*)0x200009f8 = 0x20057600;
  *(uint64_t*)0x20000a00 = 0;
  *(uint64_t*)0x20000a08 = 0x145000;
  *(uint64_t*)0x20000a10 = 0x20057700;
  *(uint64_t*)0x20000a18 = 0;
  *(uint64_t*)0x20000a20 = 0x185000;
  *(uint64_t*)0x20000a28 = 0x20057800;
  *(uint64_t*)0x20000a30 = 0;
  *(uint64_t*)0x20000a38 = 0x186000;
  *(uint64_t*)0x20000a40 = 0x20077800;
  *(uint64_t*)0x20000a48 = 0;
  *(uint64_t*)0x20000a50 = 0x1ffe00;
  *(uint64_t*)0x20000a58 = 0x20077900;
  *(uint64_t*)0x20000a60 = 0;
  *(uint64_t*)0x20000a68 = 0x1fffe0;
  *(uint8_t*)0x20077a00 = 0;
  syz_mount_image(0x20000000, 0x20000100, 0x200000, 0x5a, 0x20000200, 0,
                  0x20077a00);
}

int main()
{
  syscall(__NR_mmap, 0x20000000, 0x1000000, 3, 0x32, -1, 0);
  char* cwd = get_current_dir_name();
  for (;;) {
    if (chdir(cwd))
      fail("failed to chdir");
    use_temporary_dir();
    loop();
  }
}