user: 请将以下的汇编代码转换成C语言代码：

```asm
<main>:
  endbr64
  cmp    $0x1,%edi
  jle    L35
  push   %rbp
  push   %rbx
  mov    %rsi,%rbx
  sub    $0x8,%rsp
  mov    0x8(%rsi),%rdi
  call   <strlen@plt>
  cmp    $0x15,%eax
  jle    L48
  mov    0x8(%rbx),%rax
  xor    %esi,%esi
  mov    $0x8,%edi
  movzbl (%rax),%ebp
  call   <get_char@plt>
  cmp    %al,%bpl
  jne    L42
  mov    0x8(%rbx),%rax
  mov    $0x20,%esi
  mov    $0xd,%edi
  movzbl 0x1(%rax),%ebp
  call   <get_char@plt>
  cmp    %al,%bpl
  jne    L42
  mov    0x8(%rbx),%rax
  xor    %esi,%esi
  mov    $0x12,%edi
  movzbl 0x2(%rax),%ebp
  call   <get_char@plt>
  cmp    %al,%bpl
  jne    L42
  mov    0x8(%rbx),%rax
  xor    %esi,%esi
  mov    $0x21,%edi
  movzbl 0x3(%rax),%ebp
  call   <get_char@plt>
  cmp    %al,%bpl
  jne    L42
  mov    0x8(%rbx),%rax
  mov    $0x20,%esi
  mov    $0x11,%edi
  movzbl 0x4(%rax),%ebp
  call   <get_char@plt>
  cmp    %al,%bpl
  jne    L42
  mov    0x8(%rbx),%rax
  mov    $0x20,%esi
  mov    $0x14,%edi
  movzbl 0x5(%rax),%ebp
  call   <get_char@plt>
  cmp    %al,%bpl
  jne    L42
  mov    0x8(%rbx),%rax
  mov    $0x20,%esi
  mov    $0x2,%edi
  movzbl 0x6(%rax),%ebp
  call   <get_char@plt>
  cmp    %al,%bpl
  jne    L42
  mov    0x8(%rbx),%rax
  mov    $0x20,%esi
  mov    $0x13,%edi
  movzbl 0x7(%rax),%ebp
  call   <get_char@plt>
  cmp    %al,%bpl
  jne    L42
  mov    0x8(%rbx),%rax
  xor    %esi,%esi
  mov    $0x8,%edi
  movzbl 0x8(%rax),%ebp
  call   <get_char@plt>
  cmp    %al,%bpl
  jne    L42
  mov    0x8(%rbx),%rax
  xor    %esi,%esi
  mov    $0x1a,%edi
  movzbl 0x9(%rax),%ebp
  call   <get_char@plt>
  cmp    %al,%bpl
  jne    L42
  mov    0x8(%rbx),%rax
  mov    $0x20,%esi
  mov    $0xd,%edi
  movzbl 0xa(%rax),%ebp
  call   <get_char@plt>
  cmp    %al,%bpl
  jne    L42
  mov    0x8(%rbx),%rax
  xor    %esi,%esi
  mov    $0x2,%edi
  movzbl 0xb(%rax),%ebp
  call   <get_char@plt>
  cmp    %al,%bpl
  jne    L42
  mov    0x8(%rbx),%rax
  mov    $0x20,%esi
  mov    $0xe,%edi
  movzbl 0xc(%rax),%ebp
  call   <get_char@plt>
  cmp    %al,%bpl
  jne    L42
  mov    0x8(%rbx),%rax
  mov    $0x20,%esi
  mov    $0x14,%edi
  movzbl 0xd(%rax),%ebp
  call   <get_char@plt>
  cmp    %al,%bpl
  jne    L42
  mov    0x8(%rbx),%rax
  mov    $0x20,%esi
  mov    $0xd,%edi
  movzbl 0xe(%rax),%ebp
  call   <get_char@plt>
  cmp    %al,%bpl
  jne    L42
  mov    0x8(%rbx),%rax
  xor    %esi,%esi
  mov    $0x13,%edi
  movzbl 0xf(%rax),%ebp
  call   <get_char@plt>
  cmp    %al,%bpl
  jne    L42
  mov    0x8(%rbx),%rax
  mov    $0x20,%esi
  mov    $0x8,%edi
  movzbl 0x10(%rax),%ebp
  call   <get_char@plt>
  cmp    %al,%bpl
  jne    L42
  mov    0x8(%rbx),%rax
  xor    %esi,%esi
  mov    $0xd,%edi
  movzbl 0x11(%rax),%ebp
  call   <get_char@plt>
  cmp    %al,%bpl
  jne    L42
  mov    0x8(%rbx),%rax
  xor    %esi,%esi
  mov    $0x20,%edi
  movzbl 0x12(%rax),%ebp
  call   <get_char@plt>
  cmp    %al,%bpl
  jne    L42
  mov    0x8(%rbx),%rax
  xor    %esi,%esi
  mov    $0x11,%edi
  movzbl 0x13(%rax),%ebp
  call   <get_char@plt>
  cmp    %al,%bpl
  jne    L42
  mov    0x8(%rbx),%rax
  mov    $0x20,%esi
  mov    $0x14,%edi
  movzbl 0x14(%rax),%ebp
  call   <get_char@plt>
  cmp    %al,%bpl
  jne    L42
  mov    0x8(%rbx),%rax
  mov    $0x20,%esi
  mov    $0xb,%edi
  movzbl 0x15(%rax),%ebp
  call   <get_char@plt>
  cmp    %al,%bpl
  jne    L42
  mov    0x8(%rbx),%rax
  mov    $0x20,%esi
  mov    $0x19,%edi
  movzbl 0x16(%rax),%ebp
  call   <get_char@plt>
  cmp    %al,%bpl
  jne    L42
  lea    D6(%rip),%rdi
  call   <puts@plt>
  mov    0x8(%rbx),%rsi
  lea    D14(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  xor    %eax,%eax
  jmp    L56
L42:
  or     $0xffffffff,%eax
L56:
  add    $0x8,%rsp
  pop    %rbx
  pop    %rbp
  ret
L48:
  mov    $0xfffffffe,%eax
  jmp    L56
L35:
  or     $0xffffffff,%eax
  ret
```

tool_calls: name: extract_symbolic_data
arguments: label: D6
type_guessed: string
name: extract_symbolic_data
arguments: label: D14
type_guessed: string

tool: D6: Congrats!

tool: D14: The flag is %s


assistant: ```c
int main(int argc, char **argv) {
  if (argc < 2)
    return -1;
  if (strlen(argv[1]) >= 22) {
    int i = 0;
    if (argv[1][i++] != get_char(8, 0))
      return -1;
    if (argv[1][i++] != get_char(13, 32))
      return -1;
    if (argv[1][i++] != get_char(18, 0))
      return -1;
    if (argv[1][i++] != get_char(33, 0))
      return -1;
    if (argv[1][i++] != get_char(17, 32))
      return -1;
    if (argv[1][i++] != get_char(20, 32))
      return -1;
    if (argv[1][i++] != get_char(2, 32))
      return -1;
    if (argv[1][i++] != get_char(19, 32))
      return -1;
    if (argv[1][i++] != get_char(8, 0))
      return -1;
    if (argv[1][i++] != get_char(26, 0))
      return -1;
    if (argv[1][i++] != get_char(13, 32))
      return -1;
    if (argv[1][i++] != get_char(2, 0))
      return -1;
    if (argv[1][i++] != get_char(14, 32))
      return -1;
    if (argv[1][i++] != get_char(20, 32))
      return -1;
    if (argv[1][i++] != get_char(13, 32))
      return -1;
    if (argv[1][i++] != get_char(19, 0))
      return -1;
    if (argv[1][i++] != get_char(8, 32))
      return -1;
    if (argv[1][i++] != get_char(13, 0))
      return -1;
    if (argv[1][i++] != get_char(32, 0))
      return -1;
    if (argv[1][i++] != get_char(17, 0))
      return -1;
    if (argv[1][i++] != get_char(20, 32))
      return -1;
    if (argv[1][i++] != get_char(11, 32))
      return -1;
    if (argv[1][i++] != get_char(25, 32))
      return -1;
    printf("Congrats!\n");
    printf("The flag is %s\n", argv[1]);
    return 0;
  }
  return -2;
}
```