#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*/ fprintf(int /*<<< orphan*/, char *);
int /*<<< orphan*/ stderr;
void sv_usage(void) {
  fprintf(stderr, "usage: ssltest [args ...]\n");
  fprintf(stderr, "\n");
  fprintf(stderr, " -server_auth  - check server certificate\n");
  fprintf(stderr, " -client_auth  - do client authentication\n");
  fprintf(stderr, " -proxy        - allow proxy certificates\n");
  fprintf(stderr, " -proxy_auth <val> - set proxy policy rights\n");
  fprintf(stderr,
          " -proxy_cond <val> - experssion to test proxy policy rights\n");
  fprintf(stderr, " -v            - more output\n");
  fprintf(stderr, " -d            - debug output\n");
  fprintf(stderr, " -reuse        - use session-id reuse\n");
  fprintf(stderr, " -num <val>    - number of connections to perform\n");
  fprintf(stderr,
          " -bytes <val>  - number of bytes to swap between client/server\n");
  fprintf(stderr, " -dhe1024      - use 1024 bit key (safe prime) for DHE\n");
  fprintf(
      stderr,
      " -dhe1024dsa   - use 1024 bit key (with 160-bit subprime) for DHE\n");
  fprintf(stderr, " -no_dhe       - disable DHE\n");
  fprintf(stderr, " -no_ecdhe     - disable ECDHE\n");
  fprintf(stderr, " -dtls1        - use DTLSv1\n");
  fprintf(stderr, " -ssl3         - use SSLv3\n");
  fprintf(stderr, " -tls1         - use TLSv1\n");
  fprintf(stderr, " -CApath arg   - PEM format directory of CA's\n");
  fprintf(stderr, " -CAfile arg   - PEM format file of CA's\n");
  fprintf(stderr, " -cert arg     - Server certificate file\n");
  fprintf(stderr,
          " -key arg      - Server key file (default: same as -cert)\n");
  fprintf(stderr, " -c_cert arg   - Client certificate file\n");
  fprintf(stderr,
          " -c_key arg    - Client key file (default: same as -c_cert)\n");
  fprintf(stderr, " -cipher arg   - The cipher list\n");
  fprintf(stderr, " -bio_pair     - Use BIO pairs\n");
  fprintf(stderr, " -f            - Test even cases that can't work\n");
  fprintf(
      stderr,
      " -time         - measure processor time used by client and server\n");
  fprintf(
      stderr,
      " -named_curve arg  - Elliptic curve name to use for ephemeral ECDH "
      "keys.\n"
      "                 Use \"openssl ecparam -list_curves\" for all names\n"
      "                 (default is sect163r2).\n");
  fprintf(stderr,
          " -test_cipherlist - verifies the order of the ssl cipher lists\n");
}


x86 assembly (clang, -O0):
<sv_usage>:
push   %rbp
mov    %rsp,%rbp
mov    0x2ec5(%rip),%rax
mov    (%rax),%edi
lea    0xedc(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2eb0(%rip),%rax
mov    (%rax),%edi
lea    0x126f(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2e9b(%rip),%rax
mov    (%rax),%edi
lea    0xecd(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2e86(%rip),%rax
mov    (%rax),%edi
lea    0xee3(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2e71(%rip),%rax
mov    (%rax),%edi
lea    0xef9(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2e5c(%rip),%rax
mov    (%rax),%edi
lea    0xf0f(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2e47(%rip),%rax
mov    (%rax),%edi
lea    0xf28(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2e32(%rip),%rax
mov    (%rax),%edi
lea    0xf50(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2e1d(%rip),%rax
mov    (%rax),%edi
lea    0xf59(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2e08(%rip),%rax
mov    (%rax),%edi
lea    0xf63(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2df3(%rip),%rax
mov    (%rax),%edi
lea    0xf75(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2dde(%rip),%rax
mov    (%rax),%edi
lea    0xf93(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2dc9(%rip),%rax
mov    (%rax),%edi
lea    0xfbe(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2db4(%rip),%rax
mov    (%rax),%edi
lea    0xfe1(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2d9f(%rip),%rax
mov    (%rax),%edi
lea    0x100f(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2d8a(%rip),%rax
mov    (%rax),%edi
lea    0x1018(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2d75(%rip),%rax
mov    (%rax),%edi
lea    0x1023(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2d60(%rip),%rax
mov    (%rax),%edi
lea    0x102b(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2d4b(%rip),%rax
mov    (%rax),%edi
lea    0x1032(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2d36(%rip),%rax
mov    (%rax),%edi
lea    0x1039(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2d21(%rip),%rax
mov    (%rax),%edi
lea    0x1053(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2d0c(%rip),%rax
mov    (%rax),%edi
lea    0x1068(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2cf7(%rip),%rax
mov    (%rax),%edi
lea    0x107d(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2ce2(%rip),%rax
mov    (%rax),%edi
lea    0x10a3(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2ccd(%rip),%rax
mov    (%rax),%edi
lea    0x10b8(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2cb8(%rip),%rax
mov    (%rax),%edi
lea    0x10e0(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2ca3(%rip),%rax
mov    (%rax),%edi
lea    0x10ed(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2c8e(%rip),%rax
mov    (%rax),%edi
lea    0x10f8(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2c79(%rip),%rax
mov    (%rax),%edi
lea    0x1115(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2c64(%rip),%rax
mov    (%rax),%edi
lea    0x1143(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2c4f(%rip),%rax
mov    (%rax),%edi
lea    0x11e3(%rip),%rsi
call   1030 <fprintf@plt>
pop    %rbp
ret

x86 assembly (clang, -O2):
<sv_usage>:
push   %rbx
mov    0x2ec8(%rip),%rbx
mov    (%rbx),%edi
lea    0xedf(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1279(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0xede(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0xefb(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0xf18(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0xf35(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0xf55(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0xf84(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0xf94(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0xfa5(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0xfbe(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0xfe3(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1015(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x103f(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1074(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1084(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1096(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x10a5(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x10b3(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x10c1(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x10e2(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x10fe(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x111a(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1147(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1163(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1192(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x11a6(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x11b8(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x11dc(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1211(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x12b8(%rip),%rsi
pop    %rbx
jmp    1030 <fprintf@plt>

LLVM IR (-O0):
@stderr = global i32 0
@.str = [27 x i8] c"usage: ssltest [args ...]\0A\00"
@.str.1 = [2 x i8] c"\0A\00"
@.str.2 = [43 x i8] c" -server_auth - check server certificate\0A\00"
@.str.3 = [43 x i8] c" -client_auth - do client authentication\0A\00"
@.str.4 = [43 x i8] c" -proxy - allow proxy certificates\0A\00"
@.str.5 = [46 x i8] c" -proxy_auth <val> - set proxy policy rights\0A\00"
@.str.6 = [61 x i8] c" -proxy_cond <val> - experssion to test proxy policy rights\0A\00"
@.str.7 = [30 x i8] c" -v - more output\0A\00"
@.str.8 = [31 x i8] c" -d - debug output\0A\00"
@.str.9 = [39 x i8] c" -reuse - use session-id reuse\0A\00"
@.str.10 = [51 x i8] c" -num <val> - number of connections to perform\0A\00"
@.str.11 = [64 x i8] c" -bytes <val> - number of bytes to swap between client/server\0A\00"
@.str.12 = [56 x i8] c" -dhe1024 - use 1024 bit key (safe prime) for DHE\0A\00"
@.str.13 = [67 x i8] c" -dhe1024dsa - use 1024 bit key (with 160-bit subprime) for DHE\0A\00"
@.str.14 = [30 x i8] c" -no_dhe - disable DHE\0A\00"
@.str.15 = [32 x i8] c" -no_ecdhe - disable ECDHE\0A\00"
@.str.16 = [29 x i8] c" -dtls1 - use DTLSv1\0A\00"
@.str.17 = [28 x i8] c" -ssl3 - use SSLv3\0A\00"
@.str.18 = [28 x i8] c" -tls1 - use TLSv1\0A\00"
@.str.19 = [47 x i8] c" -CApath arg - PEM format directory of CA's\0A\00"
@.str.20 = [42 x i8] c" -CAfile arg - PEM format file of CA's\0A\00"
@.str.21 = [42 x i8] c" -cert arg - Server certificate file\0A\00"
@.str.22 = [59 x i8] c" -key arg - Server key file (default: same as -cert)\0A\00"
@.str.23 = [42 x i8] c" -c_cert arg - Client certificate file\0A\00"
@.str.24 = [61 x i8] c" -c_key arg - Client key file (default: same as -c_cert)\0A\00"
@.str.25 = [34 x i8] c" -cipher arg - The cipher list\0A\00"
@.str.26 = [32 x i8] c" -bio_pair - Use BIO pairs\0A\00"
@.str.27 = [50 x i8] c" -f - Test even cases that can't work\0A\00"
@.str.28 = [67 x i8] c" -time - measure processor time used by client and server\0A\00"
@.str.29 = [181 x i8] c" -named_curve arg - Elliptic curve name to use for ephemeral ECDH keys.\0A Use \22openssl ecparam -list_curves\22 for all names\0A (default is sect163r2).\0A\00"
@.str.30 = [64 x i8] c" -test_cipherlist - verifies the order of the ssl cipher lists\0A\00"
define void @sv_usage() {
%1 = load i32, i32* @stderr
%2 = call i32 @fprintf(i32 %1, i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str, i64 0, i64 0))
%3 = load i32, i32* @stderr
%4 = call i32 @fprintf(i32 %3, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0))
%5 = load i32, i32* @stderr
%6 = call i32 @fprintf(i32 %5, i8* getelementptr inbounds ([43 x i8], [43 x i8]* @.str.2, i64 0, i64 0))
%7 = load i32, i32* @stderr
%8 = call i32 @fprintf(i32 %7, i8* getelementptr inbounds ([43 x i8], [43 x i8]* @.str.3, i64 0, i64 0))
%9 = load i32, i32* @stderr
%10 = call i32 @fprintf(i32 %9, i8* getelementptr inbounds ([43 x i8], [43 x i8]* @.str.4, i64 0, i64 0))
%11 = load i32, i32* @stderr
%12 = call i32 @fprintf(i32 %11, i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str.5, i64 0, i64 0))
%13 = load i32, i32* @stderr
%14 = call i32 @fprintf(i32 %13, i8* getelementptr inbounds ([61 x i8], [61 x i8]* @.str.6, i64 0, i64 0))
%15 = load i32, i32* @stderr
%16 = call i32 @fprintf(i32 %15, i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.7, i64 0, i64 0))
%17 = load i32, i32* @stderr
%18 = call i32 @fprintf(i32 %17, i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.8, i64 0, i64 0))
%19 = load i32, i32* @stderr
%20 = call i32 @fprintf(i32 %19, i8* getelementptr inbounds ([39 x i8], [39 x i8]* @.str.9, i64 0, i64 0))
%21 = load i32, i32* @stderr
%22 = call i32 @fprintf(i32 %21, i8* getelementptr inbounds ([51 x i8], [51 x i8]* @.str.10, i64 0, i64 0))
%23 = load i32, i32* @stderr
%24 = call i32 @fprintf(i32 %23, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @.str.11, i64 0, i64 0))
%25 = load i32, i32* @stderr
%26 = call i32 @fprintf(i32 %25, i8* getelementptr inbounds ([56 x i8], [56 x i8]* @.str.12, i64 0, i64 0))
%27 = load i32, i32* @stderr
%28 = call i32 @fprintf(i32 %27, i8* getelementptr inbounds ([67 x i8], [67 x i8]* @.str.13, i64 0, i64 0))
%29 = load i32, i32* @stderr
%30 = call i32 @fprintf(i32 %29, i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.14, i64 0, i64 0))
%31 = load i32, i32* @stderr
%32 = call i32 @fprintf(i32 %31, i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.15, i64 0, i64 0))
%33 = load i32, i32* @stderr
%34 = call i32 @fprintf(i32 %33, i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str.16, i64 0, i64 0))
%35 = load i32, i32* @stderr
%36 = call i32 @fprintf(i32 %35, i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.17, i64 0, i64 0))
%37 = load i32, i32* @stderr
%38 = call i32 @fprintf(i32 %37, i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.18, i64 0, i64 0))
%39 = load i32, i32* @stderr
%40 = call i32 @fprintf(i32 %39, i8* getelementptr inbounds ([47 x i8], [47 x i8]* @.str.19, i64 0, i64 0))
%41 = load i32, i32* @stderr
%42 = call i32 @fprintf(i32 %41, i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str.20, i64 0, i64 0))
%43 = load i32, i32* @stderr
%44 = call i32 @fprintf(i32 %43, i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str.21, i64 0, i64 0))
%45 = load i32, i32* @stderr
%46 = call i32 @fprintf(i32 %45, i8* getelementptr inbounds ([59 x i8], [59 x i8]* @.str.22, i64 0, i64 0))
%47 = load i32, i32* @stderr
%48 = call i32 @fprintf(i32 %47, i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str.23, i64 0, i64 0))
%49 = load i32, i32* @stderr
%50 = call i32 @fprintf(i32 %49, i8* getelementptr inbounds ([61 x i8], [61 x i8]* @.str.24, i64 0, i64 0))
%51 = load i32, i32* @stderr
%52 = call i32 @fprintf(i32 %51, i8* getelementptr inbounds ([34 x i8], [34 x i8]* @.str.25, i64 0, i64 0))
%53 = load i32, i32* @stderr
%54 = call i32 @fprintf(i32 %53, i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.26, i64 0, i64 0))
%55 = load i32, i32* @stderr
%56 = call i32 @fprintf(i32 %55, i8* getelementptr inbounds ([50 x i8], [50 x i8]* @.str.27, i64 0, i64 0))
%57 = load i32, i32* @stderr
%58 = call i32 @fprintf(i32 %57, i8* getelementptr inbounds ([67 x i8], [67 x i8]* @.str.28, i64 0, i64 0))
%59 = load i32, i32* @stderr
%60 = call i32 @fprintf(i32 %59, i8* getelementptr inbounds ([181 x i8], [181 x i8]* @.str.29, i64 0, i64 0))
%61 = load i32, i32* @stderr
%62 = call i32 @fprintf(i32 %61, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @.str.30, i64 0, i64 0))
ret void
}

LLVM IR (-O2):
@stderr = global i32 0
@.str = [27 x i8] c"usage: ssltest [args ...]\0A\00"
@.str.1 = [2 x i8] c"\0A\00"
@.str.2 = [43 x i8] c" -server_auth - check server certificate\0A\00"
@.str.3 = [43 x i8] c" -client_auth - do client authentication\0A\00"
@.str.4 = [43 x i8] c" -proxy - allow proxy certificates\0A\00"
@.str.5 = [46 x i8] c" -proxy_auth <val> - set proxy policy rights\0A\00"
@.str.6 = [61 x i8] c" -proxy_cond <val> - experssion to test proxy policy rights\0A\00"
@.str.7 = [30 x i8] c" -v - more output\0A\00"
@.str.8 = [31 x i8] c" -d - debug output\0A\00"
@.str.9 = [39 x i8] c" -reuse - use session-id reuse\0A\00"
@.str.10 = [51 x i8] c" -num <val> - number of connections to perform\0A\00"
@.str.11 = [64 x i8] c" -bytes <val> - number of bytes to swap between client/server\0A\00"
@.str.12 = [56 x i8] c" -dhe1024 - use 1024 bit key (safe prime) for DHE\0A\00"
@.str.13 = [67 x i8] c" -dhe1024dsa - use 1024 bit key (with 160-bit subprime) for DHE\0A\00"
@.str.14 = [30 x i8] c" -no_dhe - disable DHE\0A\00"
@.str.15 = [32 x i8] c" -no_ecdhe - disable ECDHE\0A\00"
@.str.16 = [29 x i8] c" -dtls1 - use DTLSv1\0A\00"
@.str.17 = [28 x i8] c" -ssl3 - use SSLv3\0A\00"
@.str.18 = [28 x i8] c" -tls1 - use TLSv1\0A\00"
@.str.19 = [47 x i8] c" -CApath arg - PEM format directory of CA's\0A\00"
@.str.20 = [42 x i8] c" -CAfile arg - PEM format file of CA's\0A\00"
@.str.21 = [42 x i8] c" -cert arg - Server certificate file\0A\00"
@.str.22 = [59 x i8] c" -key arg - Server key file (default: same as -cert)\0A\00"
@.str.23 = [42 x i8] c" -c_cert arg - Client certificate file\0A\00"
@.str.24 = [61 x i8] c" -c_key arg - Client key file (default: same as -c_cert)\0A\00"
@.str.25 = [34 x i8] c" -cipher arg - The cipher list\0A\00"
@.str.26 = [32 x i8] c" -bio_pair - Use BIO pairs\0A\00"
@.str.27 = [50 x i8] c" -f - Test even cases that can't work\0A\00"
@.str.28 = [67 x i8] c" -time - measure processor time used by client and server\0A\00"
@.str.29 = [181 x i8] c" -named_curve arg - Elliptic curve name to use for ephemeral ECDH keys.\0A Use \22openssl ecparam -list_curves\22 for all names\0A (default is sect163r2).\0A\00"
@.str.30 = [64 x i8] c" -test_cipherlist - verifies the order of the ssl cipher lists\0A\00"
define void @sv_usage() {
%1 = load i32, i32* @stderr
%2 = tail call i32 @fprintf(i32 %1, i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str, i64 0, i64 0))
%3 = load i32, i32* @stderr
%4 = tail call i32 @fprintf(i32 %3, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0))
%5 = load i32, i32* @stderr
%6 = tail call i32 @fprintf(i32 %5, i8* getelementptr inbounds ([43 x i8], [43 x i8]* @.str.2, i64 0, i64 0))
%7 = load i32, i32* @stderr
%8 = tail call i32 @fprintf(i32 %7, i8* getelementptr inbounds ([43 x i8], [43 x i8]* @.str.3, i64 0, i64 0))
%9 = load i32, i32* @stderr
%10 = tail call i32 @fprintf(i32 %9, i8* getelementptr inbounds ([43 x i8], [43 x i8]* @.str.4, i64 0, i64 0))
%11 = load i32, i32* @stderr
%12 = tail call i32 @fprintf(i32 %11, i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str.5, i64 0, i64 0))
%13 = load i32, i32* @stderr
%14 = tail call i32 @fprintf(i32 %13, i8* getelementptr inbounds ([61 x i8], [61 x i8]* @.str.6, i64 0, i64 0))
%15 = load i32, i32* @stderr
%16 = tail call i32 @fprintf(i32 %15, i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.7, i64 0, i64 0))
%17 = load i32, i32* @stderr
%18 = tail call i32 @fprintf(i32 %17, i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.8, i64 0, i64 0))
%19 = load i32, i32* @stderr
%20 = tail call i32 @fprintf(i32 %19, i8* getelementptr inbounds ([39 x i8], [39 x i8]* @.str.9, i64 0, i64 0))
%21 = load i32, i32* @stderr
%22 = tail call i32 @fprintf(i32 %21, i8* getelementptr inbounds ([51 x i8], [51 x i8]* @.str.10, i64 0, i64 0))
%23 = load i32, i32* @stderr
%24 = tail call i32 @fprintf(i32 %23, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @.str.11, i64 0, i64 0))
%25 = load i32, i32* @stderr
%26 = tail call i32 @fprintf(i32 %25, i8* getelementptr inbounds ([56 x i8], [56 x i8]* @.str.12, i64 0, i64 0))
%27 = load i32, i32* @stderr
%28 = tail call i32 @fprintf(i32 %27, i8* getelementptr inbounds ([67 x i8], [67 x i8]* @.str.13, i64 0, i64 0))
%29 = load i32, i32* @stderr
%30 = tail call i32 @fprintf(i32 %29, i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.14, i64 0, i64 0))
%31 = load i32, i32* @stderr
%32 = tail call i32 @fprintf(i32 %31, i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.15, i64 0, i64 0))
%33 = load i32, i32* @stderr
%34 = tail call i32 @fprintf(i32 %33, i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str.16, i64 0, i64 0))
%35 = load i32, i32* @stderr
%36 = tail call i32 @fprintf(i32 %35, i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.17, i64 0, i64 0))
%37 = load i32, i32* @stderr
%38 = tail call i32 @fprintf(i32 %37, i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.18, i64 0, i64 0))
%39 = load i32, i32* @stderr
%40 = tail call i32 @fprintf(i32 %39, i8* getelementptr inbounds ([47 x i8], [47 x i8]* @.str.19, i64 0, i64 0))
%41 = load i32, i32* @stderr
%42 = tail call i32 @fprintf(i32 %41, i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str.20, i64 0, i64 0))
%43 = load i32, i32* @stderr
%44 = tail call i32 @fprintf(i32 %43, i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str.21, i64 0, i64 0))
%45 = load i32, i32* @stderr
%46 = tail call i32 @fprintf(i32 %45, i8* getelementptr inbounds ([59 x i8], [59 x i8]* @.str.22, i64 0, i64 0))
%47 = load i32, i32* @stderr
%48 = tail call i32 @fprintf(i32 %47, i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str.23, i64 0, i64 0))
%49 = load i32, i32* @stderr
%50 = tail call i32 @fprintf(i32 %49, i8* getelementptr inbounds ([61 x i8], [61 x i8]* @.str.24, i64 0, i64 0))
%51 = load i32, i32* @stderr
%52 = tail call i32 @fprintf(i32 %51, i8* getelementptr inbounds ([34 x i8], [34 x i8]* @.str.25, i64 0, i64 0))
%53 = load i32, i32* @stderr
%54 = tail call i32 @fprintf(i32 %53, i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.26, i64 0, i64 0))
%55 = load i32, i32* @stderr
%56 = tail call i32 @fprintf(i32 %55, i8* getelementptr inbounds ([50 x i8], [50 x i8]* @.str.27, i64 0, i64 0))
%57 = load i32, i32* @stderr
%58 = tail call i32 @fprintf(i32 %57, i8* getelementptr inbounds ([67 x i8], [67 x i8]* @.str.28, i64 0, i64 0))
%59 = load i32, i32* @stderr
%60 = tail call i32 @fprintf(i32 %59, i8* getelementptr inbounds ([181 x i8], [181 x i8]* @.str.29, i64 0, i64 0))
%61 = load i32, i32* @stderr
%62 = tail call i32 @fprintf(i32 %61, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @.str.30, i64 0, i64 0))
ret void
}