// autogenerated by syzkaller (http://github.com/google/syzkaller)

#define _GNU_SOURCE
#include <endian.h>
#include <stdint.h>
#include <string.h>
#include <sys/syscall.h>
#include <unistd.h>

long r[1];
void loop()
{
  memset(r, -1, sizeof(r));
  syscall(__NR_mmap, 0x20000000, 0x17000, 3, 0x32, -1, 0);
  r[0] = syscall(__NR_socket, 0x10, 3, 0x10);
  *(uint64_t*)0x20003000 = 0x20000000;
  *(uint32_t*)0x20003008 = 0;
  *(uint64_t*)0x20003010 = 0x20004000;
  *(uint64_t*)0x20003018 = 1;
  *(uint64_t*)0x20003020 = 0x20000000;
  *(uint64_t*)0x20003028 = 0;
  *(uint32_t*)0x20003030 = 0;
  *(uint64_t*)0x20004000 = 0x20011f8e;
  *(uint64_t*)0x20004008 = 0x23;
  memcpy((void*)0x20011f8e, "\x23\x00\x00\x00\x24\x00\x91\x15\x46\x00\x00\x00"
                            "\x00\x00\x00\x12\x01\x00\x00\x00\x00\x00\x00\x27"
                            "\x08\x41\x00\x00\x00\x00\x00\x18\x00\x73\x52",
         35);
  syscall(__NR_sendmsg, r[0], 0x20003000, 0);
}

int main()
{
  loop();
  return 0;
}