// https://syzkaller.appspot.com/bug?id=004b0f7b61d4901cbfecfc33de7996e8cbe0a278
// 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>

uint64_t r[1] = {0xffffffffffffffff};
void loop()
{
  long res = 0;
  res = syscall(__NR_socket, 0x2b, 0x801, 0);
  if (res != -1)
    r[0] = res;
  *(uint64_t*)0x20003400 = 0x20000980;
  *(uint16_t*)0x20000980 = 3;
  memcpy((void*)0x20000982, "\x50\xf6\xb4\x41\xc8\x4a\x57", 7);
  *(uint32_t*)0x2000098c = 3;
  *(uint32_t*)0x20003408 = 0x80;
  *(uint64_t*)0x20003410 = 0x20001fc0;
  *(uint64_t*)0x20001fc0 = 0x20000a00;
  *(uint64_t*)0x20001fc8 = 0;
  *(uint64_t*)0x20001fd0 = 0x20000300;
  *(uint64_t*)0x20001fd8 = 0;
  *(uint64_t*)0x20001fe0 = 0x20000ac0;
  *(uint64_t*)0x20001fe8 = 0;
  *(uint64_t*)0x20001ff0 = 0x20000b00;
  *(uint64_t*)0x20001ff8 = 0;
  *(uint64_t*)0x20002000 = 0x20000b40;
  *(uint64_t*)0x20002008 = 0;
  *(uint64_t*)0x20002010 = 0x20000c00;
  *(uint64_t*)0x20002018 = 0;
  *(uint64_t*)0x20002020 = 0x20000d00;
  *(uint64_t*)0x20002028 = 0;
  *(uint64_t*)0x20002030 = 0x20000dc0;
  *(uint64_t*)0x20002038 = 0;
  *(uint64_t*)0x20002040 = 0x20000ec0;
  *(uint64_t*)0x20002048 = 0;
  *(uint64_t*)0x20002050 = 0x20001ec0;
  *(uint64_t*)0x20002058 = 0;
  *(uint64_t*)0x20003418 = 0xa;
  *(uint64_t*)0x20003420 = 0x20002080;
  *(uint64_t*)0x20002080 = 0x10;
  *(uint32_t*)0x20002088 = 0;
  *(uint32_t*)0x2000208c = 1;
  *(uint64_t*)0x20002090 = 0x10;
  *(uint32_t*)0x20002098 = 0x11f;
  *(uint32_t*)0x2000209c = 1;
  *(uint64_t*)0x200020a0 = 0x10;
  *(uint32_t*)0x200020a8 = 0x104;
  *(uint32_t*)0x200020ac = 0xfffff801;
  *(uint64_t*)0x200020b0 = 0x10;
  *(uint32_t*)0x200020b8 = 0x116;
  *(uint32_t*)0x200020bc = 5;
  *(uint64_t*)0x200020c0 = 0x10;
  *(uint32_t*)0x200020c8 = 0xff;
  *(uint32_t*)0x200020cc = 4;
  *(uint64_t*)0x200020d0 = 0x10;
  *(uint32_t*)0x200020d8 = 0;
  *(uint32_t*)0x200020dc = 0x80000001;
  *(uint64_t*)0x20003428 = 0x60;
  *(uint32_t*)0x20003430 = 0x40;
  syscall(__NR_sendmsg, r[0], 0x20003400, 0x20000001);
}

int main()
{
  syscall(__NR_mmap, 0x20000000, 0x1000000, 3, 0x32, -1, 0);
  loop();
  return 0;
}