#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*/ print_copyright();
int /*<<< orphan*/ printf(char *);
void print_help() {
  printf("Usage: tesslayers [ARGUMENTS] [OPTIONS]\n\n");
  printf("Generate a tesseroid model of a series of stacked layers.\n\n");
  printf("All units are either SI or degrees!\n\n");
  printf("Input:\n");
  printf("  Regular grids passed through standard input (stdin).\n");
  printf("  Grids should be in a single file in xyz format, i.e., in\n");
  printf("  columns:\n");
  printf("      lon lat height thickness1 dens1 thickness2 dens2 ...\n");
  printf("  lon and lat are the longitude and latitude of a grid point,\n");
  printf("  height is the top of the first layer at the grid point\n");
  printf("  (e.g., the topography or relief of the first layer),\n");
  printf("  height should be read as 'height above the mean Earth radius'\n");
  printf("  (if bellow the Earth radius use negative heights),\n");
  printf("  thickness1 is the thickness of the first layer,\n");
  printf("  dens1 is the density of the first layer, and so forth.\n\n");
  printf("  Layers MUST be ordered from top-most to bottom-most\n");
  printf("  (i.e., thickness1 is of the top layer).\n\n");
  printf("  Lines that start with # are ignored as comments.\n");
  printf("  Lines should be no longer than 10000 (ten thousand) characters.");
  printf("  \n\n");
  printf("Output:\n");
  printf("  Tesseroids that fill between the interfaces of the layers.\n");
  printf("  Tesseroids are printed to standard output (stdout.)\n");
  printf("  * Each tesseroid is specified by the values of its borders\n");
  printf("    and density\n");
  printf("  * Will print one tesseroid per line\n");
  printf("  * Each line has the following column format:\n");
  printf("       West East South North Top Bottom Density\n");
  printf("  * Top and Bottom should be read as 'height to top' and \n");
  printf("    'height to bottom' from the mean Earth radius. Use negative\n");
  printf("    values if bellow the surface, for example when modeling\n");
  printf("    deep structures, and positive if above the surface, for\n");
  printf("    example when modeling topography.\n");
  printf("  * If a line starts with # it will be considered a comment\n");
  printf("    and will be ignored\n\n");
  printf("Arguments:\n");
  printf("  -sDLON/DLAT The grid spacing in the longitude and latitude\n");
  printf("              directions, respectively, in DECIMAL DEGREES.\n");
  printf("              Will be used as the size of the tesseroids.\n");
  printf("              WARNING: You may get wrong results if -s is \n");
  printf("                       different from the grid spacing!\n");
  printf("Options:\n");
  printf("  -h          Print instructions.\n");
  printf("  --version   Print version and license information.\n");
  printf("  -v          Enable verbose printing to stderr.\n");
  printf("  -lFILENAME  Print log messages to file FILENAME.\n");
  print_copyright();
}


x86 assembly (clang, -O0):
<print_help>:
push   %rbp
mov    %rsp,%rbp
lea    0xed5(%rip),%rdi
call   1030 <printf@plt>
lea    0xef3(%rip),%rdi
call   1030 <printf@plt>
lea    0xf23(%rip),%rdi
call   1030 <printf@plt>
lea    0xf3d(%rip),%rdi
call   1030 <printf@plt>
lea    0xf39(%rip),%rdi
call   1030 <printf@plt>
lea    0xf65(%rip),%rdi
call   1030 <printf@plt>
lea    0xf95(%rip),%rdi
call   1030 <printf@plt>
lea    0xf95(%rip),%rdi
call   1030 <printf@plt>
lea    0xfc5(%rip),%rdi
call   1030 <printf@plt>
lea    0xff8(%rip),%rdi
call   1030 <printf@plt>
lea    0x1026(%rip),%rdi
call   1030 <printf@plt>
lea    0x1052(%rip),%rdi
call   1030 <printf@plt>
lea    0x1087(%rip),%rdi
call   1030 <printf@plt>
lea    0x10b1(%rip),%rdi
call   1030 <printf@plt>
lea    0x10d8(%rip),%rdi
call   1030 <printf@plt>
lea    0x1107(%rip),%rdi
call   1030 <printf@plt>
lea    0x1132(%rip),%rdi
call   1030 <printf@plt>
lea    0x1152(%rip),%rdi
call   1030 <printf@plt>
lea    0x117a(%rip),%rdi
call   1030 <printf@plt>
lea    0x11b0(%rip),%rdi
call   1030 <printf@plt>
lea    0x11a9(%rip),%rdi
call   1030 <printf@plt>
lea    0x11a6(%rip),%rdi
call   1030 <printf@plt>
lea    0x11d8(%rip),%rdi
call   1030 <printf@plt>
lea    0x1203(%rip),%rdi
call   1030 <printf@plt>
lea    0x1235(%rip),%rdi
call   1030 <printf@plt>
lea    0x123a(%rip),%rdi
call   1030 <printf@plt>
lea    0x1255(%rip),%rdi
call   1030 <printf@plt>
lea    0x1279(%rip),%rdi
call   1030 <printf@plt>
lea    0x129e(%rip),%rdi
call   1030 <printf@plt>
lea    0x12cd(%rip),%rdi
call   1030 <printf@plt>
lea    0x1302(%rip),%rdi
call   1030 <printf@plt>
lea    0x1333(%rip),%rdi
call   1030 <printf@plt>
lea    0x1364(%rip),%rdi
call   1030 <printf@plt>
lea    0x137f(%rip),%rdi
call   1030 <printf@plt>
lea    0x13b0(%rip),%rdi
call   1030 <printf@plt>
lea    0x13be(%rip),%rdi
call   1030 <printf@plt>
lea    0x13be(%rip),%rdi
call   1030 <printf@plt>
lea    0x13f0(%rip),%rdi
call   1030 <printf@plt>
lea    0x1421(%rip),%rdi
call   1030 <printf@plt>
lea    0x1450(%rip),%rdi
call   1030 <printf@plt>
lea    0x1480(%rip),%rdi
call   1030 <printf@plt>
lea    0x14ad(%rip),%rdi
call   1030 <printf@plt>
lea    0x14ab(%rip),%rdi
call   1030 <printf@plt>
lea    0x14c2(%rip),%rdi
call   1030 <printf@plt>
lea    0x14ec(%rip),%rdi
call   1030 <printf@plt>
lea    0x1512(%rip),%rdi
call   1030 <printf@plt>
mov    $0x0,%al
call   1040 <print_copyright@plt>
pop    %rbp
ret

x86 assembly (clang, -O2):
<print_help>:
push   %rax
lea    0xf0a(%rip),%rdi
call   1030 <puts@plt>
lea    0xf27(%rip),%rdi
call   1030 <puts@plt>
lea    0xf56(%rip),%rdi
call   1030 <puts@plt>
lea    0xf6f(%rip),%rdi
call   1030 <puts@plt>
lea    0xf6a(%rip),%rdi
call   1030 <puts@plt>
lea    0xf95(%rip),%rdi
call   1030 <puts@plt>
lea    0xfc4(%rip),%rdi
call   1030 <puts@plt>
lea    0xfc3(%rip),%rdi
call   1030 <puts@plt>
lea    0xff2(%rip),%rdi
call   1030 <puts@plt>
lea    0x1024(%rip),%rdi
call   1030 <puts@plt>
lea    0x1051(%rip),%rdi
call   1030 <puts@plt>
lea    0x107c(%rip),%rdi
call   1030 <puts@plt>
lea    0x10b0(%rip),%rdi
call   1030 <puts@plt>
lea    0x10d9(%rip),%rdi
call   1030 <puts@plt>
lea    0x10ff(%rip),%rdi
call   1030 <puts@plt>
lea    0x112d(%rip),%rdi
call   1030 <puts@plt>
lea    0x1157(%rip),%rdi
call   1030 <puts@plt>
lea    0x1176(%rip),%rdi
call   1030 <puts@plt>
lea    0xdf0(%rip),%rdi
call   1040 <printf@plt>
lea    0x1191(%rip),%rdi
call   1030 <puts@plt>
lea    0x1189(%rip),%rdi
call   1030 <puts@plt>
lea    0x1185(%rip),%rdi
call   1030 <puts@plt>
lea    0x11b6(%rip),%rdi
call   1030 <puts@plt>
lea    0x11e0(%rip),%rdi
call   1030 <puts@plt>
lea    0x1211(%rip),%rdi
call   1030 <puts@plt>
lea    0x1215(%rip),%rdi
call   1030 <puts@plt>
lea    0x122f(%rip),%rdi
call   1030 <puts@plt>
lea    0x1252(%rip),%rdi
call   1030 <puts@plt>
lea    0x1276(%rip),%rdi
call   1030 <puts@plt>
lea    0x12a4(%rip),%rdi
call   1030 <puts@plt>
lea    0x12d8(%rip),%rdi
call   1030 <puts@plt>
lea    0x1308(%rip),%rdi
call   1030 <puts@plt>
lea    0x1338(%rip),%rdi
call   1030 <puts@plt>
lea    0x1352(%rip),%rdi
call   1030 <puts@plt>
lea    0x1382(%rip),%rdi
call   1030 <puts@plt>
lea    0x138f(%rip),%rdi
call   1030 <puts@plt>
lea    0x138e(%rip),%rdi
call   1030 <puts@plt>
lea    0x13bf(%rip),%rdi
call   1030 <puts@plt>
lea    0x13ef(%rip),%rdi
call   1030 <puts@plt>
lea    0x141d(%rip),%rdi
call   1030 <puts@plt>
lea    0x144c(%rip),%rdi
call   1030 <puts@plt>
lea    0x1478(%rip),%rdi
call   1030 <puts@plt>
lea    0x1475(%rip),%rdi
call   1030 <puts@plt>
lea    0x148b(%rip),%rdi
call   1030 <puts@plt>
lea    0x14b4(%rip),%rdi
call   1030 <puts@plt>
lea    0x14d9(%rip),%rdi
call   1030 <puts@plt>
xor    %eax,%eax
pop    %rcx
jmp    1050 <print_copyright@plt>

LLVM IR (-O0):
@.str = [42 x i8] c"Usage: tesslayers [ARGUMENTS] [OPTIONS]\0A\0A\00"
@.str.1 = [60 x i8] c"Generate a tesseroid model of a series of stacked layers.\0A\0A\00"
@.str.2 = [38 x i8] c"All units are either SI or degrees!\0A\0A\00"
@.str.3 = [8 x i8] c"Input:\0A\00"
@.str.4 = [56 x i8] c" Regular grids passed through standard input (stdin).\0A\00"
@.str.5 = [60 x i8] c" Grids should be in a single file in xyz format, i.e., in\0A\00"
@.str.6 = [12 x i8] c" columns:\0A\00"
@.str.7 = [60 x i8] c" lon lat height thickness1 dens1 thickness2 dens2 ...\0A\00"
@.str.8 = [63 x i8] c" lon and lat are the longitude and latitude of a grid point,\0A\00"
@.str.9 = [58 x i8] c" height is the top of the first layer at the grid point\0A\00"
@.str.10 = [56 x i8] c" (e.g., the topography or relief of the first layer),\0A\00"
@.str.11 = [65 x i8] c" height should be read as 'height above the mean Earth radius'\0A\00"
@.str.12 = [54 x i8] c" (if bellow the Earth radius use negative heights),\0A\00"
@.str.13 = [51 x i8] c" thickness1 is the thickness of the first layer,\0A\00"
@.str.14 = [59 x i8] c" dens1 is the density of the first layer, and so forth.\0A\0A\00"
@.str.15 = [55 x i8] c" Layers MUST be ordered from top-most to bottom-most\0A\00"
@.str.16 = [44 x i8] c" (i.e., thickness1 is of the top layer).\0A\0A\00"
@.str.17 = [52 x i8] c" Lines that start with # are ignored as comments.\0A\00"
@.str.18 = [66 x i8] c" Lines should be no longer than 10000 (ten thousand) characters.\00"
@.str.19 = [5 x i8] c" \0A\0A\00"
@.str.20 = [9 x i8] c"Output:\0A\00"
@.str.21 = [62 x i8] c" Tesseroids that fill between the interfaces of the layers.\0A\00"
@.str.22 = [55 x i8] c" Tesseroids are printed to standard output (stdout.)\0A\00"
@.str.23 = [62 x i8] c" * Each tesseroid is specified by the values of its borders\0A\00"
@.str.24 = [17 x i8] c" and density\0A\00"
@.str.25 = [39 x i8] c" * Will print one tesseroid per line\0A\00"
@.str.26 = [48 x i8] c" * Each line has the following column format:\0A\00"
@.str.27 = [49 x i8] c" West East South North Top Bottom Density\0A\00"
@.str.28 = [59 x i8] c" * Top and Bottom should be read as 'height to top' and \0A\00"
@.str.29 = [65 x i8] c" 'height to bottom' from the mean Earth radius. Use negative\0A\00"
@.str.30 = [61 x i8] c" values if bellow the surface, for example when modeling\0A\00"
@.str.31 = [61 x i8] c" deep structures, and positive if above the surface, for\0A\00"
@.str.32 = [39 x i8] c" example when modeling topography.\0A\00"
@.str.33 = [61 x i8] c" * If a line starts with # it will be considered a comment\0A\00"
@.str.34 = [26 x i8] c" and will be ignored\0A\0A\00"
@.str.35 = [12 x i8] c"Arguments:\0A\00"
@.str.36 = [62 x i8] c" -sDLON/DLAT The grid spacing in the longitude and latitude\0A\00"
@.str.37 = [61 x i8] c" directions, respectively, in DECIMAL DEGREES.\0A\00"
@.str.38 = [59 x i8] c" Will be used as the size of the tesseroids.\0A\00"
@.str.39 = [60 x i8] c" WARNING: You may get wrong results if -s is \0A\00"
@.str.40 = [57 x i8] c" different from the grid spacing!\0A\00"
@.str.41 = [10 x i8] c"Options:\0A\00"
@.str.42 = [35 x i8] c" -h Print instructions.\0A\00"
@.str.43 = [54 x i8] c" --version Print version and license information.\0A\00"
@.str.44 = [50 x i8] c" -v Enable verbose printing to stderr.\0A\00"
@.str.45 = [52 x i8] c" -lFILENAME Print log messages to file FILENAME.\0A\00"
define void @print_help() {
%1 = call i32 @printf(i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str, i64 0, i64 0))
%2 = call i32 @printf(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @.str.1, i64 0, i64 0))
%3 = call i32 @printf(i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.2, i64 0, i64 0))
%4 = call i32 @printf(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.3, i64 0, i64 0))
%5 = call i32 @printf(i8* getelementptr inbounds ([56 x i8], [56 x i8]* @.str.4, i64 0, i64 0))
%6 = call i32 @printf(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @.str.5, i64 0, i64 0))
%7 = call i32 @printf(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.6, i64 0, i64 0))
%8 = call i32 @printf(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @.str.7, i64 0, i64 0))
%9 = call i32 @printf(i8* getelementptr inbounds ([63 x i8], [63 x i8]* @.str.8, i64 0, i64 0))
%10 = call i32 @printf(i8* getelementptr inbounds ([58 x i8], [58 x i8]* @.str.9, i64 0, i64 0))
%11 = call i32 @printf(i8* getelementptr inbounds ([56 x i8], [56 x i8]* @.str.10, i64 0, i64 0))
%12 = call i32 @printf(i8* getelementptr inbounds ([65 x i8], [65 x i8]* @.str.11, i64 0, i64 0))
%13 = call i32 @printf(i8* getelementptr inbounds ([54 x i8], [54 x i8]* @.str.12, i64 0, i64 0))
%14 = call i32 @printf(i8* getelementptr inbounds ([51 x i8], [51 x i8]* @.str.13, i64 0, i64 0))
%15 = call i32 @printf(i8* getelementptr inbounds ([59 x i8], [59 x i8]* @.str.14, i64 0, i64 0))
%16 = call i32 @printf(i8* getelementptr inbounds ([55 x i8], [55 x i8]* @.str.15, i64 0, i64 0))
%17 = call i32 @printf(i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.16, i64 0, i64 0))
%18 = call i32 @printf(i8* getelementptr inbounds ([52 x i8], [52 x i8]* @.str.17, i64 0, i64 0))
%19 = call i32 @printf(i8* getelementptr inbounds ([66 x i8], [66 x i8]* @.str.18, i64 0, i64 0))
%20 = call i32 @printf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.19, i64 0, i64 0))
%21 = call i32 @printf(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.20, i64 0, i64 0))
%22 = call i32 @printf(i8* getelementptr inbounds ([62 x i8], [62 x i8]* @.str.21, i64 0, i64 0))
%23 = call i32 @printf(i8* getelementptr inbounds ([55 x i8], [55 x i8]* @.str.22, i64 0, i64 0))
%24 = call i32 @printf(i8* getelementptr inbounds ([62 x i8], [62 x i8]* @.str.23, i64 0, i64 0))
%25 = call i32 @printf(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.24, i64 0, i64 0))
%26 = call i32 @printf(i8* getelementptr inbounds ([39 x i8], [39 x i8]* @.str.25, i64 0, i64 0))
%27 = call i32 @printf(i8* getelementptr inbounds ([48 x i8], [48 x i8]* @.str.26, i64 0, i64 0))
%28 = call i32 @printf(i8* getelementptr inbounds ([49 x i8], [49 x i8]* @.str.27, i64 0, i64 0))
%29 = call i32 @printf(i8* getelementptr inbounds ([59 x i8], [59 x i8]* @.str.28, i64 0, i64 0))
%30 = call i32 @printf(i8* getelementptr inbounds ([65 x i8], [65 x i8]* @.str.29, i64 0, i64 0))
%31 = call i32 @printf(i8* getelementptr inbounds ([61 x i8], [61 x i8]* @.str.30, i64 0, i64 0))
%32 = call i32 @printf(i8* getelementptr inbounds ([61 x i8], [61 x i8]* @.str.31, i64 0, i64 0))
%33 = call i32 @printf(i8* getelementptr inbounds ([39 x i8], [39 x i8]* @.str.32, i64 0, i64 0))
%34 = call i32 @printf(i8* getelementptr inbounds ([61 x i8], [61 x i8]* @.str.33, i64 0, i64 0))
%35 = call i32 @printf(i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str.34, i64 0, i64 0))
%36 = call i32 @printf(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.35, i64 0, i64 0))
%37 = call i32 @printf(i8* getelementptr inbounds ([62 x i8], [62 x i8]* @.str.36, i64 0, i64 0))
%38 = call i32 @printf(i8* getelementptr inbounds ([61 x i8], [61 x i8]* @.str.37, i64 0, i64 0))
%39 = call i32 @printf(i8* getelementptr inbounds ([59 x i8], [59 x i8]* @.str.38, i64 0, i64 0))
%40 = call i32 @printf(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @.str.39, i64 0, i64 0))
%41 = call i32 @printf(i8* getelementptr inbounds ([57 x i8], [57 x i8]* @.str.40, i64 0, i64 0))
%42 = call i32 @printf(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.41, i64 0, i64 0))
%43 = call i32 @printf(i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.42, i64 0, i64 0))
%44 = call i32 @printf(i8* getelementptr inbounds ([54 x i8], [54 x i8]* @.str.43, i64 0, i64 0))
%45 = call i32 @printf(i8* getelementptr inbounds ([50 x i8], [50 x i8]* @.str.44, i64 0, i64 0))
%46 = call i32 @printf(i8* getelementptr inbounds ([52 x i8], [52 x i8]* @.str.45, i64 0, i64 0))
%47 = call i32 (...) @print_copyright()
ret void
}

LLVM IR (-O2):
@.str.18 = [66 x i8] c" Lines should be no longer than 10000 (ten thousand) characters.\00"
@str = [41 x i8] c"Usage: tesslayers [ARGUMENTS] [OPTIONS]\0A\00"
@str.46 = [59 x i8] c"Generate a tesseroid model of a series of stacked layers.\0A\00"
@str.47 = [37 x i8] c"All units are either SI or degrees!\0A\00"
@str.48 = [7 x i8] c"Input:\00"
@str.49 = [55 x i8] c" Regular grids passed through standard input (stdin).\00"
@str.50 = [59 x i8] c" Grids should be in a single file in xyz format, i.e., in\00"
@str.51 = [11 x i8] c" columns:\00"
@str.52 = [59 x i8] c" lon lat height thickness1 dens1 thickness2 dens2 ...\00"
@str.53 = [62 x i8] c" lon and lat are the longitude and latitude of a grid point,\00"
@str.54 = [57 x i8] c" height is the top of the first layer at the grid point\00"
@str.55 = [55 x i8] c" (e.g., the topography or relief of the first layer),\00"
@str.56 = [64 x i8] c" height should be read as 'height above the mean Earth radius'\00"
@str.57 = [53 x i8] c" (if bellow the Earth radius use negative heights),\00"
@str.58 = [50 x i8] c" thickness1 is the thickness of the first layer,\00"
@str.59 = [58 x i8] c" dens1 is the density of the first layer, and so forth.\0A\00"
@str.60 = [54 x i8] c" Layers MUST be ordered from top-most to bottom-most\00"
@str.61 = [43 x i8] c" (i.e., thickness1 is of the top layer).\0A\00"
@str.62 = [51 x i8] c" Lines that start with # are ignored as comments.\00"
@str.63 = [4 x i8] c" \0A\00"
@str.64 = [8 x i8] c"Output:\00"
@str.65 = [61 x i8] c" Tesseroids that fill between the interfaces of the layers.\00"
@str.66 = [54 x i8] c" Tesseroids are printed to standard output (stdout.)\00"
@str.67 = [61 x i8] c" * Each tesseroid is specified by the values of its borders\00"
@str.68 = [16 x i8] c" and density\00"
@str.69 = [38 x i8] c" * Will print one tesseroid per line\00"
@str.70 = [47 x i8] c" * Each line has the following column format:\00"
@str.71 = [48 x i8] c" West East South North Top Bottom Density\00"
@str.72 = [58 x i8] c" * Top and Bottom should be read as 'height to top' and \00"
@str.73 = [64 x i8] c" 'height to bottom' from the mean Earth radius. Use negative\00"
@str.74 = [60 x i8] c" values if bellow the surface, for example when modeling\00"
@str.75 = [60 x i8] c" deep structures, and positive if above the surface, for\00"
@str.76 = [38 x i8] c" example when modeling topography.\00"
@str.77 = [60 x i8] c" * If a line starts with # it will be considered a comment\00"
@str.78 = [25 x i8] c" and will be ignored\0A\00"
@str.79 = [11 x i8] c"Arguments:\00"
@str.80 = [61 x i8] c" -sDLON/DLAT The grid spacing in the longitude and latitude\00"
@str.81 = [60 x i8] c" directions, respectively, in DECIMAL DEGREES.\00"
@str.82 = [58 x i8] c" Will be used as the size of the tesseroids.\00"
@str.83 = [59 x i8] c" WARNING: You may get wrong results if -s is \00"
@str.84 = [56 x i8] c" different from the grid spacing!\00"
@str.85 = [9 x i8] c"Options:\00"
@str.86 = [34 x i8] c" -h Print instructions.\00"
@str.87 = [53 x i8] c" --version Print version and license information.\00"
@str.88 = [49 x i8] c" -v Enable verbose printing to stderr.\00"
@str.89 = [51 x i8] c" -lFILENAME Print log messages to file FILENAME.\00"
define void @print_help() {
%1 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([41 x i8], [41 x i8]* @str, i64 0, i64 0))
%2 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([59 x i8], [59 x i8]* @str.46, i64 0, i64 0))
%3 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([37 x i8], [37 x i8]* @str.47, i64 0, i64 0))
%4 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([7 x i8], [7 x i8]* @str.48, i64 0, i64 0))
%5 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([55 x i8], [55 x i8]* @str.49, i64 0, i64 0))
%6 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([59 x i8], [59 x i8]* @str.50, i64 0, i64 0))
%7 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([11 x i8], [11 x i8]* @str.51, i64 0, i64 0))
%8 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([59 x i8], [59 x i8]* @str.52, i64 0, i64 0))
%9 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([62 x i8], [62 x i8]* @str.53, i64 0, i64 0))
%10 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([57 x i8], [57 x i8]* @str.54, i64 0, i64 0))
%11 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([55 x i8], [55 x i8]* @str.55, i64 0, i64 0))
%12 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([64 x i8], [64 x i8]* @str.56, i64 0, i64 0))
%13 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([53 x i8], [53 x i8]* @str.57, i64 0, i64 0))
%14 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([50 x i8], [50 x i8]* @str.58, i64 0, i64 0))
%15 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([58 x i8], [58 x i8]* @str.59, i64 0, i64 0))
%16 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([54 x i8], [54 x i8]* @str.60, i64 0, i64 0))
%17 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([43 x i8], [43 x i8]* @str.61, i64 0, i64 0))
%18 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([51 x i8], [51 x i8]* @str.62, i64 0, i64 0))
%19 = tail call i32 @printf(i8* dereferenceable(1) getelementptr inbounds ([66 x i8], [66 x i8]* @.str.18, i64 0, i64 0))
%20 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @str.63, i64 0, i64 0))
%21 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @str.64, i64 0, i64 0))
%22 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([61 x i8], [61 x i8]* @str.65, i64 0, i64 0))
%23 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([54 x i8], [54 x i8]* @str.66, i64 0, i64 0))
%24 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([61 x i8], [61 x i8]* @str.67, i64 0, i64 0))
%25 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([16 x i8], [16 x i8]* @str.68, i64 0, i64 0))
%26 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([38 x i8], [38 x i8]* @str.69, i64 0, i64 0))
%27 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([47 x i8], [47 x i8]* @str.70, i64 0, i64 0))
%28 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([48 x i8], [48 x i8]* @str.71, i64 0, i64 0))
%29 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([58 x i8], [58 x i8]* @str.72, i64 0, i64 0))
%30 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([64 x i8], [64 x i8]* @str.73, i64 0, i64 0))
%31 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([60 x i8], [60 x i8]* @str.74, i64 0, i64 0))
%32 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([60 x i8], [60 x i8]* @str.75, i64 0, i64 0))
%33 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([38 x i8], [38 x i8]* @str.76, i64 0, i64 0))
%34 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([60 x i8], [60 x i8]* @str.77, i64 0, i64 0))
%35 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([25 x i8], [25 x i8]* @str.78, i64 0, i64 0))
%36 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([11 x i8], [11 x i8]* @str.79, i64 0, i64 0))
%37 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([61 x i8], [61 x i8]* @str.80, i64 0, i64 0))
%38 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([60 x i8], [60 x i8]* @str.81, i64 0, i64 0))
%39 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([58 x i8], [58 x i8]* @str.82, i64 0, i64 0))
%40 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([59 x i8], [59 x i8]* @str.83, i64 0, i64 0))
%41 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([56 x i8], [56 x i8]* @str.84, i64 0, i64 0))
%42 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([9 x i8], [9 x i8]* @str.85, i64 0, i64 0))
%43 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([34 x i8], [34 x i8]* @str.86, i64 0, i64 0))
%44 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([53 x i8], [53 x i8]* @str.87, i64 0, i64 0))
%45 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([49 x i8], [49 x i8]* @str.88, i64 0, i64 0))
%46 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([51 x i8], [51 x i8]* @str.89, i64 0, i64 0))
%47 = tail call i32 (...) @print_copyright()
ret void
}