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

```asm
<main>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x10,%rsp
  lea    D140(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  lea    D148(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  mov    $0x0,%esi
  mov    $0x0,%edi
  call   <half_adder@plt>
  mov    %rax,-0x8(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,%esi
  lea    D119(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    $0x1,%esi
  mov    $0x0,%edi
  call   <half_adder@plt>
  mov    %rax,-0x8(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,%esi
  lea    D94(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    $0x0,%esi
  mov    $0x1,%edi
  call   <half_adder@plt>
  mov    %rax,-0x8(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,%esi
  lea    D118(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    $0x1,%esi
  mov    $0x1,%edi
  call   <half_adder@plt>
  mov    %rax,-0x8(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,%esi
  lea    D37(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    D46(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  lea    D39(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  lea    D129(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  mov    $0x0,%edx
  mov    $0x0,%esi
  mov    $0x0,%edi
  call   <full_adder@plt>
  mov    %rax,-0x8(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,%esi
  lea    D165(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    $0x1,%edx
  mov    $0x0,%esi
  mov    $0x0,%edi
  call   <full_adder@plt>
  mov    %rax,-0x8(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,%esi
  lea    D86(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    $0x0,%edx
  mov    $0x1,%esi
  mov    $0x0,%edi
  call   <full_adder@plt>
  mov    %rax,-0x8(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,%esi
  lea    D102(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    $0x1,%edx
  mov    $0x1,%esi
  mov    $0x0,%edi
  call   <full_adder@plt>
  mov    %rax,-0x8(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,%esi
  lea    D87(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    $0x0,%edx
  mov    $0x0,%esi
  mov    $0x1,%edi
  call   <full_adder@plt>
  mov    %rax,-0x8(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,%esi
  lea    D38(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    $0x1,%edx
  mov    $0x0,%esi
  mov    $0x1,%edi
  call   <full_adder@plt>
  mov    %rax,-0x8(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,%esi
  lea    D25(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    $0x0,%edx
  mov    $0x1,%esi
  mov    $0x1,%edi
  call   <full_adder@plt>
  mov    %rax,-0x8(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,%esi
  lea    D29(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    $0x1,%edx
  mov    $0x1,%esi
  mov    $0x1,%edi
  call   <full_adder@plt>
  mov    %rax,-0x8(%rbp)
  mov    -0x8(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,%esi
  lea    D143(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    $0x0,%eax
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: label: D140
datatype: string
name: extract_symbolic_data
arguments: label: D148
datatype: string
name: extract_symbolic_data
arguments: label: D119
datatype: string
name: extract_symbolic_data
arguments: label: D94
datatype: string
name: extract_symbolic_data
arguments: label: D118
datatype: string
name: extract_symbolic_data
arguments: label: D37
datatype: string
name: extract_symbolic_data
arguments: label: D46
datatype: string
name: extract_symbolic_data
arguments: label: D39
datatype: string
name: extract_symbolic_data
arguments: label: D129
datatype: string
name: extract_symbolic_data
arguments: label: D165
datatype: string
name: extract_symbolic_data
arguments: label: D86
datatype: string
name: extract_symbolic_data
arguments: label: D102
datatype: string
name: extract_symbolic_data
arguments: label: D87
datatype: string
name: extract_symbolic_data
arguments: label: D38
datatype: string
name: extract_symbolic_data
arguments: label: D25
datatype: string
name: extract_symbolic_data
arguments: label: D29
datatype: string
name: extract_symbolic_data
arguments: label: D143
datatype: string

tool: D140: HALF ADDER:

tool: D148: a	b	sum	carry

tool: D119: 0	0	%d  	%d    


tool: D94: 0	1	%d  	%d    


tool: D118: 1	0	%d  	%d    


tool: D37: 1	1	%d  	%d    


tool: D46: 


tool: D39: FULL ADDER:

tool: D129: a	b	c	sum	carry

tool: D165: 0	0	0	%d  	%d    


tool: D86: 0	0	1	%d  	%d    


tool: D102: 0	1	0	%d  	%d    


tool: D87: 0	1	1	%d  	%d    


tool: D38: 1	0	0	%d  	%d    


tool: D25: 1	0	1	%d  	%d    


tool: D29: 1	1	0	%d  	%d    


tool: D143: 1	1	1	%d  	%d    


assistant: ```c
int main() {
  int *nope;
  int sum, carry;
  printf("HALF ADDER:\n");
  printf("a\tb\tsum\tcarry\n");
  nope = half_adder(0, 0);
  printf("0\t0\t%d  \t%d    \n", *(nope + 0), *(nope + 1));
  nope = half_adder(0, 1);
  printf("0\t1\t%d  \t%d    \n", *(nope + 0), *(nope + 1));
  nope = half_adder(1, 0);
  printf("1\t0\t%d  \t%d    \n", *(nope + 0), *(nope + 1));
  nope = half_adder(1, 1);
  printf("1\t1\t%d  \t%d    \n", *(nope + 0), *(nope + 1));
  printf("\n\n");
  printf("FULL ADDER:\n");
  printf("a\tb\tc\tsum\tcarry\n");
  nope = full_adder(0, 0, 0);
  printf("0\t0\t0\t%d  \t%d    \n", *(nope + 0), *(nope + 1));
  nope = full_adder(0, 0, 1);
  printf("0\t0\t1\t%d  \t%d    \n", *(nope + 0), *(nope + 1));
  nope = full_adder(0, 1, 0);
  printf("0\t1\t0\t%d  \t%d    \n", *(nope + 0), *(nope + 1));
  nope = full_adder(0, 1, 1);
  printf("0\t1\t1\t%d  \t%d    \n", *(nope + 0), *(nope + 1));
  nope = full_adder(1, 0, 0);
  printf("1\t0\t0\t%d  \t%d    \n", *(nope + 0), *(nope + 1));
  nope = full_adder(1, 0, 1);
  printf("1\t0\t1\t%d  \t%d    \n", *(nope + 0), *(nope + 1));
  nope = full_adder(1, 1, 0);
  printf("1\t1\t0\t%d  \t%d    \n", *(nope + 0), *(nope + 1));
  nope = full_adder(1, 1, 1);
  printf("1\t1\t1\t%d  \t%d    \n", *(nope + 0), *(nope + 1));
  return 0;
}
```