user: Demonstrate the C code that generates the assembly output below:

```asm
<main>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x38,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x28(%rsp)
  xor    %eax,%eax
  lea    0x10(%rsp),%rbx
  mov    %rbx,%rsi
  lea    D5(%rip),%rdi
  call   <scanf@plt>
  mov    %rbx,%rdi
  call   <valid_isbn@plt>
  test   %rax,%rax
  je     L40
  lea    D95(%rip),%rdi
  call   <printf@plt>
  mov    $0x0,%ebx
  mov    $0x0,%r12d
  lea    D4(%rip),%r13
  lea    D93(%rip),%r14
  lea    D36(%rip),%r15
  jmp    L134
L96:
  lea    D74(%rip),%rdi
  call   <printf@plt>
L105:
  add    $0x1,%rbx
L134:
  mov    %ebx,%ebp
  lea    0x10(%rsp),%rdi
  call   <strlen@plt>
  cmp    %ebx,%eax
  jbe    L98
  cmpb   $0x2d,0x10(%rsp,%rbx,1)
  jne    L105
  mov    %ebp,%ecx
  sub    %r12d,%ecx
  je     L26
  mov    $0x0,%eax
  movslq %r12d,%r12
  lea    0x10(%rsp,%r12,1),%rsi
L39:
  movzbl (%rsi,%rax,1),%edx
  mov    %dl,0xa(%rsp,%rax,1)
  add    $0x1,%rax
  cmp    %eax,%ecx
  ja     L39
L26:
  lea    0x1(%rbp),%r12d
  lea    0xa(%rsp),%rdi
  mov    %r13,%rsi
  call   <strcmp@plt>
  test   %eax,%eax
  je     L96
  lea    0xa(%rsp),%rdi
  mov    %r14,%rsi
  call   <strcmp@plt>
  test   %eax,%eax
  je     L117
  lea    0xa(%rsp),%rdi
  mov    %r15,%rsi
  call   <strcmp@plt>
  test   %eax,%eax
  je     L65
  lea    0xa(%rsp),%rdi
  lea    D80(%rip),%rsi
  call   <strcmp@plt>
  test   %eax,%eax
  jne    L105
  lea    D90(%rip),%rdi
  call   <printf@plt>
  jmp    L105
L117:
  lea    D103(%rip),%rdi
  call   <printf@plt>
  jmp    L105
L65:
  lea    D35(%rip),%rdi
  call   <printf@plt>
  jmp    L105
L40:
  lea    D73(%rip),%rdi
  call   <printf@plt>
L98:
  mov    0x28(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L127
  mov    $0x0,%eax
  add    $0x38,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L127:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: retrieve_data
arguments: data_label: D5
type: string
name: retrieve_data
arguments: data_label: D95
type: string
name: retrieve_data
arguments: data_label: D4
type: string
name: retrieve_data
arguments: data_label: D93
type: string
name: retrieve_data
arguments: data_label: D36
type: string
name: retrieve_data
arguments: data_label: D74
type: string
name: retrieve_data
arguments: data_label: D80
type: string
name: retrieve_data
arguments: data_label: D90
type: string
name: retrieve_data
arguments: data_label: D103
type: string
name: retrieve_data
arguments: data_label: D35
type: string
name: retrieve_data
arguments: data_label: D73
type: string

tool: D5: %s

tool: D95: 1

tool: D4: 933346

tool: D93: 55583

tool: D36: 4210

tool: D74: Bluebridge

tool: D80: 01

tool: D90: Pyramid Books

tool: D103: Alyson Books

tool: D35: FUNimation Productions, Ltd.

tool: D73: 0

assistant: ```c
int main() {
  char isbnnum[20];
  char check[6];
  int last = 0;
  scanf("%s", isbnnum);
  if (valid_isbn(isbnnum)) {
    printf("1");
    for (unsigned int i = 0; i < strlen(isbnnum); i++) {
      if (isbnnum[i] == '-') {
        for (int k = 0; k < i - last; k++) {
          check[k] = isbnnum[last + k];
        }
        last = i + 1;
        if (!strcmp(check, "933346")) {
          printf("Bluebridge");
        } else if (!strcmp(check, "55583")) {
          printf("Alyson Books");
        } else if (!strcmp(check, "4210")) {
          printf("FUNimation Productions, Ltd.");
        } else if (!strcmp(check, "01")) {
          printf("Pyramid Books");
        }
      }
    }
  } else {
    printf("0");
  }
  return 0;
}
```