#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*/ puts(char const *);
void write_copyright(void) {
  static const char copyright[] =
      "/* Unicode characters and various properties.\n   Copyright (C) "
      "2003-2017 Free Software Foundation, Inc.\n\n   This program is free "
      "software; you can redistribute it and/or modify it\n   under the terms "
      "of the GNU General Public License as published by the\n   Free Software "
      "Foundation; either version 3, or (at your option) any\n   later "
      "version.\n\n   This program is distributed in the hope that it will be "
      "useful,\n   but WITHOUT ANY WARRANTY; without even the implied warranty "
      "of\n   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the\n  "
      " GNU General Public License for more details.\n\n   You should have "
      "received a copy of the GNU General Public License\n   along with this "
      "program; see the file COPYING3.  If not see\n   "
      "<http://www.gnu.org/licenses/>.\n\n\n   Copyright (C) 1991-2005 "
      "Unicode, Inc.  All rights reserved.\n   Distributed under the Terms of "
      "Use in\n   http://www.unicode.org/copyright.html.\n\n   Permission is "
      "hereby granted, free of charge, to any person\n   obtaining a copy of "
      "the Unicode data files and any associated\n   documentation (the \"Data "
      "Files\") or Unicode software and any\n   associated documentation (the "
      "\"Software\") to deal in the Data Files\n   or Software without "
      "restriction, including without limitation the\n   rights to use, copy, "
      "modify, merge, publish, distribute, and/or\n   sell copies of the Data "
      "Files or Software, and to permit persons to\n   whom the Data Files or "
      "Software are furnished to do so, provided\n   that (a) the above "
      "copyright notice(s) and this permission notice\n   appear with all "
      "copies of the Data Files or Software, (b) both the\n   above copyright "
      "notice(s) and this permission notice appear in\n   associated "
      "documentation, and (c) there is clear notice in each\n   modified Data "
      "File or in the Software as well as in the\n   documentation associated "
      "with the Data File(s) or Software that the\n   data or software has "
      "been modified.\n\n   THE DATA FILES AND SOFTWARE ARE PROVIDED \"AS "
      "IS\", WITHOUT WARRANTY\n   OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING "
      "BUT NOT LIMITED TO THE\n   WARRANTIES OF MERCHANTABILITY, FITNESS FOR A "
      "PARTICULAR PURPOSE AND\n   NONINFRINGEMENT OF THIRD PARTY RIGHTS. IN NO "
      "EVENT SHALL THE\n   COPYRIGHT HOLDER OR HOLDERS INCLUDED IN THIS NOTICE "
      "BE LIABLE FOR\n   ANY CLAIM, OR ANY SPECIAL INDIRECT OR CONSEQUENTIAL "
      "DAMAGES, OR ANY\n   DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA "
      "OR PROFITS,\n   WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER "
      "TORTIOUS\n   ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR "
      "PERFORMANCE\n   OF THE DATA FILES OR SOFTWARE.\n\n   Except as "
      "contained in this notice, the name of a copyright holder\n   shall not "
      "be used in advertising or otherwise to promote the sale,\n   use or "
      "other dealings in these Data Files or Software without prior\n   "
      "written authorization of the copyright holder.  */\n";
  puts(copyright);
}


x86 assembly (clang, -O0):
<write_copyright>:
push   %rbp
mov    %rsp,%rbp
lea    0xee5(%rip),%rdi
call   1030 <puts@plt>
pop    %rbp
ret

x86 assembly (clang, -O2):
<write_copyright>:
lea    0xee9(%rip),%rdi
jmp    1030 <puts@plt>

LLVM IR (-O0):
@write_copyright.copyright = internal constant [2805 x i8] c"/* Unicode characters and various properties.\0A Copyright (C) 2003-2017 Free Software Foundation, Inc.\0A\0A This program is free software; you can redistribute it and/or modify it\0A under the terms of the GNU General Public License as published by the\0A Free Software Foundation; either version 3, or (at your option) any\0A later version.\0A\0A This program is distributed in the hope that it will be useful,\0A but WITHOUT ANY WARRANTY; without even the implied warranty of\0A MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the\0A GNU General Public License for more details.\0A\0A You should have received a copy of the GNU General Public License\0A along with this program; see the file COPYING3. If not see\0A <http://www.gnu.org/licenses/>.\0A\0A\0A Copyright (C) 1991-2005 Unicode, Inc. All rights reserved.\0A Distributed under the Terms of Use in\0A http://www.unicode.org/copyright.html.\0A\0A Permission is hereby granted, free of charge, to any person\0A obtaining a copy of the Unicode data files and any associated\0A documentation (the \22Data Files\22) or Unicode software and any\0A associated documentation (the \22Software\22) to deal in the Data Files\0A or Software without restriction, including without limitation the\0A rights to use, copy, modify, merge, publish, distribute, and/or\0A sell copies of the Data Files or Software, and to permit persons to\0A whom the Data Files or Software are furnished to do so, provided\0A that (a) the above copyright notice(s) and this permission notice\0A appear with all copies of the Data Files or Software, (b) both the\0A above copyright notice(s) and this permission notice appear in\0A associated documentation, and (c) there is clear notice in each\0A modified Data File or in the Software as well as in the\0A documentation associated with the Data File(s) or Software that the\0A data or software has been modified.\0A\0A THE DATA FILES AND SOFTWARE ARE PROVIDED \22AS IS\22, WITHOUT WARRANTY\0A OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE\0A WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND\0A NONINFRINGEMENT OF THIRD PARTY RIGHTS. IN NO EVENT SHALL THE\0A COPYRIGHT HOLDER OR HOLDERS INCLUDED IN THIS NOTICE BE LIABLE FOR\0A ANY CLAIM, OR ANY SPECIAL INDIRECT OR CONSEQUENTIAL DAMAGES, OR ANY\0A DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS,\0A WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS\0A ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR PERFORMANCE\0A OF THE DATA FILES OR SOFTWARE.\0A\0A Except as contained in this notice, the name of a copyright holder\0A shall not be used in advertising or otherwise to promote the sale,\0A use or other dealings in these Data Files or Software without prior\0A written authorization of the copyright holder. */\0A\00"
define void @write_copyright() {
%1 = call i32 @puts(i8* getelementptr inbounds ([2805 x i8], [2805 x i8]* @write_copyright.copyright, i64 0, i64 0))
ret void
}

LLVM IR (-O2):
@write_copyright.copyright = internal constant [2805 x i8] c"/* Unicode characters and various properties.\0A Copyright (C) 2003-2017 Free Software Foundation, Inc.\0A\0A This program is free software; you can redistribute it and/or modify it\0A under the terms of the GNU General Public License as published by the\0A Free Software Foundation; either version 3, or (at your option) any\0A later version.\0A\0A This program is distributed in the hope that it will be useful,\0A but WITHOUT ANY WARRANTY; without even the implied warranty of\0A MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the\0A GNU General Public License for more details.\0A\0A You should have received a copy of the GNU General Public License\0A along with this program; see the file COPYING3. If not see\0A <http://www.gnu.org/licenses/>.\0A\0A\0A Copyright (C) 1991-2005 Unicode, Inc. All rights reserved.\0A Distributed under the Terms of Use in\0A http://www.unicode.org/copyright.html.\0A\0A Permission is hereby granted, free of charge, to any person\0A obtaining a copy of the Unicode data files and any associated\0A documentation (the \22Data Files\22) or Unicode software and any\0A associated documentation (the \22Software\22) to deal in the Data Files\0A or Software without restriction, including without limitation the\0A rights to use, copy, modify, merge, publish, distribute, and/or\0A sell copies of the Data Files or Software, and to permit persons to\0A whom the Data Files or Software are furnished to do so, provided\0A that (a) the above copyright notice(s) and this permission notice\0A appear with all copies of the Data Files or Software, (b) both the\0A above copyright notice(s) and this permission notice appear in\0A associated documentation, and (c) there is clear notice in each\0A modified Data File or in the Software as well as in the\0A documentation associated with the Data File(s) or Software that the\0A data or software has been modified.\0A\0A THE DATA FILES AND SOFTWARE ARE PROVIDED \22AS IS\22, WITHOUT WARRANTY\0A OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE\0A WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND\0A NONINFRINGEMENT OF THIRD PARTY RIGHTS. IN NO EVENT SHALL THE\0A COPYRIGHT HOLDER OR HOLDERS INCLUDED IN THIS NOTICE BE LIABLE FOR\0A ANY CLAIM, OR ANY SPECIAL INDIRECT OR CONSEQUENTIAL DAMAGES, OR ANY\0A DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS,\0A WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS\0A ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR PERFORMANCE\0A OF THE DATA FILES OR SOFTWARE.\0A\0A Except as contained in this notice, the name of a copyright holder\0A shall not be used in advertising or otherwise to promote the sale,\0A use or other dealings in these Data Files or Software without prior\0A written authorization of the copyright holder. */\0A\00"
define void @write_copyright() {
%1 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([2805 x i8], [2805 x i8]* @write_copyright.copyright, i64 0, i64 0))
ret void
}