user: What is the c source code of the assembly code below?

```asm
<OC_mkFixedMLI>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x8,%rsp
  lea    D10(%rip),%rsi
  lea    D82(%rip),%rdi
  call   <OC_mkTabDec@plt>
  mov    %rax,%r13
  lea    D33(%rip),%rsi
  lea    D8(%rip),%rdi
  call   <OC_mkTabDec@plt>
  mov    %rax,%r12
  lea    D63(%rip),%rsi
  lea    D19(%rip),%rdi
  call   <OC_mkTabDec@plt>
  mov    %rax,%rbp
  mov    %r13,%rdi
  call   <strlen@plt>
  mov    %eax,%ebx
  mov    %r12,%rdi
  call   <strlen@plt>
  add    %eax,%ebx
  mov    %rbp,%rdi
  call   <strlen@plt>
  add    %eax,%ebx
  lea    D21(%rip),%r15
  mov    %r15,%rdi
  call   <strlen@plt>
  add    %eax,%ebx
  lea    D2(%rip),%r14
  mov    %r14,%rdi
  call   <strlen@plt>
  lea    (%rbx,%rax,1),%edi
  movslq %edi,%rdi
  add    $0xb,%rdi
  call   <UTIL_mallocStr@plt>
  mov    %rax,%rbx
  mov    %r13,%rsi
  mov    %rax,%rdi
  call   <strcpy@plt>
  mov    %r13,%rdi
  call   <free@plt>
  mov    %r12,%rsi
  mov    %rbx,%rdi
  call   <strcat@plt>
  mov    %r12,%rdi
  call   <free@plt>
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <strcat@plt>
  mov    %rbp,%rdi
  call   <free@plt>
  lea    D31(%rip),%rbp
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <strcat@plt>
  mov    %r15,%rsi
  mov    %rbx,%rdi
  call   <strcat@plt>
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <strcat@plt>
  mov    %r14,%rsi
  mov    %rbx,%rdi
  call   <strcat@plt>
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <strcat@plt>
  mov    %rbx,%rax
  add    $0x8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: retrieve_data
arguments: tag: D10
type: string
name: retrieve_data
arguments: tag: D82
type: string
name: retrieve_data
arguments: tag: D33
type: string
name: retrieve_data
arguments: tag: D8
type: string
name: retrieve_data
arguments: tag: D63
type: string
name: retrieve_data
arguments: tag: D19
type: string
name: retrieve_data
arguments: tag: D21
type: string
name: retrieve_data
arguments: tag: D2
type: string
name: retrieve_data
arguments: tag: D31
type: string

tool: D10: akind

tool: D82: pervasiveKinds

tool: D33: aconstant

tool: D8: pervasiveConstants

tool: D63: atypeabbrev

tool: D19: pervasiveTypeAbbrevs

tool: D21: val implicationTerm : Absyn.aterm
val andTerm : Absyn.aterm


tool: D2: val isPerv : Absyn.aconstant -> bool                                          
val regClobberingPerv : Absyn.aconstant -> bool                                
val backtrackablePerv : Absyn.aconstant -> bool


tool: D31: 


assistant: ```c
char *OC_mkFixedMLI() {
  char *kindDec = OC_mkTabDec("pervasiveKinds", "akind");
  char *constDec = OC_mkTabDec("pervasiveConstants", "aconstant");
  char *tyabbrDec = OC_mkTabDec("pervasiveTypeAbbrevs", "atypeabbrev");
  size_t length = strlen(kindDec) + strlen(constDec) + strlen(tyabbrDec) + strlen("val implicationTerm : Absyn.aterm\nval andTerm : Absyn.aterm\n") + strlen("val isPerv : Absyn.aconstant -> bool                                          \nval regClobberingPerv : Absyn.aconstant -> bool                                \nval backtrackablePerv : Absyn.aconstant -> bool\n") + 10;
  char *decs = UTIL_mallocStr(length + 1);
  strcpy(decs, kindDec);
  free(kindDec);
  strcat(decs, constDec);
  free(constDec);
  strcat(decs, tyabbrDec);
  free(tyabbrDec);
  strcat(decs, "\n");
  strcat(decs, "val implicationTerm : Absyn.aterm\nval andTerm : Absyn.aterm\n");
  strcat(decs, "\n");
  strcat(decs, "val isPerv : Absyn.aconstant -> bool                                          \nval regClobberingPerv : Absyn.aconstant -> bool                                \nval backtrackablePerv : Absyn.aconstant -> bool\n");
  strcat(decs, "\n");
  return decs;
}
```