// https://syzkaller.appspot.com/bug?id=f775d15f3d6f727b2af84ed78e8e2af92d456aab
// 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] = {0x0};
void loop()
{
  long res = 0;
  res = syscall(__NR_getpid);
  if (res != -1)
    r[0] = res;
  *(uint64_t*)0x20000a00 = 0x20000500;
  *(uint64_t*)0x20000a08 = 0x9e;
  *(uint64_t*)0x20000a10 = 0x200005c0;
  *(uint64_t*)0x20000a18 = 0x85;
  *(uint64_t*)0x20000a20 = 0x20000380;
  *(uint64_t*)0x20000a28 = 0x23;
  *(uint64_t*)0x20000a30 = 0x200003c0;
  *(uint64_t*)0x20000a38 = 0xe;
  *(uint64_t*)0x20000a40 = 0x20000680;
  *(uint64_t*)0x20000a48 = 0x98;
  *(uint64_t*)0x20000a50 = 0x20000740;
  *(uint64_t*)0x20000a58 = 0x2e;
  *(uint64_t*)0x20000a60 = 0x20000780;
  *(uint64_t*)0x20000a68 = 0x81;
  *(uint64_t*)0x20000a70 = 0x20000840;
  *(uint64_t*)0x20000a78 = 0xa4;
  *(uint64_t*)0x20000a80 = 0x20000900;
  *(uint64_t*)0x20000a88 = 0xda;
  *(uint64_t*)0x20001100 = 0x20000ac0;
  *(uint64_t*)0x20001108 = 0xdb;
  *(uint64_t*)0x20001110 = 0x20000bc0;
  *(uint64_t*)0x20001118 = 0xa4;
  *(uint64_t*)0x20001120 = 0x20000c80;
  *(uint64_t*)0x20001128 = 0xd5;
  *(uint64_t*)0x20001130 = 0x20000d80;
  *(uint64_t*)0x20001138 = 0x80;
  *(uint64_t*)0x20001140 = 0x20000e00;
  *(uint64_t*)0x20001148 = 0xec;
  *(uint64_t*)0x20001150 = 0x20000f00;
  *(uint64_t*)0x20001158 = 0xaf;
  *(uint64_t*)0x20001160 = 0x20000fc0;
  *(uint64_t*)0x20001168 = 0x73;
  *(uint64_t*)0x20001170 = 0x20001040;
  *(uint64_t*)0x20001178 = 0x22;
  *(uint64_t*)0x20001180 = 0x20001080;
  *(uint64_t*)0x20001188 = 0x4c;
  syscall(__NR_process_vm_readv, r[0], 0x20000a00, 9, 0x20001100, 9, 0);
}

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