user: 请将这段汇编代码片段转换成等效的C代码：

```asm
<main>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x18,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x8(%rsp)
  xor    %eax,%eax
  mov    $0x0,%edi
  call   <time@plt>
  mov    %eax,%edi
  call   <srand@plt>
  mov    $0x0,%eax
  call   <divider@plt>
  lea    D1(%rip),%r15
  lea    D21(%rip),%r12
  jmp    L16
L44:
  lea    D22(%rip),%rdi
  call   <puts@plt>
  mov    %ebx,%edx
  mov    %ebp,%esi
  mov    %r15,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
L46:
  mov    %r13,%rsi
  mov    %r12,%rdi
  call   <scanf@plt>
  cmp    (%rsp),%r14d
  jne    L44
  lea    D7(%rip),%rdi
  call   <puts@plt>
  mov    $0x0,%eax
  call   <divider@plt>
  movl   $0xffffffff,0x4(%rsp)
  lea    D37(%rip),%rbp
  lea    0x4(%rsp),%rbx
L34:
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    %rbx,%rsi
  mov    %r12,%rdi
  call   <scanf@plt>
  mov    0x4(%rsp),%eax
  cmp    $0x1,%eax
  ja     L34
  test   %eax,%eax
  je     L39
  mov    $0x0,%eax
  call   <divider@plt>
L16:
  mov    $0x0,%eax
  call   <rand@plt>
  mov    %eax,%ebp
  movslq %eax,%rdx
  imul   $0x38e38e39,%rdx,%rdx
  sar    $0x21,%rdx
  sar    $0x1f,%eax
  sub    %eax,%edx
  lea    (%rdx,%rdx,8),%eax
  sub    %eax,%ebp
  add    $0x1,%ebp
  mov    $0x0,%eax
  call   <rand@plt>
  mov    %eax,%ebx
  movslq %eax,%rdx
  imul   $0x38e38e39,%rdx,%rdx
  sar    $0x21,%rdx
  sar    $0x1f,%eax
  sub    %eax,%edx
  lea    (%rdx,%rdx,8),%eax
  sub    %eax,%ebx
  add    $0x1,%ebx
  mov    %ebx,%edx
  mov    %ebp,%esi
  mov    %r15,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    %ebp,%r14d
  imul   %ebx,%r14d
  mov    %rsp,%r13
  jmp    L46
L39:
  mov    0x8(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L2
  add    $0x18,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L2:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D1
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D21
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D22
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D7
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D37
type_infered: string

tool: D1: How much is %d times %d? 

tool: D21: %d

tool: D22: Please try again.


tool: D7: That is correct!

tool: D37: Would you like to answer another question? (0 = No, 1 = Yes) 

assistant: ```c
void main() {
  int num1, num2;
  int guess;
  int i, i2, i3;
  int cont;
  srand(time(NULL));
  divider();
  i = 1;
  while (i == 1) {
    i2 = 1;
    while (i2 == 1) {
      num1 = rand() % 9 + 1;
      num2 = rand() % 9 + 1;
      printf("How much is %d times %d? ", num1, num2);
      i3 = 1;
      while (i3 == 1) {
        scanf("%d", &guess);
        if (guess == (num1 * num2)) {
          printf("That is correct!\n");
          divider();
          i3 = 0;
          i2 = 0;
        } else {
          printf("Please try again.\n\n");
          printf("How much is %d times %d? ", num1, num2);
        }
      }
    }
    for (cont = -1; (cont < 0) || cont > 1;) {
      printf("Would you like to answer another question? (0 = No, 1 = Yes) ");
      scanf("%d", &cont);
    }
    if (cont == 0)
      i = 0;
    else
      divider();
  }
}
```