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

#define _GNU_SOURCE

#include <endian.h>
#include <sys/syscall.h>
#include <unistd.h>

#include <stdint.h>
#include <string.h>

long r[1];
void loop()
{
  memset(r, -1, sizeof(r));
  syscall(__NR_mmap, 0x20000000, 0xfff000, 0x3, 0x32, 0xffffffff, 0x0);
  r[0] = syscall(__NR_socket, 0x11, 0x80003, 0x8);
  *(uint32_t*)0x20eb4000 = 0x2;
  syscall(__NR_setsockopt, r[0], 0x107, 0xa, 0x20eb4000, 0x4);
  *(uint32_t*)0x2010f000 = 0x5;
  *(uint32_t*)0x2010f004 = 0x3;
  *(uint32_t*)0x2010f008 = 0x3;
  *(uint32_t*)0x2010f00c = 0xffff;
  *(uint32_t*)0x2010f010 = 0x2db;
  *(uint32_t*)0x2010f014 = 0xfeff;
  *(uint32_t*)0x2010f018 = 0x7ff;
  syscall(__NR_setsockopt, r[0], 0x107, 0xd, 0x2010f000, 0x1c);
}

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