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

```asm
<factorial_for_big_number>:
  endbr64
  push   %r12
  mov    $0x96,%ecx
  push   %rbp
  mov    %edi,%ebp
  push   %rbx
  sub    $0x970,%rsp
  mov    D48(%rip),%rdx
  mov    %fs:0x28,%rax
  mov    %rax,0x968(%rsp)
  xor    %eax,%eax
  mov    %rsp,%r10
  lea    0x4b0(%rsp),%rbx
  mov    %r10,%rdi
  rep stos %rax,%es:(%rdi)
  mov    %rdx,0x8(%rsp)
  mov    $0x96,%ecx
  mov    %rbx,%rdi
  mov    D4(%rip),%rdx
  movl   $0x4,0x20(%rsp)
  rep stos %rax,%es:(%rdi)
  mov    %rdx,0x18(%rsp)
  cmp    $0xc,%ebp
  jle    L78
  lea    0x1(%rbp),%r12d
  xor    %eax,%eax
  mov    $0xd,%r8d
  lea    0x4b4(%rsp),%r11
  lea    0x960(%rsp),%r9
L48:
  mov    %r10,%rsi
  mov    %r11,%rcx
L73:
  mov    (%rsi),%edx
  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    L22
  lea    (%rax,%rax,4),%edi
  add    %eax,(%rcx)
  add    %edi,%edi
  sub    %edi,%edx
  mov    %edx,-0x4(%rcx)
L22:
  add    $0x4,%rcx
  add    $0x4,%rsi
  cmp    %rcx,%r9
  jne    L73
  add    $0x1,%r8d
  mov    $0x96,%ecx
  mov    %r10,%rdi
  mov    %rbx,%rsi
  rep movsq %ds:(%rsi),%es:(%rdi)
  cmp    %r8d,%r12d
  jne    L48
  mov    0x95c(%rsp),%r12d
  xor    %eax,%eax
  mov    %ebp,%esi
  lea    D28(%rip),%rdi
  call   <printf@plt>
  test   %r12d,%r12d
  jne    L137
L122:
  mov    $0x12a,%eax
  nopl   0x0(%rax,%rax,1)
L0:
  movslq %eax,%rbp
  sub    $0x1,%rax
  mov    0x4(%rbx,%rax,4),%edx
  test   %edx,%edx
  je     L0
L124:
  lea    D9(%rip),%r12
  jmp    L112
L46:
  sub    $0x1,%rbp
  test   %ebp,%ebp
  js     L77
L112:
  mov    (%rbx,%rbp,4),%esi
  mov    %r12,%rdi
  xor    %eax,%eax
  call   <printf@plt>
  imul   $0xaaaaaaab,%ebp,%eax
  add    $0x2aaaaaaa,%eax
  cmp    $0x55555554,%eax
  ja     L46
  test   %ebp,%ebp
  je     L46
  mov    $0x2c,%edi
  sub    $0x1,%rbp
  call   <putchar@plt>
  test   %ebp,%ebp
  jns    L112
L77:
  mov    0x968(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L113
  add    $0x970,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  ret
L78:
  mov    %ebp,%esi
  lea    D28(%rip),%rdi
  call   <printf@plt>
  jmp    L122
L137:
  mov    $0x12b,%ebp
  jmp    L124
L113:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: disassemble_data
arguments: tag: D48
datatype: byte[8]
name: disassemble_data
arguments: tag: D4
datatype: byte[8]
name: disassemble_data
arguments: tag: D28
datatype: string
name: disassemble_data
arguments: tag: D9
datatype: string

tool: {"D48": [0x06,0x00,0x00,0x00,0x01,0x00,0x00,0x00]}

tool: {"D4": [0x09,0x00,0x00,0x00,0x07,0x00,0x00,0x00]}

tool: D28: %d!:

tool: D9: %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--;
  }
}
```