// https://syzkaller.appspot.com/bug?id=38a05383d5830633e06c45eb1faa6b67aaa3f123
// 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;
  *(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 = 0x9d;
  *(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 = 4;
  *(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);
  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*)0x2000000000c0 = 0;
  *(uint32_t*)0x2000000000c8 = 0;
  *(uint64_t*)0x2000000000d0 = 0x200000000380;
  *(uint64_t*)0x200000000380 = 0x200000000240;
  memcpy((void*)0x200000000240, "\x02\x12\x00\x00\x02", 5);
  *(uint64_t*)0x200000000388 = 0x10;
  *(uint64_t*)0x2000000000d8 = 1;
  *(uint64_t*)0x2000000000e0 = 0;
  *(uint64_t*)0x2000000000e8 = 0;
  *(uint32_t*)0x2000000000f0 = 0;
  syscall(__NR_sendmsg, /*fd=*/r[1], /*msg=*/0x2000000000c0ul, /*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\x00\x00\x00\x00\x00\x00\xac\x1e"
         "\x00\x01\x82\x15\x01\xf6\x3e\xd0\x2a\x17\x00\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x00\x0a\x00\x60\x30",
         60);
  *(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);
  *(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\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\x40\x00\x00\x00",
         62);
  *(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;
}