user: What would the C source look like for the assembly code provided here?

```asm
<main>:
  endbr64
  push   %rbp
  push   %rbx
  sub    $0x58,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x48(%rsp)
  xor    %eax,%eax
  lea    0x30(%rsp),%rbx
  mov    %rbx,%rsi
  lea    D155(%rip),%rdi
  call   <scanf@plt>
  mov    %rbx,%rdi
  call   <strlen@plt>
  cmp    $0x11,%eax
  je     L18
  lea    D33(%rip),%rdi
  call   <printf@plt>
L128:
  mov    0x48(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L153
  mov    $0x0,%eax
  add    $0x58,%rsp
  pop    %rbx
  pop    %rbp
  ret
L18:
  lea    0x30(%rsp),%rdi
  lea    D58(%rip),%rsi
  call   <strtok@plt>
  test   %rax,%rax
  je     L25
  mov    %rsp,%rbx
  lea    D58(%rip),%rbp
L161:
  mov    %rax,(%rbx)
  mov    %rbp,%rsi
  mov    $0x0,%edi
  call   <strtok@plt>
  add    $0x8,%rbx
  test   %rax,%rax
  jne    L161
L25:
  mov    (%rsp),%rbx
  lea    D161(%rip),%rsi
  mov    %rbx,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  je     L48
  lea    D93(%rip),%rsi
  mov    %rbx,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L3
L48:
  lea    0x30(%rsp),%rdi
  call   <checkISBN@plt>
  movsbl %al,%eax
  mov    0x20(%rsp),%rdx
  movsbl (%rdx),%edx
  sub    $0x30,%edx
  cmp    %edx,%eax
  je     L155
  lea    D33(%rip),%rdi
  call   <printf@plt>
  jmp    L128
L3:
  lea    D33(%rip),%rdi
  call   <printf@plt>
  jmp    L128
L155:
  lea    D29(%rip),%rdi
  call   <printf@plt>
  mov    0x10(%rsp),%rbx
  lea    D8(%rip),%rsi
  mov    %rbx,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L115
  lea    D158(%rip),%rdi
  call   <printf@plt>
  jmp    L128
L115:
  lea    D141(%rip),%rsi
  mov    %rbx,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L129
  lea    D144(%rip),%rdi
  call   <printf@plt>
  jmp    L128
L129:
  lea    D106(%rip),%rsi
  mov    %rbx,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L32
  lea    D109(%rip),%rdi
  call   <printf@plt>
  jmp    L128
L32:
  lea    D51(%rip),%rsi
  mov    %rbx,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L128
  lea    D55(%rip),%rdi
  call   <printf@plt>
  jmp    L128
L153:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: retrieve_data
arguments: tag: D155
datatype: string
name: retrieve_data
arguments: tag: D33
datatype: string
name: retrieve_data
arguments: tag: D58
datatype: string
name: retrieve_data
arguments: tag: D161
datatype: string
name: retrieve_data
arguments: tag: D93
datatype: string
name: retrieve_data
arguments: tag: D29
datatype: string
name: retrieve_data
arguments: tag: D8
datatype: string
name: retrieve_data
arguments: tag: D158
datatype: string
name: retrieve_data
arguments: tag: D141
datatype: string
name: retrieve_data
arguments: tag: D144
datatype: string
name: retrieve_data
arguments: tag: D106
datatype: string
name: retrieve_data
arguments: tag: D109
datatype: string
name: retrieve_data
arguments: tag: D51
datatype: string
name: retrieve_data
arguments: tag: D55
datatype: string

tool: D155: %s

tool: D33: 0

tool: D58: -

tool: D161: 978

tool: D93: 979

tool: D29: 1

tool: D8: 933346

tool: D158: 
Bluebridge

tool: D141: 55583

tool: D144: 
Alyson Books

tool: D106: 4210

tool: D109: 
FUNimation Productions, Ltd.

tool: D51: 01

tool: D55: 
Pyramid Books

assistant: ```c
int main() {
  char code[20];
  char *code_elems[5];
  int i, l;
  char *element;
  scanf("%s", code);
  l = strlen(code);
  if (l != 17) {
    printf("0");
    return 0;
  }
  element = strtok(code, "-");
  for (i = 0; element != NULL; i++) {
    code_elems[i] = element;
    element = strtok(NULL, "-");
  }
  if ((strcmp(code_elems[0], "978") != 0) && (strcmp(code_elems[0], "979") != 0)) {
    printf("0");
    return 0;
  }
  if (checkISBN(code) == *code_elems[4] - '0') {
    printf("1");
    if (strcmp(code_elems[2], "933346") == 0) {
      printf("\nBluebridge");
    } else if (strcmp(code_elems[2], "55583") == 0) {
      printf("\nAlyson Books");
    } else if (strcmp(code_elems[2], "4210") == 0) {
      printf("\nFUNimation Productions, Ltd.");
    } else if (strcmp(code_elems[2], "01") == 0) {
      printf("\nPyramid Books");
    }
  } else {
    printf("0");
  }
  return 0;
}
```