#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*/ fexpect(char *, int, int, int);
int /*<<< orphan*/ verify(int *, int **, int);
int /*<<< orphan*/ verify_short(short *, short ***, int);
void test_array() {
  int x[] = {1, 3, 5};
  fexpect(
      "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
      "2022-01-22/02-19-57/repos/8l/8cc/refs/heads/master/test/initializer.c",
      17, 1, x[0]);
  ;
  fexpect(
      "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
      "2022-01-22/02-19-57/repos/8l/8cc/refs/heads/master/test/initializer.c",
      18, 3, x[1]);
  ;
  fexpect(
      "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
      "2022-01-22/02-19-57/repos/8l/8cc/refs/heads/master/test/initializer.c",
      19, 5, x[2]);
  ;
  int ye[] = {1, 3, 5, 2, 4, 6, 3, 5, 7, 0, 0, 0};
  int y1[4][3] = {
      {1, 3, 5},
      {2, 4, 6},
      {3, 5, 7},
  };
  verify(ye, y1, 12);
  int y2[4][3] = {1, 3, 5, 2, 4, 6, 3, 5, 7};
  verify(ye, y2, 12);
  int ze[] = {1, 0, 0, 2, 0, 0, 3, 0, 0, 4, 0, 0};
  int z[4][3] = {{1}, {2}, {3}, {4}};
  verify(ze, z, 12);
  short qe[24] = {1, 0, 0, 0, 0, 0, 2, 3, 0, 0, 0, 0, 4, 5, 6};
  short q[4][3][2] = {{1}, {2, 3}, {4, 5, 6}};
  verify_short(qe, q, 24);
  int a[] = {{{3}}};
  fexpect(
      "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
      "2022-01-22/02-19-57/repos/8l/8cc/refs/heads/master/test/initializer.c",
      36, 3, a[0]);
  ;
}


x86 assembly (clang, -O0):
<test_array>:
push   %rbp
mov    %rsp,%rbp
sub    $0x170,%rsp
mov    0xe9e(%rip),%rax
mov    %rax,-0xc(%rbp)
mov    0xe9c(%rip),%eax
mov    %eax,-0x4(%rbp)
mov    -0xc(%rbp),%ecx
lea    0xf27(%rip),%rdi
mov    $0x11,%esi
mov    $0x1,%edx
call   1060 <fexpect@plt>
mov    -0x8(%rbp),%ecx
lea    0xf0e(%rip),%rdi
mov    $0x12,%esi
mov    $0x3,%edx
call   1060 <fexpect@plt>
mov    -0x4(%rbp),%ecx
lea    0xef5(%rip),%rdi
mov    $0x13,%esi
mov    $0x5,%edx
call   1060 <fexpect@plt>
lea    -0x40(%rbp),%rdi
lea    0xe4b(%rip),%rsi
mov    $0x30,%edx
call   1040 <memcpy@plt>
lea    -0x70(%rbp),%rdi
lea    0xe66(%rip),%rsi
mov    $0x30,%edx
call   1040 <memcpy@plt>
lea    -0x40(%rbp),%rdi
lea    -0x70(%rbp),%rsi
mov    $0xc,%edx
call   1050 <verify@plt>
lea    -0xa0(%rbp),%rdi
lea    0xe6c(%rip),%rsi
mov    $0x30,%edx
call   1040 <memcpy@plt>
lea    -0x40(%rbp),%rdi
lea    -0xa0(%rbp),%rsi
mov    $0xc,%edx
call   1050 <verify@plt>
lea    -0xd0(%rbp),%rdi
xor    %esi,%esi
mov    $0x30,%edx
call   1030 <memset@plt>
movl   $0x1,-0xd0(%rbp)
movl   $0x2,-0xc4(%rbp)
movl   $0x3,-0xb8(%rbp)
movl   $0x4,-0xac(%rbp)
lea    -0x100(%rbp),%rdi
xor    %esi,%esi
mov    $0x30,%edx
call   1030 <memset@plt>
movl   $0x1,-0x100(%rbp)
movl   $0x2,-0xf4(%rbp)
movl   $0x3,-0xe8(%rbp)
movl   $0x4,-0xdc(%rbp)
lea    -0xd0(%rbp),%rdi
lea    -0x100(%rbp),%rsi
mov    $0xc,%edx
call   1050 <verify@plt>
lea    -0x130(%rbp),%rdi
xor    %esi,%esi
mov    $0x30,%edx
call   1030 <memset@plt>
movw   $0x1,-0x130(%rbp)
movw   $0x2,-0x124(%rbp)
movw   $0x3,-0x122(%rbp)
movw   $0x4,-0x118(%rbp)
movw   $0x5,-0x116(%rbp)
movw   $0x6,-0x114(%rbp)
lea    -0x160(%rbp),%rdi
xor    %esi,%esi
mov    $0x30,%edx
call   1030 <memset@plt>
movw   $0x1,-0x160(%rbp)
movw   $0x2,-0x154(%rbp)
movw   $0x3,-0x152(%rbp)
movw   $0x4,-0x148(%rbp)
movw   $0x5,-0x146(%rbp)
movw   $0x6,-0x144(%rbp)
lea    -0x130(%rbp),%rdi
lea    -0x160(%rbp),%rsi
mov    $0x18,%edx
call   1070 <verify_short@plt>
mov    0xdc7(%rip),%eax
mov    %eax,-0x164(%rbp)
mov    -0x164(%rbp),%ecx
lea    0xd2c(%rip),%rdi
mov    $0x24,%esi
mov    $0x3,%edx
call   1060 <fexpect@plt>
add    $0x170,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_array>:
push   %r14
push   %rbx
sub    $0x158,%rsp
lea    0xebf(%rip),%r14
mov    %r14,%rdi
mov    $0x11,%esi
mov    $0x1,%edx
mov    $0x1,%ecx
call   1040 <fexpect@plt>
mov    %r14,%rdi
mov    $0x12,%esi
mov    $0x3,%edx
mov    $0x3,%ecx
call   1040 <fexpect@plt>
mov    %r14,%rdi
mov    $0x13,%esi
mov    $0x5,%edx
mov    $0x5,%ecx
call   1040 <fexpect@plt>
movaps 0xf23(%rip),%xmm0
movaps %xmm0,0x140(%rsp)
movaps 0xf04(%rip),%xmm0
movaps %xmm0,0x130(%rsp)
movaps 0xee5(%rip),%xmm0
movaps %xmm0,0x120(%rsp)
movaps 0xf26(%rip),%xmm0
movaps %xmm0,0x110(%rsp)
movaps 0xf07(%rip),%xmm0
movaps %xmm0,0x100(%rsp)
movaps 0xee8(%rip),%xmm0
movaps %xmm0,0xf0(%rsp)
lea    0x120(%rsp),%rbx
lea    0xf0(%rsp),%rsi
mov    %rbx,%rdi
mov    $0xc,%edx
call   1030 <verify@plt>
movaps 0xedc(%rip),%xmm0
movaps %xmm0,0xe0(%rsp)
movaps 0xebd(%rip),%xmm0
movaps %xmm0,0xd0(%rsp)
movaps 0xe9e(%rip),%xmm0
movaps %xmm0,0xc0(%rsp)
lea    0xc0(%rsp),%rsi
mov    %rbx,%rdi
mov    $0xc,%edx
call   1030 <verify@plt>
xorps  %xmm0,%xmm0
movaps %xmm0,0x90(%rsp)
movaps %xmm0,0xa0(%rsp)
movaps %xmm0,0xb0(%rsp)
movl   $0x1,0x90(%rsp)
movl   $0x2,0x9c(%rsp)
movl   $0x3,0xa8(%rsp)
movl   $0x4,0xb4(%rsp)
movaps %xmm0,0x60(%rsp)
movaps %xmm0,0x70(%rsp)
movaps %xmm0,0x80(%rsp)
movl   $0x1,0x60(%rsp)
movl   $0x2,0x6c(%rsp)
movl   $0x3,0x78(%rsp)
movl   $0x4,0x84(%rsp)
lea    0x90(%rsp),%rdi
lea    0x60(%rsp),%rsi
mov    $0xc,%edx
call   1030 <verify@plt>
xorps  %xmm0,%xmm0
movaps %xmm0,0x30(%rsp)
movaps %xmm0,0x40(%rsp)
movaps %xmm0,0x50(%rsp)
movw   $0x1,0x30(%rsp)
movl   $0x30002,0x3c(%rsp)
movl   $0x50004,0x48(%rsp)
movw   $0x6,0x4c(%rsp)
movaps %xmm0,(%rsp)
movaps %xmm0,0x10(%rsp)
movaps %xmm0,0x20(%rsp)
movw   $0x1,(%rsp)
movl   $0x30002,0xc(%rsp)
movl   $0x50004,0x18(%rsp)
movw   $0x6,0x1c(%rsp)
lea    0x30(%rsp),%rdi
mov    %rsp,%rsi
mov    $0x18,%edx
call   1050 <verify_short@plt>
mov    %r14,%rdi
mov    $0x24,%esi
mov    $0x3,%edx
mov    $0x3,%ecx
call   1040 <fexpect@plt>
add    $0x158,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
@__const.test_array.x = [3 x i32] [i32 1, i32 3, i32 5]
@.str = [134 x i8] c"/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/8l/8cc/refs/heads/master/test/initializer.c\00"
@__const.test_array.ye = [12 x i32] [i32 1, i32 3, i32 5, i32 2, i32 4, i32 6, i32 3, i32 5, i32 7, i32 0, i32 0, i32 0]
@__const.test_array.y1 = [4 x [3 x i32]] [[3 x i32] [i32 1, i32 3, i32 5], [3 x i32] [i32 2, i32 4, i32 6], [3 x i32] [i32 3, i32 5, i32 7], [3 x i32] zeroinitializer]
@__const.test_array.y2 = [4 x [3 x i32]] [[3 x i32] [i32 1, i32 3, i32 5], [3 x i32] [i32 2, i32 4, i32 6], [3 x i32] [i32 3, i32 5, i32 7], [3 x i32] zeroinitializer]
@__const.test_array.a = [1 x i32] [i32 3]
define void @test_array() {
%1 = alloca [3 x i32]
%2 = alloca [12 x i32]
%3 = alloca [4 x [3 x i32]]
%4 = alloca [4 x [3 x i32]]
%5 = alloca [12 x i32]
%6 = alloca [4 x [3 x i32]]
%7 = alloca [24 x i16]
%8 = alloca [4 x [3 x [2 x i16]]]
%9 = alloca [1 x i32]
%10 = bitcast [3 x i32]* %1 to i8*
%11 = getelementptr inbounds [3 x i32], [3 x i32]* %1, i64 0, i64 0
%12 = load i32, i32* %11
%13 = call i32 @fexpect(i8* getelementptr inbounds ([134 x i8], [134 x i8]* @.str, i64 0, i64 0), i32 17, i32 1, i32 %12)
%14 = getelementptr inbounds [3 x i32], [3 x i32]* %1, i64 0, i64 1
%15 = load i32, i32* %14
%16 = call i32 @fexpect(i8* getelementptr inbounds ([134 x i8], [134 x i8]* @.str, i64 0, i64 0), i32 18, i32 3, i32 %15)
%17 = getelementptr inbounds [3 x i32], [3 x i32]* %1, i64 0, i64 2
%18 = load i32, i32* %17
%19 = call i32 @fexpect(i8* getelementptr inbounds ([134 x i8], [134 x i8]* @.str, i64 0, i64 0), i32 19, i32 5, i32 %18)
%20 = bitcast [12 x i32]* %2 to i8*
%21 = bitcast [4 x [3 x i32]]* %3 to i8*
%22 = getelementptr inbounds [12 x i32], [12 x i32]* %2, i64 0, i64 0
%23 = getelementptr inbounds [4 x [3 x i32]], [4 x [3 x i32]]* %3, i64 0, i64 0
%24 = bitcast [3 x i32]* %23 to i32**
%25 = call i32 @verify(i32* %22, i32** %24, i32 12)
%26 = bitcast [4 x [3 x i32]]* %4 to i8*
%27 = getelementptr inbounds [12 x i32], [12 x i32]* %2, i64 0, i64 0
%28 = getelementptr inbounds [4 x [3 x i32]], [4 x [3 x i32]]* %4, i64 0, i64 0
%29 = bitcast [3 x i32]* %28 to i32**
%30 = call i32 @verify(i32* %27, i32** %29, i32 12)
%31 = bitcast [12 x i32]* %5 to i8*
%32 = bitcast i8* %31 to [12 x i32]*
%33 = getelementptr inbounds [12 x i32], [12 x i32]* %32, i32 0, i32 0
store i32 1, i32* %33
%34 = getelementptr inbounds [12 x i32], [12 x i32]* %32, i32 0, i32 3
store i32 2, i32* %34
%35 = getelementptr inbounds [12 x i32], [12 x i32]* %32, i32 0, i32 6
store i32 3, i32* %35
%36 = getelementptr inbounds [12 x i32], [12 x i32]* %32, i32 0, i32 9
store i32 4, i32* %36
%37 = bitcast [4 x [3 x i32]]* %6 to i8*
%38 = bitcast i8* %37 to [4 x [3 x i32]]*
%39 = getelementptr inbounds [4 x [3 x i32]], [4 x [3 x i32]]* %38, i32 0, i32 0
%40 = getelementptr inbounds [3 x i32], [3 x i32]* %39, i32 0, i32 0
store i32 1, i32* %40
%41 = getelementptr inbounds [4 x [3 x i32]], [4 x [3 x i32]]* %38, i32 0, i32 1
%42 = getelementptr inbounds [3 x i32], [3 x i32]* %41, i32 0, i32 0
store i32 2, i32* %42
%43 = getelementptr inbounds [4 x [3 x i32]], [4 x [3 x i32]]* %38, i32 0, i32 2
%44 = getelementptr inbounds [3 x i32], [3 x i32]* %43, i32 0, i32 0
store i32 3, i32* %44
%45 = getelementptr inbounds [4 x [3 x i32]], [4 x [3 x i32]]* %38, i32 0, i32 3
%46 = getelementptr inbounds [3 x i32], [3 x i32]* %45, i32 0, i32 0
store i32 4, i32* %46
%47 = getelementptr inbounds [12 x i32], [12 x i32]* %5, i64 0, i64 0
%48 = getelementptr inbounds [4 x [3 x i32]], [4 x [3 x i32]]* %6, i64 0, i64 0
%49 = bitcast [3 x i32]* %48 to i32**
%50 = call i32 @verify(i32* %47, i32** %49, i32 12)
%51 = bitcast [24 x i16]* %7 to i8*
%52 = bitcast i8* %51 to <{ [15 x i16], [9 x i16] }>*
%53 = getelementptr inbounds <{ [15 x i16], [9 x i16] }>, <{ [15 x i16], [9 x i16] }>* %52, i32 0, i32 0
%54 = getelementptr inbounds [15 x i16], [15 x i16]* %53, i32 0, i32 0
store i16 1, i16* %54
%55 = getelementptr inbounds [15 x i16], [15 x i16]* %53, i32 0, i32 6
store i16 2, i16* %55
%56 = getelementptr inbounds [15 x i16], [15 x i16]* %53, i32 0, i32 7
store i16 3, i16* %56
%57 = getelementptr inbounds [15 x i16], [15 x i16]* %53, i32 0, i32 12
store i16 4, i16* %57
%58 = getelementptr inbounds [15 x i16], [15 x i16]* %53, i32 0, i32 13
store i16 5, i16* %58
%59 = getelementptr inbounds [15 x i16], [15 x i16]* %53, i32 0, i32 14
store i16 6, i16* %59
%60 = bitcast [4 x [3 x [2 x i16]]]* %8 to i8*
%61 = bitcast i8* %60 to [4 x [3 x [2 x i16]]]*
%62 = getelementptr inbounds [4 x [3 x [2 x i16]]], [4 x [3 x [2 x i16]]]* %61, i32 0, i32 0
%63 = getelementptr inbounds [3 x [2 x i16]], [3 x [2 x i16]]* %62, i32 0, i32 0
%64 = getelementptr inbounds [2 x i16], [2 x i16]* %63, i32 0, i32 0
store i16 1, i16* %64
%65 = getelementptr inbounds [4 x [3 x [2 x i16]]], [4 x [3 x [2 x i16]]]* %61, i32 0, i32 1
%66 = getelementptr inbounds [3 x [2 x i16]], [3 x [2 x i16]]* %65, i32 0, i32 0
%67 = getelementptr inbounds [2 x i16], [2 x i16]* %66, i32 0, i32 0
store i16 2, i16* %67
%68 = getelementptr inbounds [2 x i16], [2 x i16]* %66, i32 0, i32 1
store i16 3, i16* %68
%69 = getelementptr inbounds [4 x [3 x [2 x i16]]], [4 x [3 x [2 x i16]]]* %61, i32 0, i32 2
%70 = getelementptr inbounds [3 x [2 x i16]], [3 x [2 x i16]]* %69, i32 0, i32 0
%71 = getelementptr inbounds [2 x i16], [2 x i16]* %70, i32 0, i32 0
store i16 4, i16* %71
%72 = getelementptr inbounds [2 x i16], [2 x i16]* %70, i32 0, i32 1
store i16 5, i16* %72
%73 = getelementptr inbounds [3 x [2 x i16]], [3 x [2 x i16]]* %69, i32 0, i32 1
%74 = getelementptr inbounds [2 x i16], [2 x i16]* %73, i32 0, i32 0
store i16 6, i16* %74
%75 = getelementptr inbounds [24 x i16], [24 x i16]* %7, i64 0, i64 0
%76 = getelementptr inbounds [4 x [3 x [2 x i16]]], [4 x [3 x [2 x i16]]]* %8, i64 0, i64 0
%77 = bitcast [3 x [2 x i16]]* %76 to i16***
%78 = call i32 @verify_short(i16* %75, i16*** %77, i32 24)
%79 = bitcast [1 x i32]* %9 to i8*
%80 = getelementptr inbounds [1 x i32], [1 x i32]* %9, i64 0, i64 0
%81 = load i32, i32* %80
%82 = call i32 @fexpect(i8* getelementptr inbounds ([134 x i8], [134 x i8]* @.str, i64 0, i64 0), i32 36, i32 3, i32 %81)
ret void
}

LLVM IR (-O2):
@.str = [134 x i8] c"/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/8l/8cc/refs/heads/master/test/initializer.c\00"
@__const.test_array.ye = [12 x i32] [i32 1, i32 3, i32 5, i32 2, i32 4, i32 6, i32 3, i32 5, i32 7, i32 0, i32 0, i32 0]
@__const.test_array.y2 = [4 x [3 x i32]] [[3 x i32] [i32 1, i32 3, i32 5], [3 x i32] [i32 2, i32 4, i32 6], [3 x i32] [i32 3, i32 5, i32 7], [3 x i32] zeroinitializer]
define void @test_array() {
%1 = alloca [12 x i32]
%2 = alloca [4 x [3 x i32]]
%3 = alloca [4 x [3 x i32]]
%4 = alloca [12 x i32]
%5 = alloca [4 x [3 x i32]]
%6 = alloca [24 x i16]
%7 = alloca [4 x [3 x [2 x i16]]]
%8 = tail call i32 @fexpect(i8* getelementptr inbounds ([134 x i8], [134 x i8]* @.str, i64 0, i64 0), i32 17, i32 1, i32 1)
%9 = tail call i32 @fexpect(i8* getelementptr inbounds ([134 x i8], [134 x i8]* @.str, i64 0, i64 0), i32 18, i32 3, i32 3)
%10 = tail call i32 @fexpect(i8* getelementptr inbounds ([134 x i8], [134 x i8]* @.str, i64 0, i64 0), i32 19, i32 5, i32 5)
%11 = bitcast [12 x i32]* %1 to i8*
%12 = bitcast [4 x [3 x i32]]* %2 to i8*
%13 = getelementptr inbounds [12 x i32], [12 x i32]* %1, i64 0, i64 0
%14 = bitcast [4 x [3 x i32]]* %2 to i32**
%15 = call i32 @verify(i32* %13, i32** %14, i32 12)
%16 = bitcast [4 x [3 x i32]]* %3 to i8*
%17 = bitcast [4 x [3 x i32]]* %3 to i32**
%18 = call i32 @verify(i32* %13, i32** %17, i32 12)
%19 = bitcast [12 x i32]* %4 to i8*
%20 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 0
store i32 1, i32* %20
%21 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 3
store i32 2, i32* %21
%22 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 6
store i32 3, i32* %22
%23 = getelementptr inbounds [12 x i32], [12 x i32]* %4, i64 0, i64 9
store i32 4, i32* %23
%24 = bitcast [4 x [3 x i32]]* %5 to i8*
%25 = getelementptr inbounds [4 x [3 x i32]], [4 x [3 x i32]]* %5, i64 0, i64 0, i64 0
store i32 1, i32* %25
%26 = getelementptr inbounds [4 x [3 x i32]], [4 x [3 x i32]]* %5, i64 0, i64 1, i64 0
store i32 2, i32* %26
%27 = getelementptr inbounds [4 x [3 x i32]], [4 x [3 x i32]]* %5, i64 0, i64 2, i64 0
store i32 3, i32* %27
%28 = getelementptr inbounds [4 x [3 x i32]], [4 x [3 x i32]]* %5, i64 0, i64 3, i64 0
store i32 4, i32* %28
%29 = bitcast [4 x [3 x i32]]* %5 to i32**
%30 = call i32 @verify(i32* %20, i32** %29, i32 12)
%31 = bitcast [24 x i16]* %6 to i8*
%32 = getelementptr inbounds [24 x i16], [24 x i16]* %6, i64 0, i64 0
store i16 1, i16* %32
%33 = getelementptr inbounds [24 x i16], [24 x i16]* %6, i64 0, i64 6
store i16 2, i16* %33
%34 = getelementptr inbounds [24 x i16], [24 x i16]* %6, i64 0, i64 7
store i16 3, i16* %34
%35 = getelementptr inbounds [24 x i16], [24 x i16]* %6, i64 0, i64 12
store i16 4, i16* %35
%36 = getelementptr inbounds [24 x i16], [24 x i16]* %6, i64 0, i64 13
store i16 5, i16* %36
%37 = getelementptr inbounds [24 x i16], [24 x i16]* %6, i64 0, i64 14
store i16 6, i16* %37
%38 = bitcast [4 x [3 x [2 x i16]]]* %7 to i8*
%39 = getelementptr inbounds [4 x [3 x [2 x i16]]], [4 x [3 x [2 x i16]]]* %7, i64 0, i64 0, i64 0, i64 0
store i16 1, i16* %39
%40 = getelementptr inbounds [4 x [3 x [2 x i16]]], [4 x [3 x [2 x i16]]]* %7, i64 0, i64 1, i64 0, i64 0
store i16 2, i16* %40
%41 = getelementptr inbounds [4 x [3 x [2 x i16]]], [4 x [3 x [2 x i16]]]* %7, i64 0, i64 1, i64 0, i64 1
store i16 3, i16* %41
%42 = getelementptr inbounds [4 x [3 x [2 x i16]]], [4 x [3 x [2 x i16]]]* %7, i64 0, i64 2, i64 0, i64 0
store i16 4, i16* %42
%43 = getelementptr inbounds [4 x [3 x [2 x i16]]], [4 x [3 x [2 x i16]]]* %7, i64 0, i64 2, i64 0, i64 1
store i16 5, i16* %43
%44 = getelementptr inbounds [4 x [3 x [2 x i16]]], [4 x [3 x [2 x i16]]]* %7, i64 0, i64 2, i64 1, i64 0
store i16 6, i16* %44
%45 = bitcast [4 x [3 x [2 x i16]]]* %7 to i16***
%46 = call i32 @verify_short(i16* %32, i16*** %45, i32 24)
%47 = call i32 @fexpect(i8* getelementptr inbounds ([134 x i8], [134 x i8]* @.str, i64 0, i64 0), i32 36, i32 3, i32 3)
ret void
}