user: Translate the below assembly code into C programming language:

```asm
<main>:
  endbr64
  push   %r15
  mov    $0x3,%esi
  movabs $0x3f8000003f800000,%rdi
  mov    $0x1,%edx
  push   %r14
  mov    $0x2,%ecx
  lea    D40(%rip),%r11
  lea    D25(%rip),%r15
  push   %r13
  lea    D46(%rip),%r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x128,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x118(%rsp)
  movabs $0x100000003,%rax
  lea    0x20(%rsp),%rbx
  movl   $0x2,0x40(%rsp)
  lea    0x50(%rsp),%rbp
  movq   $0x3f800000,0x80(%rsp)
  mov    %rbx,%r12
  lea    0x80(%rsp),%r14
  movq   $0x0,0x88(%rsp)
  movq   $0x3f800000,0x90(%rsp)
  movq   $0x0,0x98(%rsp)
  movq   $0x3f800000,0xa0(%rsp)
  mov    %rax,0x20(%rsp)
  movabs $0xffffffff00000002,%rax
  mov    %rax,0x28(%rsp)
  movabs $0xfffffffdfffffffe,%rax
  mov    %rax,0x30(%rsp)
  movabs $0x1fffffffd,%rax
  mov    %rax,0x38(%rsp)
  movabs $0x3f80000000000000,%rax
  mov    %rax,0xb0(%rsp)
  mov    %rax,0xc0(%rsp)
  mov    %rax,0xf8(%rsp)
  lea    0x44(%rsp),%rax
  movq   $0x0,0xa8(%rsp)
  movq   $0x0,0xb8(%rsp)
  movq   $0x3f800000,0xc8(%rsp)
  movq   $0x0,0xd0(%rsp)
  movq   $0x0,0xd8(%rsp)
  movq   $0x0,0xe0(%rsp)
  mov    %rdi,0xe8(%rsp)
  movq   $0x0,0xf0(%rsp)
  movq   $0x0,0x100(%rsp)
  movq   $0x0,0x108(%rsp)
  mov    %rbx,0x18(%rsp)
  mov    %rax,(%rsp)
  lea    0x58(%rsp),%rax
  mov    %rax,0x10(%rsp)
  lea    0x54(%rsp),%rax
  mov    %rax,0x8(%rsp)
L37:
  mov    %r11,%rdi
  xor    %eax,%eax
  add    $0xc,%rbx
  call   <printf@plt>
  mov    %r15,%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    -0x4(%rbx),%edx
  mov    -0x8(%rbx),%esi
  mov    %rbp,%r9
  movq   $0x0,0x50(%rsp)
  mov    -0xc(%rbx),%edi
  mov    $0x3,%r8d
  mov    %r14,%rcx
  movl   $0x0,0x58(%rsp)
  push   0x10(%rsp)
  push   0x10(%rsp)
  call   <get_key@plt>
  mov    0x68(%rsp),%ecx
  mov    0x64(%rsp),%edx
  mov    %r13,%rdi
  mov    0x60(%rsp),%esi
  xor    %eax,%eax
  call   <printf@plt>
  pop    %rax
  pop    %rdx
  cmp    (%rsp),%rbx
  je     L5
  mov    0x8(%rbx),%ecx
  mov    (%rbx),%esi
  lea    D40(%rip),%r11
  mov    0x4(%rbx),%edx
  jmp    L37
  nopl   0x0(%rax,%rax,1)
L5:
  mov    0x18(%rsp),%rdi
  mov    %r14,%rcx
  mov    $0x3,%edx
  mov    %rbp,%rsi
  mov    $0x3,%r8d
  lea    D28(%rip),%rbx
  call   <get_many_keys@plt>
  mov    (%rsp),%r14
L18:
  mov    0x8(%r12),%ecx
  mov    0x4(%r12),%edx
  mov    %rbx,%rdi
  xor    %eax,%eax
  mov    (%r12),%esi
  add    $0xc,%r12
  add    $0xc,%rbp
  call   <printf@plt>
  mov    -0x4(%rbp),%ecx
  mov    -0x8(%rbp),%edx
  mov    %r13,%rdi
  mov    -0xc(%rbp),%esi
  xor    %eax,%eax
  call   <printf@plt>
  cmp    %r14,%r12
  jne    L18
  mov    0x118(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L12
  add    $0x128,%rsp
  xor    %eax,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L12:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: retrieve_data
arguments: data_label: D40
type_infered: string
name: retrieve_data
arguments: data_label: D25
type_infered: string
name: retrieve_data
arguments: data_label: D46
type_infered: string
name: retrieve_data
arguments: data_label: D28
type_infered: string

tool: D40: %4d %4d %4d

tool: D25: ->

tool: D46: %4d %4d %4d


tool: D28: %4d %4d %4d ->

assistant: ```c
int main(int argc, char **argv) {
  int i, nsym;
  int hkl[] = {3, 1, 2, -1, -2, -3, -3, 1, 2};
  int res[9];
  int *kh, *kk, *kl;
  kh = &res[0];
  kk = &res[1];
  kl = &res[2];
  float sym[] = {
      1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 1, 0, 0, 0, 0,
  };
  nsym = 3;
  for (i = 0; i < 3; i++) {
    printf("%4d %4d %4d", hkl[i * 3], hkl[i * 3 + 1], hkl[i * 3 + 2]);
    printf("->");
    *kh = 0;
    *kk = 0;
    *kl = 0;
    get_key(hkl[i * 3], hkl[i * 3 + 1], hkl[i * 3 + 2], sym, nsym, kh, kk, kl);
    printf("%4d %4d %4d\n", *kh, *kk, *kl);
  }
  get_many_keys(hkl, res, 3, sym, nsym);
  for (i = 0; i < 3; i++) {
    printf("%4d %4d %4d ->", hkl[i * 3], hkl[i * 3 + 1], hkl[i * 3 + 2]);
    printf("%4d %4d %4d\n", res[i * 3], res[i * 3 + 1], res[i * 3 + 2]);
  }
  return 0;
}
```