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

#define _GNU_SOURCE

#include <arpa/inet.h>
#include <endian.h>
#include <errno.h>
#include <fcntl.h>
#include <net/if.h>
#include <netinet/in.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/mount.h>
#include <sys/socket.h>
#include <sys/stat.h>
#include <sys/syscall.h>
#include <sys/types.h>
#include <sys/wait.h>
#include <unistd.h>

#include <linux/genetlink.h>
#include <linux/if_addr.h>
#include <linux/if_link.h>
#include <linux/in6.h>
#include <linux/neighbour.h>
#include <linux/net.h>
#include <linux/netlink.h>
#include <linux/rtnetlink.h>
#include <linux/usb/ch9.h>
#include <linux/veth.h>

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 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;
}

struct nlmsg {
  char* pos;
  int nesting;
  struct nlattr* nested[8];
  char buf[4096];
};

static void netlink_init(struct nlmsg* nlmsg, int typ, int flags,
                         const void* data, int size)
{
  memset(nlmsg, 0, sizeof(*nlmsg));
  struct nlmsghdr* hdr = (struct nlmsghdr*)nlmsg->buf;
  hdr->nlmsg_type = typ;
  hdr->nlmsg_flags = NLM_F_REQUEST | NLM_F_ACK | flags;
  memcpy(hdr + 1, data, size);
  nlmsg->pos = (char*)(hdr + 1) + NLMSG_ALIGN(size);
}

static void netlink_attr(struct nlmsg* nlmsg, int typ, const void* data,
                         int size)
{
  struct nlattr* attr = (struct nlattr*)nlmsg->pos;
  attr->nla_len = sizeof(*attr) + size;
  attr->nla_type = typ;
  if (size > 0)
    memcpy(attr + 1, data, size);
  nlmsg->pos += NLMSG_ALIGN(attr->nla_len);
}

static void netlink_nest(struct nlmsg* nlmsg, int typ)
{
  struct nlattr* attr = (struct nlattr*)nlmsg->pos;
  attr->nla_type = typ;
  nlmsg->pos += sizeof(*attr);
  nlmsg->nested[nlmsg->nesting++] = attr;
}

static void netlink_done(struct nlmsg* nlmsg)
{
  struct nlattr* attr = nlmsg->nested[--nlmsg->nesting];
  attr->nla_len = nlmsg->pos - (char*)attr;
}

static int netlink_send_ext(struct nlmsg* nlmsg, int sock, uint16_t reply_type,
                            int* reply_len, bool dofail)
{
  if (nlmsg->pos > nlmsg->buf + sizeof(nlmsg->buf) || nlmsg->nesting)
    exit(1);
  struct nlmsghdr* hdr = (struct nlmsghdr*)nlmsg->buf;
  hdr->nlmsg_len = nlmsg->pos - nlmsg->buf;
  struct sockaddr_nl addr;
  memset(&addr, 0, sizeof(addr));
  addr.nl_family = AF_NETLINK;
  ssize_t n = sendto(sock, nlmsg->buf, hdr->nlmsg_len, 0,
                     (struct sockaddr*)&addr, sizeof(addr));
  if (n != (ssize_t)hdr->nlmsg_len) {
    if (dofail)
      exit(1);
    return -1;
  }
  n = recv(sock, nlmsg->buf, sizeof(nlmsg->buf), 0);
  if (reply_len)
    *reply_len = 0;
  if (n < 0) {
    if (dofail)
      exit(1);
    return -1;
  }
  if (n < (ssize_t)sizeof(struct nlmsghdr)) {
    errno = EINVAL;
    if (dofail)
      exit(1);
    return -1;
  }
  if (hdr->nlmsg_type == NLMSG_DONE)
    return 0;
  if (reply_len && hdr->nlmsg_type == reply_type) {
    *reply_len = n;
    return 0;
  }
  if (n < (ssize_t)(sizeof(struct nlmsghdr) + sizeof(struct nlmsgerr))) {
    errno = EINVAL;
    if (dofail)
      exit(1);
    return -1;
  }
  if (hdr->nlmsg_type != NLMSG_ERROR) {
    errno = EINVAL;
    if (dofail)
      exit(1);
    return -1;
  }
  errno = -((struct nlmsgerr*)(hdr + 1))->error;
  return -errno;
}

static int netlink_send(struct nlmsg* nlmsg, int sock)
{
  return netlink_send_ext(nlmsg, sock, 0, NULL, true);
}

static int netlink_query_family_id(struct nlmsg* nlmsg, int sock,
                                   const char* family_name, bool dofail)
{
  struct genlmsghdr genlhdr;
  memset(&genlhdr, 0, sizeof(genlhdr));
  genlhdr.cmd = CTRL_CMD_GETFAMILY;
  netlink_init(nlmsg, GENL_ID_CTRL, 0, &genlhdr, sizeof(genlhdr));
  netlink_attr(nlmsg, CTRL_ATTR_FAMILY_NAME, family_name,
               strnlen(family_name, GENL_NAMSIZ - 1) + 1);
  int n = 0;
  int err = netlink_send_ext(nlmsg, sock, GENL_ID_CTRL, &n, dofail);
  if (err < 0) {
    return -1;
  }
  uint16_t id = 0;
  struct nlattr* attr = (struct nlattr*)(nlmsg->buf + NLMSG_HDRLEN +
                                         NLMSG_ALIGN(sizeof(genlhdr)));
  for (; (char*)attr < nlmsg->buf + n;
       attr = (struct nlattr*)((char*)attr + NLMSG_ALIGN(attr->nla_len))) {
    if (attr->nla_type == CTRL_ATTR_FAMILY_ID) {
      id = *(uint16_t*)(attr + 1);
      break;
    }
  }
  if (!id) {
    errno = EINVAL;
    return -1;
  }
  recv(sock, nlmsg->buf, sizeof(nlmsg->buf), 0);
  return id;
}

static void netlink_add_device_impl(struct nlmsg* nlmsg, const char* type,
                                    const char* name, bool up)
{
  struct ifinfomsg hdr;
  memset(&hdr, 0, sizeof(hdr));
  if (up)
    hdr.ifi_flags = hdr.ifi_change = IFF_UP;
  netlink_init(nlmsg, RTM_NEWLINK, NLM_F_EXCL | NLM_F_CREATE, &hdr,
               sizeof(hdr));
  if (name)
    netlink_attr(nlmsg, IFLA_IFNAME, name, strlen(name));
  netlink_nest(nlmsg, IFLA_LINKINFO);
  netlink_attr(nlmsg, IFLA_INFO_KIND, type, strlen(type));
}

static void netlink_device_change(struct nlmsg* nlmsg, int sock,
                                  const char* name, bool up, const char* master,
                                  const void* mac, int macsize,
                                  const char* new_name)
{
  struct ifinfomsg hdr;
  memset(&hdr, 0, sizeof(hdr));
  if (up)
    hdr.ifi_flags = hdr.ifi_change = IFF_UP;
  hdr.ifi_index = if_nametoindex(name);
  netlink_init(nlmsg, RTM_NEWLINK, 0, &hdr, sizeof(hdr));
  if (new_name)
    netlink_attr(nlmsg, IFLA_IFNAME, new_name, strlen(new_name));
  if (master) {
    int ifindex = if_nametoindex(master);
    netlink_attr(nlmsg, IFLA_MASTER, &ifindex, sizeof(ifindex));
  }
  if (macsize)
    netlink_attr(nlmsg, IFLA_ADDRESS, mac, macsize);
  int err = netlink_send(nlmsg, sock);
  if (err < 0) {
  }
}

static struct nlmsg nlmsg;

#define MAX_FDS 30

#define USB_MAX_IFACE_NUM 4
#define USB_MAX_EP_NUM 32
#define USB_MAX_FDS 6

struct usb_endpoint_index {
  struct usb_endpoint_descriptor desc;
  int handle;
};

struct usb_iface_index {
  struct usb_interface_descriptor* iface;
  uint8_t bInterfaceNumber;
  uint8_t bAlternateSetting;
  uint8_t bInterfaceClass;
  struct usb_endpoint_index eps[USB_MAX_EP_NUM];
  int eps_num;
};

struct usb_device_index {
  struct usb_device_descriptor* dev;
  struct usb_config_descriptor* config;
  uint8_t bDeviceClass;
  uint8_t bMaxPower;
  int config_length;
  struct usb_iface_index ifaces[USB_MAX_IFACE_NUM];
  int ifaces_num;
  int iface_cur;
};

struct usb_info {
  int fd;
  struct usb_device_index index;
};

static struct usb_info usb_devices[USB_MAX_FDS];

static struct usb_device_index* lookup_usb_index(int fd)
{
  for (int i = 0; i < USB_MAX_FDS; i++) {
    if (__atomic_load_n(&usb_devices[i].fd, __ATOMIC_ACQUIRE) == fd)
      return &usb_devices[i].index;
  }
  return NULL;
}

static int usb_devices_num;

static bool parse_usb_descriptor(const char* buffer, size_t length,
                                 struct usb_device_index* index)
{
  if (length < sizeof(*index->dev) + sizeof(*index->config))
    return false;
  memset(index, 0, sizeof(*index));
  index->dev = (struct usb_device_descriptor*)buffer;
  index->config = (struct usb_config_descriptor*)(buffer + sizeof(*index->dev));
  index->bDeviceClass = index->dev->bDeviceClass;
  index->bMaxPower = index->config->bMaxPower;
  index->config_length = length - sizeof(*index->dev);
  index->iface_cur = -1;
  size_t offset = 0;
  while (true) {
    if (offset + 1 >= length)
      break;
    uint8_t desc_length = buffer[offset];
    uint8_t desc_type = buffer[offset + 1];
    if (desc_length <= 2)
      break;
    if (offset + desc_length > length)
      break;
    if (desc_type == USB_DT_INTERFACE &&
        index->ifaces_num < USB_MAX_IFACE_NUM) {
      struct usb_interface_descriptor* iface =
          (struct usb_interface_descriptor*)(buffer + offset);
      index->ifaces[index->ifaces_num].iface = iface;
      index->ifaces[index->ifaces_num].bInterfaceNumber =
          iface->bInterfaceNumber;
      index->ifaces[index->ifaces_num].bAlternateSetting =
          iface->bAlternateSetting;
      index->ifaces[index->ifaces_num].bInterfaceClass = iface->bInterfaceClass;
      index->ifaces_num++;
    }
    if (desc_type == USB_DT_ENDPOINT && index->ifaces_num > 0) {
      struct usb_iface_index* iface = &index->ifaces[index->ifaces_num - 1];
      if (iface->eps_num < USB_MAX_EP_NUM) {
        memcpy(&iface->eps[iface->eps_num].desc, buffer + offset,
               sizeof(iface->eps[iface->eps_num].desc));
        iface->eps_num++;
      }
    }
    offset += desc_length;
  }
  return true;
}

static struct usb_device_index* add_usb_index(int fd, const char* dev,
                                              size_t dev_len)
{
  int i = __atomic_fetch_add(&usb_devices_num, 1, __ATOMIC_RELAXED);
  if (i >= USB_MAX_FDS)
    return NULL;
  if (!parse_usb_descriptor(dev, dev_len, &usb_devices[i].index))
    return NULL;
  __atomic_store_n(&usb_devices[i].fd, fd, __ATOMIC_RELEASE);
  return &usb_devices[i].index;
}

struct vusb_connect_string_descriptor {
  uint32_t len;
  char* str;
} __attribute__((packed));

struct vusb_connect_descriptors {
  uint32_t qual_len;
  char* qual;
  uint32_t bos_len;
  char* bos;
  uint32_t strs_len;
  struct vusb_connect_string_descriptor strs[0];
} __attribute__((packed));

static const char default_string[] = {8, USB_DT_STRING, 's', 0, 'y', 0, 'z', 0};

static const char default_lang_id[] = {4, USB_DT_STRING, 0x09, 0x04};

static bool
lookup_connect_response_in(int fd, const struct vusb_connect_descriptors* descs,
                           const struct usb_ctrlrequest* ctrl,
                           struct usb_qualifier_descriptor* qual,
                           char** response_data, uint32_t* response_length)
{
  struct usb_device_index* index = lookup_usb_index(fd);
  uint8_t str_idx;
  if (!index)
    return false;
  switch (ctrl->bRequestType & USB_TYPE_MASK) {
  case USB_TYPE_STANDARD:
    switch (ctrl->bRequest) {
    case USB_REQ_GET_DESCRIPTOR:
      switch (ctrl->wValue >> 8) {
      case USB_DT_DEVICE:
        *response_data = (char*)index->dev;
        *response_length = sizeof(*index->dev);
        return true;
      case USB_DT_CONFIG:
        *response_data = (char*)index->config;
        *response_length = index->config_length;
        return true;
      case USB_DT_STRING:
        str_idx = (uint8_t)ctrl->wValue;
        if (descs && str_idx < descs->strs_len) {
          *response_data = descs->strs[str_idx].str;
          *response_length = descs->strs[str_idx].len;
          return true;
        }
        if (str_idx == 0) {
          *response_data = (char*)&default_lang_id[0];
          *response_length = default_lang_id[0];
          return true;
        }
        *response_data = (char*)&default_string[0];
        *response_length = default_string[0];
        return true;
      case USB_DT_BOS:
        *response_data = descs->bos;
        *response_length = descs->bos_len;
        return true;
      case USB_DT_DEVICE_QUALIFIER:
        if (!descs->qual) {
          qual->bLength = sizeof(*qual);
          qual->bDescriptorType = USB_DT_DEVICE_QUALIFIER;
          qual->bcdUSB = index->dev->bcdUSB;
          qual->bDeviceClass = index->dev->bDeviceClass;
          qual->bDeviceSubClass = index->dev->bDeviceSubClass;
          qual->bDeviceProtocol = index->dev->bDeviceProtocol;
          qual->bMaxPacketSize0 = index->dev->bMaxPacketSize0;
          qual->bNumConfigurations = index->dev->bNumConfigurations;
          qual->bRESERVED = 0;
          *response_data = (char*)qual;
          *response_length = sizeof(*qual);
          return true;
        }
        *response_data = descs->qual;
        *response_length = descs->qual_len;
        return true;
      default:
        break;
      }
      break;
    default:
      break;
    }
    break;
  default:
    break;
  }
  return false;
}

typedef bool (*lookup_connect_out_response_t)(
    int fd, const struct vusb_connect_descriptors* descs,
    const struct usb_ctrlrequest* ctrl, bool* done);

static bool lookup_connect_response_out_generic(
    int fd, const struct vusb_connect_descriptors* descs,
    const struct usb_ctrlrequest* ctrl, bool* done)
{
  switch (ctrl->bRequestType & USB_TYPE_MASK) {
  case USB_TYPE_STANDARD:
    switch (ctrl->bRequest) {
    case USB_REQ_SET_CONFIGURATION:
      *done = true;
      return true;
    default:
      break;
    }
    break;
  }
  return false;
}

struct vusb_descriptor {
  uint8_t req_type;
  uint8_t desc_type;
  uint32_t len;
  char data[0];
} __attribute__((packed));

struct vusb_descriptors {
  uint32_t len;
  struct vusb_descriptor* generic;
  struct vusb_descriptor* descs[0];
} __attribute__((packed));

struct vusb_response {
  uint8_t type;
  uint8_t req;
  uint32_t len;
  char data[0];
} __attribute__((packed));

struct vusb_responses {
  uint32_t len;
  struct vusb_response* generic;
  struct vusb_response* resps[0];
} __attribute__((packed));

static bool lookup_control_response(const struct vusb_descriptors* descs,
                                    const struct vusb_responses* resps,
                                    struct usb_ctrlrequest* ctrl,
                                    char** response_data,
                                    uint32_t* response_length)
{
  int descs_num = 0;
  int resps_num = 0;
  if (descs)
    descs_num = (descs->len - offsetof(struct vusb_descriptors, descs)) /
                sizeof(descs->descs[0]);
  if (resps)
    resps_num = (resps->len - offsetof(struct vusb_responses, resps)) /
                sizeof(resps->resps[0]);
  uint8_t req = ctrl->bRequest;
  uint8_t req_type = ctrl->bRequestType & USB_TYPE_MASK;
  uint8_t desc_type = ctrl->wValue >> 8;
  if (req == USB_REQ_GET_DESCRIPTOR) {
    int i;
    for (i = 0; i < descs_num; i++) {
      struct vusb_descriptor* desc = descs->descs[i];
      if (!desc)
        continue;
      if (desc->req_type == req_type && desc->desc_type == desc_type) {
        *response_length = desc->len;
        if (*response_length != 0)
          *response_data = &desc->data[0];
        else
          *response_data = NULL;
        return true;
      }
    }
    if (descs && descs->generic) {
      *response_data = &descs->generic->data[0];
      *response_length = descs->generic->len;
      return true;
    }
  } else {
    int i;
    for (i = 0; i < resps_num; i++) {
      struct vusb_response* resp = resps->resps[i];
      if (!resp)
        continue;
      if (resp->type == req_type && resp->req == req) {
        *response_length = resp->len;
        if (*response_length != 0)
          *response_data = &resp->data[0];
        else
          *response_data = NULL;
        return true;
      }
    }
    if (resps && resps->generic) {
      *response_data = &resps->generic->data[0];
      *response_length = resps->generic->len;
      return true;
    }
  }
  return false;
}

#define UDC_NAME_LENGTH_MAX 128

struct usb_raw_init {
  __u8 driver_name[UDC_NAME_LENGTH_MAX];
  __u8 device_name[UDC_NAME_LENGTH_MAX];
  __u8 speed;
};

enum usb_raw_event_type {
  USB_RAW_EVENT_INVALID = 0,
  USB_RAW_EVENT_CONNECT = 1,
  USB_RAW_EVENT_CONTROL = 2,
};

struct usb_raw_event {
  __u32 type;
  __u32 length;
  __u8 data[0];
};

struct usb_raw_ep_io {
  __u16 ep;
  __u16 flags;
  __u32 length;
  __u8 data[0];
};

#define USB_RAW_EPS_NUM_MAX 30
#define USB_RAW_EP_NAME_MAX 16
#define USB_RAW_EP_ADDR_ANY 0xff

struct usb_raw_ep_caps {
  __u32 type_control : 1;
  __u32 type_iso : 1;
  __u32 type_bulk : 1;
  __u32 type_int : 1;
  __u32 dir_in : 1;
  __u32 dir_out : 1;
};

struct usb_raw_ep_limits {
  __u16 maxpacket_limit;
  __u16 max_streams;
  __u32 reserved;
};

struct usb_raw_ep_info {
  __u8 name[USB_RAW_EP_NAME_MAX];
  __u32 addr;
  struct usb_raw_ep_caps caps;
  struct usb_raw_ep_limits limits;
};

struct usb_raw_eps_info {
  struct usb_raw_ep_info eps[USB_RAW_EPS_NUM_MAX];
};

#define USB_RAW_IOCTL_INIT _IOW('U', 0, struct usb_raw_init)
#define USB_RAW_IOCTL_RUN _IO('U', 1)
#define USB_RAW_IOCTL_EVENT_FETCH _IOR('U', 2, struct usb_raw_event)
#define USB_RAW_IOCTL_EP0_WRITE _IOW('U', 3, struct usb_raw_ep_io)
#define USB_RAW_IOCTL_EP0_READ _IOWR('U', 4, struct usb_raw_ep_io)
#define USB_RAW_IOCTL_EP_ENABLE _IOW('U', 5, struct usb_endpoint_descriptor)
#define USB_RAW_IOCTL_EP_DISABLE _IOW('U', 6, __u32)
#define USB_RAW_IOCTL_EP_WRITE _IOW('U', 7, struct usb_raw_ep_io)
#define USB_RAW_IOCTL_EP_READ _IOWR('U', 8, struct usb_raw_ep_io)
#define USB_RAW_IOCTL_CONFIGURE _IO('U', 9)
#define USB_RAW_IOCTL_VBUS_DRAW _IOW('U', 10, __u32)
#define USB_RAW_IOCTL_EPS_INFO _IOR('U', 11, struct usb_raw_eps_info)
#define USB_RAW_IOCTL_EP0_STALL _IO('U', 12)
#define USB_RAW_IOCTL_EP_SET_HALT _IOW('U', 13, __u32)
#define USB_RAW_IOCTL_EP_CLEAR_HALT _IOW('U', 14, __u32)
#define USB_RAW_IOCTL_EP_SET_WEDGE _IOW('U', 15, __u32)

static int usb_raw_open()
{
  return open("/dev/raw-gadget", O_RDWR);
}

static int usb_raw_init(int fd, uint32_t speed, const char* driver,
                        const char* device)
{
  struct usb_raw_init arg;
  strncpy((char*)&arg.driver_name[0], driver, sizeof(arg.driver_name));
  strncpy((char*)&arg.device_name[0], device, sizeof(arg.device_name));
  arg.speed = speed;
  return ioctl(fd, USB_RAW_IOCTL_INIT, &arg);
}

static int usb_raw_run(int fd)
{
  return ioctl(fd, USB_RAW_IOCTL_RUN, 0);
}

static int usb_raw_configure(int fd)
{
  return ioctl(fd, USB_RAW_IOCTL_CONFIGURE, 0);
}

static int usb_raw_vbus_draw(int fd, uint32_t power)
{
  return ioctl(fd, USB_RAW_IOCTL_VBUS_DRAW, power);
}

static int usb_raw_ep0_write(int fd, struct usb_raw_ep_io* io)
{
  return ioctl(fd, USB_RAW_IOCTL_EP0_WRITE, io);
}

static int usb_raw_ep0_read(int fd, struct usb_raw_ep_io* io)
{
  return ioctl(fd, USB_RAW_IOCTL_EP0_READ, io);
}

static int usb_raw_event_fetch(int fd, struct usb_raw_event* event)
{
  return ioctl(fd, USB_RAW_IOCTL_EVENT_FETCH, event);
}

static int usb_raw_ep_enable(int fd, struct usb_endpoint_descriptor* desc)
{
  return ioctl(fd, USB_RAW_IOCTL_EP_ENABLE, desc);
}

static int usb_raw_ep_disable(int fd, int ep)
{
  return ioctl(fd, USB_RAW_IOCTL_EP_DISABLE, ep);
}

static int usb_raw_ep0_stall(int fd)
{
  return ioctl(fd, USB_RAW_IOCTL_EP0_STALL, 0);
}

static int lookup_interface(int fd, uint8_t bInterfaceNumber,
                            uint8_t bAlternateSetting)
{
  struct usb_device_index* index = lookup_usb_index(fd);
  if (!index)
    return -1;
  for (int i = 0; i < index->ifaces_num; i++) {
    if (index->ifaces[i].bInterfaceNumber == bInterfaceNumber &&
        index->ifaces[i].bAlternateSetting == bAlternateSetting)
      return i;
  }
  return -1;
}

#define USB_MAX_PACKET_SIZE 4096

struct usb_raw_control_event {
  struct usb_raw_event inner;
  struct usb_ctrlrequest ctrl;
  char data[USB_MAX_PACKET_SIZE];
};

struct usb_raw_ep_io_data {
  struct usb_raw_ep_io inner;
  char data[USB_MAX_PACKET_SIZE];
};

static void set_interface(int fd, int n)
{
  struct usb_device_index* index = lookup_usb_index(fd);
  if (!index)
    return;
  if (index->iface_cur >= 0 && index->iface_cur < index->ifaces_num) {
    for (int ep = 0; ep < index->ifaces[index->iface_cur].eps_num; ep++) {
      int rv = usb_raw_ep_disable(
          fd, index->ifaces[index->iface_cur].eps[ep].handle);
      if (rv < 0) {
      } else {
      }
    }
  }
  if (n >= 0 && n < index->ifaces_num) {
    for (int ep = 0; ep < index->ifaces[n].eps_num; ep++) {
      int rv = usb_raw_ep_enable(fd, &index->ifaces[n].eps[ep].desc);
      if (rv < 0) {
      } else {
        index->ifaces[n].eps[ep].handle = rv;
      }
    }
    index->iface_cur = n;
  }
}

static int configure_device(int fd)
{
  struct usb_device_index* index = lookup_usb_index(fd);
  if (!index)
    return -1;
  int rv = usb_raw_vbus_draw(fd, index->bMaxPower);
  if (rv < 0) {
    return rv;
  }
  rv = usb_raw_configure(fd);
  if (rv < 0) {
    return rv;
  }
  set_interface(fd, 0);
  return 0;
}

static volatile long
syz_usb_connect_impl(uint64_t speed, uint64_t dev_len, const char* dev,
                     const struct vusb_connect_descriptors* descs,
                     lookup_connect_out_response_t lookup_connect_response_out)
{
  if (!dev) {
    return -1;
  }
  int fd = usb_raw_open();
  if (fd < 0) {
    return fd;
  }
  if (fd >= MAX_FDS) {
    close(fd);
    return -1;
  }
  struct usb_device_index* index = add_usb_index(fd, dev, dev_len);
  if (!index) {
    return -1;
  }
  char device[32];
  sprintf(&device[0], "dummy_udc.%llu", procid);
  int rv = usb_raw_init(fd, speed, "dummy_udc", &device[0]);
  if (rv < 0) {
    return rv;
  }
  rv = usb_raw_run(fd);
  if (rv < 0) {
    return rv;
  }
  bool done = false;
  while (!done) {
    struct usb_raw_control_event event;
    event.inner.type = 0;
    event.inner.length = sizeof(event.ctrl);
    rv = usb_raw_event_fetch(fd, (struct usb_raw_event*)&event);
    if (rv < 0) {
      return rv;
    }
    if (event.inner.type != USB_RAW_EVENT_CONTROL)
      continue;
    char* response_data = NULL;
    uint32_t response_length = 0;
    struct usb_qualifier_descriptor qual;
    if (event.ctrl.bRequestType & USB_DIR_IN) {
      if (!lookup_connect_response_in(fd, descs, &event.ctrl, &qual,
                                      &response_data, &response_length)) {
        usb_raw_ep0_stall(fd);
        continue;
      }
    } else {
      if (!lookup_connect_response_out(fd, descs, &event.ctrl, &done)) {
        usb_raw_ep0_stall(fd);
        continue;
      }
      response_data = NULL;
      response_length = event.ctrl.wLength;
    }
    if ((event.ctrl.bRequestType & USB_TYPE_MASK) == USB_TYPE_STANDARD &&
        event.ctrl.bRequest == USB_REQ_SET_CONFIGURATION) {
      rv = configure_device(fd);
      if (rv < 0) {
        return rv;
      }
    }
    struct usb_raw_ep_io_data response;
    response.inner.ep = 0;
    response.inner.flags = 0;
    if (response_length > sizeof(response.data))
      response_length = 0;
    if (event.ctrl.wLength < response_length)
      response_length = event.ctrl.wLength;
    response.inner.length = response_length;
    if (response_data)
      memcpy(&response.data[0], response_data, response_length);
    else
      memset(&response.data[0], 0, response_length);
    if (event.ctrl.bRequestType & USB_DIR_IN) {
      rv = usb_raw_ep0_write(fd, (struct usb_raw_ep_io*)&response);
    } else {
      rv = usb_raw_ep0_read(fd, (struct usb_raw_ep_io*)&response);
    }
    if (rv < 0) {
      return rv;
    }
  }
  sleep_ms(200);
  return fd;
}

static volatile long syz_usb_connect(volatile long a0, volatile long a1,
                                     volatile long a2, volatile long a3)
{
  uint64_t speed = a0;
  uint64_t dev_len = a1;
  const char* dev = (const char*)a2;
  const struct vusb_connect_descriptors* descs =
      (const struct vusb_connect_descriptors*)a3;
  return syz_usb_connect_impl(speed, dev_len, dev, descs,
                              &lookup_connect_response_out_generic);
}

static volatile long syz_usb_control_io(volatile long a0, volatile long a1,
                                        volatile long a2)
{
  int fd = a0;
  const struct vusb_descriptors* descs = (const struct vusb_descriptors*)a1;
  const struct vusb_responses* resps = (const struct vusb_responses*)a2;
  struct usb_raw_control_event event;
  event.inner.type = 0;
  event.inner.length = USB_MAX_PACKET_SIZE;
  int rv = usb_raw_event_fetch(fd, (struct usb_raw_event*)&event);
  if (rv < 0) {
    return rv;
  }
  if (event.inner.type != USB_RAW_EVENT_CONTROL) {
    return -1;
  }
  char* response_data = NULL;
  uint32_t response_length = 0;
  if ((event.ctrl.bRequestType & USB_DIR_IN) && event.ctrl.wLength) {
    if (!lookup_control_response(descs, resps, &event.ctrl, &response_data,
                                 &response_length)) {
      usb_raw_ep0_stall(fd);
      return -1;
    }
  } else {
    if ((event.ctrl.bRequestType & USB_TYPE_MASK) == USB_TYPE_STANDARD ||
        event.ctrl.bRequest == USB_REQ_SET_INTERFACE) {
      int iface_num = event.ctrl.wIndex;
      int alt_set = event.ctrl.wValue;
      int iface_index = lookup_interface(fd, iface_num, alt_set);
      if (iface_index < 0) {
      } else {
        set_interface(fd, iface_index);
      }
    }
    response_length = event.ctrl.wLength;
  }
  struct usb_raw_ep_io_data response;
  response.inner.ep = 0;
  response.inner.flags = 0;
  if (response_length > sizeof(response.data))
    response_length = 0;
  if (event.ctrl.wLength < response_length)
    response_length = event.ctrl.wLength;
  if ((event.ctrl.bRequestType & USB_DIR_IN) && !event.ctrl.wLength) {
    response_length = USB_MAX_PACKET_SIZE;
  }
  response.inner.length = response_length;
  if (response_data)
    memcpy(&response.data[0], response_data, response_length);
  else
    memset(&response.data[0], 0, response_length);
  if ((event.ctrl.bRequestType & USB_DIR_IN) && event.ctrl.wLength) {
    rv = usb_raw_ep0_write(fd, (struct usb_raw_ep_io*)&response);
  } else {
    rv = usb_raw_ep0_read(fd, (struct usb_raw_ep_io*)&response);
  }
  if (rv < 0) {
    return rv;
  }
  sleep_ms(200);
  return 0;
}

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

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)
    ;
}

#define NL802154_CMD_SET_SHORT_ADDR 11
#define NL802154_ATTR_IFINDEX 3
#define NL802154_ATTR_SHORT_ADDR 10

static const char* setup_802154()
{
  const char* error = NULL;
  int sock_generic = -1;
  int sock_route = socket(AF_NETLINK, SOCK_RAW, NETLINK_ROUTE);
  if (sock_route == -1) {
    error = "socket(AF_NETLINK, SOCK_RAW, NETLINK_ROUTE) failed";
    goto fail;
  }
  sock_generic = socket(AF_NETLINK, SOCK_RAW, NETLINK_GENERIC);
  if (sock_generic == -1) {
    error = "socket(AF_NETLINK, SOCK_RAW, NETLINK_GENERIC) failed";
    goto fail;
  }
  {
    int nl802154_family_id =
        netlink_query_family_id(&nlmsg, sock_generic, "nl802154", true);
    if (nl802154_family_id < 0) {
      error = "netlink_query_family_id failed";
      goto fail;
    }
    for (int i = 0; i < 2; i++) {
      char devname[] = "wpan0";
      devname[strlen(devname) - 1] += i;
      uint64_t hwaddr = 0xaaaaaaaaaaaa0002 + (i << 8);
      uint16_t shortaddr = 0xaaa0 + i;
      int ifindex = if_nametoindex(devname);
      struct genlmsghdr genlhdr;
      memset(&genlhdr, 0, sizeof(genlhdr));
      genlhdr.cmd = NL802154_CMD_SET_SHORT_ADDR;
      netlink_init(&nlmsg, nl802154_family_id, 0, &genlhdr, sizeof(genlhdr));
      netlink_attr(&nlmsg, NL802154_ATTR_IFINDEX, &ifindex, sizeof(ifindex));
      netlink_attr(&nlmsg, NL802154_ATTR_SHORT_ADDR, &shortaddr,
                   sizeof(shortaddr));
      if (netlink_send(&nlmsg, sock_generic) < 0) {
        error = "NL802154_CMD_SET_SHORT_ADDR failed";
        goto fail;
      }
      netlink_device_change(&nlmsg, sock_route, devname, true, 0, &hwaddr,
                            sizeof(hwaddr), 0);
      if (i == 0) {
        netlink_add_device_impl(&nlmsg, "lowpan", "lowpan0", false);
        netlink_done(&nlmsg);
        netlink_attr(&nlmsg, IFLA_LINK, &ifindex, sizeof(ifindex));
        if (netlink_send(&nlmsg, sock_route) < 0) {
          error = "netlink: adding device lowpan0 type lowpan link wpan0";
          goto fail;
        }
      }
    }
  }
fail:
  close(sock_route);
  close(sock_generic);
  return error;
}

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

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