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

#define _GNU_SOURCE

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

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

long r[13];
void loop()
{
  memset(r, -1, sizeof(r));
  r[0] = syscall(__NR_socket, 0xaul, 0x1ul, 0x8010000000000084ul);
  *(uint8_t*)0x205ebff5 = (uint8_t)0xce7c;
  *(uint8_t*)0x205ebff6 = (uint8_t)0x7;
  *(uint8_t*)0x205ebff7 = (uint8_t)0x7;
  *(uint8_t*)0x205ebff8 = (uint8_t)0x3;
  *(uint8_t*)0x205ebff9 = (uint8_t)0x5;
  *(uint8_t*)0x205ebffa = (uint8_t)0x0;
  *(uint8_t*)0x205ebffb = (uint8_t)0x4;
  *(uint8_t*)0x205ebffc = (uint8_t)0x72ad6429;
  *(uint8_t*)0x205ebffd = (uint8_t)0x5;
  *(uint8_t*)0x205ebffe = (uint8_t)0x10001;
  *(uint8_t*)0x205ebfff = (uint8_t)0x5;
  r[12] = syscall(__NR_setsockopt, r[0], 0x84ul, 0xbul, 0x205ebff5ul,
                  0xbul);
}

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