#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 ssize_t;
typedef int mode_t;

/* Variables and functions */
int /*<<< orphan*/ EXIT_FAILURE;
int O_CREAT;
int O_RDWR;
int /*<<< orphan*/ SEEK_SET;
int S_IRGRP;
int S_IROTH;
int S_IRUSR;
int S_IWUSR;
double **array2d(int, int);
int /*<<< orphan*/ assert(int);
int /*<<< orphan*/ close(int);
int /*<<< orphan*/ exit(int /*<<< orphan*/);
int /*<<< orphan*/ fillarray2d(double **, int, int);
int /*<<< orphan*/ fprintf(int /*<<< orphan*/, char *, int);
int /*<<< orphan*/ lseek(int, int /*<<< orphan*/, int /*<<< orphan*/);
int open(char *, int, int);
int /*<<< orphan*/ printarray2d(double **, int, int);
int read(int, double *, int);
int /*<<< orphan*/ stdout;
int write(int, double *, int);
int main(int argc, char **argv) {
  double **bw;
  double **br;
  int fd;
  int oflag = O_CREAT | O_RDWR;
  mode_t mode = S_IRUSR | S_IWUSR | S_IRGRP | S_IROTH;
  int i, j;
  ssize_t ret, total;
  assert(argc == 2);
  fd = open(argv[1], oflag, mode);
  assert(fd > -1);
  bw = array2d(8, 8);
  fillarray2d(bw, 8, 8);
  total = 0;
  for (i = 0; i < 8; i++) {
    ret = write(fd, bw[i], 8 * sizeof(double));
    assert(ret > -1);
    total += ret;
  }
  fprintf(stdout, "%ld bytes written.\n", total);
  br = array2d(8, 8);
  total = 0;
  lseek(fd, 0, SEEK_SET);
  for (i = 0; i < 8; i++) {
    ret = read(fd, br[i], 8 * sizeof(double));
    assert(ret > -1);
    total += ret;
  }
  fprintf(stdout, "%ld bytes read.\n", total);
  printarray2d(br, 8, 8);
  close(fd);
  exit(EXIT_FAILURE);
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
movl   $0x0,-0x4(%rbp)
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    0x2e2b(%rip),%rax
mov    (%rax),%eax
mov    0x2e0a(%rip),%rcx
or     (%rcx),%eax
mov    %eax,-0x28(%rbp)
mov    0x2dc6(%rip),%rax
mov    (%rax),%eax
mov    0x2ded(%rip),%rcx
or     (%rcx),%eax
mov    0x2dcc(%rip),%rcx
or     (%rcx),%eax
mov    0x2dbb(%rip),%rcx
or     (%rcx),%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x2,-0x8(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%rdi
mov    -0x28(%rbp),%esi
mov    -0x2c(%rbp),%edx
call   10c0 <open@plt>
mov    %eax,-0x24(%rbp)
cmpl   $0xffffffff,-0x24(%rbp)
setg   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
mov    $0x8,%esi
mov    %esi,%edi
call   1040 <array2d@plt>
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rdi
mov    $0x8,%edx
mov    %edx,%esi
call   1060 <fillarray2d@plt>
movl   $0x0,-0x3c(%rbp)
movl   $0x0,-0x30(%rbp)
cmpl   $0x8,-0x30(%rbp)
jge    12b6 <main+0x106>
mov    -0x24(%rbp),%edi
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,8),%rsi
mov    $0x40,%edx
call   1030 <write@plt>
mov    %eax,-0x38(%rbp)
cmpl   $0xffffffff,-0x38(%rbp)
setg   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
mov    -0x38(%rbp),%eax
add    -0x3c(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1268 <main+0xb8>
mov    0x2ce3(%rip),%rax
mov    (%rax),%edi
mov    -0x3c(%rbp),%edx
lea    0xd37(%rip),%rsi
call   10b0 <fprintf@plt>
mov    $0x8,%esi
mov    %esi,%edi
call   1040 <array2d@plt>
mov    %rax,-0x20(%rbp)
movl   $0x0,-0x3c(%rbp)
mov    -0x24(%rbp),%edi
mov    0x2cd9(%rip),%rax
mov    (%rax),%edx
xor    %esi,%esi
call   1050 <lseek@plt>
movl   $0x0,-0x30(%rbp)
cmpl   $0x8,-0x30(%rbp)
jge    134d <main+0x19d>
mov    -0x24(%rbp),%edi
mov    -0x20(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,8),%rsi
mov    $0x40,%edx
call   1090 <read@plt>
mov    %eax,-0x38(%rbp)
cmpl   $0xffffffff,-0x38(%rbp)
setg   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
mov    -0x38(%rbp),%eax
add    -0x3c(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    12ff <main+0x14f>
mov    0x2c4c(%rip),%rax
mov    (%rax),%edi
mov    -0x3c(%rbp),%edx
lea    0xcb4(%rip),%rsi
call   10b0 <fprintf@plt>
mov    -0x20(%rbp),%rdi
mov    $0x8,%edx
mov    %edx,%esi
call   1080 <printarray2d@plt>
mov    -0x24(%rbp),%edi
call   1070 <close@plt>
mov    0x2c2c(%rip),%rax
mov    (%rax),%edi
call   10d0 <exit@plt>

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    0x2e39(%rip),%rax
mov    0x2e1a(%rip),%rcx
mov    (%rcx),%ebx
or     (%rax),%ebx
mov    0x2dd7(%rip),%rax
mov    0x2e00(%rip),%rcx
mov    (%rcx),%ebp
or     (%rax),%ebp
mov    0x2ddd(%rip),%rax
or     (%rax),%ebp
mov    0x2dcc(%rip),%rax
or     (%rax),%ebp
mov    %rsi,%r14
xor    %eax,%eax
cmp    $0x2,%edi
sete   %al
mov    %eax,%edi
call   10a0 <assert@plt>
mov    0x8(%r14),%rdi
mov    %ebx,%esi
mov    %ebp,%edx
call   10c0 <open@plt>
mov    %eax,%r15d
mov    %eax,%edi
not    %edi
shr    $0x1f,%edi
call   10a0 <assert@plt>
mov    $0x8,%edi
mov    $0x8,%esi
call   1040 <array2d@plt>
mov    %rax,%r12
mov    %rax,%rdi
mov    $0x8,%esi
mov    $0x8,%edx
call   1060 <fillarray2d@plt>
mov    (%r12),%rsi
mov    %r15d,%edi
mov    $0x40,%edx
call   1030 <write@plt>
mov    %eax,%r14d
mov    %eax,%edi
not    %edi
shr    $0x1f,%edi
call   10a0 <assert@plt>
mov    0x8(%r12),%rsi
mov    %r15d,%edi
mov    $0x40,%edx
call   1030 <write@plt>
mov    %eax,%ebp
mov    %eax,%edi
not    %edi
shr    $0x1f,%edi
call   10a0 <assert@plt>
add    %r14d,%ebp
mov    0x10(%r12),%rsi
mov    %r15d,%edi
mov    $0x40,%edx
call   1030 <write@plt>
mov    %eax,%ebx
mov    %eax,%edi
not    %edi
shr    $0x1f,%edi
call   10a0 <assert@plt>
add    %ebx,%ebp
mov    0x18(%r12),%rsi
mov    %r15d,%edi
mov    $0x40,%edx
call   1030 <write@plt>
mov    %eax,%ebx
mov    %eax,%edi
not    %edi
shr    $0x1f,%edi
call   10a0 <assert@plt>
add    %ebx,%ebp
mov    0x20(%r12),%rsi
mov    %r15d,%edi
mov    $0x40,%edx
call   1030 <write@plt>
mov    %eax,%ebx
mov    %eax,%edi
not    %edi
shr    $0x1f,%edi
call   10a0 <assert@plt>
add    %ebx,%ebp
mov    0x28(%r12),%rsi
mov    %r15d,%edi
mov    $0x40,%edx
call   1030 <write@plt>
mov    %eax,%ebx
mov    %eax,%edi
not    %edi
shr    $0x1f,%edi
call   10a0 <assert@plt>
add    %ebx,%ebp
mov    0x30(%r12),%rsi
mov    %r15d,%edi
mov    $0x40,%edx
call   1030 <write@plt>
mov    %eax,%ebx
mov    %eax,%edi
not    %edi
shr    $0x1f,%edi
call   10a0 <assert@plt>
add    %ebx,%ebp
mov    0x38(%r12),%rsi
mov    %r15d,%edi
mov    $0x40,%edx
call   1030 <write@plt>
mov    %eax,%ebx
mov    %eax,%edi
not    %edi
shr    $0x1f,%edi
call   10a0 <assert@plt>
add    %ebx,%ebp
mov    0x2c4a(%rip),%r12
mov    (%r12),%edi
lea    0xc9f(%rip),%rsi
mov    %ebp,%edx
call   10b0 <fprintf@plt>
mov    $0x8,%edi
mov    $0x8,%esi
call   1040 <array2d@plt>
mov    %rax,%r14
mov    0x2c47(%rip),%rax
mov    (%rax),%edx
mov    %r15d,%edi
xor    %esi,%esi
call   1050 <lseek@plt>
mov    (%r14),%rsi
mov    %r15d,%edi
mov    $0x40,%edx
call   1090 <read@plt>
mov    %eax,%ebp
mov    %eax,%edi
not    %edi
shr    $0x1f,%edi
call   10a0 <assert@plt>
mov    0x8(%r14),%rsi
mov    %r15d,%edi
mov    $0x40,%edx
call   1090 <read@plt>
mov    %eax,%ebx
mov    %eax,%edi
not    %edi
shr    $0x1f,%edi
call   10a0 <assert@plt>
add    %ebp,%ebx
mov    0x10(%r14),%rsi
mov    %r15d,%edi
mov    $0x40,%edx
call   1090 <read@plt>
mov    %eax,%ebp
mov    %eax,%edi
not    %edi
shr    $0x1f,%edi
call   10a0 <assert@plt>
add    %ebp,%ebx
mov    0x18(%r14),%rsi
mov    %r15d,%edi
mov    $0x40,%edx
call   1090 <read@plt>
mov    %eax,%ebp
mov    %eax,%edi
not    %edi
shr    $0x1f,%edi
call   10a0 <assert@plt>
add    %ebp,%ebx
mov    0x20(%r14),%rsi
mov    %r15d,%edi
mov    $0x40,%edx
call   1090 <read@plt>
mov    %eax,%ebp
mov    %eax,%edi
not    %edi
shr    $0x1f,%edi
call   10a0 <assert@plt>
add    %ebp,%ebx
mov    0x28(%r14),%rsi
mov    %r15d,%edi
mov    $0x40,%edx
call   1090 <read@plt>
mov    %eax,%ebp
mov    %eax,%edi
not    %edi
shr    $0x1f,%edi
call   10a0 <assert@plt>
add    %ebp,%ebx
mov    0x30(%r14),%rsi
mov    %r15d,%edi
mov    $0x40,%edx
call   1090 <read@plt>
mov    %eax,%ebp
mov    %eax,%edi
not    %edi
shr    $0x1f,%edi
call   10a0 <assert@plt>
add    %ebp,%ebx
mov    0x38(%r14),%rsi
mov    %r15d,%edi
mov    $0x40,%edx
call   1090 <read@plt>
mov    %eax,%ebp
mov    %eax,%edi
not    %edi
shr    $0x1f,%edi
call   10a0 <assert@plt>
add    %ebp,%ebx
mov    (%r12),%edi
lea    0xb77(%rip),%rsi
mov    %ebx,%edx
call   10b0 <fprintf@plt>
mov    %r14,%rdi
mov    $0x8,%esi
mov    $0x8,%edx
call   1080 <printarray2d@plt>
mov    %r15d,%edi
call   1070 <close@plt>
mov    0x2aeb(%rip),%rax
mov    (%rax),%edi
call   10d0 <exit@plt>

LLVM IR (-O0):
@O_CREAT = global i32 0
@O_RDWR = global i32 0
@S_IRUSR = global i32 0
@S_IWUSR = global i32 0
@S_IRGRP = global i32 0
@S_IROTH = global i32 0
@stdout = global i32 0
@.str = [20 x i8] c"%ld bytes written.\0A\00"
@SEEK_SET = global i32 0
@.str.1 = [17 x i8] c"%ld bytes read.\0A\00"
@EXIT_FAILURE = global i32 0
define i32 @main(i32 %0, i8** %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i8**
%6 = alloca double**
%7 = alloca double**
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
store i32 0, i32* %3
store i32 %0, i32* %4
store i8** %1, i8*** %5
%15 = load i32, i32* @O_CREAT
%16 = load i32, i32* @O_RDWR
%17 = or i32 %15, %16
store i32 %17, i32* %9
%18 = load i32, i32* @S_IRUSR
%19 = load i32, i32* @S_IWUSR
%20 = or i32 %18, %19
%21 = load i32, i32* @S_IRGRP
%22 = or i32 %20, %21
%23 = load i32, i32* @S_IROTH
%24 = or i32 %22, %23
store i32 %24, i32* %10
%25 = load i32, i32* %4
%26 = icmp eq i32 %25, 2
%27 = zext i1 %26 to i32
%28 = call i32 @assert(i32 %27)
%29 = load i8**, i8*** %5
%30 = getelementptr inbounds i8*, i8** %29, i64 1
%31 = load i8*, i8** %30
%32 = load i32, i32* %9
%33 = load i32, i32* %10
%34 = call i32 @open(i8* %31, i32 %32, i32 %33)
store i32 %34, i32* %8
%35 = load i32, i32* %8
%36 = icmp sgt i32 %35, -1
%37 = zext i1 %36 to i32
%38 = call i32 @assert(i32 %37)
%39 = call double** @array2d(i32 8, i32 8)
store double** %39, double*** %6
%40 = load double**, double*** %6
%41 = call i32 @fillarray2d(double** %40, i32 8, i32 8)
store i32 0, i32* %14
store i32 0, i32* %11
br label %42
42: ; preds = %60, %2
%43 = load i32, i32* %11
%44 = icmp slt i32 %43, 8
br i1 %44, label %45, label %63
45: ; preds = %42
%46 = load i32, i32* %8
%47 = load double**, double*** %6
%48 = load i32, i32* %11
%49 = sext i32 %48 to i64
%50 = getelementptr inbounds double*, double** %47, i64 %49
%51 = load double*, double** %50
%52 = call i32 @write(i32 %46, double* %51, i32 64)
store i32 %52, i32* %13
%53 = load i32, i32* %13
%54 = icmp sgt i32 %53, -1
%55 = zext i1 %54 to i32
%56 = call i32 @assert(i32 %55)
%57 = load i32, i32* %13
%58 = load i32, i32* %14
%59 = add nsw i32 %58, %57
store i32 %59, i32* %14
br label %60
60: ; preds = %45
%61 = load i32, i32* %11
%62 = add nsw i32 %61, 1
store i32 %62, i32* %11
br label %42
63: ; preds = %42
%64 = load i32, i32* @stdout
%65 = load i32, i32* %14
%66 = call i32 @fprintf(i32 %64, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str, i64 0, i64 0), i32 %65)
%67 = call double** @array2d(i32 8, i32 8)
store double** %67, double*** %7
store i32 0, i32* %14
%68 = load i32, i32* %8
%69 = load i32, i32* @SEEK_SET
%70 = call i32 @lseek(i32 %68, i32 0, i32 %69)
store i32 0, i32* %11
br label %71
71: ; preds = %89, %63
%72 = load i32, i32* %11
%73 = icmp slt i32 %72, 8
br i1 %73, label %74, label %92
74: ; preds = %71
%75 = load i32, i32* %8
%76 = load double**, double*** %7
%77 = load i32, i32* %11
%78 = sext i32 %77 to i64
%79 = getelementptr inbounds double*, double** %76, i64 %78
%80 = load double*, double** %79
%81 = call i32 @read(i32 %75, double* %80, i32 64)
store i32 %81, i32* %13
%82 = load i32, i32* %13
%83 = icmp sgt i32 %82, -1
%84 = zext i1 %83 to i32
%85 = call i32 @assert(i32 %84)
%86 = load i32, i32* %13
%87 = load i32, i32* %14
%88 = add nsw i32 %87, %86
store i32 %88, i32* %14
br label %89
89: ; preds = %74
%90 = load i32, i32* %11
%91 = add nsw i32 %90, 1
store i32 %91, i32* %11
br label %71
92: ; preds = %71
%93 = load i32, i32* @stdout
%94 = load i32, i32* %14
%95 = call i32 @fprintf(i32 %93, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.1, i64 0, i64 0), i32 %94)
%96 = load double**, double*** %7
%97 = call i32 @printarray2d(double** %96, i32 8, i32 8)
%98 = load i32, i32* %8
%99 = call i32 @close(i32 %98)
%100 = load i32, i32* @EXIT_FAILURE
%101 = call i32 @exit(i32 %100)
unreachable
}

LLVM IR (-O2):
@O_CREAT = global i32 0
@O_RDWR = global i32 0
@S_IRUSR = global i32 0
@S_IWUSR = global i32 0
@S_IRGRP = global i32 0
@S_IROTH = global i32 0
@stdout = global i32 0
@.str = [20 x i8] c"%ld bytes written.\0A\00"
@SEEK_SET = global i32 0
@.str.1 = [17 x i8] c"%ld bytes read.\0A\00"
@EXIT_FAILURE = global i32 0
define i32 @main(i32 %0, i8** nocapture %1) {
%3 = load i32, i32* @O_CREAT
%4 = load i32, i32* @O_RDWR
%5 = or i32 %4, %3
%6 = load i32, i32* @S_IRUSR
%7 = load i32, i32* @S_IWUSR
%8 = or i32 %7, %6
%9 = load i32, i32* @S_IRGRP
%10 = or i32 %8, %9
%11 = load i32, i32* @S_IROTH
%12 = or i32 %10, %11
%13 = icmp eq i32 %0, 2
%14 = zext i1 %13 to i32
%15 = tail call i32 @assert(i32 %14)
%16 = getelementptr inbounds i8*, i8** %1, i64 1
%17 = load i8*, i8** %16
%18 = tail call i32 @open(i8* %17, i32 %5, i32 %12)
%19 = xor i32 %18, -1
%20 = lshr i32 %19, 31
%21 = tail call i32 @assert(i32 %20)
%22 = tail call double** @array2d(i32 8, i32 8)
%23 = tail call i32 @fillarray2d(double** %22, i32 8, i32 8)
%24 = load double*, double** %22
%25 = tail call i32 @write(i32 %18, double* %24, i32 64)
%26 = xor i32 %25, -1
%27 = lshr i32 %26, 31
%28 = tail call i32 @assert(i32 %27)
%29 = getelementptr inbounds double*, double** %22, i64 1
%30 = load double*, double** %29
%31 = tail call i32 @write(i32 %18, double* %30, i32 64)
%32 = xor i32 %31, -1
%33 = lshr i32 %32, 31
%34 = tail call i32 @assert(i32 %33)
%35 = add nsw i32 %31, %25
%36 = getelementptr inbounds double*, double** %22, i64 2
%37 = load double*, double** %36
%38 = tail call i32 @write(i32 %18, double* %37, i32 64)
%39 = xor i32 %38, -1
%40 = lshr i32 %39, 31
%41 = tail call i32 @assert(i32 %40)
%42 = add nsw i32 %38, %35
%43 = getelementptr inbounds double*, double** %22, i64 3
%44 = load double*, double** %43
%45 = tail call i32 @write(i32 %18, double* %44, i32 64)
%46 = xor i32 %45, -1
%47 = lshr i32 %46, 31
%48 = tail call i32 @assert(i32 %47)
%49 = add nsw i32 %45, %42
%50 = getelementptr inbounds double*, double** %22, i64 4
%51 = load double*, double** %50
%52 = tail call i32 @write(i32 %18, double* %51, i32 64)
%53 = xor i32 %52, -1
%54 = lshr i32 %53, 31
%55 = tail call i32 @assert(i32 %54)
%56 = add nsw i32 %52, %49
%57 = getelementptr inbounds double*, double** %22, i64 5
%58 = load double*, double** %57
%59 = tail call i32 @write(i32 %18, double* %58, i32 64)
%60 = xor i32 %59, -1
%61 = lshr i32 %60, 31
%62 = tail call i32 @assert(i32 %61)
%63 = add nsw i32 %59, %56
%64 = getelementptr inbounds double*, double** %22, i64 6
%65 = load double*, double** %64
%66 = tail call i32 @write(i32 %18, double* %65, i32 64)
%67 = xor i32 %66, -1
%68 = lshr i32 %67, 31
%69 = tail call i32 @assert(i32 %68)
%70 = add nsw i32 %66, %63
%71 = getelementptr inbounds double*, double** %22, i64 7
%72 = load double*, double** %71
%73 = tail call i32 @write(i32 %18, double* %72, i32 64)
%74 = xor i32 %73, -1
%75 = lshr i32 %74, 31
%76 = tail call i32 @assert(i32 %75)
%77 = add nsw i32 %73, %70
%78 = load i32, i32* @stdout
%79 = tail call i32 @fprintf(i32 %78, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str, i64 0, i64 0), i32 %77)
%80 = tail call double** @array2d(i32 8, i32 8)
%81 = load i32, i32* @SEEK_SET
%82 = tail call i32 @lseek(i32 %18, i32 0, i32 %81)
%83 = load double*, double** %80
%84 = tail call i32 @read(i32 %18, double* %83, i32 64)
%85 = xor i32 %84, -1
%86 = lshr i32 %85, 31
%87 = tail call i32 @assert(i32 %86)
%88 = getelementptr inbounds double*, double** %80, i64 1
%89 = load double*, double** %88
%90 = tail call i32 @read(i32 %18, double* %89, i32 64)
%91 = xor i32 %90, -1
%92 = lshr i32 %91, 31
%93 = tail call i32 @assert(i32 %92)
%94 = add nsw i32 %90, %84
%95 = getelementptr inbounds double*, double** %80, i64 2
%96 = load double*, double** %95
%97 = tail call i32 @read(i32 %18, double* %96, i32 64)
%98 = xor i32 %97, -1
%99 = lshr i32 %98, 31
%100 = tail call i32 @assert(i32 %99)
%101 = add nsw i32 %97, %94
%102 = getelementptr inbounds double*, double** %80, i64 3
%103 = load double*, double** %102
%104 = tail call i32 @read(i32 %18, double* %103, i32 64)
%105 = xor i32 %104, -1
%106 = lshr i32 %105, 31
%107 = tail call i32 @assert(i32 %106)
%108 = add nsw i32 %104, %101
%109 = getelementptr inbounds double*, double** %80, i64 4
%110 = load double*, double** %109
%111 = tail call i32 @read(i32 %18, double* %110, i32 64)
%112 = xor i32 %111, -1
%113 = lshr i32 %112, 31
%114 = tail call i32 @assert(i32 %113)
%115 = add nsw i32 %111, %108
%116 = getelementptr inbounds double*, double** %80, i64 5
%117 = load double*, double** %116
%118 = tail call i32 @read(i32 %18, double* %117, i32 64)
%119 = xor i32 %118, -1
%120 = lshr i32 %119, 31
%121 = tail call i32 @assert(i32 %120)
%122 = add nsw i32 %118, %115
%123 = getelementptr inbounds double*, double** %80, i64 6
%124 = load double*, double** %123
%125 = tail call i32 @read(i32 %18, double* %124, i32 64)
%126 = xor i32 %125, -1
%127 = lshr i32 %126, 31
%128 = tail call i32 @assert(i32 %127)
%129 = add nsw i32 %125, %122
%130 = getelementptr inbounds double*, double** %80, i64 7
%131 = load double*, double** %130
%132 = tail call i32 @read(i32 %18, double* %131, i32 64)
%133 = xor i32 %132, -1
%134 = lshr i32 %133, 31
%135 = tail call i32 @assert(i32 %134)
%136 = add nsw i32 %132, %129
%137 = load i32, i32* @stdout
%138 = tail call i32 @fprintf(i32 %137, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.1, i64 0, i64 0), i32 %136)
%139 = tail call i32 @printarray2d(double** %80, i32 8, i32 8)
%140 = tail call i32 @close(i32 %18)
%141 = load i32, i32* @EXIT_FAILURE
%142 = tail call i32 @exit(i32 %141)
unreachable
}