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

#define _GNU_SOURCE

#include <dirent.h>
#include <endian.h>
#include <errno.h>
#include <fcntl.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/mount.h>
#include <sys/prctl.h>
#include <sys/stat.h>
#include <sys/syscall.h>
#include <sys/types.h>
#include <sys/wait.h>
#include <time.h>
#include <unistd.h>

#include <linux/usb/ch9.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 uint64_t current_time_ms(void)
{
  struct timespec ts;
  if (clock_gettime(CLOCK_MONOTONIC, &ts))
    exit(1);
  return (uint64_t)ts.tv_sec * 1000 + (uint64_t)ts.tv_nsec / 1000000;
}

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

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

#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_ep_write(int fd, struct usb_raw_ep_io* io)
{
  return ioctl(fd, USB_RAW_IOCTL_EP_WRITE, io);
}

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

static int lookup_endpoint(int fd, uint8_t bEndpointAddress)
{
  struct usb_device_index* index = lookup_usb_index(fd);
  if (!index)
    return -1;
  if (index->iface_cur < 0)
    return -1;
  for (int ep = 0; ep < index->ifaces[index->iface_cur].eps_num; ep++)
    if (index->ifaces[index->iface_cur].eps[ep].desc.bEndpointAddress ==
        bEndpointAddress)
      return index->ifaces[index->iface_cur].eps[ep].handle;
  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 volatile long syz_usb_ep_write(volatile long a0, volatile long a1,
                                      volatile long a2, volatile long a3)
{
  int fd = a0;
  uint8_t ep = a1;
  uint32_t len = a2;
  char* data = (char*)a3;
  int ep_handle = lookup_endpoint(fd, ep);
  if (ep_handle < 0) {
    return -1;
  }
  struct usb_raw_ep_io_data io_data;
  io_data.inner.ep = ep_handle;
  io_data.inner.flags = 0;
  if (len > sizeof(io_data.data))
    len = sizeof(io_data.data);
  io_data.inner.length = len;
  memcpy(&io_data.data[0], data, len);
  int rv = usb_raw_ep_write(fd, (struct usb_raw_ep_io*)&io_data);
  if (rv < 0) {
    return rv;
  }
  sleep_ms(200);
  return 0;
}

static volatile long syz_usb_disconnect(volatile long a0)
{
  int fd = a0;
  int rv = close(fd);
  sleep_ms(200);
  return rv;
}

#define FS_IOC_SETFLAGS _IOW('f', 2, long)
static void remove_dir(const char* dir)
{
  int iter = 0;
  DIR* dp = 0;
  const int umount_flags = MNT_FORCE | UMOUNT_NOFOLLOW;

retry:
  while (umount2(dir, umount_flags) == 0) {
  }
  dp = opendir(dir);
  if (dp == NULL) {
    if (errno == EMFILE) {
      exit(1);
    }
    exit(1);
  }
  struct dirent* ep = 0;
  while ((ep = readdir(dp))) {
    if (strcmp(ep->d_name, ".") == 0 || strcmp(ep->d_name, "..") == 0)
      continue;
    char filename[FILENAME_MAX];
    snprintf(filename, sizeof(filename), "%s/%s", dir, ep->d_name);
    while (umount2(filename, umount_flags) == 0) {
    }
    struct stat st;
    if (lstat(filename, &st))
      exit(1);
    if (S_ISDIR(st.st_mode)) {
      remove_dir(filename);
      continue;
    }
    int i;
    for (i = 0;; i++) {
      if (unlink(filename) == 0)
        break;
      if (errno == EPERM) {
        int fd = open(filename, O_RDONLY);
        if (fd != -1) {
          long flags = 0;
          if (ioctl(fd, FS_IOC_SETFLAGS, &flags) == 0) {
          }
          close(fd);
          continue;
        }
      }
      if (errno == EROFS) {
        break;
      }
      if (errno != EBUSY || i > 100)
        exit(1);
      if (umount2(filename, umount_flags))
        exit(1);
    }
  }
  closedir(dp);
  for (int i = 0;; i++) {
    if (rmdir(dir) == 0)
      break;
    if (i < 100) {
      if (errno == EPERM) {
        int fd = open(dir, O_RDONLY);
        if (fd != -1) {
          long flags = 0;
          if (ioctl(fd, FS_IOC_SETFLAGS, &flags) == 0) {
          }
          close(fd);
          continue;
        }
      }
      if (errno == EROFS) {
        break;
      }
      if (errno == EBUSY) {
        if (umount2(dir, umount_flags))
          exit(1);
        continue;
      }
      if (errno == ENOTEMPTY) {
        if (iter < 100) {
          iter++;
          goto retry;
        }
      }
    }
    exit(1);
  }
}

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 setup_test()
{
  prctl(PR_SET_PDEATHSIG, SIGKILL, 0, 0, 0);
  setpgrp();
  write_file("/proc/self/oom_score_adj", "1000");
  if (symlink("/dev/binderfs", "./binderfs")) {
  }
}

static void execute_one(void);

#define WAIT_FLAGS __WALL

static void loop(void)
{
  int iter = 0;
  for (;; iter++) {
    char cwdbuf[32];
    sprintf(cwdbuf, "./%d", iter);
    if (mkdir(cwdbuf, 0777))
      exit(1);
    int pid = fork();
    if (pid < 0)
      exit(1);
    if (pid == 0) {
      if (chdir(cwdbuf))
        exit(1);
      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;
    }
    remove_dir(cwdbuf);
  }
}

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

void execute_one(void)
{
  intptr_t res = 0;
  if (write(1, "executing program\n", sizeof("executing program\n") - 1)) {
  }
  //  syz_usb_connect$hid arguments: [
  //    speed: usb_device_speed = 0x0 (8 bytes)
  //    dev_len: len = 0x36 (8 bytes)
  //    dev: ptr[inout, array[ANYUNION]] {
  //      array[ANYUNION] {
  //        union ANYUNION {
  //          ANYBLOB: buffer: {12 01 00 00 00 00 00 40 26 09 33 33 40 00 00 00
  //          00 01 09 02 24 00 01 00 00 00 00 09 04 00 00 01 03 01 00 00 09 21
  //          00 00 00 01 22 01 00 09 05 81 03 08} (length 0x32)
  //        }
  //      }
  //    }
  //    conn_descs: nil
  //  ]
  //  returns fd_usb_hid
  NONFAILING(memcpy(
      (void*)0x200000000000,
      "\x12\x01\x00\x00\x00\x00\x00\x40\x26\x09\x33\x33\x40\x00\x00\x00\x00\x01"
      "\x09\x02\x24\x00\x01\x00\x00\x00\x00\x09\x04\x00\x00\x01\x03\x01\x00\x00"
      "\x09\x21\x00\x00\x00\x01\x22\x01\x00\x09\x05\x81\x03\x08",
      50));
  res = -1;
  NONFAILING(res = syz_usb_connect(/*speed=*/0, /*dev_len=*/0x36,
                                   /*dev=*/0x200000000000, /*conn_descs=*/0));
  if (res != -1)
    r[0] = res;
  //  syz_usb_disconnect arguments: [
  //    fd: fd_usb (resource)
  //  ]
  NONFAILING(syz_usb_disconnect(/*fd=*/r[0]));
  //  syz_usb_connect$hid arguments: [
  //    speed: usb_device_speed = 0x3 (8 bytes)
  //    dev_len: len = 0x36 (8 bytes)
  //    dev: ptr[inout, array[ANYUNION]] {
  //      array[ANYUNION] {
  //        union ANYUNION {
  //          ANYBLOB: buffer: {12 01 10 01 00 00 00 40 58 04 03 50} (length
  //          0xc)
  //        }
  //      }
  //    }
  //    conn_descs: nil
  //  ]
  //  returns fd_usb_hid
  NONFAILING(memcpy((void*)0x200000000000,
                    "\x12\x01\x10\x01\x00\x00\x00\x40\x58\x04\x03\x50", 12));
  res = -1;
  NONFAILING(res = syz_usb_connect(/*speed=USB_SPEED_HIGH*/ 3, /*dev_len=*/0x36,
                                   /*dev=*/0x200000000000, /*conn_descs=*/0));
  if (res != -1)
    r[1] = res;
  //  syz_usb_control_io arguments: [
  //    fd: fd_usb (resource)
  //    descs: nil
  //    resps: nil
  //  ]
  NONFAILING(syz_usb_control_io(/*fd=*/r[1], /*descs=*/0, /*resps=*/0));
  //  syz_usb_control_io$hid arguments: [
  //    fd: fd_usb_hid (resource)
  //    descs: nil
  //    resps: nil
  //  ]
  NONFAILING(syz_usb_control_io(/*fd=*/r[1], /*descs=*/0, /*resps=*/0));
  //  syz_usb_control_io$hid arguments: [
  //    fd: fd_usb_hid (resource)
  //    descs: nil
  //    resps: nil
  //  ]
  NONFAILING(syz_usb_control_io(/*fd=*/r[1], /*descs=*/0, /*resps=*/0));
  //  syz_usb_connect arguments: [
  //    speed: usb_device_speed = 0x5 (8 bytes)
  //    dev_len: len = 0x0 (8 bytes)
  //    dev: nil
  //    conn_descs: ptr[in, vusb_connect_descriptors] {
  //      vusb_connect_descriptors {
  //        qual_len: len = 0xa (4 bytes)
  //        qual: ptr[in, usb_qualifier_descriptor] {
  //          usb_qualifier_descriptor {
  //            bLength: len = 0xa (1 bytes)
  //            bDescriptorType: const = 0x6 (1 bytes)
  //            bcdUSB: usb_versions = 0x0 (2 bytes)
  //            bDeviceClass: int8 = 0x0 (1 bytes)
  //            bDeviceSubClass: int8 = 0x64 (1 bytes)
  //            bDeviceProtocol: int8 = 0x9 (1 bytes)
  //            bMaxPacketSize0: usb_device_max_packet_sizes = 0x20 (1 bytes)
  //            bNumConfigurations: int8 = 0xfc (1 bytes)
  //            bRESERVED: const = 0x0 (1 bytes)
  //          }
  //        }
  //        bos_len: len = 0x1f (4 bytes)
  //        bos: ptr[in, usb_bos_descriptor] {
  //          usb_bos_descriptor {
  //            bLength: const = 0x5 (1 bytes)
  //            bDescriptorType: const = 0xf (1 bytes)
  //            wTotalLength: len = 0x1f (2 bytes)
  //            bNumDeviceCaps: len = 0x3 (1 bytes)
  //            caps: array[usb_dev_cap] {
  //              union usb_dev_cap {
  //                wireless: usb_wireless_cap_descriptor {
  //                  bLength: len = 0xb (1 bytes)
  //                  bDescriptorType: const = 0x10 (1 bytes)
  //                  bDevCapabilityType: const = 0x1 (1 bytes)
  //                  bmAttributes: usb_wireless_cap_attributes = 0x0 (1 bytes)
  //                  wPHYRates: usb_wireless_cap_phyrates = 0x80 (2 bytes)
  //                  bmTFITXPowerInfo: int8 = 0x7f (1 bytes)
  //                  bmFFITXPowerInfo: int8 = 0x7 (1 bytes)
  //                  bmBandGroup: int16 = 0x4 (2 bytes)
  //                  bReserved: int8 = 0xf7 (1 bytes)
  //                }
  //              }
  //              union usb_dev_cap {
  //                generic: usb_generic_cap_descriptor {
  //                  bLength: len = 0x3 (1 bytes)
  //                  bDescriptorType: const = 0x10 (1 bytes)
  //                  bDevCapabilityType: usb_capability_types = 0x2 (1 bytes)
  //                  data: buffer: {} (length 0x0)
  //                }
  //              }
  //              union usb_dev_cap {
  //                ssp_cap: usb_ssp_cap_descriptor {
  //                  bLength: len = 0xc (1 bytes)
  //                  bDescriptorType: const = 0x10 (1 bytes)
  //                  bDevCapabilityType: const = 0xa (1 bytes)
  //                  bReserved: int8 = 0x1 (1 bytes)
  //                  bmAttributesSublinkSpeeds: len = 0x0 (0 bytes)
  //                  bmAttributesSpeedIDs: int32 = 0x4 (4 bytes)
  //                  wFunctionalitySupport: usb_ssp_cap_funcs = 0xf00f (2
  //                  bytes) wReserved: int16 = 0x4 (2 bytes)
  //                  bmSublinkSpeedAttr: array[usb_ssp_cap_sublink_speeds] {
  //                  }
  //                }
  //              }
  //            }
  //          }
  //        }
  //        strs_len: len = 0x5 (4 bytes)
  //        strs: array[vusb_connect_string_descriptor] {
  //          vusb_connect_string_descriptor {
  //            len: len = 0x4 (4 bytes)
  //            str: ptr[in, usb_string_descriptor] {
  //              union usb_string_descriptor {
  //                lang_id: usb_string_descriptor_t[flags[usb_lang_ids, int16]]
  //                {
  //                  bLength: len = 0x4 (1 bytes)
  //                  bDescriptorType: const = 0x3 (1 bytes)
  //                  data: usb_lang_ids = 0x81a (2 bytes)
  //                }
  //              }
  //            }
  //          }
  //          vusb_connect_string_descriptor {
  //            len: len = 0x2 (4 bytes)
  //            str: ptr[in, usb_string_descriptor] {
  //              union usb_string_descriptor {
  //                string: usb_string_descriptor_t[array[int8, 0:256]] {
  //                  bLength: len = 0x2 (1 bytes)
  //                  bDescriptorType: const = 0x3 (1 bytes)
  //                  data: buffer: {} (length 0x0)
  //                }
  //              }
  //            }
  //          }
  //          vusb_connect_string_descriptor {
  //            len: len = 0x0 (4 bytes)
  //            str: nil
  //          }
  //          vusb_connect_string_descriptor {
  //            len: len = 0x0 (4 bytes)
  //            str: nil
  //          }
  //          vusb_connect_string_descriptor {
  //            len: len = 0x0 (4 bytes)
  //            str: nil
  //          }
  //        }
  //      }
  //    }
  //  ]
  //  returns fd_usb
  NONFAILING(*(uint32_t*)0x200000000440 = 0xa);
  NONFAILING(*(uint64_t*)0x200000000444 = 0x200000000040);
  NONFAILING(*(uint8_t*)0x200000000040 = 0xa);
  NONFAILING(*(uint8_t*)0x200000000041 = 6);
  NONFAILING(*(uint16_t*)0x200000000042 = 0);
  NONFAILING(*(uint8_t*)0x200000000044 = 0);
  NONFAILING(*(uint8_t*)0x200000000045 = 0x64);
  NONFAILING(*(uint8_t*)0x200000000046 = 9);
  NONFAILING(*(uint8_t*)0x200000000047 = 0x20);
  NONFAILING(*(uint8_t*)0x200000000048 = 0xfc);
  NONFAILING(*(uint8_t*)0x200000000049 = 0);
  NONFAILING(*(uint32_t*)0x20000000044c = 0x1f);
  NONFAILING(*(uint64_t*)0x200000000450 = 0x200000000180);
  NONFAILING(*(uint8_t*)0x200000000180 = 5);
  NONFAILING(*(uint8_t*)0x200000000181 = 0xf);
  NONFAILING(*(uint16_t*)0x200000000182 = 0x1f);
  NONFAILING(*(uint8_t*)0x200000000184 = 3);
  NONFAILING(*(uint8_t*)0x200000000185 = 0xb);
  NONFAILING(*(uint8_t*)0x200000000186 = 0x10);
  NONFAILING(*(uint8_t*)0x200000000187 = 1);
  NONFAILING(*(uint8_t*)0x200000000188 = 0);
  NONFAILING(*(uint16_t*)0x200000000189 = 0x80);
  NONFAILING(*(uint8_t*)0x20000000018b = 0x7f);
  NONFAILING(*(uint8_t*)0x20000000018c = 7);
  NONFAILING(*(uint16_t*)0x20000000018d = 4);
  NONFAILING(*(uint8_t*)0x20000000018f = 0xf7);
  NONFAILING(*(uint8_t*)0x200000000190 = 3);
  NONFAILING(*(uint8_t*)0x200000000191 = 0x10);
  NONFAILING(*(uint8_t*)0x200000000192 = 2);
  NONFAILING(*(uint8_t*)0x200000000193 = 0xc);
  NONFAILING(*(uint8_t*)0x200000000194 = 0x10);
  NONFAILING(*(uint8_t*)0x200000000195 = 0xa);
  NONFAILING(*(uint8_t*)0x200000000196 = 1);
  NONFAILING(STORE_BY_BITMASK(uint32_t, , 0x200000000197, 0, 0, 5));
  NONFAILING(STORE_BY_BITMASK(uint32_t, , 0x200000000197, 4, 5, 27));
  NONFAILING(*(uint16_t*)0x20000000019b = 0xf00f);
  NONFAILING(*(uint16_t*)0x20000000019d = 4);
  NONFAILING(*(uint32_t*)0x200000000458 = 5);
  NONFAILING(*(uint32_t*)0x20000000045c = 4);
  NONFAILING(*(uint64_t*)0x200000000460 = 0x200000000280);
  NONFAILING(*(uint8_t*)0x200000000280 = 4);
  NONFAILING(*(uint8_t*)0x200000000281 = 3);
  NONFAILING(*(uint16_t*)0x200000000282 = 0x81a);
  NONFAILING(*(uint32_t*)0x200000000468 = 2);
  NONFAILING(*(uint64_t*)0x20000000046c = 0x2000000002c0);
  NONFAILING(*(uint8_t*)0x2000000002c0 = 2);
  NONFAILING(*(uint8_t*)0x2000000002c1 = 3);
  NONFAILING(*(uint32_t*)0x200000000474 = 0);
  NONFAILING(*(uint64_t*)0x200000000478 = 0);
  NONFAILING(*(uint32_t*)0x200000000480 = 0);
  NONFAILING(*(uint64_t*)0x200000000484 = 0);
  NONFAILING(*(uint32_t*)0x20000000048c = 0);
  NONFAILING(*(uint64_t*)0x200000000490 = 0);
  NONFAILING(syz_usb_connect(/*speed=USB_SPEED_SUPER*/ 5, /*dev_len=*/0,
                             /*dev=*/0xffffffffff600000,
                             /*conn_descs=*/0x200000000440));
  //  syz_usb_control_io$sierra_net arguments: [
  //    fd: fd_usb_sierra_net (resource)
  //    descs: nil
  //    resps: ptr[in, vusb_responses_sierra_net] {
  //      vusb_responses_sierra_net {
  //        len: len = 0x1c (4 bytes)
  //        generic: nil
  //        USB_CDC_GET_ENCAPSULATED_RESPONSE: ptr[in,
  //        vusb_response_t[SIERRA_CMD_TYPE_IN,
  //        USB_CDC_GET_ENCAPSULATED_RESPONSE, array[int8, 1024]]] {
  //          vusb_response_t[SIERRA_CMD_TYPE_IN,
  //          USB_CDC_GET_ENCAPSULATED_RESPONSE, array[int8, 1024]] {
  //            type: const = 0xa1 (1 bytes)
  //            req: const = 0x1 (1 bytes)
  //            len: bytesize = 0x400 (4 bytes)
  //            data: buffer: {f3 60 92 17 64 3c 8b 3c 1e 52 be 5a 9b 2e 56 2c
  //            d2 19 77 1b 68 3b 28 a2 0e f6 5d c7 bc 36 2d e0 a9 72 2a 15 ed
  //            34 66 54 60 b0 72 12 7f 13 6f 32 b9 46 6b 37 cf 83 69 15 e8 a3
  //            d9 52 37 97 f8 e4 d3 d8 41 92 19 96 f2 fd 14 63 8a 85 72 dd 59
  //            7e 55 91 fa ca bd 0c 99 5d 11 01 ff ab 29 c9 e0 09 52 ad 90 4b
  //            88 36 d8 20 27 e5 56 0d a9 35 8f c3 1d 49 8c aa aa 08 d5 db fd
  //            16 b2 c4 a1 09 7d 52 2b ce fe 0d 5a 7c 73 7a c6 60 56 42 7c ad
  //            d7 e9 81 65 fd f5 30 76 12 e2 3e 10 7c e5 dd cc 22 b9 ee 99 15
  //            8d ee 78 3a 9d ce 5f 3f 82 14 5e 7b cc 4e ad 7a 59 35 fd 25 53
  //            01 9a f8 77 d3 3e 5a d9 94 75 ed 6a 57 2f 3d bd d8 21 03 3c 2d
  //            39 d7 4f 3f e6 cc 00 b9 21 a3 a5 f4 60 9c f8 e7 42 b5 82 49 35
  //            29 fc ee 40 b2 b0 6c 86 54 60 bb eb 6f 68 91 df e5 59 e2 17 bb
  //            81 e9 0a 43 0f 0d 5a 6f 32 42 00 70 5c cb 33 ce 0b ee 66 c1 fd
  //            60 e1 8c 8e d5 85 06 27 0a 27 4f e9 96 ac ba 0f 96 9f f7 b1 10
  //            df e7 f3 06 11 7b 91 60 7f 9c 88 03 09 94 3a a9 94 72 52 3b 84
  //            76 aa 96 f7 03 40 a0 4e 0c 3e ea ae 0f 4b 72 94 6c 98 24 51 fe
  //            3a d5 ba 5a ae c3 5c d3 3b 46 44 fc da b1 7f 71 1d 2a 7c 4f 4a
  //            53 6f 61 fe e2 ba 23 f2 e6 90 0b 34 ce 82 88 81 e1 42 87 cd 96
  //            14 2e 12 93 6d 65 54 5b 04 24 ca d8 38 45 33 35 cf d9 64 20 9d
  //            b2 9c 8d d1 c8 54 c0 09 fc de 71 8d 0c 67 5e e8 6b 1a 59 7e 8b
  //            e8 dc e7 0c 35 13 96 e4 82 96 ca ad 5a 17 52 1c 36 e8 15 d8 0c
  //            3c 9f b6 0c fb 68 83 c3 85 a4 e5 30 1d ca 6e 4f c4 96 3b d6 c6
  //            c4 0f fd 24 8a ad c7 b1 aa c4 ed cf 49 72 51 88 01 06 e8 9a 18
  //            82 6a 46 87 03 7c 47 94 d8 a7 c7 3f 6b 5f 21 8e be 2d 63 80 09
  //            57 22 82 5e d5 42 54 f9 32 07 1e 12 57 c9 16 44 cb 82 d0 d6 fb
  //            75 b5 f2 20 90 a3 8c 96 b9 91 76 f0 7c 8c ac 61 12 17 24 9a ba
  //            31 0c 12 5f f8 40 d0 89 3c 06 ce 32 8f cc 0e f9 ff 6e bb c8 e8
  //            39 6d 4d a4 e4 30 bb b4 54 bb d3 5f a4 5e c2 e0 9a 66 d5 14 fa
  //            6b 1e f0 31 47 f7 ff 4c 24 13 a0 e7 05 e6 f3 33 10 ad 7f bc 7a
  //            17 26 bd 4d 0e 55 73 38 77 d1 80 1b 2c 70 da 0c 4b 80 a8 22 63
  //            ca 8b c9 39 0b 5d 31 e9 43 57 c8 6a fc 62 32 f4 0c 58 75 02 fc
  //            69 8e c2 05 80 e5 67 cb 36 de 10 44 70 14 b7 9e e4 c1 08 fa f0
  //            ea 34 86 b6 9c 2d 01 9c 16 74 64 8a 20 ca e9 6d dd f7 b3 fc e1
  //            7a d6 b1 c9 41 ad f4 f5 84 95 76 d6 23 f8 5b 6f e3 79 61 60 43
  //            15 c0 dd f1 51 75 2c f8 14 68 03 7a a9 75 19 58 99 72 39 ec 78
  //            88 b1 07 a1 dc d9 95 b0 b7 1f 69 42 c4 38 b1 de 43 82 95 72 01
  //            04 d0 43 7d 33 f2 5a 77 16 b7 44 24 48 2b 43 48 ad c6 78 0d f8
  //            cf 5c 1f 2c 34 82 d6 0d 90 82 eb 60 05 43 70 79 c8 a8 23 d8 96
  //            6d 2d c5 5f eb 7d 21 0b a7 fc ce 20 b9 4a 85 83 15 54 52 d3 91
  //            80 4c f9 2b f8 fa f2 2c e2 fa 2f cf 88 b4 50 af 81 b7 f1 f2 e5
  //            28 ae ff 54 50 b7 0f 15 10 a6 42 c7 35 3e a8 39 7d 7d 90 96 e4
  //            76 61 ff 3f a2 66 32 8e 25 84 fc b2 38 b4 fe 21 76 6e 7d 1d 5b
  //            a4 b4 93 d3 15 7d 7e 5f c6 bb 16 c8 e7 7f 71 ac 42 32 b9 01 4b
  //            be 91 db b5 9c be b1 86 cc 5b d2 ff 36 0b c7 67 5e 93 f9 79 a7
  //            ff 86 c5 45 20 34 73 0a 20 8c 20 8f e2 a9 24 37 09 13 06 34 c6
  //            a4 8e 34 79 f8 00 3c e2 5a 71 3e 3b a0 3b 06 98 5a 47 fd 50 50
  //            db d4 94 84 64 a0 db 86 90 c9 44 59 ac 7a 3d b1 6b 46 f7 75 71
  //            27 54 4a 57 a5 d1 31 1d df 40 3c bf dd ab e8 31 fd 92 d6 9f 15
  //            16 82 cf f6 9c e2 92 8e 29 ac 75 aa 23 21 1d f9 9d 00 21 5b dd}
  //            (length 0x400)
  //          }
  //        }
  //        USB_CDC_SEND_ENCAPSULATED_COMMANDT: nil
  //      }
  //    }
  //  ]
  NONFAILING(*(uint32_t*)0x200000000b00 = 0x1c);
  NONFAILING(*(uint64_t*)0x200000000b04 = 0);
  NONFAILING(*(uint64_t*)0x200000000b0c = 0x200000000680);
  NONFAILING(*(uint8_t*)0x200000000680 = 0xa1);
  NONFAILING(*(uint8_t*)0x200000000681 = 1);
  NONFAILING(*(uint32_t*)0x200000000682 = 0x400);
  NONFAILING(memcpy(
      (void*)0x200000000686,
      "\xf3\x60\x92\x17\x64\x3c\x8b\x3c\x1e\x52\xbe\x5a\x9b\x2e\x56\x2c\xd2\x19"
      "\x77\x1b\x68\x3b\x28\xa2\x0e\xf6\x5d\xc7\xbc\x36\x2d\xe0\xa9\x72\x2a\x15"
      "\xed\x34\x66\x54\x60\xb0\x72\x12\x7f\x13\x6f\x32\xb9\x46\x6b\x37\xcf\x83"
      "\x69\x15\xe8\xa3\xd9\x52\x37\x97\xf8\xe4\xd3\xd8\x41\x92\x19\x96\xf2\xfd"
      "\x14\x63\x8a\x85\x72\xdd\x59\x7e\x55\x91\xfa\xca\xbd\x0c\x99\x5d\x11\x01"
      "\xff\xab\x29\xc9\xe0\x09\x52\xad\x90\x4b\x88\x36\xd8\x20\x27\xe5\x56\x0d"
      "\xa9\x35\x8f\xc3\x1d\x49\x8c\xaa\xaa\x08\xd5\xdb\xfd\x16\xb2\xc4\xa1\x09"
      "\x7d\x52\x2b\xce\xfe\x0d\x5a\x7c\x73\x7a\xc6\x60\x56\x42\x7c\xad\xd7\xe9"
      "\x81\x65\xfd\xf5\x30\x76\x12\xe2\x3e\x10\x7c\xe5\xdd\xcc\x22\xb9\xee\x99"
      "\x15\x8d\xee\x78\x3a\x9d\xce\x5f\x3f\x82\x14\x5e\x7b\xcc\x4e\xad\x7a\x59"
      "\x35\xfd\x25\x53\x01\x9a\xf8\x77\xd3\x3e\x5a\xd9\x94\x75\xed\x6a\x57\x2f"
      "\x3d\xbd\xd8\x21\x03\x3c\x2d\x39\xd7\x4f\x3f\xe6\xcc\x00\xb9\x21\xa3\xa5"
      "\xf4\x60\x9c\xf8\xe7\x42\xb5\x82\x49\x35\x29\xfc\xee\x40\xb2\xb0\x6c\x86"
      "\x54\x60\xbb\xeb\x6f\x68\x91\xdf\xe5\x59\xe2\x17\xbb\x81\xe9\x0a\x43\x0f"
      "\x0d\x5a\x6f\x32\x42\x00\x70\x5c\xcb\x33\xce\x0b\xee\x66\xc1\xfd\x60\xe1"
      "\x8c\x8e\xd5\x85\x06\x27\x0a\x27\x4f\xe9\x96\xac\xba\x0f\x96\x9f\xf7\xb1"
      "\x10\xdf\xe7\xf3\x06\x11\x7b\x91\x60\x7f\x9c\x88\x03\x09\x94\x3a\xa9\x94"
      "\x72\x52\x3b\x84\x76\xaa\x96\xf7\x03\x40\xa0\x4e\x0c\x3e\xea\xae\x0f\x4b"
      "\x72\x94\x6c\x98\x24\x51\xfe\x3a\xd5\xba\x5a\xae\xc3\x5c\xd3\x3b\x46\x44"
      "\xfc\xda\xb1\x7f\x71\x1d\x2a\x7c\x4f\x4a\x53\x6f\x61\xfe\xe2\xba\x23\xf2"
      "\xe6\x90\x0b\x34\xce\x82\x88\x81\xe1\x42\x87\xcd\x96\x14\x2e\x12\x93\x6d"
      "\x65\x54\x5b\x04\x24\xca\xd8\x38\x45\x33\x35\xcf\xd9\x64\x20\x9d\xb2\x9c"
      "\x8d\xd1\xc8\x54\xc0\x09\xfc\xde\x71\x8d\x0c\x67\x5e\xe8\x6b\x1a\x59\x7e"
      "\x8b\xe8\xdc\xe7\x0c\x35\x13\x96\xe4\x82\x96\xca\xad\x5a\x17\x52\x1c\x36"
      "\xe8\x15\xd8\x0c\x3c\x9f\xb6\x0c\xfb\x68\x83\xc3\x85\xa4\xe5\x30\x1d\xca"
      "\x6e\x4f\xc4\x96\x3b\xd6\xc6\xc4\x0f\xfd\x24\x8a\xad\xc7\xb1\xaa\xc4\xed"
      "\xcf\x49\x72\x51\x88\x01\x06\xe8\x9a\x18\x82\x6a\x46\x87\x03\x7c\x47\x94"
      "\xd8\xa7\xc7\x3f\x6b\x5f\x21\x8e\xbe\x2d\x63\x80\x09\x57\x22\x82\x5e\xd5"
      "\x42\x54\xf9\x32\x07\x1e\x12\x57\xc9\x16\x44\xcb\x82\xd0\xd6\xfb\x75\xb5"
      "\xf2\x20\x90\xa3\x8c\x96\xb9\x91\x76\xf0\x7c\x8c\xac\x61\x12\x17\x24\x9a"
      "\xba\x31\x0c\x12\x5f\xf8\x40\xd0\x89\x3c\x06\xce\x32\x8f\xcc\x0e\xf9\xff"
      "\x6e\xbb\xc8\xe8\x39\x6d\x4d\xa4\xe4\x30\xbb\xb4\x54\xbb\xd3\x5f\xa4\x5e"
      "\xc2\xe0\x9a\x66\xd5\x14\xfa\x6b\x1e\xf0\x31\x47\xf7\xff\x4c\x24\x13\xa0"
      "\xe7\x05\xe6\xf3\x33\x10\xad\x7f\xbc\x7a\x17\x26\xbd\x4d\x0e\x55\x73\x38"
      "\x77\xd1\x80\x1b\x2c\x70\xda\x0c\x4b\x80\xa8\x22\x63\xca\x8b\xc9\x39\x0b"
      "\x5d\x31\xe9\x43\x57\xc8\x6a\xfc\x62\x32\xf4\x0c\x58\x75\x02\xfc\x69\x8e"
      "\xc2\x05\x80\xe5\x67\xcb\x36\xde\x10\x44\x70\x14\xb7\x9e\xe4\xc1\x08\xfa"
      "\xf0\xea\x34\x86\xb6\x9c\x2d\x01\x9c\x16\x74\x64\x8a\x20\xca\xe9\x6d\xdd"
      "\xf7\xb3\xfc\xe1\x7a\xd6\xb1\xc9\x41\xad\xf4\xf5\x84\x95\x76\xd6\x23\xf8"
      "\x5b\x6f\xe3\x79\x61\x60\x43\x15\xc0\xdd\xf1\x51\x75\x2c\xf8\x14\x68\x03"
      "\x7a\xa9\x75\x19\x58\x99\x72\x39\xec\x78\x88\xb1\x07\xa1\xdc\xd9\x95\xb0"
      "\xb7\x1f\x69\x42\xc4\x38\xb1\xde\x43\x82\x95\x72\x01\x04\xd0\x43\x7d\x33"
      "\xf2\x5a\x77\x16\xb7\x44\x24\x48\x2b\x43\x48\xad\xc6\x78\x0d\xf8\xcf\x5c"
      "\x1f\x2c\x34\x82\xd6\x0d\x90\x82\xeb\x60\x05\x43\x70\x79\xc8\xa8\x23\xd8"
      "\x96\x6d\x2d\xc5\x5f\xeb\x7d\x21\x0b\xa7\xfc\xce\x20\xb9\x4a\x85\x83\x15"
      "\x54\x52\xd3\x91\x80\x4c\xf9\x2b\xf8\xfa\xf2\x2c\xe2\xfa\x2f\xcf\x88\xb4"
      "\x50\xaf\x81\xb7\xf1\xf2\xe5\x28\xae\xff\x54\x50\xb7\x0f\x15\x10\xa6\x42"
      "\xc7\x35\x3e\xa8\x39\x7d\x7d\x90\x96\xe4\x76\x61\xff\x3f\xa2\x66\x32\x8e"
      "\x25\x84\xfc\xb2\x38\xb4\xfe\x21\x76\x6e\x7d\x1d\x5b\xa4\xb4\x93\xd3\x15"
      "\x7d\x7e\x5f\xc6\xbb\x16\xc8\xe7\x7f\x71\xac\x42\x32\xb9\x01\x4b\xbe\x91"
      "\xdb\xb5\x9c\xbe\xb1\x86\xcc\x5b\xd2\xff\x36\x0b\xc7\x67\x5e\x93\xf9\x79"
      "\xa7\xff\x86\xc5\x45\x20\x34\x73\x0a\x20\x8c\x20\x8f\xe2\xa9\x24\x37\x09"
      "\x13\x06\x34\xc6\xa4\x8e\x34\x79\xf8\x00\x3c\xe2\x5a\x71\x3e\x3b\xa0\x3b"
      "\x06\x98\x5a\x47\xfd\x50\x50\xdb\xd4\x94\x84\x64\xa0\xdb\x86\x90\xc9\x44"
      "\x59\xac\x7a\x3d\xb1\x6b\x46\xf7\x75\x71\x27\x54\x4a\x57\xa5\xd1\x31\x1d"
      "\xdf\x40\x3c\xbf\xdd\xab\xe8\x31\xfd\x92\xd6\x9f\x15\x16\x82\xcf\xf6\x9c"
      "\xe2\x92\x8e\x29\xac\x75\xaa\x23\x21\x1d\xf9\x9d\x00\x21\x5b\xdd",
      1024));
  NONFAILING(*(uint64_t*)0x200000000b14 = 0);
  NONFAILING(
      syz_usb_control_io(/*fd=*/-1, /*descs=*/0, /*resps=*/0x200000000b00));
  //  syz_usb_ep_write arguments: [
  //    fd: fd_usb (resource)
  //    ep: int8 = 0x81 (1 bytes)
  //    len: len = 0xffffffffffffff6d (8 bytes)
  //    data: ptr[in, buffer] {
  //      buffer: {01 9a 18 37 0c fb 66 1b a0 8c 22 8c e6 ca 19 b6 a9 9a 07 1c
  //      a3 4c 72 c8 91 f8 a2 60 fa 00 00 00 80 97 7d ae 8d 64 a3 0e 92 cd 51
  //      11 7c 4a 71 e2 65 18 e8 04 c0 00 58 e6 c7 c0 c3 63 02 72 51 66 8b b6
  //      50 d9 00 00 00 00 00} (length 0x49)
  //    }
  //  ]
  NONFAILING(
      memcpy((void*)0x200000000100,
             "\x01\x9a\x18\x37\x0c\xfb\x66\x1b\xa0\x8c\x22\x8c\xe6\xca\x19\xb6"
             "\xa9\x9a\x07\x1c\xa3\x4c\x72\xc8\x91\xf8\xa2\x60\xfa\x00\x00\x00"
             "\x80\x97\x7d\xae\x8d\x64\xa3\x0e\x92\xcd\x51\x11\x7c\x4a\x71\xe2"
             "\x65\x18\xe8\x04\xc0\x00\x58\xe6\xc7\xc0\xc3\x63\x02\x72\x51\x66"
             "\x8b\xb6\x50\xd9\x00\x00\x00\x00\x00",
             73));
  NONFAILING(syz_usb_ep_write(/*fd=*/r[0], /*ep=*/0x81,
                              /*len=*/0xffffffffffffff6d,
                              /*data=*/0x200000000100));
}
int main(void)
{
  syscall(__NR_mmap, /*addr=*/0x1ffffffff000ul, /*len=*/0x1000, /*prot=*/0ul,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul,
          /*fd=*/(intptr_t)-1, /*offset=*/0ul);
  syscall(__NR_mmap, /*addr=*/0x200000000000ul, /*len=*/0x1000000,
          /*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=*/0x1000, /*prot=*/0ul,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul,
          /*fd=*/(intptr_t)-1, /*offset=*/0ul);
  const char* reason;
  (void)reason;
  install_segv_handler();
  for (procid = 0; procid < 5; procid++) {
    if (fork() == 0) {
      use_temporary_dir();
      loop();
    }
  }
  sleep(1000000);
  return 0;
}