// 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)) {
  }
  res = syscall(__NR_socket, /*domain=*/0xaul, /*type=SOCK_DGRAM*/ 2ul,
                /*proto=*/0);
  if (res != -1)
    r[0] = res;
  *(uint32_t*)0x2000000004c0 = htobe32(0);
  *(uint8_t*)0x2000000004d0 = 0xfe;
  *(uint8_t*)0x2000000004d1 = 0x80;
  memset((void*)0x2000000004d2, 0, 13);
  *(uint8_t*)0x2000000004df = 0;
  *(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;
  *(uint32_t*)0x200000000568 = htobe32(0xe0000001);
  *(uint32_t*)0x200000000578 = htobe32(0);
  *(uint8_t*)0x20000000057c = 0x2b;
  *(uint16_t*)0x200000000580 = 0;
  *(uint8_t*)0x200000000584 = 0xfe;
  *(uint8_t*)0x200000000585 = 0x88;
  memset((void*)0x200000000586, 0, 12);
  *(uint8_t*)0x200000000592 = 0;
  *(uint8_t*)0x200000000593 = 1;
  *(uint32_t*)0x200000000594 = 0;
  *(uint8_t*)0x200000000598 = 3;
  *(uint8_t*)0x200000000599 = 0;
  *(uint8_t*)0x20000000059a = 0;
  *(uint32_t*)0x20000000059c = 0;
  *(uint32_t*)0x2000000005a0 = 0xfffffffd;
  *(uint32_t*)0x2000000005a4 = 0;
  syscall(__NR_setsockopt, /*fd=*/r[0], /*level=*/0x29, /*optname=*/0x23,
          /*optval=*/0x2000000004c0ul, /*optlen=*/0xe8ul);
  res = syscall(__NR_socket, /*domain=*/0xful, /*type=*/3ul, /*proto=*/2);
  if (res != -1)
    r[1] = res;
  *(uint32_t*)0x2000000001c0 = 0;
  syscall(__NR_setsockopt, /*fd=*/r[1], /*level=*/1, /*optname=SO_RCVBUF*/ 8,
          /*optval=*/0x2000000001c0ul, /*optlen=*/4ul);
  *(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);
  *(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);
  res = syscall(__NR_socket, /*domain=*/0x10ul, /*type=*/3ul, /*proto=*/6);
  if (res != -1)
    r[2] = res;
  res = syscall(__NR_socket, /*domain=*/0x10ul, /*type=*/3ul, /*proto=*/6);
  if (res != -1)
    r[3] = res;
  *(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);
  res = syscall(__NR_socket, /*domain=*/0x10ul, /*type=*/3ul, /*proto=*/6);
  if (res != -1)
    r[4] = res;
  *(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\x00\x00",
         26);
  *(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=MSG_NOSIGNAL*/ 0x4000ul);
  *(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\x00\x00\x00\x00\x00\x00\x00\x20\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\x40",
         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[2], /*msg=*/0x200000000580ul, /*f=*/0ul);
  return 0;
}