#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, " -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,
          " -dhe512       - use 512 bit key for DHE (to test failure)\n");
  fprintf(stderr, " -dhe1024      - use 1024 bit key (safe prime) for DHE "
                  "(default, no-op)\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\nTODO(openssl-team): "
                  "no_ecdhe was broken by auto ecdh. Make this work again.\n");
  fprintf(stderr, " -psk arg      - PSK in hex (without 0x)\n");
  fprintf(stderr, " -ssl3         - use SSLv3\n");
  fprintf(stderr, " -tls1         - use TLSv1\n");
  fprintf(stderr, " -dtls         - use DTLS\n");
  fprintf(stderr, " -dtls1        - use DTLSv1\n");
  fprintf(stderr, " -dtls12       - use DTLSv1.2\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 TLSv1.2 and below cipher list\n");
  fprintf(stderr, " -ciphersuites arg   - The TLSv1.3 ciphersuites\n");
  fprintf(stderr, " -bio_pair     - Use BIO pairs\n");
  fprintf(stderr, " -ipv4         - Use IPv4 connection on localhost\n");
  fprintf(stderr, " -ipv6         - Use IPv6 connection on localhost\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, " -zlib         - use zlib compression\n");
  fprintf(stderr, " -npn_client - have client side offer NPN\n");
  fprintf(stderr, " -npn_server - have server side offer NPN\n");
  fprintf(stderr, " -npn_server_reject - have server reject NPN\n");
  fprintf(stderr, " -serverinfo_file file - have server use this file\n");
  fprintf(stderr, " -serverinfo_sct  - have client offer and expect SCT\n");
  fprintf(stderr, " -serverinfo_tack - have client offer and expect TACK\n");
  fprintf(stderr, " -custom_ext - try various custom extension callbacks\n");
  fprintf(stderr, " -alpn_client <string> - have client side offer ALPN\n");
  fprintf(stderr, " -alpn_server <string> - have server side offer ALPN\n");
  fprintf(stderr, " -alpn_server1 <string> - alias for -alpn_server\n");
  fprintf(stderr,
          " -alpn_server2 <string> - have server side context 2 offer ALPN\n");
  fprintf(stderr, " -alpn_expected <string> - the ALPN protocol that should be "
                  "negotiated\n");
  fprintf(stderr, " -server_min_proto <string> - Minimum version the server "
                  "should support\n");
  fprintf(stderr, " -server_max_proto <string> - Maximum version the server "
                  "should support\n");
  fprintf(stderr, " -client_min_proto <string> - Minimum version the client "
                  "should support\n");
  fprintf(stderr, " -client_max_proto <string> - Maximum version the client "
                  "should support\n");
  fprintf(stderr, " -should_negotiate <string> - The version that should be "
                  "negotiated, fail-client or fail-server\n");
  fprintf(stderr, " -noct         - no certificate transparency\n");
  fprintf(stderr, " -requestct    - request certificate transparency\n");
  fprintf(stderr, " -requirect    - require certificate transparency\n");
  fprintf(stderr,
          " -sn_client <string>  - have client request this servername\n");
  fprintf(stderr, " -sn_server1 <string> - have server context 1 respond to "
                  "this servername\n");
  fprintf(stderr, " -sn_server2 <string> - have server context 2 respond to "
                  "this servername\n");
  fprintf(stderr, " -sn_expect1          - expected server 1\n");
  fprintf(stderr, " -sn_expect2          - expected server 2\n");
  fprintf(stderr,
          " -server_sess_out <file>    - Save the server session to a file\n");
  fprintf(
      stderr,
      " -server_sess_in <file>     - Read the server session from a file\n");
  fprintf(stderr,
          " -client_sess_out <file>    - Save the client session to a file\n");
  fprintf(
      stderr,
      " -client_sess_in <file>     - Read the client session from a file\n");
  fprintf(stderr, " -should_reuse <number>     - The expected state of reusing "
                  "the session\n");
  fprintf(stderr, " -no_ticket    - do not issue TLS session ticket\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    0x1049(%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    0xf02(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2e47(%rip),%rax
mov    (%rax),%edi
lea    0xf0c(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2e32(%rip),%rax
mov    (%rax),%edi
lea    0xf1e(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2e1d(%rip),%rax
mov    (%rax),%edi
lea    0xf3c(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2e08(%rip),%rax
mov    (%rax),%edi
lea    0xf67(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2df3(%rip),%rax
mov    (%rax),%edi
lea    0xf8e(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2dde(%rip),%rax
mov    (%rax),%edi
lea    0xfc2(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2dc9(%rip),%rax
mov    (%rax),%edi
lea    0xff0(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2db4(%rip),%rax
mov    (%rax),%edi
lea    0xff9(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2d9f(%rip),%rax
mov    (%rax),%edi
lea    0x1050(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2d8a(%rip),%rax
mov    (%rax),%edi
lea    0x1065(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2d75(%rip),%rax
mov    (%rax),%edi
lea    0x106c(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2d60(%rip),%rax
mov    (%rax),%edi
lea    0x1073(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2d4b(%rip),%rax
mov    (%rax),%edi
lea    0x1079(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2d36(%rip),%rax
mov    (%rax),%edi
lea    0x1081(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2d21(%rip),%rax
mov    (%rax),%edi
lea    0x108b(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2d0c(%rip),%rax
mov    (%rax),%edi
lea    0x10a5(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2cf7(%rip),%rax
mov    (%rax),%edi
lea    0x10ba(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2ce2(%rip),%rax
mov    (%rax),%edi
lea    0x10cf(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2ccd(%rip),%rax
mov    (%rax),%edi
lea    0x10f5(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2cb8(%rip),%rax
mov    (%rax),%edi
lea    0x110a(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2ca3(%rip),%rax
mov    (%rax),%edi
lea    0x1132(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2c8e(%rip),%rax
mov    (%rax),%edi
lea    0x1151(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2c79(%rip),%rax
mov    (%rax),%edi
lea    0x116d(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2c64(%rip),%rax
mov    (%rax),%edi
lea    0x1178(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2c4f(%rip),%rax
mov    (%rax),%edi
lea    0x1196(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2c3a(%rip),%rax
mov    (%rax),%edi
lea    0x11b4(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2c25(%rip),%rax
mov    (%rax),%edi
lea    0x11d1(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2c10(%rip),%rax
mov    (%rax),%edi
lea    0x11ff(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2bfb(%rip),%rax
mov    (%rax),%edi
lea    0x1211(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2be6(%rip),%rax
mov    (%rax),%edi
lea    0x1227(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2bd1(%rip),%rax
mov    (%rax),%edi
lea    0x123d(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2bbc(%rip),%rax
mov    (%rax),%edi
lea    0x1256(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2ba7(%rip),%rax
mov    (%rax),%edi
lea    0x1275(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2b92(%rip),%rax
mov    (%rax),%edi
lea    0x1296(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2b7d(%rip),%rax
mov    (%rax),%edi
lea    0x12b8(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2b68(%rip),%rax
mov    (%rax),%edi
lea    0x12da(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2b53(%rip),%rax
mov    (%rax),%edi
lea    0x12fb(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2b3e(%rip),%rax
mov    (%rax),%edi
lea    0x131c(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2b29(%rip),%rax
mov    (%rax),%edi
lea    0x1339(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2b14(%rip),%rax
mov    (%rax),%edi
lea    0x1365(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2aff(%rip),%rax
mov    (%rax),%edi
lea    0x1398(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2aea(%rip),%rax
mov    (%rax),%edi
lea    0x13cc(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2ad5(%rip),%rax
mov    (%rax),%edi
lea    0x1400(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2ac0(%rip),%rax
mov    (%rax),%edi
lea    0x1434(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2aab(%rip),%rax
mov    (%rax),%edi
lea    0x1468(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2a96(%rip),%rax
mov    (%rax),%edi
lea    0x14b4(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2a81(%rip),%rax
mov    (%rax),%edi
lea    0x14cd(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2a6c(%rip),%rax
mov    (%rax),%edi
lea    0x14eb(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2a57(%rip),%rax
mov    (%rax),%edi
lea    0x1509(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2a42(%rip),%rax
mov    (%rax),%edi
lea    0x1531(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2a2d(%rip),%rax
mov    (%rax),%edi
lea    0x1566(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2a18(%rip),%rax
mov    (%rax),%edi
lea    0x159b(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2a03(%rip),%rax
mov    (%rax),%edi
lea    0x15b1(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x29ee(%rip),%rax
mov    (%rax),%edi
lea    0x15c7(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x29d9(%rip),%rax
mov    (%rax),%edi
lea    0x15f3(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x29c4(%rip),%rax
mov    (%rax),%edi
lea    0x1621(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x29af(%rip),%rax
mov    (%rax),%edi
lea    0x164d(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x299a(%rip),%rax
mov    (%rax),%edi
lea    0x167b(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2985(%rip),%rax
mov    (%rax),%edi
lea    0x16af(%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    0x1053(%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    0xf28(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0xf39(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0xf52(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0xf77(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0xfa9(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0xfd7(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1012(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1047(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1057(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x10b5(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x10d1(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x10df(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x10ed(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x10fa(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1109(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x111a(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x113b(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1157(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1173(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x11a0(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x11bc(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x11eb(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1211(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1234(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1246(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x126b(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1290(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x12b4(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x12e9(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1302(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x131f(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x133c(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x135c(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1382(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x13aa(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x13d3(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x13fc(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1424(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x144c(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1470(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x14a3(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x14dd(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1518(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1553(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x158e(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x15c9(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x161c(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x163c(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1661(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1686(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x16b5(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x16f1(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x172d(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x174a(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1767(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x179a(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x17cf(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1802(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1837(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1872(%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 = [30 x i8] c" -v - more output\0A\00"
@.str.5 = [31 x i8] c" -d - debug output\0A\00"
@.str.6 = [39 x i8] c" -reuse - use session-id reuse\0A\00"
@.str.7 = [51 x i8] c" -num <val> - number of connections to perform\0A\00"
@.str.8 = [64 x i8] c" -bytes <val> - number of bytes to swap between client/server\0A\00"
@.str.9 = [60 x i8] c" -dhe512 - use 512 bit key for DHE (to test failure)\0A\00"
@.str.10 = [73 x i8] c" -dhe1024 - use 1024 bit key (safe prime) for DHE (default, no-op)\0A\00"
@.str.11 = [67 x i8] c" -dhe1024dsa - use 1024 bit key (with 160-bit subprime) for DHE\0A\00"
@.str.12 = [30 x i8] c" -no_dhe - disable DHE\0A\00"
@.str.13 = [108 x i8] c" -no_ecdhe - disable ECDHE\0ATODO(openssl-team): no_ecdhe was broken by auto ecdh. Make this work again.\0A\00"
@.str.14 = [42 x i8] c" -psk arg - PSK in hex (without 0x)\0A\00"
@.str.15 = [28 x i8] c" -ssl3 - use SSLv3\0A\00"
@.str.16 = [28 x i8] c" -tls1 - use TLSv1\0A\00"
@.str.17 = [27 x i8] c" -dtls - use DTLS\0A\00"
@.str.18 = [29 x i8] c" -dtls1 - use DTLSv1\0A\00"
@.str.19 = [31 x i8] c" -dtls12 - use DTLSv1.2\0A\00"
@.str.20 = [47 x i8] c" -CApath arg - PEM format directory of CA's\0A\00"
@.str.21 = [42 x i8] c" -CAfile arg - PEM format file of CA's\0A\00"
@.str.22 = [42 x i8] c" -cert arg - Server certificate file\0A\00"
@.str.23 = [59 x i8] c" -key arg - Server key file (default: same as -cert)\0A\00"
@.str.24 = [42 x i8] c" -c_cert arg - Client certificate file\0A\00"
@.str.25 = [61 x i8] c" -c_key arg - Client key file (default: same as -c_cert)\0A\00"
@.str.26 = [52 x i8] c" -cipher arg - The TLSv1.2 and below cipher list\0A\00"
@.str.27 = [49 x i8] c" -ciphersuites arg - The TLSv1.3 ciphersuites\0A\00"
@.str.28 = [32 x i8] c" -bio_pair - Use BIO pairs\0A\00"
@.str.29 = [51 x i8] c" -ipv4 - Use IPv4 connection on localhost\0A\00"
@.str.30 = [51 x i8] c" -ipv6 - Use IPv6 connection on localhost\0A\00"
@.str.31 = [50 x i8] c" -f - Test even cases that can't work\0A\00"
@.str.32 = [67 x i8] c" -time - measure processor time used by client and server\0A\00"
@.str.33 = [39 x i8] c" -zlib - use zlib compression\0A\00"
@.str.34 = [43 x i8] c" -npn_client - have client side offer NPN\0A\00"
@.str.35 = [43 x i8] c" -npn_server - have server side offer NPN\0A\00"
@.str.36 = [46 x i8] c" -npn_server_reject - have server reject NPN\0A\00"
@.str.37 = [52 x i8] c" -serverinfo_file file - have server use this file\0A\00"
@.str.38 = [54 x i8] c" -serverinfo_sct - have client offer and expect SCT\0A\00"
@.str.39 = [55 x i8] c" -serverinfo_tack - have client offer and expect TACK\0A\00"
@.str.40 = [55 x i8] c" -custom_ext - try various custom extension callbacks\0A\00"
@.str.41 = [54 x i8] c" -alpn_client <string> - have client side offer ALPN\0A\00"
@.str.42 = [54 x i8] c" -alpn_server <string> - have server side offer ALPN\0A\00"
@.str.43 = [50 x i8] c" -alpn_server1 <string> - alias for -alpn_server\0A\00"
@.str.44 = [65 x i8] c" -alpn_server2 <string> - have server side context 2 offer ALPN\0A\00"
@.str.45 = [72 x i8] c" -alpn_expected <string> - the ALPN protocol that should be negotiated\0A\00"
@.str.46 = [73 x i8] c" -server_min_proto <string> - Minimum version the server should support\0A\00"
@.str.47 = [73 x i8] c" -server_max_proto <string> - Maximum version the server should support\0A\00"
@.str.48 = [73 x i8] c" -client_min_proto <string> - Minimum version the client should support\0A\00"
@.str.49 = [73 x i8] c" -client_max_proto <string> - Maximum version the client should support\0A\00"
@.str.50 = [97 x i8] c" -should_negotiate <string> - The version that should be negotiated, fail-client or fail-server\0A\00"
@.str.51 = [46 x i8] c" -noct - no certificate transparency\0A\00"
@.str.52 = [51 x i8] c" -requestct - request certificate transparency\0A\00"
@.str.53 = [51 x i8] c" -requirect - require certificate transparency\0A\00"
@.str.54 = [61 x i8] c" -sn_client <string> - have client request this servername\0A\00"
@.str.55 = [74 x i8] c" -sn_server1 <string> - have server context 1 respond to this servername\0A\00"
@.str.56 = [74 x i8] c" -sn_server2 <string> - have server context 2 respond to this servername\0A\00"
@.str.57 = [43 x i8] c" -sn_expect1 - expected server 1\0A\00"
@.str.58 = [43 x i8] c" -sn_expect2 - expected server 2\0A\00"
@.str.59 = [65 x i8] c" -server_sess_out <file> - Save the server session to a file\0A\00"
@.str.60 = [67 x i8] c" -server_sess_in <file> - Read the server session from a file\0A\00"
@.str.61 = [65 x i8] c" -client_sess_out <file> - Save the client session to a file\0A\00"
@.str.62 = [67 x i8] c" -client_sess_in <file> - Read the client session from a file\0A\00"
@.str.63 = [73 x i8] c" -should_reuse <number> - The expected state of reusing the session\0A\00"
@.str.64 = [50 x i8] c" -no_ticket - do not issue TLS session ticket\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 ([30 x i8], [30 x i8]* @.str.4, i64 0, i64 0))
%11 = load i32, i32* @stderr
%12 = call i32 @fprintf(i32 %11, i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.5, i64 0, i64 0))
%13 = load i32, i32* @stderr
%14 = call i32 @fprintf(i32 %13, i8* getelementptr inbounds ([39 x i8], [39 x i8]* @.str.6, i64 0, i64 0))
%15 = load i32, i32* @stderr
%16 = call i32 @fprintf(i32 %15, i8* getelementptr inbounds ([51 x i8], [51 x i8]* @.str.7, i64 0, i64 0))
%17 = load i32, i32* @stderr
%18 = call i32 @fprintf(i32 %17, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @.str.8, i64 0, i64 0))
%19 = load i32, i32* @stderr
%20 = call i32 @fprintf(i32 %19, i8* getelementptr inbounds ([60 x i8], [60 x i8]* @.str.9, i64 0, i64 0))
%21 = load i32, i32* @stderr
%22 = call i32 @fprintf(i32 %21, i8* getelementptr inbounds ([73 x i8], [73 x i8]* @.str.10, i64 0, i64 0))
%23 = load i32, i32* @stderr
%24 = call i32 @fprintf(i32 %23, i8* getelementptr inbounds ([67 x i8], [67 x i8]* @.str.11, i64 0, i64 0))
%25 = load i32, i32* @stderr
%26 = call i32 @fprintf(i32 %25, i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.12, i64 0, i64 0))
%27 = load i32, i32* @stderr
%28 = call i32 @fprintf(i32 %27, i8* getelementptr inbounds ([108 x i8], [108 x i8]* @.str.13, i64 0, i64 0))
%29 = load i32, i32* @stderr
%30 = call i32 @fprintf(i32 %29, i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str.14, i64 0, i64 0))
%31 = load i32, i32* @stderr
%32 = call i32 @fprintf(i32 %31, i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.15, i64 0, i64 0))
%33 = load i32, i32* @stderr
%34 = call i32 @fprintf(i32 %33, i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.16, i64 0, i64 0))
%35 = load i32, i32* @stderr
%36 = call i32 @fprintf(i32 %35, i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.17, i64 0, i64 0))
%37 = load i32, i32* @stderr
%38 = call i32 @fprintf(i32 %37, i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str.18, i64 0, i64 0))
%39 = load i32, i32* @stderr
%40 = call i32 @fprintf(i32 %39, i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.19, i64 0, i64 0))
%41 = load i32, i32* @stderr
%42 = call i32 @fprintf(i32 %41, i8* getelementptr inbounds ([47 x i8], [47 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 ([42 x i8], [42 x i8]* @.str.22, i64 0, i64 0))
%47 = load i32, i32* @stderr
%48 = call i32 @fprintf(i32 %47, i8* getelementptr inbounds ([59 x i8], [59 x i8]* @.str.23, i64 0, i64 0))
%49 = load i32, i32* @stderr
%50 = call i32 @fprintf(i32 %49, i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str.24, i64 0, i64 0))
%51 = load i32, i32* @stderr
%52 = call i32 @fprintf(i32 %51, i8* getelementptr inbounds ([61 x i8], [61 x i8]* @.str.25, i64 0, i64 0))
%53 = load i32, i32* @stderr
%54 = call i32 @fprintf(i32 %53, i8* getelementptr inbounds ([52 x i8], [52 x i8]* @.str.26, i64 0, i64 0))
%55 = load i32, i32* @stderr
%56 = call i32 @fprintf(i32 %55, i8* getelementptr inbounds ([49 x i8], [49 x i8]* @.str.27, i64 0, i64 0))
%57 = load i32, i32* @stderr
%58 = call i32 @fprintf(i32 %57, i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.28, i64 0, i64 0))
%59 = load i32, i32* @stderr
%60 = call i32 @fprintf(i32 %59, i8* getelementptr inbounds ([51 x i8], [51 x i8]* @.str.29, i64 0, i64 0))
%61 = load i32, i32* @stderr
%62 = call i32 @fprintf(i32 %61, i8* getelementptr inbounds ([51 x i8], [51 x i8]* @.str.30, i64 0, i64 0))
%63 = load i32, i32* @stderr
%64 = call i32 @fprintf(i32 %63, i8* getelementptr inbounds ([50 x i8], [50 x i8]* @.str.31, i64 0, i64 0))
%65 = load i32, i32* @stderr
%66 = call i32 @fprintf(i32 %65, i8* getelementptr inbounds ([67 x i8], [67 x i8]* @.str.32, i64 0, i64 0))
%67 = load i32, i32* @stderr
%68 = call i32 @fprintf(i32 %67, i8* getelementptr inbounds ([39 x i8], [39 x i8]* @.str.33, i64 0, i64 0))
%69 = load i32, i32* @stderr
%70 = call i32 @fprintf(i32 %69, i8* getelementptr inbounds ([43 x i8], [43 x i8]* @.str.34, i64 0, i64 0))
%71 = load i32, i32* @stderr
%72 = call i32 @fprintf(i32 %71, i8* getelementptr inbounds ([43 x i8], [43 x i8]* @.str.35, i64 0, i64 0))
%73 = load i32, i32* @stderr
%74 = call i32 @fprintf(i32 %73, i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str.36, i64 0, i64 0))
%75 = load i32, i32* @stderr
%76 = call i32 @fprintf(i32 %75, i8* getelementptr inbounds ([52 x i8], [52 x i8]* @.str.37, i64 0, i64 0))
%77 = load i32, i32* @stderr
%78 = call i32 @fprintf(i32 %77, i8* getelementptr inbounds ([54 x i8], [54 x i8]* @.str.38, i64 0, i64 0))
%79 = load i32, i32* @stderr
%80 = call i32 @fprintf(i32 %79, i8* getelementptr inbounds ([55 x i8], [55 x i8]* @.str.39, i64 0, i64 0))
%81 = load i32, i32* @stderr
%82 = call i32 @fprintf(i32 %81, i8* getelementptr inbounds ([55 x i8], [55 x i8]* @.str.40, i64 0, i64 0))
%83 = load i32, i32* @stderr
%84 = call i32 @fprintf(i32 %83, i8* getelementptr inbounds ([54 x i8], [54 x i8]* @.str.41, i64 0, i64 0))
%85 = load i32, i32* @stderr
%86 = call i32 @fprintf(i32 %85, i8* getelementptr inbounds ([54 x i8], [54 x i8]* @.str.42, i64 0, i64 0))
%87 = load i32, i32* @stderr
%88 = call i32 @fprintf(i32 %87, i8* getelementptr inbounds ([50 x i8], [50 x i8]* @.str.43, i64 0, i64 0))
%89 = load i32, i32* @stderr
%90 = call i32 @fprintf(i32 %89, i8* getelementptr inbounds ([65 x i8], [65 x i8]* @.str.44, i64 0, i64 0))
%91 = load i32, i32* @stderr
%92 = call i32 @fprintf(i32 %91, i8* getelementptr inbounds ([72 x i8], [72 x i8]* @.str.45, i64 0, i64 0))
%93 = load i32, i32* @stderr
%94 = call i32 @fprintf(i32 %93, i8* getelementptr inbounds ([73 x i8], [73 x i8]* @.str.46, i64 0, i64 0))
%95 = load i32, i32* @stderr
%96 = call i32 @fprintf(i32 %95, i8* getelementptr inbounds ([73 x i8], [73 x i8]* @.str.47, i64 0, i64 0))
%97 = load i32, i32* @stderr
%98 = call i32 @fprintf(i32 %97, i8* getelementptr inbounds ([73 x i8], [73 x i8]* @.str.48, i64 0, i64 0))
%99 = load i32, i32* @stderr
%100 = call i32 @fprintf(i32 %99, i8* getelementptr inbounds ([73 x i8], [73 x i8]* @.str.49, i64 0, i64 0))
%101 = load i32, i32* @stderr
%102 = call i32 @fprintf(i32 %101, i8* getelementptr inbounds ([97 x i8], [97 x i8]* @.str.50, i64 0, i64 0))
%103 = load i32, i32* @stderr
%104 = call i32 @fprintf(i32 %103, i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str.51, i64 0, i64 0))
%105 = load i32, i32* @stderr
%106 = call i32 @fprintf(i32 %105, i8* getelementptr inbounds ([51 x i8], [51 x i8]* @.str.52, i64 0, i64 0))
%107 = load i32, i32* @stderr
%108 = call i32 @fprintf(i32 %107, i8* getelementptr inbounds ([51 x i8], [51 x i8]* @.str.53, i64 0, i64 0))
%109 = load i32, i32* @stderr
%110 = call i32 @fprintf(i32 %109, i8* getelementptr inbounds ([61 x i8], [61 x i8]* @.str.54, i64 0, i64 0))
%111 = load i32, i32* @stderr
%112 = call i32 @fprintf(i32 %111, i8* getelementptr inbounds ([74 x i8], [74 x i8]* @.str.55, i64 0, i64 0))
%113 = load i32, i32* @stderr
%114 = call i32 @fprintf(i32 %113, i8* getelementptr inbounds ([74 x i8], [74 x i8]* @.str.56, i64 0, i64 0))
%115 = load i32, i32* @stderr
%116 = call i32 @fprintf(i32 %115, i8* getelementptr inbounds ([43 x i8], [43 x i8]* @.str.57, i64 0, i64 0))
%117 = load i32, i32* @stderr
%118 = call i32 @fprintf(i32 %117, i8* getelementptr inbounds ([43 x i8], [43 x i8]* @.str.58, i64 0, i64 0))
%119 = load i32, i32* @stderr
%120 = call i32 @fprintf(i32 %119, i8* getelementptr inbounds ([65 x i8], [65 x i8]* @.str.59, i64 0, i64 0))
%121 = load i32, i32* @stderr
%122 = call i32 @fprintf(i32 %121, i8* getelementptr inbounds ([67 x i8], [67 x i8]* @.str.60, i64 0, i64 0))
%123 = load i32, i32* @stderr
%124 = call i32 @fprintf(i32 %123, i8* getelementptr inbounds ([65 x i8], [65 x i8]* @.str.61, i64 0, i64 0))
%125 = load i32, i32* @stderr
%126 = call i32 @fprintf(i32 %125, i8* getelementptr inbounds ([67 x i8], [67 x i8]* @.str.62, i64 0, i64 0))
%127 = load i32, i32* @stderr
%128 = call i32 @fprintf(i32 %127, i8* getelementptr inbounds ([73 x i8], [73 x i8]* @.str.63, i64 0, i64 0))
%129 = load i32, i32* @stderr
%130 = call i32 @fprintf(i32 %129, i8* getelementptr inbounds ([50 x i8], [50 x i8]* @.str.64, 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 = [30 x i8] c" -v - more output\0A\00"
@.str.5 = [31 x i8] c" -d - debug output\0A\00"
@.str.6 = [39 x i8] c" -reuse - use session-id reuse\0A\00"
@.str.7 = [51 x i8] c" -num <val> - number of connections to perform\0A\00"
@.str.8 = [64 x i8] c" -bytes <val> - number of bytes to swap between client/server\0A\00"
@.str.9 = [60 x i8] c" -dhe512 - use 512 bit key for DHE (to test failure)\0A\00"
@.str.10 = [73 x i8] c" -dhe1024 - use 1024 bit key (safe prime) for DHE (default, no-op)\0A\00"
@.str.11 = [67 x i8] c" -dhe1024dsa - use 1024 bit key (with 160-bit subprime) for DHE\0A\00"
@.str.12 = [30 x i8] c" -no_dhe - disable DHE\0A\00"
@.str.13 = [108 x i8] c" -no_ecdhe - disable ECDHE\0ATODO(openssl-team): no_ecdhe was broken by auto ecdh. Make this work again.\0A\00"
@.str.14 = [42 x i8] c" -psk arg - PSK in hex (without 0x)\0A\00"
@.str.15 = [28 x i8] c" -ssl3 - use SSLv3\0A\00"
@.str.16 = [28 x i8] c" -tls1 - use TLSv1\0A\00"
@.str.17 = [27 x i8] c" -dtls - use DTLS\0A\00"
@.str.18 = [29 x i8] c" -dtls1 - use DTLSv1\0A\00"
@.str.19 = [31 x i8] c" -dtls12 - use DTLSv1.2\0A\00"
@.str.20 = [47 x i8] c" -CApath arg - PEM format directory of CA's\0A\00"
@.str.21 = [42 x i8] c" -CAfile arg - PEM format file of CA's\0A\00"
@.str.22 = [42 x i8] c" -cert arg - Server certificate file\0A\00"
@.str.23 = [59 x i8] c" -key arg - Server key file (default: same as -cert)\0A\00"
@.str.24 = [42 x i8] c" -c_cert arg - Client certificate file\0A\00"
@.str.25 = [61 x i8] c" -c_key arg - Client key file (default: same as -c_cert)\0A\00"
@.str.26 = [52 x i8] c" -cipher arg - The TLSv1.2 and below cipher list\0A\00"
@.str.27 = [49 x i8] c" -ciphersuites arg - The TLSv1.3 ciphersuites\0A\00"
@.str.28 = [32 x i8] c" -bio_pair - Use BIO pairs\0A\00"
@.str.29 = [51 x i8] c" -ipv4 - Use IPv4 connection on localhost\0A\00"
@.str.30 = [51 x i8] c" -ipv6 - Use IPv6 connection on localhost\0A\00"
@.str.31 = [50 x i8] c" -f - Test even cases that can't work\0A\00"
@.str.32 = [67 x i8] c" -time - measure processor time used by client and server\0A\00"
@.str.33 = [39 x i8] c" -zlib - use zlib compression\0A\00"
@.str.34 = [43 x i8] c" -npn_client - have client side offer NPN\0A\00"
@.str.35 = [43 x i8] c" -npn_server - have server side offer NPN\0A\00"
@.str.36 = [46 x i8] c" -npn_server_reject - have server reject NPN\0A\00"
@.str.37 = [52 x i8] c" -serverinfo_file file - have server use this file\0A\00"
@.str.38 = [54 x i8] c" -serverinfo_sct - have client offer and expect SCT\0A\00"
@.str.39 = [55 x i8] c" -serverinfo_tack - have client offer and expect TACK\0A\00"
@.str.40 = [55 x i8] c" -custom_ext - try various custom extension callbacks\0A\00"
@.str.41 = [54 x i8] c" -alpn_client <string> - have client side offer ALPN\0A\00"
@.str.42 = [54 x i8] c" -alpn_server <string> - have server side offer ALPN\0A\00"
@.str.43 = [50 x i8] c" -alpn_server1 <string> - alias for -alpn_server\0A\00"
@.str.44 = [65 x i8] c" -alpn_server2 <string> - have server side context 2 offer ALPN\0A\00"
@.str.45 = [72 x i8] c" -alpn_expected <string> - the ALPN protocol that should be negotiated\0A\00"
@.str.46 = [73 x i8] c" -server_min_proto <string> - Minimum version the server should support\0A\00"
@.str.47 = [73 x i8] c" -server_max_proto <string> - Maximum version the server should support\0A\00"
@.str.48 = [73 x i8] c" -client_min_proto <string> - Minimum version the client should support\0A\00"
@.str.49 = [73 x i8] c" -client_max_proto <string> - Maximum version the client should support\0A\00"
@.str.50 = [97 x i8] c" -should_negotiate <string> - The version that should be negotiated, fail-client or fail-server\0A\00"
@.str.51 = [46 x i8] c" -noct - no certificate transparency\0A\00"
@.str.52 = [51 x i8] c" -requestct - request certificate transparency\0A\00"
@.str.53 = [51 x i8] c" -requirect - require certificate transparency\0A\00"
@.str.54 = [61 x i8] c" -sn_client <string> - have client request this servername\0A\00"
@.str.55 = [74 x i8] c" -sn_server1 <string> - have server context 1 respond to this servername\0A\00"
@.str.56 = [74 x i8] c" -sn_server2 <string> - have server context 2 respond to this servername\0A\00"
@.str.57 = [43 x i8] c" -sn_expect1 - expected server 1\0A\00"
@.str.58 = [43 x i8] c" -sn_expect2 - expected server 2\0A\00"
@.str.59 = [65 x i8] c" -server_sess_out <file> - Save the server session to a file\0A\00"
@.str.60 = [67 x i8] c" -server_sess_in <file> - Read the server session from a file\0A\00"
@.str.61 = [65 x i8] c" -client_sess_out <file> - Save the client session to a file\0A\00"
@.str.62 = [67 x i8] c" -client_sess_in <file> - Read the client session from a file\0A\00"
@.str.63 = [73 x i8] c" -should_reuse <number> - The expected state of reusing the session\0A\00"
@.str.64 = [50 x i8] c" -no_ticket - do not issue TLS session ticket\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 ([30 x i8], [30 x i8]* @.str.4, i64 0, i64 0))
%11 = load i32, i32* @stderr
%12 = tail call i32 @fprintf(i32 %11, i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.5, i64 0, i64 0))
%13 = load i32, i32* @stderr
%14 = tail call i32 @fprintf(i32 %13, i8* getelementptr inbounds ([39 x i8], [39 x i8]* @.str.6, i64 0, i64 0))
%15 = load i32, i32* @stderr
%16 = tail call i32 @fprintf(i32 %15, i8* getelementptr inbounds ([51 x i8], [51 x i8]* @.str.7, i64 0, i64 0))
%17 = load i32, i32* @stderr
%18 = tail call i32 @fprintf(i32 %17, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @.str.8, i64 0, i64 0))
%19 = load i32, i32* @stderr
%20 = tail call i32 @fprintf(i32 %19, i8* getelementptr inbounds ([60 x i8], [60 x i8]* @.str.9, i64 0, i64 0))
%21 = load i32, i32* @stderr
%22 = tail call i32 @fprintf(i32 %21, i8* getelementptr inbounds ([73 x i8], [73 x i8]* @.str.10, i64 0, i64 0))
%23 = load i32, i32* @stderr
%24 = tail call i32 @fprintf(i32 %23, i8* getelementptr inbounds ([67 x i8], [67 x i8]* @.str.11, i64 0, i64 0))
%25 = load i32, i32* @stderr
%26 = tail call i32 @fprintf(i32 %25, i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.12, i64 0, i64 0))
%27 = load i32, i32* @stderr
%28 = tail call i32 @fprintf(i32 %27, i8* getelementptr inbounds ([108 x i8], [108 x i8]* @.str.13, i64 0, i64 0))
%29 = load i32, i32* @stderr
%30 = tail call i32 @fprintf(i32 %29, i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str.14, i64 0, i64 0))
%31 = load i32, i32* @stderr
%32 = tail call i32 @fprintf(i32 %31, i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.15, i64 0, i64 0))
%33 = load i32, i32* @stderr
%34 = tail call i32 @fprintf(i32 %33, i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.16, i64 0, i64 0))
%35 = load i32, i32* @stderr
%36 = tail call i32 @fprintf(i32 %35, i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.17, i64 0, i64 0))
%37 = load i32, i32* @stderr
%38 = tail call i32 @fprintf(i32 %37, i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str.18, i64 0, i64 0))
%39 = load i32, i32* @stderr
%40 = tail call i32 @fprintf(i32 %39, i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.19, i64 0, i64 0))
%41 = load i32, i32* @stderr
%42 = tail call i32 @fprintf(i32 %41, i8* getelementptr inbounds ([47 x i8], [47 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 ([42 x i8], [42 x i8]* @.str.22, i64 0, i64 0))
%47 = load i32, i32* @stderr
%48 = tail call i32 @fprintf(i32 %47, i8* getelementptr inbounds ([59 x i8], [59 x i8]* @.str.23, i64 0, i64 0))
%49 = load i32, i32* @stderr
%50 = tail call i32 @fprintf(i32 %49, i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str.24, i64 0, i64 0))
%51 = load i32, i32* @stderr
%52 = tail call i32 @fprintf(i32 %51, i8* getelementptr inbounds ([61 x i8], [61 x i8]* @.str.25, i64 0, i64 0))
%53 = load i32, i32* @stderr
%54 = tail call i32 @fprintf(i32 %53, i8* getelementptr inbounds ([52 x i8], [52 x i8]* @.str.26, i64 0, i64 0))
%55 = load i32, i32* @stderr
%56 = tail call i32 @fprintf(i32 %55, i8* getelementptr inbounds ([49 x i8], [49 x i8]* @.str.27, i64 0, i64 0))
%57 = load i32, i32* @stderr
%58 = tail call i32 @fprintf(i32 %57, i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.28, i64 0, i64 0))
%59 = load i32, i32* @stderr
%60 = tail call i32 @fprintf(i32 %59, i8* getelementptr inbounds ([51 x i8], [51 x i8]* @.str.29, i64 0, i64 0))
%61 = load i32, i32* @stderr
%62 = tail call i32 @fprintf(i32 %61, i8* getelementptr inbounds ([51 x i8], [51 x i8]* @.str.30, i64 0, i64 0))
%63 = load i32, i32* @stderr
%64 = tail call i32 @fprintf(i32 %63, i8* getelementptr inbounds ([50 x i8], [50 x i8]* @.str.31, i64 0, i64 0))
%65 = load i32, i32* @stderr
%66 = tail call i32 @fprintf(i32 %65, i8* getelementptr inbounds ([67 x i8], [67 x i8]* @.str.32, i64 0, i64 0))
%67 = load i32, i32* @stderr
%68 = tail call i32 @fprintf(i32 %67, i8* getelementptr inbounds ([39 x i8], [39 x i8]* @.str.33, i64 0, i64 0))
%69 = load i32, i32* @stderr
%70 = tail call i32 @fprintf(i32 %69, i8* getelementptr inbounds ([43 x i8], [43 x i8]* @.str.34, i64 0, i64 0))
%71 = load i32, i32* @stderr
%72 = tail call i32 @fprintf(i32 %71, i8* getelementptr inbounds ([43 x i8], [43 x i8]* @.str.35, i64 0, i64 0))
%73 = load i32, i32* @stderr
%74 = tail call i32 @fprintf(i32 %73, i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str.36, i64 0, i64 0))
%75 = load i32, i32* @stderr
%76 = tail call i32 @fprintf(i32 %75, i8* getelementptr inbounds ([52 x i8], [52 x i8]* @.str.37, i64 0, i64 0))
%77 = load i32, i32* @stderr
%78 = tail call i32 @fprintf(i32 %77, i8* getelementptr inbounds ([54 x i8], [54 x i8]* @.str.38, i64 0, i64 0))
%79 = load i32, i32* @stderr
%80 = tail call i32 @fprintf(i32 %79, i8* getelementptr inbounds ([55 x i8], [55 x i8]* @.str.39, i64 0, i64 0))
%81 = load i32, i32* @stderr
%82 = tail call i32 @fprintf(i32 %81, i8* getelementptr inbounds ([55 x i8], [55 x i8]* @.str.40, i64 0, i64 0))
%83 = load i32, i32* @stderr
%84 = tail call i32 @fprintf(i32 %83, i8* getelementptr inbounds ([54 x i8], [54 x i8]* @.str.41, i64 0, i64 0))
%85 = load i32, i32* @stderr
%86 = tail call i32 @fprintf(i32 %85, i8* getelementptr inbounds ([54 x i8], [54 x i8]* @.str.42, i64 0, i64 0))
%87 = load i32, i32* @stderr
%88 = tail call i32 @fprintf(i32 %87, i8* getelementptr inbounds ([50 x i8], [50 x i8]* @.str.43, i64 0, i64 0))
%89 = load i32, i32* @stderr
%90 = tail call i32 @fprintf(i32 %89, i8* getelementptr inbounds ([65 x i8], [65 x i8]* @.str.44, i64 0, i64 0))
%91 = load i32, i32* @stderr
%92 = tail call i32 @fprintf(i32 %91, i8* getelementptr inbounds ([72 x i8], [72 x i8]* @.str.45, i64 0, i64 0))
%93 = load i32, i32* @stderr
%94 = tail call i32 @fprintf(i32 %93, i8* getelementptr inbounds ([73 x i8], [73 x i8]* @.str.46, i64 0, i64 0))
%95 = load i32, i32* @stderr
%96 = tail call i32 @fprintf(i32 %95, i8* getelementptr inbounds ([73 x i8], [73 x i8]* @.str.47, i64 0, i64 0))
%97 = load i32, i32* @stderr
%98 = tail call i32 @fprintf(i32 %97, i8* getelementptr inbounds ([73 x i8], [73 x i8]* @.str.48, i64 0, i64 0))
%99 = load i32, i32* @stderr
%100 = tail call i32 @fprintf(i32 %99, i8* getelementptr inbounds ([73 x i8], [73 x i8]* @.str.49, i64 0, i64 0))
%101 = load i32, i32* @stderr
%102 = tail call i32 @fprintf(i32 %101, i8* getelementptr inbounds ([97 x i8], [97 x i8]* @.str.50, i64 0, i64 0))
%103 = load i32, i32* @stderr
%104 = tail call i32 @fprintf(i32 %103, i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str.51, i64 0, i64 0))
%105 = load i32, i32* @stderr
%106 = tail call i32 @fprintf(i32 %105, i8* getelementptr inbounds ([51 x i8], [51 x i8]* @.str.52, i64 0, i64 0))
%107 = load i32, i32* @stderr
%108 = tail call i32 @fprintf(i32 %107, i8* getelementptr inbounds ([51 x i8], [51 x i8]* @.str.53, i64 0, i64 0))
%109 = load i32, i32* @stderr
%110 = tail call i32 @fprintf(i32 %109, i8* getelementptr inbounds ([61 x i8], [61 x i8]* @.str.54, i64 0, i64 0))
%111 = load i32, i32* @stderr
%112 = tail call i32 @fprintf(i32 %111, i8* getelementptr inbounds ([74 x i8], [74 x i8]* @.str.55, i64 0, i64 0))
%113 = load i32, i32* @stderr
%114 = tail call i32 @fprintf(i32 %113, i8* getelementptr inbounds ([74 x i8], [74 x i8]* @.str.56, i64 0, i64 0))
%115 = load i32, i32* @stderr
%116 = tail call i32 @fprintf(i32 %115, i8* getelementptr inbounds ([43 x i8], [43 x i8]* @.str.57, i64 0, i64 0))
%117 = load i32, i32* @stderr
%118 = tail call i32 @fprintf(i32 %117, i8* getelementptr inbounds ([43 x i8], [43 x i8]* @.str.58, i64 0, i64 0))
%119 = load i32, i32* @stderr
%120 = tail call i32 @fprintf(i32 %119, i8* getelementptr inbounds ([65 x i8], [65 x i8]* @.str.59, i64 0, i64 0))
%121 = load i32, i32* @stderr
%122 = tail call i32 @fprintf(i32 %121, i8* getelementptr inbounds ([67 x i8], [67 x i8]* @.str.60, i64 0, i64 0))
%123 = load i32, i32* @stderr
%124 = tail call i32 @fprintf(i32 %123, i8* getelementptr inbounds ([65 x i8], [65 x i8]* @.str.61, i64 0, i64 0))
%125 = load i32, i32* @stderr
%126 = tail call i32 @fprintf(i32 %125, i8* getelementptr inbounds ([67 x i8], [67 x i8]* @.str.62, i64 0, i64 0))
%127 = load i32, i32* @stderr
%128 = tail call i32 @fprintf(i32 %127, i8* getelementptr inbounds ([73 x i8], [73 x i8]* @.str.63, i64 0, i64 0))
%129 = load i32, i32* @stderr
%130 = tail call i32 @fprintf(i32 %129, i8* getelementptr inbounds ([50 x i8], [50 x i8]* @.str.64, i64 0, i64 0))
ret void
}