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

#define _GNU_SOURCE

#include <endian.h>
#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <sys/syscall.h>
#include <sys/types.h>
#include <unistd.h>

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

int main(void)
{
  syscall(__NR_mmap, /*addr=*/0x1ffffffff000ul, /*len=*/0x1000ul, /*prot=*/0ul,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul,
          /*fd=*/(intptr_t)-1, /*offset=*/0ul);
  syscall(__NR_mmap, /*addr=*/0x200000000000ul, /*len=*/0x1000000ul,
          /*prot=PROT_WRITE|PROT_READ|PROT_EXEC*/ 7ul,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul,
          /*fd=*/(intptr_t)-1, /*offset=*/0ul);
  syscall(__NR_mmap, /*addr=*/0x200001000000ul, /*len=*/0x1000ul, /*prot=*/0ul,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul,
          /*fd=*/(intptr_t)-1, /*offset=*/0ul);
  const char* reason;
  (void)reason;
  intptr_t res = 0;
  if (write(1, "executing program\n", sizeof("executing program\n") - 1)) {
  }
  //  socket$inet6 arguments: [
  //    domain: const = 0xa (8 bytes)
  //    type: socket_type = 0x2 (8 bytes)
  //    proto: int32 = 0x0 (4 bytes)
  //  ]
  //  returns sock_in6
  res = syscall(__NR_socket, /*domain=*/0xaul, /*type=SOCK_DGRAM*/ 2ul,
                /*proto=*/0);
  if (res != -1)
    r[0] = res;
  //  setsockopt$inet6_IPV6_XFRM_POLICY arguments: [
  //    fd: sock_in6 (resource)
  //    level: const = 0x29 (4 bytes)
  //    optname: const = 0x23 (4 bytes)
  //    optval: ptr[in, xfrm_filter] {
  //      xfrm_filter {
  //        info: xfrm_userpolicy_info {
  //          sel: xfrm_selector {
  //            daddr: union xfrm_address_t {
  //              in: union ipv4_addr {
  //                remote: ipv4_addr_t[const[187, int8]] {
  //                  a0: const = 0xac (1 bytes)
  //                  a1: const = 0x14 (1 bytes)
  //                  a2: const = 0x14 (1 bytes)
  //                  a3: const = 0xbb (1 bytes)
  //                }
  //              }
  //            }
  //            saddr: union xfrm_address_t {
  //              in: union ipv4_addr {
  //                broadcast: const = 0xffffffff (4 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 = 0x0 (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 = 0x0 (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 = 0x0 (8 bytes)
  //            add_time: int64 = 0x0 (8 bytes)
  //            use_time: int64 = 0x0 (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)
  //        }
  //        tmpl: xfrm_user_tmpl {
  //          id: xfrm_id {
  //            daddr: union xfrm_address_t {
  //              in6: union ipv6_addr {
  //                mcast2: ipv6_addr_multicast2 {
  //                  a0: const = 0xff (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: const = 0x1 (1 bytes)
  //                }
  //              }
  //            }
  //            spi: int32be = 0x0 (4 bytes)
  //            proto: xfrm_proto = 0x2b (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 {
  //              empty: const = 0x0 (4 bytes)
  //            }
  //          }
  //          reqid: int32 = 0x0 (4 bytes)
  //          mode: xfrm_mode = 0x0 (1 bytes)
  //          share: xfrm_policy_shares = 0x0 (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)
  //        }
  //      }
  //    }
  //    optlen: len = 0xe8 (8 bytes)
  //  ]
  *(uint8_t*)0x2000000004c0 = 0xac;
  *(uint8_t*)0x2000000004c1 = 0x14;
  *(uint8_t*)0x2000000004c2 = 0x14;
  *(uint8_t*)0x2000000004c3 = 0xbb;
  *(uint32_t*)0x2000000004d0 = htobe32(-1);
  *(uint16_t*)0x2000000004e0 = htobe16(0);
  *(uint16_t*)0x2000000004e2 = htobe16(0);
  *(uint16_t*)0x2000000004e4 = htobe16(0);
  *(uint16_t*)0x2000000004e6 = htobe16(0);
  *(uint16_t*)0x2000000004e8 = 0xa;
  *(uint8_t*)0x2000000004ea = 0;
  *(uint8_t*)0x2000000004eb = 0;
  *(uint8_t*)0x2000000004ec = 0;
  *(uint32_t*)0x2000000004f0 = 0;
  *(uint32_t*)0x2000000004f4 = 0;
  *(uint64_t*)0x2000000004f8 = 0;
  *(uint64_t*)0x200000000500 = 0;
  *(uint64_t*)0x200000000508 = 0;
  *(uint64_t*)0x200000000510 = 0;
  *(uint64_t*)0x200000000518 = 0;
  *(uint64_t*)0x200000000520 = 0;
  *(uint64_t*)0x200000000528 = 0;
  *(uint64_t*)0x200000000530 = 0;
  *(uint64_t*)0x200000000538 = 0;
  *(uint64_t*)0x200000000540 = 0;
  *(uint64_t*)0x200000000548 = 0;
  *(uint64_t*)0x200000000550 = 0;
  *(uint32_t*)0x200000000558 = 0;
  *(uint32_t*)0x20000000055c = 0;
  *(uint8_t*)0x200000000560 = 0;
  *(uint8_t*)0x200000000561 = 0;
  *(uint8_t*)0x200000000562 = 0;
  *(uint8_t*)0x200000000563 = 0;
  *(uint8_t*)0x200000000568 = -1;
  *(uint8_t*)0x200000000569 = 2;
  memset((void*)0x20000000056a, 0, 13);
  *(uint8_t*)0x200000000577 = 1;
  *(uint32_t*)0x200000000578 = htobe32(0);
  *(uint8_t*)0x20000000057c = 0x2b;
  *(uint16_t*)0x200000000580 = 0;
  *(uint32_t*)0x200000000584 = htobe32(0);
  *(uint32_t*)0x200000000594 = 0;
  *(uint8_t*)0x200000000598 = 0;
  *(uint8_t*)0x200000000599 = 0;
  *(uint8_t*)0x20000000059a = 0;
  *(uint32_t*)0x20000000059c = 0;
  *(uint32_t*)0x2000000005a0 = 0;
  *(uint32_t*)0x2000000005a4 = 0;
  syscall(__NR_setsockopt, /*fd=*/r[0], /*level=*/0x29, /*optname=*/0x23,
          /*optval=*/0x2000000004c0ul, /*optlen=*/0xe8ul);
  //  socket$key arguments: [
  //    domain: const = 0xf (8 bytes)
  //    type: const = 0x3 (8 bytes)
  //    proto: const = 0x2 (4 bytes)
  //  ]
  //  returns sock_key
  res = syscall(__NR_socket, /*domain=*/0xful, /*type=*/3ul, /*proto=*/2);
  if (res != -1)
    r[1] = res;
  //  setsockopt$sock_int arguments: [
  //    fd: sock (resource)
  //    level: const = 0x1 (4 bytes)
  //    optname: sockopt_opt_sock_int = 0x8 (4 bytes)
  //    optval: ptr[in, int32] {
  //      int32 = 0x0 (4 bytes)
  //    }
  //    optlen: len = 0x4 (8 bytes)
  //  ]
  *(uint32_t*)0x2000000001c0 = 0;
  syscall(__NR_setsockopt, /*fd=*/r[1], /*level=*/1, /*optname=SO_RCVBUF*/ 8,
          /*optval=*/0x2000000001c0ul, /*optlen=*/4ul);
  //  sendmsg$key arguments: [
  //    fd: sock_key (resource)
  //    msg: ptr[in, send_msghdr_key] {
  //      send_msghdr_key {
  //        msg_name: const = 0x0 (8 bytes)
  //        msg_namelen: const = 0x0 (4 bytes)
  //        pad = 0x0 (4 bytes)
  //        msg_iov: ptr[in, iovec_sadb_msg] {
  //          iovec_sadb_msg {
  //            addr: ptr[inout, array[ANYUNION]] {
  //              array[ANYUNION] {
  //                union ANYUNION {
  //                  ANYBLOB: buffer: {02 0b 00 01 02} (length 0x5)
  //                }
  //              }
  //            }
  //            len: bytesize = 0x10 (8 bytes)
  //          }
  //        }
  //        msg_iovlen: const = 0x1 (8 bytes)
  //        msg_control: const = 0x0 (8 bytes)
  //        msg_controllen: const = 0x0 (8 bytes)
  //        msg_flags: const = 0x0 (4 bytes)
  //        pad = 0x0 (4 bytes)
  //      }
  //    }
  //    f: send_flags = 0x0 (8 bytes)
  //  ]
  *(uint64_t*)0x200000000180 = 0;
  *(uint32_t*)0x200000000188 = 0;
  *(uint64_t*)0x200000000190 = 0x200000000000;
  *(uint64_t*)0x200000000000 = 0x2000000005c0;
  memcpy((void*)0x2000000005c0, "\x02\x0b\x00\x01\x02", 5);
  *(uint64_t*)0x200000000008 = 0x10;
  *(uint64_t*)0x200000000198 = 1;
  *(uint64_t*)0x2000000001a0 = 0;
  *(uint64_t*)0x2000000001a8 = 0;
  *(uint32_t*)0x2000000001b0 = 0;
  syscall(__NR_sendmsg, /*fd=*/r[1], /*msg=*/0x200000000180ul, /*f=*/0ul);
  //  sendmsg$key arguments: [
  //    fd: sock_key (resource)
  //    msg: ptr[in, send_msghdr_key] {
  //      send_msghdr_key {
  //        msg_name: const = 0x0 (8 bytes)
  //        msg_namelen: const = 0x0 (4 bytes)
  //        pad = 0x0 (4 bytes)
  //        msg_iov: ptr[in, iovec_sadb_msg] {
  //          iovec_sadb_msg {
  //            addr: ptr[inout, array[ANYUNION]] {
  //              array[ANYUNION] {
  //                union ANYUNION {
  //                  ANYBLOB: buffer: {02 12 00 00 02} (length 0x5)
  //                }
  //              }
  //            }
  //            len: bytesize = 0x10 (8 bytes)
  //          }
  //        }
  //        msg_iovlen: const = 0x1 (8 bytes)
  //        msg_control: const = 0x0 (8 bytes)
  //        msg_controllen: const = 0x0 (8 bytes)
  //        msg_flags: const = 0x0 (4 bytes)
  //        pad = 0x0 (4 bytes)
  //      }
  //    }
  //    f: send_flags = 0x0 (8 bytes)
  //  ]
  *(uint64_t*)0x200000000200 = 0;
  *(uint32_t*)0x200000000208 = 0;
  *(uint64_t*)0x200000000210 = 0x200000000380;
  *(uint64_t*)0x200000000380 = 0x200000000240;
  memcpy((void*)0x200000000240, "\x02\x12\x00\x00\x02", 5);
  *(uint64_t*)0x200000000388 = 0x10;
  *(uint64_t*)0x200000000218 = 1;
  *(uint64_t*)0x200000000220 = 0;
  *(uint64_t*)0x200000000228 = 0;
  *(uint32_t*)0x200000000230 = 0;
  syscall(__NR_sendmsg, /*fd=*/r[1], /*msg=*/0x200000000200ul, /*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[2] = res;
  //  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[3] = 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[inout, array[ANYUNION]] {
  //              array[ANYUNION] {
  //                union ANYUNION {
  //                  ANYBLOB: buffer: {b8 00 00 00 13 00 e9 99 00 00 00 00 00
  //                  00 00 00 fc 00 00 00 00 00 00 00 01 00 00 00 00 00 00 00
  //                  ac 1e 00 01 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  //                  00 00 00 00 00 0a 00 60} (length 0x3b)
  //                }
  //              }
  //            }
  //            len: len = 0xb8 (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*)0x200000000580 = 0;
  *(uint32_t*)0x200000000588 = 0;
  *(uint64_t*)0x200000000590 = 0x200000000180;
  *(uint64_t*)0x200000000180 = 0x200000000000;
  memcpy((void*)0x200000000000,
         "\xb8\x00\x00\x00\x13\x00\xe9\x99\x00\x00\x00\x00\x00\x00\x00\x00\xfc"
         "\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\xac\x1e"
         "\x00\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x00\x0a\x00\x60",
         59);
  *(uint64_t*)0x200000000188 = 0xb8;
  *(uint64_t*)0x200000000598 = 1;
  *(uint64_t*)0x2000000005a0 = 0;
  *(uint64_t*)0x2000000005a8 = 0;
  *(uint32_t*)0x2000000005b0 = 0;
  syscall(__NR_sendmsg, /*fd=*/r[3], /*msg=*/0x200000000580ul, /*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[4] = 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 = 0xb8 (4 bytes)
  //                  type: const = 0x13 (2 bytes)
  //                  flags: netlink_msg_flags = 0xcb23c9c9931e99e9 (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 {
  //                          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 = 0x0 (1 bytes)
  //                          }
  //                        }
  //                      }
  //                      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)
  //                          }
  //                        }
  //                      }
  //                      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 = 0x60 (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 = 0x0 (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 = 0x0 (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 = 0x0 (8 bytes)
  //                      add_time: int64 = 0x0 (8 bytes)
  //                      use_time: int64 = 0x0 (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] {
  //                  }
  //                }
  //              }
  //            }
  //            len: len = 0xb8 (8 bytes)
  //          }
  //        }
  //        vlen: const = 0x1 (8 bytes)
  //        ctrl: const = 0x0 (8 bytes)
  //        ctrllen: const = 0x0 (8 bytes)
  //        f: send_flags = 0x80 (4 bytes)
  //        pad = 0x0 (4 bytes)
  //      }
  //    }
  //    f: send_flags = 0x0 (8 bytes)
  //  ]
  *(uint64_t*)0x200000000580 = 0;
  *(uint32_t*)0x200000000588 = 0;
  *(uint64_t*)0x200000000590 = 0x200000000180;
  *(uint64_t*)0x200000000180 = 0x200000000000;
  *(uint32_t*)0x200000000000 = 0xb8;
  *(uint16_t*)0x200000000004 = 0x13;
  *(uint16_t*)0x200000000006 = 0x99e9;
  *(uint32_t*)0x200000000008 = 0;
  *(uint32_t*)0x20000000000c = 0;
  *(uint8_t*)0x200000000010 = 0xfc;
  *(uint8_t*)0x200000000011 = 0;
  memset((void*)0x200000000012, 0, 13);
  *(uint8_t*)0x20000000001f = 0;
  *(uint8_t*)0x200000000020 = 0xac;
  *(uint8_t*)0x200000000021 = 0x1e;
  *(uint8_t*)0x200000000022 = 0;
  *(uint8_t*)0x200000000023 = 1;
  *(uint16_t*)0x200000000030 = htobe16(0);
  *(uint16_t*)0x200000000032 = htobe16(0);
  *(uint16_t*)0x200000000034 = htobe16(0);
  *(uint16_t*)0x200000000036 = htobe16(0);
  *(uint16_t*)0x200000000038 = 0xa;
  *(uint8_t*)0x20000000003a = 0x60;
  *(uint8_t*)0x20000000003b = 0;
  *(uint8_t*)0x20000000003c = 0;
  *(uint32_t*)0x200000000040 = 0;
  *(uint32_t*)0x200000000044 = 0xee01;
  *(uint64_t*)0x200000000048 = 0;
  *(uint64_t*)0x200000000050 = 0;
  *(uint64_t*)0x200000000058 = 0;
  *(uint64_t*)0x200000000060 = 0;
  *(uint64_t*)0x200000000068 = 0;
  *(uint64_t*)0x200000000070 = 0;
  *(uint64_t*)0x200000000078 = 0;
  *(uint64_t*)0x200000000080 = 0;
  *(uint64_t*)0x200000000088 = 0;
  *(uint64_t*)0x200000000090 = 0;
  *(uint64_t*)0x200000000098 = 0;
  *(uint64_t*)0x2000000000a0 = 0;
  *(uint32_t*)0x2000000000a8 = 0;
  *(uint32_t*)0x2000000000ac = 0;
  *(uint8_t*)0x2000000000b0 = 0;
  *(uint8_t*)0x2000000000b1 = 0;
  *(uint8_t*)0x2000000000b2 = 0;
  *(uint8_t*)0x2000000000b3 = 0;
  *(uint64_t*)0x200000000188 = 0xb8;
  *(uint64_t*)0x200000000598 = 1;
  *(uint64_t*)0x2000000005a0 = 0;
  *(uint64_t*)0x2000000005a8 = 0;
  *(uint32_t*)0x2000000005b0 = 0x80;
  syscall(__NR_sendmsg, /*fd=*/r[4], /*msg=*/0x200000000580ul, /*f=*/0ul);
  //  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 = 0xb8 (4 bytes)
  //                  type: const = 0x13 (2 bytes)
  //                  flags: netlink_msg_flags = 0xcb23c9c9931e99e9 (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 {
  //                          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 = 0x0 (1 bytes)
  //                          }
  //                        }
  //                      }
  //                      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)
  //                          }
  //                        }
  //                      }
  //                      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 = 0x40 (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 = 0x0 (8 bytes)
  //                      soft_packet_limit: int64 = 0x9 (8 bytes)
  //                      hard_packet_limit: int64 = 0x0 (8 bytes)
  //                      soft_add_expires_seconds: int64 = 0x0 (8 bytes)
  //                      hard_add_expires_seconds: int64 = 0x0 (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 = 0x0 (8 bytes)
  //                      add_time: int64 = 0x0 (8 bytes)
  //                      use_time: int64 = 0x0 (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] {
  //                  }
  //                }
  //              }
  //            }
  //            len: len = 0xb8 (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 = 0x4000 (8 bytes)
  //  ]
  *(uint64_t*)0x200000000580 = 0;
  *(uint32_t*)0x200000000588 = 0;
  *(uint64_t*)0x200000000590 = 0x200000000180;
  *(uint64_t*)0x200000000180 = 0x200000000000;
  *(uint32_t*)0x200000000000 = 0xb8;
  *(uint16_t*)0x200000000004 = 0x13;
  *(uint16_t*)0x200000000006 = 0x99e9;
  *(uint32_t*)0x200000000008 = 0;
  *(uint32_t*)0x20000000000c = 0;
  *(uint8_t*)0x200000000010 = 0xfc;
  *(uint8_t*)0x200000000011 = 0;
  memset((void*)0x200000000012, 0, 13);
  *(uint8_t*)0x20000000001f = 0;
  *(uint8_t*)0x200000000020 = 0xac;
  *(uint8_t*)0x200000000021 = 0x1e;
  *(uint8_t*)0x200000000022 = 0;
  *(uint8_t*)0x200000000023 = 1;
  *(uint16_t*)0x200000000030 = htobe16(0);
  *(uint16_t*)0x200000000032 = htobe16(0);
  *(uint16_t*)0x200000000034 = htobe16(0);
  *(uint16_t*)0x200000000036 = htobe16(0);
  *(uint16_t*)0x200000000038 = 0xa;
  *(uint8_t*)0x20000000003a = 0x40;
  *(uint8_t*)0x20000000003b = 0;
  *(uint8_t*)0x20000000003c = 0;
  *(uint32_t*)0x200000000040 = 0;
  *(uint32_t*)0x200000000044 = 0xee01;
  *(uint64_t*)0x200000000048 = 0;
  *(uint64_t*)0x200000000050 = 0;
  *(uint64_t*)0x200000000058 = 9;
  *(uint64_t*)0x200000000060 = 0;
  *(uint64_t*)0x200000000068 = 0;
  *(uint64_t*)0x200000000070 = 0;
  *(uint64_t*)0x200000000078 = 0;
  *(uint64_t*)0x200000000080 = 0;
  *(uint64_t*)0x200000000088 = 0;
  *(uint64_t*)0x200000000090 = 0;
  *(uint64_t*)0x200000000098 = 0;
  *(uint64_t*)0x2000000000a0 = 0;
  *(uint32_t*)0x2000000000a8 = 0;
  *(uint32_t*)0x2000000000ac = 0;
  *(uint8_t*)0x2000000000b0 = 0;
  *(uint8_t*)0x2000000000b1 = 0;
  *(uint8_t*)0x2000000000b2 = 0;
  *(uint8_t*)0x2000000000b3 = 0;
  *(uint64_t*)0x200000000188 = 0xb8;
  *(uint64_t*)0x200000000598 = 1;
  *(uint64_t*)0x2000000005a0 = 0;
  *(uint64_t*)0x2000000005a8 = 0;
  *(uint32_t*)0x2000000005b0 = 0;
  syscall(__NR_sendmsg, /*fd=*/r[2], /*msg=*/0x200000000580ul,
          /*f=MSG_NOSIGNAL*/ 0x4000ul);
  return 0;
}