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

#define _GNU_SOURCE

#include <arpa/inet.h>
#include <dirent.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/ioctl.h>
#include <sys/mman.h>
#include <sys/mount.h>
#include <sys/prctl.h>
#include <sys/socket.h>
#include <sys/stat.h>
#include <sys/syscall.h>
#include <sys/types.h>
#include <sys/wait.h>
#include <time.h>
#include <unistd.h>

#include <linux/genetlink.h>
#include <linux/if_addr.h>
#include <linux/if_link.h>
#include <linux/in6.h>
#include <linux/loop.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>

#ifndef __NR_bpf
#define __NR_bpf 321
#endif
#ifndef __NR_memfd_create
#define __NR_memfd_create 319
#endif

static unsigned long long procid;

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

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

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

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

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

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

#define BITMASK(bf_off, bf_len) (((1ull << (bf_len)) - 1) << (bf_off))
#define STORE_BY_BITMASK(type, htobe, addr, val, bf_off, bf_len)               \
  *(type*)(addr) =                                                             \
      htobe((htobe(*(type*)(addr)) & ~BITMASK((bf_off), (bf_len))) |           \
            (((type)(val) << (bf_off)) & BITMASK((bf_off), (bf_len))))

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

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

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

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

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

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

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

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

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

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

#define ZLIB_HEADER_WIDTH 2

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

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

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

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

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

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

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

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

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

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

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

static void execute_one(void);

#define WAIT_FLAGS __WALL

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

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

void execute_one(void)
{
  intptr_t res = 0;
  if (write(1, "executing program\n", sizeof("executing program\n") - 1)) {
  }
  //  syz_usb_control_io$uac1 arguments: [
  //    fd: fd_usb_uac1 (resource)
  //    descs: nil
  //    resps: nil
  //  ]
  NONFAILING(syz_usb_control_io(/*fd=*/-1, /*descs=*/0, /*resps=*/0));
  //  bpf$BPF_PROG_RAW_TRACEPOINT_LOAD arguments: [
  //    cmd: const = 0x5 (8 bytes)
  //    arg: nil
  //    size: len = 0x0 (8 bytes)
  //  ]
  //  returns fd_bpf_prog_raw_tracepoint
  syscall(__NR_bpf, /*cmd=*/5ul, /*arg=*/0ul, /*size=*/0ul);
  //  socket$inet arguments: [
  //    domain: const = 0x10 (8 bytes)
  //    type: socket_type = 0x3 (8 bytes)
  //    proto: int32 = 0x0 (4 bytes)
  //  ]
  //  returns sock_in
  res = syscall(__NR_socket, /*domain=*/0x10ul, /*type=SOCK_RAW*/ 3ul,
                /*proto=*/0);
  if (res != -1)
    r[0] = res;
  //  ioctl$sock_SIOCGIFINDEX arguments: [
  //    fd: sock (resource)
  //    cmd: const = 0x8933 (4 bytes)
  //    arg: ptr[out, ifreq_dev_t[devnames, ifindex]] {
  //      ifreq_dev_t[devnames, ifindex] {
  //        ifr_ifrn: buffer: {62 6f 6e 64 30 00 00 00 00 00 00 00 00 00 00 00}
  //        (length 0x10) elem: ifindex (resource) pad = 0x0 (20 bytes)
  //      }
  //    }
  //  ]
  NONFAILING(memcpy((void*)0x200000000300,
                    "bond0\000\000\000\000\000\000\000\000\000\000\000", 16));
  res = syscall(__NR_ioctl, /*fd=*/r[0], /*cmd=*/0x8933,
                /*arg=*/0x200000000300ul);
  if (res != -1)
    NONFAILING(r[1] = *(uint32_t*)0x200000000310);
  //  socket$netlink arguments: [
  //    domain: const = 0x10 (8 bytes)
  //    type: const = 0x3 (8 bytes)
  //    proto: netlink_proto = 0x0 (4 bytes)
  //  ]
  //  returns sock_netlink
  res = syscall(__NR_socket, /*domain=*/0x10ul, /*type=*/3ul, /*proto=*/0);
  if (res != -1)
    r[2] = res;
  //  sendmsg$nl_route_sched arguments: [
  //    fd: sock_nl_route (resource)
  //    msg: ptr[in, msghdr_netlink[netlink_msg_route_sched]] {
  //      msghdr_netlink[netlink_msg_route_sched] {
  //        addr: nil
  //        addrlen: len = 0x0 (4 bytes)
  //        pad = 0x0 (4 bytes)
  //        vec: ptr[in, iovec[in, netlink_msg_route_sched]] {
  //          iovec[in, netlink_msg_route_sched] {
  //            addr: ptr[in, netlink_msg_route_sched] {
  //              union netlink_msg_route_sched {
  //                newqdisc: netlink_msg_t[const[RTM_NEWQDISC, int16],
  //                tcmsg[AF_UNSPEC], rtm_tca_policy] {
  //                  len: len = 0xa4 (4 bytes)
  //                  type: const = 0x24 (2 bytes)
  //                  flags: netlink_msg_flags = 0xf0b (2 bytes)
  //                  seq: int32 = 0x70bd2b (4 bytes)
  //                  pid: int32 = 0x0 (4 bytes)
  //                  payload: tcmsg[AF_UNSPEC] {
  //                    family: const = 0x0 (1 bytes)
  //                    tcm__pad1: const = 0x0 (1 bytes)
  //                    tcm__pad2: const = 0x12 (2 bytes)
  //                    ifindex: ifindex (resource)
  //                    tcm_handle: tcm_handle {
  //                      minor: tcm_handle_offsets = 0x0 (2 bytes)
  //                      major: tcm_handle_offsets = 0x11 (2 bytes)
  //                    }
  //                    tcm_parent: tcm_handle {
  //                      minor: tcm_handle_offsets = 0xffff (2 bytes)
  //                      major: tcm_handle_offsets = 0xffff (2 bytes)
  //                    }
  //                    tcm_info: tcm_handle {
  //                      minor: tcm_handle_offsets = 0x2 (2 bytes)
  //                      major: tcm_handle_offsets = 0x0 (2 bytes)
  //                    }
  //                  }
  //                  attrs: array[rtm_tca_policy] {
  //                    union rtm_tca_policy {
  //                      qdisc_kind_options: union qdisc_kind_options {
  //                        q_taprio: tca_kind_options_t["taprio",
  //                        array[taprio_policy]] {
  //                          TCA_KIND: nlattr_t[const[TCA_KIND, int16],
  //                          string["taprio"]] {
  //                            nla_len: offsetof = 0xb (2 bytes)
  //                            nla_type: const = 0x1 (2 bytes)
  //                            payload: buffer: {74 61 70 72 69 6f 00} (length
  //                            0x7) size: buffer: {} (length 0x0) pad = 0x0 (1
  //                            bytes)
  //                          }
  //                          TCA_OPTIONS: nlattr_t[const[TCA_OPTIONS, int16],
  //                          array[taprio_policy]] {
  //                            nla_len: offsetof = 0x74 (2 bytes)
  //                            nla_type: const = 0x2 (2 bytes)
  //                            payload: array[taprio_policy] {
  //                              union taprio_policy {
  //                                TCA_TAPRIO_ATTR_PRIOMAP:
  //                                nlattr_t[const[TCA_TAPRIO_ATTR_PRIOMAP,
  //                                int16], tc_mqprio_qopt] {
  //                                  nla_len: offsetof = 0x56 (2 bytes)
  //                                  nla_type: const = 0x1 (2 bytes)
  //                                  payload: tc_mqprio_qopt {
  //                                    num_tc: int8 = 0x2 (1 bytes)
  //                                    prio_tc_map: array[int8] {
  //                                      int8 = 0x0 (1 bytes)
  //                                      int8 = 0x0 (1 bytes)
  //                                      int8 = 0x0 (1 bytes)
  //                                      int8 = 0x0 (1 bytes)
  //                                      int8 = 0x0 (1 bytes)
  //                                      int8 = 0x0 (1 bytes)
  //                                      int8 = 0x0 (1 bytes)
  //                                      int8 = 0x0 (1 bytes)
  //                                      int8 = 0x0 (1 bytes)
  //                                      int8 = 0x0 (1 bytes)
  //                                      int8 = 0x1 (1 bytes)
  //                                      int8 = 0x0 (1 bytes)
  //                                      int8 = 0x0 (1 bytes)
  //                                      int8 = 0x0 (1 bytes)
  //                                      int8 = 0x0 (1 bytes)
  //                                      int8 = 0x0 (1 bytes)
  //                                    }
  //                                    hw: int8 = 0x0 (1 bytes)
  //                                    count: array[int16] {
  //                                      int16 = 0x5 (2 bytes)
  //                                      int16 = 0x4 (2 bytes)
  //                                      int16 = 0x2 (2 bytes)
  //                                      int16 = 0x0 (2 bytes)
  //                                      int16 = 0x8 (2 bytes)
  //                                      int16 = 0x0 (2 bytes)
  //                                      int16 = 0x9 (2 bytes)
  //                                      int16 = 0x0 (2 bytes)
  //                                      int16 = 0x0 (2 bytes)
  //                                      int16 = 0x0 (2 bytes)
  //                                      int16 = 0x0 (2 bytes)
  //                                      int16 = 0x0 (2 bytes)
  //                                      int16 = 0x0 (2 bytes)
  //                                      int16 = 0x0 (2 bytes)
  //                                      int16 = 0x0 (2 bytes)
  //                                      int16 = 0x3 (2 bytes)
  //                                    }
  //                                    offset: array[int16] {
  //                                      int16 = 0x0 (2 bytes)
  //                                      int16 = 0x8 (2 bytes)
  //                                      int16 = 0x0 (2 bytes)
  //                                      int16 = 0x0 (2 bytes)
  //                                      int16 = 0x0 (2 bytes)
  //                                      int16 = 0x0 (2 bytes)
  //                                      int16 = 0x0 (2 bytes)
  //                                      int16 = 0x0 (2 bytes)
  //                                      int16 = 0x0 (2 bytes)
  //                                      int16 = 0x0 (2 bytes)
  //                                      int16 = 0x0 (2 bytes)
  //                                      int16 = 0x0 (2 bytes)
  //                                      int16 = 0x0 (2 bytes)
  //                                      int16 = 0x0 (2 bytes)
  //                                      int16 = 0x0 (2 bytes)
  //                                      int16 = 0x0 (2 bytes)
  //                                    }
  //                                  }
  //                                  size: buffer: {} (length 0x0)
  //                                  pad = 0x0 (2 bytes)
  //                                }
  //                              }
  //                              union taprio_policy {
  //                                TCA_TAPRIO_ATTR_SCHED_ENTRY_LIST:
  //                                nlattr_tt[const[TCA_TAPRIO_ATTR_SCHED_ENTRY_LIST,
  //                                int16:14], 0, 1,
  //                                array[nlnest[TCA_TAPRIO_SCHED_ENTRY,
  //                                array[entry_policy$taprio]]]] {
  //                                  nla_len: offsetof = 0x10 (2 bytes)
  //                                  nla_type: const = 0x2 (1 bytes)
  //                                  NLA_F_NET_BYTEORDER: const = 0x0 (0 bytes)
  //                                  NLA_F_NESTED: const = 0x1 (1 bytes)
  //                                  payload:
  //                                  array[nlattr_tt[const[TCA_TAPRIO_SCHED_ENTRY,
  //                                  int16:14], 0, 1,
  //                                  array[entry_policy$taprio]]] {
  //                                    nlattr_tt[const[TCA_TAPRIO_SCHED_ENTRY,
  //                                    int16:14], 0, 1,
  //                                    array[entry_policy$taprio]] {
  //                                      nla_len: offsetof = 0xc (2 bytes)
  //                                      nla_type: const = 0x1 (1 bytes)
  //                                      NLA_F_NET_BYTEORDER: const = 0x0 (0
  //                                      bytes) NLA_F_NESTED: const = 0x1 (1
  //                                      bytes) payload:
  //                                      array[entry_policy$taprio] {
  //                                        union entry_policy$taprio {
  //                                          TCA_TAPRIO_SCHED_ENTRY_INTERVAL:
  //                                          nlattr_t[const[TCA_TAPRIO_SCHED_ENTRY_INTERVAL,
  //                                          int16], int32] {
  //                                            nla_len: offsetof = 0x8 (2
  //                                            bytes) nla_type: const = 0x4 (2
  //                                            bytes) payload: int32 =
  //                                            0x4000000 (4 bytes) size:
  //                                            buffer: {} (length 0x0)
  //                                          }
  //                                        }
  //                                      }
  //                                      size: buffer: {} (length 0x0)
  //                                    }
  //                                  }
  //                                  size: buffer: {} (length 0x0)
  //                                }
  //                              }
  //                              union taprio_policy {
  //                                TCA_TAPRIO_ATTR_SCHED_CLOCKID:
  //                                nlattr_t[const[TCA_TAPRIO_ATTR_SCHED_CLOCKID,
  //                                int16], int32] {
  //                                  nla_len: offsetof = 0x8 (2 bytes)
  //                                  nla_type: const = 0x5 (2 bytes)
  //                                  payload: int32 = 0xb (4 bytes)
  //                                  size: buffer: {} (length 0x0)
  //                                }
  //                              }
  //                            }
  //                            size: buffer: {} (length 0x0)
  //                          }
  //                        }
  //                      }
  //                    }
  //                  }
  //                }
  //              }
  //            }
  //            len: len = 0xa4 (8 bytes)
  //          }
  //        }
  //        vlen: const = 0x1 (8 bytes)
  //        ctrl: const = 0x0 (8 bytes)
  //        ctrllen: const = 0x0 (8 bytes)
  //        f: send_flags = 0x0 (4 bytes)
  //        pad = 0x0 (4 bytes)
  //      }
  //    }
  //    f: send_flags = 0x0 (8 bytes)
  //  ]
  NONFAILING(*(uint64_t*)0x2000000007c0 = 0);
  NONFAILING(*(uint32_t*)0x2000000007c8 = 0);
  NONFAILING(*(uint64_t*)0x2000000007d0 = 0x200000000780);
  NONFAILING(*(uint64_t*)0x200000000780 = 0x2000000000c0);
  NONFAILING(*(uint32_t*)0x2000000000c0 = 0xa4);
  NONFAILING(*(uint16_t*)0x2000000000c4 = 0x24);
  NONFAILING(*(uint16_t*)0x2000000000c6 = 0xf0b);
  NONFAILING(*(uint32_t*)0x2000000000c8 = 0x70bd2b);
  NONFAILING(*(uint32_t*)0x2000000000cc = 0);
  NONFAILING(*(uint8_t*)0x2000000000d0 = 0);
  NONFAILING(*(uint8_t*)0x2000000000d1 = 0);
  NONFAILING(*(uint16_t*)0x2000000000d2 = 0x12);
  NONFAILING(*(uint32_t*)0x2000000000d4 = r[1]);
  NONFAILING(*(uint16_t*)0x2000000000d8 = 0);
  NONFAILING(*(uint16_t*)0x2000000000da = 0x11);
  NONFAILING(*(uint16_t*)0x2000000000dc = -1);
  NONFAILING(*(uint16_t*)0x2000000000de = -1);
  NONFAILING(*(uint16_t*)0x2000000000e0 = 2);
  NONFAILING(*(uint16_t*)0x2000000000e2 = 0);
  NONFAILING(*(uint16_t*)0x2000000000e4 = 0xb);
  NONFAILING(*(uint16_t*)0x2000000000e6 = 1);
  NONFAILING(memcpy((void*)0x2000000000e8, "taprio\000", 7));
  NONFAILING(*(uint16_t*)0x2000000000f0 = 0x74);
  NONFAILING(*(uint16_t*)0x2000000000f2 = 2);
  NONFAILING(*(uint16_t*)0x2000000000f4 = 0x56);
  NONFAILING(*(uint16_t*)0x2000000000f6 = 1);
  NONFAILING(*(uint8_t*)0x2000000000f8 = 2);
  NONFAILING(*(uint8_t*)0x2000000000f9 = 0);
  NONFAILING(*(uint8_t*)0x2000000000fa = 0);
  NONFAILING(*(uint8_t*)0x2000000000fb = 0);
  NONFAILING(*(uint8_t*)0x2000000000fc = 0);
  NONFAILING(*(uint8_t*)0x2000000000fd = 0);
  NONFAILING(*(uint8_t*)0x2000000000fe = 0);
  NONFAILING(*(uint8_t*)0x2000000000ff = 0);
  NONFAILING(*(uint8_t*)0x200000000100 = 0);
  NONFAILING(*(uint8_t*)0x200000000101 = 0);
  NONFAILING(*(uint8_t*)0x200000000102 = 0);
  NONFAILING(*(uint8_t*)0x200000000103 = 1);
  NONFAILING(*(uint8_t*)0x200000000104 = 0);
  NONFAILING(*(uint8_t*)0x200000000105 = 0);
  NONFAILING(*(uint8_t*)0x200000000106 = 0);
  NONFAILING(*(uint8_t*)0x200000000107 = 0);
  NONFAILING(*(uint8_t*)0x200000000108 = 0);
  NONFAILING(*(uint8_t*)0x200000000109 = 0);
  NONFAILING(*(uint16_t*)0x20000000010a = 5);
  NONFAILING(*(uint16_t*)0x20000000010c = 4);
  NONFAILING(*(uint16_t*)0x20000000010e = 2);
  NONFAILING(*(uint16_t*)0x200000000110 = 0);
  NONFAILING(*(uint16_t*)0x200000000112 = 8);
  NONFAILING(*(uint16_t*)0x200000000114 = 0);
  NONFAILING(*(uint16_t*)0x200000000116 = 9);
  NONFAILING(*(uint16_t*)0x200000000118 = 0);
  NONFAILING(*(uint16_t*)0x20000000011a = 0);
  NONFAILING(*(uint16_t*)0x20000000011c = 0);
  NONFAILING(*(uint16_t*)0x20000000011e = 0);
  NONFAILING(*(uint16_t*)0x200000000120 = 0);
  NONFAILING(*(uint16_t*)0x200000000122 = 0);
  NONFAILING(*(uint16_t*)0x200000000124 = 0);
  NONFAILING(*(uint16_t*)0x200000000126 = 0);
  NONFAILING(*(uint16_t*)0x200000000128 = 3);
  NONFAILING(*(uint16_t*)0x20000000012a = 0);
  NONFAILING(*(uint16_t*)0x20000000012c = 8);
  NONFAILING(*(uint16_t*)0x20000000012e = 0);
  NONFAILING(*(uint16_t*)0x200000000130 = 0);
  NONFAILING(*(uint16_t*)0x200000000132 = 0);
  NONFAILING(*(uint16_t*)0x200000000134 = 0);
  NONFAILING(*(uint16_t*)0x200000000136 = 0);
  NONFAILING(*(uint16_t*)0x200000000138 = 0);
  NONFAILING(*(uint16_t*)0x20000000013a = 0);
  NONFAILING(*(uint16_t*)0x20000000013c = 0);
  NONFAILING(*(uint16_t*)0x20000000013e = 0);
  NONFAILING(*(uint16_t*)0x200000000140 = 0);
  NONFAILING(*(uint16_t*)0x200000000142 = 0);
  NONFAILING(*(uint16_t*)0x200000000144 = 0);
  NONFAILING(*(uint16_t*)0x200000000146 = 0);
  NONFAILING(*(uint16_t*)0x200000000148 = 0);
  NONFAILING(*(uint16_t*)0x20000000014c = 0x10);
  NONFAILING(STORE_BY_BITMASK(uint16_t, , 0x20000000014e, 2, 0, 14));
  NONFAILING(STORE_BY_BITMASK(uint16_t, , 0x20000000014f, 0, 6, 1));
  NONFAILING(STORE_BY_BITMASK(uint16_t, , 0x20000000014f, 1, 7, 1));
  NONFAILING(*(uint16_t*)0x200000000150 = 0xc);
  NONFAILING(STORE_BY_BITMASK(uint16_t, , 0x200000000152, 1, 0, 14));
  NONFAILING(STORE_BY_BITMASK(uint16_t, , 0x200000000153, 0, 6, 1));
  NONFAILING(STORE_BY_BITMASK(uint16_t, , 0x200000000153, 1, 7, 1));
  NONFAILING(*(uint16_t*)0x200000000154 = 8);
  NONFAILING(*(uint16_t*)0x200000000156 = 4);
  NONFAILING(*(uint32_t*)0x200000000158 = 0x4000000);
  NONFAILING(*(uint16_t*)0x20000000015c = 8);
  NONFAILING(*(uint16_t*)0x20000000015e = 5);
  NONFAILING(*(uint32_t*)0x200000000160 = 0xb);
  NONFAILING(*(uint64_t*)0x200000000788 = 0xa4);
  NONFAILING(*(uint64_t*)0x2000000007d8 = 1);
  NONFAILING(*(uint64_t*)0x2000000007e0 = 0);
  NONFAILING(*(uint64_t*)0x2000000007e8 = 0);
  NONFAILING(*(uint32_t*)0x2000000007f0 = 0);
  syscall(__NR_sendmsg, /*fd=*/r[2], /*msg=*/0x2000000007c0ul, /*f=*/0ul);
  //  recvmmsg arguments: [
  //    fd: sock (resource)
  //    mmsg: ptr[in, array[recv_mmsghdr]] {
  //      array[recv_mmsghdr] {
  //      }
  //    }
  //    vlen: len = 0x10106 (8 bytes)
  //    f: recv_flags = 0x2 (8 bytes)
  //    timeout: nil
  //  ]
  syscall(__NR_recvmmsg, /*fd=*/(intptr_t)-1, /*mmsg=*/0x2000000000c0ul,
          /*vlen=*/0x10106ul, /*f=MSG_PEEK*/ 2ul, /*timeout=*/0ul);
  //  mmap arguments: [
  //    addr: VMA[0xc000]
  //    len: len = 0xc000 (8 bytes)
  //    prot: mmap_prot = 0x1000003 (8 bytes)
  //    flags: mmap_flags = 0x20031 (8 bytes)
  //    fd: fd (resource)
  //    offset: intptr = 0xffffe000 (8 bytes)
  //  ]
  syscall(__NR_mmap, /*addr=*/0x200000ff4000ul, /*len=*/0xc000ul,
          /*prot=PROT_GROWSDOWN|PROT_WRITE|PROT_READ*/ 0x1000003ul,
          /*flags=MAP_STACK|MAP_FIXED|MAP_ANONYMOUS|MAP_SHARED*/ 0x20031ul,
          /*fd=*/(intptr_t)-1, /*offset=*/0xffffe000ul);
  //  syz_mount_image$ext4 arguments: [
  //    fs: ptr[in, buffer] {
  //      buffer: {65 78 74 34 00} (length 0x5)
  //    }
  //    dir: ptr[in, buffer] {
  //      buffer: {2e 2f 66 69 6c 65 31 2f 2e 2e 2f 66 69 6c 65 30 00} (length
  //      0x11)
  //    }
  //    flags: mount_flags = 0x8000 (8 bytes)
  //    opts: ptr[in, fs_options[ext4_options]] {
  //      fs_options[ext4_options] {
  //        elems: array[fs_opt_elem[ext4_options]] {
  //        }
  //        common: array[fs_opt_elem[fs_options_common]] {
  //        }
  //        null: const = 0x0 (1 bytes)
  //      }
  //    }
  //    chdir: int8 = 0x1 (1 bytes)
  //    size: len = 0x7b2 (8 bytes)
  //    img: ptr[in, buffer] {
  //      buffer: (compressed buffer with length 0x7b2)
  //    }
  //  ]
  //  returns fd_dir
  NONFAILING(memcpy((void*)0x200000000780, "ext4\000", 5));
  NONFAILING(memcpy((void*)0x2000000002c0, "./file1/../file0\000", 17));
  NONFAILING(*(uint8_t*)0x200000000100 = 0);
  NONFAILING(memcpy(
      (void*)0x2000000007c0,
      "\x78\x9c\xec\xdd\xcb\x6b\x5c\xd5\x1f\x00\xf0\xef\x9d\x24\x4d\xd3\xe6\xf7"
      "\x4b\x7e\xf0\x03\xad\xab\x80\xa0\x81\xe2\xc4\xd4\xd8\x2a\xb8\xa8\xb8\x10"
      "\xc1\x42\x41\xd7\xb6\x61\x32\x0d\x35\x93\x4c\xc9\x4c\xa0\x09\x81\xb6\x88"
      "\xe0\x46\xf0\xb5\x10\x74\xd3\xb5\x8f\xba\x73\xeb\x63\xab\xff\x85\x0b\x69"
      "\xa9\x9a\x16\x2b\x45\x24\x72\xe7\x91\xdc\x3c\x3b\x69\x93\x99\x40\x3e\x1f"
      "\xb8\xc9\x39\xf7\x31\xe7\x7c\xe7\xdc\xc7\xb9\x73\x2f\xf7\x06\x70\x60\x0d"
      "\xa5\x7f\x72\x11\xc7\x22\xe2\x83\x24\x62\xa0\x31\x3e\x89\x88\x9e\x5a\xaa"
      "\x3b\xe2\x74\x7d\xbe\x7b\x4b\x8b\x85\x74\x48\x62\x79\xf9\x8d\xdf\x93\xda"
      "\x3c\x77\x97\x16\x0b\x91\x59\x26\x75\xb4\x91\x79\x3c\x22\x7e\x78\x37\xe2"
      "\x78\x6e\x63\xb9\x95\xf9\x85\xa9\xf1\x52\xa9\x38\xdb\xc8\x8f\x54\xa7\x2f"
      "\x8d\x54\xe6\x17\x9e\xb9\x38\x3d\x3e\x59\x9c\x2c\xce\x9c\x1c\x1d\x1b\x3b"
      "\x71\xea\xf9\x53\x27\x77\x2f\xd6\x3f\x7f\x5e\xe8\xbf\xf5\xe1\xab\x4f\x7f"
      "\x7d\xfa\xfe\x3b\x8f\xdd\x78\xff\xc7\x24\x4e\x47\x7f\x63\x5a\x36\x8e\xdd"
      "\x32\x14\x43\x8d\xef\xa4\x27\xfd\x0a\xd7\x78\x65\xb7\x0b\xeb\xb0\xa4\xd3"
      "\x15\xe0\xa1\xa4\x9b\x66\x57\x7d\x2b\x8f\x63\x31\x10\x5d\xb5\xd4\x16\xfa"
      "\xda\x59\x33\x00\x60\xaf\x2c\x03\x00\x07\x50\xa2\x0f\x00\x00\x07\x4c\xf3"
      "\x77\x80\xbb\x4b\x8b\x85\xe6\xd0\xd9\x5f\x24\xda\xeb\xf6\xcb\x11\x71\xb8"
      "\x1e\x7f\xf3\xfa\x66\x7d\x4a\x77\xe3\x9a\xdd\xe1\xda\x75\xd0\x23\x77\x93"
      "\xda\x95\x91\xe6\xd5\x91\x24\x22\x06\x77\xa1\xfc\xa1\x88\xf8\xfc\xdb\xb7"
      "\xbe\x4c\x87\x68\xb4\x83\x6b\x69\x40\x3b\x5c\xbd\x16\x11\xe7\x07\x87\x36"
      "\xee\xff\x93\x0d\xf7\x2c\x34\x2c\x5f\x59\x49\xf6\x6e\xfb\xd9\xcf\x6e\x37"
      "\x71\xb9\xbe\xec\xd0\xba\xd1\x07\xed\xf8\x03\x9d\xf4\x5d\xda\xff\x79\x61"
      "\xb3\xfe\x5f\x6e\xa5\xff\x13\x99\xfe\x4f\x53\xef\x26\xdb\xee\xc3\x78\xf0"
      "\xf6\x9f\xbb\xb9\x0b\xc5\x6c\x29\xed\xff\xbd\x94\xb9\xb7\xed\x5e\x26\xfe"
      "\x86\xc1\xae\x46\xee\x3f\xb5\x3e\x5f\x4f\x72\xe1\x62\xa9\x98\xee\xdb\xfe"
      "\x1b\x11\xc3\xd1\xd3\x9b\xe6\x47\x6b\xb3\xae\xf4\xdc\x92\xab\x99\x32\x86"
      "\xef\xfc\x73\x67\xab\xf2\xb3\xfd\xbf\x3f\x3e\x7a\xfb\x8b\xb4\xfc\xf4\xff"
      "\xea\x1c\xb9\x9b\xdd\xbd\x5d\x6b\x96\x99\x18\xaf\x8e\xef\x4e\xf4\x11\xb7"
      "\xaf\x45\x3c\xd1\xbd\x59\xfc\xc9\x4a\xfb\x27\xf5\x5b\x7f\xd6\x74\x77\xd3"
      "\x71\x67\x5b\x2c\xe3\xb5\x17\xdf\xfb\x6c\xab\x69\x69\xfc\x69\xbc\xcd\x61"
      "\x63\xfc\x7b\x6b\xf9\x7a\xc4\x53\x9b\xb6\xff\x6a\x2f\x3c\xd9\xf6\xfe\xc4"
      "\x91\xda\xea\x30\xd2\x5c\x29\x36\xf1\xcd\x2f\x9f\x1e\xc9\x64\xff\xce\x9e"
      "\x7a\x65\xdb\x3f\x1d\xd2\xf2\x9b\xe7\x02\xed\x90\xb6\x7f\x5a\xb9\x64\xeb"
      "\xf8\x07\x93\xec\xfd\x9a\x95\x9d\x97\xf1\xd3\xf5\x81\xef\xb7\x9a\xf6\xe0"
      "\xf8\xd3\xf5\x7f\xed\x32\xe9\xfa\x7f\x28\x79\xb3\x96\x3e\xd4\x18\x77\x79"
      "\xbc\x5a\x9d\x1d\x8d\x38\x94\xbc\xbe\x71\xfc\x89\xd5\x65\x9b\xf9\xe6\xfc"
      "\x69\xfc\xc3\x4f\x6e\xbe\xfd\xd7\x8b\xad\xaf\xff\xeb\xf7\x7f\xe9\x39\xe1"
      "\xf9\x16\xe3\xef\xbe\xf5\xdb\x57\x3b\x8d\xbf\xa7\xc5\xcf\x7e\x54\x69\xfc"
      "\x13\xdb\xaf\xff\xeb\xda\x7f\xe7\x89\x1b\xf7\xa6\xba\xb6\x2a\xbf\xb5\xf6"
      "\x1f\xab\xa5\x86\x1b\x63\x5a\xd9\xff\xb5\x5a\xc1\x47\xf9\xee\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xa0\x55"
      "\xb9\x88\xe8\xcf\x3c\xeb\xb2\x3f\x72\xb9\x7c\xbe\xfe\x0e\xef\xff\xc7\x91"
      "\x5c\xa9\x5c\xa9\x1e\xbf\x50\x9e\x9b\x99\x88\xda\xbb\xb2\x07\xa3\x27\xd7"
      "\x7c\xd4\xe5\x40\xe6\x79\xa8\xa3\x8d\xe7\xe1\x37\xf3\x27\xd6\xe5\x9f\x8b"
      "\x88\xff\x45\xc4\x27\xbd\x7d\xb5\x7c\xbe\x50\x2e\x4d\x74\x34\x72\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x58\x75\xb4\xfe\xfe\xff\x5c"
      "\x3e\x22\x72\x99\xf7\xff\xa7\x7e\xed\xed\x74\xed\x00\x80\x3d\x73\xb8\xd3"
      "\x15\x00\x00\xda\xce\xf1\x1f\x00\x0e\x9e\x9d\x1d\xff\xfb\xf6\xac\x1e\x00"
      "\x40\xfb\x38\xff\x07\x80\x83\xa7\xe5\xe3\xff\xf9\xbd\xad\x07\x00\xd0\x3e"
      "\xce\xff\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xd8"
      "\x63\x67\xcf\x9c\x49\x87\xe5\xbf\x96\x16\x0b\x69\x7e\xe2\xfe\x95\xfa\x84"
      "\x62\x65\x2a\x3f\x3d\x57\xc8\x17\xca\xb3\x97\xf2\x93\xe5\xf2\x64\xa9\x98"
      "\x2f\x94\xa7\x57\x16\xfc\x78\xdd\x07\x5d\xad\xff\x2b\x95\xcb\x97\xc6\x62"
      "\x66\xee\xf2\x48\xb5\x58\xa9\x8e\x54\xe6\x17\xce\x4d\x97\xe7\x66\xaa\xe7"
      "\x2e\x4e\x8f\x4f\x16\xcf\x15\x7b\xda\x17\x1a\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\xb4\xac\x32\xbf\x30\x35\x5e\x2a\x15\x67\x25\xb6"
      "\x4d\xf4\xed\x8f\x6a\xec\x9b\x44\x77\xec\x8b\x6a\x48\xec\x59\x22\xbb\x97"
      "\xe8\xeb\xdc\x0e\x0a\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x60\x9f\xfb\x37"
      "\x00\x00\xff\xff\xca\xff\x34\xda",
      1970));
  NONFAILING(syz_mount_image(/*fs=*/0x200000000780, /*dir=*/0x2000000002c0,
                             /*flags=MS_SILENT*/ 0x8000,
                             /*opts=*/0x200000000100, /*chdir=*/1,
                             /*size=*/0x7b2, /*img=*/0x2000000007c0));
  //  clock_settime arguments: [
  //    id: clock_id = 0x0 (8 bytes)
  //    tp: ptr[in, timespec] {
  //      timespec {
  //        sec: time_sec (resource)
  //        nsec: time_nsec (resource)
  //      }
  //    }
  //  ]
  NONFAILING(*(uint64_t*)0x200000000240 = 0x77359400);
  NONFAILING(*(uint64_t*)0x200000000248 = 0);
  syscall(__NR_clock_settime, /*id=*/0ul, /*tp=*/0x200000000240ul);
}
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();
  loop();
  return 0;
}