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

```asm
<main>:
  endbr64
  push   %r13
  lea    D40(%rip),%rdx
  lea    D47(%rip),%rcx
  push   %r12
  lea    D10(%rip),%rsi
  push   %rbp
  push   %rbx
  xor    %ebx,%ebx
  sub    $0x68,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x58(%rsp)
  movabs $0x700000009,%rax
  mov    %rdx,0x18(%rsp)
  lea    0x30(%rsp),%r13
  mov    %rsp,%rbp
  movq   $0x1,0x8(%rsp)
  lea    0x10(%rsp),%r12
  mov    %rcx,0x30(%rsp)
  mov    %rsi,0x38(%rsp)
  mov    %rax,(%rsp)
  lea    D29(%rip),%rax
  mov    %rax,0x10(%rsp)
  mov    %rax,0x20(%rsp)
  mov    %rax,0x28(%rsp)
  mov    %rax,0x40(%rsp)
  lea    D45(%rip),%rax
  mov    %rax,0x48(%rsp)
L9:
  mov    %ebx,%edi
  mov    %r13,%rcx
  mov    %r12,%rdx
  mov    %rbp,%rsi
  call   <call_mul_digit_string@plt>
  add    $0x1,%ebx
  cmp    $0x4,%ebx
  jne    L9
  mov    0x58(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L0
  add    $0x68,%rsp
  xor    %eax,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
L0:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: tag: D40
datatype: string
name: extract_symbolic_data
arguments: tag: D47
datatype: string
name: extract_symbolic_data
arguments: tag: D10
datatype: string
name: extract_symbolic_data
arguments: tag: D29
datatype: string
name: extract_symbolic_data
arguments: tag: D45
datatype: string

tool: D40: 848420140399492297106356716875151822642872438767105649714481489956523636302090141899467854328695620784124526552974761438647138281062400000000000000000000000

tool: D47: 678736112319593837685085373500121458114297951013684519771585191965218909041672113519574283462956496627299621242379809150917710624849920000000000000000000000

tool: D10: 5938940982796446079744497018126062758500107071369739548001370429695665454114630993296274980300869345488871685870823330070529967967436800000000000000000000000

tool: D29: 75415123591065981965009485944457939790477550112631613307953910218357656560185790391063809273661832958588846804708867683435301180538880000000000000000000000

tool: D45: 0

assistant: ```c
int main() {
  const int scalars[4] = {9, 7, 1, 0};
  const char *numeric_input[4] = {"75415123591065981965009485944457939790477550112631613307953910218357656560185790391063809273661832958588846804708867683435301180538880000000000000000000000", "848420140399492297106356716875151822642872438767105649714481489956523636302090141899467854328695620784124526552974761438647138281062400000000000000000000000", "75415123591065981965009485944457939790477550112631613307953910218357656560185790391063809273661832958588846804708867683435301180538880000000000000000000000", "75415123591065981965009485944457939790477550112631613307953910218357656560185790391063809273661832958588846804708867683435301180538880000000000000000000000"};
  const char *numeric_output[4] = {"678736112319593837685085373500121458114297951013684519771585191965218909041672113519574283462956496627299621242379809150917710624849920000000000000000000000", "5938940982796446079744497018126062758500107071369739548001370429695665454114630993296274980300869345488871685870823330070529967967436800000000000000000000000", "75415123591065981965009485944457939790477550112631613307953910218357656560185790391063809273661832958588846804708867683435301180538880000000000000000000000", "0"};
  int i;
  for (i = 0; i < 4; ++i)
    call_mul_digit_string(i, scalars, numeric_input, numeric_output);
  return (0);
}
```