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

```asm
<main>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x20,%rsp
  mov    $0x0,%eax
  call   <__VERIFIER_nondet_int@plt>
  mov    %eax,-0x18(%rbp)
  mov    $0x0,%eax
  call   <__VERIFIER_nondet_int@plt>
  mov    %eax,-0x14(%rbp)
  mov    $0x0,%eax
  call   <__VERIFIER_nondet_int@plt>
  mov    %eax,-0x10(%rbp)
  mov    $0x0,%eax
  call   <__VERIFIER_nondet_long@plt>
  mov    %rax,-0x8(%rbp)
  movl   $0x2112,-0x20(%rbp)
  movl   $0x0,-0x1c(%rbp)
L174:
  cmpl   $0x2140,-0x20(%rbp)
  jg     L293
  cmpl   $0x2,-0x1c(%rbp)
  jg     L476
L293:
  cmpl   $0x2112,-0x20(%rbp)
  je     L308
  cmpl   $0x2130,-0x20(%rbp)
  je     L518
  cmpl   $0x2140,-0x20(%rbp)
  je     L46
  cmpl   $0x2150,-0x20(%rbp)
  je     L160
  cmpl   $0x2160,-0x20(%rbp)
  je     L109
  cmpl   $0x2170,-0x20(%rbp)
  je     L275
  cmpl   $0x2180,-0x20(%rbp)
  je     L367
  cmpl   $0x2190,-0x20(%rbp)
  je     L530
  cmpl   $0x21a0,-0x20(%rbp)
  je     L185
  cmpl   $0x21c0,-0x20(%rbp)
  je     L145
  cmpl   $0x21d0,-0x20(%rbp)
  je     L214
  cmpl   $0x21e0,-0x20(%rbp)
  jne    L332
  jmp    L529
L308:
  nop
  cmpl   $0x0,-0x1c(%rbp)
  jne    L486
  movl   $0x1,-0x1c(%rbp)
L486:
  movl   $0x2130,-0x20(%rbp)
  jmp    L399
L518:
  nop
  cmpl   $0x1,-0x1c(%rbp)
  jne    L187
  movl   $0x2,-0x1c(%rbp)
L187:
  cmpl   $0x0,-0x18(%rbp)
  je     L394
  movl   $0x21d0,-0x20(%rbp)
  jmp    L399
L394:
  movl   $0x2140,-0x20(%rbp)
  jmp    L399
L46:
  nop
  movl   $0x2150,-0x20(%rbp)
  jmp    L399
L160:
  nop
  movl   $0x2160,-0x20(%rbp)
  jmp    L399
L109:
  nop
  cmpl   $0xffffffff,-0x14(%rbp)
  je     L82
  cmpl   $0x0,-0x10(%rbp)
  je     L304
  cmpl   $0xfffffffc,-0x14(%rbp)
  je     L108
  movl   $0x2170,-0x20(%rbp)
  jmp    L399
L304:
  nop
  jmp    L256
L108:
  nop
L256:
  cmpq   $0xffffffffffffff00,-0x8(%rbp)
  je     L384
  cmpl   $0xfffffffe,-0x14(%rbp)
  jne    L302
  movl   $0x2170,-0x20(%rbp)
  jmp    L399
L384:
  nop
  jmp    L327
L302:
  nop
L327:
  movl   $0x2180,-0x20(%rbp)
  jmp    L399
L82:
  movl   $0x2170,-0x20(%rbp)
  jmp    L399
L275:
  nop
  movl   $0x2180,-0x20(%rbp)
  jmp    L399
L367:
  nop
  mov    $0x0,%eax
  call   <__VERIFIER_nondet_int@plt>
  mov    %eax,-0xc(%rbp)
  cmpl   $0x2,-0xc(%rbp)
  jne    L87
  movl   $0x2112,-0x20(%rbp)
  jmp    L399
L87:
  movl   $0x2190,-0x20(%rbp)
  jmp    L399
L530:
  nop
  movl   $0x21a0,-0x20(%rbp)
  jmp    L399
L185:
  nop
  movl   $0x21c0,-0x20(%rbp)
  jmp    L399
L145:
  nop
  cmpl   $0x3,-0x1c(%rbp)
  jne    L317
  movl   $0x4,-0x1c(%rbp)
L317:
  cmpl   $0x0,-0x18(%rbp)
  jne    L517
  movl   $0x21d0,-0x20(%rbp)
  jmp    L399
L214:
  nop
  cmpl   $0x2,-0x1c(%rbp)
  jne    L39
  movl   $0x3,-0x1c(%rbp)
L39:
  movl   $0x21e0,-0x20(%rbp)
  jmp    L399
L529:
  cmpl   $0x4,-0x1c(%rbp)
  jne    L167
  movl   $0x5,-0x1c(%rbp)
  jmp    L519
L167:
  cmpl   $0x5,-0x1c(%rbp)
  je     L360
L519:
  cmpl   $0x0,-0x18(%rbp)
  je     L124
  movl   $0x21c0,-0x20(%rbp)
  nop
L399:
  jmp    L174
L332:
  nop
  jmp    L6
L517:
  nop
  jmp    L6
L124:
  nop
L6:
  mov    $0xffffffff,%eax
  jmp    L411
L476:
  nop
  jmp    L461
L360:
  nop
L461:
  mov    $0x0,%eax
  call   <__VERIFIER_error@plt>
  mov    $0xffffffff,%eax
L411:
  leave
  ret
```

assistant: ```c
int main() {
  int s__state;
  int s__hit = __VERIFIER_nondet_int();
  int s__verify_mode = __VERIFIER_nondet_int();
  int s__session__peer = __VERIFIER_nondet_int();
  unsigned long s__s3__tmp__new_cipher__algorithms = __VERIFIER_nondet_long();
  int buf;
  int cb;
  int blastFlag;
  int tmp___1;
  s__state = 8466;
  blastFlag = 0;
  while (1) {
    if (s__state <= 8512 && blastFlag > 2) {
      goto ERROR;
    }
    {
      {
        {
          {
            {
              if (s__state == 8466) {
                goto switch_1_8466;
              } else {
                if (s__state == 8496) {
                  goto switch_1_8496;
                } else {
                  {
                    if (s__state == 8512) {
                      goto switch_1_8512;
                    } else {
                      {
                        if (s__state == 8528) {
                          goto switch_1_8528;
                        } else {
                          {
                            if (s__state == 8544) {
                              goto switch_1_8544;
                            } else {
                              {
                                if (s__state == 8560) {
                                  goto switch_1_8560;
                                } else {
                                  {
                                    if (s__state == 8576) {
                                      goto switch_1_8576;
                                    } else {
                                      {
                                        if (s__state == 8592) {
                                          goto switch_1_8592;
                                        } else {
                                          {
                                            if (s__state == 8608) {
                                              goto switch_1_8608;
                                            } else {
                                              {
                                                if (s__state == 8640) {
                                                  goto switch_1_8640;
                                                } else {
                                                  {
                                                    if (s__state == 8656) {
                                                      goto switch_1_8656;
                                                    } else {
                                                      {
                                                        if (s__state == 8672) {
                                                          goto switch_1_8672;
                                                        } else {
                                                          goto end;
                                                        switch_1_8466:
                                                          if (blastFlag == 0) {
                                                            blastFlag = 1;
                                                          }
                                                          s__state = 8496;
                                                          goto switch_1_break;
                                                        switch_1_8496:
                                                          if (blastFlag == 1) {
                                                            blastFlag = 2;
                                                          }
                                                          if (s__hit) {
                                                            s__state = 8656;
                                                          } else {
                                                            s__state = 8512;
                                                          }
                                                          goto switch_1_break;
                                                        switch_1_8512:
                                                          s__state = 8528;
                                                          goto switch_1_break;
                                                        switch_1_8528:
                                                          s__state = 8544;
                                                          goto switch_1_break;
                                                        switch_1_8544:
                                                          if (s__verify_mode + 1) {
                                                            if (s__session__peer != 0) {
                                                              if (s__verify_mode + 4) {
                                                                s__state = 8560;
                                                              } else {
                                                                goto _L___2;
                                                              }
                                                            } else {
                                                            _L___2:
                                                              if (s__s3__tmp__new_cipher__algorithms + 256UL) {
                                                                if (s__verify_mode + 2) {
                                                                  goto _L___1;
                                                                } else {
                                                                  s__state = 8560;
                                                                }
                                                              } else {
                                                              _L___1:
                                                                s__state = 8576;
                                                              }
                                                            }
                                                          } else {
                                                            s__state = 8560;
                                                          }
                                                          goto switch_1_break;
                                                        switch_1_8560:
                                                          s__state = 8576;
                                                          goto switch_1_break;
                                                        switch_1_8576:
                                                          tmp___1 = __VERIFIER_nondet_int();
                                                          if (tmp___1 == 2) {
                                                            s__state = 8466;
                                                          } else {
                                                            s__state = 8592;
                                                          }
                                                          goto switch_1_break;
                                                        switch_1_8592:
                                                          s__state = 8608;
                                                          goto switch_1_break;
                                                        switch_1_8608:
                                                          s__state = 8640;
                                                          goto switch_1_break;
                                                        switch_1_8640:
                                                          if (blastFlag == 3) {
                                                            blastFlag = 4;
                                                          }
                                                          if (s__hit) {
                                                            goto end;
                                                          } else {
                                                            s__state = 8656;
                                                          }
                                                          goto switch_1_break;
                                                        switch_1_8656:
                                                          if (blastFlag == 2) {
                                                            blastFlag = 3;
                                                          }
                                                          s__state = 8672;
                                                          goto switch_1_break;
                                                        switch_1_8672:
                                                          if (blastFlag == 4) {
                                                            blastFlag = 5;
                                                          } else {
                                                            if (blastFlag == 5) {
                                                              goto ERROR;
                                                            }
                                                          }
                                                          if (s__hit) {
                                                            s__state = 8640;
                                                          } else {
                                                            goto end;
                                                          }
                                                          goto switch_1_break;
                                                        }
                                                      }
                                                    }
                                                  }
                                                }
                                              }
                                            }
                                          }
                                        }
                                      }
                                    }
                                  }
                                }
                              }
                            }
                          }
                        }
                      }
                    }
                  }
                }
              }
            }
          }
        }
      }
    }
  switch_1_break:;
  }
end:
  return (-1);
ERROR:
  __VERIFIER_error();
  return (-1);
}
```