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

#define _GNU_SOURCE

#include <dirent.h>
#include <endian.h>
#include <errno.h>
#include <fcntl.h>
#include <signal.h>
#include <stdarg.h>
#include <stdbool.h>
#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.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>

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

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

#define KMEMLEAK_FILE "/sys/kernel/debug/kmemleak"

static const char* setup_leak()
{
  if (!write_file(KMEMLEAK_FILE, "scan=off")) {
    if (errno == EBUSY)
      return "KMEMLEAK disabled: increase CONFIG_DEBUG_KMEMLEAK_EARLY_LOG_SIZE"
             " or unset CONFIG_DEBUG_KMEMLEAK_DEFAULT_OFF";
    return "failed to write(kmemleak, \"scan=off\")";
  }
  if (!write_file(KMEMLEAK_FILE, "scan"))
    return "failed to write(kmemleak, \"scan\")";
  sleep(5);
  if (!write_file(KMEMLEAK_FILE, "scan"))
    return "failed to write(kmemleak, \"scan\")";
  if (!write_file(KMEMLEAK_FILE, "clear"))
    return "failed to write(kmemleak, \"clear\")";
  return NULL;
}

static void check_leaks(void)
{
  int fd = open(KMEMLEAK_FILE, O_RDWR);
  if (fd == -1)
    exit(1);
  uint64_t start = current_time_ms();
  if (write(fd, "scan", 4) != 4)
    exit(1);
  sleep(1);
  while (current_time_ms() - start < 4 * 1000)
    sleep(1);
  if (write(fd, "scan", 4) != 4)
    exit(1);
  static char buf[128 << 10];
  ssize_t n = read(fd, buf, sizeof(buf) - 1);
  if (n < 0)
    exit(1);
  int nleaks = 0;
  if (n != 0) {
    sleep(1);
    if (write(fd, "scan", 4) != 4)
      exit(1);
    if (lseek(fd, 0, SEEK_SET) < 0)
      exit(1);
    n = read(fd, buf, sizeof(buf) - 1);
    if (n < 0)
      exit(1);
    buf[n] = 0;
    char* pos = buf;
    char* end = buf + n;
    while (pos < end) {
      char* next = strstr(pos + 1, "unreferenced object");
      if (!next)
        next = end;
      char prev = *next;
      *next = 0;
      fprintf(stderr, "BUG: memory leak\n%s\n", pos);
      *next = prev;
      pos = next;
      nleaks++;
    }
  }
  if (write(fd, "clear", 5) != 5)
    exit(1);
  close(fd);
  if (nleaks)
    exit(1);
}

static void execute_one(void);

#define WAIT_FLAGS __WALL

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

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)) {
  }
  //  socket$nl_xfrm arguments: [
  //    domain: const = 0x10 (8 bytes)
  //    type: const = 0x3 (8 bytes)
  //    proto: const = 0x6 (4 bytes)
  //  ]
  //  returns sock_nl_xfrm
  res = syscall(__NR_socket, /*domain=*/0x10ul, /*type=*/3ul, /*proto=*/6);
  if (res != -1)
    r[0] = res;
  //  sendmsg$nl_xfrm arguments: [
  //    fd: sock_nl_xfrm (resource)
  //    msg: ptr[in, msghdr_netlink[netlink_msg_xfrm]] {
  //      msghdr_netlink[netlink_msg_xfrm] {
  //        addr: nil
  //        addrlen: len = 0x0 (4 bytes)
  //        pad = 0x0 (4 bytes)
  //        vec: ptr[in, iovec[in, netlink_msg_xfrm]] {
  //          iovec[in, netlink_msg_xfrm] {
  //            addr: ptr[in, netlink_msg_xfrm] {
  //              union netlink_msg_xfrm {
  //                updpolicy: netlink_msg_t[const[XFRM_MSG_UPDPOLICY, int16],
  //                xfrm_userpolicy_info, xfrma_policy] {
  //                  len: len = 0xfc (4 bytes)
  //                  type: const = 0x19 (2 bytes)
  //                  flags: netlink_msg_flags = 0x1 (2 bytes)
  //                  seq: int32 = 0x0 (4 bytes)
  //                  pid: int32 = 0x0 (4 bytes)
  //                  payload: xfrm_userpolicy_info {
  //                    sel: xfrm_selector {
  //                      daddr: union xfrm_address_t {
  //                        in6: union ipv6_addr {
  //                          rand_addr: buffer: {20 01 00 00 00 00 00 00 00 00
  //                          00 00 00 00 00 00} (length 0x10)
  //                        }
  //                      }
  //                      saddr: union xfrm_address_t {
  //                        in: union ipv4_addr {
  //                          local: ipv4_addr_t[const[170, int8]] {
  //                            a0: const = 0xac (1 bytes)
  //                            a1: const = 0x14 (1 bytes)
  //                            a2: const = 0x14 (1 bytes)
  //                            a3: const = 0xaa (1 bytes)
  //                          }
  //                        }
  //                      }
  //                      dport: int16be = 0x0 (2 bytes)
  //                      dport_mask: int16be = 0x0 (2 bytes)
  //                      sport: int16be = 0x0 (2 bytes)
  //                      sport_mask: int16be = 0x0 (2 bytes)
  //                      family: xfrm_family = 0xa (2 bytes)
  //                      prefixlen_d: xfrm_prefixlens = 0x0 (1 bytes)
  //                      prefixlen_s: xfrm_prefixlens = 0x0 (1 bytes)
  //                      proto: ipv6_types = 0x0 (1 bytes)
  //                      pad = 0x0 (3 bytes)
  //                      ifindex: ifindex (resource)
  //                      user: uid (resource)
  //                    }
  //                    lft: xfrm_lifetime_cfg {
  //                      soft_byte_limit: int64 = 0x0 (8 bytes)
  //                      hard_byte_limit: int64 = 0xa9 (8 bytes)
  //                      soft_packet_limit: int64 = 0x0 (8 bytes)
  //                      hard_packet_limit: int64 = 0x0 (8 bytes)
  //                      soft_add_expires_seconds: int64 = 0x0 (8 bytes)
  //                      hard_add_expires_seconds: int64 = 0xffffffffffffffff
  //                      (8 bytes) soft_use_expires_seconds: int64 = 0x0 (8
  //                      bytes) hard_use_expires_seconds: int64 = 0x0 (8 bytes)
  //                    }
  //                    curlft: xfrm_lifetime_cur {
  //                      bytes: int64 = 0x0 (8 bytes)
  //                      packets: int64 = 0xa00 (8 bytes)
  //                      add_time: int64 = 0x40800000000000 (8 bytes)
  //                      use_time: int64 = 0x800000000000000 (8 bytes)
  //                    }
  //                    priority: int32 = 0x0 (4 bytes)
  //                    index: int32 = 0x0 (4 bytes)
  //                    dir: xfrm_policy_dir = 0x0 (1 bytes)
  //                    action: xfrm_policy_actions = 0x0 (1 bytes)
  //                    flags: xfrm_policy_flags = 0x0 (1 bytes)
  //                    share: xfrm_policy_shares = 0x0 (1 bytes)
  //                    pad = 0x0 (4 bytes)
  //                  }
  //                  attrs: array[xfrma_policy] {
  //                    union xfrma_policy {
  //                      tmpl: nlattr_t[const[XFRMA_TMPL, int16],
  //                      array[xfrm_user_tmpl, 1:XFRM_MAX_DEPTH]] {
  //                        nla_len: offsetof = 0x44 (2 bytes)
  //                        nla_type: const = 0x5 (2 bytes)
  //                        payload: array[xfrm_user_tmpl] {
  //                          xfrm_user_tmpl {
  //                            id: xfrm_id {
  //                              daddr: union xfrm_address_t {
  //                                in: union ipv4_addr {
  //                                  local: ipv4_addr_t[const[170, int8]] {
  //                                    a0: const = 0xac (1 bytes)
  //                                    a1: const = 0x14 (1 bytes)
  //                                    a2: const = 0x14 (1 bytes)
  //                                    a3: const = 0xaa (1 bytes)
  //                                  }
  //                                }
  //                              }
  //                              spi: int32be = 0x8000 (4 bytes)
  //                              proto: xfrm_proto = 0x3c (1 bytes)
  //                              pad = 0x0 (3 bytes)
  //                            }
  //                            family: xfrm_family = 0x0 (2 bytes)
  //                            pad = 0x0 (2 bytes)
  //                            saddr: union xfrm_address_t {
  //                              in: union ipv4_addr {
  //                                broadcast: const = 0xffffffff (4 bytes)
  //                              }
  //                            }
  //                            reqid: int32 = 0x0 (4 bytes)
  //                            mode: xfrm_mode = 0x0 (1 bytes)
  //                            share: xfrm_policy_shares = 0x3 (1 bytes)
  //                            optional: int8 = 0x0 (1 bytes)
  //                            pad = 0x0 (1 bytes)
  //                            aalgos: int32 = 0x0 (4 bytes)
  //                            ealgos: int32 = 0x0 (4 bytes)
  //                            calgos: int32 = 0x0 (4 bytes)
  //                          }
  //                        }
  //                        size: buffer: {} (length 0x0)
  //                      }
  //                    }
  //                  }
  //                }
  //              }
  //            }
  //            len: len = 0xfc (8 bytes)
  //          }
  //        }
  //        vlen: const = 0x1 (8 bytes)
  //        ctrl: const = 0x0 (8 bytes)
  //        ctrllen: const = 0x0 (8 bytes)
  //        f: send_flags = 0x0 (4 bytes)
  //        pad = 0x0 (4 bytes)
  //      }
  //    }
  //    f: send_flags = 0x0 (8 bytes)
  //  ]
  *(uint64_t*)0x200000000480 = 0;
  *(uint32_t*)0x200000000488 = 0;
  *(uint64_t*)0x200000000490 = 0x200000001f40;
  *(uint64_t*)0x200000001f40 = 0x2000000004c0;
  *(uint32_t*)0x2000000004c0 = 0xfc;
  *(uint16_t*)0x2000000004c4 = 0x19;
  *(uint16_t*)0x2000000004c6 = 1;
  *(uint32_t*)0x2000000004c8 = 0;
  *(uint32_t*)0x2000000004cc = 0;
  memcpy((void*)0x2000000004d0,
         " \001\000\000\000\000\000\000\000\000\000\000\000\000\000\000", 16);
  *(uint8_t*)0x2000000004e0 = 0xac;
  *(uint8_t*)0x2000000004e1 = 0x14;
  *(uint8_t*)0x2000000004e2 = 0x14;
  *(uint8_t*)0x2000000004e3 = 0xaa;
  *(uint16_t*)0x2000000004f0 = htobe16(0);
  *(uint16_t*)0x2000000004f2 = htobe16(0);
  *(uint16_t*)0x2000000004f4 = htobe16(0);
  *(uint16_t*)0x2000000004f6 = htobe16(0);
  *(uint16_t*)0x2000000004f8 = 0xa;
  *(uint8_t*)0x2000000004fa = 0;
  *(uint8_t*)0x2000000004fb = 0;
  *(uint8_t*)0x2000000004fc = 0;
  *(uint32_t*)0x200000000500 = 0;
  *(uint32_t*)0x200000000504 = -1;
  *(uint64_t*)0x200000000508 = 0;
  *(uint64_t*)0x200000000510 = 0xa9;
  *(uint64_t*)0x200000000518 = 0;
  *(uint64_t*)0x200000000520 = 0;
  *(uint64_t*)0x200000000528 = 0;
  *(uint64_t*)0x200000000530 = -1;
  *(uint64_t*)0x200000000538 = 0;
  *(uint64_t*)0x200000000540 = 0;
  *(uint64_t*)0x200000000548 = 0;
  *(uint64_t*)0x200000000550 = 0xa00;
  *(uint64_t*)0x200000000558 = 0x40800000000000;
  *(uint64_t*)0x200000000560 = 0x800000000000000;
  *(uint32_t*)0x200000000568 = 0;
  *(uint32_t*)0x20000000056c = 0;
  *(uint8_t*)0x200000000570 = 0;
  *(uint8_t*)0x200000000571 = 0;
  *(uint8_t*)0x200000000572 = 0;
  *(uint8_t*)0x200000000573 = 0;
  *(uint16_t*)0x200000000578 = 0x44;
  *(uint16_t*)0x20000000057a = 5;
  *(uint8_t*)0x20000000057c = 0xac;
  *(uint8_t*)0x20000000057d = 0x14;
  *(uint8_t*)0x20000000057e = 0x14;
  *(uint8_t*)0x20000000057f = 0xaa;
  *(uint32_t*)0x20000000058c = htobe32(0x8000);
  *(uint8_t*)0x200000000590 = 0x3c;
  *(uint16_t*)0x200000000594 = 0;
  *(uint32_t*)0x200000000598 = htobe32(-1);
  *(uint32_t*)0x2000000005a8 = 0;
  *(uint8_t*)0x2000000005ac = 0;
  *(uint8_t*)0x2000000005ad = 3;
  *(uint8_t*)0x2000000005ae = 0;
  *(uint32_t*)0x2000000005b0 = 0;
  *(uint32_t*)0x2000000005b4 = 0;
  *(uint32_t*)0x2000000005b8 = 0;
  *(uint64_t*)0x200000001f48 = 0xfc;
  *(uint64_t*)0x200000000498 = 1;
  *(uint64_t*)0x2000000004a0 = 0;
  *(uint64_t*)0x2000000004a8 = 0;
  *(uint32_t*)0x2000000004b0 = 0;
  syscall(__NR_sendmsg, /*fd=*/r[0], /*msg=*/0x200000000480ul, /*f=*/0ul);
  //  socket$nl_xfrm arguments: [
  //    domain: const = 0x10 (8 bytes)
  //    type: const = 0x3 (8 bytes)
  //    proto: const = 0x6 (4 bytes)
  //  ]
  //  returns sock_nl_xfrm
  res = syscall(__NR_socket, /*domain=*/0x10ul, /*type=*/3ul, /*proto=*/6);
  if (res != -1)
    r[1] = res;
  //  sendmsg$nl_xfrm arguments: [
  //    fd: sock_nl_xfrm (resource)
  //    msg: ptr[in, msghdr_netlink[netlink_msg_xfrm]] {
  //      msghdr_netlink[netlink_msg_xfrm] {
  //        addr: nil
  //        addrlen: len = 0x0 (4 bytes)
  //        pad = 0x0 (4 bytes)
  //        vec: ptr[in, iovec[in, netlink_msg_xfrm]] {
  //          iovec[in, netlink_msg_xfrm] {
  //            addr: ptr[in, netlink_msg_xfrm] {
  //              union netlink_msg_xfrm {
  //                migrate: netlink_msg_t[const[XFRM_MSG_MIGRATE, int16],
  //                xfrm_userpolicy_id, xfrma_policy] {
  //                  len: len = 0x1d0 (4 bytes)
  //                  type: const = 0x21 (2 bytes)
  //                  flags: netlink_msg_flags = 0x1 (2 bytes)
  //                  seq: int32 = 0x0 (4 bytes)
  //                  pid: int32 = 0x4 (4 bytes)
  //                  payload: xfrm_userpolicy_id {
  //                    sel: xfrm_selector {
  //                      daddr: union xfrm_address_t {
  //                        in6: union ipv6_addr {
  //                          mcast1: ipv6_addr_multicast1 {
  //                            a0: const = 0xff (1 bytes)
  //                            a1: const = 0x1 (1 bytes)
  //                            a2: buffer: {00 00 00 00 00 00 00 00 00 00 00 00
  //                            00} (length 0xd) a3: const = 0x1 (1 bytes)
  //                          }
  //                        }
  //                      }
  //                      saddr: union xfrm_address_t {
  //                        in6: union ipv6_addr {
  //                          private2: ipv6_addr_private[2] {
  //                            a0: const = 0xfc (1 bytes)
  //                            a1: const = 0x2 (1 bytes)
  //                            a2: buffer: {00 00 00 00 00 00 00 00 00 00 00 00
  //                            00} (length 0xd) a3: int8 = 0x0 (1 bytes)
  //                          }
  //                        }
  //                      }
  //                      dport: int16be = 0x0 (2 bytes)
  //                      dport_mask: int16be = 0x0 (2 bytes)
  //                      sport: int16be = 0x0 (2 bytes)
  //                      sport_mask: int16be = 0x0 (2 bytes)
  //                      family: xfrm_family = 0xa (2 bytes)
  //                      prefixlen_d: xfrm_prefixlens = 0x0 (1 bytes)
  //                      prefixlen_s: xfrm_prefixlens = 0x0 (1 bytes)
  //                      proto: ipv6_types = 0x0 (1 bytes)
  //                      pad = 0x0 (3 bytes)
  //                      ifindex: ifindex (resource)
  //                      user: uid (resource)
  //                    }
  //                    index: int32 = 0x0 (4 bytes)
  //                    dir: xfrm_policy_dir = 0x0 (1 bytes)
  //                    pad = 0x0 (3 bytes)
  //                  }
  //                  attrs: array[xfrma_policy] {
  //                    union xfrma_policy {
  //                      migrate: nlattr_t[const[XFRMA_MIGRATE, int16],
  //                      array[xfrm_user_migrate, 1:XFRM_MAX_DEPTH]] {
  //                        nla_len: offsetof = 0x180 (2 bytes)
  //                        nla_type: const = 0x11 (2 bytes)
  //                        payload: array[xfrm_user_migrate] {
  //                          xfrm_user_migrate {
  //                            old_daddr: union xfrm_address_t {
  //                              in6: union ipv6_addr {
  //                                remote: ipv6_addr_t[const[0xbb, int8]] {
  //                                  a0: const = 0xfe (1 bytes)
  //                                  a1: const = 0x80 (1 bytes)
  //                                  a2: buffer: {00 00 00 00 00 00 00 00 00 00
  //                                  00 00 00} (length 0xd) a3: const = 0xbb (1
  //                                  bytes)
  //                                }
  //                              }
  //                            }
  //                            old_saddr: union xfrm_address_t {
  //                              in: union ipv4_addr {
  //                                initdev: ipv4_addr_initdev {
  //                                  a0: const = 0xac (1 bytes)
  //                                  a1: const = 0x1e (1 bytes)
  //                                  a2: int8 = 0x0 (1 bytes)
  //                                  a3: proc = 0x0 (1 bytes)
  //                                }
  //                              }
  //                            }
  //                            new_daddr: union xfrm_address_t {
  //                              in6: union ipv6_addr {
  //                                rand_addr: buffer: {20 01 00 00 00 00 00 00
  //                                00 00 00 00 00 00 00 00} (length 0x10)
  //                              }
  //                            }
  //                            new_saddr: union xfrm_address_t {
  //                              in6: union ipv6_addr {
  //                                initdev: ipv6_addr_initdev {
  //                                  a0: const = 0xfe (1 bytes)
  //                                  a1: const = 0x88 (1 bytes)
  //                                  a2: buffer: {00 00 00 00 00 00 00 00 00 00
  //                                  00 00} (length 0xc) a3: int8 = 0x1 (1
  //                                  bytes) a4: proc = 0x0 (1 bytes)
  //                                }
  //                              }
  //                            }
  //                            proto: xfrm_proto = 0x2b (1 bytes)
  //                            mode: xfrm_mode = 0x2 (1 bytes)
  //                            reserved: const = 0x0 (2 bytes)
  //                            reqid: int32 = 0x3501 (4 bytes)
  //                            old_family: xfrm_family = 0x2 (2 bytes)
  //                            new_family: xfrm_family = 0x2 (2 bytes)
  //                          }
  //                          xfrm_user_migrate {
  //                            old_daddr: union xfrm_address_t {
  //                              in: union ipv4_addr {
  //                                multicast1: const = 0xe0000001 (4 bytes)
  //                              }
  //                            }
  //                            old_saddr: union xfrm_address_t {
  //                              in: union ipv4_addr {
  //                                local: ipv4_addr_t[const[170, int8]] {
  //                                  a0: const = 0xac (1 bytes)
  //                                  a1: const = 0x14 (1 bytes)
  //                                  a2: const = 0x14 (1 bytes)
  //                                  a3: const = 0xaa (1 bytes)
  //                                }
  //                              }
  //                            }
  //                            new_daddr: union xfrm_address_t {
  //                              in6: union ipv6_addr {
  //                                private2: ipv6_addr_private[2] {
  //                                  a0: const = 0xfc (1 bytes)
  //                                  a1: const = 0x2 (1 bytes)
  //                                  a2: buffer: {00 00 00 00 00 00 00 00 00 00
  //                                  00 00 00} (length 0xd) a3: int8 = 0x0 (1
  //                                  bytes)
  //                                }
  //                              }
  //                            }
  //                            new_saddr: union xfrm_address_t {
  //                              in6: union ipv6_addr {
  //                                initdev: ipv6_addr_initdev {
  //                                  a0: const = 0xfe (1 bytes)
  //                                  a1: const = 0x88 (1 bytes)
  //                                  a2: buffer: {00 00 00 00 00 00 00 00 00 00
  //                                  00 00} (length 0xc) a3: int8 = 0x0 (1
  //                                  bytes) a4: proc = 0x0 (1 bytes)
  //                                }
  //                              }
  //                            }
  //                            proto: xfrm_proto = 0x33 (1 bytes)
  //                            mode: xfrm_mode = 0x4 (1 bytes)
  //                            reserved: const = 0x0 (2 bytes)
  //                            reqid: int32 = 0x34ff (4 bytes)
  //                            old_family: xfrm_family = 0x2 (2 bytes)
  //                            new_family: xfrm_family = 0x2 (2 bytes)
  //                          }
  //                          xfrm_user_migrate {
  //                            old_daddr: union xfrm_address_t {
  //                              in6: union ipv6_addr {
  //                                private1: ipv6_addr_private[1] {
  //                                  a0: const = 0xfc (1 bytes)
  //                                  a1: const = 0x1 (1 bytes)
  //                                  a2: buffer: {00 00 00 00 00 00 00 00 00 00
  //                                  00 00 00} (length 0xd) a3: int8 = 0x1 (1
  //                                  bytes)
  //                                }
  //                              }
  //                            }
  //                            old_saddr: union xfrm_address_t {
  //                              in6: union ipv6_addr {
  //                                dev: ipv6_addr_t[netdev_addr_id] {
  //                                  a0: const = 0xfe (1 bytes)
  //                                  a1: const = 0x80 (1 bytes)
  //                                  a2: buffer: {00 00 00 00 00 00 00 00 00 00
  //                                  00 00 00} (length 0xd) a3: int8 = 0x35 (1
  //                                  bytes)
  //                                }
  //                              }
  //                            }
  //                            new_daddr: union xfrm_address_t {
  //                              in: union ipv4_addr {
  //                                local: ipv4_addr_t[const[170, int8]] {
  //                                  a0: const = 0xac (1 bytes)
  //                                  a1: const = 0x14 (1 bytes)
  //                                  a2: const = 0x14 (1 bytes)
  //                                  a3: const = 0xaa (1 bytes)
  //                                }
  //                              }
  //                            }
  //                            new_saddr: union xfrm_address_t {
  //                              in6: union ipv6_addr {
  //                                private2: ipv6_addr_private[2] {
  //                                  a0: const = 0xfc (1 bytes)
  //                                  a1: const = 0x2 (1 bytes)
  //                                  a2: buffer: {00 00 00 00 00 00 00 00 00 00
  //                                  00 00 00} (length 0xd) a3: int8 = 0x1 (1
  //                                  bytes)
  //                                }
  //                              }
  //                            }
  //                            proto: xfrm_proto = 0x3c (1 bytes)
  //                            mode: xfrm_mode = 0x0 (1 bytes)
  //                            reserved: const = 0x0 (2 bytes)
  //                            reqid: int32 = 0x0 (4 bytes)
  //                            old_family: xfrm_family = 0xa (2 bytes)
  //                            new_family: xfrm_family = 0x8 (2 bytes)
  //                          }
  //                          xfrm_user_migrate {
  //                            old_daddr: union xfrm_address_t {
  //                              in: union ipv4_addr {
  //                                private: int32be = 0xa010102 (4 bytes)
  //                              }
  //                            }
  //                            old_saddr: union xfrm_address_t {
  //                              in6: union ipv6_addr {
  //                                empty: ipv6_addr_empty {
  //                                  a0: buffer: {00 00 00 00 00 00 00 00 00 00
  //                                  00 00 00 00 00 00} (length 0x10)
  //                                }
  //                              }
  //                            }
  //                            new_daddr: union xfrm_address_t {
  //                              in: union ipv4_addr {
  //                                local: ipv4_addr_t[const[170, int8]] {
  //                                  a0: const = 0xac (1 bytes)
  //                                  a1: const = 0x14 (1 bytes)
  //                                  a2: const = 0x14 (1 bytes)
  //                                  a3: const = 0xaa (1 bytes)
  //                                }
  //                              }
  //                            }
  //                            new_saddr: union xfrm_address_t {
  //                              in6: union ipv6_addr {
  //                                dev: ipv6_addr_t[netdev_addr_id] {
  //                                  a0: const = 0xfe (1 bytes)
  //                                  a1: const = 0x80 (1 bytes)
  //                                  a2: buffer: {00 00 00 00 00 00 00 00 00 00
  //                                  00 00 00} (length 0xd) a3: int8 = 0x3f (1
  //                                  bytes)
  //                                }
  //                              }
  //                            }
  //                            proto: xfrm_proto = 0x3c (1 bytes)
  //                            mode: xfrm_mode = 0x0 (1 bytes)
  //                            reserved: const = 0x0 (2 bytes)
  //                            reqid: int32 = 0x3505 (4 bytes)
  //                            old_family: xfrm_family = 0x2 (2 bytes)
  //                            new_family: xfrm_family = 0xa (2 bytes)
  //                          }
  //                          xfrm_user_migrate {
  //                            old_daddr: union xfrm_address_t {
  //                              in: union ipv4_addr {
  //                                loopback: const = 0x7f000001 (4 bytes)
  //                              }
  //                            }
  //                            old_saddr: union xfrm_address_t {
  //                              in6: union ipv6_addr {
  //                                remote: ipv6_addr_t[const[0xbb, int8]] {
  //                                  a0: const = 0xfe (1 bytes)
  //                                  a1: const = 0x80 (1 bytes)
  //                                  a2: buffer: {00 00 00 00 00 00 00 00 00 00
  //                                  00 00 00} (length 0xd) a3: const = 0xbb (1
  //                                  bytes)
  //                                }
  //                              }
  //                            }
  //                            new_daddr: union xfrm_address_t {
  //                              in6: union ipv6_addr {
  //                                private1: ipv6_addr_private[1] {
  //                                  a0: const = 0xfc (1 bytes)
  //                                  a1: const = 0x1 (1 bytes)
  //                                  a2: buffer: {00 00 00 00 00 00 00 00 00 00
  //                                  00 00 00} (length 0xd) a3: int8 = 0x1 (1
  //                                  bytes)
  //                                }
  //                              }
  //                            }
  //                            new_saddr: union xfrm_address_t {
  //                              in6: union ipv6_addr {
  //                                private0: ipv6_addr_private[0] {
  //                                  a0: const = 0xfc (1 bytes)
  //                                  a1: const = 0x0 (1 bytes)
  //                                  a2: buffer: {00 00 00 00 00 00 00 00 00 00
  //                                  00 00 00} (length 0xd) a3: int8 = 0x1 (1
  //                                  bytes)
  //                                }
  //                              }
  //                            }
  //                            proto: xfrm_proto = 0x33 (1 bytes)
  //                            mode: xfrm_mode = 0x4 (1 bytes)
  //                            reserved: const = 0x0 (2 bytes)
  //                            reqid: int32 = 0x3503 (4 bytes)
  //                            old_family: xfrm_family = 0xa (2 bytes)
  //                            new_family: xfrm_family = 0x2 (2 bytes)
  //                          }
  //                        }
  //                        size: buffer: {} (length 0x0)
  //                      }
  //                    }
  //                  }
  //                }
  //              }
  //            }
  //            len: len = 0x1d0 (8 bytes)
  //          }
  //        }
  //        vlen: const = 0x1 (8 bytes)
  //        ctrl: const = 0x0 (8 bytes)
  //        ctrllen: const = 0x0 (8 bytes)
  //        f: send_flags = 0x0 (4 bytes)
  //        pad = 0x0 (4 bytes)
  //      }
  //    }
  //    f: send_flags = 0x0 (8 bytes)
  //  ]
  *(uint64_t*)0x200000000380 = 0;
  *(uint32_t*)0x200000000388 = 0;
  *(uint64_t*)0x200000000390 = 0x200000000340;
  *(uint64_t*)0x200000000340 = 0x2000000005c0;
  *(uint32_t*)0x2000000005c0 = 0x1d0;
  *(uint16_t*)0x2000000005c4 = 0x21;
  *(uint16_t*)0x2000000005c6 = 1;
  *(uint32_t*)0x2000000005c8 = 0;
  *(uint32_t*)0x2000000005cc = 4;
  *(uint8_t*)0x2000000005d0 = -1;
  *(uint8_t*)0x2000000005d1 = 1;
  memset((void*)0x2000000005d2, 0, 13);
  *(uint8_t*)0x2000000005df = 1;
  *(uint8_t*)0x2000000005e0 = 0xfc;
  *(uint8_t*)0x2000000005e1 = 2;
  memset((void*)0x2000000005e2, 0, 13);
  *(uint8_t*)0x2000000005ef = 0;
  *(uint16_t*)0x2000000005f0 = htobe16(0);
  *(uint16_t*)0x2000000005f2 = htobe16(0);
  *(uint16_t*)0x2000000005f4 = htobe16(0);
  *(uint16_t*)0x2000000005f6 = htobe16(0);
  *(uint16_t*)0x2000000005f8 = 0xa;
  *(uint8_t*)0x2000000005fa = 0;
  *(uint8_t*)0x2000000005fb = 0;
  *(uint8_t*)0x2000000005fc = 0;
  *(uint32_t*)0x200000000600 = 0;
  *(uint32_t*)0x200000000604 = 0;
  *(uint32_t*)0x200000000608 = 0;
  *(uint8_t*)0x20000000060c = 0;
  *(uint16_t*)0x200000000610 = 0x180;
  *(uint16_t*)0x200000000612 = 0x11;
  *(uint8_t*)0x200000000614 = 0xfe;
  *(uint8_t*)0x200000000615 = 0x80;
  memset((void*)0x200000000616, 0, 13);
  *(uint8_t*)0x200000000623 = 0xbb;
  *(uint8_t*)0x200000000624 = 0xac;
  *(uint8_t*)0x200000000625 = 0x1e;
  *(uint8_t*)0x200000000626 = 0;
  *(uint8_t*)0x200000000627 = 1;
  memcpy((void*)0x200000000634,
         " \001\000\000\000\000\000\000\000\000\000\000\000\000\000\000", 16);
  *(uint8_t*)0x200000000644 = 0xfe;
  *(uint8_t*)0x200000000645 = 0x88;
  memset((void*)0x200000000646, 0, 12);
  *(uint8_t*)0x200000000652 = 1;
  *(uint8_t*)0x200000000653 = 1;
  *(uint8_t*)0x200000000654 = 0x2b;
  *(uint8_t*)0x200000000655 = 2;
  *(uint16_t*)0x200000000656 = 0;
  *(uint32_t*)0x200000000658 = 0x3501;
  *(uint16_t*)0x20000000065c = 2;
  *(uint16_t*)0x20000000065e = 2;
  *(uint32_t*)0x200000000660 = htobe32(0xe0000001);
  *(uint8_t*)0x200000000670 = 0xac;
  *(uint8_t*)0x200000000671 = 0x14;
  *(uint8_t*)0x200000000672 = 0x14;
  *(uint8_t*)0x200000000673 = 0xaa;
  *(uint8_t*)0x200000000680 = 0xfc;
  *(uint8_t*)0x200000000681 = 2;
  memset((void*)0x200000000682, 0, 13);
  *(uint8_t*)0x20000000068f = 0;
  *(uint8_t*)0x200000000690 = 0xfe;
  *(uint8_t*)0x200000000691 = 0x88;
  memset((void*)0x200000000692, 0, 12);
  *(uint8_t*)0x20000000069e = 0;
  *(uint8_t*)0x20000000069f = 1;
  *(uint8_t*)0x2000000006a0 = 0x33;
  *(uint8_t*)0x2000000006a1 = 4;
  *(uint16_t*)0x2000000006a2 = 0;
  *(uint32_t*)0x2000000006a4 = 0x34ff;
  *(uint16_t*)0x2000000006a8 = 2;
  *(uint16_t*)0x2000000006aa = 2;
  *(uint8_t*)0x2000000006ac = 0xfc;
  *(uint8_t*)0x2000000006ad = 1;
  memset((void*)0x2000000006ae, 0, 13);
  *(uint8_t*)0x2000000006bb = 1;
  *(uint8_t*)0x2000000006bc = 0xfe;
  *(uint8_t*)0x2000000006bd = 0x80;
  memset((void*)0x2000000006be, 0, 13);
  *(uint8_t*)0x2000000006cb = 0x35;
  *(uint8_t*)0x2000000006cc = 0xac;
  *(uint8_t*)0x2000000006cd = 0x14;
  *(uint8_t*)0x2000000006ce = 0x14;
  *(uint8_t*)0x2000000006cf = 0xaa;
  *(uint8_t*)0x2000000006dc = 0xfc;
  *(uint8_t*)0x2000000006dd = 2;
  memset((void*)0x2000000006de, 0, 13);
  *(uint8_t*)0x2000000006eb = 1;
  *(uint8_t*)0x2000000006ec = 0x3c;
  *(uint8_t*)0x2000000006ed = 0;
  *(uint16_t*)0x2000000006ee = 0;
  *(uint32_t*)0x2000000006f0 = 0;
  *(uint16_t*)0x2000000006f4 = 0xa;
  *(uint16_t*)0x2000000006f6 = 8;
  *(uint32_t*)0x2000000006f8 = htobe32(0xa010102);
  memset((void*)0x200000000708, 0, 16);
  *(uint8_t*)0x200000000718 = 0xac;
  *(uint8_t*)0x200000000719 = 0x14;
  *(uint8_t*)0x20000000071a = 0x14;
  *(uint8_t*)0x20000000071b = 0xaa;
  *(uint8_t*)0x200000000728 = 0xfe;
  *(uint8_t*)0x200000000729 = 0x80;
  memset((void*)0x20000000072a, 0, 13);
  *(uint8_t*)0x200000000737 = 0x3f;
  *(uint8_t*)0x200000000738 = 0x3c;
  *(uint8_t*)0x200000000739 = 0;
  *(uint16_t*)0x20000000073a = 0;
  *(uint32_t*)0x20000000073c = 0x3505;
  *(uint16_t*)0x200000000740 = 2;
  *(uint16_t*)0x200000000742 = 0xa;
  *(uint32_t*)0x200000000744 = htobe32(0x7f000001);
  *(uint8_t*)0x200000000754 = 0xfe;
  *(uint8_t*)0x200000000755 = 0x80;
  memset((void*)0x200000000756, 0, 13);
  *(uint8_t*)0x200000000763 = 0xbb;
  *(uint8_t*)0x200000000764 = 0xfc;
  *(uint8_t*)0x200000000765 = 1;
  memset((void*)0x200000000766, 0, 13);
  *(uint8_t*)0x200000000773 = 1;
  *(uint8_t*)0x200000000774 = 0xfc;
  *(uint8_t*)0x200000000775 = 0;
  memset((void*)0x200000000776, 0, 13);
  *(uint8_t*)0x200000000783 = 1;
  *(uint8_t*)0x200000000784 = 0x33;
  *(uint8_t*)0x200000000785 = 4;
  *(uint16_t*)0x200000000786 = 0;
  *(uint32_t*)0x200000000788 = 0x3503;
  *(uint16_t*)0x20000000078c = 0xa;
  *(uint16_t*)0x20000000078e = 2;
  *(uint64_t*)0x200000000348 = 0x1d0;
  *(uint64_t*)0x200000000398 = 1;
  *(uint64_t*)0x2000000003a0 = 0;
  *(uint64_t*)0x2000000003a8 = 0;
  *(uint32_t*)0x2000000003b0 = 0;
  syscall(__NR_sendmsg, /*fd=*/r[1], /*msg=*/0x200000000380ul, /*f=*/0ul);
}
int main(void)
{
  syscall(__NR_mmap, /*addr=*/0x1ffffffff000ul, /*len=*/0x1000ul, /*prot=*/0ul,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul,
          /*fd=*/(intptr_t)-1, /*offset=*/0ul);
  syscall(__NR_mmap, /*addr=*/0x200000000000ul, /*len=*/0x1000000ul,
          /*prot=PROT_WRITE|PROT_READ|PROT_EXEC*/ 7ul,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul,
          /*fd=*/(intptr_t)-1, /*offset=*/0ul);
  syscall(__NR_mmap, /*addr=*/0x200001000000ul, /*len=*/0x1000ul, /*prot=*/0ul,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul,
          /*fd=*/(intptr_t)-1, /*offset=*/0ul);
  const char* reason;
  (void)reason;
  if ((reason = setup_leak()))
    printf("the reproducer may not work as expected: leak checking setup "
           "failed: %s\n",
           reason);
  loop();
  return 0;
}