user: Please show me the C implementation that matches the assembly code listed below:

```asm
<main>:
  endbr64
  push   %rbp
  lea    D47(%rip),%rdi
  lea    D27(%rip),%rbp
  push   %rbx
  lea    D57(%rip),%rbx
  sub    $0x18,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x8(%rsp)
  xor    %eax,%eax
  call   <printf@plt>
  mov    %rsp,%rsi
  mov    %rbp,%rdi
  call   <scanf@plt>
  lea    D2(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    %rbp,%rdi
  lea    0x4(%rsp),%rsi
  lea    D80(%rip),%rbp
  call   <scanf@plt>
  mov    0x4(%rsp),%esi
  mov    (%rsp),%edi
  call   <add@plt>
  lea    D54(%rip),%rdi
  mov    %eax,%esi
  xor    %eax,%eax
  call   <printf@plt>
  mov    0x4(%rsp),%esi
  mov    (%rsp),%edi
  call   <sub@plt>
  lea    D68(%rip),%rdi
  mov    %eax,%esi
  xor    %eax,%eax
  call   <printf@plt>
  mov    0x4(%rsp),%esi
  mov    (%rsp),%edi
  call   <mul@plt>
  lea    D3(%rip),%rdi
  mov    %eax,%esi
  xor    %eax,%eax
  call   <printf@plt>
  mov    0x4(%rsp),%esi
  mov    (%rsp),%edi
  call   <gt@plt>
  mov    %rbp,%rsi
  lea    D6(%rip),%rdi
  test   %rax,%rax
  cmovne %rbx,%rsi
  xor    %eax,%eax
  call   <printf@plt>
  mov    0x4(%rsp),%esi
  mov    (%rsp),%edi
  call   <lt@plt>
  mov    %rbp,%rsi
  lea    D4(%rip),%rdi
  test   %rax,%rax
  cmovne %rbx,%rsi
  xor    %eax,%eax
  call   <printf@plt>
  mov    0x4(%rsp),%esi
  mov    (%rsp),%edi
  call   <getByte@plt>
  lea    D12(%rip),%rdi
  mov    %eax,%esi
  xor    %eax,%eax
  call   <printf@plt>
  mov    0x8(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L9
  add    $0x18,%rsp
  xor    %eax,%eax
  pop    %rbx
  pop    %rbp
  ret
L9:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D47
data_type: string
name: extract_symbolic_data
arguments: data_label: D27
data_type: string
name: extract_symbolic_data
arguments: data_label: D57
data_type: string
name: extract_symbolic_data
arguments: data_label: D2
data_type: string
name: extract_symbolic_data
arguments: data_label: D80
data_type: string
name: extract_symbolic_data
arguments: data_label: D54
data_type: string
name: extract_symbolic_data
arguments: data_label: D68
data_type: string
name: extract_symbolic_data
arguments: data_label: D3
data_type: string
name: extract_symbolic_data
arguments: data_label: D6
data_type: string
name: extract_symbolic_data
arguments: data_label: D4
data_type: string
name: extract_symbolic_data
arguments: data_label: D12
data_type: string

tool: D47: Enter an integer 

tool: D27: %u

tool: D57: TRUE

tool: D2: 
Enter another integer 

tool: D80: FALSE

tool: D54: 
i + j = %u


tool: D68: 
i - j = %u


tool: D3: 
i * j = %u


tool: D6: i > j = %s


tool: D4: i < j = %s


tool: D12: jth byte of i = %ux


assistant: ```c
int main(int argc, char **argv) {
  unsigned int i, j;
  printf("Enter an integer ");
  scanf("%u", &i);
  printf("\nEnter another integer ");
  scanf("%u", &j);
  printf("\ni + j = %u\n", add(i, j));
  printf("\ni - j = %u\n", sub(i, j));
  printf("\ni * j = %u\n", mul(i, j));
  printf("i > j = %s\n", (gt(i, j) ? "TRUE" : "FALSE"));
  printf("i < j = %s\n", (lt(i, j) ? "TRUE" : "FALSE"));
  printf("jth byte of i = %ux\n", getByte(i, j));
  return 0;
}
```