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

#define _GNU_SOURCE

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

#define __syscall syscall

uint64_t r[1] = {0xffffffffffffffff};

int main(void)
{
  syscall(SYS_mmap, 0x20000000, 0x1000000, 3, 0x1012, -1, 0, 0);
  long res = 0;
  res = syscall(SYS_socket, 0x400000000018, 3, 0x3a);
  if (res != -1)
    r[0] = res;
  *(uint32_t*)0x20000040 = 1;
  *(uint32_t*)0x20000044 = 0;
  syscall(SYS_ioctl, -1, 0x80085762, 0x20000040);
  syscall(SYS_setsockopt, r[0], 0x29, 0x6c, 0x20000040, 4);
  *(uint16_t*)0x200001c0 = 4;
  *(uint8_t*)0x200001c2 = 0;
  *(uint8_t*)0x200001c3 = 0;
  *(uint16_t*)0x200001c4 = 3;
  *(uint32_t*)0x200001c8 = 0;
  syscall(SYS_setsockopt, r[0], 0x29, 0x66, 0x200001c0, 0xc);
  *(uint16_t*)0x200000c0 = 0x18;
  *(uint16_t*)0x200000c2 = htobe16(0);
  *(uint32_t*)0x200000c4 = 0;
  *(uint32_t*)0x200000c8 = 0;
  *(uint16_t*)0x200000cc = 0x18;
  *(uint16_t*)0x200000ce = htobe16(0);
  *(uint32_t*)0x200000d0 = 0;
  *(uint32_t*)0x200000d4 = 0;
  *(uint16_t*)0x200000d8 = 0;
  *(uint32_t*)0x200000dc = 0;
  *(uint32_t*)0x200000e0 = 0;
  *(uint32_t*)0x200000e4 = 0;
  *(uint32_t*)0x200000e8 = 0;
  *(uint32_t*)0x200000ec = 0;
  *(uint32_t*)0x200000f0 = 0x1000000;
  *(uint32_t*)0x200000f4 = 0;
  *(uint32_t*)0x200000f8 = 4;
  syscall(SYS_setsockopt, r[0], 0x29, 0x68, 0x200000c0, 0x5c);
  return 0;
}