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

```asm
<main>:
  endbr64
  push   %r15
  mov    $0x7878,%edx
  push   %r14
  push   %r13
  push   %r12
  lea    D39(%rip),%r12
  push   %rbp
  mov    $0xa,%ebp
  push   %rbx
  sub    $0x78,%rsp
  movdqa D13(%rip),%xmm0
  mov    %fs:0x28,%rax
  mov    %rax,0x68(%rsp)
  xor    %eax,%eax
  mov    $0x28c5,%eax
  movb   $0xe,0x22(%rsp)
  mov    %ax,0x20(%rsp)
  lea    0x30(%rsp),%rax
  movaps %xmm0,0x10(%rsp)
  movdqa D4(%rip),%xmm0
  mov    %rax,%rdi
  mov    %rax,0x8(%rsp)
  mov    %dx,0x40(%rsp)
  movb   $0x78,0x42(%rsp)
  movb   $0x0,0x43(%rsp)
  movaps %xmm0,0x30(%rsp)
  call   <strlen@plt>
  nopl   (%rax)
L20:
  xor    %eax,%eax
  call   <random@plt>
  mov    %r12,%rdi
  movslq %eax,%r14
  cltd
  imul   $0x6bca1af3,%r14,%r14
  sar    $0x23,%r14
  sub    %edx,%r14d
  lea    (%r14,%r14,8),%edx
  lea    (%r14,%rdx,2),%edx
  sub    %edx,%eax
  movslq %eax,%r15
  xor    %eax,%eax
  lea    0x1(%r15),%r13d
  movzbl 0x10(%rsp,%r15,1),%ebx
  mov    %r15,%r14
  mov    %r13d,%esi
  call   <printf@plt>
  test   %r13d,%r13d
  jle    L40
  xor    %eax,%eax
  xor    %edx,%edx
  nopl   0x0(%rax)
L11:
  imul   $0x6d01788d,%eax,%eax
  mov    %edx,%ecx
  add    $0x1,%edx
  add    $0x3039,%eax
  cmp    %r14d,%ecx
  jne    L11
  xor    %eax,%ebx
  mov    %bl,0x30(%rsp,%r15,1)
  sub    $0x1,%ebp
  jne    L20
L28:
  mov    0x8(%rsp),%rsi
  xor    %eax,%eax
  lea    D28(%rip),%rdi
  call   <printf@plt>
  mov    0x68(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L16
  add    $0x78,%rsp
  xor    %eax,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   (%rax)
L40:
  xor    %eax,%eax
  xor    %eax,%ebx
  mov    %bl,0x30(%rsp,%r15,1)
  sub    $0x1,%ebp
  jne    L20
  jmp    L28
L16:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D39
data_type: string
name: extract_symbolic_data
arguments: data_label: D13
data_type: byte[16]
name: extract_symbolic_data
arguments: data_label: D4
data_type: byte[16]
name: extract_symbolic_data
arguments: data_label: D28
data_type: string

tool: D39: rem = %d


tool: {"D13": [0x6a,0xfb,0x4c,0x8d,0x58,0x0f,0xd4,0xe8,0x94,0x98,0xee,0x6b,0x18,0x30,0xe0,0x55]}

tool: {"D4": [0x78,0x78,0x78,0x78,0x78,0x78,0x78,0x78,0x78,0x78,0x78,0x78,0x78,0x78,0x78,0x78]}

tool: D28: Password: %s


assistant: ```c
int main() {
  int i, j, edi;
  char buf[50], ch;
  char out[50];
  unsigned char check;
  int ret = 0, val, len, rem;
  int magic;
  int k;
  unsigned char arr[] = {0x6a, 0xfb, 0x4c, 0x8d, 0x58, 0x0f, 0xd4, 0xe8, 0x94, 0x98, 0xee, 0x6b, 0x18, 0x30, 0xe0, 0x55, 0xc5, 0x28, 0x0e};
  for (i = 0; i < 19; i++)
    out[i] = 'x';
  out[i] = '\0';
  len = strlen(out);
  if (len == 19)
    ret = 1;
  for (i = 10; i > 0; i--) {
    int m2;
    val = random();
    rem = val % 19;
    check = arr[rem] & 0xff;
    ch = buf[rem++];
    j = 0;
    magic = 0;
    printf("rem = %d\n", rem);
    while (j < rem) {
      magic *= 1828812941;
      magic += 12345;
      j++;
    }
    m2 = magic;
    magic ^= ch;
    if ((magic & 0xff) != (check & 0xff))
      ret = 0;
    out[rem - 1] = (m2 & 0xff) ^ (check & 0xff);
  }
  printf("Password: %s\n", out);
}
```