#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", "snmp.mod", "2.1",
               "JoMo-Kun <jmk@foofus.net>",
               "Brute force module for SNMP Community Strings");
  writeVerbose(1, "Available module options:");
  writeVerbose(1, "  TIMEOUT:? ");
  writeVerbose(1, "    Sets the number of seconds to wait for the UDP "
                  "responses (default: 5 sec).");
  writeVerbose(1, "  SEND_DELAY:? ");
  writeVerbose(1, "    Sets the number of microseconds to wait between sending "
                  "queries (default: 200 usec).");
  writeVerbose(1, "  VERSION:? (1*, 2C)");
  writeVerbose(1, "    Set the SNMP client version.");
  writeVerbose(1, "  ACCESS:? (READ*, WRITE)");
  writeVerbose(
      1, "    Set level of access to test for with the community string.");
  writeVerbose(1, "");
  writeVerbose(1, "(*) Default value");
  writeVerbose(1, "");
  writeVerbose(1, "It should be noted that when testing for WRITE capability, "
                  "the module will read");
  writeVerbose(1, "the current value of sysLocation and then write that same "
                  "value back to the system.");
  writeVerbose(1, "");
  writeVerbose(1, "Since SNMP is a UDP-based protocol, there is no handshaking "
                  "between sending and ");
  writeVerbose(1, "receiving transport-layer entities. Due to this "
                  "connectionless communication, about");
  writeVerbose(1, "the only time we know a SNMP service exists, is if we send "
                  "the correct community");
  writeVerbose(1, "string and the server sends a response. All other queries "
                  "result in no response");
  writeVerbose(1, "whatsoever. The approach we use here is to initially just "
                  "send all of our SNMP GET");
  writeVerbose(1, "requests. After that completes, we wait TIMEOUT seconds for "
                  "any responses. If we");
  writeVerbose(1, "get any responses back, we examine them to see which "
                  "community strings were successful.");
  writeVerbose(1, "If ACCESS:WRITE was specified, we check for write access on "
                  "each of the previously");
  writeVerbose(1, "successful values. This techique should allow for quick "
                  "brute forcing. However, one");
  writeVerbose(1, "should take care with the TIMEOUT and SEND_DELAY values as "
                  "to avoid causing issues");
  writeVerbose(1, "with the target service or missing response data.");
  writeVerbose(1, "");
  writeVerbose(1, "  Usage example: \"-M snmp -m TIMEOUT:2 -m ACCESS:WRITE\"");
  writeVerbose(1, "");
}


x86 assembly (clang, -O0):
<showUsage>:
push   %rbp
mov    %rsp,%rbp
mov    $0x1,%edi
lea    0xee0(%rip),%rsi
lea    0xeeb(%rip),%rdx
lea    0xeed(%rip),%rcx
lea    0xeea(%rip),%r8
lea    0xefd(%rip),%r9
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0xf18(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0xf1f(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0xf19(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0xf55(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0xf52(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0xf98(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0xf9a(%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    0xfaf(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0xe17(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0xfc8(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0xdf1(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0xfb4(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0xff1(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0xdb8(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0x101f(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0x105d(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0x109e(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0x10dc(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0x1119(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0x1159(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0x1197(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0x11dc(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0x121c(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0x125d(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0x129d(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0xcd4(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0x12a9(%rip),%rsi
mov    $0x0,%al
call   1030 <writeVerbose@plt>
mov    $0x1,%edi
lea    0xcae(%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    0xef5(%rip),%rcx
lea    0xef2(%rip),%r8
lea    0xf05(%rip),%r9
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0xf20(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0xf27(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0xf21(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0xf5d(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0xf5a(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0xfa0(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0xfa2(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0xfb0(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0xfb7(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0xe1f(%rip),%rbx
mov    $0x1,%edi
mov    %rbx,%rsi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0xfcd(%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    0xfbd(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0xffa(%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    0x102c(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0x106a(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0x10ab(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0x10e9(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0x1126(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0x1166(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0x11a4(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0x11e9(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0x1229(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0x126a(%rip),%rsi
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <writeVerbose@plt>
lea    0x12aa(%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    0x12ba(%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 = [9 x i8] c"snmp.mod\00"
@.str.2 = [4 x i8] c"2.1\00"
@.str.3 = [26 x i8] c"JoMo-Kun <jmk@foofus.net>\00"
@.str.4 = [46 x i8] c"Brute force module for SNMP Community Strings\00"
@.str.5 = [26 x i8] c"Available module options:\00"
@.str.6 = [13 x i8] c" TIMEOUT:? \00"
@.str.7 = [79 x i8] c" Sets the number of seconds to wait for the UDP responses (default: 5 sec).\00"
@.str.8 = [16 x i8] c" SEND_DELAY:? \00"
@.str.9 = [89 x i8] c" Sets the number of microseconds to wait between sending queries (default: 200 usec).\00"
@.str.10 = [21 x i8] c" VERSION:? (1*, 2C)\00"
@.str.11 = [33 x i8] c" Set the SNMP client version.\00"
@.str.12 = [26 x i8] c" ACCESS:? (READ*, WRITE)\00"
@.str.13 = [63 x i8] c" Set level of access to test for with the community string.\00"
@.str.14 = [1 x i8] zeroinitializer
@.str.15 = [18 x i8] c"(*) Default value\00"
@.str.16 = [80 x i8] c"It should be noted that when testing for WRITE capability, the module will read\00"
@.str.17 = [84 x i8] c"the current value of sysLocation and then write that same value back to the system.\00"
@.str.18 = [81 x i8] c"Since SNMP is a UDP-based protocol, there is no handshaking between sending and \00"
@.str.19 = [84 x i8] c"receiving transport-layer entities. Due to this connectionless communication, about\00"
@.str.20 = [81 x i8] c"the only time we know a SNMP service exists, is if we send the correct community\00"
@.str.21 = [80 x i8] c"string and the server sends a response. All other queries result in no response\00"
@.str.22 = [83 x i8] c"whatsoever. The approach we use here is to initially just send all of our SNMP GET\00"
@.str.23 = [81 x i8] c"requests. After that completes, we wait TIMEOUT seconds for any responses. If we\00"
@.str.24 = [88 x i8] c"get any responses back, we examine them to see which community strings were successful.\00"
@.str.25 = [83 x i8] c"If ACCESS:WRITE was specified, we check for write access on each of the previously\00"
@.str.26 = [84 x i8] c"successful values. This techique should allow for quick brute forcing. However, one\00"
@.str.27 = [83 x i8] c"should take care with the TIMEOUT and SEND_DELAY values as to avoid causing issues\00"
@.str.28 = [50 x i8] c"with the target service or missing response data.\00"
@.str.29 = [56 x i8] c" Usage example: \22-M snmp -m TIMEOUT:2 -m ACCESS:WRITE\22\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 ([9 x i8], [9 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 ([26 x i8], [26 x i8]* @.str.3, i64 0, i64 0), i8* getelementptr inbounds ([46 x i8], [46 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 ([13 x i8], [13 x i8]* @.str.6, i64 0, i64 0))
%4 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([79 x i8], [79 x i8]* @.str.7, i64 0, i64 0))
%5 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.8, i64 0, i64 0))
%6 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([89 x i8], [89 x i8]* @.str.9, i64 0, i64 0))
%7 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.10, i64 0, i64 0))
%8 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([33 x i8], [33 x i8]* @.str.11, i64 0, i64 0))
%9 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str.12, i64 0, i64 0))
%10 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([63 x i8], [63 x i8]* @.str.13, i64 0, i64 0))
%11 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.14, i64 0, i64 0))
%12 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.15, i64 0, i64 0))
%13 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.14, i64 0, i64 0))
%14 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([80 x i8], [80 x i8]* @.str.16, i64 0, i64 0))
%15 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([84 x i8], [84 x i8]* @.str.17, i64 0, i64 0))
%16 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.14, i64 0, i64 0))
%17 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([81 x i8], [81 x i8]* @.str.18, i64 0, i64 0))
%18 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([84 x i8], [84 x i8]* @.str.19, i64 0, i64 0))
%19 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([81 x i8], [81 x i8]* @.str.20, i64 0, i64 0))
%20 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([80 x i8], [80 x i8]* @.str.21, i64 0, i64 0))
%21 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([83 x i8], [83 x i8]* @.str.22, i64 0, i64 0))
%22 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([81 x i8], [81 x i8]* @.str.23, i64 0, i64 0))
%23 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([88 x i8], [88 x i8]* @.str.24, i64 0, i64 0))
%24 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([83 x i8], [83 x i8]* @.str.25, i64 0, i64 0))
%25 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([84 x i8], [84 x i8]* @.str.26, i64 0, i64 0))
%26 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([83 x i8], [83 x i8]* @.str.27, i64 0, i64 0))
%27 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([50 x i8], [50 x i8]* @.str.28, i64 0, i64 0))
%28 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.14, i64 0, i64 0))
%29 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([56 x i8], [56 x i8]* @.str.29, i64 0, i64 0))
%30 = call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.14, i64 0, i64 0))
ret void
}

LLVM IR (-O2):
@.str = [18 x i8] c"%s (%s) %s :: %s\0A\00"
@.str.1 = [9 x i8] c"snmp.mod\00"
@.str.2 = [4 x i8] c"2.1\00"
@.str.3 = [26 x i8] c"JoMo-Kun <jmk@foofus.net>\00"
@.str.4 = [46 x i8] c"Brute force module for SNMP Community Strings\00"
@.str.5 = [26 x i8] c"Available module options:\00"
@.str.6 = [13 x i8] c" TIMEOUT:? \00"
@.str.7 = [79 x i8] c" Sets the number of seconds to wait for the UDP responses (default: 5 sec).\00"
@.str.8 = [16 x i8] c" SEND_DELAY:? \00"
@.str.9 = [89 x i8] c" Sets the number of microseconds to wait between sending queries (default: 200 usec).\00"
@.str.10 = [21 x i8] c" VERSION:? (1*, 2C)\00"
@.str.11 = [33 x i8] c" Set the SNMP client version.\00"
@.str.12 = [26 x i8] c" ACCESS:? (READ*, WRITE)\00"
@.str.13 = [63 x i8] c" Set level of access to test for with the community string.\00"
@.str.14 = [1 x i8] zeroinitializer
@.str.15 = [18 x i8] c"(*) Default value\00"
@.str.16 = [80 x i8] c"It should be noted that when testing for WRITE capability, the module will read\00"
@.str.17 = [84 x i8] c"the current value of sysLocation and then write that same value back to the system.\00"
@.str.18 = [81 x i8] c"Since SNMP is a UDP-based protocol, there is no handshaking between sending and \00"
@.str.19 = [84 x i8] c"receiving transport-layer entities. Due to this connectionless communication, about\00"
@.str.20 = [81 x i8] c"the only time we know a SNMP service exists, is if we send the correct community\00"
@.str.21 = [80 x i8] c"string and the server sends a response. All other queries result in no response\00"
@.str.22 = [83 x i8] c"whatsoever. The approach we use here is to initially just send all of our SNMP GET\00"
@.str.23 = [81 x i8] c"requests. After that completes, we wait TIMEOUT seconds for any responses. If we\00"
@.str.24 = [88 x i8] c"get any responses back, we examine them to see which community strings were successful.\00"
@.str.25 = [83 x i8] c"If ACCESS:WRITE was specified, we check for write access on each of the previously\00"
@.str.26 = [84 x i8] c"successful values. This techique should allow for quick brute forcing. However, one\00"
@.str.27 = [83 x i8] c"should take care with the TIMEOUT and SEND_DELAY values as to avoid causing issues\00"
@.str.28 = [50 x i8] c"with the target service or missing response data.\00"
@.str.29 = [56 x i8] c" Usage example: \22-M snmp -m TIMEOUT:2 -m ACCESS:WRITE\22\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 ([9 x i8], [9 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 ([26 x i8], [26 x i8]* @.str.3, i64 0, i64 0), i8* getelementptr inbounds ([46 x i8], [46 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 ([13 x i8], [13 x i8]* @.str.6, i64 0, i64 0))
%4 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([79 x i8], [79 x i8]* @.str.7, i64 0, i64 0))
%5 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.8, i64 0, i64 0))
%6 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([89 x i8], [89 x i8]* @.str.9, i64 0, i64 0))
%7 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.10, i64 0, i64 0))
%8 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([33 x i8], [33 x i8]* @.str.11, i64 0, i64 0))
%9 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str.12, i64 0, i64 0))
%10 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([63 x i8], [63 x i8]* @.str.13, i64 0, i64 0))
%11 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.14, i64 0, i64 0))
%12 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.15, i64 0, i64 0))
%13 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.14, i64 0, i64 0))
%14 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([80 x i8], [80 x i8]* @.str.16, i64 0, i64 0))
%15 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([84 x i8], [84 x i8]* @.str.17, i64 0, i64 0))
%16 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.14, i64 0, i64 0))
%17 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([81 x i8], [81 x i8]* @.str.18, i64 0, i64 0))
%18 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([84 x i8], [84 x i8]* @.str.19, i64 0, i64 0))
%19 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([81 x i8], [81 x i8]* @.str.20, i64 0, i64 0))
%20 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([80 x i8], [80 x i8]* @.str.21, i64 0, i64 0))
%21 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([83 x i8], [83 x i8]* @.str.22, i64 0, i64 0))
%22 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([81 x i8], [81 x i8]* @.str.23, i64 0, i64 0))
%23 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([88 x i8], [88 x i8]* @.str.24, i64 0, i64 0))
%24 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([83 x i8], [83 x i8]* @.str.25, i64 0, i64 0))
%25 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([84 x i8], [84 x i8]* @.str.26, i64 0, i64 0))
%26 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([83 x i8], [83 x i8]* @.str.27, i64 0, i64 0))
%27 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([50 x i8], [50 x i8]* @.str.28, i64 0, i64 0))
%28 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.14, i64 0, i64 0))
%29 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([56 x i8], [56 x i8]* @.str.29, i64 0, i64 0))
%30 = tail call i32 (i32, i8*, ...) @writeVerbose(i32 1, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.14, i64 0, i64 0))
ret void
}