user: Translate the below assembly code into C programming language:

```asm
<factorial_for_big_number>:
  endbr64
  push   %r13
  mov    $0x96,%ecx
  push   %r12
  mov    %edi,%r12d
  push   %rbp
  push   %rbx
  movabs $0x100000006,%rbx
  sub    $0x978,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x968(%rsp)
  xor    %eax,%eax
  mov    %rsp,%r10
  mov    %r10,%rdi
  rep stos %rax,%es:(%rdi)
  mov    %rbx,0x8(%rsp)
  mov    $0x96,%ecx
  movabs $0x700000009,%rbx
  mov    %rbx,0x18(%rsp)
  lea    0x4b0(%rsp),%rbx
  mov    %rbx,%rdi
  movl   $0x4,0x20(%rsp)
  rep stos %rax,%es:(%rdi)
  cmp    $0xc,%r12d
  jle    L145
  lea    0x1(%r12),%r13d
  xor    %edx,%edx
  mov    $0xd,%r8d
  lea    0x4(%rsp),%rbp
  lea    0x4b4(%rsp),%r11
  lea    0x960(%rsp),%r9
L84:
  mov    %rbp,%rsi
  mov    %r11,%rcx
  jmp    L39
  nopw   0x0(%rax,%rax,1)
L93:
  mov    (%rsi),%edx
  add    $0x4,%rsi
L39:
  imul   %r8d,%edx
  add    %eax,%edx
  movslq %edx,%rax
  mov    %edx,%edi
  imul   $0x66666667,%rax,%rax
  sar    $0x1f,%edi
  sar    $0x22,%rax
  sub    %edi,%eax
  cmp    $0x9,%edx
  jle    L7
  lea    (%rax,%rax,4),%edi
  add    %eax,(%rcx)
  add    %edi,%edi
  sub    %edi,%edx
  mov    %edx,-0x4(%rcx)
L7:
  add    $0x4,%rcx
  cmp    %rcx,%r9
  jne    L93
  add    $0x1,%r8d
  mov    $0x96,%ecx
  mov    %r10,%rdi
  mov    %rbx,%rsi
  rep movsq %ds:(%rsi),%es:(%rdi)
  cmp    %r13d,%r8d
  je     L133
  mov    (%rsp),%edx
  jmp    L84
L133:
  mov    0x95c(%rsp),%r13d
  mov    %r12d,%esi
  lea    D22(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    $0x12b,%ebp
  test   %r13d,%r13d
  jne    L78
L90:
  mov    $0x12a,%eax
  nopw   0x0(%rax,%rax,1)
L56:
  movslq %eax,%rbp
  sub    $0x1,%rax
  mov    0x4(%rbx,%rax,4),%r13d
  test   %r13d,%r13d
  je     L56
L78:
  lea    D1(%rip),%r12
  jmp    L52
L82:
  sub    $0x1,%rbp
  test   %ebp,%ebp
  js     L109
L32:
  mov    (%rbx,%rbp,4),%r13d
L52:
  mov    %r13d,%esi
  mov    %r12,%rdi
  xor    %eax,%eax
  call   <printf@plt>
  imul   $0xaaaaaaab,%ebp,%eax
  add    $0x2aaaaaaa,%eax
  cmp    $0x55555554,%eax
  ja     L82
  test   %ebp,%ebp
  je     L82
  mov    $0x2c,%edi
  sub    $0x1,%rbp
  call   <putchar@plt>
  test   %ebp,%ebp
  jns    L32
L109:
  mov    0x968(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L63
  add    $0x978,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
L145:
  mov    %r12d,%esi
  lea    D22(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L90
L63:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D22
type_guessed: string
name: extract_symbolic_data
arguments: data_tag: D1
type_guessed: string

tool: D22: %d!:

tool: D1: %d

assistant: ```c
void factorial_for_big_number(int n) {
  int a[300] = {0, 0, 6, 1, 0, 0, 9, 7, 4};
  int array[300] = {0};
  int m = 13;
  int i, j, k;
  int x = 0;
  int remain = 0;
  int hold = n;
  int number = 1;
  while (n > 12) {
    for (i = 0; i < 300 - 1; i++) {
      x = remain + a[i] * m;
      remain = x / 10;
      if (remain > 0) {
        array[i] = x % 10;
        array[i + 1] += remain;
      }
    }
    for (k = 0; k <= 300 - 1; k++)
      a[k] = array[k];
    n--;
    m++;
  }
  printf("%d!:", hold);
  for (j = 300 - 1; j >= 0;) {
    if (number <= 1) {
      while (array[j] == 0)
        j--;
      number++;
    }
    printf("%d", array[j]);
    if (j % 3 == 0 && j != 0)
      printf(",");
    j--;
  }
}
```