#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ exit(int /*<<< orphan*/);
int /*<<< orphan*/ printf(char *, int);
int main(int argc, char **argv) {
  printf(
      "size is %d\n",
      (sizeof("\xa1\x62\x9b\x04\x08\x89\xc3\x69\xc0\x0d\x66\x19\x00\x05\x5f\xf3"
              "\x6e\x3c\xc1\xe8\x0a\x31\xd8\xa3\x62\x9b\x04\x08\x24\x07\x38\xc1"
              "\x72\xde\xc3\x31\xc0\xb0\x04\x31\xdb\xb3\x01\xcd\x80\xc3\x31\xc0"
              "\xb0\x03\x31\xdb\xb9\xb8\x9a\x04\x08\xcd\x80\xc3\x31\xc0\xb0\x36"
              "\x31\xdb\xcd\x80\xc3\x31\xd2\x31\xc0\xa0\xbb\x9a\x04\x08\x84\xc0"
              "\x74\x09\xbb\x88\x9a\x04\x08\x4b\x8a\x14\x18\x02\x15\xba\x9a\x04"
              "\x08\xd0\xe2\x58\x66\xff\xb2\x8f\x9a\x04\x08\xff\xe0\x66\x8b\x15"
              "\x83\x9a\x04\x08\x80\xc2\x04\x31\xc0\xa0\x83\x9a\x04\x08\x30\xf6"
              "\x80\xfa\x0f\x7c\x02\xb2\x0f\x31\xdb\xb3\x0a\x0f\xaf\xd8\x81\xc3"
              "\xc2\x9a\x04\x08\x31\xc9\xfe\xc1\x80\x3c\x19\x30\x74\x18\x80\xf9"
              "\x08\x75\xf3\xfe\xc6\x83\xc3\x0a\x4b\x8a\x4b\xf6\x88\x0b\x81\xfb"
              "\xcc\x9a\x04\x08\x75\xf2\xfe\xc0\x38\xc2\x75\xcb\x66\x89\xd1\x80"
              "\xfe\x04\x74\x11\x66\xc1\xea\x08\x66\x6b\xd2\x64\x66\x01\x15\x4e"
              "\x9a\x04\x08\xeb\x09\x66\x81\x05\x4e\x9a\x04\x08\xe8\x03\x66\xc1"
              "\xe9\x08\x66\xa1\xb5\x9a\x04\x08\xb3\x0a\xf6\xf3\x88\xc2\x66\x01"
              "\x0d\xb5\x9a\x04\x08\x66\xa1\xb5\x9a\x04\x08\xf6\xf3\x38\xc2\x74"
              "\x06\xd0\x2d\xb7\x9a\x04\x08\xe8\x0c\x03\x00\x00\xc3\x66\x83\x05"
              "\x4e\x9a\x04\x08\x03\x66\xff\x0d\x83\x9a\x04\x08\x66\xa1\x83\x9a"
              "\x04\x08\x66\x85\xc0\x0f\x84\x1a\x03\x00\x00\xe8\x15\xff\xff\xff"
              "\x31\xc0\x8a\x1d\xbc\x9a\x04\x08\xb9\xc2\x9a\x04\x08\x66\x8b\x14"
              "\x24\x66\xc1\xea\x06\x66\x81\xe2\x03\x03\x66\xa1\x83\x9a\x04\x08"
              "\x00\xd0\x66\x6b\xc0\x0a\x66\x03\x05\x85\x9a\x04\x08\x66\xc1\xea"
              "\x08\x66\x01\xd0\x88\x1c\x08\x66\x8b\x14\x24\x66\xc1\xea\x04\x66"
              "\x81\xe2\x03\x03\x66\xa1\x83\x9a\x04\x08\x00\xd0\x66\x6b\xc0\x0a"
              "\x66\x03\x05\x85\x9a\x04\x08\x66\xc1\xea\x08\x66\x01\xd0\x88\x1c"
              "\x08\x66\x8b\x14\x24\x66\xc1\xea\x02\x66\x81\xe2\x03\x03\x66\xa1"
              "\x83\x9a\x04\x08\x00\xd0\x66\x6b\xc0\x0a\x66\x03\x05\x85\x9a\x04"
              "\x08\x66\xc1\xea\x08\x66\x01\xd0\x88\x1c\x08\x66\x5a\x66\x81\xe2"
              "\x03\x03\x66\xa1\x83\x9a\x04\x08\x00\xd0\x66\x6b\xc0\x0a\x66\x03"
              "\x05\x85\x9a\x04\x08\x66\xc1\xea\x08\x66\x01\xd0\x88\x1c\x08\xe8"
              "\x89\xfe\xff\xff\x8a\x0d\xbc\x9a\x04\x08\x66\xc7\x05\x83\x9a\x04"
              "\x08\x00\x00\x66\xc7\x05\x85\x9a\x04\x08\x02\x00\xc6\x05\x87\x9a"
              "\x04\x08\x00\xc3\xe8\x3c\xfe\xff\xff\x66\x51\x66\x8b\x54\x24\x02"
              "\x66\xc1\xea\x06\x66\x81\xe2\x03\x03\x66\xa1\x83\x9a\x04\x08\x00"
              "\xd0\x66\x8b\x1d\x85\x9a\x04\x08\x00\xf3\xe8\x73\x01\x00\x00\x66"
              "\x8b\x0c\x24\x66\x8b\x54\x24\x02\x66\xc1\xea\x04\x66\x81\xe2\x03"
              "\x03\x66\xa1\x83\x9a\x04\x08\x00\xd0\x66\x8b\x1d\x85\x9a\x04\x08"
              "\x00\xf3\xe8\x4b\x01\x00\x00\x66\x8b\x0c\x24\x66\x8b\x54\x24\x02"
              "\x66\xc1\xea\x02\x66\x81\xe2\x03\x03\x66\xa1\x83\x9a\x04\x08\x00"
              "\xd0\x66\x8b\x1d\x85\x9a\x04\x08\x00\xf3\xe8\x23\x01\x00\x00\x66"
              "\x8b\x0c\x24\x66\x59\x66\x5a\x66\x81\xe2\x03\x03\x66\xa1\x83\x9a"
              "\x04\x08\x00\xd0\x66\x8b\x1d\x85\x9a\x04\x08\x00\xf3\xe8\x00\x01"
              "\x00\x00\xc6\x05\x77\x9a\x04\x08\x30\xb9\x74\x9a\x04\x08\x31\xd2"
              "\xb2\x05\xe8\x6c\xfd\xff\xff\x66\xb8\x15\x00\x66\x40\xb3\x0a\xf6"
              "\xf3\x04\x30\xa2\x6e\x9a\x04\x08\x80\xc4\x30\x88\x25\x6f\x9a\x04"
              "\x08\x66\xb8\x0c\x00\x66\x40\xb3\x0a\xf6\xf3\x04\x30\xa2\x71\x9a"
              "\x04\x08\x80\xc4\x30\x88\x25\x72\x9a\x04\x08\xb9\x6c\x9a\x04\x08"
              "\x31\xd2\xb2\x08\xe8\x2a\xfd\xff\xff\xb9\xf3\x99\x04\x08\x31\xd2"
              "\xb2\x07\xe8\x1c\xfd\xff\xff\x66\xa1\x4e\x9a\x04\x08\xe8\x66\x00"
              "\x00\x00\xe8\x0c\xfd\xff\xff\x66\xb8\x16\x00\x66\x40\xb3\x0a\xf6"
              "\xf3\x04\x30\xa2\x6e\x9a\x04\x08\x80\xc4\x30\x88\x25\x6f\x9a\x04"
              "\x08\x66\xb8\x0c\x00\x66\x40\xb3\x0a\xf6\xf3\x04\x30\xa2\x71\x9a"
              "\x04\x08\x80\xc4\x30\x88\x25\x72\x9a\x04\x08\xb9\x6c\x9a\x04\x08"
              "\x31\xd2\xb2\x08\xe8\xca\xfc\xff\xff\xb9\xfa\x99\x04\x08\x31\xd2"
              "\xb2\x07\xe8\xbc\xfc\xff\xff\x66\xa1\xb5\x9a\x04\x08\xe8\x06\x00"
              "\x00\x00\xe8\xac\xfc\xff\xff\xc3\x66\xbb\x0a\x00\xb9\xc2\x9a\x04"
              "\x08\x49\x66\x31\xd2\x66\xf7\xf3\x66\x83\xc2\x30\x88\x11\x66\x85"
              "\xc0\x75\xee\x89\xcb\x81\xeb\xbd\x9a\x04\x08\x31\xd2\xb2\x05\x29"
              "\xda\xc3\x66\x83\xc3\x03\x66\x83\xc0\x02\x66\x50\x66\x53\x88\x0d"
              "\x77\x9a\x04\x08\xb9\x74\x9a\x04\x08\x31\xd2\xb2\x05\xe8\x61\xfc"
              "\xff\xff\x66\x59\x66\x58\x66\xd1\xe1\x66\x89\xc0\x66\x40\xb3\x0a"
              "\xf6\xf3\x04\x30\xa2\x6e\x9a\x04\x08\x80\xc4\x30\x88\x25\x6f\x9a"
              "\x04\x08\x66\x89\xc8\x66\x40\xb3\x0a\xf6\xf3\x04\x30\xa2\x71\x9a"
              "\x04\x08\x80\xc4\x30\x88\x25\x72\x9a\x04\x08\xb9\x6c\x9a\x04\x08"
              "\x31\xd2\xb2\x08\xe8\x1a\xfc\xff\xff\xb9\x10\x9a\x04\x08\x31\xd2"
              "\xb2\x02\xe8\x0c\xfc\xff\xff\xc3\x66\x31\xc0\x31\xdb\x53\x66\x50"
              "\x31\xc9\xb1\x0a\x0f\xaf\xc8\x66\x8b\x8c\x0b\xc2\x9a\x04\x08\xe8"
              "\x6e\xff\xff\xff\x66\x58\x5b\xfe\xc3\x80\xfb\x0a\x7c\xdf\x66\x40"
              "\x3c\x10\x7c\xd7\xc3\x8a\x0d\xbc\x9a\x04\x08\xe8\xb4\xfd\xff\xff"
              "\x66\xc7\x05\x76\x9a\x04\x08\x30\x30\xb9\x74\x9a\x04\x08\x31\xd2"
              "\xb2\x05\xe8\xbc\xfb\xff\xff\xc6\x05\x82\x9a\x04\x08\x68\xb9\x7d"
              "\x9a\x04\x08\x31\xd2\xb2\x06\xe8\xa7\xfb\xff\xff\x80\x3d\xb8\x9a"
              "\x04\x08\x71\x75\x52\x66\xb8\x17\x00\x66\x40\xb3\x0a\xf6\xf3\x04"
              "\x30\xa2\x6e\x9a\x04\x08\x80\xc4\x30\x88\x25\x6f\x9a\x04\x08\x66"
              "\xb8\x00\x00\x66\x40\xb3\x0a\xf6\xf3\x04\x30\xa2\x71\x9a\x04\x08"
              "\x80\xc4\x30\x88\x25\x72\x9a\x04\x08\xb9\x6c\x9a\x04\x08\x31\xd2"
              "\xb2\x08\xe8\x5c\xfb\xff\xff\xb9\x12\x9a\x04\x08\x31\xd2\xb2\x0d"
              "\xe8\x4e\xfb\xff\xff\xeb\x50\x66\xb8\x17\x00\x66\x40\xb3\x0a\xf6"
              "\xf3\x04\x30\xa2\x6e\x9a\x04\x08\x80\xc4\x30\x88\x25\x6f\x9a\x04"
              "\x08\x66\xb8\x00\x00\x66\x40\xb3\x0a\xf6\xf3\x04\x30\xa2\x71\x9a"
              "\x04\x08\x80\xc4\x30\x88\x25\x72\x9a\x04\x08\xb9\x6c\x9a\x04\x08"
              "\x31\xd2\xb2\x08\xe8\x0a\xfb\xff\xff\xb9\x1f\x9a\x04\x08\x31\xd2"
              "\xb2\x06\xe8\xfc\xfa\xff\xff\xb9\xf3\x99\x04\x08\x31\xd2\xb2\x07"
              "\xe8\xee\xfa\xff\xff\x66\xa1\x4e\x9a\x04\x08\xe8\x38\xfe\xff\xff"
              "\xe8\xde\xfa\xff\xff\xb9\x1e\x9a\x04\x08\x31\xd2\xb2\x01\xe8\xd0"
              "\xfa\xff\xff\xb9\x25\x9a\x04\x08\x31\xd2\xb2\x29\xe8\xc2\xfa\xff"
              "\xff\x55\x89\xe5\x8d\x55\xc4\xb9\x01\x54\x00\x00\xe8\xcb\xfa\xff"
              "\xff\x83\x4d\xd0\x0a\x8d\x55\xc4\xb9\x03\x54\x00\x00\xe8\xba\xfa"
              "\xff\xff\x5d\x31\xc0\xb0\x01\x31\xdb\xcd\x80\xe8\xb5\xfa\xff\xff"
              "\x31\xc0\xbb\xc2\x9a\x04\x08\x66\xc1\xea\x06\x66\x81\xe2\x03\x03"
              "\x66\xa1\x83\x9a\x04\x08\x00\xd0\x66\x6b\xc0\x0a\x66\x03\x05\x85"
              "\x9a\x04\x08\x66\xc1\xea\x08\x66\x01\xd0\x8a\x0c\x03\x80\xf9\x30"
              "\x0f\x85\x87\x00\x00\x00\x66\x8b\x14\x24\x66\xc1\xea\x04\x66\x81"
              "\xe2\x03\x03\x66\xa1\x83\x9a\x04\x08\x00\xd0\x66\x6b\xc0\x0a\x66"
              "\x03\x05\x85\x9a\x04\x08\x66\xc1\xea\x08\x66\x01\xd0\x8a\x0c\x03"
              "\x80\xf9\x30\x75\x58\x66\x8b\x14\x24\x66\xc1\xea\x02\x66\x81\xe2"
              "\x03\x03\x66\xa1\x83\x9a\x04\x08\x00\xd0\x66\x6b\xc0\x0a\x66\x03"
              "\x05\x85\x9a\x04\x08\x66\xc1\xea\x08\x66\x01\xd0\x8a\x0c\x03\x80"
              "\xf9\x30\x75\x29\x66\x8b\x14\x24\x66\x81\xe2\x03\x03\x66\xa1\x83"
              "\x9a\x04\x08\x00\xd0\x66\x6b\xc0\x0a\x66\x03\x05\x85\x9a\x04\x08"
              "\x66\xc1\xea\x08\x66\x01\xd0\x8a\x0c\x03\x80\xf9\x30\x66\x5a\xc3"
              "\x31\xdb\x8a\x1d\xbb\x9a\x04\x08\x84\xdb\x74\x0d\x81\xc3\x88\x9a"
              "\x04\x08\x8a\x0b\x2a\x4b\xff\xeb\x06\x8a\x0d\x88\x9a\x04\x08\xc3"
              "\x55\x89\xe5\x8d\x55\xc4\xb9\x01\x54\x00\x00\xe8\xbc\xf9\xff\xff"
              "\x80\x65\xd0\xf5\x8d\x55\xc4\xb9\x03\x54\x00\x00\xe8\xab\xf9\xff"
              "\xff\x5d\x31\xc0\xb0\x2b\x31\xdb\xcd\x80\xa3\x62\x9b\x04\x08\xb9"
              "\x79\x9a\x04\x08\x31\xd2\xb2\x04\xe8\x76\xf9\xff\xff\xb9\x7d\x9a"
              "\x04\x08\x31\xd2\xb2\x06\xe8\x68\xf9\xff\xff\xb9\x74\x9a\x04\x08"
              "\x31\xd2\xb2\x05\xe8\x5a\xf9\xff\xff\x66\xb8\x13\x00\x66\x40\xb3"
              "\x0a\xf6\xf3\x04\x30\xa2\x6e\x9a\x04\x08\x80\xc4\x30\x88\x25\x6f"
              "\x9a\x04\x08\x66\xb8\x0c\x00\x66\x40\xb3\x0a\xf6\xf3\x04\x30\xa2"
              "\x71\x9a\x04\x08\x80\xc4\x30\x88\x25\x72\x9a\x04\x08\xb9\x6c\x9a"
              "\x04\x08\x31\xd2\xb2\x08\xe8\x18\xf9\xff\xff\xb9\x01\x9a\x04\x08"
              "\x31\xd2\xb2\x0f\xe8\x0a\xf9\xff\xff\x66\xb8\x14\x00\x66\x40\xb3"
              "\x0a\xf6\xf3\x04\x30\xa2\x6e\x9a\x04\x08\x80\xc4\x30\x88\x25\x6f"
              "\x9a\x04\x08\x66\xb8\x0c\x00\x66\x40\xb3\x0a\xf6\xf3\x04\x30\xa2"
              "\x71\x9a\x04\x08\x80\xc4\x30\x88\x25\x72\x9a\x04\x08\xb9\x6c\x9a"
              "\x04\x08\x31\xd2\xb2\x08\xe8\xc8\xf8\xff\xff\xb9\xd4\x99\x04\x08"
              "\x31\xd2\xb2\x1f\xe8\xba\xf8\xff\xff\x30\xc0\xbb\xc2\x9a\x04\x08"
              "\xc6\x03\x31\xc6\x43\x09\x31\x31\xc9\xb1\x01\xc6\x04\x0b\x30\xfe"
              "\xc1\x80\xf9\x09\x7c\xf5\x83\xc3\x0a\xfe\xc0\x3c\x0f\x7c\xe1\x31"
              "\xdb\xb3\x0a\x6b\xdb\x0f\x81\xc3\xc2\x9a\x04\x08\x31\xc0\xc6\x04"
              "\x18\x31\xfe\xc0\x3c\x0a\x7c\xf6\xe8\x6b\xfc\xff\xff\xb1\x06\xe8"
              "\x4c\xf8\xff\xff\xa2\xbb\x9a\x04\x08\xe8\x92\xfe\xff\xff\xfe\xc9"
              "\xe8\x3b\xf8\xff\xff\xa2\xba\x9a\x04\x08\xb1\x06\xe8\x2f\xf8\xff"
              "\xff\x04\x31\xa2\xbc\x9a\x04\x08\xe8\xae\xfd\xff\xff\x0f\x85\x62"
              "\xfc\xff\xff\x31\xc0\xb0\xa2\xc7\x44\x24\xf8\x00\x00\x00\x00\xc7"
              "\x44\x24\xfc\x90\xd0\x03\x00\x8d\x5c\x24\xf8\x31\xc9\xcd\x80\x55"
              "\x31\xc0\x89\xe5\x81\xec\xfc\x00\x00\x00\x0f\xab\x45\x80\x8d\x45"
              "\x80\xa3\x5c\x9a\x04\x08\x31\xc0\xb0\x8e\x31\xdb\xb3\x01\x8b\x0d"
              "\x5c\x9a\x04\x08\x31\xd2\x31\xf6\xbf\x50\x9a\x04\x08\xcd\x80\x89"
              "\xec\x5d\x85\xc0\x75\x45\x8a\x0d\xbc\x9a\x04\x08\xe8\xc3\xf9\xff"
              "\xff\xfe\x05\x87\x9a\x04\x08\x8a\x0d\xb7\x9a\x04\x08\x38\x0d\x87"
              "\x9a\x04\x08\x75\x8e\xc6\x05\x87\x9a\x04\x08\x00\xb1\x30\xe8\xa1"
              "\xf9\xff\xff\x66\xff\x05\x83\x9a\x04\x08\xe8\x1c\xfd\xff\xff\x74"
              "\xc5\xe8\x97\xf8\xff\xff\xe9\x32\xff\xff\xff\xb1\x30\xe8\x82\xf9"
              "\xff\xff\x31\xd2\xb2\x01\xe8\xa3\xf7\xff\xff\x80\x3d\xb8\x9a\x04"
              "\x08\x71\x0f\x84\xad\xfb\xff\xff\x80\x3d\xb8\x9a\x04\x08\x20\x75"
              "\x20\x66\xff\x05\x83\x9a\x04\x08\xe8\xde\xfc\xff\xff\x74\xf2\xe8"
              "\x59\xf8\xff\xff\x66\x83\x05\x4e\x9a\x04\x08\x02\xe9\xec\xfe\xff"
              "\xff\x80\x3d\xb8\x9a\x04\x08\x1b\x0f\x85\x68\xff\xff\xff\x31\xd2"
              "\xb2\x02\xe8\x57\xf7\xff\xff\xa0\xb9\x9a\x04\x08\x3c\x44\x75\x15"
              "\x66\xff\x0d\x85\x9a\x04\x08\xe8\x9f\xfc\xff\xff\x74\x07\x66\xff"
              "\x05\x85\x9a\x04\x08\x3c\x43\x75\x15\x66\xff\x05\x85\x9a\x04\x08"
              "\xe8\x86\xfc\xff\xff\x74\x07\x66\xff\x0d\x85\x9a\x04\x08\x3c\x42"
              "\x75\x15\x66\xff\x05\x83\x9a\x04\x08\xe8\x6d\xfc\xff\xff\x74\x07"
              "\x66\xff\x0d\x83\x9a\x04\x08\x3c\x41\x0f\x85\x07\xff\xff\xff\x30"
              "\xe4\xa0\xba\x9a\x04\x08\x66\x50\x66\x40\xe8\x11\xfd\xff\xff\xf6"
              "\xf1\x88\x25\xba\x9a\x04\x08\xe8\x3f\xfc\xff\xff\x0f\x84\xe4\xfe"
              "\xff\xff\x66\x59\x88\x0d\xba\x9a\x04\x08\xe9\xd7\xfe\xff\xff") -
       1));
  exit(0);
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
movl   $0x0,-0x4(%rbp)
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
lea    0xec3(%rip),%rdi
mov    $0x95f,%esi
call   1030 <printf@plt>
xor    %edi,%edi
call   1040 <exit@plt>

x86 assembly (clang, -O2):
<main>:
push   %rax
lea    0xed8(%rip),%rdi
mov    $0x95f,%esi
call   1030 <printf@plt>
xor    %edi,%edi
call   1040 <exit@plt>

LLVM IR (-O0):
@.str = [12 x i8] c"size is %d\0A\00"
define i32 @main(i32 %0, i8** %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i8**
store i32 0, i32* %3
store i32 %0, i32* %4
store i8** %1, i8*** %5
%6 = call i32 @printf(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str, i64 0, i64 0), i32 2399)
%7 = call i32 @exit(i32 0)
unreachable
}

LLVM IR (-O2):
@.str = [12 x i8] c"size is %d\0A\00"
define i32 @main(i32 %0, i8** nocapture readnone %1) {
%3 = tail call i32 @printf(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str, i64 0, i64 0), i32 2399)
%4 = tail call i32 @exit(i32 0)
unreachable
}