#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 *, ...);
int /*<<< orphan*/ puts(char *);
void dcr_print_manual(int argc, char **argv) {
  printf(("\nRaw photo decoder \"dcraw\" v%s"), "8.81");
  printf(("\nby Dave Coffin, dcoffin a cybercom o net\n"));
  printf(("\nUsage:  %s [OPTION]... [FILE]...\n\n"), argv[0]);
  puts(("-v        Print verbose messages"));
  puts(("-c        Write image data to standard output"));
  puts(("-e        Extract embedded thumbnail image"));
  puts(("-i        Identify files without decoding them"));
  puts(("-i -v     Identify files and show metadata"));
  puts(("-z        Change file dates to camera timestamp"));
  puts(("-w        Use camera white balance, if possible"));
  puts(("-a        Average the whole image for white balance"));
  puts(("-A <x y w h> Average a grey box for white balance"));
  puts(("-r <r g b g> Set custom white balance"));
  puts(("+M/-M     Use/don't use an embedded color matrix"));
  puts(("-C <r b>  Correct chromatic aberration"));
  puts(("-n <num>  Set threshold for wavelet denoising"));
  puts(("-k <num>  Set the black level"));
  puts(("-K <file> Subtract dark frame (16-bit raw PGM)"));
  puts(("-H [0-9]  Highlight mode (0=clip, 1=unclip, 2=blend, 3+=rebuild)"));
  puts(("-t [0-7]  Flip image (0=none, 3=180, 5=90CCW, 6=90CW)"));
  puts(("-o [0-5]  Output colorspace (raw,sRGB,Adobe,Wide,ProPhoto,XYZ)"));
  puts(("-d        Document mode (no color, no interpolation)"));
  puts(("-D        Document mode without scaling (totally raw)"));
  puts(("-j        Don't stretch or rotate raw pixels"));
  puts(("-W        Don't automatically brighten the image"));
  puts(("-b <num>  Adjust brightness (default = 1.0)"));
  puts(("-q [0-3]  Set the interpolation quality"));
  puts(("-h        Half-size color image (twice as fast as \"-q 0\")"));
  puts(("-f        Interpolate RGGB as four colors"));
  puts(("-m <num>  Apply a 3x3 median filter to R-G and B-G"));
  puts(("-s [0..N-1] Select one raw image or \"all\" from each file"));
  puts(("-4        Write 16-bit linear instead of 8-bit with gamma"));
  puts(("-T        Write TIFF instead of PPM"));
  puts("");
}


x86 assembly (clang, -O0):
<dcr_print_manual>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
lea    0xeca(%rip),%rdi
lea    0xee2(%rip),%rsi
mov    $0x0,%al
call   1040 <printf@plt>
lea    0xed9(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x10(%rbp),%rax
mov    (%rax),%rsi
lea    0xeef(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
lea    0xf05(%rip),%rdi
call   1030 <puts@plt>
lea    0xf1a(%rip),%rdi
call   1030 <puts@plt>
lea    0xf3c(%rip),%rdi
call   1030 <puts@plt>
lea    0xf5b(%rip),%rdi
call   1030 <puts@plt>
lea    0xf7e(%rip),%rdi
call   1030 <puts@plt>
lea    0xf9d(%rip),%rdi
call   1030 <puts@plt>
lea    0xfc1(%rip),%rdi
call   1030 <puts@plt>
lea    0xfe5(%rip),%rdi
call   1030 <puts@plt>
lea    0x100d(%rip),%rdi
call   1030 <puts@plt>
lea    0x1033(%rip),%rdi
call   1030 <puts@plt>
lea    0x104d(%rip),%rdi
call   1030 <puts@plt>
lea    0x1072(%rip),%rdi
call   1030 <puts@plt>
lea    0x108d(%rip),%rdi
call   1030 <puts@plt>
lea    0x10af(%rip),%rdi
call   1030 <puts@plt>
lea    0x10c1(%rip),%rdi
call   1030 <puts@plt>
lea    0x10e4(%rip),%rdi
call   1030 <puts@plt>
lea    0x1119(%rip),%rdi
call   1030 <puts@plt>
lea    0x1143(%rip),%rdi
call   1030 <puts@plt>
lea    0x1176(%rip),%rdi
call   1030 <puts@plt>
lea    0x119f(%rip),%rdi
call   1030 <puts@plt>
lea    0x11c9(%rip),%rdi
call   1030 <puts@plt>
lea    0x11ea(%rip),%rdi
call   1030 <puts@plt>
lea    0x120f(%rip),%rdi
call   1030 <puts@plt>
lea    0x122f(%rip),%rdi
call   1030 <puts@plt>
lea    0x124b(%rip),%rdi
call   1030 <puts@plt>
lea    0x1279(%rip),%rdi
call   1030 <puts@plt>
lea    0x1297(%rip),%rdi
call   1030 <puts@plt>
lea    0x12be(%rip),%rdi
call   1030 <puts@plt>
lea    0x12eb(%rip),%rdi
call   1030 <puts@plt>
lea    0x1319(%rip),%rdi
call   1030 <puts@plt>
lea    0xd9c(%rip),%rdi
call   1030 <puts@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<dcr_print_manual>:
push   %rbx
mov    %rsi,%rbx
lea    0xec5(%rip),%rdi
lea    0xedd(%rip),%rsi
xor    %eax,%eax
call   1050 <printf@plt>
lea    0x148c(%rip),%rdi
call   1040 <puts@plt>
mov    (%rbx),%rsi
lea    0xec5(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
lea    0xedb(%rip),%rdi
call   1040 <puts@plt>
lea    0xef0(%rip),%rdi
call   1040 <puts@plt>
lea    0xf12(%rip),%rdi
call   1040 <puts@plt>
lea    0xf31(%rip),%rdi
call   1040 <puts@plt>
lea    0xf54(%rip),%rdi
call   1040 <puts@plt>
lea    0xf73(%rip),%rdi
call   1040 <puts@plt>
lea    0xf97(%rip),%rdi
call   1040 <puts@plt>
lea    0xfbb(%rip),%rdi
call   1040 <puts@plt>
lea    0xfe3(%rip),%rdi
call   1040 <puts@plt>
lea    0x1009(%rip),%rdi
call   1040 <puts@plt>
lea    0x1023(%rip),%rdi
call   1040 <puts@plt>
lea    0x1048(%rip),%rdi
call   1040 <puts@plt>
lea    0x1063(%rip),%rdi
call   1040 <puts@plt>
lea    0x1085(%rip),%rdi
call   1040 <puts@plt>
lea    0x1097(%rip),%rdi
call   1040 <puts@plt>
lea    0x10ba(%rip),%rdi
call   1040 <puts@plt>
lea    0x10ef(%rip),%rdi
call   1040 <puts@plt>
lea    0x1119(%rip),%rdi
call   1040 <puts@plt>
lea    0x114c(%rip),%rdi
call   1040 <puts@plt>
lea    0x1175(%rip),%rdi
call   1040 <puts@plt>
lea    0x119f(%rip),%rdi
call   1040 <puts@plt>
lea    0x11c0(%rip),%rdi
call   1040 <puts@plt>
lea    0x11e5(%rip),%rdi
call   1040 <puts@plt>
lea    0x1205(%rip),%rdi
call   1040 <puts@plt>
lea    0x1221(%rip),%rdi
call   1040 <puts@plt>
lea    0x124f(%rip),%rdi
call   1040 <puts@plt>
lea    0x126d(%rip),%rdi
call   1040 <puts@plt>
lea    0x1294(%rip),%rdi
call   1040 <puts@plt>
lea    0x12c1(%rip),%rdi
call   1040 <puts@plt>
lea    0x12ef(%rip),%rdi
call   1040 <puts@plt>
mov    $0xa,%edi
pop    %rbx
jmp    1030 <putchar@plt>

LLVM IR (-O0):
@.str = [31 x i8] c"\0ARaw photo decoder \22dcraw\22 v%s\00"
@.str.1 = [5 x i8] c"8.81\00"
@.str.2 = [43 x i8] c"\0Aby Dave Coffin, dcoffin a cybercom o net\0A\00"
@.str.3 = [36 x i8] c"\0AUsage: %s [OPTION]... [FILE]...\0A\0A\00"
@.str.4 = [33 x i8] c"-v Print verbose messages\00"
@.str.5 = [46 x i8] c"-c Write image data to standard output\00"
@.str.6 = [43 x i8] c"-e Extract embedded thumbnail image\00"
@.str.7 = [47 x i8] c"-i Identify files without decoding them\00"
@.str.8 = [43 x i8] c"-i -v Identify files and show metadata\00"
@.str.9 = [48 x i8] c"-z Change file dates to camera timestamp\00"
@.str.10 = [48 x i8] c"-w Use camera white balance, if possible\00"
@.str.11 = [52 x i8] c"-a Average the whole image for white balance\00"
@.str.12 = [50 x i8] c"-A <x y w h> Average a grey box for white balance\00"
@.str.13 = [38 x i8] c"-r <r g b g> Set custom white balance\00"
@.str.14 = [49 x i8] c"+M/-M Use/don't use an embedded color matrix\00"
@.str.15 = [39 x i8] c"-C <r b> Correct chromatic aberration\00"
@.str.16 = [46 x i8] c"-n <num> Set threshold for wavelet denoising\00"
@.str.17 = [30 x i8] c"-k <num> Set the black level\00"
@.str.18 = [47 x i8] c"-K <file> Subtract dark frame (16-bit raw PGM)\00"
@.str.19 = [65 x i8] c"-H [0-9] Highlight mode (0=clip, 1=unclip, 2=blend, 3+=rebuild)\00"
@.str.20 = [54 x i8] c"-t [0-7] Flip image (0=none, 3=180, 5=90CCW, 6=90CW)\00"
@.str.21 = [63 x i8] c"-o [0-5] Output colorspace (raw,sRGB,Adobe,Wide,ProPhoto,XYZ)\00"
@.str.22 = [53 x i8] c"-d Document mode (no color, no interpolation)\00"
@.str.23 = [54 x i8] c"-D Document mode without scaling (totally raw)\00"
@.str.24 = [45 x i8] c"-j Don't stretch or rotate raw pixels\00"
@.str.25 = [49 x i8] c"-W Don't automatically brighten the image\00"
@.str.26 = [44 x i8] c"-b <num> Adjust brightness (default = 1.0)\00"
@.str.27 = [40 x i8] c"-q [0-3] Set the interpolation quality\00"
@.str.28 = [58 x i8] c"-h Half-size color image (twice as fast as \22-q 0\22)\00"
@.str.29 = [42 x i8] c"-f Interpolate RGGB as four colors\00"
@.str.30 = [51 x i8] c"-m <num> Apply a 3x3 median filter to R-G and B-G\00"
@.str.31 = [57 x i8] c"-s [0..N-1] Select one raw image or \22all\22 from each file\00"
@.str.32 = [58 x i8] c"-4 Write 16-bit linear instead of 8-bit with gamma\00"
@.str.33 = [36 x i8] c"-T Write TIFF instead of PPM\00"
@.str.34 = [1 x i8] zeroinitializer
define void @dcr_print_manual(i32 %0, i8** %1) {
%3 = alloca i32
%4 = alloca i8**
store i32 %0, i32* %3
store i8** %1, i8*** %4
%5 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.1, i64 0, i64 0))
%6 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([43 x i8], [43 x i8]* @.str.2, i64 0, i64 0))
%7 = load i8**, i8*** %4
%8 = getelementptr inbounds i8*, i8** %7, i64 0
%9 = load i8*, i8** %8
%10 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.3, i64 0, i64 0), i8* %9)
%11 = call i32 @puts(i8* getelementptr inbounds ([33 x i8], [33 x i8]* @.str.4, i64 0, i64 0))
%12 = call i32 @puts(i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str.5, i64 0, i64 0))
%13 = call i32 @puts(i8* getelementptr inbounds ([43 x i8], [43 x i8]* @.str.6, i64 0, i64 0))
%14 = call i32 @puts(i8* getelementptr inbounds ([47 x i8], [47 x i8]* @.str.7, i64 0, i64 0))
%15 = call i32 @puts(i8* getelementptr inbounds ([43 x i8], [43 x i8]* @.str.8, i64 0, i64 0))
%16 = call i32 @puts(i8* getelementptr inbounds ([48 x i8], [48 x i8]* @.str.9, i64 0, i64 0))
%17 = call i32 @puts(i8* getelementptr inbounds ([48 x i8], [48 x i8]* @.str.10, i64 0, i64 0))
%18 = call i32 @puts(i8* getelementptr inbounds ([52 x i8], [52 x i8]* @.str.11, i64 0, i64 0))
%19 = call i32 @puts(i8* getelementptr inbounds ([50 x i8], [50 x i8]* @.str.12, i64 0, i64 0))
%20 = call i32 @puts(i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.13, i64 0, i64 0))
%21 = call i32 @puts(i8* getelementptr inbounds ([49 x i8], [49 x i8]* @.str.14, i64 0, i64 0))
%22 = call i32 @puts(i8* getelementptr inbounds ([39 x i8], [39 x i8]* @.str.15, i64 0, i64 0))
%23 = call i32 @puts(i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str.16, i64 0, i64 0))
%24 = call i32 @puts(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.17, i64 0, i64 0))
%25 = call i32 @puts(i8* getelementptr inbounds ([47 x i8], [47 x i8]* @.str.18, i64 0, i64 0))
%26 = call i32 @puts(i8* getelementptr inbounds ([65 x i8], [65 x i8]* @.str.19, i64 0, i64 0))
%27 = call i32 @puts(i8* getelementptr inbounds ([54 x i8], [54 x i8]* @.str.20, i64 0, i64 0))
%28 = call i32 @puts(i8* getelementptr inbounds ([63 x i8], [63 x i8]* @.str.21, i64 0, i64 0))
%29 = call i32 @puts(i8* getelementptr inbounds ([53 x i8], [53 x i8]* @.str.22, i64 0, i64 0))
%30 = call i32 @puts(i8* getelementptr inbounds ([54 x i8], [54 x i8]* @.str.23, i64 0, i64 0))
%31 = call i32 @puts(i8* getelementptr inbounds ([45 x i8], [45 x i8]* @.str.24, i64 0, i64 0))
%32 = call i32 @puts(i8* getelementptr inbounds ([49 x i8], [49 x i8]* @.str.25, i64 0, i64 0))
%33 = call i32 @puts(i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.26, i64 0, i64 0))
%34 = call i32 @puts(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.27, i64 0, i64 0))
%35 = call i32 @puts(i8* getelementptr inbounds ([58 x i8], [58 x i8]* @.str.28, i64 0, i64 0))
%36 = call i32 @puts(i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str.29, i64 0, i64 0))
%37 = call i32 @puts(i8* getelementptr inbounds ([51 x i8], [51 x i8]* @.str.30, i64 0, i64 0))
%38 = call i32 @puts(i8* getelementptr inbounds ([57 x i8], [57 x i8]* @.str.31, i64 0, i64 0))
%39 = call i32 @puts(i8* getelementptr inbounds ([58 x i8], [58 x i8]* @.str.32, i64 0, i64 0))
%40 = call i32 @puts(i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.33, i64 0, i64 0))
%41 = call i32 @puts(i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.34, i64 0, i64 0))
ret void
}

LLVM IR (-O2):
@.str = [31 x i8] c"\0ARaw photo decoder \22dcraw\22 v%s\00"
@.str.1 = [5 x i8] c"8.81\00"
@.str.3 = [36 x i8] c"\0AUsage: %s [OPTION]... [FILE]...\0A\0A\00"
@.str.4 = [33 x i8] c"-v Print verbose messages\00"
@.str.5 = [46 x i8] c"-c Write image data to standard output\00"
@.str.6 = [43 x i8] c"-e Extract embedded thumbnail image\00"
@.str.7 = [47 x i8] c"-i Identify files without decoding them\00"
@.str.8 = [43 x i8] c"-i -v Identify files and show metadata\00"
@.str.9 = [48 x i8] c"-z Change file dates to camera timestamp\00"
@.str.10 = [48 x i8] c"-w Use camera white balance, if possible\00"
@.str.11 = [52 x i8] c"-a Average the whole image for white balance\00"
@.str.12 = [50 x i8] c"-A <x y w h> Average a grey box for white balance\00"
@.str.13 = [38 x i8] c"-r <r g b g> Set custom white balance\00"
@.str.14 = [49 x i8] c"+M/-M Use/don't use an embedded color matrix\00"
@.str.15 = [39 x i8] c"-C <r b> Correct chromatic aberration\00"
@.str.16 = [46 x i8] c"-n <num> Set threshold for wavelet denoising\00"
@.str.17 = [30 x i8] c"-k <num> Set the black level\00"
@.str.18 = [47 x i8] c"-K <file> Subtract dark frame (16-bit raw PGM)\00"
@.str.19 = [65 x i8] c"-H [0-9] Highlight mode (0=clip, 1=unclip, 2=blend, 3+=rebuild)\00"
@.str.20 = [54 x i8] c"-t [0-7] Flip image (0=none, 3=180, 5=90CCW, 6=90CW)\00"
@.str.21 = [63 x i8] c"-o [0-5] Output colorspace (raw,sRGB,Adobe,Wide,ProPhoto,XYZ)\00"
@.str.22 = [53 x i8] c"-d Document mode (no color, no interpolation)\00"
@.str.23 = [54 x i8] c"-D Document mode without scaling (totally raw)\00"
@.str.24 = [45 x i8] c"-j Don't stretch or rotate raw pixels\00"
@.str.25 = [49 x i8] c"-W Don't automatically brighten the image\00"
@.str.26 = [44 x i8] c"-b <num> Adjust brightness (default = 1.0)\00"
@.str.27 = [40 x i8] c"-q [0-3] Set the interpolation quality\00"
@.str.28 = [58 x i8] c"-h Half-size color image (twice as fast as \22-q 0\22)\00"
@.str.29 = [42 x i8] c"-f Interpolate RGGB as four colors\00"
@.str.30 = [51 x i8] c"-m <num> Apply a 3x3 median filter to R-G and B-G\00"
@.str.31 = [57 x i8] c"-s [0..N-1] Select one raw image or \22all\22 from each file\00"
@.str.32 = [58 x i8] c"-4 Write 16-bit linear instead of 8-bit with gamma\00"
@.str.33 = [36 x i8] c"-T Write TIFF instead of PPM\00"
@str = [42 x i8] c"\0Aby Dave Coffin, dcoffin a cybercom o net\00"
define void @dcr_print_manual(i32 %0, i8** nocapture %1) {
%3 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.1, i64 0, i64 0))
%4 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([42 x i8], [42 x i8]* @str, i64 0, i64 0))
%5 = load i8*, i8** %1
%6 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([36 x i8], [36 x i8]* @.str.3, i64 0, i64 0), i8* %5)
%7 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([33 x i8], [33 x i8]* @.str.4, i64 0, i64 0))
%8 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([46 x i8], [46 x i8]* @.str.5, i64 0, i64 0))
%9 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([43 x i8], [43 x i8]* @.str.6, i64 0, i64 0))
%10 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([47 x i8], [47 x i8]* @.str.7, i64 0, i64 0))
%11 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([43 x i8], [43 x i8]* @.str.8, i64 0, i64 0))
%12 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([48 x i8], [48 x i8]* @.str.9, i64 0, i64 0))
%13 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([48 x i8], [48 x i8]* @.str.10, i64 0, i64 0))
%14 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([52 x i8], [52 x i8]* @.str.11, i64 0, i64 0))
%15 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([50 x i8], [50 x i8]* @.str.12, i64 0, i64 0))
%16 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([38 x i8], [38 x i8]* @.str.13, i64 0, i64 0))
%17 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([49 x i8], [49 x i8]* @.str.14, i64 0, i64 0))
%18 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([39 x i8], [39 x i8]* @.str.15, i64 0, i64 0))
%19 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([46 x i8], [46 x i8]* @.str.16, i64 0, i64 0))
%20 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([30 x i8], [30 x i8]* @.str.17, i64 0, i64 0))
%21 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([47 x i8], [47 x i8]* @.str.18, i64 0, i64 0))
%22 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([65 x i8], [65 x i8]* @.str.19, i64 0, i64 0))
%23 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([54 x i8], [54 x i8]* @.str.20, i64 0, i64 0))
%24 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([63 x i8], [63 x i8]* @.str.21, i64 0, i64 0))
%25 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([53 x i8], [53 x i8]* @.str.22, i64 0, i64 0))
%26 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([54 x i8], [54 x i8]* @.str.23, i64 0, i64 0))
%27 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([45 x i8], [45 x i8]* @.str.24, i64 0, i64 0))
%28 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([49 x i8], [49 x i8]* @.str.25, i64 0, i64 0))
%29 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([44 x i8], [44 x i8]* @.str.26, i64 0, i64 0))
%30 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([40 x i8], [40 x i8]* @.str.27, i64 0, i64 0))
%31 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([58 x i8], [58 x i8]* @.str.28, i64 0, i64 0))
%32 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([42 x i8], [42 x i8]* @.str.29, i64 0, i64 0))
%33 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([51 x i8], [51 x i8]* @.str.30, i64 0, i64 0))
%34 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([57 x i8], [57 x i8]* @.str.31, i64 0, i64 0))
%35 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([58 x i8], [58 x i8]* @.str.32, i64 0, i64 0))
%36 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([36 x i8], [36 x i8]* @.str.33, i64 0, i64 0))
%37 = tail call i32 @putchar(i32 10)
ret void
}