// 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, 0xfff000, 3, 0x32, -1, 0);
  r[0] = syscall(__NR_socket, 0x4000000000000a, 2, 0);
  *(uint32_t*)0x20001ffc = 0x54;
  syscall(__NR_getsockopt, r[0], 0, 0x40, 0x20b3ffac, 0x20001ffc);
}

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