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

```asm
<tlsext_cb>:
  endbr64
  push   %r12
  push   %rbp
  push   %rbx
  mov    %edx,%eax
  mov    %rcx,%r12
  mov    %r8d,%ebp
  mov    %r9,%rbx
  lea    -0x80(%rdx),%edx
  cmp    $0x13,%edx
  ja     L86
  mov    %edx,%edx
  lea    D181(%rip),%rcx
  movslq (%rcx,%rdx,4),%rdx
  add    %rcx,%rdx
  notrack jmp *%rdx
  lea    D222(%rip),%rdi
L115:
  test   %esi,%esi
  lea    D207(%rip),%rdx
  lea    D171(%rip),%rcx
  cmove  %rcx,%rdx
  mov    %ebp,%r9d
  mov    %eax,%r8d
  mov    %rdi,%rcx
  lea    D3(%rip),%rsi
  mov    %rbx,%rdi
  call   <BIO_printf@plt>
  mov    %ebp,%edx
  mov    %r12,%rsi
  mov    %rbx,%rdi
  call   <BIO_dump@plt>
  mov    %rbx,%rdi
  call   <BIO_flush@plt>
  pop    %rbx
  pop    %rbp
  pop    %r12
  ret
  lea    D41(%rip),%rdi
  jmp    L115
  lea    D173(%rip),%rdi
  jmp    L115
  lea    D172(%rip),%rdi
  jmp    L115
  lea    D83(%rip),%rdi
  jmp    L115
  lea    D145(%rip),%rdi
  jmp    L115
  lea    D55(%rip),%rdi
  jmp    L115
  lea    D69(%rip),%rdi
  jmp    L115
  lea    D10(%rip),%rdi
  jmp    L115
  lea    D238(%rip),%rdi
  jmp    L115
  lea    D187(%rip),%rdi
  jmp    L115
  lea    D86(%rip),%rdi
  jmp    L115
  lea    D37(%rip),%rdi
  jmp    L115
  lea    D35(%rip),%rdi
  jmp    L115
  lea    D128(%rip),%rdi
  jmp    L115
  lea    D88(%rip),%rdi
  jmp    L115
  lea    D34(%rip),%rdi
  jmp    L115
  lea    D112(%rip),%rdi
  jmp    L115
  lea    D193(%rip),%rdi
  jmp    L115
L86:
  lea    D245(%rip),%rdi
  jmp    L115
  lea    D210(%rip),%rdi
  jmp    L115
```

tool_calls: name: read_data
arguments: label: D222
type: string
name: read_data
arguments: label: D207
type: string
name: read_data
arguments: label: D171
type: string
name: read_data
arguments: label: D3
type: string
name: read_data
arguments: label: D41
type: string
name: read_data
arguments: label: D173
type: string
name: read_data
arguments: label: D172
type: string
name: read_data
arguments: label: D83
type: string
name: read_data
arguments: label: D145
type: string
name: read_data
arguments: label: D55
type: string
name: read_data
arguments: label: D69
type: string
name: read_data
arguments: label: D10
type: string
name: read_data
arguments: label: D238
type: string
name: read_data
arguments: label: D187
type: string
name: read_data
arguments: label: D86
type: string
name: read_data
arguments: label: D37
type: string
name: read_data
arguments: label: D35
type: string
name: read_data
arguments: label: D128
type: string
name: read_data
arguments: label: D88
type: string
name: read_data
arguments: label: D34
type: string
name: read_data
arguments: label: D112
type: string
name: read_data
arguments: label: D193
type: string
name: read_data
arguments: label: D245
type: string
name: read_data
arguments: label: D210
type: string

tool: D222: max fragment length

tool: D207: server

tool: D171: client

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


tool: D41: client certificate URL

tool: D173: trusted CA keys

tool: D172: truncated HMAC

tool: D83: status request

tool: D145: user mapping

tool: D55: client authz

tool: D69: server authz

tool: D10: cert type

tool: D238: elliptic curves

tool: D187: EC point formats

tool: D86: SRP

tool: D37: signature algorithms

tool: D35: use SRTP

tool: D128: heartbeat

tool: D88: session ticket

tool: D34: renegotiation info

tool: D112: application layer protocol negotiation

tool: D193: TLS padding

tool: D245: unknown

tool: D210: server name

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;
  case TLSEXT_TYPE_application_layer_protocol_negotiation:
    extname = "application layer protocol negotiation";
    break;
  case TLSEXT_TYPE_padding:
    extname = "TLS padding";
    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);
}
```