#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 usage(const char *argv0) {
  printf("Usage: %s [options] device\n", argv0);
  printf("Supported options:\n");
  printf("-B, --buffer-type		Buffer type (\"capture\", "
         "\"output\",\n");
  printf("                                \"capture-mplane\" or "
         "\"output-mplane\")\n");
  printf("-c, --capture[=nframes]		Capture frames\n");
  printf("-C, --check-overrun		Verify dequeued frames for buffer "
         "overrun\n");
  printf("-d, --delay			Delay (in ms) before requeuing "
         "buffers\n");
  printf("-f, --format format		Set the video format\n");
  printf("-F, --file[=name]		Read/write frames from/to disk\n");
  printf("\tFor video capture devices, the first '#' character in the file "
         "name is\n");
  printf("\texpanded to the frame sequence number. The default file name is\n");
  printf("\t'frame-#.bin'.\n");
  printf("-h, --help			Show this help screen\n");
  printf("-i, --input input		Select the video input\n");
  printf("-I, --fill-frames		Fill frames with check pattern before "
         "queuing them\n");
  printf("-l, --list-controls		List available controls\n");
  printf("-n, --nbufs n			Set the number of video buffers\n");
  printf("-p, --pause			Pause before starting the video "
         "stream\n");
  printf("-q, --quality n			MJPEG quality (0-100)\n");
  printf("-r, --get-control ctrl		Get control 'ctrl'\n");
  printf("-R, --realtime=[priority]	Enable realtime RR scheduling\n");
  printf("-s, --size WxH			Set the frame size\n");
  printf("-t, --time-per-frame num/denom	Set the time per frame (eg. "
         "1/25 = 25 fps)\n");
  printf("-u, --userptr			Use the user pointers streaming "
         "method\n");
  printf("-w, --set-control 'ctrl value'	Set control 'ctrl' to "
         "'value'\n");
  printf("    --enum-formats		Enumerate formats\n");
  printf("    --enum-inputs		Enumerate inputs\n");
  printf("    --fd                        Use a numeric file descriptor insted "
         "of a device\n");
  printf("    --field			Interlaced format field order\n");
  printf("    --log-status		Log device status\n");
  printf("    --no-query			Don't query capabilities on "
         "open\n");
  printf("    --offset			User pointer buffer offset from page "
         "start\n");
  printf("    --requeue-last		Requeue the last buffers before "
         "streamoff\n");
  printf("    --timestamp-source		Set timestamp source on output "
         "buffers [eof, soe]\n");
  printf("    --skip n			Skip the first n frames\n");
  printf("    --sleep-forever		Sleep forever after configuring the "
         "device\n");
  printf("    --stride value		Line stride in bytes\n");
}


x86 assembly (clang, -O0):
<usage>:
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    0xee7(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xeed(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xf15(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xf4d(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xf68(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xf9a(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xfc2(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xfdf(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1004(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x103f(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1073(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1076(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x108c(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x10a9(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x10e2(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1102(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1125(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x114d(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1168(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1186(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x11b1(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x11c8(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1205(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x122f(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x125f(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1278(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x128f(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x12d3(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x12f2(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1309(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x132e(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x135b(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x138c(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x13c9(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x13e3(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1416(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<usage>:
push   %rax
mov    %rdi,%rsi
lea    0xed5(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
lea    0xee3(%rip),%rdi
call   1030 <puts@plt>
lea    0xeea(%rip),%rdi
call   1030 <puts@plt>
lea    0xf13(%rip),%rdi
call   1030 <puts@plt>
lea    0xf4c(%rip),%rdi
call   1030 <puts@plt>
lea    0xf68(%rip),%rdi
call   1030 <puts@plt>
lea    0xf9b(%rip),%rdi
call   1030 <puts@plt>
lea    0xfc4(%rip),%rdi
call   1030 <puts@plt>
lea    0xfe2(%rip),%rdi
call   1030 <puts@plt>
lea    0x1008(%rip),%rdi
call   1030 <puts@plt>
lea    0x1044(%rip),%rdi
call   1030 <puts@plt>
lea    0x1079(%rip),%rdi
call   1030 <puts@plt>
lea    0x107d(%rip),%rdi
call   1030 <puts@plt>
lea    0x1094(%rip),%rdi
call   1030 <puts@plt>
lea    0x10b2(%rip),%rdi
call   1030 <puts@plt>
lea    0x10ec(%rip),%rdi
call   1030 <puts@plt>
lea    0x110d(%rip),%rdi
call   1030 <puts@plt>
lea    0x1131(%rip),%rdi
call   1030 <puts@plt>
lea    0x115a(%rip),%rdi
call   1030 <puts@plt>
lea    0x1176(%rip),%rdi
call   1030 <puts@plt>
lea    0x1195(%rip),%rdi
call   1030 <puts@plt>
lea    0x11c1(%rip),%rdi
call   1030 <puts@plt>
lea    0x11d9(%rip),%rdi
call   1030 <puts@plt>
lea    0x1217(%rip),%rdi
call   1030 <puts@plt>
lea    0x1242(%rip),%rdi
call   1030 <puts@plt>
lea    0x1273(%rip),%rdi
call   1030 <puts@plt>
lea    0x128d(%rip),%rdi
call   1030 <puts@plt>
lea    0x12a5(%rip),%rdi
call   1030 <puts@plt>
lea    0x12ea(%rip),%rdi
call   1030 <puts@plt>
lea    0x130a(%rip),%rdi
call   1030 <puts@plt>
lea    0x1322(%rip),%rdi
call   1030 <puts@plt>
lea    0x1348(%rip),%rdi
call   1030 <puts@plt>
lea    0x1376(%rip),%rdi
call   1030 <puts@plt>
lea    0x13a8(%rip),%rdi
call   1030 <puts@plt>
lea    0x13e6(%rip),%rdi
call   1030 <puts@plt>
lea    0x1401(%rip),%rdi
call   1030 <puts@plt>
lea    0x1435(%rip),%rdi
pop    %rax
jmp    1030 <puts@plt>

LLVM IR (-O0):
@.str = [28 x i8] c"Usage: %s [options] device\0A\00"
@.str.1 = [20 x i8] c"Supported options:\0A\00"
@.str.2 = [54 x i8] c"-B, --buffer-type\09\09Buffer type (\22capture\22, \22output\22,\0A\00"
@.str.3 = [70 x i8] c" \22capture-mplane\22 or \22output-mplane\22)\0A\00"
@.str.4 = [41 x i8] c"-c, --capture[=nframes]\09\09Capture frames\0A\00"
@.str.5 = [64 x i8] c"-C, --check-overrun\09\09Verify dequeued frames for buffer overrun\0A\00"
@.str.6 = [54 x i8] c"-d, --delay\09\09\09Delay (in ms) before requeuing buffers\0A\00"
@.str.7 = [43 x i8] c"-f, --format format\09\09Set the video format\0A\00"
@.str.8 = [51 x i8] c"-F, --file[=name]\09\09Read/write frames from/to disk\0A\00"
@.str.9 = [73 x i8] c"\09For video capture devices, the first '#' character in the file name is\0A\00"
@.str.10 = [66 x i8] c"\09expanded to the frame sequence number. The default file name is\0A\00"
@.str.11 = [17 x i8] c"\09'frame-#.bin'.\0A\00"
@.str.12 = [36 x i8] c"-h, --help\09\09\09Show this help screen\0A\00"
@.str.13 = [43 x i8] c"-i, --input input\09\09Select the video input\0A\00"
@.str.14 = [71 x i8] c"-I, --fill-frames\09\09Fill frames with check pattern before queuing them\0A\00"
@.str.15 = [46 x i8] c"-l, --list-controls\09\09List available controls\0A\00"
@.str.16 = [49 x i8] c"-n, --nbufs n\09\09\09Set the number of video buffers\0A\00"
@.str.17 = [54 x i8] c"-p, --pause\09\09\09Pause before starting the video stream\0A\00"
@.str.18 = [41 x i8] c"-q, --quality n\09\09\09MJPEG quality (0-100)\0A\00"
@.str.19 = [44 x i8] c"-r, --get-control ctrl\09\09Get control 'ctrl'\0A\00"
@.str.20 = [57 x i8] c"-R, --realtime=[priority]\09Enable realtime RR scheduling\0A\00"
@.str.21 = [37 x i8] c"-s, --size WxH\09\09\09Set the frame size\0A\00"
@.str.22 = [75 x i8] c"-t, --time-per-frame num/denom\09Set the time per frame (eg. 1/25 = 25 fps)\0A\00"
@.str.23 = [56 x i8] c"-u, --userptr\09\09\09Use the user pointers streaming method\0A\00"
@.str.24 = [62 x i8] c"-w, --set-control 'ctrl value'\09Set control 'ctrl' to 'value'\0A\00"
@.str.25 = [39 x i8] c" --enum-formats\09\09Enumerate formats\0A\00"
@.str.26 = [37 x i8] c" --enum-inputs\09\09Enumerate inputs\0A\00"
@.str.27 = [82 x i8] c" --fd Use a numeric file descriptor insted of a device\0A\00"
@.str.28 = [45 x i8] c" --field\09\09\09Interlaced format field order\0A\00"
@.str.29 = [37 x i8] c" --log-status\09\09Log device status\0A\00"
@.str.30 = [51 x i8] c" --no-query\09\09\09Don't query capabilities on open\0A\00"
@.str.31 = [59 x i8] c" --offset\09\09\09User pointer buffer offset from page start\0A\00"
@.str.32 = [63 x i8] c" --requeue-last\09\09Requeue the last buffers before streamoff\0A\00"
@.str.33 = [75 x i8] c" --timestamp-source\09\09Set timestamp source on output buffers [eof, soe]\0A\00"
@.str.34 = [40 x i8] c" --skip n\09\09\09Skip the first n frames\0A\00"
@.str.35 = [65 x i8] c" --sleep-forever\09\09Sleep forever after configuring the device\0A\00"
@.str.36 = [42 x i8] c" --stride value\09\09Line stride in bytes\0A\00"
define void @usage(i8* %0) {
%2 = alloca i8*
store i8* %0, i8** %2
%3 = load i8*, i8** %2
%4 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str, i64 0, i64 0), i8* %3)
%5 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.1, i64 0, i64 0))
%6 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([54 x i8], [54 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 ([41 x i8], [41 x i8]* @.str.4, i64 0, i64 0))
%9 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([64 x i8], [64 x i8]* @.str.5, i64 0, i64 0))
%10 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([54 x i8], [54 x i8]* @.str.6, i64 0, i64 0))
%11 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([43 x i8], [43 x i8]* @.str.7, i64 0, i64 0))
%12 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([51 x i8], [51 x i8]* @.str.8, i64 0, i64 0))
%13 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([73 x i8], [73 x i8]* @.str.9, i64 0, i64 0))
%14 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([66 x i8], [66 x i8]* @.str.10, i64 0, i64 0))
%15 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.11, i64 0, i64 0))
%16 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.12, i64 0, i64 0))
%17 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([43 x i8], [43 x i8]* @.str.13, i64 0, i64 0))
%18 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([71 x i8], [71 x i8]* @.str.14, i64 0, i64 0))
%19 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str.15, i64 0, i64 0))
%20 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([49 x i8], [49 x i8]* @.str.16, i64 0, i64 0))
%21 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([54 x i8], [54 x i8]* @.str.17, i64 0, i64 0))
%22 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([41 x i8], [41 x i8]* @.str.18, i64 0, i64 0))
%23 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.19, i64 0, i64 0))
%24 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([57 x i8], [57 x i8]* @.str.20, i64 0, i64 0))
%25 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str.21, i64 0, i64 0))
%26 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([75 x i8], [75 x i8]* @.str.22, i64 0, i64 0))
%27 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([56 x i8], [56 x i8]* @.str.23, i64 0, i64 0))
%28 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([62 x i8], [62 x i8]* @.str.24, i64 0, i64 0))
%29 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([39 x i8], [39 x i8]* @.str.25, i64 0, i64 0))
%30 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str.26, i64 0, i64 0))
%31 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([82 x i8], [82 x i8]* @.str.27, i64 0, i64 0))
%32 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([45 x i8], [45 x i8]* @.str.28, i64 0, i64 0))
%33 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str.29, i64 0, i64 0))
%34 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([51 x i8], [51 x i8]* @.str.30, i64 0, i64 0))
%35 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([59 x i8], [59 x i8]* @.str.31, i64 0, i64 0))
%36 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([63 x i8], [63 x i8]* @.str.32, i64 0, i64 0))
%37 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([75 x i8], [75 x i8]* @.str.33, i64 0, i64 0))
%38 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.34, i64 0, i64 0))
%39 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([65 x i8], [65 x i8]* @.str.35, i64 0, i64 0))
%40 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str.36, i64 0, i64 0))
ret void
}

LLVM IR (-O2):
@.str = [28 x i8] c"Usage: %s [options] device\0A\00"
@str = [19 x i8] c"Supported options:\00"
@str.37 = [53 x i8] c"-B, --buffer-type\09\09Buffer type (\22capture\22, \22output\22,\00"
@str.38 = [69 x i8] c" \22capture-mplane\22 or \22output-mplane\22)\00"
@str.39 = [40 x i8] c"-c, --capture[=nframes]\09\09Capture frames\00"
@str.40 = [63 x i8] c"-C, --check-overrun\09\09Verify dequeued frames for buffer overrun\00"
@str.41 = [53 x i8] c"-d, --delay\09\09\09Delay (in ms) before requeuing buffers\00"
@str.42 = [42 x i8] c"-f, --format format\09\09Set the video format\00"
@str.43 = [50 x i8] c"-F, --file[=name]\09\09Read/write frames from/to disk\00"
@str.44 = [72 x i8] c"\09For video capture devices, the first '#' character in the file name is\00"
@str.45 = [65 x i8] c"\09expanded to the frame sequence number. The default file name is\00"
@str.46 = [16 x i8] c"\09'frame-#.bin'.\00"
@str.47 = [35 x i8] c"-h, --help\09\09\09Show this help screen\00"
@str.48 = [42 x i8] c"-i, --input input\09\09Select the video input\00"
@str.49 = [70 x i8] c"-I, --fill-frames\09\09Fill frames with check pattern before queuing them\00"
@str.50 = [45 x i8] c"-l, --list-controls\09\09List available controls\00"
@str.51 = [48 x i8] c"-n, --nbufs n\09\09\09Set the number of video buffers\00"
@str.52 = [53 x i8] c"-p, --pause\09\09\09Pause before starting the video stream\00"
@str.53 = [40 x i8] c"-q, --quality n\09\09\09MJPEG quality (0-100)\00"
@str.54 = [43 x i8] c"-r, --get-control ctrl\09\09Get control 'ctrl'\00"
@str.55 = [56 x i8] c"-R, --realtime=[priority]\09Enable realtime RR scheduling\00"
@str.56 = [36 x i8] c"-s, --size WxH\09\09\09Set the frame size\00"
@str.57 = [74 x i8] c"-t, --time-per-frame num/denom\09Set the time per frame (eg. 1/25 = 25 fps)\00"
@str.58 = [55 x i8] c"-u, --userptr\09\09\09Use the user pointers streaming method\00"
@str.59 = [61 x i8] c"-w, --set-control 'ctrl value'\09Set control 'ctrl' to 'value'\00"
@str.60 = [38 x i8] c" --enum-formats\09\09Enumerate formats\00"
@str.61 = [36 x i8] c" --enum-inputs\09\09Enumerate inputs\00"
@str.62 = [81 x i8] c" --fd Use a numeric file descriptor insted of a device\00"
@str.63 = [44 x i8] c" --field\09\09\09Interlaced format field order\00"
@str.64 = [36 x i8] c" --log-status\09\09Log device status\00"
@str.65 = [50 x i8] c" --no-query\09\09\09Don't query capabilities on open\00"
@str.66 = [58 x i8] c" --offset\09\09\09User pointer buffer offset from page start\00"
@str.67 = [62 x i8] c" --requeue-last\09\09Requeue the last buffers before streamoff\00"
@str.68 = [74 x i8] c" --timestamp-source\09\09Set timestamp source on output buffers [eof, soe]\00"
@str.69 = [39 x i8] c" --skip n\09\09\09Skip the first n frames\00"
@str.70 = [64 x i8] c" --sleep-forever\09\09Sleep forever after configuring the device\00"
@str.71 = [41 x i8] c" --stride value\09\09Line stride in bytes\00"
define void @usage(i8* %0) {
%2 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([28 x i8], [28 x i8]* @.str, i64 0, i64 0), i8* %0)
%3 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([19 x i8], [19 x i8]* @str, i64 0, i64 0))
%4 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([53 x i8], [53 x i8]* @str.37, i64 0, i64 0))
%5 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([69 x i8], [69 x i8]* @str.38, i64 0, i64 0))
%6 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([40 x i8], [40 x i8]* @str.39, i64 0, i64 0))
%7 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([63 x i8], [63 x i8]* @str.40, i64 0, i64 0))
%8 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([53 x i8], [53 x i8]* @str.41, i64 0, i64 0))
%9 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([42 x i8], [42 x i8]* @str.42, i64 0, i64 0))
%10 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([50 x i8], [50 x i8]* @str.43, i64 0, i64 0))
%11 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([72 x i8], [72 x i8]* @str.44, i64 0, i64 0))
%12 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([65 x i8], [65 x i8]* @str.45, i64 0, i64 0))
%13 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([16 x i8], [16 x i8]* @str.46, i64 0, i64 0))
%14 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([35 x i8], [35 x i8]* @str.47, i64 0, i64 0))
%15 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([42 x i8], [42 x i8]* @str.48, i64 0, i64 0))
%16 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([70 x i8], [70 x i8]* @str.49, i64 0, i64 0))
%17 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([45 x i8], [45 x i8]* @str.50, i64 0, i64 0))
%18 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([48 x i8], [48 x i8]* @str.51, i64 0, i64 0))
%19 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([53 x i8], [53 x i8]* @str.52, i64 0, i64 0))
%20 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([40 x i8], [40 x i8]* @str.53, i64 0, i64 0))
%21 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([43 x i8], [43 x i8]* @str.54, i64 0, i64 0))
%22 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([56 x i8], [56 x i8]* @str.55, i64 0, i64 0))
%23 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([36 x i8], [36 x i8]* @str.56, i64 0, i64 0))
%24 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([74 x i8], [74 x i8]* @str.57, i64 0, i64 0))
%25 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([55 x i8], [55 x i8]* @str.58, i64 0, i64 0))
%26 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([61 x i8], [61 x i8]* @str.59, i64 0, i64 0))
%27 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([38 x i8], [38 x i8]* @str.60, i64 0, i64 0))
%28 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([36 x i8], [36 x i8]* @str.61, i64 0, i64 0))
%29 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([81 x i8], [81 x i8]* @str.62, i64 0, i64 0))
%30 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([44 x i8], [44 x i8]* @str.63, i64 0, i64 0))
%31 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([36 x i8], [36 x i8]* @str.64, i64 0, i64 0))
%32 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([50 x i8], [50 x i8]* @str.65, i64 0, i64 0))
%33 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([58 x i8], [58 x i8]* @str.66, i64 0, i64 0))
%34 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([62 x i8], [62 x i8]* @str.67, i64 0, i64 0))
%35 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([74 x i8], [74 x i8]* @str.68, i64 0, i64 0))
%36 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([39 x i8], [39 x i8]* @str.69, i64 0, i64 0))
%37 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([64 x i8], [64 x i8]* @str.70, i64 0, i64 0))
%38 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([41 x i8], [41 x i8]* @str.71, i64 0, i64 0))
ret void
}