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

```asm
<main>:
  endbr64
  push   %r15
  mov    $0x37,%r15d
  mov    $0x33,%esi
  mov    $0x31,%ecx
  push   %r14
  mov    $0x31,%r14d
  mov    $0x33,%edx
  push   %r13
  lea    D7(%rip),%r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x18,%rsp
  mov    %r15b,0xa(%rsp)
  mov    %r14d,%r15d
  movb   $0x36,0xd(%rsp)
  movb   $0x36,0xc(%rsp)
  movb   $0x33,0xb(%rsp)
  movb   $0x31,0x9(%rsp)
  movq   $0x0,(%rsp)
  jmp    L12
  nopw   0x0(%rax,%rax,1)
L11:
  movzbl 0xe(%rsp),%eax
  mov    %r14b,0xb(%rsp)
  mov    %al,0xd(%rsp)
  movzbl 0xf(%rsp),%eax
  mov    %al,0xc(%rsp)
L12:
  movsbl 0x0(%r13),%eax
  sub    $0x30,%esi
  movsbl %r15b,%r12d
  sub    $0x30,%ecx
  movslq %esi,%rsi
  sub    $0x30,%r12d
  movsbl 0xd(%rsp),%ebp
  movslq %ecx,%rcx
  sub    $0x30,%eax
  movslq %r12d,%r12
  movsbl 0x4(%r13),%ebx
  movsbl 0x8(%r13),%r9d
  cltq
  sub    $0x30,%ebp
  movsbl 0xa(%rsp),%r11d
  sub    $0x30,%edx
  imul   %rax,%rsi
  movslq %ebp,%rbp
  mov    %bl,0xe(%rsp)
  sub    $0x30,%ebx
  movslq %ebx,%rbx
  sub    $0x30,%r11d
  movsbl 0xc(%rsp),%r10d
  movslq %edx,%rdx
  movslq %r11d,%r11
  mov    %r9b,0xf(%rsp)
  sub    $0x30,%r9d
  movsbl 0x9(%rsp),%r8d
  imul   %rsi,%r12
  sub    $0x30,%r10d
  movslq %r9d,%r9
  movsbl 0xb(%rsp),%edi
  movslq %r10d,%r10
  sub    $0x30,%r8d
  movzbl 0xc(%r13),%r14d
  movslq %r8d,%r8
  sub    $0x30,%edi
  imul   %r12,%rbp
  movslq %edi,%rdi
  imul   %rbp,%rbx
  imul   %rbx,%rcx
  imul   %rcx,%r11
  imul   %r11,%r10
  imul   %r10,%r9
  imul   %r9,%rdx
  imul   %rdx,%r8
  imul   %r8,%rdi
  cmp    %rsi,%rax
  cmovb  %rsi,%rax
  mov    (%rsp),%rsi
  cmp    %r12,%rax
  cmovb  %r12,%rax
  cmp    %rbp,%rax
  cmovb  %rbp,%rax
  cmp    %rbx,%rax
  cmovb  %rbx,%rax
  cmp    %rcx,%rax
  cmovb  %rcx,%rax
  movsbl 0xa(%rsp),%ecx
  cmp    %r11,%rax
  cmovb  %r11,%rax
  cmp    %r10,%rax
  cmovb  %r10,%rax
  cmp    %r9,%rax
  cmovb  %r9,%rax
  cmp    %rdx,%rax
  cmovb  %rdx,%rax
  movsbl %r14b,%edx
  cmp    %r8,%rax
  cmovb  %r8,%rax
  cmp    %rdi,%rax
  cmovb  %rdi,%rax
  sub    $0x30,%edx
  movslq %edx,%rdx
  imul   %rdi,%rdx
  cmp    %rdx,%rax
  cmovb  %rdx,%rax
  movsbl 0x9(%rsp),%edx
  cmp    %rax,%rsi
  cmovae %rsi,%rax
  add    $0x1,%r13
  movsbl %r15b,%esi
  movzbl 0xd(%rsp),%r15d
  mov    %rax,(%rsp)
  movzbl 0xb(%rsp),%eax
  mov    %al,0x9(%rsp)
  movzbl 0xc(%rsp),%eax
  mov    %al,0xa(%rsp)
  lea    D25(%rip),%rax
  cmp    %rax,%r13
  jne    L11
  mov    (%rsp),%rsi
  lea    D27(%rip),%rdi
  call   <printf@plt>
  add    $0x18,%rsp
  xor    %eax,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: parse_data
arguments: data_label: D7
type_infered: string
name: parse_data
arguments: data_label: D25
type_infered: string
name: parse_data
arguments: data_label: D27
type_infered: string

tool: D7: 7316717653133062491922511967442657474235534919493496983520312774506326239578318016984801869478851843858615607891129494954595017379583319528532088055111254069874715852386305071569329096329522744304355766896648950445244523161731856403098711121722383113622298934233803081353362766142828064444866452387493035890729629049156044077239071381051585930796086670172427121883998797908792274921901699720888093776657273330010533678812202354218097512545405947522435258490771167055601360483958644670632441572215539753697817977846174064955149290862569321978468622482839722413756570560574902614079729686524145351004748216637048440319989000889524345065854122758866688116427171479924442928230863465674813919123162824586178664583591245665294765456828489128831426076900422421902267105562632111110937054421750694165896040807198403850962455444362981230987879927244284909188845801561660979191338754992005240636899125607176060588611646710940507754100225698315520005593572972571636269561882670428252483600823257530420752963450

tool: D25: 0420752963450

tool: D27: %llu

assistant: ```c
int main() {
  char *number = "7316717653133062491922511967442657474235534919493496983520312774506326239578318016984801869478851843858615607891129494954595017379583319528532088055111254069874715852386305071569329096329522744304355766896648950445244523161731856403098711121722383113622298934233803081353362766142828064444866452387493035890729629049156044077239071381051585930796086670172427121883998797908792274921901699720888093776657273330010533678812202354218097512545405947522435258490771167055601360483958644670632441572215539753697817977846174064955149290862569321978468622482839722413756570560574902614079729686524145351004748216637048440319989000889524345065854122758866688116427171479924442928230863465674813919123162824586178664583591245665294765456828489128831426076900422421902267105562632111110937054421750694165896040807198403850962455444362981230987879927244284909188845801561660979191338754992005240636899125607176060588611646710940507754100225698315520005593572972571636269561882670428252483600823257530420752963450";
  int i;
  long long unsigned int j = 0;
  long long unsigned int k = 0;
  int pos = 0;
  while (pos < 987) {
    j = 1;
    for (i = pos; i < (pos + 13); i++) {
      j *= *(number + i) - '0';
      if (j > k) {
        k = j;
      }
    }
    pos++;
  }
  printf("%llu", k);
}
```