// https://syzkaller.appspot.com/bug?id=9f98775afdb4117f7a2b523e98ccdcc8e20dfd06
// 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/mount.h>
#include <sys/syscall.h>
#include <sys/types.h>
#include <unistd.h>

#ifndef __NR_mmap
#define __NR_mmap 192
#endif
#ifndef __NR_sendmsg
#define __NR_sendmsg 370
#endif
#ifndef __NR_socket
#define __NR_socket 359
#endif
#undef __NR_mmap
#define __NR_mmap __NR_mmap2

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

int main(void)
{
  syscall(__NR_mmap, /*addr=*/0x7ffff000, /*len=*/0x1000, /*prot=*/0,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32,
          /*fd=*/(intptr_t)-1, /*offset=*/0);
  syscall(__NR_mmap, /*addr=*/0x80000000, /*len=*/0x1000000,
          /*prot=PROT_WRITE|PROT_READ|PROT_EXEC*/ 7,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32,
          /*fd=*/(intptr_t)-1, /*offset=*/0);
  syscall(__NR_mmap, /*addr=*/0x81000000, /*len=*/0x1000, /*prot=*/0,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32,
          /*fd=*/(intptr_t)-1, /*offset=*/0);
  const char* reason;
  (void)reason;
  intptr_t res = 0;
  if (write(1, "executing program\n", sizeof("executing program\n") - 1)) {
  }
  //  socket$nl_netfilter arguments: [
  //    domain: const = 0x10 (4 bytes)
  //    type: const = 0x3 (4 bytes)
  //    proto: const = 0xc (4 bytes)
  //  ]
  //  returns sock_nl_netfilter
  res = syscall(__NR_socket, /*domain=*/0x10, /*type=*/3, /*proto=*/0xc);
  if (res != -1)
    r[0] = res;
  //  sendmsg$IPCTNL_MSG_CT_NEW arguments: [
  //    fd: sock_nl_netfilter (resource)
  //    msg: ptr[in,
  //    msghdr_netlink[netlink_msg_netfilter_t[NFNL_SUBSYS_CTNETLINK,
  //    IPCTNL_MSG_CT_NEW, ct_nla_policy]]] {
  //      msghdr_netlink[netlink_msg_netfilter_t[NFNL_SUBSYS_CTNETLINK,
  //      IPCTNL_MSG_CT_NEW, ct_nla_policy]] {
  //        addr: nil
  //        addrlen: len = 0x0 (4 bytes)
  //        vec: ptr[in, iovec[in,
  //        netlink_msg_netfilter_t[NFNL_SUBSYS_CTNETLINK, IPCTNL_MSG_CT_NEW,
  //        ct_nla_policy]]] {
  //          iovec[in, netlink_msg_netfilter_t[NFNL_SUBSYS_CTNETLINK,
  //          IPCTNL_MSG_CT_NEW, ct_nla_policy]] {
  //            addr: ptr[inout, array[ANYUNION]] {
  //              array[ANYUNION] {
  //                union ANYUNION {
  //                  ANYBLOB: buffer: {90 00 00 00 00 01 01 06 00 00 00 00 00
  //                  00 00 00 02 00 00 00 34 00 01 80 14 00 01 80 08 00 01 00
  //                  01 02 03 04 08 00 02 00 05 06 07 08 1c 00 02 80 05 00 01
  //                  00 06 00 00 00 06 00 02 00 04 d2 00 00 06 00 03 00 00 15
  //                  00 00 34 00 02 80 14 00 01 80 08 00 01 00 05 06 07 08 08
  //                  00 02 00 01 02 03 04 1c 00 02 80 05 00 01 00 06 00 00 00
  //                  06 00 02 00 00 15 00 00 06 00 03 00 04 d2 00 00 08 00 07
  //                  00 00 00 01 2c 0c 00 05 80 08 00 01 00 66 74 70 00}
  //                  (length 0x90)
  //                }
  //              }
  //            }
  //            len: len = 0x90 (4 bytes)
  //          }
  //        }
  //        vlen: const = 0x1 (4 bytes)
  //        ctrl: const = 0x0 (4 bytes)
  //        ctrllen: const = 0x0 (4 bytes)
  //        f: send_flags = 0x0 (4 bytes)
  //      }
  //    }
  //    f: send_flags = 0x0 (4 bytes)
  //  ]
  *(uint32_t*)0x80000200 = 0;
  *(uint32_t*)0x80000204 = 0;
  *(uint32_t*)0x80000208 = 0x80000000;
  *(uint32_t*)0x80000000 = 0x80000400;
  memcpy((void*)0x80000400,
         "\x90\x00\x00\x00\x00\x01\x01\x06\x00\x00\x00\x00\x00\x00\x00\x00\x02"
         "\x00\x00\x00\x34\x00\x01\x80\x14\x00\x01\x80\x08\x00\x01\x00\x01\x02"
         "\x03\x04\x08\x00\x02\x00\x05\x06\x07\x08\x1c\x00\x02\x80\x05\x00\x01"
         "\x00\x06\x00\x00\x00\x06\x00\x02\x00\x04\xd2\x00\x00\x06\x00\x03\x00"
         "\x00\x15\x00\x00\x34\x00\x02\x80\x14\x00\x01\x80\x08\x00\x01\x00\x05"
         "\x06\x07\x08\x08\x00\x02\x00\x01\x02\x03\x04\x1c\x00\x02\x80\x05\x00"
         "\x01\x00\x06\x00\x00\x00\x06\x00\x02\x00\x00\x15\x00\x00\x06\x00\x03"
         "\x00\x04\xd2\x00\x00\x08\x00\x07\x00\x00\x00\x01\x2c\x0c\x00\x05\x80"
         "\x08\x00\x01\x00\x66\x74\x70\x00",
         144);
  *(uint32_t*)0x80000004 = 0x90;
  *(uint32_t*)0x8000020c = 1;
  *(uint32_t*)0x80000210 = 0;
  *(uint32_t*)0x80000214 = 0;
  *(uint32_t*)0x80000218 = 0;
  syscall(__NR_sendmsg, /*fd=*/(intptr_t)r[0], /*msg=*/0x80000200, /*f=*/0);
  //  sendmsg$IPCTNL_MSG_EXP_NEW arguments: [
  //    fd: sock_nl_netfilter (resource)
  //    msg: ptr[in,
  //    msghdr_netlink[netlink_msg_netfilter_t[NFNL_SUBSYS_CTNETLINK_EXP,
  //    IPCTNL_MSG_EXP_NEW, exp_nla_policy]]] {
  //      msghdr_netlink[netlink_msg_netfilter_t[NFNL_SUBSYS_CTNETLINK_EXP,
  //      IPCTNL_MSG_EXP_NEW, exp_nla_policy]] {
  //        addr: nil
  //        addrlen: len = 0x0 (4 bytes)
  //        vec: ptr[in, iovec[in,
  //        netlink_msg_netfilter_t[NFNL_SUBSYS_CTNETLINK_EXP,
  //        IPCTNL_MSG_EXP_NEW, exp_nla_policy]]] {
  //          iovec[in, netlink_msg_netfilter_t[NFNL_SUBSYS_CTNETLINK_EXP,
  //          IPCTNL_MSG_EXP_NEW, exp_nla_policy]] {
  //            addr: ptr[inout, array[ANYUNION]] {
  //              array[ANYUNION] {
  //                union ANYUNION {
  //                  ANYBLOB: buffer: {c8 00 00 00 00 02 01 06 00 00 00 00 00
  //                  00 00 00 02 00 00 00 34 00 01 80 14 00 01 80 08 00 01 00
  //                  01 02 03 04 08 00 02 00 05 06 07 08 1c 00 02 80 05 00 01
  //                  00 06 00 00 00 06 00 02 00 04 d2 00 00 06 00 03 00 00 15
  //                  00 00 34 00 02 80 14 00 01 80 08 00 01 00 05 06 07 08 08
  //                  00 02 00 01 02 03 04 1c 00 02 80 05 00 01 00 06 00 00 00
  //                  06 00 02 00 00 14 00 00 06 00 03 00 9c 40 00 00 34 00 03
  //                  80 14 00 01 80 08 00 01 00 ff ff ff ff 08 00 02 00 ff ff
  //                  ff ff 1c 00 02 80 05 00 01 00 ff 00 00 00 06 00 02 00 00
  //                  00 00 00 06 00 03 00 ff ff 00 00 16 00 0b 00 6e 61 74 2d
  //                  66 6f 6c 6c 6f 77 2d 6d 61 73 74 65 72 00 00 00} (length
  //                  0xc8)
  //                }
  //              }
  //            }
  //            len: len = 0xc8 (4 bytes)
  //          }
  //        }
  //        vlen: const = 0x1 (4 bytes)
  //        ctrl: const = 0x0 (4 bytes)
  //        ctrllen: const = 0x0 (4 bytes)
  //        f: send_flags = 0x0 (4 bytes)
  //      }
  //    }
  //    f: send_flags = 0x0 (4 bytes)
  //  ]
  *(uint32_t*)0x80000300 = 0;
  *(uint32_t*)0x80000304 = 0;
  *(uint32_t*)0x80000308 = 0x80000100;
  *(uint32_t*)0x80000100 = 0x80000800;
  memcpy((void*)0x80000800,
         "\xc8\x00\x00\x00\x00\x02\x01\x06\x00\x00\x00\x00\x00\x00\x00\x00\x02"
         "\x00\x00\x00\x34\x00\x01\x80\x14\x00\x01\x80\x08\x00\x01\x00\x01\x02"
         "\x03\x04\x08\x00\x02\x00\x05\x06\x07\x08\x1c\x00\x02\x80\x05\x00\x01"
         "\x00\x06\x00\x00\x00\x06\x00\x02\x00\x04\xd2\x00\x00\x06\x00\x03\x00"
         "\x00\x15\x00\x00\x34\x00\x02\x80\x14\x00\x01\x80\x08\x00\x01\x00\x05"
         "\x06\x07\x08\x08\x00\x02\x00\x01\x02\x03\x04\x1c\x00\x02\x80\x05\x00"
         "\x01\x00\x06\x00\x00\x00\x06\x00\x02\x00\x00\x14\x00\x00\x06\x00\x03"
         "\x00\x9c\x40\x00\x00\x34\x00\x03\x80\x14\x00\x01\x80\x08\x00\x01\x00"
         "\xff\xff\xff\xff\x08\x00\x02\x00\xff\xff\xff\xff\x1c\x00\x02\x80\x05"
         "\x00\x01\x00\xff\x00\x00\x00\x06\x00\x02\x00\x00\x00\x00\x00\x06\x00"
         "\x03\x00\xff\xff\x00\x00\x16\x00\x0b\x00\x6e\x61\x74\x2d\x66\x6f\x6c"
         "\x6c\x6f\x77\x2d\x6d\x61\x73\x74\x65\x72\x00\x00\x00",
         200);
  *(uint32_t*)0x80000104 = 0xc8;
  *(uint32_t*)0x8000030c = 1;
  *(uint32_t*)0x80000310 = 0;
  *(uint32_t*)0x80000314 = 0;
  *(uint32_t*)0x80000318 = 0;
  syscall(__NR_sendmsg, /*fd=*/(intptr_t)r[0], /*msg=*/0x80000300, /*f=*/0);
  //  socket$nl_netfilter arguments: [
  //    domain: const = 0x10 (4 bytes)
  //    type: const = 0x3 (4 bytes)
  //    proto: const = 0xc (4 bytes)
  //  ]
  //  returns sock_nl_netfilter
  res = syscall(__NR_socket, /*domain=*/0x10, /*type=*/3, /*proto=*/0xc);
  if (res != -1)
    r[1] = res;
  //  sendmsg$IPCTNL_MSG_EXP_DELETE arguments: [
  //    fd: sock_nl_netfilter (resource)
  //    msg: ptr[in,
  //    msghdr_netlink[netlink_msg_netfilter_t[NFNL_SUBSYS_CTNETLINK_EXP,
  //    IPCTNL_MSG_EXP_DELETE, exp_nla_policy]]] {
  //      msghdr_netlink[netlink_msg_netfilter_t[NFNL_SUBSYS_CTNETLINK_EXP,
  //      IPCTNL_MSG_EXP_DELETE, exp_nla_policy]] {
  //        addr: nil
  //        addrlen: len = 0x0 (4 bytes)
  //        vec: ptr[in, iovec[in,
  //        netlink_msg_netfilter_t[NFNL_SUBSYS_CTNETLINK_EXP,
  //        IPCTNL_MSG_EXP_DELETE, exp_nla_policy]]] {
  //          iovec[in, netlink_msg_netfilter_t[NFNL_SUBSYS_CTNETLINK_EXP,
  //          IPCTNL_MSG_EXP_DELETE, exp_nla_policy]] {
  //            addr: ptr[inout, array[ANYUNION]] {
  //              array[ANYUNION] {
  //                union ANYUNION {
  //                  ANYBLOB: buffer: {18 01 00 00 02 02 05 00 00 00 00 00 00
  //                  00 00 00 07 00 00 07 68 00 01 80 06 00 03 40 00 04 00 00
  //                  2c 00 01 80 14 00 03 00 ff 01 00 00 00 00 00 00 00 00 00
  //                  00 00 00 00 01 14 00 04 00 ff 01 00 00 00 00 00 00 00 00
  //                  00 00 00 00 00 01 0c 00 02 80 05 00 01 00 bd 00 00 00 0c
  //                  00 02 80 05 00 01 00 21 00 00 00 0c 00 02 80 05 00 01 00
  //                  84 00 00 00 0c 00 02 80 05 00 01 00 84 00 00 00 08 00 04
  //                  40 00 00 00 05 80 00 01 80 0c 00 02 80 05 00 01 00 2f 00
  //                  00 00 06 00 03 40 00 04 00 00 06 00 03 40 00 04 00 00 06
  //                  00 03 40 00 00 00 00 2c e6 01 80 14 00 03 00 ff 01 00 00
  //                  00 00 00 00 00 00 00 00 00 00 00 01 14 00 04 00 20 01 00
  //                  00 00 00 00 00 00 00 00 00 00 00 00 00 2c 00 01 80 14 00
  //                  03 00 fe 88 00 00 00 00 00 00 00 00 00 00 00 00 00 01 14
  //                  00 04 00 ff 02 00 00 00 00 00 00 00 00 00 00 00 00 00 01
  //                  09 00 06 00 73 6e 6d 70 00 00 00 00 08 00 04 40 00 00 00
  //                  01} (length 0x118)
  //                }
  //              }
  //            }
  //            len: len = 0x118 (4 bytes)
  //          }
  //        }
  //        vlen: const = 0x1 (4 bytes)
  //        ctrl: const = 0x0 (4 bytes)
  //        ctrllen: const = 0x0 (4 bytes)
  //        f: send_flags = 0x80 (4 bytes)
  //      }
  //    }
  //    f: send_flags = 0x20000080 (4 bytes)
  //  ]
  *(uint32_t*)0x80000300 = 0;
  *(uint32_t*)0x80000304 = 0;
  *(uint32_t*)0x80000308 = 0x800002c0;
  *(uint32_t*)0x800002c0 = 0x80000180;
  memcpy(
      (void*)0x80000180,
      "\x18\x01\x00\x00\x02\x02\x05\x00\x00\x00\x00\x00\x00\x00\x00\x00\x07\x00"
      "\x00\x07\x68\x00\x01\x80\x06\x00\x03\x40\x00\x04\x00\x00\x2c\x00\x01\x80"
      "\x14\x00\x03\x00\xff\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x01\x14\x00\x04\x00\xff\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x01\x0c\x00\x02\x80\x05\x00\x01\x00\xbd\x00\x00\x00\x0c\x00"
      "\x02\x80\x05\x00\x01\x00\x21\x00\x00\x00\x0c\x00\x02\x80\x05\x00\x01\x00"
      "\x84\x00\x00\x00\x0c\x00\x02\x80\x05\x00\x01\x00\x84\x00\x00\x00\x08\x00"
      "\x04\x40\x00\x00\x00\x05\x80\x00\x01\x80\x0c\x00\x02\x80\x05\x00\x01\x00"
      "\x2f\x00\x00\x00\x06\x00\x03\x40\x00\x04\x00\x00\x06\x00\x03\x40\x00\x04"
      "\x00\x00\x06\x00\x03\x40\x00\x00\x00\x00\x2c\xe6\x01\x80\x14\x00\x03\x00"
      "\xff\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x14\x00"
      "\x04\x00\x20\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x2c\x00\x01\x80\x14\x00\x03\x00\xfe\x88\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x01\x14\x00\x04\x00\xff\x02\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x01\x09\x00\x06\x00\x73\x6e\x6d\x70\x00\x00"
      "\x00\x00\x08\x00\x04\x40\x00\x00\x00\x01",
      280);
  *(uint32_t*)0x800002c4 = 0x118;
  *(uint32_t*)0x8000030c = 1;
  *(uint32_t*)0x80000310 = 0;
  *(uint32_t*)0x80000314 = 0;
  *(uint32_t*)0x80000318 = 0x80;
  syscall(__NR_sendmsg, /*fd=*/(intptr_t)r[1], /*msg=*/0x80000300,
          /*f=MSG_FASTOPEN|MSG_EOR*/ 0x20000080);
  return 0;
}