user: What would the C source look like for the assembly code provided here?

```asm
<convert_man_hwynt>:
  endbr64
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x410,%rsp
  mov    %rdi,%r14
  mov    %rdx,%rbx
  mov    %fs:0x28,%rax
  mov    %rax,0x408(%rsp)
  xor    %eax,%eax
  mov    %rsp,%rbp
  mov    %rbp,%rdi
  call   <strcpy@plt>
  mov    %rbx,%rsi
  mov    %rbp,%rdi
  call   <strcat@plt>
  mov    $0x8,%esi
  mov    $0x4,%edi
  call   <calloc@plt>
  mov    %rax,%r12
  mov    %rax,%rbx
  lea    0x20(%rax),%r13
  mov    %rax,%rbp
L8:
  mov    $0x1,%esi
  mov    $0x400,%edi
  call   <calloc@plt>
  mov    %rax,0x0(%rbp)
  add    $0x8,%rbp
  cmp    %r13,%rbp
  jne    L8
  mov    %r14,%rsi
  mov    (%r12),%rdi
  call   <strcpy@plt>
  mov    (%r12),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  add    %rbp,%rax
  movabs $0x766f735f6e616d5c,%rdx
  movabs $0x616e69622e746e5f,%rcx
  mov    %rdx,(%rax)
  mov    %rcx,0x8(%rax)
  movw   $0x7972,0x10(%rax)
  movb   $0x0,0x12(%rax)
  mov    0x8(%r12),%rdi
  mov    %r14,%rsi
  call   <strcpy@plt>
  mov    0x8(%r12),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  add    %rbp,%rax
  movabs $0x766f685f6e616d5c,%rdx
  movabs $0x616e69622e746e5f,%rcx
  mov    %rdx,(%rax)
  mov    %rcx,0x8(%rax)
  movw   $0x7972,0x10(%rax)
  movb   $0x0,0x12(%rax)
  mov    0x10(%r12),%rdi
  mov    %r14,%rsi
  call   <strcpy@plt>
  mov    0x10(%r12),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  add    %rbp,%rax
  movabs $0x766f735f6e616d5c,%rdx
  movabs $0x2e6865765f746e5f,%rcx
  mov    %rdx,(%rax)
  mov    %rcx,0x8(%rax)
  movl   $0x616e6962,0x10(%rax)
  movw   $0x7972,0x14(%rax)
  movb   $0x0,0x16(%rax)
  mov    0x18(%r12),%rdi
  mov    %r14,%rsi
  call   <strcpy@plt>
  mov    0x18(%r12),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  add    %rbp,%rax
  movabs $0x766f685f6e616d5c,%rdx
  movabs $0x2e6865765f746e5f,%rcx
  mov    %rdx,(%rax)
  mov    %rcx,0x8(%rax)
  movl   $0x616e6962,0x10(%rax)
  movw   $0x7972,0x14(%rax)
  movb   $0x0,0x16(%rax)
  mov    %rsp,%rsi
  mov    $0x4,%edx
  mov    %r12,%rdi
  call   <combineBinaryTablesInTpplusFile@plt>
L10:
  mov    (%rbx),%rdi
  call   <free@plt>
  add    $0x8,%rbx
  cmp    %r13,%rbx
  jne    L10
  mov    %r12,%rdi
  call   <free@plt>
  mov    0x408(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L22
  add    $0x410,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  ret
L22:
  call   <__stack_chk_fail@plt>
```

assistant: ```c
void convert_man_hwynt(char *binaryFilesDirectory, char *tppFilesDirectory, char *tppFileName) {
  void combineBinaryTablesInTpplusFile(char **binaryFileNames, char *tppFileName, int ntables);
  int i;
  int nTables = 4;
  char **binaryFileNames;
  char fileName[1024];
  strcpy(fileName, tppFilesDirectory);
  strcat(fileName, tppFileName);
  binaryFileNames = (char **)calloc(nTables, sizeof(char *));
  for (i = 0; i < nTables; i++)
    binaryFileNames[i] = (char *)calloc(1024, sizeof(char));
  strcpy(binaryFileNames[0], binaryFilesDirectory);
  strcat(binaryFileNames[0], "\\man_sov_nt.binary");
  strcpy(binaryFileNames[1], binaryFilesDirectory);
  strcat(binaryFileNames[1], "\\man_hov_nt.binary");
  strcpy(binaryFileNames[2], binaryFilesDirectory);
  strcat(binaryFileNames[2], "\\man_sov_nt_veh.binary");
  strcpy(binaryFileNames[3], binaryFilesDirectory);
  strcat(binaryFileNames[3], "\\man_hov_nt_veh.binary");
  combineBinaryTablesInTpplusFile(binaryFileNames, fileName, nTables);
  for (i = 0; i < nTables; i++)
    free(binaryFileNames[i]);
  free(binaryFileNames);
}
```