#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*/ writeVerbose(int, char *, ...);
void showUsage() {
  writeVerbose(1, "%s (%s) %s :: %s\n", "ftp.mod", "2.1",
               "pMonkey <pmonkey@foofus.net>",
               "Brute force module for FTP/FTPS sessions");
  writeVerbose(1, "Available module options:");
  writeVerbose(1, "MODE:? (NORMAL*, EXPLICIT, IMPLICIT)");
  writeVerbose(1, "");
  writeVerbose(1, "  EXPLICIT: AUTH TLS Mode as defined in RFC 4217");
  writeVerbose(1, "     Explicit FTPS (FTP/SSL) connects to a FTP service in "
                  "the clear. Prior to");
  writeVerbose(1, "     sending any credentials, however, an \"AUTH TLS\" "
                  "command is issued and a");
  writeVerbose(1, "     SSL session is negotiated.");
  writeVerbose(1, "");
  writeVerbose(1, "  IMPLICIT: FTP over SSL (990/tcp)");
  writeVerbose(1, "     Implicit FTPS requires a SSL handshake to be performed "
                  "before any FTP");
  writeVerbose(1, "     commands are sent. This service typically resides on "
                  "tcp/990. If the user");
  writeVerbose(1, "     specifies this option or uses the \"-n\" (SSL) option, "
                  "the module will");
  writeVerbose(1, "     default to this mode and tcp/990.");
  writeVerbose(1, "");
  writeVerbose(1, "  NORMAL");
  writeVerbose(1, "     The default behaviour if no MODE is specified. "
                  "Authentication is attempted");
  writeVerbose(1, "     in the clear. If the server requests encryption for "
                  "the given user,");
  writeVerbose(1, "     Explicit FTPS is utilized.");
  writeVerbose(1, "");
  writeVerbose(1, "");
  writeVerbose(1, "Example Usage:");
  writeVerbose(1, "    medusa -M ftp -h host -u username -p password");
  writeVerbose(1, "    medusa -M ftp -s -h host -u username -p password");
  writeVerbose(
      1, "    medusa -M ftp -m MODE:EXPLICIT -h host -u username -p password");
  writeVerbose(1, "");
  writeVerbose(1, "(*) Default value");
  writeVerbose(1, "");
}


x86 assembly (clang, -O0):
<showUsage>:
push   %rbp
mov    %rsp,%rbp
mov    $0x1,%edi
lea    0xee0(%rip),%rsi
lea    0xeeb(%rip),%rdx
lea    0xeec(%rip),%rcx
lea    0xee9(%rip),%r8
lea    0xeff(%rip),%r9
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0xf15(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0xf1c(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0xe9c(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0xf1b(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0xf39(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0xf74(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0xfae(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0xe3d(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0xfa8(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0xfb8(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0xff0(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0x102c(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0x1063(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0xdcb(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0x1064(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0x105a(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0x1097(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0x10cd(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0xd6c(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0xd59(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0x10b4(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0x10b0(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0x10cf(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0x10f1(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0xcfa(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0x110e(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0xcd4(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
pop    %rbp
ret

x86 assembly (clang, -O2):
<showUsage>:
push   %rbx
lea    0xee8(%rip),%rsi
lea    0xef3(%rip),%rdx
lea    0xef4(%rip),%rcx
lea    0xef1(%rip),%r8
lea    0xf07(%rip),%r9
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0xf1d(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0xf24(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0xea4(%rip),%rbx
mov    $0x1,%edi
mov    %rbx,%rsi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0xf20(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0xf3e(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0xf79(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0xfb3(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0xfb1(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0xfc1(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0xff9(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0x1035(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0x106c(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0x1071(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0x1067(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0x10a4(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0x10da(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0x10c9(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0x10c5(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0x10e4(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0x1106(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0x1127(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
xor    %eax,%eax
pop    %rbx
jmp    1030 <writeVerbose@plt>

LLVM IR (-O0):
@.str = [18 x i8] c"%s (%s) %s :: %s\0A\00"
@.str.1 = [8 x i8] c"ftp.mod\00"
@.str.2 = [4 x i8] c"2.1\00"
@.str.3 = [29 x i8] c"pMonkey <pmonkey@foofus.net>\00"
@.str.4 = [41 x i8] c"Brute force module for FTP/FTPS sessions\00"
@.str.5 = [26 x i8] c"Available module options:\00"
@.str.6 = [37 x i8] c"MODE:? (NORMAL*, EXPLICIT, IMPLICIT)\00"
@.str.7 = [1 x i8] zeroinitializer
@.str.8 = [49 x i8] c" EXPLICIT: AUTH TLS Mode as defined in RFC 4217\00"
@.str.9 = [78 x i8] c" Explicit FTPS (FTP/SSL) connects to a FTP service in the clear. Prior to\00"
@.str.10 = [77 x i8] c" sending any credentials, however, an \22AUTH TLS\22 command is issued and a\00"
@.str.11 = [32 x i8] c" SSL session is negotiated.\00"
@.str.12 = [35 x i8] c" IMPLICIT: FTP over SSL (990/tcp)\00"
@.str.13 = [75 x i8] c" Implicit FTPS requires a SSL handshake to be performed before any FTP\00"
@.str.14 = [79 x i8] c" commands are sent. This service typically resides on tcp/990. If the user\00"
@.str.15 = [74 x i8] c" specifies this option or uses the \22-n\22 (SSL) option, the module will\00"
@.str.16 = [39 x i8] c" default to this mode and tcp/990.\00"
@.str.17 = [9 x i8] c" NORMAL\00"
@.str.18 = [80 x i8] c" The default behaviour if no MODE is specified. Authentication is attempted\00"
@.str.19 = [73 x i8] c" in the clear. If the server requests encryption for the given user,\00"
@.str.20 = [32 x i8] c" Explicit FTPS is utilized.\00"
@.str.21 = [15 x i8] c"Example Usage:\00"
@.str.22 = [50 x i8] c" medusa -M ftp -h host -u username -p password\00"
@.str.23 = [53 x i8] c" medusa -M ftp -s -h host -u username -p password\00"
@.str.24 = [67 x i8] c" medusa -M ftp -m MODE:EXPLICIT -h host -u username -p password\00"
@.str.25 = [18 x i8] c"(*) Default value\00"
define void @showUsage() {
%1 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str.3, i64 0, i64 0), i8* getelementptr inbounds ([41 x i8], [41 x i8]* @.str.4, i64 0, i64 0))
%2 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str.5, i64 0, i64 0))
%3 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str.6, i64 0, i64 0))
%4 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.7, i64 0, i64 0))
%5 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([49 x i8], [49 x i8]* @.str.8, i64 0, i64 0))
%6 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([78 x i8], [78 x i8]* @.str.9, i64 0, i64 0))
%7 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([77 x i8], [77 x i8]* @.str.10, i64 0, i64 0))
%8 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.11, i64 0, i64 0))
%9 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.7, i64 0, i64 0))
%10 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.12, i64 0, i64 0))
%11 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([75 x i8], [75 x i8]* @.str.13, i64 0, i64 0))
%12 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([79 x i8], [79 x i8]* @.str.14, i64 0, i64 0))
%13 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([74 x i8], [74 x i8]* @.str.15, i64 0, i64 0))
%14 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([39 x i8], [39 x i8]* @.str.16, i64 0, i64 0))
%15 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.7, i64 0, i64 0))
%16 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.17, i64 0, i64 0))
%17 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([80 x i8], [80 x i8]* @.str.18, i64 0, i64 0))
%18 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([73 x i8], [73 x i8]* @.str.19, i64 0, i64 0))
%19 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.20, i64 0, i64 0))
%20 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.7, i64 0, i64 0))
%21 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.7, i64 0, i64 0))
%22 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.21, i64 0, i64 0))
%23 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([50 x i8], [50 x i8]* @.str.22, i64 0, i64 0))
%24 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([53 x i8], [53 x i8]* @.str.23, i64 0, i64 0))
%25 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([67 x i8], [67 x i8]* @.str.24, i64 0, i64 0))
%26 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.7, i64 0, i64 0))
%27 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.25, i64 0, i64 0))
%28 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.7, i64 0, i64 0))
ret void
}

LLVM IR (-O2):
@.str = [18 x i8] c"%s (%s) %s :: %s\0A\00"
@.str.1 = [8 x i8] c"ftp.mod\00"
@.str.2 = [4 x i8] c"2.1\00"
@.str.3 = [29 x i8] c"pMonkey <pmonkey@foofus.net>\00"
@.str.4 = [41 x i8] c"Brute force module for FTP/FTPS sessions\00"
@.str.5 = [26 x i8] c"Available module options:\00"
@.str.6 = [37 x i8] c"MODE:? (NORMAL*, EXPLICIT, IMPLICIT)\00"
@.str.7 = [1 x i8] zeroinitializer
@.str.8 = [49 x i8] c" EXPLICIT: AUTH TLS Mode as defined in RFC 4217\00"
@.str.9 = [78 x i8] c" Explicit FTPS (FTP/SSL) connects to a FTP service in the clear. Prior to\00"
@.str.10 = [77 x i8] c" sending any credentials, however, an \22AUTH TLS\22 command is issued and a\00"
@.str.11 = [32 x i8] c" SSL session is negotiated.\00"
@.str.12 = [35 x i8] c" IMPLICIT: FTP over SSL (990/tcp)\00"
@.str.13 = [75 x i8] c" Implicit FTPS requires a SSL handshake to be performed before any FTP\00"
@.str.14 = [79 x i8] c" commands are sent. This service typically resides on tcp/990. If the user\00"
@.str.15 = [74 x i8] c" specifies this option or uses the \22-n\22 (SSL) option, the module will\00"
@.str.16 = [39 x i8] c" default to this mode and tcp/990.\00"
@.str.17 = [9 x i8] c" NORMAL\00"
@.str.18 = [80 x i8] c" The default behaviour if no MODE is specified. Authentication is attempted\00"
@.str.19 = [73 x i8] c" in the clear. If the server requests encryption for the given user,\00"
@.str.20 = [32 x i8] c" Explicit FTPS is utilized.\00"
@.str.21 = [15 x i8] c"Example Usage:\00"
@.str.22 = [50 x i8] c" medusa -M ftp -h host -u username -p password\00"
@.str.23 = [53 x i8] c" medusa -M ftp -s -h host -u username -p password\00"
@.str.24 = [67 x i8] c" medusa -M ftp -m MODE:EXPLICIT -h host -u username -p password\00"
@.str.25 = [18 x i8] c"(*) Default value\00"
define void @showUsage() {
%1 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str.3, i64 0, i64 0), i8* getelementptr inbounds ([41 x i8], [41 x i8]* @.str.4, i64 0, i64 0))
%2 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str.5, i64 0, i64 0))
%3 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str.6, i64 0, i64 0))
%4 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.7, i64 0, i64 0))
%5 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([49 x i8], [49 x i8]* @.str.8, i64 0, i64 0))
%6 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([78 x i8], [78 x i8]* @.str.9, i64 0, i64 0))
%7 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([77 x i8], [77 x i8]* @.str.10, i64 0, i64 0))
%8 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.11, i64 0, i64 0))
%9 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.7, i64 0, i64 0))
%10 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.12, i64 0, i64 0))
%11 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([75 x i8], [75 x i8]* @.str.13, i64 0, i64 0))
%12 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([79 x i8], [79 x i8]* @.str.14, i64 0, i64 0))
%13 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([74 x i8], [74 x i8]* @.str.15, i64 0, i64 0))
%14 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([39 x i8], [39 x i8]* @.str.16, i64 0, i64 0))
%15 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.7, i64 0, i64 0))
%16 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.17, i64 0, i64 0))
%17 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([80 x i8], [80 x i8]* @.str.18, i64 0, i64 0))
%18 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([73 x i8], [73 x i8]* @.str.19, i64 0, i64 0))
%19 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.20, i64 0, i64 0))
%20 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.7, i64 0, i64 0))
%21 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.7, i64 0, i64 0))
%22 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.21, i64 0, i64 0))
%23 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([50 x i8], [50 x i8]* @.str.22, i64 0, i64 0))
%24 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([53 x i8], [53 x i8]* @.str.23, i64 0, i64 0))
%25 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([67 x i8], [67 x i8]* @.str.24, i64 0, i64 0))
%26 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.7, i64 0, i64 0))
%27 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.25, i64 0, i64 0))
%28 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.7, i64 0, i64 0))
ret void
}