// https://syzkaller.appspot.com/bug?id=4f06a3c65fbb16e80f52ba87ef052f5feb3eb1df
// 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[1] = {0xffffffffffffffff};

int main(void)
{
  syscall(__NR_mmap, 0x20000000, 0x1000000, 3, 0x32, -1, 0);
  intptr_t res = 0;
  res = syscall(__NR_socket, 0x10, 3, 0);
  if (res != -1)
    r[0] = res;
  *(uint64_t*)0x20000140 = 0;
  *(uint32_t*)0x20000148 = 0;
  *(uint64_t*)0x20000150 = 0x200000c0;
  *(uint64_t*)0x200000c0 = 0x20000180;
  memcpy((void*)0x20000180, "\x78\x00\x00\x00\x2c\x00\x01\x07\x00\x00\x00\x00"
                            "\x00\x00\x00\x00\x00\x00\x00\x00",
         20);
  *(uint32_t*)0x20000194 = -1;
  memcpy((void*)0x20000198,
         "\x00\x00\x00\x00\x00\x00\x00\x00\x0f\x00\x00\x00\x08\x00\x01\x00\x86"
         "\xc4\x9a\xcc\xb2\xdc\x06\x3d\xae\x12\x9f\xe0\x6b\x47\xc5\xd7\x7a\xf8"
         "\xf8\x24\x93\xfb\xaa\x15\x4b\x42\x79\xd6\xd9\xd3\xed\x21\x1b\x60\xd6"
         "\xf5\x60\x9c\x0d\xa8\x4a\xc8\x41\xcd\xf5\x92\x64\x9d\x6c\xfb\xe5\x5a"
         "\xd6\x07\x4b\x17\xc6\xa5\x1b\xe8\x96\xaa\x50\x9b\x42\x59\x5d\x87\x41"
         "\xf8\x2d\xcb\xfa\xe6\x71\x07\xf3\x19\x71\x9d\xc9\x4c\xc0\x44\xcd\x4b"
         "\x9a\x32\x59\xc1\xb3\x5c\x56\x07\x16\xd9\x14\x0d\xeb\x4b\x16\x24\x49"
         "\x63\x17\x72\x49\xe9\xbb\x0f\x6d\x26\xa8\x35\xf9\xdd\x43\xe3\x7a\x73"
         "\x97\xa8\x67\xd7\x67\x7c\x1b\x10\x87\xb6\x4c\x0c\xc4\x1b\xd1\xf0\x1b"
         "\x8d\x9c\x68\x85\x89\xd9\xd0\xbf\x30\xef\xd8\xce\x1e\x68\xd3\x99\x2d"
         "\xe2\x82\xd1\xc9\x06\x5a\x84\x36\xb1\xe6\x73\x19\x71\x09\x18\x70\x38"
         "\x27\x35\x1e\x25\x1d\xd1\x55\x38\x05\x56\x45\x32\xee\x68\x66\xa5\xac"
         "\x61\xa8\x02\xb9\x11\xba\x94\x76\x71\x10\x68\xf1\x61\xc8\xf1\xb3\x01"
         "\x88\x2a\x3d\x9a\x01\x57\xb2\xe2\xf5\x13\x23\x37\x38\xe2\x1a\x56",
         237);
  *(uint64_t*)0x200000c8 = 0x78;
  *(uint64_t*)0x20000158 = 1;
  *(uint64_t*)0x20000160 = 0;
  *(uint64_t*)0x20000168 = 0;
  *(uint32_t*)0x20000170 = 0;
  syscall(__NR_sendmsg, r[0], 0x20000140, 0);
  return 0;
}