user: Converte this assembly snippet into its equivalent C code:

```asm
<main>:
  endbr64
  push   %r12
  push   %rbp
  push   %rbx
  mov    $0x1,%ebx
  sub    $0xe0,%rsp
  movdqa D35(%rip),%xmm0
  movdqa D112(%rip),%xmm1
  mov    %fs:0x28,%rax
  mov    %rax,0xd8(%rsp)
  xor    %eax,%eax
  mov    %rsp,%rbp
  lea    0x70(%rsp),%r12
  movl   $0x0,0x60(%rsp)
  movaps %xmm0,(%rsp)
  mov    %rbp,%rdi
  pxor   %xmm0,%xmm0
  movaps %xmm0,0x10(%rsp)
  movaps %xmm0,0x20(%rsp)
  movaps %xmm0,0x30(%rsp)
  movaps %xmm0,0x40(%rsp)
  movaps %xmm0,0x50(%rsp)
  movaps %xmm1,0x70(%rsp)
  movaps %xmm0,0x80(%rsp)
  movaps %xmm0,0x90(%rsp)
  movaps %xmm0,0xa0(%rsp)
  movaps %xmm0,0xb0(%rsp)
  movaps %xmm0,0xc0(%rsp)
  movl   $0x0,0xd0(%rsp)
  call   <string_rev@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L38
L33:
  mov    %rbp,%rdi
  call   <string_length@plt>
  cmp    $0xd,%eax
  je     L30
  lea    D64(%rip),%rdi
  xor    %ebx,%ebx
  call   <puts@plt>
L30:
  lea    D118(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcpy@plt>
  mov    %rbp,%rdi
  call   <string_to_int@plt>
  mov    %eax,%r12d
  cmp    $0x4cb2f,%eax
  jne    L70
  mov    %rbp,%rsi
  mov    $0xe0301,%edi
  call   <int_to_string@plt>
  lea    D95(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L18
  test   %ebx,%ebx
  je     L84
  lea    D59(%rip),%rdi
  call   <puts@plt>
L88:
  mov    0xd8(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L83
  add    $0xe0,%rsp
  xor    %eax,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  ret
L70:
  lea    D80(%rip),%rdi
  call   <puts@plt>
  mov    %r12d,%esi
  lea    D7(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    %rbp,%rsi
  mov    $0xe0301,%edi
  call   <int_to_string@plt>
  lea    D95(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  je     L84
L18:
  lea    D6(%rip),%rdi
  call   <puts@plt>
L84:
  lea    D99(%rip),%rdi
  call   <puts@plt>
  jmp    L88
L38:
  lea    D44(%rip),%rdi
  xor    %ebx,%ebx
  call   <puts@plt>
  mov    %r12,%rdx
  mov    %rbp,%rsi
  xor    %eax,%eax
  lea    D28(%rip),%rdi
  call   <printf@plt>
  jmp    L33
L83:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: label: D35
data_type: byte[16]
name: extract_symbolic_data
arguments: label: D112
data_type: byte[16]
name: extract_symbolic_data
arguments: label: D64
data_type: string
name: extract_symbolic_data
arguments: label: D118
data_type: string
name: extract_symbolic_data
arguments: label: D95
data_type: string
name: extract_symbolic_data
arguments: label: D59
data_type: string
name: extract_symbolic_data
arguments: label: D80
data_type: string
name: extract_symbolic_data
arguments: label: D7
data_type: string
name: extract_symbolic_data
arguments: label: D6
data_type: string
name: extract_symbolic_data
arguments: label: D99
data_type: string
name: extract_symbolic_data
arguments: label: D44
data_type: string
name: extract_symbolic_data
arguments: label: D28
data_type: string

tool: {"D35": [0x48,0x65,0x6c,0x6c,0x6f,0x2c,0x20,0x77,0x6f,0x72,0x6c,0x64,0x21,0x00,0x00,0x00]}

tool: {"D112": [0x21,0x64,0x6c,0x72,0x6f,0x77,0x20,0x2c,0x6f,0x6c,0x6c,0x65,0x48,0x00,0x00,0x00]}

tool: D64: string_length() failed

tool: D118: 314159

tool: D95: 918273

tool: D59: All tests passed.

tool: D80: string_to_int() failed

tool: D7: %d


tool: D6: int_to_string() failed

tool: D99: Some tests FAILED.

tool: D44: string_rev() failed

tool: D28: '%s', '%s'


assistant: ```c
int main(void) {
  bool correct = true;
  char s1[100] = "Hello, world!";
  char s2[100] = "!dlrow ,olleH";
  string_rev(s1);
  if (strcmp(s1, s2)) {
    correct = false;
    printf("string_rev() failed\n");
    printf("'%s', '%s'\n", s1, s2);
  }
  if (string_length(s1) != 13) {
    correct = false;
    printf("string_length() failed\n");
  }
  strcpy(s1, "314159");
  int n = string_to_int(s1);
  if (n != 314159) {
    correct = false;
    printf("string_to_int() failed\n");
    printf("%d\n", n);
  }
  int_to_string(918273, s1);
  if (strcmp(s1, "918273")) {
    correct = false;
    printf("int_to_string() failed\n");
  }
  if (correct) {
    puts("All tests passed.");
  } else {
    puts("Some tests FAILED.");
  }
  return 0;
}
```