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

```asm
<main>:
  endbr64
  push   %r15
  lea    D71(%rip),%rdi
  push   %r14
  push   %r13
  push   %r12
  xor    %r12d,%r12d
  push   %rbp
  push   %rbx
  sub    $0x58,%rsp
  call   <wctype@plt>
  lea    D260(%rip),%rdi
  mov    %rax,(%rsp)
  call   <wctype@plt>
  lea    D55(%rip),%rdi
  mov    %rax,0x8(%rsp)
  call   <wctype@plt>
  lea    D362(%rip),%rdi
  mov    %rax,0x10(%rsp)
  call   <wctype@plt>
  lea    D263(%rip),%rdi
  mov    %rax,0x18(%rsp)
  call   <wctype@plt>
  lea    D153(%rip),%rdi
  mov    %rax,0x20(%rsp)
  call   <wctype@plt>
  lea    D116(%rip),%rdi
  mov    %rax,0x28(%rsp)
  call   <wctype@plt>
  lea    D52(%rip),%rdi
  mov    %rax,0x30(%rsp)
  call   <wctype@plt>
  lea    D53(%rip),%rdi
  mov    %rax,0x38(%rsp)
  call   <wctype@plt>
  lea    D188(%rip),%rdi
  mov    %rax,0x40(%rsp)
  call   <wctype@plt>
  lea    D257(%rip),%rdi
  mov    %rax,0x48(%rsp)
  call   <wctype@plt>
  lea    D74(%rip),%rdi
  mov    %rax,%r15
  call   <wctype@plt>
  test   %rax,%rax
  jne    L230
L42:
  xor    %ebx,%ebx
  lea    D8(%rip),%r13
  lea    D282(%rip),%rbp
  nopw   0x0(%rax,%rax,1)
L166:
  mov    %ebx,%edi
  call   <isalnum@plt>
  mov    (%rsp),%rsi
  mov    %ebx,%edi
  mov    %rax,%r14
  call   <iswctype@plt>
  test   %r14,%r14
  sete   %dl
  test   %rax,%rax
  sete   %al
  cmp    %al,%dl
  je     L247
  mov    %ebx,%edx
  lea    D71(%rip),%rsi
  mov    %r13,%rdi
  mov    $0x1,%r12d
  call   <printf@plt>
L247:
  mov    %ebx,%edi
  call   <isalnum@plt>
  mov    %ebx,%edi
  mov    %rax,%r14
  call   <iswalnum@plt>
  test   %r14,%r14
  sete   %dl
  test   %rax,%rax
  sete   %al
  cmp    %al,%dl
  je     L242
  mov    %ebx,%edx
  lea    D71(%rip),%rsi
  mov    %rbp,%rdi
  mov    $0x1,%r12d
  call   <printf@plt>
L242:
  mov    %ebx,%edi
  call   <isalpha@plt>
  mov    0x8(%rsp),%rsi
  mov    %ebx,%edi
  mov    %rax,%r14
  call   <iswctype@plt>
  test   %r14,%r14
  sete   %dl
  test   %rax,%rax
  sete   %al
  cmp    %al,%dl
  je     L144
  mov    %ebx,%edx
  lea    D260(%rip),%rsi
  mov    %r13,%rdi
  mov    $0x1,%r12d
  call   <printf@plt>
L144:
  mov    %ebx,%edi
  call   <isalpha@plt>
  mov    %ebx,%edi
  mov    %rax,%r14
  call   <iswalpha@plt>
  test   %r14,%r14
  sete   %dl
  test   %rax,%rax
  sete   %al
  cmp    %al,%dl
  je     L185
  mov    %ebx,%edx
  lea    D260(%rip),%rsi
  mov    %rbp,%rdi
  mov    $0x1,%r12d
  call   <printf@plt>
L185:
  mov    %ebx,%edi
  call   <iscntrl@plt>
  mov    0x10(%rsp),%rsi
  mov    %ebx,%edi
  mov    %rax,%r14
  call   <iswctype@plt>
  test   %r14,%r14
  sete   %dl
  test   %rax,%rax
  sete   %al
  cmp    %al,%dl
  je     L193
  mov    %ebx,%edx
  lea    D55(%rip),%rsi
  mov    %r13,%rdi
  mov    $0x1,%r12d
  call   <printf@plt>
L193:
  mov    %ebx,%edi
  call   <iscntrl@plt>
  mov    %ebx,%edi
  mov    %rax,%r14
  call   <iswcntrl@plt>
  test   %r14,%r14
  sete   %dl
  test   %rax,%rax
  sete   %al
  cmp    %al,%dl
  je     L122
  mov    %ebx,%edx
  lea    D55(%rip),%rsi
  mov    %rbp,%rdi
  mov    $0x1,%r12d
  call   <printf@plt>
L122:
  mov    %ebx,%edi
  call   <isdigit@plt>
  mov    0x18(%rsp),%rsi
  mov    %ebx,%edi
  mov    %rax,%r14
  call   <iswctype@plt>
  test   %r14,%r14
  sete   %dl
  test   %rax,%rax
  sete   %al
  cmp    %al,%dl
  je     L21
  mov    %ebx,%edx
  lea    D362(%rip),%rsi
  mov    %r13,%rdi
  mov    $0x1,%r12d
  call   <printf@plt>
L21:
  mov    %ebx,%edi
  call   <isdigit@plt>
  mov    %ebx,%edi
  mov    %rax,%r14
  call   <iswdigit@plt>
  test   %r14,%r14
  sete   %dl
  test   %rax,%rax
  sete   %al
  cmp    %al,%dl
  je     L151
  mov    %ebx,%edx
  lea    D362(%rip),%rsi
  mov    %rbp,%rdi
  mov    $0x1,%r12d
  call   <printf@plt>
L151:
  mov    %ebx,%edi
  call   <isgraph@plt>
  mov    0x20(%rsp),%rsi
  mov    %ebx,%edi
  mov    %rax,%r14
  call   <iswctype@plt>
  test   %r14,%r14
  sete   %dl
  test   %rax,%rax
  sete   %al
  cmp    %al,%dl
  je     L235
  mov    %ebx,%edx
  lea    D263(%rip),%rsi
  mov    %r13,%rdi
  mov    $0x1,%r12d
  call   <printf@plt>
L235:
  mov    %ebx,%edi
  call   <isgraph@plt>
  mov    %ebx,%edi
  mov    %rax,%r14
  call   <iswgraph@plt>
  test   %r14,%r14
  sete   %dl
  test   %rax,%rax
  sete   %al
  cmp    %al,%dl
  je     L95
  mov    %ebx,%edx
  lea    D263(%rip),%rsi
  mov    %rbp,%rdi
  mov    $0x1,%r12d
  call   <printf@plt>
L95:
  mov    %ebx,%edi
  call   <islower@plt>
  mov    0x28(%rsp),%rsi
  mov    %ebx,%edi
  mov    %rax,%r14
  call   <iswctype@plt>
  test   %r14,%r14
  sete   %dl
  test   %rax,%rax
  sete   %al
  cmp    %al,%dl
  je     L236
  mov    %ebx,%edx
  lea    D153(%rip),%rsi
  mov    %r13,%rdi
  mov    $0x1,%r12d
  call   <printf@plt>
L236:
  mov    %ebx,%edi
  call   <islower@plt>
  mov    %ebx,%edi
  mov    %rax,%r14
  call   <iswlower@plt>
  test   %r14,%r14
  sete   %dl
  test   %rax,%rax
  sete   %al
  cmp    %al,%dl
  je     L145
  mov    %ebx,%edx
  lea    D153(%rip),%rsi
  mov    %rbp,%rdi
  mov    $0x1,%r12d
  call   <printf@plt>
L145:
  mov    %ebx,%edi
  call   <isprint@plt>
  mov    0x30(%rsp),%rsi
  mov    %ebx,%edi
  mov    %rax,%r14
  call   <iswctype@plt>
  test   %r14,%r14
  sete   %dl
  test   %rax,%rax
  sete   %al
  cmp    %al,%dl
  je     L196
  mov    %ebx,%edx
  lea    D116(%rip),%rsi
  mov    %r13,%rdi
  mov    $0x1,%r12d
  call   <printf@plt>
L196:
  mov    %ebx,%edi
  call   <isprint@plt>
  mov    %ebx,%edi
  mov    %rax,%r14
  call   <iswprint@plt>
  test   %r14,%r14
  sete   %dl
  test   %rax,%rax
  sete   %al
  cmp    %al,%dl
  je     L19
  mov    %ebx,%edx
  lea    D116(%rip),%rsi
  mov    %rbp,%rdi
  mov    $0x1,%r12d
  call   <printf@plt>
L19:
  mov    %ebx,%edi
  call   <ispunct@plt>
  mov    0x38(%rsp),%rsi
  mov    %ebx,%edi
  mov    %rax,%r14
  call   <iswctype@plt>
  test   %r14,%r14
  sete   %dl
  test   %rax,%rax
  sete   %al
  cmp    %al,%dl
  je     L153
  mov    %ebx,%edx
  lea    D52(%rip),%rsi
  mov    %r13,%rdi
  mov    $0x1,%r12d
  call   <printf@plt>
L153:
  mov    %ebx,%edi
  call   <ispunct@plt>
  mov    %ebx,%edi
  mov    %rax,%r14
  call   <iswpunct@plt>
  test   %r14,%r14
  sete   %dl
  test   %rax,%rax
  sete   %al
  cmp    %al,%dl
  je     L112
  mov    %ebx,%edx
  lea    D52(%rip),%rsi
  mov    %rbp,%rdi
  mov    $0x1,%r12d
  call   <printf@plt>
L112:
  mov    %ebx,%edi
  call   <isspace@plt>
  mov    0x40(%rsp),%rsi
  mov    %ebx,%edi
  mov    %rax,%r14
  call   <iswctype@plt>
  test   %r14,%r14
  sete   %dl
  test   %rax,%rax
  sete   %al
  cmp    %al,%dl
  je     L22
  mov    %ebx,%edx
  lea    D53(%rip),%rsi
  mov    %r13,%rdi
  mov    $0x1,%r12d
  call   <printf@plt>
L22:
  mov    %ebx,%edi
  call   <isspace@plt>
  mov    %ebx,%edi
  mov    %rax,%r14
  call   <iswspace@plt>
  test   %r14,%r14
  sete   %dl
  test   %rax,%rax
  sete   %al
  cmp    %al,%dl
  je     L256
  mov    %ebx,%edx
  lea    D53(%rip),%rsi
  mov    %rbp,%rdi
  mov    $0x1,%r12d
  call   <printf@plt>
L256:
  mov    %ebx,%edi
  call   <isupper@plt>
  mov    0x48(%rsp),%rsi
  mov    %ebx,%edi
  mov    %rax,%r14
  call   <iswctype@plt>
  test   %r14,%r14
  sete   %dl
  test   %rax,%rax
  sete   %al
  cmp    %al,%dl
  je     L147
  mov    %ebx,%edx
  lea    D188(%rip),%rsi
  mov    %r13,%rdi
  mov    $0x1,%r12d
  call   <printf@plt>
L147:
  mov    %ebx,%edi
  call   <isupper@plt>
  mov    %ebx,%edi
  mov    %rax,%r14
  call   <iswupper@plt>
  test   %r14,%r14
  sete   %dl
  test   %rax,%rax
  sete   %al
  cmp    %al,%dl
  je     L266
  mov    %ebx,%edx
  lea    D188(%rip),%rsi
  mov    %rbp,%rdi
  mov    $0x1,%r12d
  call   <printf@plt>
L266:
  mov    %ebx,%edi
  call   <isxdigit@plt>
  mov    %r15,%rsi
  mov    %ebx,%edi
  mov    %rax,%r14
  call   <iswctype@plt>
  test   %r14,%r14
  sete   %dl
  test   %rax,%rax
  sete   %al
  cmp    %al,%dl
  je     L208
  mov    %ebx,%edx
  lea    D257(%rip),%rsi
  mov    %r13,%rdi
  mov    $0x1,%r12d
  call   <printf@plt>
L208:
  mov    %ebx,%edi
  call   <isxdigit@plt>
  mov    %ebx,%edi
  mov    %rax,%r14
  call   <iswxdigit@plt>
  test   %r14,%r14
  sete   %dl
  test   %rax,%rax
  sete   %al
  cmp    %al,%dl
  je     L29
  mov    %ebx,%edx
  lea    D257(%rip),%rsi
  mov    %rbp,%rdi
  mov    $0x1,%r12d
  call   <printf@plt>
L29:
  add    $0x1,%ebx
  cmp    $0x100,%ebx
  jne    L166
  test   %r12d,%r12d
  je     L248
L133:
  add    $0x58,%rsp
  mov    %r12d,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L230:
  lea    D160(%rip),%rdi
  mov    $0x1,%r12d
  call   <puts@plt>
  jmp    L42
L248:
  lea    D0(%rip),%rdi
  call   <puts@plt>
  jmp    L133
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D71
data_type: string
name: extract_symbolic_data
arguments: data_label: D260
data_type: string
name: extract_symbolic_data
arguments: data_label: D55
data_type: string
name: extract_symbolic_data
arguments: data_label: D362
data_type: string
name: extract_symbolic_data
arguments: data_label: D263
data_type: string
name: extract_symbolic_data
arguments: data_label: D153
data_type: string
name: extract_symbolic_data
arguments: data_label: D116
data_type: string
name: extract_symbolic_data
arguments: data_label: D52
data_type: string
name: extract_symbolic_data
arguments: data_label: D53
data_type: string
name: extract_symbolic_data
arguments: data_label: D188
data_type: string
name: extract_symbolic_data
arguments: data_label: D257
data_type: string
name: extract_symbolic_data
arguments: data_label: D74
data_type: string
name: extract_symbolic_data
arguments: data_label: D8
data_type: string
name: extract_symbolic_data
arguments: data_label: D282
data_type: string
name: extract_symbolic_data
arguments: data_label: D160
data_type: string
name: extract_symbolic_data
arguments: data_label: D0
data_type: string

tool: D71: alnum

tool: D260: alpha

tool: D55: cntrl

tool: D362: digit

tool: D263: graph

tool: D153: lower

tool: D116: print

tool: D52: punct

tool: D53: space

tool: D188: upper

tool: D257: xdigit

tool: D74: does not exist

tool: D8: `iswctype' class `%s' test for character \%o failed


tool: D282: `isw%s' test for character \%o failed


tool: D160: wctype return value != 0 for non existing property

tool: D0: All test successful!

assistant: ```c
int main(int argc, char *argv[]) {
  int result = 0;
  wctype_t bit_alnum = wctype("alnum");
  wctype_t bit_alpha = wctype("alpha");
  wctype_t bit_cntrl = wctype("cntrl");
  wctype_t bit_digit = wctype("digit");
  wctype_t bit_graph = wctype("graph");
  wctype_t bit_lower = wctype("lower");
  wctype_t bit_print = wctype("print");
  wctype_t bit_punct = wctype("punct");
  wctype_t bit_space = wctype("space");
  wctype_t bit_upper = wctype("upper");
  wctype_t bit_xdigit = wctype("xdigit");
  int ch;
  if (wctype("does not exist") != 0) {
    puts("wctype return value != 0 for non existing property");
    result = 1;
  }
  for (ch = 0; ch < 256; ++ch) {
    do {
      if ((isalnum(ch) == 0) != (iswctype(ch, bit_alnum) == 0)) {
        printf("`iswctype' class `%s' test "
               "for character \\%o failed\n",
               "alnum", ch);
        result = 1;
      }
      if ((isalnum(ch) == 0) != (iswalnum(ch) == 0)) {
        printf("`isw%s' test for character \\%o failed\n", "alnum", ch);
        result = 1;
      }
    } while (0);
    do {
      if ((isalpha(ch) == 0) != (iswctype(ch, bit_alpha) == 0)) {
        printf("`iswctype' class `%s' test "
               "for character \\%o failed\n",
               "alpha", ch);
        result = 1;
      }
      if ((isalpha(ch) == 0) != (iswalpha(ch) == 0)) {
        printf("`isw%s' test for character \\%o failed\n", "alpha", ch);
        result = 1;
      }
    } while (0);
    do {
      if ((iscntrl(ch) == 0) != (iswctype(ch, bit_cntrl) == 0)) {
        printf("`iswctype' class `%s' test "
               "for character \\%o failed\n",
               "cntrl", ch);
        result = 1;
      }
      if ((iscntrl(ch) == 0) != (iswcntrl(ch) == 0)) {
        printf("`isw%s' test for character \\%o failed\n", "cntrl", ch);
        result = 1;
      }
    } while (0);
    do {
      if ((isdigit(ch) == 0) != (iswctype(ch, bit_digit) == 0)) {
        printf("`iswctype' class `%s' test "
               "for character \\%o failed\n",
               "digit", ch);
        result = 1;
      }
      if ((isdigit(ch) == 0) != (iswdigit(ch) == 0)) {
        printf("`isw%s' test for character \\%o failed\n", "digit", ch);
        result = 1;
      }
    } while (0);
    do {
      if ((isgraph(ch) == 0) != (iswctype(ch, bit_graph) == 0)) {
        printf("`iswctype' class `%s' test "
               "for character \\%o failed\n",
               "graph", ch);
        result = 1;
      }
      if ((isgraph(ch) == 0) != (iswgraph(ch) == 0)) {
        printf("`isw%s' test for character \\%o failed\n", "graph", ch);
        result = 1;
      }
    } while (0);
    do {
      if ((islower(ch) == 0) != (iswctype(ch, bit_lower) == 0)) {
        printf("`iswctype' class `%s' test "
               "for character \\%o failed\n",
               "lower", ch);
        result = 1;
      }
      if ((islower(ch) == 0) != (iswlower(ch) == 0)) {
        printf("`isw%s' test for character \\%o failed\n", "lower", ch);
        result = 1;
      }
    } while (0);
    do {
      if ((isprint(ch) == 0) != (iswctype(ch, bit_print) == 0)) {
        printf("`iswctype' class `%s' test "
               "for character \\%o failed\n",
               "print", ch);
        result = 1;
      }
      if ((isprint(ch) == 0) != (iswprint(ch) == 0)) {
        printf("`isw%s' test for character \\%o failed\n", "print", ch);
        result = 1;
      }
    } while (0);
    do {
      if ((ispunct(ch) == 0) != (iswctype(ch, bit_punct) == 0)) {
        printf("`iswctype' class `%s' test "
               "for character \\%o failed\n",
               "punct", ch);
        result = 1;
      }
      if ((ispunct(ch) == 0) != (iswpunct(ch) == 0)) {
        printf("`isw%s' test for character \\%o failed\n", "punct", ch);
        result = 1;
      }
    } while (0);
    do {
      if ((isspace(ch) == 0) != (iswctype(ch, bit_space) == 0)) {
        printf("`iswctype' class `%s' test "
               "for character \\%o failed\n",
               "space", ch);
        result = 1;
      }
      if ((isspace(ch) == 0) != (iswspace(ch) == 0)) {
        printf("`isw%s' test for character \\%o failed\n", "space", ch);
        result = 1;
      }
    } while (0);
    do {
      if ((isupper(ch) == 0) != (iswctype(ch, bit_upper) == 0)) {
        printf("`iswctype' class `%s' test "
               "for character \\%o failed\n",
               "upper", ch);
        result = 1;
      }
      if ((isupper(ch) == 0) != (iswupper(ch) == 0)) {
        printf("`isw%s' test for character \\%o failed\n", "upper", ch);
        result = 1;
      }
    } while (0);
    do {
      if ((isxdigit(ch) == 0) != (iswctype(ch, bit_xdigit) == 0)) {
        printf("`iswctype' class `%s' test "
               "for character \\%o failed\n",
               "xdigit", ch);
        result = 1;
      }
      if ((isxdigit(ch) == 0) != (iswxdigit(ch) == 0)) {
        printf("`isw%s' test for character \\%o failed\n", "xdigit", ch);
        result = 1;
      }
    } while (0);
  }
  if (result == 0)
    puts("All test successful!");
  return result;
}
```