// https://syzkaller.appspot.com/bug?id=b552fd21dcc819daf6e93017f72ee98cda4d978e
// 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[3] = {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=*/0xful, /*type=*/3ul, /*proto=*/2);
  if (res != -1)
    r[0] = res;
  *(uint64_t*)0x200000000040 = 3;
  *(uint32_t*)0x200000000048 = 0;
  *(uint64_t*)0x200000000050 = 0x200000000340;
  *(uint64_t*)0x200000000340 = 0x200000001880;
  memcpy((void*)0x200000001880,
         "\x02\x03\xfb\x02\x1e\x00\x00\x00\x2c\xbd\x70\x00\xfc\xdb\xdf\x25\x02"
         "\x00\x09\x00\x08\x00\x00\x00\x0a\x00\x00\x00\x00\x00\x00\x00\x05\x00"
         "\x06\x00\x00\x00\x00\x00\x0a\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x02\x00\x00\x00"
         "\x00\x00\x00\x00\x02\x00\x01\x00\x00\x00\x00\x00\x04\x00\x07\x0c\x00"
         "\x00\x00\x00\x05\x00\x05\x00\x00\x00\x00\x00\x0a\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
         "\x01\x07\x00\xe9\xff\x00\x00\x00\x00\x0e\x00\x08\x00\x08",
         133);
  *(uint64_t*)0x200000000348 = 0xf0;
  *(uint64_t*)0x200000000058 = 1;
  *(uint64_t*)0x200000000060 = 7;
  *(uint64_t*)0x200000000068 = 0;
  *(uint32_t*)0x200000000070 = 0;
  syscall(__NR_sendmsg, /*fd=*/r[0], /*msg=*/0x200000000040ul, /*f=*/0ul);
  res = syscall(__NR_socket, /*domain=*/0x10ul, /*type=*/3ul, /*proto=*/6);
  if (res != -1)
    r[1] = res;
  *(uint64_t*)0x200000000040 = 0;
  *(uint32_t*)0x200000000048 = 0;
  *(uint64_t*)0x200000000050 = 0x2000000001c0;
  *(uint64_t*)0x2000000001c0 = 0x200000000480;
  memcpy((void*)0x200000000480,
         "\xfc\x00\x00\x00\x19\x00\x67\x4c\x00\x00\x00\x00\x00\x00\x00\x00\xe0"
         "\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xe0\x00"
         "\x00\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x00\x0a\x00\x00\x00\x00\x00\x00\x00",
         64);
  *(uint32_t*)0x2000000004c0 = 0;
  *(uint32_t*)0x2000000004c4 = 0;
  memcpy(
      (void*)0x2000000004c8,
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x40\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00"
      "\x00\x00\x00\x00\x44\x00\x05\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x33",
      137);
  *(uint64_t*)0x2000000001c8 = 0xfc;
  *(uint64_t*)0x200000000058 = 1;
  *(uint64_t*)0x200000000060 = 0;
  *(uint64_t*)0x200000000068 = 0;
  *(uint32_t*)0x200000000070 = 0;
  syscall(__NR_sendmsg, /*fd=*/r[1], /*msg=*/0x200000000040ul, /*f=*/0ul);
  res = syscall(__NR_socket, /*domain=*/0xaul, /*type=*/2ul, /*proto=*/0x73);
  if (res != -1)
    r[2] = res;
  *(uint64_t*)0x200000000540 = 0x200000000280;
  *(uint16_t*)0x200000000280 = 0xa;
  *(uint16_t*)0x200000000282 = htobe16(0x4e23);
  *(uint32_t*)0x200000000284 = htobe32(0xfffffbff);
  memset((void*)0x200000000288, 0, 16);
  *(uint32_t*)0x200000000298 = 0xffff8428;
  *(uint32_t*)0x200000000548 = 0x1c;
  *(uint64_t*)0x200000000550 = 0;
  *(uint64_t*)0x200000000558 = 0;
  *(uint64_t*)0x200000000560 = 0x200000000700;
  *(uint64_t*)0x200000000700 = 0x18;
  *(uint32_t*)0x200000000708 = 0x29;
  *(uint32_t*)0x20000000070c = 0x37;
  *(uint8_t*)0x200000000710 = 0x67;
  *(uint8_t*)0x200000000711 = 0;
  memset((void*)0x200000000712, 0, 6);
  *(uint64_t*)0x200000000718 = 0x14;
  *(uint32_t*)0x200000000720 = 0x29;
  *(uint32_t*)0x200000000724 = 0x34;
  *(uint32_t*)0x200000000728 = 2;
  *(uint64_t*)0x200000000730 = 0x18;
  *(uint32_t*)0x200000000738 = 0x29;
  *(uint32_t*)0x20000000073c = 0x36;
  *(uint8_t*)0x200000000740 = 0x5e;
  *(uint8_t*)0x200000000741 = 0;
  memset((void*)0x200000000742, 0, 6);
  *(uint64_t*)0x200000000568 = 0x48;
  *(uint32_t*)0x200000000570 = 0;
  syscall(__NR_sendmsg, /*fd=*/r[2], /*msg=*/0x200000000540ul,
          /*f=MSG_CONFIRM*/ 0x800ul);
  return 0;
}