// https://syzkaller.appspot.com/bug?id=ff7e08c44985c9e7202d9b0c7bec473f96fae7e4
// autogenerated by syzkaller (https://github.com/google/syzkaller)

#define _GNU_SOURCE

#include <pwd.h>
#include <stdarg.h>
#include <stdbool.h>
#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <sys/endian.h>
#include <sys/syscall.h>
#include <unistd.h>

uint64_t r[1] = {0xffffffffffffffff};

int main(void)
{
  syscall(SYS_mmap, 0x20000000ul, 0x1000000ul, 7ul, 0x1012ul, -1, 0ul);
  intptr_t res = 0;
  res = syscall(SYS_socket, 0x1cul, 5ul, 0x84);
  if (res != -1)
    r[0] = res;
  *(uint64_t*)0x20000580 = 0x20000340;
  *(uint8_t*)0x20000340 = 0x1c;
  *(uint8_t*)0x20000341 = 0x1c;
  *(uint16_t*)0x20000342 = htobe16(0x4e21);
  *(uint32_t*)0x20000344 = 0;
  *(uint64_t*)0x20000348 = htobe64(0);
  *(uint64_t*)0x20000350 = htobe64(1);
  *(uint32_t*)0x20000358 = 0;
  *(uint32_t*)0x20000588 = 0x1c;
  *(uint64_t*)0x20000590 = 0;
  *(uint32_t*)0x20000598 = 0;
  *(uint64_t*)0x200005a0 = 0x20000700;
  memcpy((void*)0x20000700,
         "\x2c\x00\x00\x00\x84\x00\x00\x00\x0a\x00\x00\x00\x00\x39\x80\x95\x00"
         "\x00\x00\x00\x00\x00\x00\x00\x00\x00\xff\xff",
         28);
  *(uint32_t*)0x200005a8 = 0x2c;
  *(uint32_t*)0x200005ac = 0;
  syscall(SYS_sendmsg, r[0], 0x20000580ul, 0ul);
  return 0;
}