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

```asm
<Translate>:
  endbr64
  push   %r15
  mov    %rdi,%r15
  push   %r14
  mov    %r8,%r14
  push   %r13
  movslq %r9d,%r13
  push   %r12
  push   %rbp
  push   %rbx
  mov    %ecx,%ebx
  sub    $0x438,%rsp
  mov    %rsi,0x10(%rsp)
  mov    %edx,0xc(%rsp)
  mov    %fs:0x28,%rax
  mov    %rax,0x428(%rsp)
  xor    %eax,%eax
  mov    $0x5858,%eax
  movb   $0x58,0x427(%rsp)
  mov    %ax,0x425(%rsp)
  imul   $0xaaaaaaab,%edx,%eax
  add    $0x2aaaaaaa,%eax
  cmp    $0x55555554,%eax
  jbe    L122
  movslq %edx,%rax
  mov    %rax,%rdi
  imul   $0x55555556,%rax,%rax
  sar    $0x1f,%edi
  shr    $0x20,%rax
  sub    %edi,%eax
  lea    (%rax,%rax,2),%eax
  mov    %eax,0xc(%rsp)
L122:
  mov    0xc(%rsp),%ebp
  cmp    $0x2,%ebx
  je     L118
  mov    0x10(%rsp),%rdi
  mov    %ebp,%edx
  mov    $0x20,%esi
  call   <memset@plt>
  test   %ebp,%ebp
  jle    L103
L39:
  lea    0x0(,%r13,8),%rax
  mov    %r15,%rbp
  mov    0x10(%rsp),%r12
  lea    0x20(%rsp),%r15
  sub    %r13,%rax
  mov    $0x1,%r13d
  shl    $0x6,%rax
  add    %rax,%r14
  lea    0x425(%rsp),%rax
  mov    %rax,0x18(%rsp)
  jmp    L155
  nopw   0x0(%rax,%rax,1)
L272:
  movslq 0x20(%rsp),%rax
  cmp    $0x1,%ebx
  je     L24
  cmp    $0x2,%ebx
  jne    L278
  lea    (%r14,%rax,8),%rdx
  mov    0x10(%rsp),%rdi
  sub    %rax,%rdx
  movzbl (%rdx),%eax
  mov    %al,-0x1(%rdi,%r13,1)
  nopl   0x0(%rax,%rax,1)
L88:
  movslq %r13d,%rdx
  lea    0x0(%r13,%r13,2),%eax
  add    $0x3,%rbp
  add    $0x1,%r13
  add    $0x3,%r12
  mov    %edx,%esi
  cmp    %edx,%eax
  cmovge %eax,%esi
  cmp    %esi,0xc(%rsp)
  jle    L195
L155:
  mov    %rbp,%rdi
  mov    $0x3,%edx
  mov    %r15,%rsi
  call   <hash@plt>
  mov    %eax,%edi
  cmp    $0x1,%eax
  je     L272
  movslq 0x20(%rsp),%r10
  lea    (%r14,%r10,8),%rax
  sub    %r10,%rax
  movzbl (%rax),%r9d
  test   %edi,%edi
  jle    L136
  mov    $0x2,%eax
  nopl   (%rax)
L239:
  movslq -0x4(%r15,%rax,4),%rcx
  lea    (%r14,%rcx,8),%rdx
  sub    %rcx,%rdx
  cmp    %eax,%edi
  movzbl (%rdx),%edx
  setg   %sil
  cmp    %dl,%r9b
  sete   %cl
  add    $0x1,%rax
  test   %cl,%sil
  jne    L239
  cmp    %dl,%r9b
  je     L136
  cmp    $0x1,%ebx
  je     L206
  cmp    $0x2,%ebx
  jne    L117
  mov    0x10(%rsp),%rax
  movb   $0x58,-0x1(%rax,%r13,1)
  jmp    L88
  nopl   0x0(%rax,%rax,1)
L136:
  cmp    $0x1,%ebx
  je     L227
  cmp    $0x2,%ebx
  jne    L212
  mov    0x10(%rsp),%rax
  mov    %r9b,-0x1(%rax,%r13,1)
  jmp    L88
  nopl   0x0(%rax)
L24:
  lea    (%r14,%rax,8),%rdx
  sub    %rax,%rdx
  movzbl (%rdx),%eax
  mov    %al,(%r12)
  jmp    L88
  nopl   0x0(%rax,%rax,1)
L278:
  lea    0x0(,%rax,8),%rdx
  mov    %r12,%rdi
  sub    %rax,%rdx
  xor    %eax,%eax
  lea    0x1(%r14,%rdx,1),%rsi
  mov    $0x3,%edx
  call   <memcpy@plt>
  jmp    L88
  nopl   0x0(%rax)
L195:
  cmp    $0x2,%ebx
  je     L94
  cltq
  add    %rax,0x10(%rsp)
L103:
  mov    0x10(%rsp),%rax
  movb   $0x0,(%rax)
  mov    0x428(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L98
  add    $0x438,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   0x0(%rax)
L206:
  movb   $0x58,(%r12)
  jmp    L88
  nopw   0x0(%rax,%rax,1)
L227:
  mov    %r9b,(%r12)
  jmp    L88
  nopl   0x0(%rax)
L117:
  mov    0x18(%rsp),%rsi
  mov    $0x3,%edx
  mov    %r12,%rdi
  xor    %eax,%eax
  call   <memcpy@plt>
  jmp    L88
  nopl   0x0(%rax)
L212:
  lea    0x0(,%r10,8),%rax
  mov    $0x3,%edx
  mov    %r12,%rdi
  sub    %r10,%rax
  lea    0x1(%r14,%rax,1),%rsi
  xor    %eax,%eax
  call   <memcpy@plt>
  jmp    L88
  nopl   0x0(%rax)
L118:
  movslq %ebp,%rdx
  mov    0x10(%rsp),%rdi
  mov    $0x20,%esi
  mov    %rdx,%rax
  imul   $0x55555556,%rdx,%rdx
  sar    $0x1f,%eax
  shr    $0x20,%rdx
  sub    %eax,%edx
  call   <memset@plt>
  test   %ebp,%ebp
  jg     L39
  jmp    L103
L94:
  add    %rdx,0x10(%rsp)
  jmp    L103
L98:
  call   <__stack_chk_fail@plt>
```

assistant: ```c
void Translate(char *DNA_in, char *Prot_out, int len, int n_letters, char Codons[8][64][7], int organism) {
  int sum[256], i, ii, match, j, degens, prot_len;
  char XXX[3] = {'X', 'X', 'X'};
  char TestAA;
  if (len % 3 != 0)
    len = ((int)len / 3) * 3;
  prot_len = len;
  if (n_letters == 2)
    prot_len = len / 3;
  memset(Prot_out, ' ', prot_len);
  for (i = 0, j = 0; i < len && j < len; i += 3, j++) {
    if ((degens = hash(DNA_in + i, sum, 3)) == 1) {
      if (n_letters == 1) {
        Prot_out[i] = Codons[organism][sum[0]][0];
      } else if (n_letters == 2) {
        Prot_out[j] = Codons[organism][sum[0]][0];
      } else {
        memcpy(&Prot_out[i], &Codons[organism][sum[0]][1], 3);
      }
    } else {
      match = 1;
      ii = 0;
      TestAA = Codons[organism][sum[ii]][0];
      while (match == 1 && ii < degens) {
        if (Codons[organism][sum[ii++]][0] != TestAA) {
          match = 0;
        }
      }
      if (match == 0) {
        if (n_letters == 1) {
          Prot_out[i] = 'X';
        } else if (n_letters == 2) {
          Prot_out[j] = 'X';
        } else {
          memcpy(&Prot_out[i], &XXX, 3);
        }
      } else {
        if (n_letters == 1) {
          Prot_out[i] = Codons[organism][sum[0]][0];
        } else if (n_letters == 2) {
          Prot_out[j] = Codons[organism][sum[0]][0];
        } else {
          memcpy(&Prot_out[i], &Codons[organism][sum[0]][1], 3);
        }
      }
    }
  }
  if (n_letters == 2)
    Prot_out[j] = '\0';
  else
    Prot_out[i] = '\0';
}
```