#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*/ printf(char *, ...);
void print_help(char *cmd) {
  printf("Usage: %s [ options ]\n", cmd);
  printf("  -m\t\t\t\t\t# MAC_address\n");
  printf("  -R, --random-mac\t\t\t# Use a randomly generated MAC address\n");
  printf("  -r, --release\t\t\t\t# Releases obtained DHCP IP for corresponding "
         "MAC\n");
  printf("  -F, --log-filename\t\t\t# Log/status file, defaults to './$MAC'\n");
  printf("  -L, --option51-lease_time [ Lease_time ] # Option 51. Requested "
         "lease time in secondes\n");
  printf("  -I, --option50-ip\t[ IP_address ]\t# Option 50 IP address on DHCP "
         "discover\n");
  printf("  -o, --option60-vci\t[ VCI_string ]\t# Vendor Class Idendifier "
         "string\n");
  printf("  -h, --option12-hostname [ hostname_string ] # Client hostname "
         "string\n");
  printf("  -v, --vlan\t\t[ vlan_id ]\t# VLAN ID. Range(1 - 4094)\n");
  printf("  -t, --tos\t\t[ TOS_value ]\t# IP header TOS value\n");
  printf(
      "  -i, --interface\t[ interface ]\t# Interface to use. Default eth0\n");
  printf("  -T, --timeout\t\t[ cmd_timeout ]\t# Command returns within "
         "specified timout in seconds\n");
  printf("  -b, --bind-ip\t\t\t\t# Listens on the obtained IP. Supported "
         "protocols - ARP and ICMP\n");
  printf("  -k, --bind-timeout\t[ timeout ]\t# Listen timout in seconds. "
         "Default 3600 seconds\n");
  printf("  -f, --bcast_flag\t\t\t# Sets broadcast flag on DHCP discover and "
         "request\n");
  printf("  -d, --fqdn-domain-name   [ fqdn ]\t# FQDN domain name to use\n");
  printf(
      "  -n, --fqdn-server-not-update\t\t# Sets FQDN server not update flag\n");
  printf("  -s, --fqdn-server-update-a\t\t# Sets FQDN server update flag\n");
  printf("  -p, --padding\t\t\t\t# Add padding to packet to be at least 300 "
         "bytes\n");
  printf("  -P, --port\t\t[ port ]\t# Use port instead of 67\n");
  printf("  -g, --giaddr\t\t[ giaddr ]\t# Use giaddr instead of 0.0.0.0\n");
  printf("  -u<ip>, --unicast=<ip>\t\t# Unicast request, IP is optional. If "
         "not specified, the interface address will be used. \n");
  printf("  -a, --nagios\t\t\t\t# Nagios output format. \n");
  printf("  -S, --server\t\t[ address ]\t# Use server address instead of "
         "255.255.255.255\n");
  printf("  -V, --verbose\t\t\t\t# Prints DHCP offer and ack details\n");
  printf("  -q, --quiet\t\t\t\t# Only print acquired IP address or errors\n");
  printf("  -Q, --request-only\t\t\t\t# Refresh previous acquired lease by "
         "sending a request\n");
  printf("  dhtest version 1.3\n");
}


x86 assembly (clang, -O0):
<print_help>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rsi
lea    0xed9(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xee2(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xeec(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xf1b(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xf53(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xf85(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xfd1(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x100f(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1047(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1081(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x10a9(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x10cd(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1101(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x114a(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1191(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x11d6(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1211(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1242(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1278(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x12a8(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x12df(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1302(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1330(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1397(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x13b5(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x13f4(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x141e(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x144d(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x148f(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<print_help>:
push   %rax
mov    %rdi,%rsi
lea    0xed5(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
lea    0xede(%rip),%rdi
call   1030 <puts@plt>
lea    0xee9(%rip),%rdi
call   1030 <puts@plt>
lea    0xf19(%rip),%rdi
call   1030 <puts@plt>
lea    0xf52(%rip),%rdi
call   1030 <puts@plt>
lea    0xf85(%rip),%rdi
call   1030 <puts@plt>
lea    0xfd2(%rip),%rdi
call   1030 <puts@plt>
lea    0x1011(%rip),%rdi
call   1030 <puts@plt>
lea    0x104a(%rip),%rdi
call   1030 <puts@plt>
lea    0x1085(%rip),%rdi
call   1030 <puts@plt>
lea    0x10ae(%rip),%rdi
call   1030 <puts@plt>
lea    0x10d3(%rip),%rdi
call   1030 <puts@plt>
lea    0x1108(%rip),%rdi
call   1030 <puts@plt>
lea    0x1152(%rip),%rdi
call   1030 <puts@plt>
lea    0x119a(%rip),%rdi
call   1030 <puts@plt>
lea    0x11e0(%rip),%rdi
call   1030 <puts@plt>
lea    0x121c(%rip),%rdi
call   1030 <puts@plt>
lea    0x124e(%rip),%rdi
call   1030 <puts@plt>
lea    0x1285(%rip),%rdi
call   1030 <puts@plt>
lea    0x12b6(%rip),%rdi
call   1030 <puts@plt>
lea    0x12ee(%rip),%rdi
call   1030 <puts@plt>
lea    0x1312(%rip),%rdi
call   1030 <puts@plt>
lea    0x1341(%rip),%rdi
call   1030 <puts@plt>
lea    0x13a9(%rip),%rdi
call   1030 <puts@plt>
lea    0x13c8(%rip),%rdi
call   1030 <puts@plt>
lea    0x1408(%rip),%rdi
call   1030 <puts@plt>
lea    0x1433(%rip),%rdi
call   1030 <puts@plt>
lea    0x1463(%rip),%rdi
call   1030 <puts@plt>
lea    0x14a6(%rip),%rdi
pop    %rax
jmp    1030 <puts@plt>

LLVM IR (-O0):
@.str = [23 x i8] c"Usage: %s [ options ]\0A\00"
@.str.1 = [24 x i8] c" -m\09\09\09\09\09# MAC_address\0A\00"
@.str.2 = [61 x i8] c" -R, --random-mac\09\09\09# Use a randomly generated MAC address\0A\00"
@.str.3 = [70 x i8] c" -r, --release\09\09\09\09# Releases obtained DHCP IP for corresponding MAC\0A\00"
@.str.4 = [64 x i8] c" -F, --log-filename\09\09\09# Log/status file, defaults to './$MAC'\0A\00"
@.str.5 = [90 x i8] c" -L, --option51-lease_time [ Lease_time ] # Option 51. Requested lease time in secondes\0A\00"
@.str.6 = [76 x i8] c" -I, --option50-ip\09[ IP_address ]\09# Option 50 IP address on DHCP discover\0A\00"
@.str.7 = [70 x i8] c" -o, --option60-vci\09[ VCI_string ]\09# Vendor Class Idendifier string\0A\00"
@.str.8 = [72 x i8] c" -h, --option12-hostname [ hostname_string ] # Client hostname string\0A\00"
@.str.9 = [54 x i8] c" -v, --vlan\09\09[ vlan_id ]\09# VLAN ID. Range(1 - 4094)\0A\00"
@.str.10 = [50 x i8] c" -t, --tos\09\09[ TOS_value ]\09# IP header TOS value\0A\00"
@.str.11 = [66 x i8] c" -i, --interface\09[ interface ]\09# Interface to use. Default eth0\0A\00"
@.str.12 = [87 x i8] c" -T, --timeout\09\09[ cmd_timeout ]\09# Command returns within specified timout in seconds\0A\00"
@.str.13 = [85 x i8] c" -b, --bind-ip\09\09\09\09# Listens on the obtained IP. Supported protocols - ARP and ICMP\0A\00"
@.str.14 = [83 x i8] c" -k, --bind-timeout\09[ timeout ]\09# Listen timout in seconds. Default 3600 seconds\0A\00"
@.str.15 = [73 x i8] c" -f, --bcast_flag\09\09\09# Sets broadcast flag on DHCP discover and request\0A\00"
@.str.16 = [63 x i8] c" -d, --fqdn-domain-name [ fqdn ]\09# FQDN domain name to use\0A\00"
@.str.17 = [68 x i8] c" -n, --fqdn-server-not-update\09\09# Sets FQDN server not update flag\0A\00"
@.str.18 = [62 x i8] c" -s, --fqdn-server-update-a\09\09# Sets FQDN server update flag\0A\00"
@.str.19 = [69 x i8] c" -p, --padding\09\09\09\09# Add padding to packet to be at least 300 bytes\0A\00"
@.str.20 = [49 x i8] c" -P, --port\09\09[ port ]\09# Use port instead of 67\0A\00"
@.str.21 = [60 x i8] c" -g, --giaddr\09\09[ giaddr ]\09# Use giaddr instead of 0.0.0.0\0A\00"
@.str.22 = [117 x i8] c" -u<ip>, --unicast=<ip>\09\09# Unicast request, IP is optional. If not specified, the interface address will be used. \0A\00"
@.str.23 = [44 x i8] c" -a, --nagios\09\09\09\09# Nagios output format. \0A\00"
@.str.24 = [77 x i8] c" -S, --server\09\09[ address ]\09# Use server address instead of 255.255.255.255\0A\00"
@.str.25 = [56 x i8] c" -V, --verbose\09\09\09\09# Prints DHCP offer and ack details\0A\00"
@.str.26 = [61 x i8] c" -q, --quiet\09\09\09\09# Only print acquired IP address or errors\0A\00"
@.str.27 = [80 x i8] c" -Q, --request-only\09\09\09\09# Refresh previous acquired lease by sending a request\0A\00"
@.str.28 = [22 x i8] c" dhtest version 1.3\0A\00"
define void @print_help(i8* %0) {
%2 = alloca i8*
store i8* %0, i8** %2
%3 = load i8*, i8** %2
%4 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str, i64 0, i64 0), i8* %3)
%5 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.1, i64 0, i64 0))
%6 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([61 x i8], [61 x i8]* @.str.2, i64 0, i64 0))
%7 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([70 x i8], [70 x i8]* @.str.3, i64 0, i64 0))
%8 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([64 x i8], [64 x i8]* @.str.4, i64 0, i64 0))
%9 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([90 x i8], [90 x i8]* @.str.5, i64 0, i64 0))
%10 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([76 x i8], [76 x i8]* @.str.6, i64 0, i64 0))
%11 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([70 x i8], [70 x i8]* @.str.7, i64 0, i64 0))
%12 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([72 x i8], [72 x i8]* @.str.8, i64 0, i64 0))
%13 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([54 x i8], [54 x i8]* @.str.9, i64 0, i64 0))
%14 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([50 x i8], [50 x i8]* @.str.10, i64 0, i64 0))
%15 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([66 x i8], [66 x i8]* @.str.11, i64 0, i64 0))
%16 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([87 x i8], [87 x i8]* @.str.12, i64 0, i64 0))
%17 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([85 x i8], [85 x i8]* @.str.13, i64 0, i64 0))
%18 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([83 x i8], [83 x i8]* @.str.14, i64 0, i64 0))
%19 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([73 x i8], [73 x i8]* @.str.15, i64 0, i64 0))
%20 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([63 x i8], [63 x i8]* @.str.16, i64 0, i64 0))
%21 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([68 x i8], [68 x i8]* @.str.17, i64 0, i64 0))
%22 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([62 x i8], [62 x i8]* @.str.18, i64 0, i64 0))
%23 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([69 x i8], [69 x i8]* @.str.19, i64 0, i64 0))
%24 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([49 x i8], [49 x i8]* @.str.20, i64 0, i64 0))
%25 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @.str.21, i64 0, i64 0))
%26 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([117 x i8], [117 x i8]* @.str.22, i64 0, i64 0))
%27 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.23, i64 0, i64 0))
%28 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([77 x i8], [77 x i8]* @.str.24, i64 0, i64 0))
%29 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([56 x i8], [56 x i8]* @.str.25, i64 0, i64 0))
%30 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([61 x i8], [61 x i8]* @.str.26, i64 0, i64 0))
%31 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([80 x i8], [80 x i8]* @.str.27, i64 0, i64 0))
%32 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.28, i64 0, i64 0))
ret void
}

LLVM IR (-O2):
@.str = [23 x i8] c"Usage: %s [ options ]\0A\00"
@str = [23 x i8] c" -m\09\09\09\09\09# MAC_address\00"
@str.29 = [60 x i8] c" -R, --random-mac\09\09\09# Use a randomly generated MAC address\00"
@str.30 = [69 x i8] c" -r, --release\09\09\09\09# Releases obtained DHCP IP for corresponding MAC\00"
@str.31 = [63 x i8] c" -F, --log-filename\09\09\09# Log/status file, defaults to './$MAC'\00"
@str.32 = [89 x i8] c" -L, --option51-lease_time [ Lease_time ] # Option 51. Requested lease time in secondes\00"
@str.33 = [75 x i8] c" -I, --option50-ip\09[ IP_address ]\09# Option 50 IP address on DHCP discover\00"
@str.34 = [69 x i8] c" -o, --option60-vci\09[ VCI_string ]\09# Vendor Class Idendifier string\00"
@str.35 = [71 x i8] c" -h, --option12-hostname [ hostname_string ] # Client hostname string\00"
@str.36 = [53 x i8] c" -v, --vlan\09\09[ vlan_id ]\09# VLAN ID. Range(1 - 4094)\00"
@str.37 = [49 x i8] c" -t, --tos\09\09[ TOS_value ]\09# IP header TOS value\00"
@str.38 = [65 x i8] c" -i, --interface\09[ interface ]\09# Interface to use. Default eth0\00"
@str.39 = [86 x i8] c" -T, --timeout\09\09[ cmd_timeout ]\09# Command returns within specified timout in seconds\00"
@str.40 = [84 x i8] c" -b, --bind-ip\09\09\09\09# Listens on the obtained IP. Supported protocols - ARP and ICMP\00"
@str.41 = [82 x i8] c" -k, --bind-timeout\09[ timeout ]\09# Listen timout in seconds. Default 3600 seconds\00"
@str.42 = [72 x i8] c" -f, --bcast_flag\09\09\09# Sets broadcast flag on DHCP discover and request\00"
@str.43 = [62 x i8] c" -d, --fqdn-domain-name [ fqdn ]\09# FQDN domain name to use\00"
@str.44 = [67 x i8] c" -n, --fqdn-server-not-update\09\09# Sets FQDN server not update flag\00"
@str.45 = [61 x i8] c" -s, --fqdn-server-update-a\09\09# Sets FQDN server update flag\00"
@str.46 = [68 x i8] c" -p, --padding\09\09\09\09# Add padding to packet to be at least 300 bytes\00"
@str.47 = [48 x i8] c" -P, --port\09\09[ port ]\09# Use port instead of 67\00"
@str.48 = [59 x i8] c" -g, --giaddr\09\09[ giaddr ]\09# Use giaddr instead of 0.0.0.0\00"
@str.49 = [116 x i8] c" -u<ip>, --unicast=<ip>\09\09# Unicast request, IP is optional. If not specified, the interface address will be used. \00"
@str.50 = [43 x i8] c" -a, --nagios\09\09\09\09# Nagios output format. \00"
@str.51 = [76 x i8] c" -S, --server\09\09[ address ]\09# Use server address instead of 255.255.255.255\00"
@str.52 = [55 x i8] c" -V, --verbose\09\09\09\09# Prints DHCP offer and ack details\00"
@str.53 = [60 x i8] c" -q, --quiet\09\09\09\09# Only print acquired IP address or errors\00"
@str.54 = [79 x i8] c" -Q, --request-only\09\09\09\09# Refresh previous acquired lease by sending a request\00"
@str.55 = [21 x i8] c" dhtest version 1.3\00"
define void @print_help(i8* %0) {
%2 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([23 x i8], [23 x i8]* @.str, i64 0, i64 0), i8* %0)
%3 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([23 x i8], [23 x i8]* @str, i64 0, i64 0))
%4 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([60 x i8], [60 x i8]* @str.29, i64 0, i64 0))
%5 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([69 x i8], [69 x i8]* @str.30, i64 0, i64 0))
%6 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([63 x i8], [63 x i8]* @str.31, i64 0, i64 0))
%7 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([89 x i8], [89 x i8]* @str.32, i64 0, i64 0))
%8 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([75 x i8], [75 x i8]* @str.33, i64 0, i64 0))
%9 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([69 x i8], [69 x i8]* @str.34, i64 0, i64 0))
%10 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([71 x i8], [71 x i8]* @str.35, i64 0, i64 0))
%11 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([53 x i8], [53 x i8]* @str.36, i64 0, i64 0))
%12 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([49 x i8], [49 x i8]* @str.37, i64 0, i64 0))
%13 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([65 x i8], [65 x i8]* @str.38, i64 0, i64 0))
%14 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([86 x i8], [86 x i8]* @str.39, i64 0, i64 0))
%15 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([84 x i8], [84 x i8]* @str.40, i64 0, i64 0))
%16 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([82 x i8], [82 x i8]* @str.41, i64 0, i64 0))
%17 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([72 x i8], [72 x i8]* @str.42, i64 0, i64 0))
%18 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([62 x i8], [62 x i8]* @str.43, i64 0, i64 0))
%19 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([67 x i8], [67 x i8]* @str.44, i64 0, i64 0))
%20 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([61 x i8], [61 x i8]* @str.45, i64 0, i64 0))
%21 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([68 x i8], [68 x i8]* @str.46, i64 0, i64 0))
%22 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([48 x i8], [48 x i8]* @str.47, i64 0, i64 0))
%23 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([59 x i8], [59 x i8]* @str.48, i64 0, i64 0))
%24 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([116 x i8], [116 x i8]* @str.49, i64 0, i64 0))
%25 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([43 x i8], [43 x i8]* @str.50, i64 0, i64 0))
%26 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([76 x i8], [76 x i8]* @str.51, i64 0, i64 0))
%27 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([55 x i8], [55 x i8]* @str.52, i64 0, i64 0))
%28 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([60 x i8], [60 x i8]* @str.53, i64 0, i64 0))
%29 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([79 x i8], [79 x i8]* @str.54, i64 0, i64 0))
%30 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([21 x i8], [21 x i8]* @str.55, i64 0, i64 0))
ret void
}