#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 */
typedef int uint64_t;
typedef size_t ssize_t;

/* Variables and functions */
scalar_t__ ENOSPC;
int O_CREAT;
int O_TRUNC;
int O_WRONLY;
int PATH_MAX;
int S_IRUSR;
int S_IWUSR;
int /*<<< orphan*/ assert(int);
int /*<<< orphan*/ close(int);
int /*<<< orphan*/ err(scalar_t__, char *, char *);
scalar_t__ errno;
int /*<<< orphan*/ fflush(int /*<<< orphan*/);
int fill_buffer(void *, size_t, int);
int /*<<< orphan*/ free(void *);
void *malloc(size_t);
int open(char *, int, int);
int /*<<< orphan*/ printf(char *, ...);
int /*<<< orphan*/ snprintf(char *, int, char *, char const *, int);
int /*<<< orphan*/ stdout;
size_t write(int, void *, size_t);
int create_and_fill_file(const char *path, int number, size_t block_size,
                         size_t size) {
  char filename[PATH_MAX];
  int fd, fine;
  void *buf;
  uint64_t offset;
  size_t to_write;
  ssize_t written;
  assert(block_size % 512 == 0);
  assert(size % 512 == 0);
  snprintf(filename, PATH_MAX, "%s/%04i.fff", path, number + 1);
  printf("Creating file %04i.fff ...", number + 1);
  fflush(stdout);
  fd = open(filename, O_CREAT | O_WRONLY | O_TRUNC, S_IRUSR | S_IWUSR);
  if (fd < 0) {
    if (errno == ENOSPC) {
      printf(" No space left.\n");
      return 0;
    }
    err(errno, "Can't create file %s", filename);
  }
  assert(fd >= 0);
  buf = malloc(block_size);
  assert(buf);
  fine = 1;
  offset = (uint64_t)number * (1024 * 1024 * 1024);
  while (size > 0) {
    offset = fill_buffer(buf, block_size, offset);
    to_write = block_size <= size ? block_size : size;
    written = write(fd, buf, to_write);
    if (written < 0) {
      if (errno == ENOSPC) {
        fine = 0;
        break;
      } else
        err(errno, "Write to file %s failed", filename);
    }
    assert(written == to_write);
    size -= written;
  }
  assert(!fine || size == 0);
  free(buf);
  close(fd);
  printf(" OK!\n");
  return fine;
}


x86 assembly (clang, -O0):
<create_and_fill_file>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    0x2e0f(%rip),%rax
mov    (%rax),%eax
mov    %rsp,%rcx
mov    %rcx,-0x30(%rbp)
mov    %rax,%rdx
add    $0xf,%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x70(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x38(%rbp)
mov    -0x20(%rbp),%rax
and    $0x1ff,%rax
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1090 <assert@plt>
mov    -0x28(%rbp),%rax
and    $0x1ff,%rax
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1090 <assert@plt>
mov    -0x70(%rbp),%rdi
mov    0x2da9(%rip),%rax
mov    (%rax),%esi
mov    -0x10(%rbp),%rcx
mov    -0x14(%rbp),%r8d
add    $0x1,%r8d
lea    0xdb4(%rip),%rdx
call   1070 <snprintf@plt>
mov    -0x14(%rbp),%esi
add    $0x1,%esi
lea    0xdae(%rip),%rdi
mov    $0x0,%al
call   1060 <printf@plt>
mov    0x2d44(%rip),%rax
mov    (%rax),%edi
call   10c0 <fflush@plt>
mov    -0x70(%rbp),%rdi
mov    0x2d7a(%rip),%rax
mov    (%rax),%esi
mov    0x2d11(%rip),%rax
or     (%rax),%esi
mov    0x2d60(%rip),%rax
or     (%rax),%esi
mov    0x2d1f(%rip),%rax
mov    (%rax),%edx
mov    0x2d2e(%rip),%rax
or     (%rax),%edx
call   10d0 <open@plt>
mov    %eax,-0x3c(%rbp)
cmpl   $0x0,-0x3c(%rbp)
jge    130b <create_and_fill_file+0x15b>
mov    0x2d03(%rip),%rax
mov    (%rax),%rax
mov    0x2ce1(%rip),%rcx
cmp    (%rcx),%rax
jne    12f1 <create_and_fill_file+0x141>
lea    0xd50(%rip),%rdi
mov    $0x0,%al
call   1060 <printf@plt>
movl   $0x0,-0x4(%rbp)
movl   $0x1,-0x64(%rbp)
jmp    146d <create_and_fill_file+0x2bd>
mov    -0x70(%rbp),%rdx
mov    0x2cc4(%rip),%rax
mov    (%rax),%rdi
lea    0xd32(%rip),%rsi
call   10a0 <err@plt>
cmpl   $0x0,-0x3c(%rbp)
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1090 <assert@plt>
mov    -0x20(%rbp),%rdi
call   10b0 <malloc@plt>
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rax
mov    %eax,%edi
call   1090 <assert@plt>
movl   $0x1,-0x40(%rbp)
mov    -0x14(%rbp),%eax
shl    $0x1e,%eax
mov    %eax,-0x4c(%rbp)
cmpq   $0x0,-0x28(%rbp)
jbe    141a <create_and_fill_file+0x26a>
mov    -0x48(%rbp),%rdi
mov    -0x20(%rbp),%rsi
mov    -0x4c(%rbp),%edx
call   1040 <fill_buffer@plt>
mov    %eax,-0x4c(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x28(%rbp),%rax
ja     137d <create_and_fill_file+0x1cd>
mov    -0x20(%rbp),%rax
mov    %rax,-0x78(%rbp)
jmp    1385 <create_and_fill_file+0x1d5>
mov    -0x28(%rbp),%rax
mov    %rax,-0x78(%rbp)
mov    -0x78(%rbp),%rax
mov    %rax,-0x58(%rbp)
mov    -0x3c(%rbp),%edi
mov    -0x48(%rbp),%rsi
mov    -0x58(%rbp),%rdx
call   1050 <write@plt>
mov    %rax,-0x60(%rbp)
cmpq   $0x0,-0x60(%rbp)
jae    13f1 <create_and_fill_file+0x241>
mov    0x2c0d(%rip),%rax
mov    (%rax),%rax
mov    0x2beb(%rip),%rcx
cmp    (%rcx),%rax
jne    13d2 <create_and_fill_file+0x222>
movl   $0x0,-0x40(%rbp)
jmp    141a <create_and_fill_file+0x26a>
mov    -0x70(%rbp),%rdx
mov    0x2be3(%rip),%rax
mov    (%rax),%rdi
lea    0xc66(%rip),%rsi
call   10a0 <err@plt>
jmp    13f1 <create_and_fill_file+0x241>
mov    -0x60(%rbp),%rax
cmp    -0x58(%rbp),%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1090 <assert@plt>
mov    -0x60(%rbp),%rcx
mov    -0x28(%rbp),%rax
sub    %rcx,%rax
mov    %rax,-0x28(%rbp)
jmp    1344 <create_and_fill_file+0x194>
mov    $0x1,%al
cmpl   $0x0,-0x40(%rbp)
mov    %al,-0x79(%rbp)
je     1434 <create_and_fill_file+0x284>
cmpq   $0x0,-0x28(%rbp)
sete   %al
mov    %al,-0x79(%rbp)
mov    -0x79(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1090 <assert@plt>
mov    -0x48(%rbp),%rdi
call   1030 <free@plt>
mov    -0x3c(%rbp),%edi
call   1080 <close@plt>
lea    0xc0c(%rip),%rdi
mov    $0x0,%al
call   1060 <printf@plt>
mov    -0x40(%rbp),%eax
mov    %eax,-0x4(%rbp)
movl   $0x1,-0x64(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,%rsp
mov    -0x4(%rbp),%eax
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<create_and_fill_file>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rcx,%r13
mov    %rdx,%r12
mov    %esi,%r15d
mov    %rdi,-0x38(%rbp)
mov    0x2dfb(%rip),%r14
mov    (%r14),%eax
mov    %rsp,%rbx
add    $0xf,%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%rbx
mov    %rbx,%rsp
xor    %edi,%edi
test   $0x1ff,%r12d
sete   %dil
call   10a0 <assert@plt>
xor    %edi,%edi
test   $0x1ff,%r13d
sete   %dil
call   10a0 <assert@plt>
mov    (%r14),%esi
lea    0x1(%r15),%r14d
lea    0xdd5(%rip),%rdx
mov    %rbx,%rdi
mov    -0x38(%rbp),%rcx
mov    %r14d,%r8d
call   1080 <snprintf@plt>
lea    0xdcb(%rip),%rdi
mov    %r14d,%esi
xor    %eax,%eax
call   1070 <printf@plt>
mov    0x2d5e(%rip),%rax
mov    (%rax),%edi
call   10d0 <fflush@plt>
mov    0x2d98(%rip),%rax
mov    0x2d31(%rip),%rcx
mov    (%rcx),%esi
or     (%rax),%esi
mov    0x2d7e(%rip),%rax
or     (%rax),%esi
mov    0x2d3d(%rip),%rax
mov    0x2d4e(%rip),%rcx
mov    (%rcx),%edx
or     (%rax),%edx
mov    %rbx,%rdi
call   10e0 <open@plt>
mov    %eax,%r14d
test   %eax,%eax
jns    12c9 <create_and_fill_file+0x109>
mov    0x2d24(%rip),%rax
mov    (%rax),%rdi
mov    0x2d02(%rip),%rax
cmp    (%rax),%rdi
jne    12ba <create_and_fill_file+0xfa>
lea    0xd8f(%rip),%rdi
xor    %r14d,%r14d
jmp    1371 <create_and_fill_file+0x1b1>
lea    0xd66(%rip),%rsi
mov    %rbx,%rdx
call   10b0 <err@plt>
mov    %r14d,%edi
not    %edi
shr    $0x1f,%edi
call   10a0 <assert@plt>
mov    %r12,%rdi
call   10c0 <malloc@plt>
mov    %rax,%rbx
mov    %ebx,%edi
call   10a0 <assert@plt>
test   %r13,%r13
mov    %r14d,-0x2c(%rbp)
je     134a <create_and_fill_file+0x18a>
shl    $0x1e,%r15d
cs nopw 0x0(%rax,%rax,1)
nop
mov    %rbx,%rdi
mov    %r12,%rsi
mov    %r15d,%edx
call   1040 <fill_buffer@plt>
mov    %rax,-0x38(%rbp)
cmp    %r12,%r13
mov    %r12,%r14
cmovb  %r13,%r14
mov    -0x2c(%rbp),%edi
mov    %rbx,%rsi
mov    %r14,%rdx
call   1060 <write@plt>
mov    %r12,%r15
mov    %rax,%r12
xor    %edi,%edi
cmp    %r14,%rax
sete   %dil
call   10a0 <assert@plt>
sub    %r12,%r13
mov    %r15,%r12
mov    -0x38(%rbp),%r15
jne    1300 <create_and_fill_file+0x140>
mov    $0x1,%r14d
mov    $0x1,%edi
call   10a0 <assert@plt>
mov    %rbx,%rdi
call   1030 <free@plt>
mov    -0x2c(%rbp),%edi
call   1090 <close@plt>
lea    0xccb(%rip),%rdi
call   1050 <puts@plt>
mov    %r14d,%eax
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@PATH_MAX = global i32 0
@.str = [12 x i8] c"%s/%04i.fff\00"
@.str.1 = [27 x i8] c"Creating file %04i.fff ...\00"
@stdout = global i32 0
@O_CREAT = global i32 0
@O_WRONLY = global i32 0
@O_TRUNC = global i32 0
@S_IRUSR = global i32 0
@S_IWUSR = global i32 0
@errno = global i64 0
@ENOSPC = global i64 0
@.str.2 = [17 x i8] c" No space left.\0A\00"
@.str.3 = [21 x i8] c"Can't create file %s\00"
@.str.4 = [24 x i8] c"Write to file %s failed\00"
@.str.5 = [6 x i8] c" OK!\0A\00"
define i32 @create_and_fill_file(i8* %0, i32 %1, i64 %2, i64 %3) {
%5 = alloca i32
%6 = alloca i8*
%7 = alloca i32
%8 = alloca i64
%9 = alloca i64
%10 = alloca i8*
%11 = alloca i64
%12 = alloca i32
%13 = alloca i32
%14 = alloca i8*
%15 = alloca i32
%16 = alloca i64
%17 = alloca i64
%18 = alloca i32
store i8* %0, i8** %6
store i32 %1, i32* %7
store i64 %2, i64* %8
store i64 %3, i64* %9
%19 = load i32, i32* @PATH_MAX
%20 = zext i32 %19 to i64
%21 = call i8* @llvm.stacksave()
store i8* %21, i8** %10
%22 = alloca i8, i64 %20
store i64 %20, i64* %11
%23 = load i64, i64* %8
%24 = urem i64 %23, 512
%25 = icmp eq i64 %24, 0
%26 = zext i1 %25 to i32
%27 = call i32 @assert(i32 %26)
%28 = load i64, i64* %9
%29 = urem i64 %28, 512
%30 = icmp eq i64 %29, 0
%31 = zext i1 %30 to i32
%32 = call i32 @assert(i32 %31)
%33 = load i32, i32* @PATH_MAX
%34 = load i8*, i8** %6
%35 = load i32, i32* %7
%36 = add nsw i32 %35, 1
%37 = call i32 @snprintf(i8* %22, i32 %33, i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str, i64 0, i64 0), i8* %34, i32 %36)
%38 = load i32, i32* %7
%39 = add nsw i32 %38, 1
%40 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.1, i64 0, i64 0), i32 %39)
%41 = load i32, i32* @stdout
%42 = call i32 @fflush(i32 %41)
%43 = load i32, i32* @O_CREAT
%44 = load i32, i32* @O_WRONLY
%45 = or i32 %43, %44
%46 = load i32, i32* @O_TRUNC
%47 = or i32 %45, %46
%48 = load i32, i32* @S_IRUSR
%49 = load i32, i32* @S_IWUSR
%50 = or i32 %48, %49
%51 = call i32 @open(i8* %22, i32 %47, i32 %50)
store i32 %51, i32* %12
%52 = load i32, i32* %12
%53 = icmp slt i32 %52, 0
br i1 %53, label %54, label %63
54: ; preds = %4
%55 = load i64, i64* @errno
%56 = load i64, i64* @ENOSPC
%57 = icmp eq i64 %55, %56
br i1 %57, label %58, label %60
58: ; preds = %54
%59 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.2, i64 0, i64 0))
store i32 0, i32* %5
store i32 1, i32* %18
br label %132
60: ; preds = %54
%61 = load i64, i64* @errno
%62 = call i32 @err(i64 %61, i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.3, i64 0, i64 0), i8* %22)
br label %63
63: ; preds = %60, %4
%64 = load i32, i32* %12
%65 = icmp sge i32 %64, 0
%66 = zext i1 %65 to i32
%67 = call i32 @assert(i32 %66)
%68 = load i64, i64* %8
%69 = call i8* @malloc(i64 %68)
store i8* %69, i8** %14
%70 = load i8*, i8** %14
%71 = ptrtoint i8* %70 to i32
%72 = call i32 @assert(i32 %71)
store i32 1, i32* %13
%73 = load i32, i32* %7
%74 = mul nsw i32 %73, 1073741824
store i32 %74, i32* %15
br label %75
75: ; preds = %107, %63
%76 = load i64, i64* %9
%77 = icmp ugt i64 %76, 0
br i1 %77, label %78, label %116
78: ; preds = %75
%79 = load i8*, i8** %14
%80 = load i64, i64* %8
%81 = load i32, i32* %15
%82 = call i32 @fill_buffer(i8* %79, i64 %80, i32 %81)
store i32 %82, i32* %15
%83 = load i64, i64* %8
%84 = load i64, i64* %9
%85 = icmp ule i64 %83, %84
br i1 %85, label %86, label %88
86: ; preds = %78
%87 = load i64, i64* %8
br label %90
88: ; preds = %78
%89 = load i64, i64* %9
br label %90
90: ; preds = %88, %86
%91 = phi i64 [ %87, %86 ], [ %89, %88 ]
store i64 %91, i64* %16
%92 = load i32, i32* %12
%93 = load i8*, i8** %14
%94 = load i64, i64* %16
%95 = call i64 @write(i32 %92, i8* %93, i64 %94)
store i64 %95, i64* %17
%96 = load i64, i64* %17
%97 = icmp ult i64 %96, 0
br i1 %97, label %98, label %107
98: ; preds = %90
%99 = load i64, i64* @errno
%100 = load i64, i64* @ENOSPC
%101 = icmp eq i64 %99, %100
br i1 %101, label %102, label %103
102: ; preds = %98
store i32 0, i32* %13
br label %116
103: ; preds = %98
%104 = load i64, i64* @errno
%105 = call i32 @err(i64 %104, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.4, i64 0, i64 0), i8* %22)
br label %106
106: ; preds = %103
br label %107
107: ; preds = %106, %90
%108 = load i64, i64* %17
%109 = load i64, i64* %16
%110 = icmp eq i64 %108, %109
%111 = zext i1 %110 to i32
%112 = call i32 @assert(i32 %111)
%113 = load i64, i64* %17
%114 = load i64, i64* %9
%115 = sub i64 %114, %113
store i64 %115, i64* %9
br label %75
116: ; preds = %102, %75
%117 = load i32, i32* %13
%118 = icmp ne i32 %117, 0
br i1 %118, label %119, label %122
119: ; preds = %116
%120 = load i64, i64* %9
%121 = icmp eq i64 %120, 0
br label %122
122: ; preds = %119, %116
%123 = phi i1 [ true, %116 ], [ %121, %119 ]
%124 = zext i1 %123 to i32
%125 = call i32 @assert(i32 %124)
%126 = load i8*, i8** %14
%127 = call i32 @free(i8* %126)
%128 = load i32, i32* %12
%129 = call i32 @close(i32 %128)
%130 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.5, i64 0, i64 0))
%131 = load i32, i32* %13
store i32 %131, i32* %5
store i32 1, i32* %18
br label %132
132: ; preds = %122, %58
%133 = load i8*, i8** %10
%134 = load i32, i32* %5
ret i32 %134
}

LLVM IR (-O2):
@PATH_MAX = global i32 0
@.str = [12 x i8] c"%s/%04i.fff\00"
@.str.1 = [27 x i8] c"Creating file %04i.fff ...\00"
@stdout = global i32 0
@O_CREAT = global i32 0
@O_WRONLY = global i32 0
@O_TRUNC = global i32 0
@S_IRUSR = global i32 0
@S_IWUSR = global i32 0
@errno = global i64 0
@ENOSPC = global i64 0
@.str.3 = [21 x i8] c"Can't create file %s\00"
@str = [5 x i8] c" OK!\00"
@str.6 = [16 x i8] c" No space left.\00"
define i32 @create_and_fill_file(i8* %0, i32 %1, i64 %2, i64 %3) {
%5 = load i32, i32* @PATH_MAX
%6 = zext i32 %5 to i64
%7 = alloca i8, i64 %6
%8 = and i64 %2, 511
%9 = icmp eq i64 %8, 0
%10 = zext i1 %9 to i32
%11 = tail call i32 @assert(i32 %10)
%12 = and i64 %3, 511
%13 = icmp eq i64 %12, 0
%14 = zext i1 %13 to i32
%15 = tail call i32 @assert(i32 %14)
%16 = load i32, i32* @PATH_MAX
%17 = add nsw i32 %1, 1
%18 = call i32 @snprintf(i8* %7, i32 %16, i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str, i64 0, i64 0), i8* %0, i32 %17)
%19 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([27 x i8], [27 x i8]* @.str.1, i64 0, i64 0), i32 %17)
%20 = load i32, i32* @stdout
%21 = call i32 @fflush(i32 %20)
%22 = load i32, i32* @O_CREAT
%23 = load i32, i32* @O_WRONLY
%24 = or i32 %23, %22
%25 = load i32, i32* @O_TRUNC
%26 = or i32 %24, %25
%27 = load i32, i32* @S_IRUSR
%28 = load i32, i32* @S_IWUSR
%29 = or i32 %28, %27
%30 = call i32 @open(i8* %7, i32 %26, i32 %29)
%31 = icmp slt i32 %30, 0
br i1 %31, label %32, label %38
32: ; preds = %4
%33 = load i64, i64* @errno
%34 = load i64, i64* @ENOSPC
%35 = icmp eq i64 %33, %34
br i1 %35, label %65, label %36
36: ; preds = %32
%37 = call i32 @err(i64 %33, i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.3, i64 0, i64 0), i8* %7)
br label %38
38: ; preds = %36, %4
%39 = xor i32 %30, -1
%40 = lshr i32 %39, 31
%41 = call i32 @assert(i32 %40)
%42 = call i8* @malloc(i64 %2)
%43 = ptrtoint i8* %42 to i64
%44 = trunc i64 %43 to i32
%45 = call i32 @assert(i32 %44)
%46 = icmp eq i64 %3, 0
br i1 %46, label %61, label %47
47: ; preds = %38
%48 = shl nsw i32 %1, 30
br label %49
49: ; preds = %47, %49
%50 = phi i64 [ %59, %49 ], [ %3, %47 ]
%51 = phi i32 [ %52, %49 ], [ %48, %47 ]
%52 = call i32 @fill_buffer(i8* %42, i64 %2, i32 %51)
%53 = icmp ult i64 %50, %2
%54 = select i1 %53, i64 %50, i64 %2
%55 = call i64 @write(i32 %30, i8* %42, i64 %54)
%56 = icmp eq i64 %55, %54
%57 = zext i1 %56 to i32
%58 = call i32 @assert(i32 %57)
%59 = sub i64 %50, %55
%60 = icmp eq i64 %59, 0
br i1 %60, label %61, label %49
61: ; preds = %49, %38
%62 = call i32 @assert(i32 1)
%63 = call i32 @free(i8* %42)
%64 = call i32 @close(i32 %30)
br label %65
65: ; preds = %32, %61
%66 = phi i8* [ getelementptr inbounds ([5 x i8], [5 x i8]* @str, i64 0, i64 0), %61 ], [ getelementptr inbounds ([16 x i8], [16 x i8]* @str.6, i64 0, i64 0), %32 ]
%67 = phi i32 [ 1, %61 ], [ 0, %32 ]
%68 = call i32 @puts(i8* dereferenceable(1) %66)
ret i32 %67
}