// autogenerated by syzkaller (http://github.com/google/syzkaller)

#ifndef __NR_sendto
#define __NR_sendto 44
#endif
#ifndef __NR_mmap
#define __NR_mmap 9
#endif
#ifndef __NR_socket
#define __NR_socket 41
#endif
#ifndef __NR_setsockopt
#define __NR_setsockopt 54
#endif

#define _GNU_SOURCE

#include <sys/ioctl.h>
#include <sys/mman.h>
#include <sys/mount.h>
#include <sys/prctl.h>
#include <sys/resource.h>
#include <sys/socket.h>
#include <sys/stat.h>
#include <sys/syscall.h>
#include <sys/time.h>
#include <sys/types.h>
#include <sys/wait.h>

#include <linux/capability.h>
#include <linux/if.h>
#include <linux/if_tun.h>
#include <linux/kvm.h>
#include <linux/sched.h>
#include <net/if_arp.h>

#include <assert.h>
#include <dirent.h>
#include <errno.h>
#include <fcntl.h>
#include <grp.h>
#include <pthread.h>
#include <setjmp.h>
#include <signal.h>
#include <stdarg.h>
#include <stdbool.h>
#include <stddef.h>
#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <unistd.h>

static uintptr_t execute_syscall(int nr, uintptr_t a0, uintptr_t a1,
                                 uintptr_t a2, uintptr_t a3,
                                 uintptr_t a4, uintptr_t a5,
                                 uintptr_t a6, uintptr_t a7,
                                 uintptr_t a8)
{
  switch (nr) {
  default:
    return syscall(nr, a0, a1, a2, a3, a4, a5);
  }
}

long r[91];
void main()
{
  memset(r, -1, sizeof(r));
  r[0] = execute_syscall(__NR_mmap, 0x20000000ul, 0x14000ul, 0x3ul,
                         0x32ul, 0xfffffffffffffffful, 0x0ul, 0, 0, 0);
  r[1] = execute_syscall(__NR_socket, 0xaul, 0x2ul, 0x0ul, 0, 0, 0, 0,
                         0, 0);
  (*(uint8_t*)0x20000f18 = (uint8_t)0x0);
  (*(uint8_t*)0x20000f19 = (uint8_t)0x0);
  (*(uint8_t*)0x20000f1a = (uint8_t)0x0);
  (*(uint8_t*)0x20000f1b = (uint8_t)0x0);
  (*(uint8_t*)0x20000f1c = (uint8_t)0x0);
  (*(uint8_t*)0x20000f1d = (uint8_t)0x0);
  (*(uint8_t*)0x20000f1e = (uint8_t)0x0);
  (*(uint8_t*)0x20000f1f = (uint8_t)0x0);
  (*(uint8_t*)0x20000f20 = (uint8_t)0x0);
  (*(uint8_t*)0x20000f21 = (uint8_t)0x0);
  (*(uint8_t*)0x20000f22 = (uint8_t)0x0);
  (*(uint8_t*)0x20000f23 = (uint8_t)0x0);
  (*(uint8_t*)0x20000f24 = (uint8_t)0x0);
  (*(uint8_t*)0x20000f25 = (uint8_t)0x0);
  (*(uint8_t*)0x20000f26 = (uint8_t)0x0);
  (*(uint8_t*)0x20000f27 = (uint8_t)0x0);
  (*(uint8_t*)0x20000f28 = (uint8_t)0xfd);
  (*(uint8_t*)0x20000f29 = (uint8_t)0x0);
  (*(uint8_t*)0x20000f2a = (uint8_t)0x0);
  (*(uint8_t*)0x20000f2b = (uint8_t)0x0);
  (*(uint8_t*)0x20000f2c = (uint8_t)0x0);
  (*(uint8_t*)0x20000f2d = (uint8_t)0x0);
  (*(uint8_t*)0x20000f2e = (uint8_t)0x0);
  (*(uint8_t*)0x20000f2f = (uint8_t)0x0);
  (*(uint8_t*)0x20000f30 = (uint8_t)0x0);
  (*(uint8_t*)0x20000f31 = (uint8_t)0x0);
  (*(uint8_t*)0x20000f32 = (uint8_t)0x0);
  (*(uint8_t*)0x20000f33 = (uint8_t)0x0);
  (*(uint8_t*)0x20000f34 = (uint8_t)0x0);
  (*(uint8_t*)0x20000f35 = (uint8_t)0x0);
  (*(uint8_t*)0x20000f36 = (uint8_t)0x0);
  (*(uint8_t*)0x20000f37 = (uint8_t)0xaa);
  (*(uint16_t*)0x20000f38 = (uint16_t)0x204e);
  (*(uint16_t*)0x20000f3a = (uint16_t)0x0);
  (*(uint16_t*)0x20000f3c = (uint16_t)0x204e);
  (*(uint16_t*)0x20000f3e = (uint16_t)0x0);
  (*(uint16_t*)0x20000f40 = (uint16_t)0xa);
  (*(uint8_t*)0x20000f42 = (uint8_t)0x0);
  (*(uint8_t*)0x20000f43 = (uint8_t)0x0);
  (*(uint8_t*)0x20000f44 = (uint8_t)0x0);
  (*(uint32_t*)0x20000f48 = (uint32_t)0x0);
  (*(uint32_t*)0x20000f4c = (uint32_t)0x0);
  (*(uint64_t*)0x20000f50 = (uint64_t)0x0);
  (*(uint64_t*)0x20000f58 = (uint64_t)0x0);
  (*(uint64_t*)0x20000f60 = (uint64_t)0x0);
  (*(uint64_t*)0x20000f68 = (uint64_t)0x0);
  (*(uint64_t*)0x20000f70 = (uint64_t)0x0);
  (*(uint64_t*)0x20000f78 = (uint64_t)0x0);
  (*(uint64_t*)0x20000f80 = (uint64_t)0x0);
  (*(uint64_t*)0x20000f88 = (uint64_t)0x0);
  (*(uint64_t*)0x20000f90 = (uint64_t)0x0);
  (*(uint64_t*)0x20000f98 = (uint64_t)0x0);
  (*(uint64_t*)0x20000fa0 = (uint64_t)0x0);
  (*(uint64_t*)0x20000fa8 = (uint64_t)0x0);
  (*(uint32_t*)0x20000fb0 = (uint32_t)0x0);
  (*(uint32_t*)0x20000fb4 = (uint32_t)0x0);
  (*(uint8_t*)0x20000fb8 = (uint8_t)0x1);
  (*(uint8_t*)0x20000fb9 = (uint8_t)0x0);
  (*(uint8_t*)0x20000fba = (uint8_t)0x0);
  (*(uint8_t*)0x20000fbb = (uint8_t)0x0);
  (*(uint64_t*)0x20000fc0 = (uint64_t)0x0);
  (*(uint64_t*)0x20000fc8 = (uint64_t)0x100000000000000);
  (*(uint32_t*)0x20000fd0 = (uint32_t)0x0);
  (*(uint8_t*)0x20000fd4 = (uint8_t)0x0);
  (*(uint16_t*)0x20000fd8 = (uint16_t)0x0);
  (*(uint32_t*)0x20000fdc = (uint32_t)0x0);
  (*(uint32_t*)0x20000fec = (uint32_t)0x0);
  (*(uint8_t*)0x20000ff0 = (uint8_t)0x0);
  (*(uint8_t*)0x20000ff1 = (uint8_t)0x0);
  (*(uint8_t*)0x20000ff2 = (uint8_t)0xff);
  (*(uint32_t*)0x20000ff4 = (uint32_t)0x0);
  (*(uint32_t*)0x20000ff8 = (uint32_t)0x0);
  (*(uint32_t*)0x20000ffc = (uint32_t)0x0);
  r[75] = execute_syscall(__NR_setsockopt, r[1], 0x29ul, 0x23ul,
                          0x20000f18ul, 0xe8ul, 0, 0, 0, 0);
  (*(uint16_t*)0x20013ff0 = (uint16_t)0x2);
  (*(uint16_t*)0x20013ff2 = (uint16_t)0x214e);
  (*(uint8_t*)0x20013ff4 = (uint8_t)0xac);
  (*(uint8_t*)0x20013ff5 = (uint8_t)0x14);
  (*(uint8_t*)0x20013ff6 = (uint8_t)0x0);
  (*(uint8_t*)0x20013ff7 = (uint8_t)0xaa);
  (*(uint8_t*)0x20013ff8 = (uint8_t)0x0);
  (*(uint8_t*)0x20013ff9 = (uint8_t)0x0);
  (*(uint8_t*)0x20013ffa = (uint8_t)0x0);
  (*(uint8_t*)0x20013ffb = (uint8_t)0x0);
  (*(uint8_t*)0x20013ffc = (uint8_t)0x0);
  (*(uint8_t*)0x20013ffd = (uint8_t)0x0);
  (*(uint8_t*)0x20013ffe = (uint8_t)0x0);
  (*(uint8_t*)0x20013fff = (uint8_t)0x0);
  r[90] = execute_syscall(__NR_sendto, r[1], 0x20001000ul, 0x0ul,
                          0x20000000ul, 0x20013ff0ul, 0x10ul, 0, 0, 0);
}