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

```asm
<asn1_check_tlen>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x70,%rsp
  mov    %rdi,-0x38(%rbp)
  mov    %rsi,-0x40(%rbp)
  mov    %rdx,-0x48(%rbp)
  mov    %rcx,-0x50(%rbp)
  mov    %r8,-0x58(%rbp)
  mov    %r9,-0x60(%rbp)
  mov    0x28(%rbp),%eax
  mov    %al,-0x64(%rbp)
  mov    0x30(%rbp),%rax
  mov    %rax,-0x70(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  mov    -0x60(%rbp),%rax
  mov    (%rax),%rax
  mov    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  mov    %rax,-0x10(%rbp)
  cmpq   $0x0,-0x70(%rbp)
  je     L222
  mov    -0x70(%rbp),%rax
  mov    (%rax),%eax
  test   %eax,%eax
  je     L222
  mov    -0x70(%rbp),%rax
  mov    0x4(%rax),%eax
  mov    %eax,-0x24(%rbp)
  mov    -0x70(%rbp),%rax
  mov    0x8(%rax),%rax
  mov    %rax,-0x20(%rbp)
  mov    -0x70(%rbp),%rax
  mov    0x10(%rax),%eax
  mov    %eax,-0x28(%rbp)
  mov    -0x70(%rbp),%rax
  mov    0x14(%rax),%eax
  mov    %eax,-0x2c(%rbp)
  mov    -0x18(%rbp),%rdx
  mov    -0x70(%rbp),%rax
  mov    0x18(%rax),%eax
  cltq
  add    %rdx,%rax
  mov    %rax,-0x18(%rbp)
  jmp    L205
L222:
  lea    -0x28(%rbp),%rcx
  lea    -0x2c(%rbp),%rdx
  lea    -0x20(%rbp),%rsi
  lea    -0x18(%rbp),%rax
  mov    0x10(%rbp),%r8
  mov    %rax,%rdi
  call   <ASN1_get_object@plt>
  mov    %eax,-0x24(%rbp)
  cmpq   $0x0,-0x70(%rbp)
  je     L205
  mov    -0x70(%rbp),%rax
  mov    -0x24(%rbp),%edx
  mov    %edx,0x4(%rax)
  mov    -0x20(%rbp),%rdx
  mov    -0x70(%rbp),%rax
  mov    %rdx,0x8(%rax)
  mov    -0x28(%rbp),%edx
  mov    -0x70(%rbp),%rax
  mov    %edx,0x10(%rax)
  mov    -0x2c(%rbp),%edx
  mov    -0x70(%rbp),%rax
  mov    %edx,0x14(%rax)
  mov    -0x18(%rbp),%rax
  sub    -0x10(%rbp),%rax
  mov    %eax,%edx
  mov    -0x70(%rbp),%rax
  mov    %edx,0x18(%rax)
  mov    -0x70(%rbp),%rax
  movl   $0x1,(%rax)
  mov    -0x24(%rbp),%eax
  and    $0x81,%eax
  test   %eax,%eax
  jne    L205
  mov    -0x70(%rbp),%rax
  mov    0x18(%rax),%eax
  movslq %eax,%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  cmp    %rax,0x10(%rbp)
  jge    L205
  mov    D63(%rip),%rax
  mov    (%rax),%edx
  mov    D48(%rip),%rax
  mov    (%rax),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <ASN1err@plt>
  cmpq   $0x0,-0x70(%rbp)
  je     L59
  mov    -0x70(%rbp),%rax
  movl   $0x0,(%rax)
L59:
  mov    $0x0,%eax
  jmp    L69
L205:
  mov    -0x24(%rbp),%eax
  and    $0x80,%eax
  test   %eax,%eax
  je     L45
  mov    D52(%rip),%rax
  mov    (%rax),%edx
  mov    D48(%rip),%rax
  mov    (%rax),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <ASN1err@plt>
  cmpq   $0x0,-0x70(%rbp)
  je     L252
  mov    -0x70(%rbp),%rax
  movl   $0x0,(%rax)
L252:
  mov    $0x0,%eax
  jmp    L69
L45:
  cmpl   $0x0,0x18(%rbp)
  js     L96
  mov    -0x2c(%rbp),%eax
  cmp    %eax,0x18(%rbp)
  jne    L254
  mov    -0x28(%rbp),%eax
  cmp    %eax,0x20(%rbp)
  je     L208
L254:
  cmpb   $0x0,-0x64(%rbp)
  je     L190
  mov    $0xffffffff,%eax
  jmp    L69
L190:
  cmpq   $0x0,-0x70(%rbp)
  je     L27
  mov    -0x70(%rbp),%rax
  movl   $0x0,(%rax)
L27:
  mov    D36(%rip),%rax
  mov    (%rax),%edx
  mov    D48(%rip),%rax
  mov    (%rax),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <ASN1err@plt>
  mov    $0x0,%eax
  jmp    L69
L208:
  cmpq   $0x0,-0x70(%rbp)
  je     L96
  mov    -0x70(%rbp),%rax
  movl   $0x0,(%rax)
L96:
  mov    -0x24(%rbp),%eax
  and    $0x1,%eax
  test   %eax,%eax
  je     L209
  mov    -0x18(%rbp),%rax
  sub    -0x10(%rbp),%rax
  mov    %rax,%rdx
  mov    0x10(%rbp),%rax
  sub    %rdx,%rax
  mov    %rax,-0x20(%rbp)
L209:
  cmpq   $0x0,-0x50(%rbp)
  je     L130
  mov    -0x24(%rbp),%eax
  and    $0x1,%eax
  mov    %eax,%edx
  mov    -0x50(%rbp),%rax
  mov    %dl,(%rax)
L130:
  cmpq   $0x0,-0x58(%rbp)
  je     L162
  mov    -0x24(%rbp),%eax
  mov    %eax,%edx
  mov    D37(%rip),%rax
  mov    (%rax),%eax
  and    %eax,%edx
  mov    -0x58(%rbp),%rax
  mov    %dl,(%rax)
L162:
  cmpq   $0x0,-0x38(%rbp)
  je     L6
  mov    -0x20(%rbp),%rdx
  mov    -0x38(%rbp),%rax
  mov    %rdx,(%rax)
L6:
  cmpq   $0x0,-0x48(%rbp)
  je     L63
  mov    -0x28(%rbp),%eax
  mov    %eax,%edx
  mov    -0x48(%rbp),%rax
  mov    %dl,(%rax)
L63:
  cmpq   $0x0,-0x40(%rbp)
  je     L238
  mov    -0x2c(%rbp),%edx
  mov    -0x40(%rbp),%rax
  mov    %edx,(%rax)
L238:
  mov    -0x18(%rbp),%rdx
  mov    -0x60(%rbp),%rax
  mov    %rdx,(%rax)
  mov    $0x1,%eax
L69:
  mov    -0x8(%rbp),%rdx
  sub    %fs:0x28,%rdx
  je     L34
  call   <__stack_chk_fail@plt>
L34:
  leave
  ret
```

assistant: ```c
int asn1_check_tlen(long *olen, int *otag, unsigned char *oclass, char *inf, char *cst, const unsigned char **in, long len, int exptag, int expclass, char opt, ASN1_TLC *ctx) {
  int i;
  int ptag, pclass;
  long plen;
  const unsigned char *p, *q;
  p = *in;
  q = p;
  if (ctx && ctx->valid) {
    i = ctx->ret;
    plen = ctx->plen;
    pclass = ctx->pclass;
    ptag = ctx->ptag;
    p += ctx->hdrlen;
  } else {
    i = ASN1_get_object(&p, &plen, &ptag, &pclass, len);
    if (ctx) {
      ctx->ret = i;
      ctx->plen = plen;
      ctx->pclass = pclass;
      ctx->ptag = ptag;
      ctx->hdrlen = p - q;
      ctx->valid = 1;
      if (!(i & 0x81) && ((plen + ctx->hdrlen) > len)) {
        ASN1err(ASN1_F_ASN1_CHECK_TLEN, ASN1_R_TOO_LONG);
        if (ctx)
          (ctx)->valid = 0;
        return 0;
      }
    }
  }
  if (i & 0x80) {
    ASN1err(ASN1_F_ASN1_CHECK_TLEN, ASN1_R_BAD_OBJECT_HEADER);
    if (ctx)
      (ctx)->valid = 0;
    return 0;
  }
  if (exptag >= 0) {
    if ((exptag != ptag) || (expclass != pclass)) {
      if (opt)
        return -1;
      if (ctx)
        (ctx)->valid = 0;
      ASN1err(ASN1_F_ASN1_CHECK_TLEN, ASN1_R_WRONG_TAG);
      return 0;
    }
    if (ctx)
      (ctx)->valid = 0;
  }
  if (i & 1)
    plen = len - (p - q);
  if (inf)
    *inf = i & 1;
  if (cst)
    *cst = i & V_ASN1_CONSTRUCTED;
  if (olen)
    *olen = plen;
  if (oclass)
    *oclass = pclass;
  if (otag)
    *otag = ptag;
  *in = p;
  return 1;
}
```