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

#define _GNU_SOURCE
#include <arpa/inet.h>
#include <endian.h>
#include <errno.h>
#include <errno.h>
#include <errno.h>
#include <fcntl.h>
#include <linux/genetlink.h>
#include <linux/if.h>
#include <linux/if_ether.h>
#include <linux/if_tun.h>
#include <linux/ip.h>
#include <linux/netlink.h>
#include <linux/tcp.h>
#include <net/if_arp.h>
#include <sched.h>
#include <signal.h>
#include <stdarg.h>
#include <stdarg.h>
#include <stdbool.h>
#include <stdbool.h>
#include <stdio.h>
#include <stdio.h>
#include <stdlib.h>
#include <sys/ioctl.h>
#include <sys/prctl.h>
#include <sys/resource.h>
#include <sys/socket.h>
#include <sys/stat.h>
#include <sys/syscall.h>
#include <sys/time.h>
#include <sys/types.h>
#include <sys/uio.h>
#include <sys/wait.h>
#include <unistd.h>

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

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

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

#define BITMASK_LEN(type, bf_len) (type)((1ull << (bf_len)) - 1)

#define BITMASK_LEN_OFF(type, bf_off, bf_len)                                  \
  (type)(BITMASK_LEN(type, (bf_len)) << (bf_off))

#define STORE_BY_BITMASK(type, addr, val, bf_off, bf_len)                      \
  if ((bf_off) == 0 && (bf_len) == 0) {                                        \
    *(type*)(addr) = (type)(val);                                              \
  } else {                                                                     \
    type new_val = *(type*)(addr);                                             \
    new_val &= ~BITMASK_LEN_OFF(type, (bf_off), (bf_len));                     \
    new_val |= ((type)(val)&BITMASK_LEN(type, (bf_len))) << (bf_off);          \
    *(type*)(addr) = new_val;                                                  \
  }

struct csum_inet {
  uint32_t acc;
};

static void csum_inet_init(struct csum_inet* csum)
{
  csum->acc = 0;
}

static void csum_inet_update(struct csum_inet* csum, const uint8_t* data,
                             size_t length)
{
  if (length == 0)
    return;

  size_t i;
  for (i = 0; i < length - 1; i += 2)
    csum->acc += *(uint16_t*)&data[i];

  if (length & 1)
    csum->acc += (uint16_t)data[length - 1];

  while (csum->acc > 0xffff)
    csum->acc = (csum->acc & 0xffff) + (csum->acc >> 16);
}

static uint16_t csum_inet_digest(struct csum_inet* csum)
{
  return ~csum->acc;
}

static void vsnprintf_check(char* str, size_t size, const char* format,
                            va_list args)
{
  int rv;

  rv = vsnprintf(str, size, format, args);
  if (rv < 0)
    fail("tun: snprintf failed");
  if ((size_t)rv >= size)
    fail("tun: string '%s...' doesn't fit into buffer", str);
}

static void snprintf_check(char* str, size_t size, const char* format, ...)
{
  va_list args;

  va_start(args, format);
  vsnprintf_check(str, size, format, args);
  va_end(args);
}

#define COMMAND_MAX_LEN 128
#define PATH_PREFIX                                                            \
  "PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin "
#define PATH_PREFIX_LEN (sizeof(PATH_PREFIX) - 1)

static void execute_command(bool panic, const char* format, ...)
{
  va_list args;
  char command[PATH_PREFIX_LEN + COMMAND_MAX_LEN];
  int rv;

  va_start(args, format);
  memcpy(command, PATH_PREFIX, PATH_PREFIX_LEN);
  vsnprintf_check(command + PATH_PREFIX_LEN, COMMAND_MAX_LEN, format, args);
  va_end(args);
  rv = system(command);
  if (rv) {
    if (panic)
      fail("command '%s' failed: %d", &command[0], rv);
  }
}

static int tunfd = -1;
static int tun_frags_enabled;

#define SYZ_TUN_MAX_PACKET_SIZE 1000

#define TUN_IFACE "syz_tun"

#define LOCAL_MAC "aa:aa:aa:aa:aa:aa"
#define REMOTE_MAC "aa:aa:aa:aa:aa:bb"

#define LOCAL_IPV4 "172.20.20.170"
#define REMOTE_IPV4 "172.20.20.187"

#define LOCAL_IPV6 "fe80::aa"
#define REMOTE_IPV6 "fe80::bb"

#define IFF_NAPI 0x0010
#define IFF_NAPI_FRAGS 0x0020

static void initialize_tun(void)
{
  tunfd = open("/dev/net/tun", O_RDWR | O_NONBLOCK);
  if (tunfd == -1) {
    printf("tun: can't open /dev/net/tun: please enable CONFIG_TUN=y\n");
    printf("otherwise fuzzing or reproducing might not work as intended\n");
    return;
  }
  const int kTunFd = 252;
  if (dup2(tunfd, kTunFd) < 0)
    fail("dup2(tunfd, kTunFd) failed");
  close(tunfd);
  tunfd = kTunFd;

  struct ifreq ifr;
  memset(&ifr, 0, sizeof(ifr));
  strncpy(ifr.ifr_name, TUN_IFACE, IFNAMSIZ);
  ifr.ifr_flags = IFF_TAP | IFF_NO_PI | IFF_NAPI | IFF_NAPI_FRAGS;
  if (ioctl(tunfd, TUNSETIFF, (void*)&ifr) < 0) {
    ifr.ifr_flags = IFF_TAP | IFF_NO_PI;
    if (ioctl(tunfd, TUNSETIFF, (void*)&ifr) < 0)
      fail("tun: ioctl(TUNSETIFF) failed");
  }
  if (ioctl(tunfd, TUNGETIFF, (void*)&ifr) < 0)
    fail("tun: ioctl(TUNGETIFF) failed");
  tun_frags_enabled = (ifr.ifr_flags & IFF_NAPI_FRAGS) != 0;

  execute_command(1, "sysctl -w net.ipv6.conf.%s.accept_dad=0", TUN_IFACE);

  execute_command(1, "sysctl -w net.ipv6.conf.%s.router_solicitations=0",
                  TUN_IFACE);

  execute_command(1, "ip link set dev %s address %s", TUN_IFACE, LOCAL_MAC);
  execute_command(1, "ip addr add %s/24 dev %s", LOCAL_IPV4, TUN_IFACE);
  execute_command(1, "ip -6 addr add %s/120 dev %s", LOCAL_IPV6, TUN_IFACE);
  execute_command(1, "ip neigh add %s lladdr %s dev %s nud permanent",
                  REMOTE_IPV4, REMOTE_MAC, TUN_IFACE);
  execute_command(1, "ip -6 neigh add %s lladdr %s dev %s nud permanent",
                  REMOTE_IPV6, REMOTE_MAC, TUN_IFACE);
  execute_command(1, "ip link set dev %s up", TUN_IFACE);
}

#define DEV_IPV4 "172.20.20.%d"
#define DEV_IPV6 "fe80::%02hx"
#define DEV_MAC "aa:aa:aa:aa:aa:%02hx"

static void initialize_netdevices(void)
{
  unsigned i;
  const char* devtypes[] = {"ip6gretap", "bridge", "vcan", "bond", "team"};
  const char* devnames[] = {"lo",
                            "sit0",
                            "bridge0",
                            "vcan0",
                            "tunl0",
                            "gre0",
                            "gretap0",
                            "ip_vti0",
                            "ip6_vti0",
                            "ip6tnl0",
                            "ip6gre0",
                            "ip6gretap0",
                            "erspan0",
                            "bond0",
                            "veth0",
                            "veth1",
                            "team0",
                            "veth0_to_bridge",
                            "veth1_to_bridge",
                            "veth0_to_bond",
                            "veth1_to_bond",
                            "veth0_to_team",
                            "veth1_to_team"};
  const char* devmasters[] = {"bridge", "bond", "team"};

  for (i = 0; i < sizeof(devtypes) / (sizeof(devtypes[0])); i++)
    execute_command(0, "ip link add dev %s0 type %s", devtypes[i], devtypes[i]);
  execute_command(0, "ip link add type veth");

  for (i = 0; i < sizeof(devmasters) / (sizeof(devmasters[0])); i++) {
    execute_command(
        0, "ip link add name %s_slave_0 type veth peer name veth0_to_%s",
        devmasters[i], devmasters[i]);
    execute_command(
        0, "ip link add name %s_slave_1 type veth peer name veth1_to_%s",
        devmasters[i], devmasters[i]);
    execute_command(0, "ip link set %s_slave_0 master %s0", devmasters[i],
                    devmasters[i]);
    execute_command(0, "ip link set %s_slave_1 master %s0", devmasters[i],
                    devmasters[i]);
    execute_command(0, "ip link set veth0_to_%s up", devmasters[i]);
    execute_command(0, "ip link set veth1_to_%s up", devmasters[i]);
  }
  execute_command(0, "ip link set bridge_slave_0 up");
  execute_command(0, "ip link set bridge_slave_1 up");

  for (i = 0; i < sizeof(devnames) / (sizeof(devnames[0])); i++) {
    char addr[32];
    snprintf_check(addr, sizeof(addr), DEV_IPV4, i + 10);
    execute_command(0, "ip -4 addr add %s/24 dev %s", addr, devnames[i]);
    snprintf_check(addr, sizeof(addr), DEV_IPV6, i + 10);
    execute_command(0, "ip -6 addr add %s/120 dev %s", addr, devnames[i]);
    snprintf_check(addr, sizeof(addr), DEV_MAC, i + 10);
    execute_command(0, "ip link set dev %s address %s", devnames[i], addr);
    execute_command(0, "ip link set dev %s up", devnames[i]);
  }
}

#define MAX_FRAGS 4
struct vnet_fragmentation {
  uint32_t full;
  uint32_t count;
  uint32_t frags[MAX_FRAGS];
};

static uintptr_t syz_emit_ethernet(uintptr_t a0, uintptr_t a1, uintptr_t a2)
{
  if (tunfd < 0)
    return (uintptr_t)-1;

  uint32_t length = a0;
  char* data = (char*)a1;

  struct vnet_fragmentation* frags = (struct vnet_fragmentation*)a2;
  struct iovec vecs[MAX_FRAGS + 1];
  uint32_t nfrags = 0;
  if (!tun_frags_enabled || frags == NULL) {
    vecs[nfrags].iov_base = data;
    vecs[nfrags].iov_len = length;
    nfrags++;
  } else {
    bool full = true;
    uint32_t i, count = 0;
    full = frags->full;
    count = frags->count;
    if (count > MAX_FRAGS)
      count = MAX_FRAGS;
    for (i = 0; i < count && length != 0; i++) {
      uint32_t size = 0;
      size = frags->frags[i];
      if (size > length)
        size = length;
      vecs[nfrags].iov_base = data;
      vecs[nfrags].iov_len = size;
      nfrags++;
      data += size;
      length -= size;
    }
    if (length != 0 && (full || nfrags == 0)) {
      vecs[nfrags].iov_base = data;
      vecs[nfrags].iov_len = length;
      nfrags++;
    }
  }
  return writev(tunfd, vecs, nfrags);
}

static uintptr_t syz_genetlink_get_family_id(uintptr_t name)
{
  char buf[512] = {0};
  struct nlmsghdr* hdr = (struct nlmsghdr*)buf;
  struct genlmsghdr* genlhdr = (struct genlmsghdr*)NLMSG_DATA(hdr);
  struct nlattr* attr = (struct nlattr*)(genlhdr + 1);
  hdr->nlmsg_len =
      sizeof(*hdr) + sizeof(*genlhdr) + sizeof(*attr) + GENL_NAMSIZ;
  hdr->nlmsg_type = GENL_ID_CTRL;
  hdr->nlmsg_flags = NLM_F_REQUEST | NLM_F_ACK;
  genlhdr->cmd = CTRL_CMD_GETFAMILY;
  attr->nla_type = CTRL_ATTR_FAMILY_NAME;
  attr->nla_len = sizeof(*attr) + GENL_NAMSIZ;
  strncpy((char*)(attr + 1), (char*)name, GENL_NAMSIZ);
  struct iovec iov = {hdr, hdr->nlmsg_len};
  struct sockaddr_nl addr = {0};
  addr.nl_family = AF_NETLINK;
  int fd = socket(AF_NETLINK, SOCK_RAW, NETLINK_GENERIC);
  if (fd == -1) {
    return -1;
  }
  struct msghdr msg = {&addr, sizeof(addr), &iov, 1, NULL, 0, 0};
  if (sendmsg(fd, &msg, 0) == -1) {
    close(fd);
    return -1;
  }
  ssize_t n = recv(fd, buf, sizeof(buf), 0);
  close(fd);
  if (n <= 0) {
    return -1;
  }
  if (hdr->nlmsg_type != GENL_ID_CTRL) {
    return -1;
  }
  for (; (char*)attr < buf + n;
       attr = (struct nlattr*)((char*)attr + NLMSG_ALIGN(attr->nla_len))) {
    if (attr->nla_type == CTRL_ATTR_FAMILY_ID)
      return *(uint16_t*)(attr + 1);
  }
  return -1;
}

static void loop();

static void sandbox_common()
{
  prctl(PR_SET_PDEATHSIG, SIGKILL, 0, 0, 0);
  setpgrp();
  setsid();

  struct rlimit rlim;
  rlim.rlim_cur = rlim.rlim_max = 128 << 20;
  setrlimit(RLIMIT_AS, &rlim);
  rlim.rlim_cur = rlim.rlim_max = 8 << 20;
  setrlimit(RLIMIT_MEMLOCK, &rlim);
  rlim.rlim_cur = rlim.rlim_max = 32 << 20;
  setrlimit(RLIMIT_FSIZE, &rlim);
  rlim.rlim_cur = rlim.rlim_max = 1 << 20;
  setrlimit(RLIMIT_STACK, &rlim);
  rlim.rlim_cur = rlim.rlim_max = 0;
  setrlimit(RLIMIT_CORE, &rlim);

  if (unshare(CLONE_NEWNS)) {
  }
  if (unshare(CLONE_NEWIPC)) {
  }
  if (unshare(0x02000000)) {
  }
  if (unshare(CLONE_NEWUTS)) {
  }
  if (unshare(CLONE_SYSVSEM)) {
  }
}

static int do_sandbox_none(void)
{
  if (unshare(CLONE_NEWPID)) {
  }
  int pid = fork();
  if (pid < 0)
    fail("sandbox fork failed");
  if (pid)
    return pid;

  sandbox_common();
  if (unshare(CLONE_NEWNET)) {
  }
  initialize_tun();
  initialize_netdevices();

  loop();
  doexit(1);
}

uint64_t r[3] = {0xffffffffffffffff, 0x0, 0x0};
void loop()
{
  long res = 0;
  res = syscall(__NR_socket, 0x10, 3, 0x10);
  if (res != -1)
    r[0] = res;
  memcpy((void*)0x20000180, "team", 5);
  res = syz_genetlink_get_family_id(0x20000180);
  if (res != -1)
    r[1] = res;
  memcpy((void*)0x20000340,
         "\x74\x65\x61\x6d\x30\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00",
         16);
  *(uint32_t*)0x20000350 = 0;
  res = syscall(__NR_ioctl, r[0], 0x8933, 0x20000340);
  if (res != -1)
    r[2] = *(uint32_t*)0x20000350;
  *(uint64_t*)0x20000300 = 0x20000280;
  *(uint16_t*)0x20000280 = 0x10;
  *(uint16_t*)0x20000282 = 0;
  *(uint32_t*)0x20000284 = 0;
  *(uint32_t*)0x20000288 = 0x8404094;
  *(uint32_t*)0x20000308 = 0xc;
  *(uint64_t*)0x20000310 = 0x200002c0;
  *(uint64_t*)0x200002c0 = 0x20000600;
  *(uint32_t*)0x20000600 = 0x9c8;
  *(uint16_t*)0x20000604 = r[1];
  *(uint16_t*)0x20000606 = 1;
  *(uint32_t*)0x20000608 = 0x70bd29;
  *(uint32_t*)0x2000060c = 0x25dfdbfd;
  *(uint8_t*)0x20000610 = 1;
  *(uint8_t*)0x20000611 = 0;
  *(uint16_t*)0x20000612 = 0;
  *(uint16_t*)0x20000614 = 8;
  *(uint16_t*)0x20000616 = 1;
  *(uint32_t*)0x20000618 = r[2];
  *(uint16_t*)0x2000061c = 0x3c;
  *(uint16_t*)0x2000061e = 2;
  *(uint16_t*)0x20000620 = 0x38;
  *(uint16_t*)0x20000622 = 1;
  *(uint16_t*)0x20000624 = 0x24;
  *(uint16_t*)0x20000626 = 1;
  memcpy((void*)0x20000628, "\x61\x63\x74\x69\x76\x65\x70\x6f\x72\x74\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x20000648 = 8;
  *(uint16_t*)0x2000064a = 3;
  *(uint8_t*)0x2000064c = 3;
  *(uint16_t*)0x20000650 = 8;
  *(uint16_t*)0x20000652 = 4;
  *(uint32_t*)0x20000654 = r[2];
  *(uint16_t*)0x20000658 = 8;
  *(uint16_t*)0x2000065a = 1;
  *(uint32_t*)0x2000065c = r[2];
  *(uint16_t*)0x20000660 = 0x114;
  *(uint16_t*)0x20000662 = 2;
  *(uint16_t*)0x20000664 = 0x5c;
  *(uint16_t*)0x20000666 = 1;
  *(uint16_t*)0x20000668 = 0x24;
  *(uint16_t*)0x2000066a = 1;
  memcpy((void*)0x2000066c, "\x62\x70\x66\x5f\x68\x61\x73\x68\x5f\x66\x75\x6e"
                            "\x63\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x2000068c = 8;
  *(uint16_t*)0x2000068e = 3;
  *(uint8_t*)0x20000690 = 0xb;
  *(uint16_t*)0x20000694 = 0x2c;
  *(uint16_t*)0x20000696 = 4;
  *(uint16_t*)0x20000698 = 0x8000;
  *(uint8_t*)0x2000069a = 8;
  *(uint8_t*)0x2000069b = 0x15;
  *(uint32_t*)0x2000069c = 0x5b;
  *(uint16_t*)0x200006a0 = 0;
  *(uint8_t*)0x200006a2 = -1;
  *(uint8_t*)0x200006a3 = 1;
  *(uint32_t*)0x200006a4 = 0x3f;
  *(uint16_t*)0x200006a8 = 6;
  *(uint8_t*)0x200006aa = 8;
  *(uint8_t*)0x200006ab = 1;
  *(uint32_t*)0x200006ac = 0x885;
  *(uint16_t*)0x200006b0 = 2;
  *(uint8_t*)0x200006b2 = 0;
  *(uint8_t*)0x200006b3 = 0;
  *(uint32_t*)0x200006b4 = 2;
  *(uint16_t*)0x200006b8 = 0xaf0;
  *(uint8_t*)0x200006ba = 7;
  *(uint8_t*)0x200006bb = 9;
  *(uint32_t*)0x200006bc = 0;
  *(uint16_t*)0x200006c0 = 0x40;
  *(uint16_t*)0x200006c2 = 1;
  *(uint16_t*)0x200006c4 = 0x24;
  *(uint16_t*)0x200006c6 = 1;
  memcpy((void*)0x200006c8, "\x70\x72\x69\x6f\x72\x69\x74\x79\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x200006e8 = 8;
  *(uint16_t*)0x200006ea = 3;
  *(uint8_t*)0x200006ec = 0xe;
  *(uint16_t*)0x200006f0 = 8;
  *(uint16_t*)0x200006f2 = 4;
  *(uint32_t*)0x200006f4 = 0xb8;
  *(uint16_t*)0x200006f8 = 8;
  *(uint16_t*)0x200006fa = 6;
  *(uint32_t*)0x200006fc = r[2];
  *(uint16_t*)0x20000700 = 0x3c;
  *(uint16_t*)0x20000702 = 1;
  *(uint16_t*)0x20000704 = 0x24;
  *(uint16_t*)0x20000706 = 1;
  memcpy((void*)0x20000708, "\x65\x6e\x61\x62\x6c\x65\x64\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x20000728 = 8;
  *(uint16_t*)0x2000072a = 3;
  *(uint8_t*)0x2000072c = 6;
  *(uint16_t*)0x20000730 = 4;
  *(uint16_t*)0x20000732 = 4;
  *(uint16_t*)0x20000734 = 8;
  *(uint16_t*)0x20000736 = 6;
  *(uint32_t*)0x20000738 = r[2];
  *(uint16_t*)0x2000073c = 0x38;
  *(uint16_t*)0x2000073e = 1;
  *(uint16_t*)0x20000740 = 0x24;
  *(uint16_t*)0x20000742 = 1;
  memcpy((void*)0x20000744, "\x61\x63\x74\x69\x76\x65\x70\x6f\x72\x74\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x20000764 = 8;
  *(uint16_t*)0x20000766 = 3;
  *(uint8_t*)0x20000768 = 3;
  *(uint16_t*)0x2000076c = 8;
  *(uint16_t*)0x2000076e = 4;
  *(uint32_t*)0x20000770 = r[2];
  *(uint16_t*)0x20000774 = 8;
  *(uint16_t*)0x20000776 = 1;
  *(uint32_t*)0x20000778 = r[2];
  *(uint16_t*)0x2000077c = 0x134;
  *(uint16_t*)0x2000077e = 2;
  *(uint16_t*)0x20000780 = 0x40;
  *(uint16_t*)0x20000782 = 1;
  *(uint16_t*)0x20000784 = 0x24;
  *(uint16_t*)0x20000786 = 1;
  memcpy((void*)0x20000788, "\x6c\x62\x5f\x68\x61\x73\x68\x5f\x73\x74\x61\x74"
                            "\x73\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x200007a8 = 8;
  *(uint16_t*)0x200007aa = 3;
  *(uint8_t*)0x200007ac = 0xb;
  *(uint16_t*)0x200007b0 = 8;
  *(uint16_t*)0x200007b2 = 4;
  *(uint32_t*)0x200007b4 = 0xfff;
  *(uint16_t*)0x200007b8 = 8;
  *(uint16_t*)0x200007ba = 7;
  *(uint32_t*)0x200007bc = 0;
  *(uint16_t*)0x200007c0 = 0x40;
  *(uint16_t*)0x200007c2 = 1;
  *(uint16_t*)0x200007c4 = 0x24;
  *(uint16_t*)0x200007c6 = 1;
  memcpy((void*)0x200007c8, "\x6c\x62\x5f\x68\x61\x73\x68\x5f\x73\x74\x61\x74"
                            "\x73\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x200007e8 = 8;
  *(uint16_t*)0x200007ea = 3;
  *(uint8_t*)0x200007ec = 0xb;
  *(uint16_t*)0x200007f0 = 8;
  *(uint16_t*)0x200007f2 = 4;
  *(uint32_t*)0x200007f4 = 0;
  *(uint16_t*)0x200007f8 = 8;
  *(uint16_t*)0x200007fa = 7;
  *(uint32_t*)0x200007fc = 0;
  *(uint16_t*)0x20000800 = 0x64;
  *(uint16_t*)0x20000802 = 1;
  *(uint16_t*)0x20000804 = 0x24;
  *(uint16_t*)0x20000806 = 1;
  memcpy((void*)0x20000808, "\x62\x70\x66\x5f\x68\x61\x73\x68\x5f\x66\x75\x6e"
                            "\x63\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x20000828 = 8;
  *(uint16_t*)0x2000082a = 3;
  *(uint8_t*)0x2000082c = 0xb;
  *(uint16_t*)0x20000830 = 0x34;
  *(uint16_t*)0x20000832 = 4;
  *(uint16_t*)0x20000834 = 0x188;
  *(uint8_t*)0x20000836 = 0xb7;
  *(uint8_t*)0x20000837 = 0x95;
  *(uint32_t*)0x20000838 = 3;
  *(uint16_t*)0x2000083c = 7;
  *(uint8_t*)0x2000083e = 1;
  *(uint8_t*)0x2000083f = 2;
  *(uint32_t*)0x20000840 = 2;
  *(uint16_t*)0x20000844 = 6;
  *(uint8_t*)0x20000846 = 4;
  *(uint8_t*)0x20000847 = -1;
  *(uint32_t*)0x20000848 = 0xffff;
  *(uint16_t*)0x2000084c = 2;
  *(uint8_t*)0x2000084e = 0;
  *(uint8_t*)0x2000084f = -1;
  *(uint32_t*)0x20000850 = 5;
  *(uint16_t*)0x20000854 = 0x400;
  *(uint8_t*)0x20000856 = 1;
  *(uint8_t*)0x20000857 = 8;
  *(uint32_t*)0x20000858 = 8;
  *(uint16_t*)0x2000085c = 4;
  *(uint8_t*)0x2000085e = 5;
  *(uint8_t*)0x2000085f = 1;
  *(uint32_t*)0x20000860 = 8;
  *(uint16_t*)0x20000864 = 0x4c;
  *(uint16_t*)0x20000866 = 1;
  *(uint16_t*)0x20000868 = 0x24;
  *(uint16_t*)0x2000086a = 1;
  memcpy((void*)0x2000086c, "\x62\x70\x66\x5f\x68\x61\x73\x68\x5f\x66\x75\x6e"
                            "\x63\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x2000088c = 8;
  *(uint16_t*)0x2000088e = 3;
  *(uint8_t*)0x20000890 = 0xb;
  *(uint16_t*)0x20000894 = 0x1c;
  *(uint16_t*)0x20000896 = 4;
  *(uint16_t*)0x20000898 = 0x80;
  *(uint8_t*)0x2000089a = 0xfa;
  *(uint8_t*)0x2000089b = -1;
  *(uint32_t*)0x2000089c = 6;
  *(uint16_t*)0x200008a0 = 1;
  *(uint8_t*)0x200008a2 = -1;
  *(uint8_t*)0x200008a3 = 8;
  *(uint32_t*)0x200008a4 = 0xffffff63;
  *(uint16_t*)0x200008a8 = 3;
  *(uint8_t*)0x200008aa = 0x55;
  *(uint8_t*)0x200008ab = 0;
  *(uint32_t*)0x200008ac = 0x401;
  *(uint16_t*)0x200008b0 = 8;
  *(uint16_t*)0x200008b2 = 1;
  *(uint32_t*)0x200008b4 = r[2];
  *(uint16_t*)0x200008b8 = 0x1a8;
  *(uint16_t*)0x200008ba = 2;
  *(uint16_t*)0x200008bc = 0x3c;
  *(uint16_t*)0x200008be = 1;
  *(uint16_t*)0x200008c0 = 0x24;
  *(uint16_t*)0x200008c2 = 1;
  memcpy((void*)0x200008c4, "\x65\x6e\x61\x62\x6c\x65\x64\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x200008e4 = 8;
  *(uint16_t*)0x200008e6 = 3;
  *(uint8_t*)0x200008e8 = 6;
  *(uint16_t*)0x200008ec = 4;
  *(uint16_t*)0x200008ee = 4;
  *(uint16_t*)0x200008f0 = 8;
  *(uint16_t*)0x200008f2 = 6;
  *(uint32_t*)0x200008f4 = r[2];
  *(uint16_t*)0x200008f8 = 0x3c;
  *(uint16_t*)0x200008fa = 1;
  *(uint16_t*)0x200008fc = 0x24;
  *(uint16_t*)0x200008fe = 1;
  memcpy((void*)0x20000900, "\x65\x6e\x61\x62\x6c\x65\x64\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x20000920 = 8;
  *(uint16_t*)0x20000922 = 3;
  *(uint8_t*)0x20000924 = 6;
  *(uint16_t*)0x20000928 = 4;
  *(uint16_t*)0x2000092a = 4;
  *(uint16_t*)0x2000092c = 8;
  *(uint16_t*)0x2000092e = 6;
  *(uint32_t*)0x20000930 = r[2];
  *(uint16_t*)0x20000934 = 0x38;
  *(uint16_t*)0x20000936 = 1;
  *(uint16_t*)0x20000938 = 0x24;
  *(uint16_t*)0x2000093a = 1;
  memcpy((void*)0x2000093c, "\x6e\x6f\x74\x69\x66\x79\x5f\x70\x65\x65\x72\x73"
                            "\x5f\x63\x6f\x75\x6e\x74\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x2000095c = 8;
  *(uint16_t*)0x2000095e = 3;
  *(uint8_t*)0x20000960 = 3;
  *(uint16_t*)0x20000964 = 8;
  *(uint16_t*)0x20000966 = 4;
  *(uint32_t*)0x20000968 = 1;
  *(uint16_t*)0x2000096c = 0x40;
  *(uint16_t*)0x2000096e = 1;
  *(uint16_t*)0x20000970 = 0x24;
  *(uint16_t*)0x20000972 = 1;
  memcpy((void*)0x20000974, "\x6c\x62\x5f\x70\x6f\x72\x74\x5f\x73\x74\x61\x74"
                            "\x73\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x20000994 = 8;
  *(uint16_t*)0x20000996 = 3;
  *(uint8_t*)0x20000998 = 0xb;
  *(uint16_t*)0x2000099c = 8;
  *(uint16_t*)0x2000099e = 4;
  *(uint32_t*)0x200009a0 = 6;
  *(uint16_t*)0x200009a4 = 8;
  *(uint16_t*)0x200009a6 = 6;
  *(uint32_t*)0x200009a8 = r[2];
  *(uint16_t*)0x200009ac = 0x38;
  *(uint16_t*)0x200009ae = 1;
  *(uint16_t*)0x200009b0 = 0x24;
  *(uint16_t*)0x200009b2 = 1;
  memcpy((void*)0x200009b4, "\x6c\x62\x5f\x73\x74\x61\x74\x73\x5f\x72\x65\x66"
                            "\x72\x65\x73\x68\x5f\x69\x6e\x74\x65\x72\x76\x61"
                            "\x6c\x00\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x200009d4 = 8;
  *(uint16_t*)0x200009d6 = 3;
  *(uint8_t*)0x200009d8 = 3;
  *(uint16_t*)0x200009dc = 8;
  *(uint16_t*)0x200009de = 4;
  *(uint32_t*)0x200009e0 = 6;
  *(uint16_t*)0x200009e4 = 0x40;
  *(uint16_t*)0x200009e6 = 1;
  *(uint16_t*)0x200009e8 = 0x24;
  *(uint16_t*)0x200009ea = 1;
  memcpy((void*)0x200009ec, "\x71\x75\x65\x75\x65\x5f\x69\x64\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x20000a0c = 8;
  *(uint16_t*)0x20000a0e = 3;
  *(uint8_t*)0x20000a10 = 3;
  *(uint16_t*)0x20000a14 = 8;
  *(uint16_t*)0x20000a16 = 4;
  *(uint32_t*)0x20000a18 = 0x112;
  *(uint16_t*)0x20000a1c = 8;
  *(uint16_t*)0x20000a1e = 6;
  *(uint32_t*)0x20000a20 = r[2];
  *(uint16_t*)0x20000a24 = 0x3c;
  *(uint16_t*)0x20000a26 = 1;
  *(uint16_t*)0x20000a28 = 0x24;
  *(uint16_t*)0x20000a2a = 1;
  memcpy((void*)0x20000a2c, "\x6c\x62\x5f\x74\x78\x5f\x6d\x65\x74\x68\x6f\x64"
                            "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x20000a4c = 8;
  *(uint16_t*)0x20000a4e = 3;
  *(uint8_t*)0x20000a50 = 5;
  *(uint16_t*)0x20000a54 = 0xc;
  *(uint16_t*)0x20000a56 = 4;
  memcpy((void*)0x20000a58, "hash", 5);
  *(uint16_t*)0x20000a60 = 8;
  *(uint16_t*)0x20000a62 = 1;
  *(uint32_t*)0x20000a64 = r[2];
  *(uint16_t*)0x20000a68 = 0x170;
  *(uint16_t*)0x20000a6a = 2;
  *(uint16_t*)0x20000a6c = 0x3c;
  *(uint16_t*)0x20000a6e = 1;
  *(uint16_t*)0x20000a70 = 0x24;
  *(uint16_t*)0x20000a72 = 1;
  memcpy((void*)0x20000a74, "\x65\x6e\x61\x62\x6c\x65\x64\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x20000a94 = 8;
  *(uint16_t*)0x20000a96 = 3;
  *(uint8_t*)0x20000a98 = 6;
  *(uint16_t*)0x20000a9c = 4;
  *(uint16_t*)0x20000a9e = 4;
  *(uint16_t*)0x20000aa0 = 8;
  *(uint16_t*)0x20000aa2 = 6;
  *(uint32_t*)0x20000aa4 = r[2];
  *(uint16_t*)0x20000aa8 = 0x4c;
  *(uint16_t*)0x20000aaa = 1;
  *(uint16_t*)0x20000aac = 0x24;
  *(uint16_t*)0x20000aae = 1;
  memcpy((void*)0x20000ab0, "\x6c\x62\x5f\x74\x78\x5f\x6d\x65\x74\x68\x6f\x64"
                            "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x20000ad0 = 8;
  *(uint16_t*)0x20000ad2 = 3;
  *(uint8_t*)0x20000ad4 = 5;
  *(uint16_t*)0x20000ad8 = 0x1c;
  *(uint16_t*)0x20000ada = 4;
  memcpy((void*)0x20000adc, "hash_to_port_mapping", 21);
  *(uint16_t*)0x20000af4 = 0x38;
  *(uint16_t*)0x20000af6 = 1;
  *(uint16_t*)0x20000af8 = 0x24;
  *(uint16_t*)0x20000afa = 1;
  memcpy((void*)0x20000afc, "\x6c\x62\x5f\x73\x74\x61\x74\x73\x5f\x72\x65\x66"
                            "\x72\x65\x73\x68\x5f\x69\x6e\x74\x65\x72\x76\x61"
                            "\x6c\x00\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x20000b1c = 8;
  *(uint16_t*)0x20000b1e = 3;
  *(uint8_t*)0x20000b20 = 3;
  *(uint16_t*)0x20000b24 = 8;
  *(uint16_t*)0x20000b26 = 4;
  *(uint32_t*)0x20000b28 = 0x100;
  *(uint16_t*)0x20000b2c = 0x3c;
  *(uint16_t*)0x20000b2e = 1;
  *(uint16_t*)0x20000b30 = 0x24;
  *(uint16_t*)0x20000b32 = 1;
  memcpy((void*)0x20000b34, "\x75\x73\x65\x72\x5f\x6c\x69\x6e\x6b\x75\x70\x5f"
                            "\x65\x6e\x61\x62\x6c\x65\x64\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x20000b54 = 8;
  *(uint16_t*)0x20000b56 = 3;
  *(uint8_t*)0x20000b58 = 6;
  *(uint16_t*)0x20000b5c = 4;
  *(uint16_t*)0x20000b5e = 4;
  *(uint16_t*)0x20000b60 = 8;
  *(uint16_t*)0x20000b62 = 6;
  *(uint32_t*)0x20000b64 = r[2];
  *(uint16_t*)0x20000b68 = 0x38;
  *(uint16_t*)0x20000b6a = 1;
  *(uint16_t*)0x20000b6c = 0x24;
  *(uint16_t*)0x20000b6e = 1;
  memcpy((void*)0x20000b70, "\x61\x63\x74\x69\x76\x65\x70\x6f\x72\x74\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x20000b90 = 8;
  *(uint16_t*)0x20000b92 = 3;
  *(uint8_t*)0x20000b94 = 3;
  *(uint16_t*)0x20000b98 = 8;
  *(uint16_t*)0x20000b9a = 4;
  *(uint32_t*)0x20000b9c = r[2];
  *(uint16_t*)0x20000ba0 = 0x38;
  *(uint16_t*)0x20000ba2 = 1;
  *(uint16_t*)0x20000ba4 = 0x24;
  *(uint16_t*)0x20000ba6 = 1;
  memcpy((void*)0x20000ba8, "\x6e\x6f\x74\x69\x66\x79\x5f\x70\x65\x65\x72\x73"
                            "\x5f\x63\x6f\x75\x6e\x74\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x20000bc8 = 8;
  *(uint16_t*)0x20000bca = 3;
  *(uint8_t*)0x20000bcc = 3;
  *(uint16_t*)0x20000bd0 = 8;
  *(uint16_t*)0x20000bd2 = 4;
  *(uint32_t*)0x20000bd4 = 0xa8;
  *(uint16_t*)0x20000bd8 = 8;
  *(uint16_t*)0x20000bda = 1;
  *(uint32_t*)0x20000bdc = r[2];
  *(uint16_t*)0x20000be0 = 0x270;
  *(uint16_t*)0x20000be2 = 2;
  *(uint16_t*)0x20000be4 = 0x3c;
  *(uint16_t*)0x20000be6 = 1;
  *(uint16_t*)0x20000be8 = 0x24;
  *(uint16_t*)0x20000bea = 1;
  memcpy((void*)0x20000bec, "\x75\x73\x65\x72\x5f\x6c\x69\x6e\x6b\x75\x70\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x20000c0c = 8;
  *(uint16_t*)0x20000c0e = 3;
  *(uint8_t*)0x20000c10 = 6;
  *(uint16_t*)0x20000c14 = 4;
  *(uint16_t*)0x20000c16 = 4;
  *(uint16_t*)0x20000c18 = 8;
  *(uint16_t*)0x20000c1a = 6;
  *(uint32_t*)0x20000c1c = r[2];
  *(uint16_t*)0x20000c20 = 0x38;
  *(uint16_t*)0x20000c22 = 1;
  *(uint16_t*)0x20000c24 = 0x24;
  *(uint16_t*)0x20000c26 = 1;
  memcpy((void*)0x20000c28, "\x6e\x6f\x74\x69\x66\x79\x5f\x70\x65\x65\x72\x73"
                            "\x5f\x63\x6f\x75\x6e\x74\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x20000c48 = 8;
  *(uint16_t*)0x20000c4a = 3;
  *(uint8_t*)0x20000c4c = 3;
  *(uint16_t*)0x20000c50 = 8;
  *(uint16_t*)0x20000c52 = 4;
  *(uint32_t*)0x20000c54 = 0x45e;
  *(uint16_t*)0x20000c58 = 0x40;
  *(uint16_t*)0x20000c5a = 1;
  *(uint16_t*)0x20000c5c = 0x24;
  *(uint16_t*)0x20000c5e = 1;
  memcpy((void*)0x20000c60, "\x70\x72\x69\x6f\x72\x69\x74\x79\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x20000c80 = 8;
  *(uint16_t*)0x20000c82 = 3;
  *(uint8_t*)0x20000c84 = 0xe;
  *(uint16_t*)0x20000c88 = 8;
  *(uint16_t*)0x20000c8a = 4;
  *(uint32_t*)0x20000c8c = 0xff;
  *(uint16_t*)0x20000c90 = 8;
  *(uint16_t*)0x20000c92 = 6;
  *(uint32_t*)0x20000c94 = r[2];
  *(uint16_t*)0x20000c98 = 0x44;
  *(uint16_t*)0x20000c9a = 1;
  *(uint16_t*)0x20000c9c = 0x24;
  *(uint16_t*)0x20000c9e = 1;
  memcpy((void*)0x20000ca0, "\x62\x70\x66\x5f\x68\x61\x73\x68\x5f\x66\x75\x6e"
                            "\x63\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x20000cc0 = 8;
  *(uint16_t*)0x20000cc2 = 3;
  *(uint8_t*)0x20000cc4 = 0xb;
  *(uint16_t*)0x20000cc8 = 0x14;
  *(uint16_t*)0x20000cca = 4;
  *(uint16_t*)0x20000ccc = 0xe9b;
  *(uint8_t*)0x20000cce = 1;
  *(uint8_t*)0x20000ccf = 7;
  *(uint32_t*)0x20000cd0 = 0;
  *(uint16_t*)0x20000cd4 = 6;
  *(uint8_t*)0x20000cd6 = 0x74;
  *(uint8_t*)0x20000cd7 = 4;
  *(uint32_t*)0x20000cd8 = 0x140000;
  *(uint16_t*)0x20000cdc = 0x3c;
  *(uint16_t*)0x20000cde = 1;
  *(uint16_t*)0x20000ce0 = 0x24;
  *(uint16_t*)0x20000ce2 = 1;
  memcpy((void*)0x20000ce4, "\x75\x73\x65\x72\x5f\x6c\x69\x6e\x6b\x75\x70\x5f"
                            "\x65\x6e\x61\x62\x6c\x65\x64\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x20000d04 = 8;
  *(uint16_t*)0x20000d06 = 3;
  *(uint8_t*)0x20000d08 = 6;
  *(uint16_t*)0x20000d0c = 4;
  *(uint16_t*)0x20000d0e = 4;
  *(uint16_t*)0x20000d10 = 8;
  *(uint16_t*)0x20000d12 = 6;
  *(uint32_t*)0x20000d14 = r[2];
  *(uint16_t*)0x20000d18 = 0x38;
  *(uint16_t*)0x20000d1a = 1;
  *(uint16_t*)0x20000d1c = 0x24;
  *(uint16_t*)0x20000d1e = 1;
  memcpy((void*)0x20000d20, "\x61\x63\x74\x69\x76\x65\x70\x6f\x72\x74\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x20000d40 = 8;
  *(uint16_t*)0x20000d42 = 3;
  *(uint8_t*)0x20000d44 = 3;
  *(uint16_t*)0x20000d48 = 8;
  *(uint16_t*)0x20000d4a = 4;
  *(uint32_t*)0x20000d4c = r[2];
  *(uint16_t*)0x20000d50 = 0x40;
  *(uint16_t*)0x20000d52 = 1;
  *(uint16_t*)0x20000d54 = 0x24;
  *(uint16_t*)0x20000d56 = 1;
  memcpy((void*)0x20000d58, "\x6c\x62\x5f\x74\x78\x5f\x68\x61\x73\x68\x5f\x74"
                            "\x6f\x5f\x70\x6f\x72\x74\x5f\x6d\x61\x70\x70\x69"
                            "\x6e\x67\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x20000d78 = 8;
  *(uint16_t*)0x20000d7a = 3;
  *(uint8_t*)0x20000d7c = 3;
  *(uint16_t*)0x20000d80 = 8;
  *(uint16_t*)0x20000d82 = 4;
  *(uint32_t*)0x20000d84 = r[2];
  *(uint16_t*)0x20000d88 = 8;
  *(uint16_t*)0x20000d8a = 7;
  *(uint32_t*)0x20000d8c = 0;
  *(uint16_t*)0x20000d90 = 0x40;
  *(uint16_t*)0x20000d92 = 1;
  *(uint16_t*)0x20000d94 = 0x24;
  *(uint16_t*)0x20000d96 = 1;
  memcpy((void*)0x20000d98, "\x71\x75\x65\x75\x65\x5f\x69\x64\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x20000db8 = 8;
  *(uint16_t*)0x20000dba = 3;
  *(uint8_t*)0x20000dbc = 3;
  *(uint16_t*)0x20000dc0 = 8;
  *(uint16_t*)0x20000dc2 = 4;
  *(uint32_t*)0x20000dc4 = 9;
  *(uint16_t*)0x20000dc8 = 8;
  *(uint16_t*)0x20000dca = 6;
  *(uint32_t*)0x20000dcc = r[2];
  *(uint16_t*)0x20000dd0 = 0x40;
  *(uint16_t*)0x20000dd2 = 1;
  *(uint16_t*)0x20000dd4 = 0x24;
  *(uint16_t*)0x20000dd6 = 1;
  memcpy((void*)0x20000dd8, "\x6c\x62\x5f\x74\x78\x5f\x68\x61\x73\x68\x5f\x74"
                            "\x6f\x5f\x70\x6f\x72\x74\x5f\x6d\x61\x70\x70\x69"
                            "\x6e\x67\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x20000df8 = 8;
  *(uint16_t*)0x20000dfa = 3;
  *(uint8_t*)0x20000dfc = 3;
  *(uint16_t*)0x20000e00 = 8;
  *(uint16_t*)0x20000e02 = 4;
  *(uint32_t*)0x20000e04 = r[2];
  *(uint16_t*)0x20000e08 = 8;
  *(uint16_t*)0x20000e0a = 7;
  *(uint32_t*)0x20000e0c = 0;
  *(uint16_t*)0x20000e10 = 0x40;
  *(uint16_t*)0x20000e12 = 1;
  *(uint16_t*)0x20000e14 = 0x24;
  *(uint16_t*)0x20000e16 = 1;
  memcpy((void*)0x20000e18, "\x6c\x62\x5f\x70\x6f\x72\x74\x5f\x73\x74\x61\x74"
                            "\x73\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x20000e38 = 8;
  *(uint16_t*)0x20000e3a = 3;
  *(uint8_t*)0x20000e3c = 0xb;
  *(uint16_t*)0x20000e40 = 8;
  *(uint16_t*)0x20000e42 = 4;
  *(uint32_t*)0x20000e44 = 2;
  *(uint16_t*)0x20000e48 = 8;
  *(uint16_t*)0x20000e4a = 6;
  *(uint32_t*)0x20000e4c = r[2];
  *(uint16_t*)0x20000e50 = 8;
  *(uint16_t*)0x20000e52 = 1;
  *(uint32_t*)0x20000e54 = r[2];
  *(uint16_t*)0x20000e58 = 0x7c;
  *(uint16_t*)0x20000e5a = 2;
  *(uint16_t*)0x20000e5c = 0x38;
  *(uint16_t*)0x20000e5e = 1;
  *(uint16_t*)0x20000e60 = 0x24;
  *(uint16_t*)0x20000e62 = 1;
  memcpy((void*)0x20000e64, "\x6e\x6f\x74\x69\x66\x79\x5f\x70\x65\x65\x72\x73"
                            "\x5f\x63\x6f\x75\x6e\x74\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x20000e84 = 8;
  *(uint16_t*)0x20000e86 = 3;
  *(uint8_t*)0x20000e88 = 3;
  *(uint16_t*)0x20000e8c = 8;
  *(uint16_t*)0x20000e8e = 4;
  *(uint32_t*)0x20000e90 = 0x3ff;
  *(uint16_t*)0x20000e94 = 0x40;
  *(uint16_t*)0x20000e96 = 1;
  *(uint16_t*)0x20000e98 = 0x24;
  *(uint16_t*)0x20000e9a = 1;
  memcpy((void*)0x20000e9c, "\x70\x72\x69\x6f\x72\x69\x74\x79\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x20000ebc = 8;
  *(uint16_t*)0x20000ebe = 3;
  *(uint8_t*)0x20000ec0 = 0xe;
  *(uint16_t*)0x20000ec4 = 8;
  *(uint16_t*)0x20000ec6 = 4;
  *(uint32_t*)0x20000ec8 = 1;
  *(uint16_t*)0x20000ecc = 8;
  *(uint16_t*)0x20000ece = 6;
  *(uint32_t*)0x20000ed0 = r[2];
  *(uint16_t*)0x20000ed4 = 8;
  *(uint16_t*)0x20000ed6 = 1;
  *(uint32_t*)0x20000ed8 = r[2];
  *(uint16_t*)0x20000edc = 0xec;
  *(uint16_t*)0x20000ede = 2;
  *(uint16_t*)0x20000ee0 = 0x38;
  *(uint16_t*)0x20000ee2 = 1;
  *(uint16_t*)0x20000ee4 = 0x24;
  *(uint16_t*)0x20000ee6 = 1;
  memcpy((void*)0x20000ee8, "\x6d\x63\x61\x73\x74\x5f\x72\x65\x6a\x6f\x69\x6e"
                            "\x5f\x63\x6f\x75\x6e\x74\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x20000f08 = 8;
  *(uint16_t*)0x20000f0a = 3;
  *(uint8_t*)0x20000f0c = 3;
  *(uint16_t*)0x20000f10 = 8;
  *(uint16_t*)0x20000f12 = 4;
  *(uint32_t*)0x20000f14 = 0x81;
  *(uint16_t*)0x20000f18 = 0x38;
  *(uint16_t*)0x20000f1a = 1;
  *(uint16_t*)0x20000f1c = 0x24;
  *(uint16_t*)0x20000f1e = 1;
  memcpy((void*)0x20000f20, "\x6d\x63\x61\x73\x74\x5f\x72\x65\x6a\x6f\x69\x6e"
                            "\x5f\x63\x6f\x75\x6e\x74\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x20000f40 = 8;
  *(uint16_t*)0x20000f42 = 3;
  *(uint8_t*)0x20000f44 = 3;
  *(uint16_t*)0x20000f48 = 8;
  *(uint16_t*)0x20000f4a = 4;
  *(uint32_t*)0x20000f4c = 8;
  *(uint16_t*)0x20000f50 = 0x38;
  *(uint16_t*)0x20000f52 = 1;
  *(uint16_t*)0x20000f54 = 0x24;
  *(uint16_t*)0x20000f56 = 1;
  memcpy((void*)0x20000f58, "\x6e\x6f\x74\x69\x66\x79\x5f\x70\x65\x65\x72\x73"
                            "\x5f\x69\x6e\x74\x65\x72\x76\x61\x6c\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x20000f78 = 8;
  *(uint16_t*)0x20000f7a = 3;
  *(uint8_t*)0x20000f7c = 3;
  *(uint16_t*)0x20000f80 = 8;
  *(uint16_t*)0x20000f82 = 4;
  *(uint32_t*)0x20000f84 = 6;
  *(uint16_t*)0x20000f88 = 0x40;
  *(uint16_t*)0x20000f8a = 1;
  *(uint16_t*)0x20000f8c = 0x24;
  *(uint16_t*)0x20000f8e = 1;
  memcpy((void*)0x20000f90, "\x6c\x62\x5f\x68\x61\x73\x68\x5f\x73\x74\x61\x74"
                            "\x73\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00",
         32);
  *(uint16_t*)0x20000fb0 = 8;
  *(uint16_t*)0x20000fb2 = 3;
  *(uint8_t*)0x20000fb4 = 0xb;
  *(uint16_t*)0x20000fb8 = 8;
  *(uint16_t*)0x20000fba = 4;
  *(uint32_t*)0x20000fbc = 1;
  *(uint16_t*)0x20000fc0 = 8;
  *(uint16_t*)0x20000fc2 = 7;
  *(uint32_t*)0x20000fc4 = 0;
  *(uint64_t*)0x200002c8 = 0x9c8;
  *(uint64_t*)0x20000318 = 1;
  *(uint64_t*)0x20000320 = 0;
  *(uint64_t*)0x20000328 = 0;
  *(uint32_t*)0x20000330 = 0;
  syscall(__NR_sendmsg, r[0], 0x20000300, 0x24008040);
  *(uint8_t*)0x20001280 = 1;
  *(uint8_t*)0x20001281 = 0x80;
  *(uint8_t*)0x20001282 = 0xc2;
  *(uint8_t*)0x20001283 = 0;
  *(uint8_t*)0x20001284 = 0;
  *(uint8_t*)0x20001285 = 0;
  *(uint8_t*)0x20001286 = 0;
  *(uint8_t*)0x20001287 = 0;
  *(uint8_t*)0x20001288 = 0;
  *(uint8_t*)0x20001289 = 0;
  *(uint8_t*)0x2000128a = 0;
  *(uint8_t*)0x2000128b = 0;
  *(uint16_t*)0x2000128c = htobe16(0x800);
  STORE_BY_BITMASK(uint8_t, 0x2000128e, 5, 0, 4);
  STORE_BY_BITMASK(uint8_t, 0x2000128e, 4, 4, 4);
  STORE_BY_BITMASK(uint8_t, 0x2000128f, 0, 0, 2);
  STORE_BY_BITMASK(uint8_t, 0x2000128f, 0, 2, 6);
  *(uint16_t*)0x20001290 = htobe16(0x58);
  *(uint16_t*)0x20001292 = htobe16(0);
  *(uint16_t*)0x20001294 = htobe16(0);
  *(uint8_t*)0x20001296 = 0;
  *(uint8_t*)0x20001297 = 0x88;
  *(uint16_t*)0x20001298 = 0;
  *(uint8_t*)0x2000129a = 0xac;
  *(uint8_t*)0x2000129b = 0x14;
  *(uint8_t*)0x2000129c = 0x14;
  *(uint8_t*)0x2000129d = 0xbb;
  *(uint8_t*)0x2000129e = 0xac;
  *(uint8_t*)0x2000129f = 0x14;
  *(uint8_t*)0x200012a0 = 0x14;
  *(uint8_t*)0x200012a1 = 0xb;
  STORE_BY_BITMASK(uint16_t, 0x200012a2, 0, 0, 1);
  STORE_BY_BITMASK(uint16_t, 0x200012a2, 0, 1, 1);
  STORE_BY_BITMASK(uint16_t, 0x200012a2, 1, 2, 1);
  STORE_BY_BITMASK(uint16_t, 0x200012a2, 0, 3, 1);
  STORE_BY_BITMASK(uint16_t, 0x200012a2, 0, 4, 4);
  STORE_BY_BITMASK(uint16_t, 0x200012a2, 0, 8, 1);
  STORE_BY_BITMASK(uint16_t, 0x200012a2, 0, 9, 4);
  STORE_BY_BITMASK(uint16_t, 0x200012a2, 1, 13, 3);
  *(uint16_t*)0x200012a4 = htobe16(0x880b);
  *(uint16_t*)0x200012a6 = htobe16(0);
  *(uint16_t*)0x200012a8 = htobe16(2);
  STORE_BY_BITMASK(uint16_t, 0x200012aa, 0, 0, 1);
  STORE_BY_BITMASK(uint16_t, 0x200012aa, 0, 1, 1);
  STORE_BY_BITMASK(uint16_t, 0x200012aa, 0, 2, 1);
  STORE_BY_BITMASK(uint16_t, 0x200012aa, 0, 3, 1);
  STORE_BY_BITMASK(uint16_t, 0x200012aa, 0, 4, 9);
  STORE_BY_BITMASK(uint16_t, 0x200012aa, 0, 13, 3);
  *(uint16_t*)0x200012ac = htobe16(0x800);
  STORE_BY_BITMASK(uint16_t, 0x200012ae, 0, 0, 1);
  STORE_BY_BITMASK(uint16_t, 0x200012ae, 0, 1, 1);
  STORE_BY_BITMASK(uint16_t, 0x200012ae, 0, 2, 1);
  STORE_BY_BITMASK(uint16_t, 0x200012ae, 0, 3, 1);
  STORE_BY_BITMASK(uint16_t, 0x200012ae, 0, 4, 9);
  STORE_BY_BITMASK(uint16_t, 0x200012ae, 0, 13, 3);
  *(uint16_t*)0x200012b0 = htobe16(0x86dd);
  *(uint16_t*)0x200012b2 = 8;
  *(uint16_t*)0x200012b4 = htobe16(0x88be);
  *(uint32_t*)0x200012b6 = htobe32(0);
  STORE_BY_BITMASK(uint8_t, 0x200012ba, 0, 0, 4);
  STORE_BY_BITMASK(uint8_t, 0x200012ba, 1, 4, 4);
  *(uint8_t*)0x200012bb = 0;
  STORE_BY_BITMASK(uint8_t, 0x200012bc, 0, 0, 2);
  STORE_BY_BITMASK(uint8_t, 0x200012bc, 0, 2, 1);
  STORE_BY_BITMASK(uint8_t, 0x200012bc, 0, 3, 2);
  STORE_BY_BITMASK(uint8_t, 0x200012bc, 0, 5, 3);
  *(uint8_t*)0x200012bd = 0;
  *(uint32_t*)0x200012be = 1;
  *(uint32_t*)0x200012c2 = htobe32(0);
  *(uint16_t*)0x200012c6 = 8;
  *(uint16_t*)0x200012c8 = htobe16(0x22eb);
  *(uint32_t*)0x200012ca = htobe32(0);
  STORE_BY_BITMASK(uint8_t, 0x200012ce, 0, 0, 4);
  STORE_BY_BITMASK(uint8_t, 0x200012ce, 2, 4, 4);
  *(uint8_t*)0x200012cf = 0;
  STORE_BY_BITMASK(uint8_t, 0x200012d0, 0, 0, 2);
  STORE_BY_BITMASK(uint8_t, 0x200012d0, 0, 2, 1);
  STORE_BY_BITMASK(uint8_t, 0x200012d0, 0, 3, 2);
  STORE_BY_BITMASK(uint8_t, 0x200012d0, 0, 5, 3);
  *(uint8_t*)0x200012d1 = 0;
  *(uint32_t*)0x200012d2 = 2;
  *(uint32_t*)0x200012d6 = htobe32(0);
  *(uint16_t*)0x200012da = htobe16(0);
  STORE_BY_BITMASK(uint8_t, 0x200012dc, 0, 0, 2);
  STORE_BY_BITMASK(uint8_t, 0x200012dc, 0, 2, 5);
  STORE_BY_BITMASK(uint8_t, 0x200012dc, 0, 7, 1);
  STORE_BY_BITMASK(uint8_t, 0x200012dd, 0, 0, 1);
  STORE_BY_BITMASK(uint8_t, 0x200012dd, 0, 1, 2);
  STORE_BY_BITMASK(uint8_t, 0x200012dd, 0, 3, 1);
  STORE_BY_BITMASK(uint8_t, 0x200012dd, 0, 4, 1);
  *(uint16_t*)0x200012de = 8;
  *(uint16_t*)0x200012e0 = htobe16(0x6558);
  *(uint32_t*)0x200012e2 = htobe32(0);
  *(uint32_t*)0x20000040 = 0;
  *(uint32_t*)0x20000044 = 2;
  *(uint32_t*)0x20000048 = 0;
  *(uint32_t*)0x2000004c = 0;
  *(uint32_t*)0x20000050 = 0;
  *(uint32_t*)0x20000054 = 0;
  struct csum_inet csum_1;
  csum_inet_init(&csum_1);
  csum_inet_update(&csum_1, (const uint8_t*)0x2000128e, 20);
  *(uint16_t*)0x20001298 = csum_inet_digest(&csum_1);
  syz_emit_ethernet(0x66, 0x20001280, 0x20000040);
}

int main()
{
  syscall(__NR_mmap, 0x20000000, 0x1000000, 3, 0x32, -1, 0);
  int pid = do_sandbox_none();
  int status = 0;
  while (waitpid(pid, &status, __WALL) != pid) {
  }
  return 0;
}