#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 *OC_mkTySkelRef(char *);
char *OC_mkTypeSetVar(char *, char *, char *);
char *OC_mkVarDef(char *, char *);
char *UTIL_appendStr(char *, char *);
int /*<<< orphan*/ free(char *);
char *genTySkelArrow(char *, char *);
char *OC_mkFixedTySkels(char *tySkels) {
  char *text;
  char *setvarIntReal =
      OC_mkTypeSetVar("(Absyn.ApplicationType(kint,[]))",
                      "(Absyn.ApplicationType(kint,[]) :: "
                      "Absyn.ApplicationType(kreal,[]) :: [])",
                      "tysetvarIR");
  char *setvarIntRealStr = OC_mkTypeSetVar(
      "(Absyn.ApplicationType(kint,[]))",
      "(Absyn.ApplicationType(kint,[]) :: Absyn.ApplicationType(kreal,[]) :: "
      "Absyn.ApplicationType(kstring, []) :: [])",
      "tysetvarIRS");
  char *tyskelBody, *tyskelBody2;
  char *tyskel, *tyskelText;
  text = UTIL_appendStr(tySkels, setvarIntReal);
  free(setvarIntReal);
  tySkels = UTIL_appendStr(text, "\n");
  free(text);
  tyskelBody = genTySkelArrow("tysetvarIR", "tysetvarIR");
  tyskelText = OC_mkTySkelRef(tyskelBody);
  tyskel = OC_mkVarDef("overloadTySkel1", tyskelText);
  free(tyskelText);
  text = UTIL_appendStr(tySkels, tyskel);
  free(tyskel);
  tySkels = UTIL_appendStr(text, "\n");
  free(text);
  tyskelBody2 = genTySkelArrow("tysetvarIR", tyskelBody);
  free(tyskelBody);
  tyskelText = OC_mkTySkelRef(tyskelBody2);
  free(tyskelBody2);
  tyskel = OC_mkVarDef("overloadTySkel2", tyskelText);
  free(tyskelText);
  text = UTIL_appendStr(tySkels, tyskel);
  free(tyskel);
  tySkels = UTIL_appendStr(text, "\n\n");
  free(text);
  text = UTIL_appendStr(tySkels, setvarIntRealStr);
  free(setvarIntRealStr);
  tySkels = UTIL_appendStr(text, "\n");
  free(text);
  tyskelBody =
      genTySkelArrow("tysetvarIRS", "Absyn.ApplicationType(kbool, [])");
  tyskelBody2 = genTySkelArrow("tysetvarIRS", tyskelBody);
  free(tyskelBody);
  tyskelText = OC_mkTySkelRef(tyskelBody2);
  free(tyskelBody2);
  tyskel = OC_mkVarDef("overloadTySkel3", tyskelText);
  free(tyskelText);
  text = UTIL_appendStr(tySkels, tyskel);
  free(tyskel);
  tySkels = UTIL_appendStr(text, "\n\n");
  free(text);
  return tySkels;
}


x86 assembly (clang, -O0):
<OC_mkFixedTySkels>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
lea    0xe8d(%rip),%rdi
lea    0xea7(%rip),%rsi
lea    0xeea(%rip),%rdx
call   1040 <OC_mkTypeSetVar@plt>
mov    %rax,-0x18(%rbp)
lea    0xe6f(%rip),%rdi
lea    0xede(%rip),%rsi
lea    0xf47(%rip),%rdx
call   1040 <OC_mkTypeSetVar@plt>
mov    %rax,-0x20(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1080 <UTIL_appendStr@plt>
mov    %rax,-0x10(%rbp)
mov    -0x18(%rbp),%rdi
call   1030 <free@plt>
mov    -0x10(%rbp),%rdi
lea    0xf46(%rip),%rsi
call   1080 <UTIL_appendStr@plt>
mov    %rax,-0x8(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <free@plt>
lea    0xe85(%rip),%rsi
mov    %rsi,%rdi
call   1070 <genTySkelArrow@plt>
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rdi
call   1060 <OC_mkTySkelRef@plt>
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rsi
lea    0xee8(%rip),%rdi
call   1050 <OC_mkVarDef@plt>
mov    %rax,-0x38(%rbp)
mov    -0x40(%rbp),%rdi
call   1030 <free@plt>
mov    -0x8(%rbp),%rdi
mov    -0x38(%rbp),%rsi
call   1080 <UTIL_appendStr@plt>
mov    %rax,-0x10(%rbp)
mov    -0x38(%rbp),%rdi
call   1030 <free@plt>
mov    -0x10(%rbp),%rdi
lea    0xed2(%rip),%rsi
call   1080 <UTIL_appendStr@plt>
mov    %rax,-0x8(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <free@plt>
mov    -0x28(%rbp),%rsi
lea    0xe0d(%rip),%rdi
call   1070 <genTySkelArrow@plt>
mov    %rax,-0x30(%rbp)
mov    -0x28(%rbp),%rdi
call   1030 <free@plt>
mov    -0x30(%rbp),%rdi
call   1060 <OC_mkTySkelRef@plt>
mov    %rax,-0x40(%rbp)
mov    -0x30(%rbp),%rdi
call   1030 <free@plt>
mov    -0x40(%rbp),%rsi
lea    0xe71(%rip),%rdi
call   1050 <OC_mkVarDef@plt>
mov    %rax,-0x38(%rbp)
mov    -0x40(%rbp),%rdi
call   1030 <free@plt>
mov    -0x8(%rbp),%rdi
mov    -0x38(%rbp),%rsi
call   1080 <UTIL_appendStr@plt>
mov    %rax,-0x10(%rbp)
mov    -0x38(%rbp),%rdi
call   1030 <free@plt>
mov    -0x10(%rbp),%rdi
lea    0xe4a(%rip),%rsi
call   1080 <UTIL_appendStr@plt>
mov    %rax,-0x8(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <free@plt>
mov    -0x8(%rbp),%rdi
mov    -0x20(%rbp),%rsi
call   1080 <UTIL_appendStr@plt>
mov    %rax,-0x10(%rbp)
mov    -0x20(%rbp),%rdi
call   1030 <free@plt>
mov    -0x10(%rbp),%rdi
lea    0xe14(%rip),%rsi
call   1080 <UTIL_appendStr@plt>
mov    %rax,-0x8(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <free@plt>
lea    0xdce(%rip),%rdi
lea    0xdf6(%rip),%rsi
call   1070 <genTySkelArrow@plt>
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rsi
lea    0xdb3(%rip),%rdi
call   1070 <genTySkelArrow@plt>
mov    %rax,-0x30(%rbp)
mov    -0x28(%rbp),%rdi
call   1030 <free@plt>
mov    -0x30(%rbp),%rdi
call   1060 <OC_mkTySkelRef@plt>
mov    %rax,-0x40(%rbp)
mov    -0x30(%rbp),%rdi
call   1030 <free@plt>
mov    -0x40(%rbp),%rsi
lea    0xdd0(%rip),%rdi
call   1050 <OC_mkVarDef@plt>
mov    %rax,-0x38(%rbp)
mov    -0x40(%rbp),%rdi
call   1030 <free@plt>
mov    -0x8(%rbp),%rdi
mov    -0x38(%rbp),%rsi
call   1080 <UTIL_appendStr@plt>
mov    %rax,-0x10(%rbp)
mov    -0x38(%rbp),%rdi
call   1030 <free@plt>
mov    -0x10(%rbp),%rdi
lea    0xd75(%rip),%rsi
call   1080 <UTIL_appendStr@plt>
mov    %rax,-0x8(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <free@plt>
mov    -0x8(%rbp),%rax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<OC_mkFixedTySkels>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rdi,%rbx
lea    0xe8b(%rip),%r15
lea    0xea5(%rip),%rsi
lea    0xee8(%rip),%r13
mov    %r15,%rdi
mov    %r13,%rdx
call   1040 <OC_mkTypeSetVar@plt>
mov    %rax,%rbp
lea    0xede(%rip),%rsi
lea    0xf47(%rip),%rdx
mov    %r15,%rdi
call   1040 <OC_mkTypeSetVar@plt>
mov    %rax,%r12
mov    %rbx,%rdi
mov    %rbp,%rsi
call   1080 <UTIL_appendStr@plt>
mov    %rax,%rbx
mov    %rbp,%rdi
call   1030 <free@plt>
lea    0xf4c(%rip),%rsi
mov    %rbx,%rdi
call   1080 <UTIL_appendStr@plt>
mov    %rax,%rbp
mov    %rbx,%rdi
call   1030 <free@plt>
mov    %r13,%rdi
mov    %r13,%rsi
call   1070 <genTySkelArrow@plt>
mov    %rax,%rbx
mov    %rax,%rdi
call   1060 <OC_mkTySkelRef@plt>
mov    %rax,%r14
lea    0xef8(%rip),%rdi
mov    %rax,%rsi
call   1050 <OC_mkVarDef@plt>
mov    %rax,%r15
mov    %r14,%rdi
call   1030 <free@plt>
mov    %rbp,%rdi
mov    %r15,%rsi
call   1080 <UTIL_appendStr@plt>
mov    %rax,%rbp
mov    %r15,%rdi
call   1030 <free@plt>
mov    %rbp,%rdi
lea    0xee6(%rip),%r15
mov    %r15,%rsi
call   1080 <UTIL_appendStr@plt>
mov    %rax,%r14
mov    %rbp,%rdi
call   1030 <free@plt>
mov    %r13,%rdi
mov    %rbx,%rsi
call   1070 <genTySkelArrow@plt>
mov    %rax,%rbp
mov    %rbx,%rdi
call   1030 <free@plt>
mov    %rbp,%rdi
call   1060 <OC_mkTySkelRef@plt>
mov    %rax,%rbx
mov    %rbp,%rdi
call   1030 <free@plt>
lea    0xe92(%rip),%rdi
mov    %rbx,%rsi
call   1050 <OC_mkVarDef@plt>
mov    %rax,%rbp
mov    %rbx,%rdi
call   1030 <free@plt>
mov    %r14,%rdi
mov    %rbp,%rsi
call   1080 <UTIL_appendStr@plt>
mov    %rax,%rbx
mov    %rbp,%rdi
call   1030 <free@plt>
lea    0xe72(%rip),%r13
mov    %rbx,%rdi
mov    %r13,%rsi
call   1080 <UTIL_appendStr@plt>
mov    %rax,%rbp
mov    %rbx,%rdi
call   1030 <free@plt>
mov    %rbp,%rdi
mov    %r12,%rsi
call   1080 <UTIL_appendStr@plt>
mov    %rax,%rbp
mov    %r12,%rdi
call   1030 <free@plt>
mov    %rbp,%rdi
mov    %r15,%rsi
call   1080 <UTIL_appendStr@plt>
mov    %rax,%r14
mov    %rbp,%rdi
call   1030 <free@plt>
lea    0xe2c(%rip),%rsi
lea    0xdf6(%rip),%rbx
mov    %rbx,%rdi
call   1070 <genTySkelArrow@plt>
mov    %rax,%rbp
mov    %rbx,%rdi
mov    %rax,%rsi
call   1070 <genTySkelArrow@plt>
mov    %rax,%rbx
mov    %rbp,%rdi
call   1030 <free@plt>
mov    %rbx,%rdi
call   1060 <OC_mkTySkelRef@plt>
mov    %rax,%rbp
mov    %rbx,%rdi
call   1030 <free@plt>
lea    0xe0b(%rip),%rdi
mov    %rbp,%rsi
call   1050 <OC_mkVarDef@plt>
mov    %rax,%rbx
mov    %rbp,%rdi
call   1030 <free@plt>
mov    %r14,%rdi
mov    %rbx,%rsi
call   1080 <UTIL_appendStr@plt>
mov    %rax,%rbp
mov    %rbx,%rdi
call   1030 <free@plt>
mov    %rbp,%rdi
mov    %r13,%rsi
call   1080 <UTIL_appendStr@plt>
mov    %rax,%rbx
mov    %rbp,%rdi
call   1030 <free@plt>
mov    %rbx,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [33 x i8] c"(Absyn.ApplicationType(kint,[]))\00"
@.str.1 = [74 x i8] c"(Absyn.ApplicationType(kint,[]) :: Absyn.ApplicationType(kreal,[]) :: [])\00"
@.str.2 = [11 x i8] c"tysetvarIR\00"
@.str.3 = [112 x i8] c"(Absyn.ApplicationType(kint,[]) :: Absyn.ApplicationType(kreal,[]) :: Absyn.ApplicationType(kstring, []) :: [])\00"
@.str.4 = [12 x i8] c"tysetvarIRS\00"
@.str.5 = [2 x i8] c"\0A\00"
@.str.6 = [16 x i8] c"overloadTySkel1\00"
@.str.7 = [16 x i8] c"overloadTySkel2\00"
@.str.8 = [3 x i8] c"\0A\0A\00"
@.str.9 = [33 x i8] c"Absyn.ApplicationType(kbool, [])\00"
@.str.10 = [16 x i8] c"overloadTySkel3\00"
define i8* @OC_mkFixedTySkels(i8* %0) {
%2 = alloca i8*
%3 = alloca i8*
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i8*
%9 = alloca i8*
store i8* %0, i8** %2
%10 = call i8* @OC_mkTypeSetVar(i8* getelementptr inbounds ([33 x i8], [33 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([74 x i8], [74 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.2, i64 0, i64 0))
store i8* %10, i8** %4
%11 = call i8* @OC_mkTypeSetVar(i8* getelementptr inbounds ([33 x i8], [33 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([112 x i8], [112 x i8]* @.str.3, i64 0, i64 0), i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.4, i64 0, i64 0))
store i8* %11, i8** %5
%12 = load i8*, i8** %2
%13 = load i8*, i8** %4
%14 = call i8* @UTIL_appendStr(i8* %12, i8* %13)
store i8* %14, i8** %3
%15 = load i8*, i8** %4
%16 = call i32 @free(i8* %15)
%17 = load i8*, i8** %3
%18 = call i8* @UTIL_appendStr(i8* %17, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.5, i64 0, i64 0))
store i8* %18, i8** %2
%19 = load i8*, i8** %3
%20 = call i32 @free(i8* %19)
%21 = call i8* @genTySkelArrow(i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.2, i64 0, i64 0))
store i8* %21, i8** %6
%22 = load i8*, i8** %6
%23 = call i8* @OC_mkTySkelRef(i8* %22)
store i8* %23, i8** %9
%24 = load i8*, i8** %9
%25 = call i8* @OC_mkVarDef(i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.6, i64 0, i64 0), i8* %24)
store i8* %25, i8** %8
%26 = load i8*, i8** %9
%27 = call i32 @free(i8* %26)
%28 = load i8*, i8** %2
%29 = load i8*, i8** %8
%30 = call i8* @UTIL_appendStr(i8* %28, i8* %29)
store i8* %30, i8** %3
%31 = load i8*, i8** %8
%32 = call i32 @free(i8* %31)
%33 = load i8*, i8** %3
%34 = call i8* @UTIL_appendStr(i8* %33, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.5, i64 0, i64 0))
store i8* %34, i8** %2
%35 = load i8*, i8** %3
%36 = call i32 @free(i8* %35)
%37 = load i8*, i8** %6
%38 = call i8* @genTySkelArrow(i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.2, i64 0, i64 0), i8* %37)
store i8* %38, i8** %7
%39 = load i8*, i8** %6
%40 = call i32 @free(i8* %39)
%41 = load i8*, i8** %7
%42 = call i8* @OC_mkTySkelRef(i8* %41)
store i8* %42, i8** %9
%43 = load i8*, i8** %7
%44 = call i32 @free(i8* %43)
%45 = load i8*, i8** %9
%46 = call i8* @OC_mkVarDef(i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.7, i64 0, i64 0), i8* %45)
store i8* %46, i8** %8
%47 = load i8*, i8** %9
%48 = call i32 @free(i8* %47)
%49 = load i8*, i8** %2
%50 = load i8*, i8** %8
%51 = call i8* @UTIL_appendStr(i8* %49, i8* %50)
store i8* %51, i8** %3
%52 = load i8*, i8** %8
%53 = call i32 @free(i8* %52)
%54 = load i8*, i8** %3
%55 = call i8* @UTIL_appendStr(i8* %54, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i64 0, i64 0))
store i8* %55, i8** %2
%56 = load i8*, i8** %3
%57 = call i32 @free(i8* %56)
%58 = load i8*, i8** %2
%59 = load i8*, i8** %5
%60 = call i8* @UTIL_appendStr(i8* %58, i8* %59)
store i8* %60, i8** %3
%61 = load i8*, i8** %5
%62 = call i32 @free(i8* %61)
%63 = load i8*, i8** %3
%64 = call i8* @UTIL_appendStr(i8* %63, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.5, i64 0, i64 0))
store i8* %64, i8** %2
%65 = load i8*, i8** %3
%66 = call i32 @free(i8* %65)
%67 = call i8* @genTySkelArrow(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.4, i64 0, i64 0), i8* getelementptr inbounds ([33 x i8], [33 x i8]* @.str.9, i64 0, i64 0))
store i8* %67, i8** %6
%68 = load i8*, i8** %6
%69 = call i8* @genTySkelArrow(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.4, i64 0, i64 0), i8* %68)
store i8* %69, i8** %7
%70 = load i8*, i8** %6
%71 = call i32 @free(i8* %70)
%72 = load i8*, i8** %7
%73 = call i8* @OC_mkTySkelRef(i8* %72)
store i8* %73, i8** %9
%74 = load i8*, i8** %7
%75 = call i32 @free(i8* %74)
%76 = load i8*, i8** %9
%77 = call i8* @OC_mkVarDef(i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.10, i64 0, i64 0), i8* %76)
store i8* %77, i8** %8
%78 = load i8*, i8** %9
%79 = call i32 @free(i8* %78)
%80 = load i8*, i8** %2
%81 = load i8*, i8** %8
%82 = call i8* @UTIL_appendStr(i8* %80, i8* %81)
store i8* %82, i8** %3
%83 = load i8*, i8** %8
%84 = call i32 @free(i8* %83)
%85 = load i8*, i8** %3
%86 = call i8* @UTIL_appendStr(i8* %85, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i64 0, i64 0))
store i8* %86, i8** %2
%87 = load i8*, i8** %3
%88 = call i32 @free(i8* %87)
%89 = load i8*, i8** %2
ret i8* %89
}

LLVM IR (-O2):
@.str = [33 x i8] c"(Absyn.ApplicationType(kint,[]))\00"
@.str.1 = [74 x i8] c"(Absyn.ApplicationType(kint,[]) :: Absyn.ApplicationType(kreal,[]) :: [])\00"
@.str.2 = [11 x i8] c"tysetvarIR\00"
@.str.3 = [112 x i8] c"(Absyn.ApplicationType(kint,[]) :: Absyn.ApplicationType(kreal,[]) :: Absyn.ApplicationType(kstring, []) :: [])\00"
@.str.4 = [12 x i8] c"tysetvarIRS\00"
@.str.5 = [2 x i8] c"\0A\00"
@.str.6 = [16 x i8] c"overloadTySkel1\00"
@.str.7 = [16 x i8] c"overloadTySkel2\00"
@.str.8 = [3 x i8] c"\0A\0A\00"
@.str.9 = [33 x i8] c"Absyn.ApplicationType(kbool, [])\00"
@.str.10 = [16 x i8] c"overloadTySkel3\00"
define i8* @OC_mkFixedTySkels(i8* %0) {
%2 = tail call i8* @OC_mkTypeSetVar(i8* getelementptr inbounds ([33 x i8], [33 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([74 x i8], [74 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.2, i64 0, i64 0))
%3 = tail call i8* @OC_mkTypeSetVar(i8* getelementptr inbounds ([33 x i8], [33 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([112 x i8], [112 x i8]* @.str.3, i64 0, i64 0), i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.4, i64 0, i64 0))
%4 = tail call i8* @UTIL_appendStr(i8* %0, i8* %2)
%5 = tail call i32 @free(i8* %2)
%6 = tail call i8* @UTIL_appendStr(i8* %4, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.5, i64 0, i64 0))
%7 = tail call i32 @free(i8* %4)
%8 = tail call i8* @genTySkelArrow(i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.2, i64 0, i64 0))
%9 = tail call i8* @OC_mkTySkelRef(i8* %8)
%10 = tail call i8* @OC_mkVarDef(i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.6, i64 0, i64 0), i8* %9)
%11 = tail call i32 @free(i8* %9)
%12 = tail call i8* @UTIL_appendStr(i8* %6, i8* %10)
%13 = tail call i32 @free(i8* %10)
%14 = tail call i8* @UTIL_appendStr(i8* %12, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.5, i64 0, i64 0))
%15 = tail call i32 @free(i8* %12)
%16 = tail call i8* @genTySkelArrow(i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.2, i64 0, i64 0), i8* %8)
%17 = tail call i32 @free(i8* %8)
%18 = tail call i8* @OC_mkTySkelRef(i8* %16)
%19 = tail call i32 @free(i8* %16)
%20 = tail call i8* @OC_mkVarDef(i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.7, i64 0, i64 0), i8* %18)
%21 = tail call i32 @free(i8* %18)
%22 = tail call i8* @UTIL_appendStr(i8* %14, i8* %20)
%23 = tail call i32 @free(i8* %20)
%24 = tail call i8* @UTIL_appendStr(i8* %22, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i64 0, i64 0))
%25 = tail call i32 @free(i8* %22)
%26 = tail call i8* @UTIL_appendStr(i8* %24, i8* %3)
%27 = tail call i32 @free(i8* %3)
%28 = tail call i8* @UTIL_appendStr(i8* %26, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.5, i64 0, i64 0))
%29 = tail call i32 @free(i8* %26)
%30 = tail call i8* @genTySkelArrow(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.4, i64 0, i64 0), i8* getelementptr inbounds ([33 x i8], [33 x i8]* @.str.9, i64 0, i64 0))
%31 = tail call i8* @genTySkelArrow(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.4, i64 0, i64 0), i8* %30)
%32 = tail call i32 @free(i8* %30)
%33 = tail call i8* @OC_mkTySkelRef(i8* %31)
%34 = tail call i32 @free(i8* %31)
%35 = tail call i8* @OC_mkVarDef(i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.10, i64 0, i64 0), i8* %33)
%36 = tail call i32 @free(i8* %33)
%37 = tail call i8* @UTIL_appendStr(i8* %28, i8* %35)
%38 = tail call i32 @free(i8* %35)
%39 = tail call i8* @UTIL_appendStr(i8* %37, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i64 0, i64 0))
%40 = tail call i32 @free(i8* %37)
ret i8* %39
}