// 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[34];
void loop()
{
  memset(r, -1, sizeof(r));
  r[0] = syscall(__NR_mmap, 0x20000000ul, 0xfff000ul, 0x3ul, 0x32ul,
                 0xfffffffffffffffful, 0x0ul);
  r[1] = syscall(__NR_socket, 0x26ul, 0x5ul, 0x0ul);
  *(uint16_t*)0x20f74000 = (uint16_t)0x26;
  memcpy((void*)0x20f74002,
         "\x61\x65\x61\x64\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00",
         14);
  *(uint32_t*)0x20f74010 = (uint32_t)0x0;
  *(uint32_t*)0x20f74014 = (uint32_t)0x0;
  memcpy((void*)0x20f74018,
         "\x72\x66\x63\x37\x35\x33\x39\x28\x63\x74\x72\x2d\x63\x61\x6d"
         "\x65\x6c\x6c\x69\x61\x2d\x61\x65\x73\x6e\x69\x2d\x61\x76\x78"
         "\x32\x2c\x77\x70\x33\x38\x34\x29\x00\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x00",
         64);
  r[7] = syscall(__NR_bind, r[1], 0x20f74000ul, 0x58ul);
  memcpy((void*)0x201ec000, "\x0a\x07\x75\xb0\xd5\xe3\x83\xe5\xb3\xb6"
                            "\x0c\xed\x5c\x54\xdb\xb7\x29\x5d\xf0\xdf"
                            "\x82\x17\xad\x40\x00\x00\x00\x00\x00\x00"
                            "\x00\xe6",
         32);
  r[9] = syscall(__NR_setsockopt, r[1], 0x117ul, 0x1ul, 0x201ec000ul,
                 0x20ul);
  r[10] = syscall(__NR_accept, r[1], 0x0ul, 0x0ul);
  *(uint64_t*)0x20f74fc8 = (uint64_t)0x0;
  *(uint32_t*)0x20f74fd0 = (uint32_t)0x0;
  *(uint64_t*)0x20f74fd8 = (uint64_t)0x20f74000;
  *(uint64_t*)0x20f74fe0 = (uint64_t)0x1;
  *(uint64_t*)0x20f74fe8 = (uint64_t)0x20df0000;
  *(uint64_t*)0x20f74ff0 = (uint64_t)0x0;
  *(uint32_t*)0x20f74ff8 = (uint32_t)0x0;
  *(uint64_t*)0x20f74000 = (uint64_t)0x2004b000;
  *(uint64_t*)0x20f74008 = (uint64_t)0x10;
  memcpy((void*)0x2004b000, "\x5d\xfb\xc3\x3d\xc1\x9c\xb8\x70\x84\x3d"
                            "\xf3\x02\x73\xb3\x81\xfa",
         16);
  r[21] = syscall(__NR_sendmsg, r[10], 0x20f74fc8ul, 0x0ul);
  *(uint64_t*)0x20c0c000 = (uint64_t)0x20068f80;
  *(uint32_t*)0x20c0c008 = (uint32_t)0x80;
  *(uint64_t*)0x20c0c010 = (uint64_t)0x20f7bfe0;
  *(uint64_t*)0x20c0c018 = (uint64_t)0x2;
  *(uint64_t*)0x20c0c020 = (uint64_t)0x20f76f1d;
  *(uint64_t*)0x20c0c028 = (uint64_t)0x0;
  *(uint32_t*)0x20c0c030 = (uint32_t)0x0;
  *(uint64_t*)0x20f7bfe0 = (uint64_t)0x20f1f000;
  *(uint64_t*)0x20f7bfe8 = (uint64_t)0x0;
  *(uint64_t*)0x20f7bff0 = (uint64_t)0x20f7a000;
  *(uint64_t*)0x20f7bff8 = (uint64_t)0xab;
  r[33] = syscall(__NR_recvmsg, r[10], 0x20c0c000ul, 0x0ul);
}

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