char *apply_definition(definition, nr_arguments, arguments,
                       append_if_none_inserted)
char *definition, **arguments;
int nr_arguments;
int append_if_none_inserted;
{
  register char *result, *defcp, *rescp;
  int argnr;
  int arg_was_inserted;
  int lower_flag;
  ;
  result = safe_malloc(10 * 1000 + 1);
  rescp = result;
  defcp = definition;
  arg_was_inserted = 0;
  while (*defcp) {
    if (*defcp == '$') {
      ++defcp;
      if ((*defcp == 'L' || *defcp == 'l') &&
          (defcp[1] == '*' || isdigit(defcp[1]))) {
        lower_flag = *defcp;
        ++defcp;
      } else
        lower_flag = 0;
      if (*defcp == '$')
        *rescp++ = *defcp++;
      else if (*defcp == '*') {
        for (argnr = 1; argnr < nr_arguments; ++argnr) {
          if (argnr > 1)
            *rescp++ = ' ';
          strcpy(rescp, arguments[argnr]);
          if (lower_flag)
            lower_string(rescp);
          rescp += strlen(arguments[argnr]);
          arg_was_inserted = 1;
        }
        defcp++;
      } else if (isdigit(*defcp)) {
        argnr = atoi(defcp);
        if (argnr >= 0 && argnr < nr_arguments) {
          strcpy(rescp, arguments[argnr]);
          if (lower_flag)
            lower_string(rescp);
          rescp += strlen(arguments[argnr]);
          arg_was_inserted = 1;
        } else
          error("Bad argument reference ($%d) when applying definition \"%s\".",
                argnr, definition);
        while (isdigit(*defcp))
          ++defcp;
      } else {
        *rescp++ = '$';
        if (lower_flag)
          *rescp++ = lower_flag;
      }
    } else {
      *rescp++ = *defcp++;
    }
  }
  if (append_if_none_inserted && !arg_was_inserted) {
    for (argnr = 1; argnr < nr_arguments; ++argnr) {
      *rescp++ = ' ';
      strcpy(rescp, arguments[argnr]);
      rescp += strlen(arguments[argnr]);
    }
  }
  *rescp++ = '\0';
  return safe_realloc(result, strlen(result) + 1);
}


x86 assembly (clang, -O0):
<apply_definition>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    $0x2711,%edi
mov    $0x0,%al
call   1050 <safe_malloc@plt>
cltq
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x30(%rbp)
movl   $0x0,-0x40(%rbp)
mov    -0x30(%rbp),%rax
cmpb   $0x0,(%rax)
je     146a <apply_definition+0x2ea>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x24,%eax
jne    1443 <apply_definition+0x2c3>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x4c,%eax
je     1208 <apply_definition+0x88>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x6c,%eax
jne    124a <apply_definition+0xca>
mov    -0x30(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x2a,%eax
je     122f <apply_definition+0xaf>
mov    -0x30(%rbp),%rax
movsbl 0x1(%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%eax
je     124a <apply_definition+0xca>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
mov    %eax,-0x44(%rbp)
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    1251 <apply_definition+0xd1>
movl   $0x0,-0x44(%rbp)
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x24,%eax
jne    1288 <apply_definition+0x108>
mov    -0x30(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x30(%rbp)
mov    (%rax),%cl
mov    -0x38(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x38(%rbp)
mov    %cl,(%rax)
jmp    143e <apply_definition+0x2be>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2a,%eax
jne    1330 <apply_definition+0x1b0>
movl   $0x1,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    131f <apply_definition+0x19f>
cmpl   $0x1,-0x3c(%rbp)
jle    12c7 <apply_definition+0x147>
mov    -0x38(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x38(%rbp)
movb   $0x20,(%rax)
mov    -0x38(%rbp),%rdi
mov    -0x18(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    (%rax,%rcx,8),%rsi
call   1040 <strcpy@plt>
cmpl   $0x0,-0x44(%rbp)
je     12f1 <apply_definition+0x171>
mov    -0x38(%rbp),%rdi
mov    $0x0,%al
call   1070 <lower_string@plt>
mov    -0x18(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
call   1060 <strlen@plt>
add    -0x38(%rbp),%rax
mov    %rax,-0x38(%rbp)
movl   $0x1,-0x40(%rbp)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    129f <apply_definition+0x11f>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    1439 <apply_definition+0x2b9>
mov    -0x30(%rbp),%rax
movsbl (%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%eax
je     13fd <apply_definition+0x27d>
mov    -0x30(%rbp),%rdi
mov    $0x0,%al
call   10a0 <atoi@plt>
mov    %eax,-0x3c(%rbp)
cmpl   $0x0,-0x3c(%rbp)
jl     13b8 <apply_definition+0x238>
mov    -0x3c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    13b8 <apply_definition+0x238>
mov    -0x38(%rbp),%rdi
mov    -0x18(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    (%rax,%rcx,8),%rsi
call   1040 <strcpy@plt>
cmpl   $0x0,-0x44(%rbp)
je     1393 <apply_definition+0x213>
mov    -0x38(%rbp),%rdi
mov    $0x0,%al
call   1070 <lower_string@plt>
mov    -0x18(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
call   1060 <strlen@plt>
add    -0x38(%rbp),%rax
mov    %rax,-0x38(%rbp)
movl   $0x1,-0x40(%rbp)
jmp    13cd <apply_definition+0x24d>
mov    -0x3c(%rbp),%esi
mov    -0x8(%rbp),%rdx
lea    0xc3a(%rip),%rdi
mov    $0x0,%al
call   1090 <error@plt>
jmp    13d2 <apply_definition+0x252>
mov    -0x30(%rbp),%rax
movsbl (%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%eax
je     13f8 <apply_definition+0x278>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    13d2 <apply_definition+0x252>
jmp    1434 <apply_definition+0x2b4>
mov    -0x38(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x38(%rbp)
movb   $0x24,(%rax)
cmpl   $0x0,-0x44(%rbp)
je     142f <apply_definition+0x2af>
mov    -0x44(%rbp),%eax
mov    %al,%cl
mov    -0x38(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x38(%rbp)
mov    %cl,(%rax)
jmp    1434 <apply_definition+0x2b4>
jmp    1439 <apply_definition+0x2b9>
jmp    143e <apply_definition+0x2be>
jmp    1465 <apply_definition+0x2e5>
mov    -0x30(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x30(%rbp)
mov    (%rax),%cl
mov    -0x38(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x38(%rbp)
mov    %cl,(%rax)
jmp    11bf <apply_definition+0x3f>
cmpl   $0x0,-0x1c(%rbp)
je     14e4 <apply_definition+0x364>
cmpl   $0x0,-0x40(%rbp)
jne    14e4 <apply_definition+0x364>
movl   $0x1,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    14df <apply_definition+0x35f>
mov    -0x38(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x38(%rbp)
movb   $0x20,(%rax)
mov    -0x38(%rbp),%rdi
mov    -0x18(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    (%rax,%rcx,8),%rsi
call   1040 <strcpy@plt>
mov    -0x18(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
call   1060 <strlen@plt>
add    -0x38(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    1485 <apply_definition+0x305>
jmp    14e4 <apply_definition+0x364>
mov    -0x38(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x38(%rbp)
movb   $0x0,(%rax)
mov    -0x28(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x28(%rbp),%rdi
call   1060 <strlen@plt>
mov    -0x50(%rbp),%rdi
mov    %rax,%rsi
add    $0x1,%rsi
mov    $0x0,%al
call   1080 <safe_realloc@plt>
cltq
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<apply_definition>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %ecx,0x1c(%rsp)
mov    %rdx,%r15
mov    %esi,%ebp
mov    %rdi,%r13
mov    $0x2711,%edi
xor    %eax,%eax
call   1040 <safe_malloc@plt>
movslq %eax,%rbx
mov    %ebp,%r12d
mov    %r13,0x20(%rsp)
mov    %rbx,0x10(%rsp)
xor    %edi,%edi
jmp    11bb <apply_definition+0x4b>
nopw   0x0(%rax,%rax,1)
add    $0x1,%r13
movb   $0x24,(%rbx)
add    $0x1,%rbx
mov    %rbx,%rax
mov    %rax,%rbx
movzbl 0x0(%r13),%eax
cmp    $0x24,%al
jne    1250 <apply_definition+0xe0>
lea    0x1(%r13),%rsi
movzbl 0x1(%r13),%eax
mov    %eax,%edx
or     $0x20,%dl
cmp    $0x6c,%dl
jne    11fe <apply_definition+0x8e>
movsbl 0x2(%r13),%edx
cmp    $0x2a,%edx
sete   %cl
add    $0xffffffd0,%edx
cmp    $0xa,%edx
setb   %dl
or     %cl,%dl
jne    1203 <apply_definition+0x93>
xor    %r14d,%r14d
jmp    120b <apply_definition+0x9b>
xor    %r14d,%r14d
jmp    1214 <apply_definition+0xa4>
movzbl %al,%r14d
lea    0x2(%r13),%rsi
movzbl %dl,%eax
movzbl 0x1(%rax,%r13,1),%eax
mov    %rsi,%r13
cmp    $0x24,%al
je     11b0 <apply_definition+0x40>
cmp    $0x2a,%al
je     1267 <apply_definition+0xf7>
movsbl %al,%eax
add    $0xffffffd0,%eax
cmp    $0x9,%eax
jbe    12ed <apply_definition+0x17d>
lea    0x1(%rbx),%rax
movb   $0x24,(%rbx)
test   %r14d,%r14d
je     11be <apply_definition+0x4e>
mov    %r14b,0x1(%rbx)
add    $0x2,%rbx
jmp    11bb <apply_definition+0x4b>
nopw   0x0(%rax,%rax,1)
test   %al,%al
je     1388 <apply_definition+0x218>
add    $0x1,%r13
mov    %al,(%rbx)
add    $0x1,%rbx
jmp    11bb <apply_definition+0x4b>
cmp    $0x2,%ebp
jl     137f <apply_definition+0x20f>
mov    0x8(%r15),%rsi
mov    %rbx,%rdi
call   1030 <strcpy@plt>
test   %r14d,%r14d
je     128b <apply_definition+0x11b>
mov    %rbx,%rdi
xor    %eax,%eax
call   1060 <lower_string@plt>
mov    0x8(%r15),%rdi
call   1050 <strlen@plt>
add    %rax,%rbx
mov    $0x1,%edi
cmp    $0x2,%ebp
je     137f <apply_definition+0x20f>
mov    %ebp,0xc(%rsp)
mov    $0x2,%ebp
jmp    12c9 <apply_definition+0x159>
mov    (%r15,%rbp,8),%rdi
call   1050 <strlen@plt>
add    %rax,%rbx
add    $0x1,%rbp
cmp    %rbp,%r12
je     1376 <apply_definition+0x206>
movb   $0x20,(%rbx)
add    $0x1,%rbx
mov    (%r15,%rbp,8),%rsi
mov    %rbx,%rdi
call   1030 <strcpy@plt>
test   %r14d,%r14d
je     12b0 <apply_definition+0x140>
mov    %rbx,%rdi
xor    %eax,%eax
call   1060 <lower_string@plt>
jmp    12b0 <apply_definition+0x140>
mov    %edi,0xc(%rsp)
mov    %r13,%rdi
xor    %eax,%eax
call   1090 <atoi@plt>
test   %eax,%eax
js     133b <apply_definition+0x1cb>
cmp    %ebp,%eax
jge    133b <apply_definition+0x1cb>
mov    %ebp,0xc(%rsp)
mov    %eax,%ebp
mov    (%r15,%rbp,8),%rsi
mov    %rbx,%rdi
call   1030 <strcpy@plt>
test   %r14d,%r14d
je     1324 <apply_definition+0x1b4>
mov    %rbx,%rdi
xor    %eax,%eax
call   1060 <lower_string@plt>
mov    (%r15,%rbp,8),%rdi
call   1050 <strlen@plt>
add    %rax,%rbx
mov    $0x1,%edi
mov    0xc(%rsp),%ebp
jmp    1354 <apply_definition+0x1e4>
lea    0xcbe(%rip),%rdi
mov    %eax,%esi
mov    0x20(%rsp),%rdx
xor    %eax,%eax
call   1080 <error@plt>
mov    0xc(%rsp),%edi
add    $0xffffffffffffffff,%r13
nopl   0x0(%rax,%rax,1)
movsbl 0x1(%r13),%eax
add    $0x1,%r13
add    $0xffffffd0,%eax
cmp    $0xa,%eax
jb     1360 <apply_definition+0x1f0>
jmp    11bb <apply_definition+0x4b>
mov    0xc(%rsp),%ebp
mov    $0x1,%edi
add    $0x1,%r13
jmp    11bb <apply_definition+0x4b>
cmpl   $0x0,0x1c(%rsp)
je     13db <apply_definition+0x26b>
test   %edi,%edi
jne    13db <apply_definition+0x26b>
cmp    $0x2,%ebp
mov    0x10(%rsp),%r14
jl     13e0 <apply_definition+0x270>
mov    $0x1,%ebp
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
lea    0x1(%rbx),%rdi
movb   $0x20,(%rbx)
mov    (%r15,%rbp,8),%rsi
call   1030 <strcpy@plt>
mov    (%r15,%rbp,8),%rdi
call   1050 <strlen@plt>
add    %rax,%rbx
add    $0x1,%rbx
add    $0x1,%rbp
cmp    %rbp,%r12
jne    13b0 <apply_definition+0x240>
jmp    13e0 <apply_definition+0x270>
mov    0x10(%rsp),%r14
movb   $0x0,(%rbx)
mov    %r14,%rdi
call   1050 <strlen@plt>
lea    0x1(%rax),%rsi
mov    %r14,%rdi
xor    %eax,%eax
call   1070 <safe_realloc@plt>
cltq
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [60 x i8] c"Bad argument reference ($%d) when applying definition \22%s\22.\00"
define i8* @apply_definition(i8* %0, i32 %1, i8** %2, i32 %3) {
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i8**
%8 = alloca i32
%9 = alloca i8*
%10 = alloca i8*
%11 = alloca i8*
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
store i8* %0, i8** %5
store i32 %1, i32* %6
store i8** %2, i8*** %7
store i32 %3, i32* %8
%15 = call i32 (i32, ...) bitcast (i32 (...)* @safe_malloc to i32 (i32, ...)*)(i32 10001)
%16 = sext i32 %15 to i64
%17 = inttoptr i64 %16 to i8*
store i8* %17, i8** %9
%18 = load i8*, i8** %9
store i8* %18, i8** %11
%19 = load i8*, i8** %5
store i8* %19, i8** %10
store i32 0, i32* %13
br label %20
20: ; preds = %188, %4
%21 = load i8*, i8** %10
%22 = load i8, i8* %21
%23 = icmp ne i8 %22, 0
br i1 %23, label %24, label %189
24: ; preds = %20
%25 = load i8*, i8** %10
%26 = load i8, i8* %25
%27 = sext i8 %26 to i32
%28 = icmp eq i32 %27, 36
br i1 %28, label %29, label %182
29: ; preds = %24
%30 = load i8*, i8** %10
%31 = getelementptr inbounds i8, i8* %30, i32 1
store i8* %31, i8** %10
%32 = load i8*, i8** %10
%33 = load i8, i8* %32
%34 = sext i8 %33 to i32
%35 = icmp eq i32 %34, 76
br i1 %35, label %41, label %36
36: ; preds = %29
%37 = load i8*, i8** %10
%38 = load i8, i8* %37
%39 = sext i8 %38 to i32
%40 = icmp eq i32 %39, 108
br i1 %40, label %41, label %60
41: ; preds = %36, %29
%42 = load i8*, i8** %10
%43 = getelementptr inbounds i8, i8* %42, i64 1
%44 = load i8, i8* %43
%45 = sext i8 %44 to i32
%46 = icmp eq i32 %45, 42
br i1 %46, label %54, label %47
47: ; preds = %41
%48 = load i8*, i8** %10
%49 = getelementptr inbounds i8, i8* %48, i64 1
%50 = load i8, i8* %49
%51 = sext i8 %50 to i32
%52 = call i32 @isdigit(i32 %51)
%53 = icmp ne i32 %52, 0
br i1 %53, label %54, label %60
54: ; preds = %47, %41
%55 = load i8*, i8** %10
%56 = load i8, i8* %55
%57 = sext i8 %56 to i32
store i32 %57, i32* %14
%58 = load i8*, i8** %10
%59 = getelementptr inbounds i8, i8* %58, i32 1
store i8* %59, i8** %10
br label %61
60: ; preds = %47, %36
store i32 0, i32* %14
br label %61
61: ; preds = %60, %54
%62 = load i8*, i8** %10
%63 = load i8, i8* %62
%64 = sext i8 %63 to i32
%65 = icmp eq i32 %64, 36
br i1 %65, label %66, label %72
66: ; preds = %61
%67 = load i8*, i8** %10
%68 = getelementptr inbounds i8, i8* %67, i32 1
store i8* %68, i8** %10
%69 = load i8, i8* %67
%70 = load i8*, i8** %11
%71 = getelementptr inbounds i8, i8* %70, i32 1
store i8* %71, i8** %11
store i8 %69, i8* %70
br label %181
72: ; preds = %61
%73 = load i8*, i8** %10
%74 = load i8, i8* %73
%75 = sext i8 %74 to i32
%76 = icmp eq i32 %75, 42
br i1 %76, label %77, label %116
77: ; preds = %72
store i32 1, i32* %12
br label %78
78: ; preds = %110, %77
%79 = load i32, i32* %12
%80 = load i32, i32* %6
%81 = icmp slt i32 %79, %80
br i1 %81, label %82, label %113
82: ; preds = %78
%83 = load i32, i32* %12
%84 = icmp sgt i32 %83, 1
br i1 %84, label %85, label %88
85: ; preds = %82
%86 = load i8*, i8** %11
%87 = getelementptr inbounds i8, i8* %86, i32 1
store i8* %87, i8** %11
store i8 32, i8* %86
br label %88
88: ; preds = %85, %82
%89 = load i8*, i8** %11
%90 = load i8**, i8*** %7
%91 = load i32, i32* %12
%92 = sext i32 %91 to i64
%93 = getelementptr inbounds i8*, i8** %90, i64 %92
%94 = load i8*, i8** %93
%95 = call i8* @strcpy(i8* %89, i8* %94)
%96 = load i32, i32* %14
%97 = icmp ne i32 %96, 0
br i1 %97, label %98, label %101
98: ; preds = %88
%99 = load i8*, i8** %11
%100 = call i32 (i8*, ...) bitcast (i32 (...)* @lower_string to i32 (i8*, ...)*)(i8* %99)
br label %101
101: ; preds = %98, %88
%102 = load i8**, i8*** %7
%103 = load i32, i32* %12
%104 = sext i32 %103 to i64
%105 = getelementptr inbounds i8*, i8** %102, i64 %104
%106 = load i8*, i8** %105
%107 = call i64 @strlen(i8* %106)
%108 = load i8*, i8** %11
%109 = getelementptr inbounds i8, i8* %108, i64 %107
store i8* %109, i8** %11
store i32 1, i32* %13
br label %110
110: ; preds = %101
%111 = load i32, i32* %12
%112 = add nsw i32 %111, 1
store i32 %112, i32* %12
br label %78
113: ; preds = %78
%114 = load i8*, i8** %10
%115 = getelementptr inbounds i8, i8* %114, i32 1
store i8* %115, i8** %10
br label %180
116: ; preds = %72
%117 = load i8*, i8** %10
%118 = load i8, i8* %117
%119 = sext i8 %118 to i32
%120 = call i32 @isdigit(i32 %119)
%121 = icmp ne i32 %120, 0
br i1 %121, label %122, label %168
122: ; preds = %116
%123 = load i8*, i8** %10
%124 = call i32 (i8*, ...) bitcast (i32 (...)* @atoi to i32 (i8*, ...)*)(i8* %123)
store i32 %124, i32* %12
%125 = load i32, i32* %12
%126 = icmp sge i32 %125, 0
br i1 %126, label %127, label %153
127: ; preds = %122
%128 = load i32, i32* %12
%129 = load i32, i32* %6
%130 = icmp slt i32 %128, %129
br i1 %130, label %131, label %153
131: ; preds = %127
%132 = load i8*, i8** %11
%133 = load i8**, i8*** %7
%134 = load i32, i32* %12
%135 = sext i32 %134 to i64
%136 = getelementptr inbounds i8*, i8** %133, i64 %135
%137 = load i8*, i8** %136
%138 = call i8* @strcpy(i8* %132, i8* %137)
%139 = load i32, i32* %14
%140 = icmp ne i32 %139, 0
br i1 %140, label %141, label %144
141: ; preds = %131
%142 = load i8*, i8** %11
%143 = call i32 (i8*, ...) bitcast (i32 (...)* @lower_string to i32 (i8*, ...)*)(i8* %142)
br label %144
144: ; preds = %141, %131
%145 = load i8**, i8*** %7
%146 = load i32, i32* %12
%147 = sext i32 %146 to i64
%148 = getelementptr inbounds i8*, i8** %145, i64 %147
%149 = load i8*, i8** %148
%150 = call i64 @strlen(i8* %149)
%151 = load i8*, i8** %11
%152 = getelementptr inbounds i8, i8* %151, i64 %150
store i8* %152, i8** %11
store i32 1, i32* %13
br label %157
153: ; preds = %127, %122
%154 = load i32, i32* %12
%155 = load i8*, i8** %5
%156 = call i32 (i8*, i32, i8*, ...) bitcast (i32 (...)* @error to i32 (i8*, i32, i8*, ...)*)(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @.str, i64 0, i64 0), i32 %154, i8* %155)
br label %157
157: ; preds = %153, %144
br label %158
158: ; preds = %164, %157
%159 = load i8*, i8** %10
%160 = load i8, i8* %159
%161 = sext i8 %160 to i32
%162 = call i32 @isdigit(i32 %161)
%163 = icmp ne i32 %162, 0
br i1 %163, label %164, label %167
164: ; preds = %158
%165 = load i8*, i8** %10
%166 = getelementptr inbounds i8, i8* %165, i32 1
store i8* %166, i8** %10
br label %158
167: ; preds = %158
br label %179
168: ; preds = %116
%169 = load i8*, i8** %11
%170 = getelementptr inbounds i8, i8* %169, i32 1
store i8* %170, i8** %11
store i8 36, i8* %169
%171 = load i32, i32* %14
%172 = icmp ne i32 %171, 0
br i1 %172, label %173, label %178
173: ; preds = %168
%174 = load i32, i32* %14
%175 = trunc i32 %174 to i8
%176 = load i8*, i8** %11
%177 = getelementptr inbounds i8, i8* %176, i32 1
store i8* %177, i8** %11
store i8 %175, i8* %176
br label %178
178: ; preds = %173, %168
br label %179
179: ; preds = %178, %167
br label %180
180: ; preds = %179, %113
br label %181
181: ; preds = %180, %66
br label %188
182: ; preds = %24
%183 = load i8*, i8** %10
%184 = getelementptr inbounds i8, i8* %183, i32 1
store i8* %184, i8** %10
%185 = load i8, i8* %183
%186 = load i8*, i8** %11
%187 = getelementptr inbounds i8, i8* %186, i32 1
store i8* %187, i8** %11
store i8 %185, i8* %186
br label %188
188: ; preds = %182, %181
br label %20
189: ; preds = %20
%190 = load i32, i32* %8
%191 = icmp ne i32 %190, 0
br i1 %191, label %192, label %222
192: ; preds = %189
%193 = load i32, i32* %13
%194 = icmp ne i32 %193, 0
br i1 %194, label %222, label %195
195: ; preds = %192
store i32 1, i32* %12
br label %196
196: ; preds = %218, %195
%197 = load i32, i32* %12
%198 = load i32, i32* %6
%199 = icmp slt i32 %197, %198
br i1 %199, label %200, label %221
200: ; preds = %196
%201 = load i8*, i8** %11
%202 = getelementptr inbounds i8, i8* %201, i32 1
store i8* %202, i8** %11
store i8 32, i8* %201
%203 = load i8*, i8** %11
%204 = load i8**, i8*** %7
%205 = load i32, i32* %12
%206 = sext i32 %205 to i64
%207 = getelementptr inbounds i8*, i8** %204, i64 %206
%208 = load i8*, i8** %207
%209 = call i8* @strcpy(i8* %203, i8* %208)
%210 = load i8**, i8*** %7
%211 = load i32, i32* %12
%212 = sext i32 %211 to i64
%213 = getelementptr inbounds i8*, i8** %210, i64 %212
%214 = load i8*, i8** %213
%215 = call i64 @strlen(i8* %214)
%216 = load i8*, i8** %11
%217 = getelementptr inbounds i8, i8* %216, i64 %215
store i8* %217, i8** %11
br label %218
218: ; preds = %200
%219 = load i32, i32* %12
%220 = add nsw i32 %219, 1
store i32 %220, i32* %12
br label %196
221: ; preds = %196
br label %222
222: ; preds = %221, %192, %189
%223 = load i8*, i8** %11
%224 = getelementptr inbounds i8, i8* %223, i32 1
store i8* %224, i8** %11
store i8 0, i8* %223
%225 = load i8*, i8** %9
%226 = load i8*, i8** %9
%227 = call i64 @strlen(i8* %226)
%228 = add i64 %227, 1
%229 = call i32 (i8*, i64, ...) bitcast (i32 (...)* @safe_realloc to i32 (i8*, i64, ...)*)(i8* %225, i64 %228)
%230 = sext i32 %229 to i64
%231 = inttoptr i64 %230 to i8*
ret i8* %231
}

LLVM IR (-O2):
@.str = [60 x i8] c"Bad argument reference ($%d) when applying definition \22%s\22.\00"
define i8* @apply_definition(i8* %0, i32 %1, i8** nocapture %2, i32 %3) {
%5 = tail call i32 (i32, ...) bitcast (i32 (...)* @safe_malloc to i32 (i32, ...)*)(i32 10001)
%6 = sext i32 %5 to i64
%7 = inttoptr i64 %6 to i8*
%8 = icmp sgt i32 %1, 1
%9 = zext i32 %1 to i64
%10 = getelementptr inbounds i8*, i8** %2, i64 1
%11 = getelementptr inbounds i8*, i8** %2, i64 1
%12 = icmp eq i32 %1, 2
br label %13
13: ; preds = %76, %4
%14 = phi i8* [ %0, %4 ], [ %77, %76 ]
%15 = phi i8* [ %7, %4 ], [ %78, %76 ]
%16 = phi i32 [ 0, %4 ], [ %79, %76 ]
br label %17
17: ; preds = %54, %13
%18 = phi i8* [ %14, %13 ], [ %55, %54 ]
%19 = phi i8* [ %15, %13 ], [ %56, %54 ]
%20 = load i8, i8* %18
switch i8 %20, label %119 [
i8 0, label %122
i8 36, label %21
]
21: ; preds = %17
%22 = getelementptr inbounds i8, i8* %18, i64 1
%23 = load i8, i8* %22
switch i8 %23, label %36 [
i8 76, label %24
i8 108, label %24
]
24: ; preds = %21, %21
%25 = getelementptr inbounds i8, i8* %18, i64 2
%26 = load i8, i8* %25
%27 = icmp eq i8 %26, 42
%28 = sext i8 %26 to i32
%29 = add nsw i32 %28, -48
%30 = icmp ult i32 %29, 10
%31 = select i1 %27, i1 true, i1 %30
%32 = zext i8 %23 to i32
%33 = select i1 %31, i8* %25, i8* %22
%34 = select i1 %31, i32 %32, i32 0
%35 = load i8, i8* %33
br label %36
36: ; preds = %24, %21
%37 = phi i8 [ %35, %24 ], [ %23, %21 ]
%38 = phi i8* [ %33, %24 ], [ %22, %21 ]
%39 = phi i32 [ %34, %24 ], [ 0, %21 ]
switch i8 %37, label %80 [
i8 36, label %51
i8 42, label %40
]
40: ; preds = %36
br i1 %8, label %41, label %72
41: ; preds = %40
%42 = icmp eq i32 %39, 0
%43 = load i8*, i8** %10
%44 = tail call i8* @strcpy(i8* dereferenceable(1) %19, i8* dereferenceable(1) %43)
br i1 %42, label %47, label %45
45: ; preds = %41
%46 = tail call i32 (i8*, ...) bitcast (i32 (...)* @lower_string to i32 (i8*, ...)*)(i8* %19)
br label %47
47: ; preds = %45, %41
%48 = load i8*, i8** %11
%49 = tail call i64 @strlen(i8* dereferenceable(1) %48)
%50 = getelementptr inbounds i8, i8* %19, i64 %49
br i1 %12, label %72, label %57
51: ; preds = %36
%52 = getelementptr inbounds i8, i8* %38, i64 1
%53 = getelementptr inbounds i8, i8* %19, i64 1
store i8 36, i8* %19
br label %54
54: ; preds = %51, %116, %113, %119
%55 = phi i8* [ %52, %51 ], [ %38, %116 ], [ %38, %113 ], [ %120, %119 ]
%56 = phi i8* [ %53, %51 ], [ %118, %116 ], [ %114, %113 ], [ %121, %119 ]
br label %17
57: ; preds = %47, %66
%58 = phi i64 [ %70, %66 ], [ 2, %47 ]
%59 = phi i8* [ %69, %66 ], [ %50, %47 ]
%60 = getelementptr inbounds i8, i8* %59, i64 1
store i8 32, i8* %59
%61 = getelementptr inbounds i8*, i8** %2, i64 %58
%62 = load i8*, i8** %61
%63 = tail call i8* @strcpy(i8* dereferenceable(1) %60, i8* dereferenceable(1) %62)
br i1 %42, label %66, label %64
64: ; preds = %57
%65 = tail call i32 (i8*, ...) bitcast (i32 (...)* @lower_string to i32 (i8*, ...)*)(i8* %60)
br label %66
66: ; preds = %64, %57
%67 = load i8*, i8** %61
%68 = tail call i64 @strlen(i8* dereferenceable(1) %67)
%69 = getelementptr inbounds i8, i8* %60, i64 %68
%70 = add nuw nsw i64 %58, 1
%71 = icmp eq i64 %70, %9
br i1 %71, label %72, label %57
72: ; preds = %66, %47, %40
%73 = phi i8* [ %19, %40 ], [ %50, %47 ], [ %69, %66 ]
%74 = phi i32 [ %16, %40 ], [ 1, %47 ], [ 1, %66 ]
%75 = getelementptr inbounds i8, i8* %38, i64 1
br label %76
76: ; preds = %106, %72
%77 = phi i8* [ %75, %72 ], [ %107, %106 ]
%78 = phi i8* [ %73, %72 ], [ %104, %106 ]
%79 = phi i32 [ %74, %72 ], [ %105, %106 ]
br label %13
80: ; preds = %36
%81 = sext i8 %37 to i32
%82 = add nsw i32 %81, -48
%83 = icmp ult i32 %82, 10
br i1 %83, label %84, label %113
84: ; preds = %80
%85 = tail call i32 (i8*, ...) bitcast (i32 (...)* @atoi to i32 (i8*, ...)*)(i8* %38)
%86 = icmp sgt i32 %85, -1
%87 = icmp slt i32 %85, %1
%88 = and i1 %86, %87
br i1 %88, label %89, label %101
89: ; preds = %84
%90 = zext i32 %85 to i64
%91 = getelementptr inbounds i8*, i8** %2, i64 %90
%92 = load i8*, i8** %91
%93 = tail call i8* @strcpy(i8* dereferenceable(1) %19, i8* dereferenceable(1) %92)
%94 = icmp eq i32 %39, 0
br i1 %94, label %97, label %95
95: ; preds = %89
%96 = tail call i32 (i8*, ...) bitcast (i32 (...)* @lower_string to i32 (i8*, ...)*)(i8* %19)
br label %97
97: ; preds = %95, %89
%98 = load i8*, i8** %91
%99 = tail call i64 @strlen(i8* dereferenceable(1) %98)
%100 = getelementptr inbounds i8, i8* %19, i64 %99
br label %103
101: ; preds = %84
%102 = tail call i32 (i8*, i32, i8*, ...) bitcast (i32 (...)* @error to i32 (i8*, i32, i8*, ...)*)(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @.str, i64 0, i64 0), i32 %85, i8* %0)
br label %103
103: ; preds = %101, %97
%104 = phi i8* [ %100, %97 ], [ %19, %101 ]
%105 = phi i32 [ 1, %97 ], [ %16, %101 ]
br label %106
106: ; preds = %106, %103
%107 = phi i8* [ %38, %103 ], [ %112, %106 ]
%108 = load i8, i8* %107
%109 = sext i8 %108 to i32
%110 = add nsw i32 %109, -48
%111 = icmp ult i32 %110, 10
%112 = getelementptr inbounds i8, i8* %107, i64 1
br i1 %111, label %106, label %76
113: ; preds = %80
%114 = getelementptr inbounds i8, i8* %19, i64 1
store i8 36, i8* %19
%115 = icmp eq i32 %39, 0
br i1 %115, label %54, label %116
116: ; preds = %113
%117 = trunc i32 %39 to i8
%118 = getelementptr inbounds i8, i8* %19, i64 2
store i8 %117, i8* %114
br label %54
119: ; preds = %17
%120 = getelementptr inbounds i8, i8* %18, i64 1
%121 = getelementptr inbounds i8, i8* %19, i64 1
store i8 %20, i8* %19
br label %54
122: ; preds = %17
%123 = icmp ne i32 %3, 0
%124 = icmp eq i32 %16, 0
%125 = select i1 %123, i1 %124, i1 false
%126 = and i1 %125, %8
br i1 %126, label %127, label %141
127: ; preds = %122
%128 = zext i32 %1 to i64
br label %129
129: ; preds = %127, %129
%130 = phi i64 [ 1, %127 ], [ %139, %129 ]
%131 = phi i8* [ %19, %127 ], [ %138, %129 ]
%132 = getelementptr inbounds i8, i8* %131, i64 1
store i8 32, i8* %131
%133 = getelementptr inbounds i8*, i8** %2, i64 %130
%134 = load i8*, i8** %133
%135 = tail call i8* @strcpy(i8* %132, i8* dereferenceable(1) %134)
%136 = load i8*, i8** %133
%137 = tail call i64 @strlen(i8* dereferenceable(1) %136)
%138 = getelementptr inbounds i8, i8* %132, i64 %137
%139 = add nuw nsw i64 %130, 1
%140 = icmp eq i64 %139, %128
br i1 %140, label %141, label %129
141: ; preds = %129, %122
%142 = phi i8* [ %19, %122 ], [ %138, %129 ]
store i8 0, i8* %142
%143 = tail call i64 @strlen(i8* dereferenceable(1) %7)
%144 = add i64 %143, 1
%145 = tail call i32 (i8*, i64, ...) bitcast (i32 (...)* @safe_realloc to i32 (i8*, i64, ...)*)(i8* %7, i64 %144)
%146 = sext i32 %145 to i64
%147 = inttoptr i64 %146 to i8*
ret i8* %147
}