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

```asm
<intToRoman_t>:
  endbr64
  push   %r13
  push   %r12
  push   %rbp
  movslq %edi,%rbp
  mov    $0x80,%edi
  push   %rbx
  mov    %rbp,%rbx
  sub    $0x8,%rsp
  call   <malloc@plt>
  mov    $0x10,%edx
  xor    %esi,%esi
  mov    %rax,%rdi
  mov    %rax,%r12
  call   <memset@plt>
  lea    0x3e7(%rbp),%eax
  cmp    $0x7ce,%eax
  ja     L33
L18:
  imul   $0x10624dd3,%rbp,%rbp
  mov    %ebx,%eax
  sar    $0x1f,%eax
  sar    $0x26,%rbp
  sub    %eax,%ebp
  imul   $0x3e8,%ebp,%eax
  sub    %eax,%ebx
  lea    0x63(%rbx),%eax
  mov    %ebx,%ebp
  movslq %ebx,%rbx
  cmp    $0xc6,%eax
  ja     L30
L20:
  imul   $0x51eb851f,%rbx,%rbx
  mov    %ebp,%eax
  sar    $0x1f,%eax
  sar    $0x25,%rbx
  sub    %eax,%ebx
  imul   $0x64,%ebx,%eax
  mov    %ebp,%ebx
  sub    %eax,%ebx
  lea    0x9(%rbx),%eax
  movslq %ebx,%rbp
  cmp    $0x12,%eax
  ja     L50
L36:
  imul   $0x66666667,%rbp,%rdi
  mov    %ebx,%eax
  sar    $0x1f,%eax
  sar    $0x22,%rdi
  sub    %eax,%edi
  lea    (%rdi,%rdi,4),%eax
  mov    %ebx,%edi
  add    %eax,%eax
  sub    %eax,%edi
  jne    L37
  add    $0x8,%rsp
  mov    %r12,%rax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
  nopl   0x0(%rax)
L33:
  imul   $0x10624dd3,%rbp,%rdi
  mov    %ebp,%eax
  mov    $0x7a,%ecx
  mov    $0x7a,%edx
  sar    $0x1f,%eax
  mov    $0x4d,%esi
  sar    $0x26,%rdi
  sub    %eax,%edi
  call   <itr@plt>
  mov    %r12,%rdi
  mov    %rax,%r13
  mov    %rax,%rsi
  call   <strcat@plt>
  mov    %r13,%rdi
  call   <free@plt>
  jmp    L18
  nopl   0x0(%rax)
L37:
  mov    $0x58,%ecx
  mov    $0x56,%edx
  mov    $0x49,%esi
  call   <itr@plt>
  mov    %r12,%rdi
  mov    %rax,%rbp
  mov    %rax,%rsi
  call   <strcat@plt>
  mov    %rbp,%rdi
  call   <free@plt>
  add    $0x8,%rsp
  mov    %r12,%rax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
  nopl   0x0(%rax,%rax,1)
L50:
  imul   $0x66666667,%rbp,%rdi
  mov    %ebx,%eax
  mov    $0x43,%ecx
  mov    $0x4c,%edx
  sar    $0x1f,%eax
  mov    $0x58,%esi
  sar    $0x22,%rdi
  sub    %eax,%edi
  call   <itr@plt>
  mov    %r12,%rdi
  mov    %rax,%r13
  mov    %rax,%rsi
  call   <strcat@plt>
  mov    %r13,%rdi
  call   <free@plt>
  jmp    L36
  nopl   0x0(%rax)
L30:
  imul   $0x51eb851f,%rbx,%rdi
  mov    %ebp,%eax
  mov    $0x4d,%ecx
  mov    $0x44,%edx
  sar    $0x1f,%eax
  mov    $0x43,%esi
  sar    $0x25,%rdi
  sub    %eax,%edi
  call   <itr@plt>
  mov    %r12,%rdi
  mov    %rax,%r13
  mov    %rax,%rsi
  call   <strcat@plt>
  mov    %r13,%rdi
  call   <free@plt>
  jmp    L20
```

assistant: ```c
char *intToRoman_t(int num) {
  char *ret = (char *)malloc(sizeof(char *) * 16);
  memset(ret, 0, 16);
  if (num / 1000) {
    char *tmp = itr(num / 1000, 'M', 'z', 'z');
    strcat(ret, tmp);
    free(tmp);
  }
  num %= 1000;
  if (num / 100) {
    char *tmp = itr(num / 100, 'C', 'D', 'M');
    strcat(ret, tmp);
    free(tmp);
  }
  num %= 100;
  if (num / 10) {
    char *tmp = itr(num / 10, 'X', 'L', 'C');
    strcat(ret, tmp);
    free(tmp);
  }
  num %= 10;
  if (num) {
    char *tmp = itr(num, 'I', 'V', 'X');
    strcat(ret, tmp);
    free(tmp);
  }
  return ret;
}
```