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

```asm
<redisFormatCommandArgv>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x28,%rsp
  mov    %rdi,0x18(%rsp)
  test   %rdi,%rdi
  je     L0
  mov    %esi,%ebx
  mov    %rdx,%r15
  mov    %rcx,%r14
  mov    %esi,%edi
  call   <countDigits@plt>
  lea    0x3(%rax),%ecx
  mov    %ecx,0x14(%rsp)
  test   %ebx,%ebx
  jle    L86
  mov    %ebx,%eax
  mov    %rax,0x8(%rsp)
  mov    $0x0,%ebp
  jmp    L81
L118:
  mov    (%r15,%rbp,8),%rdi
  call   <strlen@plt>
  mov    %rax,%rdi
L67:
  call   <bulklen@plt>
  add    %eax,0x14(%rsp)
  add    $0x1,%rbp
  cmp    %rbp,0x8(%rsp)
  je     L41
L81:
  test   %r14,%r14
  je     L118
  mov    (%r14,%rbp,8),%rdi
  jmp    L67
L22:
  mov    (%r14,%rbp,8),%r13
L102:
  movslq %ebx,%rdi
  add    %r12,%rdi
  mov    %r13,%rdx
  lea    D0(%rip),%rsi
  call   <sprintf@plt>
  add    %eax,%ebx
  mov    (%r15,%rbp,8),%rsi
  movslq %ebx,%rdi
  add    %r12,%rdi
  mov    %r13,%rdx
  call   <memcpy@plt>
  lea    (%rbx,%r13,1),%eax
  movslq %eax,%rdx
  movb   $0xd,(%r12,%rdx,1)
  lea    0x2(%rax),%ebx
  add    $0x1,%eax
  cltq
  movb   $0xa,(%r12,%rax,1)
  add    $0x1,%rbp
  cmp    %rbp,0x8(%rsp)
  je     L5
L58:
  test   %r14,%r14
  jne    L22
  mov    (%r15,%rbp,8),%rdi
  call   <strlen@plt>
  mov    %rax,%r13
  jmp    L102
L0:
  movl   $0xffffffff,0x14(%rsp)
  jmp    L78
L85:
  movl   $0xffffffff,0x14(%rsp)
  jmp    L78
L65:
  movl   $0xffffffff,0x14(%rsp)
  jmp    L78
L86:
  lea    0x4(%rax),%edi
  call   <malloc@plt>
  mov    %rax,%r12
  test   %rax,%rax
  je     L85
  movslq %ebx,%rdx
  lea    D9(%rip),%rsi
  mov    %r12,%rdi
  call   <sprintf@plt>
  mov    %eax,%ebx
L5:
  cmp    0x14(%rsp),%ebx
  sete   %dil
  movzbl %dil,%edi
  call   <assert@plt>
  movslq %ebx,%rbx
  movb   $0x0,(%r12,%rbx,1)
  mov    0x18(%rsp),%rax
  mov    %r12,(%rax)
L78:
  mov    0x14(%rsp),%eax
  add    $0x28,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L41:
  mov    0x14(%rsp),%eax
  lea    0x1(%rax),%edi
  call   <malloc@plt>
  mov    %rax,%r12
  test   %rax,%rax
  je     L65
  movslq %ebx,%rdx
  lea    D9(%rip),%rsi
  mov    %r12,%rdi
  call   <sprintf@plt>
  mov    %eax,%ebx
  mov    $0x0,%ebp
  jmp    L58
```

tool_calls: name: parse_data
arguments: data_tag: D0
type_guessed: string
name: parse_data
arguments: data_tag: D9
type_guessed: string

tool: D0: $%zu


tool: D9: *%d


assistant: ```c
int redisFormatCommandArgv(char **target, int argc, const char **argv, const size_t *argvlen) {
  char *cmd = NULL;
  int pos;
  size_t len;
  int totlen, j;
  if (target == NULL)
    return -1;
  totlen = 1 + countDigits(argc) + 2;
  for (j = 0; j < argc; j++) {
    len = argvlen ? argvlen[j] : strlen(argv[j]);
    totlen += bulklen(len);
  }
  cmd = malloc(totlen + 1);
  if (cmd == NULL)
    return -1;
  pos = sprintf(cmd, "*%d\r\n", argc);
  for (j = 0; j < argc; j++) {
    len = argvlen ? argvlen[j] : strlen(argv[j]);
    pos += sprintf(cmd + pos, "$%zu\r\n", len);
    memcpy(cmd + pos, argv[j], len);
    pos += len;
    cmd[pos++] = '\r';
    cmd[pos++] = '\n';
  }
  assert(pos == totlen);
  cmd[pos] = '\0';
  *target = cmd;
  return totlen;
}
```