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

```asm
<main>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x70,%rsp
  mov    %edi,-0x64(%rbp)
  mov    %rsi,-0x70(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  lea    D9(%rip),%rax
  mov    %rax,-0x50(%rbp)
  lea    D108(%rip),%rax
  mov    %rax,-0x48(%rbp)
  lea    D95(%rip),%rax
  mov    %rax,-0x40(%rbp)
  lea    D75(%rip),%rax
  mov    %rax,-0x38(%rbp)
  lea    D54(%rip),%rax
  mov    %rax,-0x30(%rbp)
  lea    D77(%rip),%rax
  mov    %rax,-0x28(%rbp)
  lea    D8(%rip),%rax
  mov    %rax,-0x20(%rbp)
  lea    D97(%rip),%rax
  mov    %rax,-0x18(%rbp)
  lea    D15(%rip),%rax
  mov    %rax,-0x10(%rbp)
  movl   $0x1,-0x58(%rbp)
  jmp    L59
L53:
  movl   $0x0,-0x54(%rbp)
  jmp    L43
L15:
  mov    -0x54(%rbp),%eax
  cltq
  mov    -0x50(%rbp,%rax,8),%rdx
  mov    -0x58(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rcx
  mov    -0x70(%rbp),%rax
  add    %rcx,%rax
  mov    (%rax),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L10
  mov    -0x54(%rbp),%eax
  lea    0x1(%rax),%edx
  mov    -0x58(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rcx
  mov    -0x70(%rbp),%rax
  add    %rcx,%rax
  mov    (%rax),%rax
  mov    %rax,%rsi
  lea    D99(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L68
L10:
  addl   $0x1,-0x54(%rbp)
L43:
  cmpl   $0x8,-0x54(%rbp)
  jle    L15
L68:
  cmpl   $0x9,-0x54(%rbp)
  jne    L57
  mov    -0x58(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x70(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  mov    %rax,%rsi
  lea    D16(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
L57:
  addl   $0x1,-0x58(%rbp)
L59:
  mov    -0x58(%rbp),%eax
  cmp    -0x64(%rbp),%eax
  jl     L53
  mov    $0x0,%eax
  mov    -0x8(%rbp),%rdx
  sub    %fs:0x28,%rdx
  je     L3
  call   <__stack_chk_fail@plt>
L3:
  leave
  ret
```

tool_calls: name: read_data
arguments: tag: D9
type_infered: string
name: read_data
arguments: tag: D108
type_infered: string
name: read_data
arguments: tag: D95
type_infered: string
name: read_data
arguments: tag: D75
type_infered: string
name: read_data
arguments: tag: D54
type_infered: string
name: read_data
arguments: tag: D77
type_infered: string
name: read_data
arguments: tag: D8
type_infered: string
name: read_data
arguments: tag: D97
type_infered: string
name: read_data
arguments: tag: D15
type_infered: string
name: read_data
arguments: tag: D99
type_infered: string
name: read_data
arguments: tag: D16
type_infered: string

tool: D9: Mecury

tool: D108: Vernus

tool: D95: Earth

tool: D75: Mars

tool: D54: Jupiter

tool: D77: Saturn

tool: D8: Uranus

tool: D97: Neptune

tool: D15: Pluto

tool: D99: %s is planet %d


tool: D16: %s is not a planet


assistant: ```c
int main(int argc, char *argv[]) {
  char *planets[] = {"Mecury", "Vernus", "Earth", "Mars", "Jupiter", "Saturn", "Uranus", "Neptune", "Pluto"};
  int i, j;
  for (i = 1; i < argc; i++) {
    for (j = 0; j < 9; j++)
      if (strcmp(argv[i], planets[j]) == 0) {
        printf("%s is planet %d\n", argv[i], j + 1);
        break;
      }
    if (j == 9)
      printf("%s is not a planet\n", argv[i]);
  }
  return 0;
}
```