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

#define _GNU_SOURCE 

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

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

static void test();

void loop()
{
	while (1) {
		test();
	}
}


long r[22];
void test()
{
	memset(r, -1, sizeof(r));
	r[0] = syscall(__NR_mmap, 0x20000000ul, 0x4000ul, 0x3ul, 0x32ul, 
0xfffffffffffffffful, 0x0ul);
*(uint64_t*)0x20001000 = (uint64_t)0x0;
*(uint32_t*)0x20001008 = (uint32_t)0x0;
*(uint32_t*)0x2000100c = (uint32_t)0x1;
*(uint32_t*)0x20001010 = (uint32_t)0x0;
*(uint64_t*)0x20001020 = (uint64_t)0x0;
*(uint64_t*)0x20001028 = (uint64_t)0x0;
*(uint64_t*)0x20001030 = (uint64_t)0x0;
*(uint64_t*)0x20001038 = (uint64_t)0x0;
*(uint64_t*)0x20001040 = (uint64_t)0x0;
*(uint64_t*)0x20001048 = (uint64_t)0x0;
*(uint64_t*)0x20001050 = (uint64_t)0x0;
*(uint64_t*)0x20001058 = (uint64_t)0x0;
	r[13] = syscall(__NR_timer_create, 0x0ul, 0x20001000ul, 0x20001000ul);
	r[14] = syscall(__NR_clock_gettime, 0x0ul, 0x20003000ul);
	if (r[14] != -1)
r[15] = *(uint64_t*)0x20003008;
*(uint64_t*)0x20003000 = (uint64_t)0x0;
*(uint64_t*)0x20003008 = r[15]+10000000;
*(uint64_t*)0x20003010 = (uint64_t)0x0;
*(uint64_t*)0x20003018 = (uint64_t)0x989680;
	r[20] = syscall(__NR_timer_settime, 0x0ul, 0x1ul, 0x20003000ul, 0x20000000ul);
	r[21] = syscall(__NR_timer_gettime, 0x0ul, 0x20000fe0ul);

}

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