#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 */
char ACS_CKBOARD;
int /*<<< orphan*/ COLOR_BLACK;
int /*<<< orphan*/ COLOR_PAIR(int);
int /*<<< orphan*/ COLOR_WHITE;
int /*<<< orphan*/ attrset(int /*<<< orphan*/);
int /*<<< orphan*/ init_pair(int, int /*<<< orphan*/, int /*<<< orphan*/);
int /*<<< orphan*/ mvaddch(int, int, char);
int /*<<< orphan*/ napms(int);
int /*<<< orphan*/ refresh();
void explosion(int y, int x) {
  init_pair(0, COLOR_WHITE, COLOR_BLACK);
  init_pair(1, COLOR_BLACK, COLOR_WHITE);
  mvaddch(y, x, ACS_CKBOARD);
  refresh();
  napms(50);
  mvaddch(y - 1, x, ACS_CKBOARD);
  mvaddch(y + 1, x, ACS_CKBOARD);
  mvaddch(y, x - 1, ACS_CKBOARD);
  mvaddch(y, x + 1, ACS_CKBOARD);
  attrset(COLOR_PAIR(0));
  mvaddch(y, x, ' ');
  attrset(COLOR_PAIR(1));
  refresh();
  napms(50);
  attrset(COLOR_PAIR(1));
  mvaddch(y - 1, x, ' ');
  mvaddch(y + 1, x, ' ');
  mvaddch(y, x - 1, ' ');
  mvaddch(y, x + 1, ' ');
  mvaddch(y, x, ' ');
  attrset(COLOR_PAIR(0));
  mvaddch(y - 1, x - 1, ACS_CKBOARD);
  mvaddch(y + 1, x - 1, ACS_CKBOARD);
  mvaddch(y - 1, x + 1, ACS_CKBOARD);
  mvaddch(y + 1, x + 1, ACS_CKBOARD);
  refresh();
  napms(50);
  mvaddch(y - 1, x - 1, ' ');
  mvaddch(y + 1, x - 1, ' ');
  mvaddch(y - 1, x + 1, ' ');
  mvaddch(y + 1, x + 1, ' ');
  refresh();
  napms(50);
  mvaddch(y - 1, x, ' ');
  mvaddch(y + 1, x, ' ');
  mvaddch(y, x - 1, ' ');
  mvaddch(y, x + 1, ' ');
  refresh();
  napms(50);
  mvaddch(y, x, '*');
}


x86 assembly (clang, -O0):
<explosion>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    0x2e5b(%rip),%rax
mov    (%rax),%esi
mov    0x2e62(%rip),%rax
mov    (%rax),%edx
xor    %edi,%edi
call   1030 <init_pair@plt>
mov    0x2e52(%rip),%rax
mov    (%rax),%esi
mov    0x2e39(%rip),%rax
mov    (%rax),%edx
mov    $0x1,%edi
call   1030 <init_pair@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    0x2e38(%rip),%rax
movsbl (%rax),%edx
call   1070 <mvaddch@plt>
mov    $0x0,%al
call   1050 <refresh@plt>
mov    $0x32,%edi
call   1080 <napms@plt>
mov    -0x4(%rbp),%edi
sub    $0x1,%edi
mov    -0x8(%rbp),%esi
mov    0x2e0f(%rip),%rax
movsbl (%rax),%edx
call   1070 <mvaddch@plt>
mov    -0x4(%rbp),%edi
add    $0x1,%edi
mov    -0x8(%rbp),%esi
mov    0x2df7(%rip),%rax
movsbl (%rax),%edx
call   1070 <mvaddch@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
sub    $0x1,%esi
mov    0x2ddf(%rip),%rax
movsbl (%rax),%edx
call   1070 <mvaddch@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
add    $0x1,%esi
mov    0x2dc7(%rip),%rax
movsbl (%rax),%edx
call   1070 <mvaddch@plt>
xor    %edi,%edi
call   1040 <COLOR_PAIR@plt>
mov    %eax,%edi
call   1060 <attrset@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    $0x20,%edx
call   1070 <mvaddch@plt>
mov    $0x1,%edi
call   1040 <COLOR_PAIR@plt>
mov    %eax,%edi
call   1060 <attrset@plt>
mov    $0x0,%al
call   1050 <refresh@plt>
mov    $0x32,%edi
call   1080 <napms@plt>
mov    $0x1,%edi
call   1040 <COLOR_PAIR@plt>
mov    %eax,%edi
call   1060 <attrset@plt>
mov    -0x4(%rbp),%edi
sub    $0x1,%edi
mov    -0x8(%rbp),%esi
mov    $0x20,%edx
call   1070 <mvaddch@plt>
mov    -0x4(%rbp),%edi
add    $0x1,%edi
mov    -0x8(%rbp),%esi
mov    $0x20,%edx
call   1070 <mvaddch@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
sub    $0x1,%esi
mov    $0x20,%edx
call   1070 <mvaddch@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
add    $0x1,%esi
mov    $0x20,%edx
call   1070 <mvaddch@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    $0x20,%edx
call   1070 <mvaddch@plt>
xor    %edi,%edi
call   1040 <COLOR_PAIR@plt>
mov    %eax,%edi
call   1060 <attrset@plt>
mov    -0x4(%rbp),%edi
sub    $0x1,%edi
mov    -0x8(%rbp),%esi
sub    $0x1,%esi
mov    0x2cf1(%rip),%rax
movsbl (%rax),%edx
call   1070 <mvaddch@plt>
mov    -0x4(%rbp),%edi
add    $0x1,%edi
mov    -0x8(%rbp),%esi
sub    $0x1,%esi
mov    0x2cd6(%rip),%rax
movsbl (%rax),%edx
call   1070 <mvaddch@plt>
mov    -0x4(%rbp),%edi
sub    $0x1,%edi
mov    -0x8(%rbp),%esi
add    $0x1,%esi
mov    0x2cbb(%rip),%rax
movsbl (%rax),%edx
call   1070 <mvaddch@plt>
mov    -0x4(%rbp),%edi
add    $0x1,%edi
mov    -0x8(%rbp),%esi
add    $0x1,%esi
mov    0x2ca0(%rip),%rax
movsbl (%rax),%edx
call   1070 <mvaddch@plt>
mov    $0x0,%al
call   1050 <refresh@plt>
mov    $0x32,%edi
call   1080 <napms@plt>
mov    -0x4(%rbp),%edi
sub    $0x1,%edi
mov    -0x8(%rbp),%esi
sub    $0x1,%esi
mov    $0x20,%edx
call   1070 <mvaddch@plt>
mov    -0x4(%rbp),%edi
add    $0x1,%edi
mov    -0x8(%rbp),%esi
sub    $0x1,%esi
mov    $0x20,%edx
call   1070 <mvaddch@plt>
mov    -0x4(%rbp),%edi
sub    $0x1,%edi
mov    -0x8(%rbp),%esi
add    $0x1,%esi
mov    $0x20,%edx
call   1070 <mvaddch@plt>
mov    -0x4(%rbp),%edi
add    $0x1,%edi
mov    -0x8(%rbp),%esi
add    $0x1,%esi
mov    $0x20,%edx
call   1070 <mvaddch@plt>
mov    $0x0,%al
call   1050 <refresh@plt>
mov    $0x32,%edi
call   1080 <napms@plt>
mov    -0x4(%rbp),%edi
sub    $0x1,%edi
mov    -0x8(%rbp),%esi
mov    $0x20,%edx
call   1070 <mvaddch@plt>
mov    -0x4(%rbp),%edi
add    $0x1,%edi
mov    -0x8(%rbp),%esi
mov    $0x20,%edx
call   1070 <mvaddch@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
sub    $0x1,%esi
mov    $0x20,%edx
call   1070 <mvaddch@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
add    $0x1,%esi
mov    $0x20,%edx
call   1070 <mvaddch@plt>
mov    $0x0,%al
call   1050 <refresh@plt>
mov    $0x32,%edi
call   1080 <napms@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    $0x2a,%edx
call   1070 <mvaddch@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<explosion>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %esi,%ebx
mov    %edi,%r14d
mov    0x2e56(%rip),%r15
mov    (%r15),%esi
mov    0x2e5c(%rip),%rbp
mov    0x0(%rbp),%edx
xor    %edi,%edi
call   1030 <init_pair@plt>
mov    0x0(%rbp),%esi
mov    (%r15),%edx
mov    $0x1,%edi
call   1030 <init_pair@plt>
mov    0x2e43(%rip),%rax
movsbl (%rax),%edx
mov    %rax,%rbp
mov    %r14d,%edi
mov    %ebx,%esi
call   1070 <mvaddch@plt>
xor    %eax,%eax
call   1050 <refresh@plt>
mov    $0x32,%edi
call   1080 <napms@plt>
lea    -0x1(%r14),%r12d
movsbl 0x0(%rbp),%edx
mov    %r12d,%edi
mov    %ebx,%esi
call   1070 <mvaddch@plt>
lea    0x1(%r14),%r13d
movsbl 0x0(%rbp),%edx
mov    %r13d,%edi
mov    %ebx,%esi
call   1070 <mvaddch@plt>
lea    -0x1(%rbx),%esi
mov    %esi,0x8(%rsp)
movsbl 0x0(%rbp),%edx
mov    %r14d,%edi
call   1070 <mvaddch@plt>
lea    0x1(%rbx),%r15d
movsbl 0x0(%rbp),%edx
mov    %r14d,%edi
mov    %r15d,%esi
mov    %r15d,0xc(%rsp)
call   1070 <mvaddch@plt>
xor    %edi,%edi
call   1040 <COLOR_PAIR@plt>
mov    %eax,%edi
call   1060 <attrset@plt>
mov    %r14d,%edi
mov    %ebx,%esi
mov    $0x20,%edx
call   1070 <mvaddch@plt>
mov    $0x1,%edi
call   1040 <COLOR_PAIR@plt>
mov    %eax,%edi
call   1060 <attrset@plt>
xor    %eax,%eax
call   1050 <refresh@plt>
mov    $0x32,%edi
call   1080 <napms@plt>
mov    $0x1,%edi
call   1040 <COLOR_PAIR@plt>
mov    %eax,%edi
call   1060 <attrset@plt>
mov    %r12d,%edi
mov    %ebx,%esi
mov    $0x20,%edx
call   1070 <mvaddch@plt>
mov    %r13d,%edi
mov    %r13d,%ebp
mov    %ebx,%esi
mov    %rbx,%r13
mov    %rbx,0x10(%rsp)
mov    $0x20,%edx
call   1070 <mvaddch@plt>
mov    %r14d,%edi
mov    0x8(%rsp),%ebx
mov    %ebx,%esi
mov    $0x20,%edx
call   1070 <mvaddch@plt>
mov    %r14d,%edi
mov    %r15d,%esi
mov    $0x20,%edx
call   1070 <mvaddch@plt>
mov    %r14d,%edi
mov    %r13d,%esi
mov    $0x20,%edx
call   1070 <mvaddch@plt>
xor    %edi,%edi
call   1040 <COLOR_PAIR@plt>
mov    %eax,%edi
call   1060 <attrset@plt>
mov    0x2d12(%rip),%r15
movsbl (%r15),%edx
mov    %r12d,%edi
mov    %ebx,%esi
call   1070 <mvaddch@plt>
movsbl (%r15),%edx
mov    %ebp,%edi
mov    %ebx,%esi
call   1070 <mvaddch@plt>
movsbl (%r15),%edx
mov    %r12d,%edi
mov    0xc(%rsp),%r13d
mov    %r13d,%esi
call   1070 <mvaddch@plt>
movsbl (%r15),%edx
mov    %ebp,%edi
mov    %r13d,%esi
call   1070 <mvaddch@plt>
xor    %eax,%eax
call   1050 <refresh@plt>
mov    $0x32,%edi
call   1080 <napms@plt>
mov    %r12d,%edi
mov    0x8(%rsp),%r15d
mov    %r15d,%esi
mov    $0x20,%edx
call   1070 <mvaddch@plt>
mov    %ebp,%edi
mov    %r15d,%esi
mov    $0x20,%edx
call   1070 <mvaddch@plt>
mov    %r12d,%edi
mov    %r13d,%esi
mov    $0x20,%edx
call   1070 <mvaddch@plt>
mov    %ebp,%edi
mov    %r13d,%esi
mov    $0x20,%edx
call   1070 <mvaddch@plt>
xor    %eax,%eax
call   1050 <refresh@plt>
mov    $0x32,%edi
call   1080 <napms@plt>
mov    %r12d,%edi
mov    0x10(%rsp),%rbx
mov    %ebx,%esi
mov    $0x20,%edx
call   1070 <mvaddch@plt>
mov    %ebp,%edi
mov    %ebx,%esi
mov    $0x20,%edx
call   1070 <mvaddch@plt>
mov    %r14d,%edi
mov    %r15d,%esi
mov    $0x20,%edx
call   1070 <mvaddch@plt>
mov    %r14d,%edi
mov    %r13d,%esi
mov    $0x20,%edx
call   1070 <mvaddch@plt>
xor    %eax,%eax
call   1050 <refresh@plt>
mov    $0x32,%edi
call   1080 <napms@plt>
mov    %r14d,%edi
mov    %ebx,%esi
mov    $0x2a,%edx
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1070 <mvaddch@plt>

LLVM IR (-O0):
@COLOR_WHITE = global i32 0
@COLOR_BLACK = global i32 0
@ACS_CKBOARD = global i8 0
define void @explosion(i32 %0, i32 %1) {
%3 = alloca i32
%4 = alloca i32
store i32 %0, i32* %3
store i32 %1, i32* %4
%5 = load i32, i32* @COLOR_WHITE
%6 = load i32, i32* @COLOR_BLACK
%7 = call i32 @init_pair(i32 0, i32 %5, i32 %6)
%8 = load i32, i32* @COLOR_BLACK
%9 = load i32, i32* @COLOR_WHITE
%10 = call i32 @init_pair(i32 1, i32 %8, i32 %9)
%11 = load i32, i32* %3
%12 = load i32, i32* %4
%13 = load i8, i8* @ACS_CKBOARD
%14 = call i32 @mvaddch(i32 %11, i32 %12, i8 signext %13)
%15 = call i32 (...) @refresh()
%16 = call i32 @napms(i32 50)
%17 = load i32, i32* %3
%18 = sub nsw i32 %17, 1
%19 = load i32, i32* %4
%20 = load i8, i8* @ACS_CKBOARD
%21 = call i32 @mvaddch(i32 %18, i32 %19, i8 signext %20)
%22 = load i32, i32* %3
%23 = add nsw i32 %22, 1
%24 = load i32, i32* %4
%25 = load i8, i8* @ACS_CKBOARD
%26 = call i32 @mvaddch(i32 %23, i32 %24, i8 signext %25)
%27 = load i32, i32* %3
%28 = load i32, i32* %4
%29 = sub nsw i32 %28, 1
%30 = load i8, i8* @ACS_CKBOARD
%31 = call i32 @mvaddch(i32 %27, i32 %29, i8 signext %30)
%32 = load i32, i32* %3
%33 = load i32, i32* %4
%34 = add nsw i32 %33, 1
%35 = load i8, i8* @ACS_CKBOARD
%36 = call i32 @mvaddch(i32 %32, i32 %34, i8 signext %35)
%37 = call i32 @COLOR_PAIR(i32 0)
%38 = call i32 @attrset(i32 %37)
%39 = load i32, i32* %3
%40 = load i32, i32* %4
%41 = call i32 @mvaddch(i32 %39, i32 %40, i8 signext 32)
%42 = call i32 @COLOR_PAIR(i32 1)
%43 = call i32 @attrset(i32 %42)
%44 = call i32 (...) @refresh()
%45 = call i32 @napms(i32 50)
%46 = call i32 @COLOR_PAIR(i32 1)
%47 = call i32 @attrset(i32 %46)
%48 = load i32, i32* %3
%49 = sub nsw i32 %48, 1
%50 = load i32, i32* %4
%51 = call i32 @mvaddch(i32 %49, i32 %50, i8 signext 32)
%52 = load i32, i32* %3
%53 = add nsw i32 %52, 1
%54 = load i32, i32* %4
%55 = call i32 @mvaddch(i32 %53, i32 %54, i8 signext 32)
%56 = load i32, i32* %3
%57 = load i32, i32* %4
%58 = sub nsw i32 %57, 1
%59 = call i32 @mvaddch(i32 %56, i32 %58, i8 signext 32)
%60 = load i32, i32* %3
%61 = load i32, i32* %4
%62 = add nsw i32 %61, 1
%63 = call i32 @mvaddch(i32 %60, i32 %62, i8 signext 32)
%64 = load i32, i32* %3
%65 = load i32, i32* %4
%66 = call i32 @mvaddch(i32 %64, i32 %65, i8 signext 32)
%67 = call i32 @COLOR_PAIR(i32 0)
%68 = call i32 @attrset(i32 %67)
%69 = load i32, i32* %3
%70 = sub nsw i32 %69, 1
%71 = load i32, i32* %4
%72 = sub nsw i32 %71, 1
%73 = load i8, i8* @ACS_CKBOARD
%74 = call i32 @mvaddch(i32 %70, i32 %72, i8 signext %73)
%75 = load i32, i32* %3
%76 = add nsw i32 %75, 1
%77 = load i32, i32* %4
%78 = sub nsw i32 %77, 1
%79 = load i8, i8* @ACS_CKBOARD
%80 = call i32 @mvaddch(i32 %76, i32 %78, i8 signext %79)
%81 = load i32, i32* %3
%82 = sub nsw i32 %81, 1
%83 = load i32, i32* %4
%84 = add nsw i32 %83, 1
%85 = load i8, i8* @ACS_CKBOARD
%86 = call i32 @mvaddch(i32 %82, i32 %84, i8 signext %85)
%87 = load i32, i32* %3
%88 = add nsw i32 %87, 1
%89 = load i32, i32* %4
%90 = add nsw i32 %89, 1
%91 = load i8, i8* @ACS_CKBOARD
%92 = call i32 @mvaddch(i32 %88, i32 %90, i8 signext %91)
%93 = call i32 (...) @refresh()
%94 = call i32 @napms(i32 50)
%95 = load i32, i32* %3
%96 = sub nsw i32 %95, 1
%97 = load i32, i32* %4
%98 = sub nsw i32 %97, 1
%99 = call i32 @mvaddch(i32 %96, i32 %98, i8 signext 32)
%100 = load i32, i32* %3
%101 = add nsw i32 %100, 1
%102 = load i32, i32* %4
%103 = sub nsw i32 %102, 1
%104 = call i32 @mvaddch(i32 %101, i32 %103, i8 signext 32)
%105 = load i32, i32* %3
%106 = sub nsw i32 %105, 1
%107 = load i32, i32* %4
%108 = add nsw i32 %107, 1
%109 = call i32 @mvaddch(i32 %106, i32 %108, i8 signext 32)
%110 = load i32, i32* %3
%111 = add nsw i32 %110, 1
%112 = load i32, i32* %4
%113 = add nsw i32 %112, 1
%114 = call i32 @mvaddch(i32 %111, i32 %113, i8 signext 32)
%115 = call i32 (...) @refresh()
%116 = call i32 @napms(i32 50)
%117 = load i32, i32* %3
%118 = sub nsw i32 %117, 1
%119 = load i32, i32* %4
%120 = call i32 @mvaddch(i32 %118, i32 %119, i8 signext 32)
%121 = load i32, i32* %3
%122 = add nsw i32 %121, 1
%123 = load i32, i32* %4
%124 = call i32 @mvaddch(i32 %122, i32 %123, i8 signext 32)
%125 = load i32, i32* %3
%126 = load i32, i32* %4
%127 = sub nsw i32 %126, 1
%128 = call i32 @mvaddch(i32 %125, i32 %127, i8 signext 32)
%129 = load i32, i32* %3
%130 = load i32, i32* %4
%131 = add nsw i32 %130, 1
%132 = call i32 @mvaddch(i32 %129, i32 %131, i8 signext 32)
%133 = call i32 (...) @refresh()
%134 = call i32 @napms(i32 50)
%135 = load i32, i32* %3
%136 = load i32, i32* %4
%137 = call i32 @mvaddch(i32 %135, i32 %136, i8 signext 42)
ret void
}

LLVM IR (-O2):
@COLOR_WHITE = global i32 0
@COLOR_BLACK = global i32 0
@ACS_CKBOARD = global i8 0
define void @explosion(i32 %0, i32 %1) {
%3 = load i32, i32* @COLOR_WHITE
%4 = load i32, i32* @COLOR_BLACK
%5 = tail call i32 @init_pair(i32 0, i32 %3, i32 %4)
%6 = load i32, i32* @COLOR_BLACK
%7 = load i32, i32* @COLOR_WHITE
%8 = tail call i32 @init_pair(i32 1, i32 %6, i32 %7)
%9 = load i8, i8* @ACS_CKBOARD
%10 = tail call i32 @mvaddch(i32 %0, i32 %1, i8 signext %9)
%11 = tail call i32 (...) @refresh()
%12 = tail call i32 @napms(i32 50)
%13 = add nsw i32 %0, -1
%14 = load i8, i8* @ACS_CKBOARD
%15 = tail call i32 @mvaddch(i32 %13, i32 %1, i8 signext %14)
%16 = add nsw i32 %0, 1
%17 = load i8, i8* @ACS_CKBOARD
%18 = tail call i32 @mvaddch(i32 %16, i32 %1, i8 signext %17)
%19 = add nsw i32 %1, -1
%20 = load i8, i8* @ACS_CKBOARD
%21 = tail call i32 @mvaddch(i32 %0, i32 %19, i8 signext %20)
%22 = add nsw i32 %1, 1
%23 = load i8, i8* @ACS_CKBOARD
%24 = tail call i32 @mvaddch(i32 %0, i32 %22, i8 signext %23)
%25 = tail call i32 @COLOR_PAIR(i32 0)
%26 = tail call i32 @attrset(i32 %25)
%27 = tail call i32 @mvaddch(i32 %0, i32 %1, i8 signext 32)
%28 = tail call i32 @COLOR_PAIR(i32 1)
%29 = tail call i32 @attrset(i32 %28)
%30 = tail call i32 (...) @refresh()
%31 = tail call i32 @napms(i32 50)
%32 = tail call i32 @COLOR_PAIR(i32 1)
%33 = tail call i32 @attrset(i32 %32)
%34 = tail call i32 @mvaddch(i32 %13, i32 %1, i8 signext 32)
%35 = tail call i32 @mvaddch(i32 %16, i32 %1, i8 signext 32)
%36 = tail call i32 @mvaddch(i32 %0, i32 %19, i8 signext 32)
%37 = tail call i32 @mvaddch(i32 %0, i32 %22, i8 signext 32)
%38 = tail call i32 @mvaddch(i32 %0, i32 %1, i8 signext 32)
%39 = tail call i32 @COLOR_PAIR(i32 0)
%40 = tail call i32 @attrset(i32 %39)
%41 = load i8, i8* @ACS_CKBOARD
%42 = tail call i32 @mvaddch(i32 %13, i32 %19, i8 signext %41)
%43 = load i8, i8* @ACS_CKBOARD
%44 = tail call i32 @mvaddch(i32 %16, i32 %19, i8 signext %43)
%45 = load i8, i8* @ACS_CKBOARD
%46 = tail call i32 @mvaddch(i32 %13, i32 %22, i8 signext %45)
%47 = load i8, i8* @ACS_CKBOARD
%48 = tail call i32 @mvaddch(i32 %16, i32 %22, i8 signext %47)
%49 = tail call i32 (...) @refresh()
%50 = tail call i32 @napms(i32 50)
%51 = tail call i32 @mvaddch(i32 %13, i32 %19, i8 signext 32)
%52 = tail call i32 @mvaddch(i32 %16, i32 %19, i8 signext 32)
%53 = tail call i32 @mvaddch(i32 %13, i32 %22, i8 signext 32)
%54 = tail call i32 @mvaddch(i32 %16, i32 %22, i8 signext 32)
%55 = tail call i32 (...) @refresh()
%56 = tail call i32 @napms(i32 50)
%57 = tail call i32 @mvaddch(i32 %13, i32 %1, i8 signext 32)
%58 = tail call i32 @mvaddch(i32 %16, i32 %1, i8 signext 32)
%59 = tail call i32 @mvaddch(i32 %0, i32 %19, i8 signext 32)
%60 = tail call i32 @mvaddch(i32 %0, i32 %22, i8 signext 32)
%61 = tail call i32 (...) @refresh()
%62 = tail call i32 @napms(i32 50)
%63 = tail call i32 @mvaddch(i32 %0, i32 %1, i8 signext 42)
ret void
}