#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 uint8_t;

/* Variables and functions */
int gfmul(int, int);
void set_power(uint8_t *matrix) {
  unsigned i;
  uint8_t v;
  v = 1;
  for (i = 0; i < (257 - 6); ++i)
    matrix[0 * (257 - 6) + i] = v;
  v = 1;
  for (i = 0; i < (257 - 6); ++i) {
    matrix[1 * (257 - 6) + i] = v;
    v = gfmul(2, v);
  }
  v = 1;
  for (i = 0; i < (257 - 6); ++i) {
    matrix[2 * (257 - 6) + i] = v;
    v = gfmul(0x8e, v);
  }
}


x86 assembly (clang, -O0):
<set_power>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
movl   $0x1,-0x10(%rbp)
movl   $0x0,-0xc(%rbp)
cmpl   $0xfb,-0xc(%rbp)
jae    1157 <set_power+0x47>
mov    -0x10(%rbp),%edx
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x0,%ecx
mov    %ecx,%ecx
mov    %edx,(%rax,%rcx,4)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    112a <set_power+0x1a>
movl   $0x1,-0x10(%rbp)
movl   $0x0,-0xc(%rbp)
cmpl   $0xfb,-0xc(%rbp)
jae    11a5 <set_power+0x95>
mov    -0x10(%rbp),%edx
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0xfb,%ecx
mov    %ecx,%ecx
mov    %edx,(%rax,%rcx,4)
mov    -0x10(%rbp),%esi
mov    $0x2,%edi
call   1030 <gfmul@plt>
mov    %eax,-0x10(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1165 <set_power+0x55>
movl   $0x1,-0x10(%rbp)
movl   $0x0,-0xc(%rbp)
cmpl   $0xfb,-0xc(%rbp)
jae    11f3 <set_power+0xe3>
mov    -0x10(%rbp),%edx
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x1f6,%ecx
mov    %ecx,%ecx
mov    %edx,(%rax,%rcx,4)
mov    -0x10(%rbp),%esi
mov    $0x8e,%edi
call   1030 <gfmul@plt>
mov    %eax,-0x10(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    11b3 <set_power+0xa3>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<set_power>:
push   %r14
push   %rbx
push   %rax
mov    %rdi,%r14
movaps 0xee2(%rip),%xmm0
movups %xmm0,(%rdi)
movups %xmm0,0x10(%rdi)
movups %xmm0,0x20(%rdi)
movups %xmm0,0x30(%rdi)
movups %xmm0,0x40(%rdi)
movups %xmm0,0x50(%rdi)
movups %xmm0,0x60(%rdi)
movups %xmm0,0x70(%rdi)
movups %xmm0,0x80(%rdi)
movups %xmm0,0x90(%rdi)
movups %xmm0,0xa0(%rdi)
movups %xmm0,0xb0(%rdi)
movups %xmm0,0xc0(%rdi)
movups %xmm0,0xd0(%rdi)
movups %xmm0,0xe0(%rdi)
movups %xmm0,0xf0(%rdi)
movups %xmm0,0x100(%rdi)
movups %xmm0,0x110(%rdi)
movups %xmm0,0x120(%rdi)
movups %xmm0,0x130(%rdi)
movups %xmm0,0x140(%rdi)
movups %xmm0,0x150(%rdi)
movups %xmm0,0x160(%rdi)
movups %xmm0,0x170(%rdi)
movups %xmm0,0x180(%rdi)
movups %xmm0,0x190(%rdi)
movups %xmm0,0x1a0(%rdi)
movups %xmm0,0x1b0(%rdi)
movups %xmm0,0x1c0(%rdi)
movups %xmm0,0x1d0(%rdi)
movups %xmm0,0x1e0(%rdi)
movups %xmm0,0x1f0(%rdi)
movups %xmm0,0x200(%rdi)
movups %xmm0,0x210(%rdi)
movups %xmm0,0x220(%rdi)
movups %xmm0,0x230(%rdi)
movups %xmm0,0x240(%rdi)
movups %xmm0,0x250(%rdi)
movups %xmm0,0x260(%rdi)
movups %xmm0,0x270(%rdi)
movups %xmm0,0x280(%rdi)
movups %xmm0,0x290(%rdi)
movups %xmm0,0x2a0(%rdi)
movups %xmm0,0x2b0(%rdi)
movups %xmm0,0x2c0(%rdi)
movups %xmm0,0x2d0(%rdi)
movups %xmm0,0x2e0(%rdi)
movups %xmm0,0x2f0(%rdi)
movups %xmm0,0x300(%rdi)
movups %xmm0,0x310(%rdi)
movups %xmm0,0x320(%rdi)
movups %xmm0,0x330(%rdi)
movups %xmm0,0x340(%rdi)
movups %xmm0,0x350(%rdi)
movups %xmm0,0x360(%rdi)
movups %xmm0,0x370(%rdi)
movups %xmm0,0x380(%rdi)
movups %xmm0,0x390(%rdi)
movups %xmm0,0x3a0(%rdi)
movups %xmm0,0x3b0(%rdi)
movups %xmm0,0x3c0(%rdi)
movups %xmm0,0x3d0(%rdi)
movabs $0x100000001,%rax
mov    %rax,0x3e0(%rdi)
movl   $0x1,0x3e8(%rdi)
mov    $0x1,%eax
xor    %ebx,%ebx
nopl   0x0(%rax)
mov    %eax,0x3ec(%r14,%rbx,4)
mov    $0x2,%edi
mov    %eax,%esi
call   1030 <gfmul@plt>
add    $0x1,%rbx
cmp    $0xfb,%rbx
jne    12e0 <set_power+0x1d0>
mov    $0x1,%eax
xor    %ebx,%ebx
nopl   0x0(%rax,%rax,1)
mov    %eax,0x7d8(%r14,%rbx,4)
mov    $0x8e,%edi
mov    %eax,%esi
call   1030 <gfmul@plt>
add    $0x1,%rbx
cmp    $0xfb,%rbx
jne    1310 <set_power+0x200>
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
define void @set_power(i32* %0) {
%2 = alloca i32*
%3 = alloca i32
%4 = alloca i32
store i32* %0, i32** %2
store i32 1, i32* %4
store i32 0, i32* %3
br label %5
5: ; preds = %15, %1
%6 = load i32, i32* %3
%7 = icmp ult i32 %6, 251
br i1 %7, label %8, label %18
8: ; preds = %5
%9 = load i32, i32* %4
%10 = load i32*, i32** %2
%11 = load i32, i32* %3
%12 = add i32 0, %11
%13 = zext i32 %12 to i64
%14 = getelementptr inbounds i32, i32* %10, i64 %13
store i32 %9, i32* %14
br label %15
15: ; preds = %8
%16 = load i32, i32* %3
%17 = add i32 %16, 1
store i32 %17, i32* %3
br label %5
18: ; preds = %5
store i32 1, i32* %4
store i32 0, i32* %3
br label %19
19: ; preds = %31, %18
%20 = load i32, i32* %3
%21 = icmp ult i32 %20, 251
br i1 %21, label %22, label %34
22: ; preds = %19
%23 = load i32, i32* %4
%24 = load i32*, i32** %2
%25 = load i32, i32* %3
%26 = add i32 251, %25
%27 = zext i32 %26 to i64
%28 = getelementptr inbounds i32, i32* %24, i64 %27
store i32 %23, i32* %28
%29 = load i32, i32* %4
%30 = call i32 @gfmul(i32 2, i32 %29)
store i32 %30, i32* %4
br label %31
31: ; preds = %22
%32 = load i32, i32* %3
%33 = add i32 %32, 1
store i32 %33, i32* %3
br label %19
34: ; preds = %19
store i32 1, i32* %4
store i32 0, i32* %3
br label %35
35: ; preds = %47, %34
%36 = load i32, i32* %3
%37 = icmp ult i32 %36, 251
br i1 %37, label %38, label %50
38: ; preds = %35
%39 = load i32, i32* %4
%40 = load i32*, i32** %2
%41 = load i32, i32* %3
%42 = add i32 502, %41
%43 = zext i32 %42 to i64
%44 = getelementptr inbounds i32, i32* %40, i64 %43
store i32 %39, i32* %44
%45 = load i32, i32* %4
%46 = call i32 @gfmul(i32 142, i32 %45)
store i32 %46, i32* %4
br label %47
47: ; preds = %38
%48 = load i32, i32* %3
%49 = add i32 %48, 1
store i32 %49, i32* %3
br label %35
50: ; preds = %35
ret void
}

LLVM IR (-O2):
define void @set_power(i32* nocapture writeonly %0) {
%2 = bitcast i32* %0 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %2
%3 = getelementptr inbounds i32, i32* %0, i64 4
%4 = bitcast i32* %3 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %4
%5 = getelementptr inbounds i32, i32* %0, i64 8
%6 = bitcast i32* %5 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %6
%7 = getelementptr inbounds i32, i32* %0, i64 12
%8 = bitcast i32* %7 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %8
%9 = getelementptr inbounds i32, i32* %0, i64 16
%10 = bitcast i32* %9 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %10
%11 = getelementptr inbounds i32, i32* %0, i64 20
%12 = bitcast i32* %11 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %12
%13 = getelementptr inbounds i32, i32* %0, i64 24
%14 = bitcast i32* %13 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %14
%15 = getelementptr inbounds i32, i32* %0, i64 28
%16 = bitcast i32* %15 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %16
%17 = getelementptr inbounds i32, i32* %0, i64 32
%18 = bitcast i32* %17 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %18
%19 = getelementptr inbounds i32, i32* %0, i64 36
%20 = bitcast i32* %19 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %20
%21 = getelementptr inbounds i32, i32* %0, i64 40
%22 = bitcast i32* %21 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %22
%23 = getelementptr inbounds i32, i32* %0, i64 44
%24 = bitcast i32* %23 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %24
%25 = getelementptr inbounds i32, i32* %0, i64 48
%26 = bitcast i32* %25 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %26
%27 = getelementptr inbounds i32, i32* %0, i64 52
%28 = bitcast i32* %27 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %28
%29 = getelementptr inbounds i32, i32* %0, i64 56
%30 = bitcast i32* %29 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %30
%31 = getelementptr inbounds i32, i32* %0, i64 60
%32 = bitcast i32* %31 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %32
%33 = getelementptr inbounds i32, i32* %0, i64 64
%34 = bitcast i32* %33 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %34
%35 = getelementptr inbounds i32, i32* %0, i64 68
%36 = bitcast i32* %35 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %36
%37 = getelementptr inbounds i32, i32* %0, i64 72
%38 = bitcast i32* %37 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %38
%39 = getelementptr inbounds i32, i32* %0, i64 76
%40 = bitcast i32* %39 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %40
%41 = getelementptr inbounds i32, i32* %0, i64 80
%42 = bitcast i32* %41 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %42
%43 = getelementptr inbounds i32, i32* %0, i64 84
%44 = bitcast i32* %43 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %44
%45 = getelementptr inbounds i32, i32* %0, i64 88
%46 = bitcast i32* %45 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %46
%47 = getelementptr inbounds i32, i32* %0, i64 92
%48 = bitcast i32* %47 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %48
%49 = getelementptr inbounds i32, i32* %0, i64 96
%50 = bitcast i32* %49 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %50
%51 = getelementptr inbounds i32, i32* %0, i64 100
%52 = bitcast i32* %51 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %52
%53 = getelementptr inbounds i32, i32* %0, i64 104
%54 = bitcast i32* %53 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %54
%55 = getelementptr inbounds i32, i32* %0, i64 108
%56 = bitcast i32* %55 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %56
%57 = getelementptr inbounds i32, i32* %0, i64 112
%58 = bitcast i32* %57 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %58
%59 = getelementptr inbounds i32, i32* %0, i64 116
%60 = bitcast i32* %59 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %60
%61 = getelementptr inbounds i32, i32* %0, i64 120
%62 = bitcast i32* %61 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %62
%63 = getelementptr inbounds i32, i32* %0, i64 124
%64 = bitcast i32* %63 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %64
%65 = getelementptr inbounds i32, i32* %0, i64 128
%66 = bitcast i32* %65 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %66
%67 = getelementptr inbounds i32, i32* %0, i64 132
%68 = bitcast i32* %67 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %68
%69 = getelementptr inbounds i32, i32* %0, i64 136
%70 = bitcast i32* %69 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %70
%71 = getelementptr inbounds i32, i32* %0, i64 140
%72 = bitcast i32* %71 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %72
%73 = getelementptr inbounds i32, i32* %0, i64 144
%74 = bitcast i32* %73 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %74
%75 = getelementptr inbounds i32, i32* %0, i64 148
%76 = bitcast i32* %75 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %76
%77 = getelementptr inbounds i32, i32* %0, i64 152
%78 = bitcast i32* %77 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %78
%79 = getelementptr inbounds i32, i32* %0, i64 156
%80 = bitcast i32* %79 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %80
%81 = getelementptr inbounds i32, i32* %0, i64 160
%82 = bitcast i32* %81 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %82
%83 = getelementptr inbounds i32, i32* %0, i64 164
%84 = bitcast i32* %83 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %84
%85 = getelementptr inbounds i32, i32* %0, i64 168
%86 = bitcast i32* %85 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %86
%87 = getelementptr inbounds i32, i32* %0, i64 172
%88 = bitcast i32* %87 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %88
%89 = getelementptr inbounds i32, i32* %0, i64 176
%90 = bitcast i32* %89 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %90
%91 = getelementptr inbounds i32, i32* %0, i64 180
%92 = bitcast i32* %91 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %92
%93 = getelementptr inbounds i32, i32* %0, i64 184
%94 = bitcast i32* %93 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %94
%95 = getelementptr inbounds i32, i32* %0, i64 188
%96 = bitcast i32* %95 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %96
%97 = getelementptr inbounds i32, i32* %0, i64 192
%98 = bitcast i32* %97 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %98
%99 = getelementptr inbounds i32, i32* %0, i64 196
%100 = bitcast i32* %99 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %100
%101 = getelementptr inbounds i32, i32* %0, i64 200
%102 = bitcast i32* %101 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %102
%103 = getelementptr inbounds i32, i32* %0, i64 204
%104 = bitcast i32* %103 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %104
%105 = getelementptr inbounds i32, i32* %0, i64 208
%106 = bitcast i32* %105 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %106
%107 = getelementptr inbounds i32, i32* %0, i64 212
%108 = bitcast i32* %107 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %108
%109 = getelementptr inbounds i32, i32* %0, i64 216
%110 = bitcast i32* %109 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %110
%111 = getelementptr inbounds i32, i32* %0, i64 220
%112 = bitcast i32* %111 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %112
%113 = getelementptr inbounds i32, i32* %0, i64 224
%114 = bitcast i32* %113 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %114
%115 = getelementptr inbounds i32, i32* %0, i64 228
%116 = bitcast i32* %115 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %116
%117 = getelementptr inbounds i32, i32* %0, i64 232
%118 = bitcast i32* %117 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %118
%119 = getelementptr inbounds i32, i32* %0, i64 236
%120 = bitcast i32* %119 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %120
%121 = getelementptr inbounds i32, i32* %0, i64 240
%122 = bitcast i32* %121 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %122
%123 = getelementptr inbounds i32, i32* %0, i64 244
%124 = bitcast i32* %123 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %124
%125 = getelementptr inbounds i32, i32* %0, i64 248
store i32 1, i32* %125
%126 = getelementptr inbounds i32, i32* %0, i64 249
store i32 1, i32* %126
%127 = getelementptr inbounds i32, i32* %0, i64 250
store i32 1, i32* %127
br label %128
128: ; preds = %1, %128
%129 = phi i64 [ %134, %128 ], [ 0, %1 ]
%130 = phi i32 [ %133, %128 ], [ 1, %1 ]
%131 = add nuw nsw i64 %129, 251
%132 = getelementptr inbounds i32, i32* %0, i64 %131
store i32 %130, i32* %132
%133 = tail call i32 @gfmul(i32 2, i32 %130)
%134 = add nuw nsw i64 %129, 1
%135 = icmp eq i64 %134, 251
br i1 %135, label %136, label %128
136: ; preds = %128, %136
%137 = phi i64 [ %142, %136 ], [ 0, %128 ]
%138 = phi i32 [ %141, %136 ], [ 1, %128 ]
%139 = add nuw nsw i64 %137, 502
%140 = getelementptr inbounds i32, i32* %0, i64 %139
store i32 %138, i32* %140
%141 = tail call i32 @gfmul(i32 142, i32 %138)
%142 = add nuw nsw i64 %137, 1
%143 = icmp eq i64 %142, 251
br i1 %143, label %144, label %136
144: ; preds = %136
ret void
}