// WARNING in xfrm_add_acquire
// https://syzkaller.appspot.com/bug?id=94f0cce53da07178a94265fc34e945095df28928
// status:open
// autogenerated by syzkaller (http://github.com/google/syzkaller)

#define _GNU_SOURCE

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

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

long r[1];
void loop()
{
  memset(r, -1, sizeof(r));
  syscall(__NR_mmap, 0x20000000, 0x1e000, 0x3, 0x32, 0xffffffff, 0x0);
  r[0] = syscall(__NR_socket, 0x10, 0x3, 0x6);
  *(uint64_t*)0x20013fc8 = 0x2000afff;
  *(uint32_t*)0x20013fd0 = 0x0;
  *(uint64_t*)0x20013fd8 = 0x20012ff0;
  *(uint64_t*)0x20013fe0 = 0x5;
  *(uint64_t*)0x20013fe8 = 0x20016000;
  *(uint64_t*)0x20013ff0 = 0x0;
  *(uint32_t*)0x20013ff8 = 0x0;
  *(uint64_t*)0x20012ff0 = 0x20017000;
  *(uint64_t*)0x20012ff8 = 0x1050;
  *(uint64_t*)0x20013000 = 0x20019f1d;
  *(uint64_t*)0x20013008 = 0x30;
  *(uint64_t*)0x20013010 = 0x2001ae93;
  *(uint64_t*)0x20013018 = 0x20;
  *(uint64_t*)0x20013020 = 0x2001be29;
  *(uint64_t*)0x20013028 = 0x30;
  *(uint64_t*)0x20013030 = 0x2001cdcf;
  *(uint64_t*)0x20013038 = 0x40;
  *(uint32_t*)0x20017000 = 0x1010;
  *(uint16_t*)0x20017004 = 0x17;
  *(uint16_t*)0x20017006 = 0x201;
  *(uint32_t*)0x20017008 = 0x5;
  *(uint32_t*)0x2001700c = 0x4;
  memcpy(
      (void*)0x20017010,
      "\xaf\x62\x88\x72\x09\x63\x53\x55\xf9\x54\x63\x09\x7f\xe7\xb8\xd2"
      "\xbd\x12\xc0\x96\x1f\x60\xa0\x39\x46\x83\x3b\xd7\x41\x67\xe2\xa8"
      "\xf6\xae\xde\xa0\x55\xb1\x72\x98\xb2\x0d\xdd\xda\x50\x0b\xc6\x9b"
      "\x8f\x84\xcd\xe3\x21\x26\x7e\x64\xeb\x0a\x1a\x01\x34\x33\x42\x8c"
      "\x60\xf9\x58\x45\x23\xaf\x94\x5a\xc3\xb4\x11\x32\x7d\x10\xf4\x2e"
      "\x45\xf7\x49\xca\xce\xfa\x63\x5b\x72\x9c\x84\x5b\x5d\xdf\xe9\x17"
      "\x58\xcc\x6f\xd5\xa9\x96\x34\x08\xf4\x5a\xa9\xb1\xea\x71\x51\x57"
      "\xab\x61\xe0\x4c\x84\x4c\x97\x8b\x7f\x5b\xa9\x02\xf3\x96\xcb\xc8"
      "\x6c\x3b\x75\x99\xde\x72\x71\x81\xd6\x1f\xe6\x7c\xbe\xe7\x69\x9c"
      "\x6d\x5a\xbd\xd4\x38\xff\x29\xd6\x06\x59\xb1\x70\x56\xa7\xd0\xe5"
      "\xa9\xe7\x2e\x1f\x0d\xe6\x0a\x7d\x81\x36\x2f\xb7\x59\x18\x6c\x14"
      "\x9e\x4c\x81\xa0\x1d\x37\xbd\xb0\x17\x2e\x5e\x05\xcd\x78\x25\x70"
      "\xa5\x09\xbe\xba\x0b\x6d\x71\xb7\xcf\x31\x4f\x9e\x7e\x98\x9f\x45"
      "\xf7\x1e\x4b\xfd\x52\xe6\x32\x08\xa4\xa1\x49\xb8\xee\x26\x84\x82"
      "\x03\xe6\xd1\xf6\xe0\xbe\xb6\x69\xc1\x80\xee\x30\x75\x65\x4a\x9a"
      "\x7f\x37\xbf\xf1\xb0\x64\x1c\x8f\x3b\xfe\x5f\x73\xa9\x11\x19\x41"
      "\x74\x9b\x63\x96\xd4\x31\x27\x43\x79\x19\xba\x5d\x0f\x4a\x0c\xce"
      "\x8e\x5b\xd2\xef\x45\x69\xf7\xdf\xe7\xd6\xfa\xf6\xf5\x7c\xe6\x5f"
      "\x6d\xfa\xe1\x03\xed\x77\x7f\x12\x9f\x24\xac\xc7\xf3\x90\x9f\xe1"
      "\x55\x79\x09\x82\xd2\x1e\x80\xa5\xd6\x13\x79\xbe\x10\x67\xcc\x3e"
      "\x14\x79\x85\x43\x5e\x9e\xfa\x8c\x92\x0c\x16\x4d\xc7\xa1\x87\xe6"
      "\x27\x68\x2c\xc5\xd6\xaa\x9a\x14\x84\xf9\x84\xd5\x4b\x87\xc4\x0f"
      "\xd1\x3b\x03\x33\x46\x19\xb2\x3d\x0d\x5f\xbd\x13\x50\xb0\xea\x2a"
      "\x35\xe5\x76\x5d\x2e\xcd\x31\xab\x11\x20\x8d\x51\x74\x73\xcb\x0c"
      "\xcd\x9b\x38\x9d\x3b\x9f\x20\xb4\x4b\xa8\x01\xf8\x41\x31\x8f\x28"
      "\x23\x8f\xef\xb5\xb2\x6a\xed\xe7\x86\xec\x6e\xb1\xff\x26\x28\x61"
      "\x54\x52\x61\x8e\x59\xb8\x11\xe9\xe7\x6b\xcd\x6a\x96\x8f\x25\x84"
      "\x83\xa0\x81\x3a\xd8\x1e\xcb\x15\x90\x21\xd2\xe2\x5c\x2e\xe9\xef"
      "\x0e\x3a\x58\xc1\xff\xe9\x24\xb0\xbc\x35\x7f\x48\x0e\x4e\x21\xbf"
      "\xae\xf6\x57\x43\xdb\x92\xc1\xd5\xc5\x21\x47\x7a\x30\x16\xad\xc8"
      "\xa8\xab\x2a\x23\x1e\x09\x94\x36\x47\xc5\x1d\x38\xd3\x85\xe1\x22"
      "\xfa\x3a\x90\x00\x63\xa6\xdb\x8d\x9d\xa5\x23\x9b\xd2\xc2\x14\xda"
      "\xef\x45\xda\x20\xcc\x0f\x59\xd7\xbb\x34\xbf\x67\xd8\x91\x82\x30"
      "\x3a\x5c\x70\x69\x0a\xc4\xa3\x87\x20\x87\x7d\xf7\xba\x78\xa6\xbe"
      "\xf6\xdf\x30\xb0\x1b\xd8\x03\xc5\xdc\xfe\xb2\xff\xf0\xd3\xee\x4b"
      "\x89\xb1\x1d\x3d\x74\x26\xaf\xdd\x7c\x13\xb7\xca\xea\xaf\xf8\x36"
      "\x12\xef\xb6\xcb\x56\x1a\x42\x8c\xfc\xb5\x78\x00\x90\x1f\xa8\x48"
      "\xa5\xe5\x5a\x71\x1b\x3a\xf8\xb7\xcb\x22\x3b\xfe\xed\x24\x15\x36"
      "\x48\xaf\xda\x35\x28\x29\xff\x94\x68\xe8\x02\x03\xbc\x04\x59\x82"
      "\x22\x91\xd2\x23\x93\xe7\x52\xf8\xc0\x49\x37\xff\x7a\x32\x59\xe1"
      "\xd8\x13\x86\xcc\x0e\xa0\x65\xe3\xb9\xef\xfb\xde\x5d\x3a\x0f\x5b"
      "\x91\x9b\x7e\x5a\xc3\xb9\x03\x0c\xbf\x66\xa9\x36\x2c\x83\xbe\xef"
      "\x21\x7b\xd5\x13\x65\x47\xc5\xb0\x9b\x97\x1f\xeb\xc1\xf4\x55\x6d"
      "\x59\x9d\x1c\x2f\x89\xbc\x13\x83\x86\x6c\xc6\x2b\x4a\x7f\xa6\x7d"
      "\x51\xf3\x76\x2a\xd0\x0d\x27\xbf\x6f\x39\xd2\xbc\x53\xae\x85\x95"
      "\x50\xef\x87\xdd\x0d\x96\x75\xa4\x0b\x65\x37\x73\xdf\xd9\x17\x8d"
      "\xfb\x23\x8f\x36\xb6\x4d\x13\x98\xf5\xac\x9e\x06\x61\x9a\xb2\x1a"
      "\x22\x65\x80\x63\x23\x48\xdf\x9a\x8f\xf8\x35\x73\xdf\xa3\x6b\x8a"
      "\x0a\x28\x5a\x9e\xe7\x6d\x23\x5d\xc3\xcd\x5d\x7c\xb3\x3f\xd7\xb2"
      "\x27\x70\xe6\xf8\x57\x89\xbf\x71\x05\x1a\x3a\x8c\xdf\xfe\x02\x27"
      "\x39\xf9\x17\x7c\xd7\x7c\x7b\x72\xb9\x6f\x26\xfc\x8f\x59\xbe\x9e"
      "\xdd\x41\xdc\x83\x97\x4e\xe1\xa7\x66\x25\xb7\xa1\x26\x75\x56\xf2"
      "\x32\x5b\xa8\xfd\xfc\x2a\x8f\x71\x5e\x6a\x43\x2d\x2f\x34\x4a\x78"
      "\x6d\xd2\xe1\x66\x2f\x73\xaa\x7d\x8a\x5b\x29\x22\x11\xa9\x60\x1d"
      "\xe4\x08\x7b\x2f\xa2\x43\x7e\x71\xd0\x86\x80\x4b\x49\xfa\xf3\xa3"
      "\x91\x1b\x9f\x20\x9f\x20\x09\xe7\x6b\x63\xde\xf8\x80\xa3\x64\xc7"
      "\x7c\x04\x95\xc0\x9a\x12\xfa\xf2\x1c\x6d\x11\x2b\x90\x1a\x13\xaf"
      "\x5a\xe1\x95\x58\xea\x8f\x46\x3b\xf7\x32\xad\x0b\x46\x29\x79\x23"
      "\xd4\x16\xde\xdd\xf9\xbd\x46\x95\x19\xd6\xb3\x71\xd8\xb3\x69\xe5"
      "\x58\x4d\x41\xab\xbd\xff\x5b\x4a\xaa\x1f\x6c\x6a\x72\x86\x03\x26"
      "\xa9\x5d\xd0\x63\x48\x3b\xfa\x21\xe3\x44\x7f\x16\xdb\x35\xa9\xdb"
      "\x63\xc7\x50\xa4\xf7\x01\xb8\x38\xdf\xfd\x8a\x47\x30\x1f\xbb\x53"
      "\x30\x89\x8c\xc2\x7c\x2e\x4b\xc0\x4d\x0d\x5e\x79\xa4\x6e\x01\x3a"
      "\x1d\xea\xd9\x41\xa1\xa3\x34\x99\x84\x63\x5d\x9e\x2d\x8a\xfb\x07"
      "\x6c\x83\xf4\xd9\x1b\x34\x31\xc7\x05\x5c\x63\xcc\x02\x04\x27\xee"
      "\x2b\x8b\x62\x32\xbc\xb2\x82\xb4\x7f\x96\xaf\xb9\xaa\x9c\x2e\xe6"
      "\xed\x7f\x31\xe5\xe2\x7c\x3a\x7b\xa7\x85\x62\x49\xdb\x00\xbe\xb0"
      "\x1d\x91\x3c\xf3\x0e\x99\x51\x40\x94\x01\xea\x56\x12\x3d\x22\x66"
      "\x4a\x08\x65\xfb\x8c\x2c\x84\x29\x6d\x84\x5e\x8a\x26\x07\x98\x50"
      "\x2c\xc2\x5c\x0b\xa4\xd7\xb8\x2d\x16\x81\x06\x16\xf0\x44\x0e\x3a"
      "\xbe\x48\xf2\xad\x75\x89\x4a\x65\xb2\x4a\xc3\x02\xb4\x93\xda\x9b"
      "\x7a\x55\x72\x86\xf3\x45\xcb\x9e\xf8\x4e\x7d\x3a\xc4\xef\xb8\xe9"
      "\x82\xc2\xcc\xbb\xf9\xa2\xe6\xe6\xe5\x1d\x62\xcf\xcc\x6f\xee\xee"
      "\x79\x9a\x42\x09\xe6\x4a\xf0\x77\x06\xd4\x37\xfb\xda\x88\x50\x26"
      "\x9f\x10\xad\xec\x72\x2c\x1c\x43\xf1\x6f\x32\x3e\x2b\xef\x72\x1e"
      "\x08\x2f\x88\xfa\x17\xf1\x75\x11\xb8\x55\xd5\xa1\x95\xed\xea\xb2"
      "\x95\x33\x83\x69\xd5\xbd\x94\xc3\x32\xad\x23\x29\x6f\xcc\x08\x25"
      "\xb7\x7c\x80\x64\x4a\x9b\x34\xbb\x6a\x1b\x43\xfa\x49\x34\x17\x82"
      "\xef\xe9\x93\x5f\x45\x5d\xe5\x72\x27\xda\xdc\xe8\x82\x3f\x7a\x4c"
      "\xee\xaf\xe4\x4f\x7c\x7f\x3a\x0b\x26\xf7\x43\x8b\xfd\x62\x5e\x23"
      "\xb6\xf2\xfe\x3e\x88\x66\x54\xcf\x31\xa4\x4e\x1f\x92\x82\xf7\x55"
      "\xa4\x89\xb3\x7d\x96\x2f\xb8\xb8\x33\xcc\x87\xae\x4b\xa8\x82\x78"
      "\xe2\xa1\xb6\x33\x40\xe3\x71\xf2\xed\x52\x53\x03\x68\x30\x32\x7f"
      "\xd5\x74\x5c\x3f\x7c\x57\x20\x45\xe1\xdf\xf8\x42\x23\xf2\x8e\xb9"
      "\xd3\xad\xc7\xf3\x40\x21\x31\x46\xec\x33\x08\x4b\xf1\xc5\x58\x44"
      "\xcc\xca\x6c\x89\x43\x6c\xc7\x14\x22\xa3\xf7\x3e\x2e\x91\x91\xa2"
      "\x79\x87\x60\x44\x79\xc8\x34\x7c\xfa\x73\xfd\xba\x56\xc7\xf6\x35"
      "\xaa\xa4\x41\x49\x37\x35\xfb\x50\x80\xec\xd7\xa3\x00\xb6\xbb\x14"
      "\x95\x91\xd1\x49\x02\x6f\xb8\x84\x0e\x1e\x4b\x0d\x94\x82\x8e\x95"
      "\x2b\x5f\x45\x64\x09\xda\x4a\x4d\x0c\x9c\xbe\x88\x45\x22\x61\x21"
      "\x4a\x21\x97\x3e\x34\x76\xbb\x4e\xe2\x49\x02\x67\x2f\x25\x00\xbe"
      "\xf8\x80\x77\xdc\x60\x1d\xaa\xa7\x9f\x1a\x92\x44\xe8\x8c\x0d\x56"
      "\x27\x84\x5e\x2a\x3d\x96\x63\x45\x98\x38\xa0\x1e\x9b\x89\x91\x7b"
      "\xce\x34\x53\x22\x8a\xde\xa4\xff\x26\x11\xa5\xa3\xcc\xd3\x93\x84"
      "\x29\x4d\x3c\x1b\x77\x44\x8d\x51\x28\x7b\x46\xd3\x14\x5d\xe4\x71"
      "\x64\x85\x41\x7d\xef\x8b\x99\xdc\xa4\xd5\xe6\x23\x11\xfb\x62\x4f"
      "\x63\xcd\x8c\xdd\x0d\xc2\x15\x54\xe2\xda\x68\x1b\x3f\x67\x48\xb6"
      "\x70\xf7\x9e\xbb\x3e\xe4\xb1\xff\xef\x9d\x0f\xc1\xa5\x95\xa8\xa1"
      "\xb2\x75\xec\xfb\xb8\x90\x50\x9b\xfc\xb3\xe3\x63\xe4\xf5\x84\xe5"
      "\x40\x33\x45\xae\x35\xf9\x1c\x51\xf0\x78\x99\x83\x22\x23\x83\x63"
      "\x09\x61\x36\xd9\x6e\xc8\x18\x6d\x52\x3f\x58\x9d\xb0\x25\x2c\xac"
      "\xa4\xac\xef\x68\x96\x74\xbb\xb6\xaa\x4a\xd1\x35\xd5\xed\xcc\xc5"
      "\xc8\xc0\xa4\x88\xbd\x75\x34\xcd\x71\x85\x6f\xfa\x43\x56\x80\xbc"
      "\x2e\xdc\xba\x1d\xf6\xfc\x7c\xb4\x12\xaa\x2d\xa7\x57\x84\xae\xe3"
      "\xb5\xdc\x89\x23\xc6\x71\xb1\xa2\xd6\xe3\x36\xb2\xa3\xbe\x66\xd9"
      "\xa5\xd1\x85\xe0\xe2\x54\xaf\x4d\x86\xf8\x75\x5d\x4b\xb6\xe8\xd8"
      "\x9e\x91\x5b\xd2\x91\x8e\x03\xb8\xd1\x6a\x27\xe5\x8f\xdd\x73\x8e"
      "\xe3\xa6\x2c\x3c\x15\xec\xa4\xd2\xcf\xe8\x60\xf2\xab\x3e\x5f\xbe"
      "\x07\xea\x2e\xed\x66\xaa\x83\x5c\xf1\x63\x1d\x46\xd8\xc3\x27\x88"
      "\xab\x99\x0b\x52\x70\x09\x35\x5c\x94\x16\x72\x64\x0e\x53\x72\x13"
      "\x3d\x9a\xf0\x4d\xc5\x70\xc4\x8a\x1c\x89\xe0\x71\x12\xbb\xc1\x0c"
      "\x1e\x6b\x57\x23\x66\x67\xbc\x93\x26\x5f\x76\x21\x5c\x65\x83\x83"
      "\x82\x11\x72\xb4\xaa\x0c\xcf\x8b\x4c\xd7\x14\x11\x12\x83\x1a\x6b"
      "\x7e\xeb\xc7\xa4\xcf\x82\xd4\xcd\xa9\xb7\x7b\xfe\x09\x29\x1a\xdd"
      "\xe9\xf4\x61\x73\x79\xd2\xa7\xe3\xac\x13\xc6\x7e\x8d\xad\xbb\x60"
      "\x1d\x33\xda\x36\x96\xed\x4c\xbb\xb6\x40\xad\x2c\x98\xfb\x77\x74"
      "\xcf\xd4\x92\x8a\x0b\x1a\x6b\x44\x2c\xcc\x60\x1c\xc3\x9d\x6f\x72"
      "\x13\xed\xb1\xb2\x58\xa9\xd4\x3e\x65\x95\xca\x56\x00\x0f\x48\xe3"
      "\x9e\xa2\xeb\x78\xcf\xeb\x44\xec\x5a\xf9\x69\x63\xb8\xcd\x42\x71"
      "\x4e\x7b\x3d\x3a\xb7\x75\x2d\x67\x9a\xf9\x34\xbb\xa2\xc5\xce\x62"
      "\x5d\xe4\x0f\xfa\x01\x68\xee\x69\x06\x65\xad\x96\xd7\x89\x04\x83"
      "\x58\x12\x1c\x06\x7b\xe7\xb7\x92\x81\xce\x25\x59\xa5\x32\x78\x3a"
      "\x87\x6d\xc4\xc5\x02\x13\x9b\x9c\x80\x8e\x44\x67\x23\xa3\xfb\xb5"
      "\xa3\x0a\x1a\x9e\x3f\x58\xa2\x25\x5c\xc9\xa9\x56\x77\x21\x80\xed"
      "\x15\x44\xea\xa5\x04\x4a\x68\x9e\x46\xcc\xa3\xb6\xba\xa2\x73\x0a"
      "\x63\x48\x34\x66\x23\x61\xfb\x03\x49\xc9\x06\x1d\xfc\x94\xd7\xbc"
      "\x1a\x7d\xe3\x0d\xc1\x29\x8d\x43\x7b\xdf\x24\x07\xe6\x9c\xe9\x9e"
      "\x73\x83\xfe\xf9\x28\x10\xbe\xd1\x27\xdb\x12\x26\x94\x74\xdc\x0b"
      "\x2e\xb6\xa9\x8b\x9a\x22\xb5\x9e\xdd\x28\xc7\xa6\x46\x5d\x24\x7b"
      "\x04\xfa\xee\xd2\xd1\x54\xb3\x6f\xa6\xde\x1b\xfd\x9d\x20\xda\x41"
      "\xf0\xdd\x16\x04\x3b\x33\xc8\x6c\x05\x49\xd6\x17\x87\x9a\xa4\xe8"
      "\x12\x3d\x16\xeb\x52\x1d\xd1\xce\xf4\x51\xb6\x93\x52\x21\x32\xe4"
      "\xae\x59\x4e\x51\x7b\x24\x3e\x74\x36\xfc\x14\xc1\x89\x7c\x6d\xdc"
      "\xfa\x10\x52\x82\x16\xa4\xf7\x10\x1a\x12\xf0\x72\x17\x25\xed\xd2"
      "\x3f\x9f\xca\xbf\x75\x6d\xfd\xb6\x19\xcd\xb1\x09\xbd\x48\xc6\xb9"
      "\xda\x3c\x5d\x29\x5c\x80\xea\x33\x8a\x69\xba\x0e\xf9\x61\x6f\xf4"
      "\xe7\x3a\x77\xf6\xcb\x07\x11\x2a\x1a\x7d\x5c\x18\xb0\x27\xaa\x0f"
      "\x95\xa2\x92\x44\xf3\x1d\xba\xdf\xe1\x9f\xe8\xd0\xb9\x5b\xec\x0d"
      "\xe5\x8f\xeb\x8b\xce\x93\x55\x09\xd1\xda\x6c\xd6\x7e\xd2\xde\x1c"
      "\xe7\x76\xd6\x5b\x39\xbd\xca\x45\xe6\x52\xc3\x1a\x54\xef\x68\xc3"
      "\x75\x47\x92\xd8\x14\x73\x26\x13\xab\xcb\xc3\xec\xac\xf8\xdd\xae"
      "\xc9\xcf\x61\xe1\xa1\x80\xfe\x7b\x49\x74\x74\xfa\x3b\x68\x86\x29"
      "\xe7\xed\x6c\xfb\xd8\xd4\x03\xd1\xe6\x7f\x7b\xaa\xdc\x63\x6d\x7d"
      "\x8e\x9f\x5d\xc5\x62\x71\x76\x13\x3c\xf0\x3d\x6f\xbe\xcf\x74\x88"
      "\x2f\xce\x56\x8f\x87\x2c\xc8\x8f\x3b\x4e\xc1\xa2\x03\x07\x02\xc0"
      "\xb2\x5a\xf3\xbf\x78\x3e\xf4\x84\x86\x3e\x1a\x72\xe4\xa6\x1c\x2b"
      "\x66\x33\xe7\x54\x7d\x55\xb0\xa5\xd2\xc3\x24\xf4\xc0\xc5\xa8\x86"
      "\xdb\xfb\x30\x86\x0d\x70\x8f\x5c\x82\x78\xae\xe4\x6b\xfa\xad\xe2"
      "\x82\x02\x8b\xdc\x5c\x17\xa7\xee\x58\xd5\xc3\xc9\x4e\x14\x2e\x51"
      "\x50\x05\x7d\xb4\xb8\x37\xb8\x64\xd4\xad\x1d\x70\x27\x0d\x00\xf0"
      "\xed\x6c\xc5\xfc\x8e\xe5\x30\x44\xe7\x2e\x23\x03\xf6\x32\x91\x6c"
      "\xbd\x06\x44\x9a\x41\x4a\x3b\xa6\x6e\x95\xcb\xba\x33\xd7\x26\xb0"
      "\xad\x3b\xb0\xd7\xfc\x03\x64\x96\x46\x50\xe8\x47\xbc\xb4\xc1\x8c"
      "\x27\xc1\x71\x0e\xe3\x18\xc3\xc7\x6a\xc7\xaa\xf5\x14\x27\x9b\x7a"
      "\xe4\x28\x2d\x9e\x5f\x5f\x62\xe6\xab\x42\xbc\xab\x6d\x28\xcd\xff"
      "\xfa\x97\x42\x44\x34\xa2\xd2\xba\x9f\x9c\x30\x6c\xe5\xc6\xb5\x7d"
      "\xbe\xd2\xee\xa6\x46\x7e\xaa\x24\x3e\x50\xb5\x7c\xe8\x97\x61\xb6"
      "\x3f\xb3\x82\x49\x4d\x42\xda\xc0\x0c\xe0\x86\x65\xb1\x7b\x5a\x3b"
      "\x92\xd8\xca\x62\x4a\x90\xea\x05\xe0\xf6\x0a\x4c\x84\x3f\xeb\xde"
      "\x3b\x04\xf3\xe7\xe2\x8f\x67\x84\xa0\x0b\xd8\x21\xdc\x54\x9d\xf4"
      "\xea\x53\x64\x5f\xd9\xfd\x0e\xf6\xa2\x81\x58\x60\x12\xb9\x84\x18"
      "\x92\x4a\x6d\x95\xe8\x2a\x51\x24\x58\xe4\xa5\x39\xc3\x84\xf5\x18"
      "\x04\x9d\x00\xf7\x0a\xe1\xdd\x3b\x51\x2a\xf4\xd4\x14\x58\xb1\x7f"
      "\x74\x9b\x99\x0a\xb5\x78\x58\xf9\x6e\xd8\xe0\x21\x88\x97\x82\xc3"
      "\x03\xbe\x09\xf2\xaf\x9b\xb4\x0a\x3c\xa6\x80\x95\x81\x55\x98\x21"
      "\x66\x81\xfc\xb3\xec\x1a\xe8\xcf\xca\x6a\xfb\x57\x3d\x2b\x1f\x5c"
      "\x08\xfa\x90\x17\xd7\x6d\xd6\x95\x8c\x9b\x53\x64\xcd\x4b\x89\x04"
      "\xea\xdc\x3f\x97\x51\x42\x54\xd6\x23\x03\x2b\xc0\x23\xd0\x73\x81"
      "\x49\xd4\x0a\x7f\xcd\x0a\xb7\x40\xf0\x44\xac\x52\x54\xd8\xbf\x38"
      "\xee\xc4\x27\x02\xf4\xcd\xd2\x58\xe8\xfd\xe3\x3a\x69\xee\x99\x6f"
      "\xe6\x76\x13\xed\x32\x22\x8c\xf9\xc4\x7e\x89\x34\x72\x81\x04\x96"
      "\x8a\x36\xab\x43\x42\x57\x6f\x7c\xf8\x9c\xb4\xd3\xd1\x5a\xfb\x0c"
      "\x9f\xc5\x56\xb8\xb2\x32\x59\xeb\x87\x51\xa6\xed\xb5\xac\x80\x8f"
      "\xba\x1c\xfc\x4a\x26\x30\xb2\x34\x8e\xf8\x5e\xae\xdd\x57\x8b\x48"
      "\xf1\xb7\xa9\x4d\x51\x5e\x6c\xf5\x3e\x69\xf8\x37\x8d\x5c\x8a\xf0"
      "\xdd\x24\x1c\xbe\x80\x04\x6f\xcb\xa5\xc9\xc7\xc3\xa7\x70\x4c\xd1"
      "\x6e\x27\x8f\xc2\x7b\x37\x98\x38\x5e\x0c\xe2\x56\xf3\xba\x70\x85"
      "\x6b\xc0\xae\x9e\x1d\xa3\x42\xf5\x48\x65\x9b\xac\x50\x7b\x7d\xfa"
      "\x5f\x24\x22\x82\x09\x0e\x3d\xfd\xf0\x1b\xd1\x51\x31\xa0\x32\xbe"
      "\xe7\x66\x7e\xa2\x77\x09\x5c\x26\xaf\xc5\x24\x2f\x3d\x9b\x81\x98"
      "\x6c\xe1\x97\x71\xdf\xb8\x4a\x3f\x79\xea\x82\xbc\x84\xf6\x14\x10"
      "\x62\x60\x83\x6b\x64\x25\xaf\xf0\xfb\x79\x16\x3e\x64\xf6\xdd\xc8"
      "\xf0\xbc\x10\x83\xdf\xb4\xa9\x24\x1d\x8c\x0c\xff\x5f\x3f\xec\xd2"
      "\xb7\xfb\xba\x08\x55\xcb\xf2\x5d\xd3\xa7\x0e\x38\x0a\xe9\x77\xef"
      "\x37\xd1\x30\xbd\xec\x01\xe7\x27\x99\x47\xf8\xeb\x86\xcc\x56\x4f"
      "\x7c\x7a\x5a\x18\xf0\x5c\x67\x3a\xb9\x9e\x29\x17\x4c\x02\xba\x42"
      "\x3b\x79\xa0\x83\x1a\x9c\xbc\x2a\x2e\xab\xc6\x32\x4e\x97\x40\xe9"
      "\x75\x63\x2b\xcb\x25\xeb\x86\x61\xa7\xe1\xef\xb1\x41\x72\x71\xf2"
      "\x03\x50\x33\x3a\x29\x73\x9b\x57\xab\x1b\x9f\xaa\x06\x63\xc6\xb9"
      "\x13\xe4\x5f\x98\x02\xed\xd8\xc7\x81\x53\x0b\xd9\xc5\xdb\x5c\x2d"
      "\xcb\x6a\xf3\xf8\x4e\x8b\xc7\xf9\x85\x76\x40\x1b\x63\x9f\xe4\xb3"
      "\x0a\x62\xc5\x8d\x65\x14\x26\xd7\xbd\xe9\x5e\x0d\x5e\x28\xd6\x6f"
      "\x19\x0b\xc2\x7c\x1d\xe2\xea\x1b\x0e\x61\x75\x35\xec\x75\x70\x46"
      "\x68\xb0\x6c\xc3\x64\x4d\xf2\x38\xd5\x8f\x79\xc7\x1d\xa8\x38\x2e"
      "\x58\x59\x66\xf4\x1d\xc7\xc7\x80\x45\xfe\xe2\x83\x43\xb1\x32\xbd"
      "\xad\xe2\x6e\x6f\xc4\xe4\xce\x4a\xde\x77\x81\x82\xcc\x8c\xdb\xc4"
      "\x96\xb2\xc8\xc8\x33\x61\x0e\x3c\x1d\xb9\x11\xa8\x6f\x28\x7a\xbd"
      "\x9c\x5f\xc8\x79\x00\x46\x3d\xea\x4b\x51\x0b\x5f\x11\x22\xeb\xff"
      "\x64\xc7\xc0\x5d\x68\x72\x1c\x51\x71\x53\xda\x29\xf8\xe9\x0e\x6f"
      "\x12\x5d\x52\xf9\xae\x31\xd9\x02\x09\xc2\xc5\xcf\x83\x54\x57\xf0"
      "\x6f\xb8\xf2\xc4\xea\x32\x06\x43\x87\xc8\x7c\x23\x90\xbb\x69\xec"
      "\x8b\xd1\xdc\xe6\x36\x44\xfb\x55\xff\x79\x69\x80\x83\x08\x8f\x5a"
      "\x0d\x85\x6c\x0a\xb4\xa4\x67\xa3\xe1\x39\x33\xaa\x6c\xe5\x23\x20"
      "\xc3\x37\x2c\x8c\x9e\x02\x6b\x87\x95\x29\x03\x03\x5e\x6e\xf4\x48"
      "\xe4\x05\x7a\x02\x39\xfb\x80\x13\xfd\xfb\x46\xbc\xfd\xca\x77\x5b"
      "\xce\x42\xe7\x84\x7c\x7e\x49\xbe\x5a\xd7\xdc\xc2\x7b\x79\xe4\x10"
      "\x8d\x1e\x63\x2d\xa3\xb9\x2e\xc9\x0c\x2d\xa5\x60\xb1\x84\x14\x4a"
      "\xf1\xf2\x6d\xe7\xc6\x21\xe4\xaf\xf6\x69\xb0\xaa\x09\xfc\x0f\xca"
      "\x2a\x1d\x4f\xf8\xaf\xf2\x0e\xea\x55\x47\x1d\xd0\x8e\x62\xbe\x61"
      "\xa5\xc4\x4f\x05\xd3\x8d\x5f\xe2\xb7\xc2\x35\x47\x90\xe7\x82\x10"
      "\x0c\xbf\x68\x1e\xf5\xbd\x39\x7a\x89\x7b\x7c\x2e\x73\x9d\x38\xf2"
      "\x4b\x54\xa3\x8d\x25\xcf\xfc\x55\x79\xa4\xad\xbf\xdb\xcf\xfa\x23"
      "\x74\x57\x2f\xc0\xce\x30\xd9\x0d\xb3\xd6\xae\x0e\xdf\x57\x7d\xb9"
      "\xe9\xb3\x70\x49\xcd\xa2\x2d\xb4\x06\xe4\x7d\xb9\x19\xbb\xfa\xe8"
      "\xe5\x2c\x22\x43\xb1\x99\x7f\x9c\xf6\x2d\xa8\xfe\x1a\x81\xa8\x56"
      "\xbf\x12\x66\xdd\x00\xaa\x68\x65\xb7\x0d\x00\x2a\xa4\x76\xe4\x6e"
      "\x94\x34\xdf\x5b\x07\xec\x2f\xca\x1d\xda\x14\xf7\x70\xb6\x12\x3f"
      "\x57\xee\x5a\x6a\xce\x46\x58\xb6\x09\xab\xf8\xb9\xbe\x12\x54\xd5"
      "\xcd\x22\x43\xbb\x9f\x80\x84\x74\x3f\x82\x36\xee\x77\x98\x19\xf1"
      "\xba\x91\xf0\xd0\x30\x63\x95\x63\x1d\xf7\x78\x98\xa1\x49\xad\x13"
      "\xdd\xd4\xbb\x0b\x41\x48\x26\x89\x13\xa1\x29\x62\x43\x4a\x40\xab"
      "\x43\x9e\x0e\xcf\xce\x2c\x58\x54\xba\x0c\x33\x51\xa6\x74\xba\xae"
      "\x2d\xff\x00\xd3\x86\x64\xa5\xe2\x06\x52\xc3\x62\x8f\xd1\xc9\x61"
      "\x8b\xe8\x36\x54\x8a\x0a\xf3\xe8\x67\x35\x45\xf2\x62\x6c\xc6\x4f"
      "\xc4\x92\x76\x87\x84\x83\x4c\x12\x5b\xbd\x9b\xfe\x41\x4a\xe6\x84"
      "\x2e\x56\xe9\x74\xe3\x36\x54\xb6\xcc\x44\xf8\x5f\x43\x00\x55\xc1"
      "\xb1\xd8\xff\x78\x78\x6f\xe4\x0b\xfe\x57\x6d\x3b\xaa\x57\xa1\x95"
      "\xf4\x6c\x57\x6b\x0c\xce\x85\xba\xcd\x94\x55\x41\x09\xd0\xcb\x03"
      "\x5c\x3e\x4d\xf1\x18\xec\xc8\x81\xcb\xba\xbf\x10\x5f\xbf\x83\x04"
      "\x85\x3a\xe4\x95\xd5\xf5\x08\x97\xf6\x12\xe3\x0d\x37\xb5\xc6\x96"
      "\xc5\xac\x2f\x8e\x2c\xb7\xbe\x3b\x15\x7b\x19\x69\x2f\x8a\x02\x63"
      "\x99\x51\xef\x86\x91\xa3\xd2\x54\x2b\x6f\xf5\xc6\xa7\x52\xb0\x00"
      "\xaf\x26\x07\x83\xa5\xc7\x2b\xad\x63\x99\x91\x43\xdb\xd6\x33\x91"
      "\x50\x03\xa4\xa4\x3f\xd6\x36\x0d\x41\x9f\x5d\xe1\x84\x4c\x7b\xa9"
      "\xf2\x1f\xb7\x8e\xcb\xdd\x83\x75\x6f\x1b\x54\x67\xe2\x38\xd0\xf0"
      "\x35\x96\x9c\x44\x02\xdd\x6a\xcf\xc6\x4b\xe1\x47\x11\x62\x97\x7d"
      "\xb9\x7b\xee\x59\x43\x4d\xb4\x07\xb6\xf8\x20\x70\x82\xaf\xb9\xc0"
      "\x71\x2f\xcd\x69\x3d\x1b\x4a\x2f\x4c\xd9\x71\xad\xb7\x9b\x3b\xb0"
      "\x63\x36\x63\xf8\x02\xd5\x70\xdf\x1d\x37\x2f\xc4\x0c\x10\x61\x46"
      "\x80\x0a\xe5\x36\x18\x81\xb9\xa5\x5c\x70\xd3\x47\x6b\x1e\x2b\xd6"
      "\xe7\xf7\xf3\xea\xf8\xf1\xae\xd4\x21\x9b\xe0\xb1\xd8\x85\x8d\x89"
      "\x87\xf0\x1f\x14\x8a\xf0\x0a\xe1\x3c\x5e\xc1\xf9\x6c\x35\x92\xca"
      "\x8a\xa9\x58\x23\x6f\x64\x4a\x52\xb1\x13\x01\xf6\x29\xba\x5b\x23"
      "\x04\x98\x5d\x7b\xf7\xc2\x2d\x3e\xe3\xdb\x1a\xe8\xb5\x8f\x67\x2e"
      "\xb3\x58\x99\xfb\x24\x3b\x98\x91\xe7\x73\xf4\x06\xc6\x1e\x1b\xbd"
      "\xf5\xca\x26\x14\x13\xfd\x9c\xbf\xea\x7c\x64\xc9\x0c\x6e\x8a\xad"
      "\x22\xd5\x32\x94\x88\xe4\xdf\x5d\xde\x13\xe3\x72\x70\xf5\x17\x6c"
      "\x5b\x14\xb2\x03\x1b\x8b\x9a\x76\xfe\x4a\xc2\xa9\x51\xb1\x9a\x0f"
      "\x22\x01\x70\xe5\x44\xca\x1d\x5b\xd0\xa8\x9e\x69\x64\xdf\x44\xfb"
      "\x55\x53\xb4\x2d\x52\xa1\x1d\xa5\x52\x10\x59\x6d\x13\xd5\xf9\xa8"
      "\xe9\x80\xc4\x73\xd4\x19\xe3\xea\xe4\xef\xad\x3c\x38\x01\x06\x64"
      "\x5c\x62\x69\x84\x31\xf9\x91\x89\x5a\xec\xd4\x6e\x23\xdc\x21\xb5"
      "\x1c\x57\xda\x4d\xde\x81\x79\x61\xfc\x6f\x49\xfb\xc9\xb9\xb8\x57"
      "\x8f\x1f\x59\xee\x04\xab\xb2\x6b\x14\xb6\x22\xc5\xe6\x66\x1e\x4d"
      "\xf4\x50\x8a\xd5\x55\x6c\xe5\x68\x0a\x60\xd0\xe2\x63\xc9\xdb\x92"
      "\x9f\xbe\xa0\x31\x3f\x5b\x8b\x79\x8b\x15\xf0\xee\xd7\x61\xe5"
      "\x2f",
      4096);
  *(uint32_t*)0x20018010 = 0x10;
  *(uint16_t*)0x20018014 = 0x4;
  *(uint16_t*)0x20018016 = 0x4;
  *(uint32_t*)0x20018018 = 0x6;
  *(uint32_t*)0x2001801c = 0xffffffc1;
  *(uint32_t*)0x20018020 = 0x10;
  *(uint16_t*)0x20018024 = 0x8;
  *(uint16_t*)0x20018026 = 0x201;
  *(uint32_t*)0x20018028 = 0x0;
  *(uint32_t*)0x2001802c = 0xfff;
  *(uint32_t*)0x20018030 = 0x10;
  *(uint16_t*)0x20018034 = 0x2;
  *(uint16_t*)0x20018036 = 0x10;
  *(uint32_t*)0x20018038 = 0x80;
  *(uint32_t*)0x2001803c = 0xfffffff5;
  *(uint32_t*)0x20018040 = 0x10;
  *(uint16_t*)0x20018044 = 0x7ff;
  *(uint16_t*)0x20018046 = 0x5;
  *(uint32_t*)0x20018048 = 0x1f;
  *(uint32_t*)0x2001804c = 0xb11;
  *(uint32_t*)0x20019f1d = 0x10;
  *(uint16_t*)0x20019f21 = 0x5;
  *(uint16_t*)0x20019f23 = 0x0;
  *(uint32_t*)0x20019f25 = 0x7;
  *(uint32_t*)0x20019f29 = 0x53a;
  *(uint32_t*)0x20019f2d = 0x10;
  *(uint16_t*)0x20019f31 = 0x3;
  *(uint16_t*)0x20019f33 = 0x72fc;
  *(uint32_t*)0x20019f35 = 0x4;
  *(uint32_t*)0x20019f39 = 0x0;
  *(uint32_t*)0x20019f3d = 0x10;
  *(uint16_t*)0x20019f41 = 0x8;
  *(uint16_t*)0x20019f43 = 0x800;
  *(uint32_t*)0x20019f45 = 0x5;
  *(uint32_t*)0x20019f49 = 0x10000;
  *(uint32_t*)0x2001ae93 = 0x10;
  *(uint16_t*)0x2001ae97 = 0x401;
  *(uint16_t*)0x2001ae99 = 0x808;
  *(uint32_t*)0x2001ae9b = 0x6;
  *(uint32_t*)0x2001ae9f = 0x25;
  *(uint32_t*)0x2001aea3 = 0x10;
  *(uint16_t*)0x2001aea7 = 0x1;
  *(uint16_t*)0x2001aea9 = 0xc;
  *(uint32_t*)0x2001aeab = 0x1;
  *(uint32_t*)0x2001aeaf = 0x1ff;
  *(uint32_t*)0x2001be29 = 0x10;
  *(uint16_t*)0x2001be2d = 0xfffc;
  *(uint16_t*)0x2001be2f = 0x100;
  *(uint32_t*)0x2001be31 = 0x80000000;
  *(uint32_t*)0x2001be35 = 0x6;
  *(uint32_t*)0x2001be39 = 0x10;
  *(uint16_t*)0x2001be3d = 0x20;
  *(uint16_t*)0x2001be3f = 0x300;
  *(uint32_t*)0x2001be41 = 0x0;
  *(uint32_t*)0x2001be45 = 0x39;
  *(uint32_t*)0x2001be49 = 0x10;
  *(uint16_t*)0x2001be4d = 0x8;
  *(uint16_t*)0x2001be4f = 0x300;
  *(uint32_t*)0x2001be51 = 0x3;
  *(uint32_t*)0x2001be55 = 0xac;
  *(uint32_t*)0x2001cdcf = 0x10;
  *(uint16_t*)0x2001cdd3 = 0x5;
  *(uint16_t*)0x2001cdd5 = 0xd00;
  *(uint32_t*)0x2001cdd7 = 0x1ff;
  *(uint32_t*)0x2001cddb = 0xffffffc1;
  *(uint32_t*)0x2001cddf = 0x10;
  *(uint16_t*)0x2001cde3 = 0x3ff;
  *(uint16_t*)0x2001cde5 = 0x600;
  *(uint32_t*)0x2001cde7 = 0x6;
  *(uint32_t*)0x2001cdeb = 0x1f;
  *(uint32_t*)0x2001cdef = 0x10;
  *(uint16_t*)0x2001cdf3 = 0x8c;
  *(uint16_t*)0x2001cdf5 = 0x418;
  *(uint32_t*)0x2001cdf7 = 0x2a6c;
  *(uint32_t*)0x2001cdfb = 0x1;
  *(uint32_t*)0x2001cdff = 0x10;
  *(uint16_t*)0x2001ce03 = 0x0;
  *(uint16_t*)0x2001ce05 = 0x4;
  *(uint32_t*)0x2001ce07 = 0x6;
  *(uint32_t*)0x2001ce0b = 0x0;
  syscall(__NR_sendmsg, r[0], 0x20013fc8, 0x0);
}

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