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

```asm
<tlsext_cb>:
  endbr64
  mov    %edx,%eax
  add    $0xffffff80,%edx
  push   %r13
  mov    %rcx,%r13
  push   %r12
  mov    %r8d,%r12d
  push   %rbp
  mov    %r9,%rbp
  cmp    $0x11,%edx
  ja     L131
  lea    D124(%rip),%rcx
  movslq (%rcx,%rdx,4),%rdx
  add    %rcx,%rdx
  notrack jmp *%rdx
  nopl   0x0(%rax)
  lea    D33(%rip),%r10
L167:
  test   %esi,%esi
  lea    D191(%rip),%rcx
  mov    %r12d,%r9d
  mov    %rbp,%rdi
  lea    D30(%rip),%rdx
  mov    %eax,%r8d
  lea    D123(%rip),%rsi
  cmove  %rcx,%rdx
  mov    %r10,%rcx
  call   <BIO_printf@plt>
  mov    %rbp,%rdi
  mov    %r12d,%edx
  mov    %r13,%rsi
  call   <BIO_dump@plt>
  mov    %rbp,%rdi
  pop    %rbp
  pop    %r12
  pop    %r13
  jmp    1090 <BIO_flush@plt>
  cs nopw 0x0(%rax,%rax,1)
  lea    D86(%rip),%r10
  jmp    L167
  nopl   0x0(%rax)
  lea    D108(%rip),%r10
  jmp    L167
  nopl   0x0(%rax)
  lea    D113(%rip),%r10
  jmp    L167
  nopl   0x0(%rax)
  lea    D168(%rip),%r10
  jmp    L167
  nopl   0x0(%rax)
  lea    D73(%rip),%r10
  jmp    L167
  nopl   0x0(%rax)
  lea    D207(%rip),%r10
  jmp    L167
  nopl   0x0(%rax)
  lea    D84(%rip),%r10
  jmp    L167
  nopl   0x0(%rax)
  lea    D150(%rip),%r10
  jmp    L167
  nopl   0x0(%rax)
  lea    D132(%rip),%r10
  jmp    L167
  nopl   0x0(%rax)
  lea    D210(%rip),%r10
  jmp    L167
  nopl   0x0(%rax)
  lea    D149(%rip),%r10
  jmp    L167
  nopl   0x0(%rax)
  lea    D56(%rip),%r10
  jmp    L167
  nopl   0x0(%rax)
  lea    D225(%rip),%r10
  jmp    L167
  nopl   0x0(%rax)
  lea    D148(%rip),%r10
  jmp    L167
  nopl   0x0(%rax)
  lea    D211(%rip),%r10
  jmp    L167
  nopl   0x0(%rax)
  lea    D151(%rip),%r10
  jmp    L167
  nopl   0x0(%rax)
  lea    D77(%rip),%r10
  jmp    L167
L131:
  lea    D52(%rip),%r10
  jmp    L167
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D33
type: string
name: extract_symbolic_data
arguments: data_tag: D191
type: string
name: extract_symbolic_data
arguments: data_tag: D30
type: string
name: extract_symbolic_data
arguments: data_tag: D123
type: string
name: extract_symbolic_data
arguments: data_tag: D86
type: string
name: extract_symbolic_data
arguments: data_tag: D108
type: string
name: extract_symbolic_data
arguments: data_tag: D113
type: string
name: extract_symbolic_data
arguments: data_tag: D168
type: string
name: extract_symbolic_data
arguments: data_tag: D73
type: string
name: extract_symbolic_data
arguments: data_tag: D207
type: string
name: extract_symbolic_data
arguments: data_tag: D84
type: string
name: extract_symbolic_data
arguments: data_tag: D150
type: string
name: extract_symbolic_data
arguments: data_tag: D132
type: string
name: extract_symbolic_data
arguments: data_tag: D210
type: string
name: extract_symbolic_data
arguments: data_tag: D149
type: string
name: extract_symbolic_data
arguments: data_tag: D56
type: string
name: extract_symbolic_data
arguments: data_tag: D225
type: string
name: extract_symbolic_data
arguments: data_tag: D148
type: string
name: extract_symbolic_data
arguments: data_tag: D211
type: string
name: extract_symbolic_data
arguments: data_tag: D151
type: string
name: extract_symbolic_data
arguments: data_tag: D77
type: string
name: extract_symbolic_data
arguments: data_tag: D52
type: string

tool: D33: max fragment length

tool: D191: client

tool: D30: server

tool: D123: TLS %s extension "%s" (id=%d), len=%d


tool: D86: server name

tool: D108: session ticket

tool: D113: heartbeat

tool: D168: server authz

tool: D73: renegotiation info

tool: D207: truncated HMAC

tool: D84: status request

tool: D150: SRP

tool: D132: signature algorithms

tool: D210: elliptic curves

tool: D149: EC point formats

tool: D56: client certificate URL

tool: D225: client authz

tool: D148: cert type

tool: D211: user mapping

tool: D151: use SRTP

tool: D77: trusted CA keys

tool: D52: unknown

assistant: ```c
void tlsext_cb(SSL *s, int client_server, int type, unsigned char *data, int len, void *arg) {
  BIO *bio = arg;
  char *extname;
  switch (type) {
  case TLSEXT_TYPE_server_name:
    extname = "server name";
    break;
  case TLSEXT_TYPE_max_fragment_length:
    extname = "max fragment length";
    break;
  case TLSEXT_TYPE_client_certificate_url:
    extname = "client certificate URL";
    break;
  case TLSEXT_TYPE_trusted_ca_keys:
    extname = "trusted CA keys";
    break;
  case TLSEXT_TYPE_truncated_hmac:
    extname = "truncated HMAC";
    break;
  case TLSEXT_TYPE_status_request:
    extname = "status request";
    break;
  case TLSEXT_TYPE_user_mapping:
    extname = "user mapping";
    break;
  case TLSEXT_TYPE_client_authz:
    extname = "client authz";
    break;
  case TLSEXT_TYPE_server_authz:
    extname = "server authz";
    break;
  case TLSEXT_TYPE_cert_type:
    extname = "cert type";
    break;
  case TLSEXT_TYPE_elliptic_curves:
    extname = "elliptic curves";
    break;
  case TLSEXT_TYPE_ec_point_formats:
    extname = "EC point formats";
    break;
  case TLSEXT_TYPE_srp:
    extname = "SRP";
    break;
  case TLSEXT_TYPE_signature_algorithms:
    extname = "signature algorithms";
    break;
  case TLSEXT_TYPE_use_srtp:
    extname = "use SRTP";
    break;
  case TLSEXT_TYPE_heartbeat:
    extname = "heartbeat";
    break;
  case TLSEXT_TYPE_session_ticket:
    extname = "session ticket";
    break;
  case TLSEXT_TYPE_renegotiate:
    extname = "renegotiation info";
    break;
  default:
    extname = "unknown";
    break;
  }
  BIO_printf(bio, "TLS %s extension \"%s\" (id=%d), len=%d\n", client_server ? "server" : "client", extname, type, len);
  BIO_dump(bio, (char *)data, len);
  (void)BIO_flush(bio);
}
```