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

```asm
<FormatCCF>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x1000,%rsp
  orq    $0x0,(%rsp)
  sub    $0x1000,%rsp
  orq    $0x0,(%rsp)
  sub    $0x740,%rsp
  mov    %rdi,-0x2738(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  movl   $0x0,-0x2724(%rbp)
  jmp    L49
L223:
  mov    -0x2724(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x2738(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  cmp    $0x60,%al
  jle    L301
  mov    -0x2724(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x2738(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  cmp    $0x7a,%al
  jg     L301
  mov    -0x2724(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x2738(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  lea    -0x20(%rax),%ecx
  mov    -0x2724(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x2738(%rbp),%rax
  add    %rdx,%rax
  mov    %ecx,%edx
  mov    %dl,(%rax)
L301:
  mov    -0x2724(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x2738(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  cmp    $0xd,%al
  je     L153
  mov    -0x2724(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x2738(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  cmp    $0xa,%al
  je     L153
  mov    -0x2724(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x2738(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  cmp    $0x8,%al
  jne    L121
L153:
  mov    -0x2724(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x2738(%rbp),%rax
  add    %rdx,%rax
  movb   $0x20,(%rax)
L121:
  mov    -0x2724(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x2738(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  cmp    $0x2f,%al
  jle    L80
  mov    -0x2724(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x2738(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  cmp    $0x39,%al
  jle    L83
L80:
  mov    -0x2724(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x2738(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  cmp    $0x40,%al
  jle    L261
  mov    -0x2724(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x2738(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  cmp    $0x5a,%al
  jle    L83
L261:
  mov    -0x2724(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x2738(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  cmp    $0x20,%al
  je     L83
  mov    $0x2d,%eax
  jmp    L286
L83:
  addl   $0x1,-0x2724(%rbp)
L49:
  mov    -0x2724(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x2738(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  test   %al,%al
  jne    L223
  movl   $0x0,-0x2724(%rbp)
  jmp    L157
L280:
  addl   $0x1,-0x2724(%rbp)
L113:
  mov    -0x2724(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x2738(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  cmp    $0x20,%al
  je     L280
  mov    -0x2724(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x2738(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  test   %al,%al
  je     L125
  mov    -0x2724(%rbp),%eax
  lea    0x1(%rax),%edx
  mov    %edx,-0x2724(%rbp)
  movslq %eax,%rdx
  mov    -0x2738(%rbp),%rax
  lea    (%rdx,%rax,1),%rcx
  mov    -0x2728(%rbp),%eax
  lea    0x1(%rax),%edx
  mov    %edx,-0x2728(%rbp)
  movzbl (%rcx),%edx
  cltq
  mov    %dl,-0x2720(%rbp,%rax,1)
  jmp    L125
L166:
  addl   $0x1,-0x2724(%rbp)
L125:
  mov    -0x2724(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x2738(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  cmp    $0x20,%al
  je     L166
  mov    -0x2724(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x2738(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  test   %al,%al
  je     L23
  mov    -0x2724(%rbp),%eax
  lea    0x1(%rax),%edx
  mov    %edx,-0x2724(%rbp)
  movslq %eax,%rdx
  mov    -0x2738(%rbp),%rax
  lea    (%rdx,%rax,1),%rcx
  mov    -0x2728(%rbp),%eax
  lea    0x1(%rax),%edx
  mov    %edx,-0x2728(%rbp)
  movzbl (%rcx),%edx
  cltq
  mov    %dl,-0x2720(%rbp,%rax,1)
  jmp    L23
L10:
  addl   $0x1,-0x2724(%rbp)
L23:
  mov    -0x2724(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x2738(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  cmp    $0x20,%al
  je     L10
  mov    -0x2724(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x2738(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  test   %al,%al
  je     L55
  mov    -0x2724(%rbp),%eax
  lea    0x1(%rax),%edx
  mov    %edx,-0x2724(%rbp)
  movslq %eax,%rdx
  mov    -0x2738(%rbp),%rax
  lea    (%rdx,%rax,1),%rcx
  mov    -0x2728(%rbp),%eax
  lea    0x1(%rax),%edx
  mov    %edx,-0x2728(%rbp)
  movzbl (%rcx),%edx
  cltq
  mov    %dl,-0x2720(%rbp,%rax,1)
  jmp    L55
L159:
  addl   $0x1,-0x2724(%rbp)
L55:
  mov    -0x2724(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x2738(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  cmp    $0x20,%al
  je     L159
  mov    -0x2724(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x2738(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  test   %al,%al
  je     L255
  mov    -0x2724(%rbp),%eax
  lea    0x1(%rax),%edx
  mov    %edx,-0x2724(%rbp)
  movslq %eax,%rdx
  mov    -0x2738(%rbp),%rax
  lea    (%rdx,%rax,1),%rcx
  mov    -0x2728(%rbp),%eax
  lea    0x1(%rax),%edx
  mov    %edx,-0x2728(%rbp)
  movzbl (%rcx),%edx
  cltq
  mov    %dl,-0x2720(%rbp,%rax,1)
L255:
  mov    -0x2728(%rbp),%eax
  lea    0x1(%rax),%edx
  mov    %edx,-0x2728(%rbp)
  cltq
  movb   $0x20,-0x2720(%rbp,%rax,1)
L157:
  mov    -0x2724(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x2738(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  test   %al,%al
  jne    L113
  mov    -0x2728(%rbp),%eax
  cltq
  movb   $0x0,-0x2720(%rbp,%rax,1)
  lea    -0x2720(%rbp),%rax
  mov    %rax,%rdi
  call   <strlen@plt>
  cmp    $0x17,%eax
  jle    L39
  lea    -0x2720(%rbp),%rax
  mov    %rax,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  movslq %edx,%rax
  imul   $0x66666667,%rax,%rax
  shr    $0x20,%rax
  sar    %eax
  mov    %edx,%ecx
  sar    $0x1f,%ecx
  sub    %ecx,%eax
  mov    %eax,%ecx
  shl    $0x2,%ecx
  add    %eax,%ecx
  mov    %edx,%eax
  sub    %ecx,%eax
  test   %eax,%eax
  jne    L39
  lea    -0x2720(%rbp),%rax
  mov    %rax,%rdi
  call   <strlen@plt>
  cmp    $0x1414,%eax
  jle    L305
L39:
  mov    $0x2b,%eax
  jmp    L286
L305:
  mov    -0x2728(%rbp),%eax
  sub    $0x1,%eax
  cltq
  movb   $0x0,-0x2720(%rbp,%rax,1)
  lea    -0x2720(%rbp),%rdx
  mov    -0x2738(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <strcpy@plt>
  mov    $0x0,%eax
L286:
  mov    -0x8(%rbp),%rdx
  sub    %fs:0x28,%rdx
  je     L139
  call   <__stack_chk_fail@plt>
L139:
  leave
  ret
```

assistant: ```c
int FormatCCF(char *ccf) {
  char st[10000];
  int j, i;
  i = 0;
  while (ccf[i]) {
    if (ccf[i] >= 'a' && ccf[i] <= 'z')
      ccf[i] -= 'a' - 'A';
    if (ccf[i] == 13 || ccf[i] == 10 || ccf[i] == 8)
      ccf[i] = ' ';
    if ((ccf[i] < '0' || ccf[i] > '9') && (ccf[i] < 'A' || ccf[i] > 'Z') && ccf[i] != ' ') {
      return (45);
    }
    i++;
  }
  i = 0;
  while (ccf[i]) {
    while (ccf[i] == ' ')
      i++;
    if (ccf[i])
      st[j++] = ccf[i++];
    while (ccf[i] == ' ')
      i++;
    if (ccf[i])
      st[j++] = ccf[i++];
    while (ccf[i] == ' ')
      i++;
    if (ccf[i])
      st[j++] = ccf[i++];
    while (ccf[i] == ' ')
      i++;
    if (ccf[i])
      st[j++] = ccf[i++];
    st[j++] = ' ';
  }
  st[j] = 0;
  if (strlen(st) < 24 || (strlen(st) % 5) || strlen(st) > 5140)
    return (43);
  st[j - 1] = 0;
  strcpy(ccf, st);
  return (0);
}
```