#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*/ add_global(char *, int);
int atoi(char const *);
int /*<<< orphan*/ exit(int);
int /*<<< orphan*/ fprintf(int /*<<< orphan*/, char *);
int /*<<< orphan*/ stderr;
void define_mdl_symbols(const char *version) {
  add_global("a", 01);
  add_global("b", 02);
  add_global("c", 03);
  add_global("d", 04);
  add_global("e", 05);
  add_global("pvp", 06);
  add_global("tvp", 07);
  add_global("sp", 010);
  add_global("ab", 011);
  add_global("tb", 012);
  add_global("tp", 013);
  add_global("frm", 014);
  add_global("m", 015);
  add_global("r", 016);
  add_global("p", 017);
  add_global("hibot", 0700000);
  switch (atoi(version)) {
  case 54:
    add_global("purtop", 0123);
    add_global("pmapb", 0126);
    add_global("globsp", 01364);
    add_global("glotop", 01372);
    break;
  case 104:
    add_global("purtop", 0163);
    add_global("pmapb", 0166);
    add_global("globsp", 01474);
    add_global("glotop", 01502);
    break;
  case 105:
    add_global("purtop", 0165);
    add_global("pmapb", 0170);
    add_global("globsp", 01674);
    add_global("glotop", 01666);
    break;
  case 56:
    add_global("purtop", 0167);
    add_global("pmapb", 0175);
    add_global("globsp", 01566);
    add_global("glotop", 01574);
    break;
  case 106:
    add_global("purtop", 0217);
    add_global("pmapb", 0222);
    add_global("globsp", 01677);
    add_global("glotop", 01705);
    break;
  default:
    fprintf(stderr, "Unsupported Muddle version\n");
    exit(1);
  }
}


x86 assembly (clang, -O0):
<define_mdl_symbols>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
lea    0xead(%rip),%rdi
mov    $0x1,%esi
call   1060 <add_global@plt>
lea    0xead(%rip),%rdi
mov    $0x2,%esi
call   1060 <add_global@plt>
lea    0xe8d(%rip),%rdi
mov    $0x3,%esi
call   1060 <add_global@plt>
lea    0xe7e(%rip),%rdi
mov    $0x4,%esi
call   1060 <add_global@plt>
lea    0xe6f(%rip),%rdi
mov    $0x5,%esi
call   1060 <add_global@plt>
lea    0xe60(%rip),%rdi
mov    $0x6,%esi
call   1060 <add_global@plt>
lea    0xe53(%rip),%rdi
mov    $0x7,%esi
call   1060 <add_global@plt>
lea    0xe6c(%rip),%rdi
mov    $0x8,%esi
call   1060 <add_global@plt>
lea    0xe35(%rip),%rdi
mov    $0x9,%esi
call   1060 <add_global@plt>
lea    0xe27(%rip),%rdi
mov    $0xa,%esi
call   1060 <add_global@plt>
lea    0xe19(%rip),%rdi
mov    $0xb,%esi
call   1060 <add_global@plt>
lea    0xe0b(%rip),%rdi
mov    $0xc,%esi
call   1060 <add_global@plt>
lea    0xdfc(%rip),%rdi
mov    $0xd,%esi
call   1060 <add_global@plt>
lea    0xded(%rip),%rdi
mov    $0xe,%esi
call   1060 <add_global@plt>
lea    0xdfd(%rip),%rdi
mov    $0xf,%esi
call   1060 <add_global@plt>
lea    0xdcd(%rip),%rdi
mov    $0x38000,%esi
call   1060 <add_global@plt>
mov    -0x8(%rbp),%rdi
call   1040 <atoi@plt>
mov    %eax,%ecx
mov    %ecx,-0xc(%rbp)
sub    $0x36,%eax
je     12bc <define_mdl_symbols+0x17c>
jmp    1278 <define_mdl_symbols+0x138>
mov    -0xc(%rbp),%eax
sub    $0x38,%eax
je     1397 <define_mdl_symbols+0x257>
jmp    1289 <define_mdl_symbols+0x149>
mov    -0xc(%rbp),%eax
sub    $0x68,%eax
je     1305 <define_mdl_symbols+0x1c5>
jmp    129a <define_mdl_symbols+0x15a>
mov    -0xc(%rbp),%eax
sub    $0x69,%eax
je     134e <define_mdl_symbols+0x20e>
jmp    12ab <define_mdl_symbols+0x16b>
mov    -0xc(%rbp),%eax
sub    $0x6a,%eax
je     13e0 <define_mdl_symbols+0x2a0>
jmp    1429 <define_mdl_symbols+0x2e9>
lea    0xd62(%rip),%rdi
mov    $0x53,%esi
call   1060 <add_global@plt>
lea    0xd58(%rip),%rdi
mov    $0x56,%esi
call   1060 <add_global@plt>
lea    0xd4d(%rip),%rdi
mov    $0x2f4,%esi
call   1060 <add_global@plt>
lea    0xd43(%rip),%rdi
mov    $0x2fa,%esi
call   1060 <add_global@plt>
jmp    1448 <define_mdl_symbols+0x308>
lea    0xd19(%rip),%rdi
mov    $0x73,%esi
call   1060 <add_global@plt>
lea    0xd0f(%rip),%rdi
mov    $0x76,%esi
call   1060 <add_global@plt>
lea    0xd04(%rip),%rdi
mov    $0x33c,%esi
call   1060 <add_global@plt>
lea    0xcfa(%rip),%rdi
mov    $0x342,%esi
call   1060 <add_global@plt>
jmp    1448 <define_mdl_symbols+0x308>
lea    0xcd0(%rip),%rdi
mov    $0x75,%esi
call   1060 <add_global@plt>
lea    0xcc6(%rip),%rdi
mov    $0x78,%esi
call   1060 <add_global@plt>
lea    0xcbb(%rip),%rdi
mov    $0x3bc,%esi
call   1060 <add_global@plt>
lea    0xcb1(%rip),%rdi
mov    $0x3b6,%esi
call   1060 <add_global@plt>
jmp    1448 <define_mdl_symbols+0x308>
lea    0xc87(%rip),%rdi
mov    $0x77,%esi
call   1060 <add_global@plt>
lea    0xc7d(%rip),%rdi
mov    $0x7d,%esi
call   1060 <add_global@plt>
lea    0xc72(%rip),%rdi
mov    $0x376,%esi
call   1060 <add_global@plt>
lea    0xc68(%rip),%rdi
mov    $0x37c,%esi
call   1060 <add_global@plt>
jmp    1448 <define_mdl_symbols+0x308>
lea    0xc3e(%rip),%rdi
mov    $0x8f,%esi
call   1060 <add_global@plt>
lea    0xc34(%rip),%rdi
mov    $0x92,%esi
call   1060 <add_global@plt>
lea    0xc29(%rip),%rdi
mov    $0x3bf,%esi
call   1060 <add_global@plt>
lea    0xc1f(%rip),%rdi
mov    $0x3c5,%esi
call   1060 <add_global@plt>
jmp    1448 <define_mdl_symbols+0x308>
mov    0x2bb0(%rip),%rax
mov    (%rax),%edi
lea    0xc07(%rip),%rsi
call   1030 <fprintf@plt>
mov    $0x1,%edi
call   1050 <exit@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<define_mdl_symbols>:
push   %rbp
push   %r14
push   %rbx
mov    %rdi,%rbx
lea    0xeb2(%rip),%rdi
mov    $0x1,%esi
call   1060 <add_global@plt>
lea    0xeb2(%rip),%rdi
mov    $0x2,%esi
call   1060 <add_global@plt>
lea    0xe92(%rip),%rdi
mov    $0x3,%esi
call   1060 <add_global@plt>
lea    0xe83(%rip),%rdi
mov    $0x4,%esi
call   1060 <add_global@plt>
lea    0xe74(%rip),%rdi
mov    $0x5,%esi
call   1060 <add_global@plt>
lea    0xe65(%rip),%rdi
mov    $0x6,%esi
call   1060 <add_global@plt>
lea    0xe58(%rip),%rdi
mov    $0x7,%esi
call   1060 <add_global@plt>
lea    0xe71(%rip),%rdi
mov    $0x8,%esi
call   1060 <add_global@plt>
lea    0xe3a(%rip),%rdi
mov    $0x9,%esi
call   1060 <add_global@plt>
lea    0xe2c(%rip),%rdi
mov    $0xa,%esi
call   1060 <add_global@plt>
lea    0xe1e(%rip),%rdi
mov    $0xb,%esi
call   1060 <add_global@plt>
lea    0xe10(%rip),%rdi
mov    $0xc,%esi
call   1060 <add_global@plt>
lea    0xe01(%rip),%rdi
mov    $0xd,%esi
call   1060 <add_global@plt>
lea    0xdf2(%rip),%rdi
mov    $0xe,%esi
call   1060 <add_global@plt>
lea    0xe02(%rip),%rdi
mov    $0xf,%esi
call   1060 <add_global@plt>
lea    0xdd2(%rip),%rdi
mov    $0x38000,%esi
call   1060 <add_global@plt>
mov    %rbx,%rdi
call   1040 <atoi@plt>
cmp    $0x67,%eax
jle    128e <define_mdl_symbols+0x14e>
cmp    $0x6a,%eax
je     12b3 <define_mdl_symbols+0x173>
cmp    $0x69,%eax
je     12ca <define_mdl_symbols+0x18a>
cmp    $0x68,%eax
jne    1331 <define_mdl_symbols+0x1f1>
mov    $0x342,%r14d
mov    $0x33c,%ebp
mov    $0x76,%ebx
mov    $0x73,%esi
jmp    12f6 <define_mdl_symbols+0x1b6>
cmp    $0x36,%eax
je     12e1 <define_mdl_symbols+0x1a1>
cmp    $0x38,%eax
jne    1331 <define_mdl_symbols+0x1f1>
mov    $0x37c,%r14d
mov    $0x376,%ebp
mov    $0x7d,%ebx
mov    $0x77,%esi
jmp    12f6 <define_mdl_symbols+0x1b6>
mov    $0x3c5,%r14d
mov    $0x3bf,%ebp
mov    $0x92,%ebx
mov    $0x8f,%esi
jmp    12f6 <define_mdl_symbols+0x1b6>
mov    $0x3b6,%r14d
mov    $0x3bc,%ebp
mov    $0x78,%ebx
mov    $0x75,%esi
jmp    12f6 <define_mdl_symbols+0x1b6>
mov    $0x2fa,%r14d
mov    $0x2f4,%ebp
mov    $0x56,%ebx
mov    $0x53,%esi
lea    0xd28(%rip),%rdi
call   1060 <add_global@plt>
lea    0xd23(%rip),%rdi
mov    %ebx,%esi
call   1060 <add_global@plt>
lea    0xd1b(%rip),%rdi
mov    %ebp,%esi
call   1060 <add_global@plt>
lea    0xd14(%rip),%rdi
mov    %r14d,%esi
pop    %rbx
pop    %r14
pop    %rbp
jmp    1060 <add_global@plt>
mov    0x2ca8(%rip),%rax
mov    (%rax),%edi
lea    0xcff(%rip),%rsi
call   1030 <fprintf@plt>
mov    $0x1,%edi
call   1050 <exit@plt>

LLVM IR (-O0):
@.str = [2 x i8] c"a\00"
@.str.1 = [2 x i8] c"b\00"
@.str.2 = [2 x i8] c"c\00"
@.str.3 = [2 x i8] c"d\00"
@.str.4 = [2 x i8] c"e\00"
@.str.5 = [4 x i8] c"pvp\00"
@.str.6 = [4 x i8] c"tvp\00"
@.str.7 = [3 x i8] c"sp\00"
@.str.8 = [3 x i8] c"ab\00"
@.str.9 = [3 x i8] c"tb\00"
@.str.10 = [3 x i8] c"tp\00"
@.str.11 = [4 x i8] c"frm\00"
@.str.12 = [2 x i8] c"m\00"
@.str.13 = [2 x i8] c"r\00"
@.str.14 = [2 x i8] c"p\00"
@.str.15 = [6 x i8] c"hibot\00"
@.str.16 = [7 x i8] c"purtop\00"
@.str.17 = [6 x i8] c"pmapb\00"
@.str.18 = [7 x i8] c"globsp\00"
@.str.19 = [7 x i8] c"glotop\00"
@stderr = global i32 0
@.str.20 = [28 x i8] c"Unsupported Muddle version\0A\00"
define void @define_mdl_symbols(i8* %0) {
%2 = alloca i8*
store i8* %0, i8** %2
%3 = call i32 @add_global(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0), i32 1)
%4 = call i32 @add_global(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0), i32 2)
%5 = call i32 @add_global(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.2, i64 0, i64 0), i32 3)
%6 = call i32 @add_global(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.3, i64 0, i64 0), i32 4)
%7 = call i32 @add_global(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.4, i64 0, i64 0), i32 5)
%8 = call i32 @add_global(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.5, i64 0, i64 0), i32 6)
%9 = call i32 @add_global(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.6, i64 0, i64 0), i32 7)
%10 = call i32 @add_global(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0), i32 8)
%11 = call i32 @add_global(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i64 0, i64 0), i32 9)
%12 = call i32 @add_global(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), i32 10)
%13 = call i32 @add_global(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.10, i64 0, i64 0), i32 11)
%14 = call i32 @add_global(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.11, i64 0, i64 0), i32 12)
%15 = call i32 @add_global(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.12, i64 0, i64 0), i32 13)
%16 = call i32 @add_global(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.13, i64 0, i64 0), i32 14)
%17 = call i32 @add_global(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.14, i64 0, i64 0), i32 15)
%18 = call i32 @add_global(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.15, i64 0, i64 0), i32 229376)
%19 = load i8*, i8** %2
%20 = call i32 @atoi(i8* %19)
switch i32 %20, label %46 [
i32 54, label %21
i32 104, label %26
i32 105, label %31
i32 56, label %36
i32 106, label %41
]
21: ; preds = %1
%22 = call i32 @add_global(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.16, i64 0, i64 0), i32 83)
%23 = call i32 @add_global(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.17, i64 0, i64 0), i32 86)
%24 = call i32 @add_global(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.18, i64 0, i64 0), i32 756)
%25 = call i32 @add_global(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.19, i64 0, i64 0), i32 762)
br label %50
26: ; preds = %1
%27 = call i32 @add_global(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.16, i64 0, i64 0), i32 115)
%28 = call i32 @add_global(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.17, i64 0, i64 0), i32 118)
%29 = call i32 @add_global(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.18, i64 0, i64 0), i32 828)
%30 = call i32 @add_global(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.19, i64 0, i64 0), i32 834)
br label %50
31: ; preds = %1
%32 = call i32 @add_global(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.16, i64 0, i64 0), i32 117)
%33 = call i32 @add_global(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.17, i64 0, i64 0), i32 120)
%34 = call i32 @add_global(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.18, i64 0, i64 0), i32 956)
%35 = call i32 @add_global(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.19, i64 0, i64 0), i32 950)
br label %50
36: ; preds = %1
%37 = call i32 @add_global(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.16, i64 0, i64 0), i32 119)
%38 = call i32 @add_global(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.17, i64 0, i64 0), i32 125)
%39 = call i32 @add_global(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.18, i64 0, i64 0), i32 886)
%40 = call i32 @add_global(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.19, i64 0, i64 0), i32 892)
br label %50
41: ; preds = %1
%42 = call i32 @add_global(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.16, i64 0, i64 0), i32 143)
%43 = call i32 @add_global(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.17, i64 0, i64 0), i32 146)
%44 = call i32 @add_global(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.18, i64 0, i64 0), i32 959)
%45 = call i32 @add_global(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.19, i64 0, i64 0), i32 965)
br label %50
46: ; preds = %1
%47 = load i32, i32* @stderr
%48 = call i32 @fprintf(i32 %47, i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.20, i64 0, i64 0))
%49 = call i32 @exit(i32 1)
unreachable
50: ; preds = %41, %36, %31, %26, %21
ret void
}

LLVM IR (-O2):
@.str = [2 x i8] c"a\00"
@.str.1 = [2 x i8] c"b\00"
@.str.2 = [2 x i8] c"c\00"
@.str.3 = [2 x i8] c"d\00"
@.str.4 = [2 x i8] c"e\00"
@.str.5 = [4 x i8] c"pvp\00"
@.str.6 = [4 x i8] c"tvp\00"
@.str.7 = [3 x i8] c"sp\00"
@.str.8 = [3 x i8] c"ab\00"
@.str.9 = [3 x i8] c"tb\00"
@.str.10 = [3 x i8] c"tp\00"
@.str.11 = [4 x i8] c"frm\00"
@.str.12 = [2 x i8] c"m\00"
@.str.13 = [2 x i8] c"r\00"
@.str.14 = [2 x i8] c"p\00"
@.str.15 = [6 x i8] c"hibot\00"
@.str.16 = [7 x i8] c"purtop\00"
@.str.17 = [6 x i8] c"pmapb\00"
@.str.18 = [7 x i8] c"globsp\00"
@.str.19 = [7 x i8] c"glotop\00"
@stderr = global i32 0
@.str.20 = [28 x i8] c"Unsupported Muddle version\0A\00"
define void @define_mdl_symbols(i8* nocapture %0) {
%2 = tail call i32 @add_global(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0), i32 1)
%3 = tail call i32 @add_global(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0), i32 2)
%4 = tail call i32 @add_global(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.2, i64 0, i64 0), i32 3)
%5 = tail call i32 @add_global(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.3, i64 0, i64 0), i32 4)
%6 = tail call i32 @add_global(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.4, i64 0, i64 0), i32 5)
%7 = tail call i32 @add_global(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.5, i64 0, i64 0), i32 6)
%8 = tail call i32 @add_global(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.6, i64 0, i64 0), i32 7)
%9 = tail call i32 @add_global(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0), i32 8)
%10 = tail call i32 @add_global(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i64 0, i64 0), i32 9)
%11 = tail call i32 @add_global(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), i32 10)
%12 = tail call i32 @add_global(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.10, i64 0, i64 0), i32 11)
%13 = tail call i32 @add_global(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.11, i64 0, i64 0), i32 12)
%14 = tail call i32 @add_global(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.12, i64 0, i64 0), i32 13)
%15 = tail call i32 @add_global(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.13, i64 0, i64 0), i32 14)
%16 = tail call i32 @add_global(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.14, i64 0, i64 0), i32 15)
%17 = tail call i32 @add_global(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.15, i64 0, i64 0), i32 229376)
%18 = tail call i32 @atoi(i8* %0)
switch i32 %18, label %23 [
i32 54, label %27
i32 104, label %19
i32 105, label %20
i32 56, label %21
i32 106, label %22
]
19: ; preds = %1
br label %27
20: ; preds = %1
br label %27
21: ; preds = %1
br label %27
22: ; preds = %1
br label %27
23: ; preds = %1
%24 = load i32, i32* @stderr
%25 = tail call i32 @fprintf(i32 %24, i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.20, i64 0, i64 0))
%26 = tail call i32 @exit(i32 1)
unreachable
27: ; preds = %1, %22, %21, %20, %19
%28 = phi i32 [ 143, %22 ], [ 119, %21 ], [ 117, %20 ], [ 115, %19 ], [ 83, %1 ]
%29 = phi i32 [ 146, %22 ], [ 125, %21 ], [ 120, %20 ], [ 118, %19 ], [ 86, %1 ]
%30 = phi i32 [ 959, %22 ], [ 886, %21 ], [ 956, %20 ], [ 828, %19 ], [ 756, %1 ]
%31 = phi i32 [ 965, %22 ], [ 892, %21 ], [ 950, %20 ], [ 834, %19 ], [ 762, %1 ]
%32 = tail call i32 @add_global(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.16, i64 0, i64 0), i32 %28)
%33 = tail call i32 @add_global(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.17, i64 0, i64 0), i32 %29)
%34 = tail call i32 @add_global(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.18, i64 0, i64 0), i32 %30)
%35 = tail call i32 @add_global(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.19, i64 0, i64 0), i32 %31)
ret void
}