user: Translate the below assembly code into C programming language:

```asm
<is_predicate>:
  endbr64
  push   %r15
  push   %r14
  mov    %edi,%r14d
  push   %r13
  mov    $0x7d,%r13d
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x228,%rsp
  mov    %edi,0x8(%rsp)
  mov    %fs:0x28,%rax
  mov    %rax,0x218(%rsp)
  xor    %eax,%eax
  mov    %edi,%eax
  cmp    $0x7b,%eax
  mov    $0x29,%eax
  cmove  %r13d,%eax
  xor    %edi,%edi
  mov    %eax,%ebx
  mov    %al,0x7(%rsp)
  call   <tl_peek@plt>
  cmp    %al,%bl
  je     L267
  cmp    $0xff,%al
  je     L267
  mov    %eax,%r15d
  xor    %r12d,%r12d
  mov    $0x1,%ebx
  jmp    L312
L249:
  mov    %ebx,%edi
  call   <tl_peek@plt>
  mov    %rax,%r13
  mov    %eax,%r8d
  lea    -0x55(%r15),%eax
  cmp    $0x1,%al
  jbe    L217
  cmp    $0x58,%r15b
  je     L217
L87:
  cmp    $0x3e,%r13d
  sete   %sil
  cmp    $0x2d,%r13d
  sete   %al
  or     %sil,%al
  je     L302
  cmp    $0x3c,%r15b
  je     L223
L302:
  cmp    $0x2d,%r15b
  jne    L27
  test   %sil,%sil
  jne    L223
L27:
  cmp    $0x5b,%r15b
  jne    L226
  cmp    $0x5d,%r13d
  je     L223
L226:
  mov    %ebx,%r13d
  mov    %r15d,%r14d
  cmp    0x8(%rsp),%ebp
  je     L121
L156:
  xor    %eax,%eax
  cmp    %r15b,0x7(%rsp)
  sete   %al
  sub    %eax,%r12d
L273:
  mov    %r13d,%edi
  lea    0x1(%r13),%ebx
  call   <tl_peek@plt>
  mov    %eax,%r15d
  cmp    %al,0x7(%rsp)
  jne    L88
  test   %r12d,%r12d
  jle    L267
L88:
  cmp    $0xff,%al
  je     L267
  cmp    $0x7fe,%ebx
  jg     L267
L312:
  movsbl %r15b,%ebp
  mov    %ebp,%edi
  call   <islower@plt>
  test   %rax,%rax
  je     L249
  mov    %r15b,0x10(%rsp)
  mov    %ebx,%r13d
  lea    0x10(%rsp),%rbp
  mov    $0x1,%r15d
  jmp    L295
  nopl   0x0(%rax,%rax,1)
L166:
  mov    %r14b,0x0(%rbp,%r15,1)
  add    $0x1,%r15
  add    $0x1,%r13d
  cmp    $0x200,%r15
  je     L63
L295:
  mov    %r13d,%edi
  movslq %r15d,%rbx
  call   <tl_peek@plt>
  movsbl %al,%edi
  mov    %rax,%r14
  call   <isalnum@plt>
  test   %rax,%rax
  jne    L166
L266:
  lea    D57(%rip),%rsi
  mov    %rbp,%rdi
  movb   $0x0,0x10(%rsp,%rbx,1)
  call   <strcmp@plt>
  test   %rax,%rax
  je     L223
  lea    D19(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  je     L223
  lea    D29(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  je     L223
  lea    D0(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  je     L223
  lea    D49(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  je     L223
  mov    0x8(%rsp),%eax
  xor    %r14d,%r14d
  test   %eax,%eax
  jne    L273
  mov    %r13d,%ebx
  xor    %r15d,%r15d
L121:
  add    $0x1,%r12d
  mov    %ebx,%r13d
  mov    %r15d,%r14d
  jmp    L156
  xchg   %ax,%ax
L217:
  movsbl %r14b,%edi
  mov    %r8d,0xc(%rsp)
  call   <isalnum_@plt>
  test   %eax,%eax
  jne    L87
  cmp    $0xffffffff,%r13d
  je     L223
  mov    0xc(%rsp),%edi
  call   <isalnum_@plt>
  test   %eax,%eax
  jne    L87
  nopl   (%rax)
L223:
  xor    %eax,%eax
L37:
  mov    0x218(%rsp),%rdx
  sub    %fs:0x28,%rdx
  jne    L108
  add    $0x228,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopw   0x0(%rax,%rax,1)
L63:
  mov    %rbp,%rsi
  lea    D55(%rip),%rdi
  mov    $0x200,%ebx
  movb   $0x0,0x20f(%rsp)
  call   <fatal@plt>
  jmp    L266
L267:
  mov    $0x1,%eax
  jmp    L37
L108:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: retrieve_data
arguments: tag: D57
data_type: string
name: retrieve_data
arguments: tag: D19
data_type: string
name: retrieve_data
arguments: tag: D29
data_type: string
name: retrieve_data
arguments: tag: D0
data_type: string
name: retrieve_data
arguments: tag: D49
data_type: string
name: retrieve_data
arguments: tag: D55
data_type: string

tool: D57: always

tool: D19: equivalent

tool: D29: eventually

tool: D0: until

tool: D49: next

tool: D55: name '%s' in ltl formula too long

assistant: ```c
int is_predicate(int z) {
  char c, c_prev = z;
  char want = (z == '{') ? '}' : ')';
  int i = 0, j, nesting = 0;
  char peek_buf[512];
  c = tl_peek(i++);
  while ((c != want || nesting > 0) && c != -1 && i < 2047) {
    if (islower((int)c)) {
      peek_buf[0] = c;
      j = 1;
      while (j < (int)sizeof(peek_buf) && isalnum((int)(c = tl_peek(i)))) {
        peek_buf[j++] = c;
        i++;
      }
      c = 0;
      if (j >= (int)sizeof(peek_buf)) {
        peek_buf[j - 1] = '\0';
        fatal("name '%s' in ltl formula too long", peek_buf);
      }
      peek_buf[j] = '\0';
      if (strcmp(peek_buf, "always") == 0 || strcmp(peek_buf, "equivalent") == 0 || strcmp(peek_buf, "eventually") == 0 || strcmp(peek_buf, "until") == 0 || strcmp(peek_buf, "next") == 0) {
        return 0;
      }
    } else {
      int c_nxt = tl_peek(i);
      if (((c == 'U' || c == 'V' || c == 'X') && !isalnum_(c_prev) && (c_nxt == -1 || !isalnum_(c_nxt))) || (c == '<' && c_nxt == '>') || (c == '<' && c_nxt == '-') || (c == '-' && c_nxt == '>') || (c == '[' && c_nxt == ']')) {
        return 0;
      }
    }
    if (c == z) {
      nesting++;
    }
    if (c == want) {
      nesting--;
    }
    c_prev = c;
    c = tl_peek(i++);
  }
  return 1;
}
```