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

```asm
<main>:
  endbr64
  push   %r12
  lea    D6(%rip),%rdi
  push   %rbp
  sub    $0x88,%rsp
  movdqa D119(%rip),%xmm0
  mov    %fs:0x28,%rax
  mov    %rax,0x78(%rsp)
  xor    %eax,%eax
  mov    D29(%rip),%rax
  lea    0x10(%rsp),%rbp
  movl   $0xb,0x38(%rsp)
  movaps %xmm0,0x10(%rsp)
  movdqa D39(%rip),%xmm0
  lea    0x40(%rsp),%r12
  mov    %rax,0x30(%rsp)
  movaps %xmm0,0x20(%rsp)
  call   <puts@plt>
  mov    $0xa,%ecx
  xor    %esi,%esi
  mov    %rbp,%rdi
  mov    $0xa,%edx
  call   <binary_search@plt>
  lea    D107(%rip),%rdi
  mov    %eax,%esi
  xor    %eax,%eax
  call   <printf@plt>
  mov    $0xffffffff,%ecx
  xor    %esi,%esi
  mov    %rbp,%rdi
  mov    $0xa,%edx
  lea    D40(%rip),%rbp
  call   <binary_search@plt>
  lea    D49(%rip),%rdi
  mov    %eax,%esi
  xor    %eax,%eax
  call   <printf@plt>
  mov    $0x2,%ecx
  xor    %esi,%esi
  mov    %r12,%rdi
  movdqa D3(%rip),%xmm0
  mov    D63(%rip),%rax
  mov    $0xa,%edx
  movl   $0x7,0x68(%rsp)
  movaps %xmm0,0x40(%rsp)
  movdqa D0(%rip),%xmm0
  mov    %rax,0x60(%rsp)
  movaps %xmm0,0x50(%rsp)
  call   <binary_search_left@plt>
  mov    %rbp,%rdi
  mov    %eax,%esi
  xor    %eax,%eax
  call   <printf@plt>
  mov    $0x4,%ecx
  xor    %esi,%esi
  mov    %r12,%rdi
  mov    $0xa,%edx
  lea    0xc(%rsp),%r12
  call   <binary_search_left@plt>
  lea    D114(%rip),%rdi
  mov    %eax,%esi
  xor    %eax,%eax
  call   <printf@plt>
  xor    %edx,%edx
  mov    $0x1,%ecx
  xor    %esi,%esi
  mov    %r12,%rdi
  movl   $0x1,0xc(%rsp)
  call   <binary_search@plt>
  lea    D89(%rip),%rdi
  mov    %eax,%esi
  xor    %eax,%eax
  call   <printf@plt>
  xor    %esi,%esi
  xor    %edx,%edx
  mov    %r12,%rdi
  mov    $0x2,%ecx
  call   <binary_search@plt>
  mov    %rbp,%rdi
  mov    %eax,%esi
  xor    %eax,%eax
  call   <printf@plt>
  mov    0x78(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L5
  add    $0x88,%rsp
  xor    %eax,%eax
  pop    %rbp
  pop    %r12
  ret
L5:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D6
data_type: string
name: extract_symbolic_data
arguments: data_tag: D119
data_type: byte[16]
name: extract_symbolic_data
arguments: data_tag: D29
data_type: byte[8]
name: extract_symbolic_data
arguments: data_tag: D39
data_type: byte[16]
name: extract_symbolic_data
arguments: data_tag: D107
data_type: string
name: extract_symbolic_data
arguments: data_tag: D40
data_type: string
name: extract_symbolic_data
arguments: data_tag: D49
data_type: string
name: extract_symbolic_data
arguments: data_tag: D3
data_type: byte[16]
name: extract_symbolic_data
arguments: data_tag: D63
data_type: byte[8]
name: extract_symbolic_data
arguments: data_tag: D0
data_type: byte[16]
name: extract_symbolic_data
arguments: data_tag: D114
data_type: string
name: extract_symbolic_data
arguments: data_tag: D89
data_type: string

tool: D6: base test: 

tool: {"D119": [0x01,0x00,0x00,0x00,0x02,0x00,0x00,0x00,0x03,0x00,0x00,0x00,0x04,0x00,0x00,0x00]}

tool: {"D29": [0x09,0x00,0x00,0x00,0x0a,0x00,0x00,0x00]}

tool: {"D39": [0x05,0x00,0x00,0x00,0x06,0x00,0x00,0x00,0x07,0x00,0x00,0x00,0x08,0x00,0x00,0x00]}

tool: D107: find 10: %d


tool: D40: find 2: %d


tool: D49: find -1: %d


tool: {"D3": [0x01,0x00,0x00,0x00,0x02,0x00,0x00,0x00,0x02,0x00,0x00,0x00,0x03,0x00,0x00,0x00]}

tool: {"D63": [0x06,0x00,0x00,0x00,0x07,0x00,0x00,0x00]}

tool: {"D0": [0x04,0x00,0x00,0x00,0x04,0x00,0x00,0x00,0x04,0x00,0x00,0x00,0x05,0x00,0x00,0x00]}

tool: D114: find 4: %d


tool: D89: find 1: %d


assistant: ```c
int main() {
  int arr1[] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11};
  printf("base test: \n");
  printf("find 10: %d\n", binary_search(arr1, 0, 10, 10));
  printf("find -1: %d\n", binary_search(arr1, 0, 10, -1));
  int arr2[] = {1, 2, 2, 3, 4, 4, 4, 5, 6, 7, 7};
  int len = sizeof(arr2) / sizeof(int);
  printf("find 2: %d\n", binary_search_left(arr2, 0, len - 1, 2));
  printf("find 4: %d\n", binary_search_left(arr2, 0, len - 1, 4));
  int arr3[] = {1};
  printf("find 1: %d\n", binary_search(arr3, 0, 0, 1));
  printf("find 2: %d\n", binary_search(arr3, 0, 0, 2));
  return 0;
}
```