user: Please show me the C implementation that matches the assembly code listed below:

```asm
<encrypt>:
  endbr64
  push   %r13
  mov    $0x7b,%ecx
  pxor   %xmm0,%xmm0
  push   %r12
  mov    %rdi,%r12
  push   %rbp
  push   %rbx
  lea    D173(%rip),%rbx
  sub    $0x518,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x508(%rsp)
  xor    %eax,%eax
  lea    0x130(%rsp),%rdi
  movaps %xmm0,0x120(%rsp)
  lea    0x120(%rsp),%r13
  rep stos %rax,%es:(%rdi)
  lea    D211(%rip),%rax
  lea    D218(%rip),%rcx
  movq   %rax,%xmm1
  movq   %rcx,%xmm0
  lea    D127(%rip),%rax
  punpcklqdq %xmm1,%xmm0
  lea    D96(%rip),%rcx
  movq   %rax,%xmm2
  movaps %xmm0,(%rsp)
  movq   %rcx,%xmm0
  lea    D309(%rip),%rax
  lea    D184(%rip),%rcx
  punpcklqdq %xmm2,%xmm0
  movq   %rax,%xmm3
  lea    D236(%rip),%rax
  movaps %xmm0,0x10(%rsp)
  movq   %rcx,%xmm0
  lea    D164(%rip),%rcx
  movq   %rax,%xmm4
  punpcklqdq %xmm3,%xmm0
  lea    D180(%rip),%rax
  lea    D359(%rip),%rdi
  movaps %xmm0,0x20(%rsp)
  movq   %rcx,%xmm0
  movq   %rax,%xmm5
  lea    D193(%rip),%rcx
  punpcklqdq %xmm4,%xmm0
  lea    D3(%rip),%rax
  movaps %xmm0,0x30(%rsp)
  movq   %rbx,%xmm0
  movq   %rax,%xmm6
  lea    D287(%rip),%rbx
  punpcklqdq %xmm5,%xmm0
  lea    D252(%rip),%rax
  movaps %xmm0,0x40(%rsp)
  movq   %rcx,%xmm0
  movq   %rax,%xmm7
  lea    D25(%rip),%rcx
  punpcklqdq %xmm6,%xmm0
  lea    D169(%rip),%rax
  movaps %xmm0,0x50(%rsp)
  movq   %rbx,%xmm0
  movq   %rax,%xmm1
  lea    D105(%rip),%rbx
  punpcklqdq %xmm7,%xmm0
  lea    D331(%rip),%rax
  movaps %xmm0,0x60(%rsp)
  movq   %rcx,%xmm0
  movq   %rax,%xmm2
  lea    D78(%rip),%rcx
  punpcklqdq %xmm1,%xmm0
  lea    D61(%rip),%rax
  movaps %xmm0,0x70(%rsp)
  movq   %rbx,%xmm0
  movq   %rax,%xmm3
  lea    D290(%rip),%rbx
  punpcklqdq %xmm2,%xmm0
  lea    D171(%rip),%rax
  movaps %xmm0,0x80(%rsp)
  movq   %rcx,%xmm0
  movq   %rax,%xmm4
  lea    D4(%rip),%rcx
  punpcklqdq %xmm3,%xmm0
  lea    D98(%rip),%rax
  movaps %xmm0,0x90(%rsp)
  movq   %rbx,%xmm0
  movq   %rax,%xmm5
  lea    D280(%rip),%rbx
  punpcklqdq %xmm4,%xmm0
  lea    D246(%rip),%rax
  movaps %xmm0,0xa0(%rsp)
  movq   %rcx,%xmm0
  movq   %rax,%xmm6
  lea    D126(%rip),%rax
  punpcklqdq %xmm5,%xmm0
  movq   %rax,%xmm7
  lea    D348(%rip),%rcx
  movaps %xmm0,0xb0(%rsp)
  movq   %rbx,%xmm0
  lea    D103(%rip),%rax
  lea    D95(%rip),%rbx
  punpcklqdq %xmm6,%xmm0
  movq   %rax,%xmm1
  lea    D273(%rip),%rax
  movaps %xmm0,0xc0(%rsp)
  movq   %rdi,%xmm0
  movq   %rax,%xmm2
  lea    D178(%rip),%rdi
  punpcklqdq %xmm7,%xmm0
  lea    D317(%rip),%rax
  movaps %xmm0,0xd0(%rsp)
  movq   %rcx,%xmm0
  movq   %rax,%xmm3
  lea    D81(%rip),%rcx
  punpcklqdq %xmm1,%xmm0
  lea    D194(%rip),%rax
  movaps %xmm0,0xe0(%rsp)
  movq   %rbx,%xmm0
  movq   %rax,%xmm4
  punpcklqdq %xmm2,%xmm0
  movaps %xmm0,0xf0(%rsp)
  movq   %rdi,%xmm0
  mov    %r12,%rdi
  punpcklqdq %xmm3,%xmm0
  movaps %xmm0,0x100(%rsp)
  movq   %rcx,%xmm0
  punpcklqdq %xmm4,%xmm0
  movaps %xmm0,0x110(%rsp)
  call   <strlen@plt>
  test   %eax,%eax
  jle    L21
  sub    $0x1,%eax
  lea    0x120(%rsp),%r13
  lea    D197(%rip),%rbp
  lea    0x1(%r12,%rax,1),%rbx
  jmp    L7
  nop
L25:
  movsbq %dl,%rdx
  mov    %r13,%rdi
  mov    (%rsp,%rdx,8),%rsi
  call   <strcat@plt>
L20:
  add    $0x1,%r12
  cmp    %r12,%rbx
  je     L21
L7:
  movsbl (%r12),%eax
  cmp    $0x20,%al
  je     L61
  lea    -0x30(%rax),%edx
  cmp    $0x9,%dl
  jbe    L25
  sub    $0x41,%eax
  mov    %r13,%rdi
  add    $0x1,%r12
  cltq
  mov    0x50(%rsp,%rax,8),%rsi
  call   <strcat@plt>
  cmp    %r12,%rbx
  jne    L7
L21:
  mov    %r13,%rsi
  lea    D70(%rip),%rdi
  call   <printf@plt>
  mov    0x508(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L65
  add    $0x518,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
  nopl   (%rax)
L61:
  mov    %rbp,%rsi
  mov    %r13,%rdi
  call   <strcat@plt>
  jmp    L20
L65:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D173
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D211
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D218
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D127
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D96
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D309
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D184
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D236
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D164
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D180
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D359
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D193
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D3
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D287
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D252
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D25
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D169
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D105
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D331
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D78
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D61
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D290
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D171
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D4
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D98
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D280
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D246
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D126
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D348
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D103
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D95
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D273
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D178
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D317
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D81
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D194
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D197
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D70
type_infered: string

tool: D173: ---..

tool: D211: .----

tool: D218: -----

tool: D127: ...--

tool: D96: ..---

tool: D309: .....

tool: D184: ....-

tool: D236: --...

tool: D164: -....

tool: D180: ----.

tool: D359: --.-

tool: D193: .-

tool: D3: -...

tool: D287: -.-.

tool: D252: -..

tool: D25: .

tool: D169: ..-.

tool: D105: --.

tool: D331: ....

tool: D78: ..

tool: D61: .---

tool: D290: -.-

tool: D171: .-..

tool: D4: --

tool: D98: -.

tool: D280: ---

tool: D246: .--.

tool: D126: .-.

tool: D348: ...

tool: D103: -

tool: D95: ..-

tool: D273: ...-

tool: D178: .--

tool: D317: -..-

tool: D81: -.--

tool: D194: --..

tool: D197:  

tool: D70: %s


assistant: ```c
void encrypt(char *msg) {
  int i, size;
  char morse_code[1000] = "";
  char *num[] = {"-----", ".----", "..---", "...--", "....-", ".....", "-....", "--...", "---..", "----."};
  char *letters[] = {".-", "-...", "-.-.", "-..", ".", "..-.", "--.", "....", "..", ".---", "-.-", ".-..", "--", "-.", "---", ".--.", "--.-", ".-.", "...", "-", "..-", "...-", ".--", "-..-", "-.--", "--.."};
  size = strlen(msg);
  for (i = 0; i < size; i++)
    if (msg[i] != ' ')
      if (msg[i] >= '0' && msg[i] <= '9')
        strcat(morse_code, num[msg[i] - 48]);
      else
        strcat(morse_code, letters[msg[i] - 65]);
    else
      strcat(morse_code, " ");
  printf("%s\n", morse_code);
}
```