#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*/ strncpy(char *, char *, int);
char *nomath(char *s) {
  static char sbuff[4096];
  int strreplace();
  *sbuff = '\000';
  if (((s) == NULL ? 1 : (*(s) == '\000' ? 1 : 0)))
    goto end_of_job;
  if ((sbuff) != NULL && (3000) >= 0) {
    char *thissource = (s);
    (sbuff)[0] = '\000';
    if ((3000) > 0 && thissource != NULL) {
      strncpy((sbuff), thissource, (3000));
      (sbuff)[(3000)] = '\000';
    }
  };
  strreplace(sbuff, "\\", "\\textbackslash ", 0, 0);
  strreplace(sbuff, "_", "\\textunderscore ", 0, 0);
  strreplace(sbuff, "<", "\\textlangle ", 0, 0);
  strreplace(sbuff, ">", "\\textrangle ", 0, 0);
  strreplace(sbuff, "$", "\\textdollar ", 0, 0);
  strreplace(sbuff, "&", "\\&", 0, 0);
  strreplace(sbuff, "%", "\\%", 0, 0);
  strreplace(sbuff, "#", "\\#", 0, 0);
  strreplace(sbuff, "~", "\\~", 0, 0);
  strreplace(sbuff, "{", "\\{", 0, 0);
  strreplace(sbuff, "}", "\\}", 0, 0);
  strreplace(sbuff, "^", "\\ensuremath{\\widehat{~}}", 0, 0);
end_of_job:
  return (sbuff);
}


x86 assembly (clang, -O0):
<nomath>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
movb   $0x0,0x2f0d(%rip)
cmpq   $0x0,-0x8(%rbp)
jne    114d <nomath+0x2d>
mov    $0x1,%al
test   $0x1,%al
jne    117b <nomath+0x5b>
jmp    1180 <nomath+0x60>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    116c <nomath+0x4c>
mov    $0x1,%al
test   $0x1,%al
jne    117b <nomath+0x5b>
jmp    1180 <nomath+0x60>
xor    %eax,%eax
test   $0x1,%al
jne    117b <nomath+0x5b>
jmp    1180 <nomath+0x60>
jmp    134e <nomath+0x22e>
mov    -0x8(%rbp),%rax
mov    %rax,-0x10(%rbp)
movb   $0x0,0x2eb1(%rip)
cmpq   $0x0,-0x10(%rbp)
je     11b6 <nomath+0x96>
mov    -0x10(%rbp),%rsi
lea    0x2e9b(%rip),%rdi
mov    $0xbb8,%edx
call   1030 <strncpy@plt>
movb   $0x0,0x3a42(%rip)
lea    0x2e83(%rip),%rdi
lea    0xe3c(%rip),%rsi
lea    0xe37(%rip),%rdx
xor    %r8d,%r8d
mov    %r8d,%ecx
mov    $0x0,%al
call   1040 <strreplace@plt>
lea    0x2e61(%rip),%rdi
lea    0xe2c(%rip),%rsi
lea    0xe27(%rip),%rdx
xor    %r8d,%r8d
mov    %r8d,%ecx
mov    $0x0,%al
call   1040 <strreplace@plt>
lea    0x2e3f(%rip),%rdi
lea    0xe1d(%rip),%rsi
lea    0xe18(%rip),%rdx
xor    %r8d,%r8d
mov    %r8d,%ecx
mov    $0x0,%al
call   1040 <strreplace@plt>
lea    0x2e1d(%rip),%rdi
lea    0xe0a(%rip),%rsi
lea    0xe05(%rip),%rdx
xor    %r8d,%r8d
mov    %r8d,%ecx
mov    $0x0,%al
call   1040 <strreplace@plt>
lea    0x2dfb(%rip),%rdi
lea    0xdf7(%rip),%rsi
lea    0xdf2(%rip),%rdx
xor    %r8d,%r8d
mov    %r8d,%ecx
mov    $0x0,%al
call   1040 <strreplace@plt>
lea    0x2dd9(%rip),%rdi
lea    0xde5(%rip),%rsi
lea    0xddd(%rip),%rdx
xor    %r8d,%r8d
mov    %r8d,%ecx
mov    $0x0,%al
call   1040 <strreplace@plt>
lea    0x2db7(%rip),%rdi
lea    0xdc6(%rip),%rsi
lea    0xdbe(%rip),%rdx
xor    %r8d,%r8d
mov    %r8d,%ecx
mov    $0x0,%al
call   1040 <strreplace@plt>
lea    0x2d95(%rip),%rdi
lea    0xda7(%rip),%rsi
lea    0xd9f(%rip),%rdx
xor    %r8d,%r8d
mov    %r8d,%ecx
mov    $0x0,%al
call   1040 <strreplace@plt>
lea    0x2d73(%rip),%rdi
lea    0xd88(%rip),%rsi
lea    0xd80(%rip),%rdx
xor    %r8d,%r8d
mov    %r8d,%ecx
mov    $0x0,%al
call   1040 <strreplace@plt>
lea    0x2d51(%rip),%rdi
lea    0xd69(%rip),%rsi
lea    0xd61(%rip),%rdx
xor    %r8d,%r8d
mov    %r8d,%ecx
mov    $0x0,%al
call   1040 <strreplace@plt>
lea    0x2d2f(%rip),%rdi
lea    0xd4a(%rip),%rsi
lea    0xd42(%rip),%rdx
xor    %r8d,%r8d
mov    %r8d,%ecx
mov    $0x0,%al
call   1040 <strreplace@plt>
lea    0x2d0d(%rip),%rdi
lea    0xd2a(%rip),%rsi
lea    0xd25(%rip),%rdx
xor    %r8d,%r8d
mov    %r8d,%ecx
mov    $0x0,%al
call   1040 <strreplace@plt>
lea    0x2ceb(%rip),%rax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<nomath>:
push   %rbx
movb   $0x0,0x2f18(%rip)
test   %rdi,%rdi
je     12b4 <nomath+0x194>
mov    %rdi,%rsi
cmpb   $0x0,(%rdi)
je     12b4 <nomath+0x194>
lea    0x2efc(%rip),%rbx
mov    %rbx,%rdi
mov    $0xbb8,%edx
call   1030 <strncpy@plt>
movb   $0x0,0x3aa0(%rip)
lea    0xea1(%rip),%rsi
lea    0xe9c(%rip),%rdx
mov    %rbx,%rdi
xor    %ecx,%ecx
xor    %r8d,%r8d
xor    %eax,%eax
call   1040 <strreplace@plt>
lea    0xe96(%rip),%rsi
lea    0xe91(%rip),%rdx
mov    %rbx,%rdi
xor    %ecx,%ecx
xor    %r8d,%r8d
xor    %eax,%eax
call   1040 <strreplace@plt>
lea    0xe8c(%rip),%rsi
lea    0xe87(%rip),%rdx
mov    %rbx,%rdi
xor    %ecx,%ecx
xor    %r8d,%r8d
xor    %eax,%eax
call   1040 <strreplace@plt>
lea    0xe7e(%rip),%rsi
lea    0xe79(%rip),%rdx
mov    %rbx,%rdi
xor    %ecx,%ecx
xor    %r8d,%r8d
xor    %eax,%eax
call   1040 <strreplace@plt>
lea    0xe70(%rip),%rsi
lea    0xe6b(%rip),%rdx
mov    %rbx,%rdi
xor    %ecx,%ecx
xor    %r8d,%r8d
xor    %eax,%eax
call   1040 <strreplace@plt>
lea    0xe63(%rip),%rsi
lea    0xe5b(%rip),%rdx
mov    %rbx,%rdi
xor    %ecx,%ecx
xor    %r8d,%r8d
xor    %eax,%eax
call   1040 <strreplace@plt>
lea    0xe49(%rip),%rsi
lea    0xe41(%rip),%rdx
mov    %rbx,%rdi
xor    %ecx,%ecx
xor    %r8d,%r8d
xor    %eax,%eax
call   1040 <strreplace@plt>
lea    0xe2f(%rip),%rsi
lea    0xe27(%rip),%rdx
mov    %rbx,%rdi
xor    %ecx,%ecx
xor    %r8d,%r8d
xor    %eax,%eax
call   1040 <strreplace@plt>
lea    0xe15(%rip),%rsi
lea    0xe0d(%rip),%rdx
mov    %rbx,%rdi
xor    %ecx,%ecx
xor    %r8d,%r8d
xor    %eax,%eax
call   1040 <strreplace@plt>
lea    0xdfb(%rip),%rsi
lea    0xdf3(%rip),%rdx
mov    %rbx,%rdi
xor    %ecx,%ecx
xor    %r8d,%r8d
xor    %eax,%eax
call   1040 <strreplace@plt>
lea    0xde1(%rip),%rsi
lea    0xdd9(%rip),%rdx
mov    %rbx,%rdi
xor    %ecx,%ecx
xor    %r8d,%r8d
xor    %eax,%eax
call   1040 <strreplace@plt>
lea    0xdc6(%rip),%rsi
lea    0xdc1(%rip),%rdx
mov    %rbx,%rdi
xor    %ecx,%ecx
xor    %r8d,%r8d
xor    %eax,%eax
call   1040 <strreplace@plt>
lea    0x2d85(%rip),%rax
pop    %rbx
ret

LLVM IR (-O0):
@nomath.sbuff = internal global [4096 x i8] zeroinitializer
@.str = [2 x i8] c"\\\00"
@.str.1 = [16 x i8] c"\\textbackslash \00"
@.str.2 = [2 x i8] c"_\00"
@.str.3 = [17 x i8] c"\\textunderscore \00"
@.str.4 = [2 x i8] c"<\00"
@.str.5 = [13 x i8] c"\\textlangle \00"
@.str.6 = [2 x i8] c">\00"
@.str.7 = [13 x i8] c"\\textrangle \00"
@.str.8 = [2 x i8] c"$\00"
@.str.9 = [13 x i8] c"\\textdollar \00"
@.str.10 = [2 x i8] c"&\00"
@.str.11 = [3 x i8] c"\\&\00"
@.str.12 = [2 x i8] c"%\00"
@.str.13 = [3 x i8] c"\\%\00"
@.str.14 = [2 x i8] c"#\00"
@.str.15 = [3 x i8] c"\\#\00"
@.str.16 = [2 x i8] c"~\00"
@.str.17 = [3 x i8] c"\\~\00"
@.str.18 = [2 x i8] c"{\00"
@.str.19 = [3 x i8] c"\\{\00"
@.str.20 = [2 x i8] c"}\00"
@.str.21 = [3 x i8] c"\\}\00"
@.str.22 = [2 x i8] c"^\00"
@.str.23 = [25 x i8] c"\\ensuremath{\\widehat{~}}\00"
define i8* @nomath(i8* %0) {
%2 = alloca i8*
%3 = alloca i8*
store i8* %0, i8** %2
store i8 0, i8* getelementptr inbounds ([4096 x i8], [4096 x i8]* @nomath.sbuff, i64 0, i64 0)
%4 = load i8*, i8** %2
%5 = icmp eq i8* %4, null
br i1 %5, label %6, label %7
6: ; preds = %1
br i1 true, label %14, label %15
7: ; preds = %1
%8 = load i8*, i8** %2
%9 = load i8, i8* %8
%10 = sext i8 %9 to i32
%11 = icmp eq i32 %10, 0
br i1 %11, label %12, label %13
12: ; preds = %7
br i1 true, label %14, label %15
13: ; preds = %7
br i1 false, label %14, label %15
14: ; preds = %13, %12, %6
br label %35
15: ; preds = %13, %12, %6
%16 = load i8*, i8** %2
store i8* %16, i8** %3
store i8 0, i8* getelementptr inbounds ([4096 x i8], [4096 x i8]* @nomath.sbuff, i64 0, i64 0)
%17 = load i8*, i8** %3
%18 = icmp ne i8* %17, null
br i1 %18, label %19, label %22
19: ; preds = %15
%20 = load i8*, i8** %3
%21 = call i32 @strncpy(i8* getelementptr inbounds ([4096 x i8], [4096 x i8]* @nomath.sbuff, i64 0, i64 0), i8* %20, i32 3000)
store i8 0, i8* getelementptr inbounds ([4096 x i8], [4096 x i8]* @nomath.sbuff, i64 0, i64 3000)
br label %22
22: ; preds = %19, %15
%23 = call i32 (i8*, i8*, i8*, i32, i32, ...) bitcast (i32 (...)* @strreplace to i32 (i8*, i8*, i8*, i32, i32, ...)*)(i8* getelementptr inbounds ([4096 x i8], [4096 x i8]* @nomath.sbuff, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.1, i64 0, i64 0), i32 0, i32 0)
%24 = call i32 (i8*, i8*, i8*, i32, i32, ...) bitcast (i32 (...)* @strreplace to i32 (i8*, i8*, i8*, i32, i32, ...)*)(i8* getelementptr inbounds ([4096 x i8], [4096 x i8]* @nomath.sbuff, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.3, i64 0, i64 0), i32 0, i32 0)
%25 = call i32 (i8*, i8*, i8*, i32, i32, ...) bitcast (i32 (...)* @strreplace to i32 (i8*, i8*, i8*, i32, i32, ...)*)(i8* getelementptr inbounds ([4096 x i8], [4096 x i8]* @nomath.sbuff, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.4, i64 0, i64 0), i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.5, i64 0, i64 0), i32 0, i32 0)
%26 = call i32 (i8*, i8*, i8*, i32, i32, ...) bitcast (i32 (...)* @strreplace to i32 (i8*, i8*, i8*, i32, i32, ...)*)(i8* getelementptr inbounds ([4096 x i8], [4096 x i8]* @nomath.sbuff, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.6, i64 0, i64 0), i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.7, i64 0, i64 0), i32 0, i32 0)
%27 = call i32 (i8*, i8*, i8*, i32, i32, ...) bitcast (i32 (...)* @strreplace to i32 (i8*, i8*, i8*, i32, i32, ...)*)(i8* getelementptr inbounds ([4096 x i8], [4096 x i8]* @nomath.sbuff, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.8, i64 0, i64 0), i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.9, i64 0, i64 0), i32 0, i32 0)
%28 = call i32 (i8*, i8*, i8*, i32, i32, ...) bitcast (i32 (...)* @strreplace to i32 (i8*, i8*, i8*, i32, i32, ...)*)(i8* getelementptr inbounds ([4096 x i8], [4096 x i8]* @nomath.sbuff, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.10, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.11, i64 0, i64 0), i32 0, i32 0)
%29 = call i32 (i8*, i8*, i8*, i32, i32, ...) bitcast (i32 (...)* @strreplace to i32 (i8*, i8*, i8*, i32, i32, ...)*)(i8* getelementptr inbounds ([4096 x i8], [4096 x i8]* @nomath.sbuff, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.12, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.13, i64 0, i64 0), i32 0, i32 0)
%30 = call i32 (i8*, i8*, i8*, i32, i32, ...) bitcast (i32 (...)* @strreplace to i32 (i8*, i8*, i8*, i32, i32, ...)*)(i8* getelementptr inbounds ([4096 x i8], [4096 x i8]* @nomath.sbuff, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.14, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.15, i64 0, i64 0), i32 0, i32 0)
%31 = call i32 (i8*, i8*, i8*, i32, i32, ...) bitcast (i32 (...)* @strreplace to i32 (i8*, i8*, i8*, i32, i32, ...)*)(i8* getelementptr inbounds ([4096 x i8], [4096 x i8]* @nomath.sbuff, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.16, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.17, i64 0, i64 0), i32 0, i32 0)
%32 = call i32 (i8*, i8*, i8*, i32, i32, ...) bitcast (i32 (...)* @strreplace to i32 (i8*, i8*, i8*, i32, i32, ...)*)(i8* getelementptr inbounds ([4096 x i8], [4096 x i8]* @nomath.sbuff, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.18, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.19, i64 0, i64 0), i32 0, i32 0)
%33 = call i32 (i8*, i8*, i8*, i32, i32, ...) bitcast (i32 (...)* @strreplace to i32 (i8*, i8*, i8*, i32, i32, ...)*)(i8* getelementptr inbounds ([4096 x i8], [4096 x i8]* @nomath.sbuff, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.20, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.21, i64 0, i64 0), i32 0, i32 0)
%34 = call i32 (i8*, i8*, i8*, i32, i32, ...) bitcast (i32 (...)* @strreplace to i32 (i8*, i8*, i8*, i32, i32, ...)*)(i8* getelementptr inbounds ([4096 x i8], [4096 x i8]* @nomath.sbuff, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.22, i64 0, i64 0), i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.23, i64 0, i64 0), i32 0, i32 0)
br label %35
35: ; preds = %22, %14
ret i8* getelementptr inbounds ([4096 x i8], [4096 x i8]* @nomath.sbuff, i64 0, i64 0)
}

LLVM IR (-O2):
@nomath.sbuff = internal global [4096 x i8] zeroinitializer
@.str = [2 x i8] c"\\\00"
@.str.1 = [16 x i8] c"\\textbackslash \00"
@.str.2 = [2 x i8] c"_\00"
@.str.3 = [17 x i8] c"\\textunderscore \00"
@.str.4 = [2 x i8] c"<\00"
@.str.5 = [13 x i8] c"\\textlangle \00"
@.str.6 = [2 x i8] c">\00"
@.str.7 = [13 x i8] c"\\textrangle \00"
@.str.8 = [2 x i8] c"$\00"
@.str.9 = [13 x i8] c"\\textdollar \00"
@.str.10 = [2 x i8] c"&\00"
@.str.11 = [3 x i8] c"\\&\00"
@.str.12 = [2 x i8] c"%\00"
@.str.13 = [3 x i8] c"\\%\00"
@.str.14 = [2 x i8] c"#\00"
@.str.15 = [3 x i8] c"\\#\00"
@.str.16 = [2 x i8] c"~\00"
@.str.17 = [3 x i8] c"\\~\00"
@.str.18 = [2 x i8] c"{\00"
@.str.19 = [3 x i8] c"\\{\00"
@.str.20 = [2 x i8] c"}\00"
@.str.21 = [3 x i8] c"\\}\00"
@.str.22 = [2 x i8] c"^\00"
@.str.23 = [25 x i8] c"\\ensuremath{\\widehat{~}}\00"
define i8* @nomath(i8* %0) {
store i8 0, i8* getelementptr inbounds ([4096 x i8], [4096 x i8]* @nomath.sbuff, i64 0, i64 0)
%2 = icmp eq i8* %0, null
br i1 %2, label %20, label %3
3: ; preds = %1
%4 = load i8, i8* %0
%5 = icmp eq i8 %4, 0
br i1 %5, label %20, label %6
6: ; preds = %3
%7 = tail call i32 @strncpy(i8* getelementptr inbounds ([4096 x i8], [4096 x i8]* @nomath.sbuff, i64 0, i64 0), i8* %0, i32 3000)
store i8 0, i8* getelementptr inbounds ([4096 x i8], [4096 x i8]* @nomath.sbuff, i64 0, i64 3000)
%8 = tail call i32 (i8*, i8*, i8*, i32, i32, ...) bitcast (i32 (...)* @strreplace to i32 (i8*, i8*, i8*, i32, i32, ...)*)(i8* getelementptr inbounds ([4096 x i8], [4096 x i8]* @nomath.sbuff, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.1, i64 0, i64 0), i32 0, i32 0)
%9 = tail call i32 (i8*, i8*, i8*, i32, i32, ...) bitcast (i32 (...)* @strreplace to i32 (i8*, i8*, i8*, i32, i32, ...)*)(i8* getelementptr inbounds ([4096 x i8], [4096 x i8]* @nomath.sbuff, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.3, i64 0, i64 0), i32 0, i32 0)
%10 = tail call i32 (i8*, i8*, i8*, i32, i32, ...) bitcast (i32 (...)* @strreplace to i32 (i8*, i8*, i8*, i32, i32, ...)*)(i8* getelementptr inbounds ([4096 x i8], [4096 x i8]* @nomath.sbuff, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.4, i64 0, i64 0), i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.5, i64 0, i64 0), i32 0, i32 0)
%11 = tail call i32 (i8*, i8*, i8*, i32, i32, ...) bitcast (i32 (...)* @strreplace to i32 (i8*, i8*, i8*, i32, i32, ...)*)(i8* getelementptr inbounds ([4096 x i8], [4096 x i8]* @nomath.sbuff, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.6, i64 0, i64 0), i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.7, i64 0, i64 0), i32 0, i32 0)
%12 = tail call i32 (i8*, i8*, i8*, i32, i32, ...) bitcast (i32 (...)* @strreplace to i32 (i8*, i8*, i8*, i32, i32, ...)*)(i8* getelementptr inbounds ([4096 x i8], [4096 x i8]* @nomath.sbuff, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.8, i64 0, i64 0), i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.9, i64 0, i64 0), i32 0, i32 0)
%13 = tail call i32 (i8*, i8*, i8*, i32, i32, ...) bitcast (i32 (...)* @strreplace to i32 (i8*, i8*, i8*, i32, i32, ...)*)(i8* getelementptr inbounds ([4096 x i8], [4096 x i8]* @nomath.sbuff, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.10, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.11, i64 0, i64 0), i32 0, i32 0)
%14 = tail call i32 (i8*, i8*, i8*, i32, i32, ...) bitcast (i32 (...)* @strreplace to i32 (i8*, i8*, i8*, i32, i32, ...)*)(i8* getelementptr inbounds ([4096 x i8], [4096 x i8]* @nomath.sbuff, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.12, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.13, i64 0, i64 0), i32 0, i32 0)
%15 = tail call i32 (i8*, i8*, i8*, i32, i32, ...) bitcast (i32 (...)* @strreplace to i32 (i8*, i8*, i8*, i32, i32, ...)*)(i8* getelementptr inbounds ([4096 x i8], [4096 x i8]* @nomath.sbuff, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.14, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.15, i64 0, i64 0), i32 0, i32 0)
%16 = tail call i32 (i8*, i8*, i8*, i32, i32, ...) bitcast (i32 (...)* @strreplace to i32 (i8*, i8*, i8*, i32, i32, ...)*)(i8* getelementptr inbounds ([4096 x i8], [4096 x i8]* @nomath.sbuff, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.16, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.17, i64 0, i64 0), i32 0, i32 0)
%17 = tail call i32 (i8*, i8*, i8*, i32, i32, ...) bitcast (i32 (...)* @strreplace to i32 (i8*, i8*, i8*, i32, i32, ...)*)(i8* getelementptr inbounds ([4096 x i8], [4096 x i8]* @nomath.sbuff, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.18, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.19, i64 0, i64 0), i32 0, i32 0)
%18 = tail call i32 (i8*, i8*, i8*, i32, i32, ...) bitcast (i32 (...)* @strreplace to i32 (i8*, i8*, i8*, i32, i32, ...)*)(i8* getelementptr inbounds ([4096 x i8], [4096 x i8]* @nomath.sbuff, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.20, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.21, i64 0, i64 0), i32 0, i32 0)
%19 = tail call i32 (i8*, i8*, i8*, i32, i32, ...) bitcast (i32 (...)* @strreplace to i32 (i8*, i8*, i8*, i32, i32, ...)*)(i8* getelementptr inbounds ([4096 x i8], [4096 x i8]* @nomath.sbuff, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.22, i64 0, i64 0), i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.23, i64 0, i64 0), i32 0, i32 0)
br label %20
20: ; preds = %1, %3, %6
ret i8* getelementptr inbounds ([4096 x i8], [4096 x i8]* @nomath.sbuff, i64 0, i64 0)
}