#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*/ fprintf(int /*<<< orphan*/, char *);
int /*<<< orphan*/ stdout;
void usage(void) {
  fprintf(stdout, "The program outputs GOST R 34.11-2012 hash digest in "
                  "hexadecimal format.\n");
  fprintf(stdout, "Each file listed on the command line is processed and hash "
                  "is printed\n");
  fprintf(stdout, "for each one.  Stdin is read as input when executed without "
                  "arguments.\n");
  fprintf(stdout, "\n");
  fprintf(stdout,
          "Usage: gost3411-2012 [-25bhvqrte] [-s string] [files ...]\n");
  fprintf(stdout, "\n");
  fprintf(stdout, "Options:\n");
  fprintf(stdout, "   -2          Output 256-bit digest.\n");
  fprintf(stdout, "   -5          Output 512-bit digest (default).\n");
  fprintf(stdout, "   -t          Testing mode to produce hash of example\n");
  fprintf(stdout, "               messages defined in standard.\n");
  fprintf(stdout, "   -b          Benchmark mode (to see how fast or slow\n");
  fprintf(stdout, "               this implementation).\n");
  fprintf(stdout, "   -s string   Print a digest of the given string.\n");
  fprintf(stdout, "   -r          Reverses the format of the output.\n");
  fprintf(stdout, "               This helps with visual diffs.\n");
  fprintf(stdout, "   -q          Quiet mode - only the digest is printed\n");
  fprintf(stdout, "               out.\n");
  fprintf(stdout, "   -e          Switch endianness when printing out\n");
  fprintf(stdout,
          "               resulting hash.  Default: least significant\n");
  fprintf(stdout,
          "               first.  With this options set all bytes in\n");
  fprintf(stdout, "               resulting hash are printed in reverse\n");
  fprintf(stdout, "               order, more precisely, most significant\n");
  fprintf(stdout, "               first.\n");
  fprintf(stdout, "   -v          Print version info and exit.\n");
  fprintf(stdout, "   -h          Print this help and exit.\n");
  fprintf(stdout, "\n");
  fprintf(stdout, "Report bugs to <alexey@renatasystems.org>\n");
  exit(0);
}


x86 assembly (clang, -O0):
<usage>:
push   %rbp
mov    %rsp,%rbp
mov    0x2eb5(%rip),%rax
mov    (%rax),%edi
lea    0xecc(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2ea0(%rip),%rax
mov    (%rax),%edi
lea    0xf01(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2e8b(%rip),%rax
mov    (%rax),%edi
lea    0xf33(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2e76(%rip),%rax
mov    (%rax),%edi
lea    0x10c5(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2e61(%rip),%rax
mov    (%rax),%edi
lea    0xf51(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2e4c(%rip),%rax
mov    (%rax),%edi
lea    0x109b(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2e37(%rip),%rax
mov    (%rax),%edi
lea    0xf62(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2e22(%rip),%rax
mov    (%rax),%edi
lea    0xf57(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2e0d(%rip),%rax
mov    (%rax),%edi
lea    0xf69(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2df8(%rip),%rax
mov    (%rax),%edi
lea    0xf85(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2de3(%rip),%rax
mov    (%rax),%edi
lea    0xfa8(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2dce(%rip),%rax
mov    (%rax),%edi
lea    0xfc1(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2db9(%rip),%rax
mov    (%rax),%edi
lea    0xfe4(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2da4(%rip),%rax
mov    (%rax),%edi
lea    0xff5(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2d8f(%rip),%rax
mov    (%rax),%edi
lea    0x1014(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2d7a(%rip),%rax
mov    (%rax),%edi
lea    0x1032(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2d65(%rip),%rax
mov    (%rax),%edi
lea    0x104b(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2d50(%rip),%rax
mov    (%rax),%edi
lea    0x106e(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2d3b(%rip),%rax
mov    (%rax),%edi
lea    0x106e(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2d26(%rip),%rax
mov    (%rax),%edi
lea    0x108d(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2d11(%rip),%rax
mov    (%rax),%edi
lea    0x10b4(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2cfc(%rip),%rax
mov    (%rax),%edi
lea    0x10da(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2ce7(%rip),%rax
mov    (%rax),%edi
lea    0x10fb(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2cd2(%rip),%rax
mov    (%rax),%edi
lea    0x111e(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2cbd(%rip),%rax
mov    (%rax),%edi
lea    0x1120(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2ca8(%rip),%rax
mov    (%rax),%edi
lea    0x1138(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2c93(%rip),%rax
mov    (%rax),%edi
lea    0xee2(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2c7e(%rip),%rax
mov    (%rax),%edi
lea    0x1138(%rip),%rsi
call   1030 <fprintf@plt>
xor    %edi,%edi
call   1040 <exit@plt>

x86 assembly (clang, -O2):
<usage>:
push   %r14
push   %rbx
push   %rax
mov    0x2eb5(%rip),%rbx
mov    (%rbx),%edi
lea    0xecc(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0xf08(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0xf41(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x10da(%rip),%r14
mov    %r14,%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0xf6a(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
mov    %r14,%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0xf8d(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0xf89(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0xfa2(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0xfc5(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0xfef(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x100f(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1039(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1051(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1077(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x109c(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x10bc(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x10e6(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x10ed(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1113(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1141(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x116e(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1196(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x11c0(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x11c9(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x11e8(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
mov    %r14,%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x11fa(%rip),%rsi
call   1030 <fprintf@plt>
xor    %edi,%edi
call   1040 <exit@plt>

LLVM IR (-O0):
@stdout = global i32 0
@.str = [74 x i8] c"The program outputs GOST R 34.11-2012 hash digest in hexadecimal format.\0A\00"
@.str.1 = [71 x i8] c"Each file listed on the command line is processed and hash is printed\0A\00"
@.str.2 = [72 x i8] c"for each one. Stdin is read as input when executed without arguments.\0A\00"
@.str.3 = [2 x i8] c"\0A\00"
@.str.4 = [59 x i8] c"Usage: gost3411-2012 [-25bhvqrte] [-s string] [files ...]\0A\00"
@.str.5 = [10 x i8] c"Options:\0A\00"
@.str.6 = [39 x i8] c" -2 Output 256-bit digest.\0A\00"
@.str.7 = [49 x i8] c" -5 Output 512-bit digest (default).\0A\00"
@.str.8 = [56 x i8] c" -t Testing mode to produce hash of example\0A\00"
@.str.9 = [46 x i8] c" messages defined in standard.\0A\00"
@.str.10 = [56 x i8] c" -b Benchmark mode (to see how fast or slow\0A\00"
@.str.11 = [38 x i8] c" this implementation).\0A\00"
@.str.12 = [52 x i8] c" -s string Print a digest of the given string.\0A\00"
@.str.13 = [51 x i8] c" -r Reverses the format of the output.\0A\00"
@.str.14 = [46 x i8] c" This helps with visual diffs.\0A\00"
@.str.15 = [56 x i8] c" -q Quiet mode - only the digest is printed\0A\00"
@.str.16 = [21 x i8] c" out.\0A\00"
@.str.17 = [52 x i8] c" -e Switch endianness when printing out\0A\00"
@.str.18 = [60 x i8] c" resulting hash. Default: least significant\0A\00"
@.str.19 = [59 x i8] c" first. With this options set all bytes in\0A\00"
@.str.20 = [54 x i8] c" resulting hash are printed in reverse\0A\00"
@.str.21 = [56 x i8] c" order, more precisely, most significant\0A\00"
@.str.22 = [23 x i8] c" first.\0A\00"
@.str.23 = [45 x i8] c" -v Print version info and exit.\0A\00"
@.str.24 = [42 x i8] c" -h Print this help and exit.\0A\00"
@.str.25 = [43 x i8] c"Report bugs to <alexey@renatasystems.org>\0A\00"
define void @usage() {
%1 = load i32, i32* @stdout
%2 = call i32 @fprintf(i32 %1, i8* getelementptr inbounds ([74 x i8], [74 x i8]* @.str, i64 0, i64 0))
%3 = load i32, i32* @stdout
%4 = call i32 @fprintf(i32 %3, i8* getelementptr inbounds ([71 x i8], [71 x i8]* @.str.1, i64 0, i64 0))
%5 = load i32, i32* @stdout
%6 = call i32 @fprintf(i32 %5, i8* getelementptr inbounds ([72 x i8], [72 x i8]* @.str.2, i64 0, i64 0))
%7 = load i32, i32* @stdout
%8 = call i32 @fprintf(i32 %7, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.3, i64 0, i64 0))
%9 = load i32, i32* @stdout
%10 = call i32 @fprintf(i32 %9, i8* getelementptr inbounds ([59 x i8], [59 x i8]* @.str.4, i64 0, i64 0))
%11 = load i32, i32* @stdout
%12 = call i32 @fprintf(i32 %11, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.3, i64 0, i64 0))
%13 = load i32, i32* @stdout
%14 = call i32 @fprintf(i32 %13, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.5, i64 0, i64 0))
%15 = load i32, i32* @stdout
%16 = call i32 @fprintf(i32 %15, i8* getelementptr inbounds ([39 x i8], [39 x i8]* @.str.6, i64 0, i64 0))
%17 = load i32, i32* @stdout
%18 = call i32 @fprintf(i32 %17, i8* getelementptr inbounds ([49 x i8], [49 x i8]* @.str.7, i64 0, i64 0))
%19 = load i32, i32* @stdout
%20 = call i32 @fprintf(i32 %19, i8* getelementptr inbounds ([56 x i8], [56 x i8]* @.str.8, i64 0, i64 0))
%21 = load i32, i32* @stdout
%22 = call i32 @fprintf(i32 %21, i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str.9, i64 0, i64 0))
%23 = load i32, i32* @stdout
%24 = call i32 @fprintf(i32 %23, i8* getelementptr inbounds ([56 x i8], [56 x i8]* @.str.10, i64 0, i64 0))
%25 = load i32, i32* @stdout
%26 = call i32 @fprintf(i32 %25, i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.11, i64 0, i64 0))
%27 = load i32, i32* @stdout
%28 = call i32 @fprintf(i32 %27, i8* getelementptr inbounds ([52 x i8], [52 x i8]* @.str.12, i64 0, i64 0))
%29 = load i32, i32* @stdout
%30 = call i32 @fprintf(i32 %29, i8* getelementptr inbounds ([51 x i8], [51 x i8]* @.str.13, i64 0, i64 0))
%31 = load i32, i32* @stdout
%32 = call i32 @fprintf(i32 %31, i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str.14, i64 0, i64 0))
%33 = load i32, i32* @stdout
%34 = call i32 @fprintf(i32 %33, i8* getelementptr inbounds ([56 x i8], [56 x i8]* @.str.15, i64 0, i64 0))
%35 = load i32, i32* @stdout
%36 = call i32 @fprintf(i32 %35, i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.16, i64 0, i64 0))
%37 = load i32, i32* @stdout
%38 = call i32 @fprintf(i32 %37, i8* getelementptr inbounds ([52 x i8], [52 x i8]* @.str.17, i64 0, i64 0))
%39 = load i32, i32* @stdout
%40 = call i32 @fprintf(i32 %39, i8* getelementptr inbounds ([60 x i8], [60 x i8]* @.str.18, i64 0, i64 0))
%41 = load i32, i32* @stdout
%42 = call i32 @fprintf(i32 %41, i8* getelementptr inbounds ([59 x i8], [59 x i8]* @.str.19, i64 0, i64 0))
%43 = load i32, i32* @stdout
%44 = call i32 @fprintf(i32 %43, i8* getelementptr inbounds ([54 x i8], [54 x i8]* @.str.20, i64 0, i64 0))
%45 = load i32, i32* @stdout
%46 = call i32 @fprintf(i32 %45, i8* getelementptr inbounds ([56 x i8], [56 x i8]* @.str.21, i64 0, i64 0))
%47 = load i32, i32* @stdout
%48 = call i32 @fprintf(i32 %47, i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str.22, i64 0, i64 0))
%49 = load i32, i32* @stdout
%50 = call i32 @fprintf(i32 %49, i8* getelementptr inbounds ([45 x i8], [45 x i8]* @.str.23, i64 0, i64 0))
%51 = load i32, i32* @stdout
%52 = call i32 @fprintf(i32 %51, i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str.24, i64 0, i64 0))
%53 = load i32, i32* @stdout
%54 = call i32 @fprintf(i32 %53, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.3, i64 0, i64 0))
%55 = load i32, i32* @stdout
%56 = call i32 @fprintf(i32 %55, i8* getelementptr inbounds ([43 x i8], [43 x i8]* @.str.25, i64 0, i64 0))
%57 = call i32 @exit(i32 0)
unreachable
}

LLVM IR (-O2):
@stdout = global i32 0
@.str = [74 x i8] c"The program outputs GOST R 34.11-2012 hash digest in hexadecimal format.\0A\00"
@.str.1 = [71 x i8] c"Each file listed on the command line is processed and hash is printed\0A\00"
@.str.2 = [72 x i8] c"for each one. Stdin is read as input when executed without arguments.\0A\00"
@.str.3 = [2 x i8] c"\0A\00"
@.str.4 = [59 x i8] c"Usage: gost3411-2012 [-25bhvqrte] [-s string] [files ...]\0A\00"
@.str.5 = [10 x i8] c"Options:\0A\00"
@.str.6 = [39 x i8] c" -2 Output 256-bit digest.\0A\00"
@.str.7 = [49 x i8] c" -5 Output 512-bit digest (default).\0A\00"
@.str.8 = [56 x i8] c" -t Testing mode to produce hash of example\0A\00"
@.str.9 = [46 x i8] c" messages defined in standard.\0A\00"
@.str.10 = [56 x i8] c" -b Benchmark mode (to see how fast or slow\0A\00"
@.str.11 = [38 x i8] c" this implementation).\0A\00"
@.str.12 = [52 x i8] c" -s string Print a digest of the given string.\0A\00"
@.str.13 = [51 x i8] c" -r Reverses the format of the output.\0A\00"
@.str.14 = [46 x i8] c" This helps with visual diffs.\0A\00"
@.str.15 = [56 x i8] c" -q Quiet mode - only the digest is printed\0A\00"
@.str.16 = [21 x i8] c" out.\0A\00"
@.str.17 = [52 x i8] c" -e Switch endianness when printing out\0A\00"
@.str.18 = [60 x i8] c" resulting hash. Default: least significant\0A\00"
@.str.19 = [59 x i8] c" first. With this options set all bytes in\0A\00"
@.str.20 = [54 x i8] c" resulting hash are printed in reverse\0A\00"
@.str.21 = [56 x i8] c" order, more precisely, most significant\0A\00"
@.str.22 = [23 x i8] c" first.\0A\00"
@.str.23 = [45 x i8] c" -v Print version info and exit.\0A\00"
@.str.24 = [42 x i8] c" -h Print this help and exit.\0A\00"
@.str.25 = [43 x i8] c"Report bugs to <alexey@renatasystems.org>\0A\00"
define void @usage() {
%1 = load i32, i32* @stdout
%2 = tail call i32 @fprintf(i32 %1, i8* getelementptr inbounds ([74 x i8], [74 x i8]* @.str, i64 0, i64 0))
%3 = load i32, i32* @stdout
%4 = tail call i32 @fprintf(i32 %3, i8* getelementptr inbounds ([71 x i8], [71 x i8]* @.str.1, i64 0, i64 0))
%5 = load i32, i32* @stdout
%6 = tail call i32 @fprintf(i32 %5, i8* getelementptr inbounds ([72 x i8], [72 x i8]* @.str.2, i64 0, i64 0))
%7 = load i32, i32* @stdout
%8 = tail call i32 @fprintf(i32 %7, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.3, i64 0, i64 0))
%9 = load i32, i32* @stdout
%10 = tail call i32 @fprintf(i32 %9, i8* getelementptr inbounds ([59 x i8], [59 x i8]* @.str.4, i64 0, i64 0))
%11 = load i32, i32* @stdout
%12 = tail call i32 @fprintf(i32 %11, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.3, i64 0, i64 0))
%13 = load i32, i32* @stdout
%14 = tail call i32 @fprintf(i32 %13, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.5, i64 0, i64 0))
%15 = load i32, i32* @stdout
%16 = tail call i32 @fprintf(i32 %15, i8* getelementptr inbounds ([39 x i8], [39 x i8]* @.str.6, i64 0, i64 0))
%17 = load i32, i32* @stdout
%18 = tail call i32 @fprintf(i32 %17, i8* getelementptr inbounds ([49 x i8], [49 x i8]* @.str.7, i64 0, i64 0))
%19 = load i32, i32* @stdout
%20 = tail call i32 @fprintf(i32 %19, i8* getelementptr inbounds ([56 x i8], [56 x i8]* @.str.8, i64 0, i64 0))
%21 = load i32, i32* @stdout
%22 = tail call i32 @fprintf(i32 %21, i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str.9, i64 0, i64 0))
%23 = load i32, i32* @stdout
%24 = tail call i32 @fprintf(i32 %23, i8* getelementptr inbounds ([56 x i8], [56 x i8]* @.str.10, i64 0, i64 0))
%25 = load i32, i32* @stdout
%26 = tail call i32 @fprintf(i32 %25, i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.11, i64 0, i64 0))
%27 = load i32, i32* @stdout
%28 = tail call i32 @fprintf(i32 %27, i8* getelementptr inbounds ([52 x i8], [52 x i8]* @.str.12, i64 0, i64 0))
%29 = load i32, i32* @stdout
%30 = tail call i32 @fprintf(i32 %29, i8* getelementptr inbounds ([51 x i8], [51 x i8]* @.str.13, i64 0, i64 0))
%31 = load i32, i32* @stdout
%32 = tail call i32 @fprintf(i32 %31, i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str.14, i64 0, i64 0))
%33 = load i32, i32* @stdout
%34 = tail call i32 @fprintf(i32 %33, i8* getelementptr inbounds ([56 x i8], [56 x i8]* @.str.15, i64 0, i64 0))
%35 = load i32, i32* @stdout
%36 = tail call i32 @fprintf(i32 %35, i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.16, i64 0, i64 0))
%37 = load i32, i32* @stdout
%38 = tail call i32 @fprintf(i32 %37, i8* getelementptr inbounds ([52 x i8], [52 x i8]* @.str.17, i64 0, i64 0))
%39 = load i32, i32* @stdout
%40 = tail call i32 @fprintf(i32 %39, i8* getelementptr inbounds ([60 x i8], [60 x i8]* @.str.18, i64 0, i64 0))
%41 = load i32, i32* @stdout
%42 = tail call i32 @fprintf(i32 %41, i8* getelementptr inbounds ([59 x i8], [59 x i8]* @.str.19, i64 0, i64 0))
%43 = load i32, i32* @stdout
%44 = tail call i32 @fprintf(i32 %43, i8* getelementptr inbounds ([54 x i8], [54 x i8]* @.str.20, i64 0, i64 0))
%45 = load i32, i32* @stdout
%46 = tail call i32 @fprintf(i32 %45, i8* getelementptr inbounds ([56 x i8], [56 x i8]* @.str.21, i64 0, i64 0))
%47 = load i32, i32* @stdout
%48 = tail call i32 @fprintf(i32 %47, i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str.22, i64 0, i64 0))
%49 = load i32, i32* @stdout
%50 = tail call i32 @fprintf(i32 %49, i8* getelementptr inbounds ([45 x i8], [45 x i8]* @.str.23, i64 0, i64 0))
%51 = load i32, i32* @stdout
%52 = tail call i32 @fprintf(i32 %51, i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str.24, i64 0, i64 0))
%53 = load i32, i32* @stdout
%54 = tail call i32 @fprintf(i32 %53, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.3, i64 0, i64 0))
%55 = load i32, i32* @stdout
%56 = tail call i32 @fprintf(i32 %55, i8* getelementptr inbounds ([43 x i8], [43 x i8]* @.str.25, i64 0, i64 0))
%57 = tail call i32 @exit(i32 0)
unreachable
}