user: 请从给定的汇编指令推导出C源代码：

```asm
<haval_cert>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x30,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  mov    $0xa,%edi
  call   <putchar@plt>
  mov    $0x80,%edx
  mov    $0x3,%esi
  lea    D39(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    $0xa,%edi
  call   <putchar@plt>
  lea    D150(%rip),%rax
  mov    %rax,-0x28(%rbp)
  lea    -0x20(%rbp),%rdx
  mov    -0x28(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <haval_string@plt>
  mov    -0x28(%rbp),%rax
  mov    %rax,%rsi
  lea    D31(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    -0x20(%rbp),%rax
  mov    %rax,%rdi
  call   <haval_print@plt>
  mov    $0xa,%edi
  call   <putchar@plt>
  lea    D59(%rip),%rax
  mov    %rax,-0x28(%rbp)
  lea    -0x20(%rbp),%rdx
  mov    -0x28(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <haval_string@plt>
  mov    -0x28(%rbp),%rax
  mov    %rax,%rsi
  lea    D31(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    -0x20(%rbp),%rax
  mov    %rax,%rdi
  call   <haval_print@plt>
  mov    $0xa,%edi
  call   <putchar@plt>
  lea    D73(%rip),%rax
  mov    %rax,-0x28(%rbp)
  lea    -0x20(%rbp),%rdx
  mov    -0x28(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <haval_string@plt>
  mov    -0x28(%rbp),%rax
  mov    %rax,%rsi
  lea    D31(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    -0x20(%rbp),%rax
  mov    %rax,%rdi
  call   <haval_print@plt>
  mov    $0xa,%edi
  call   <putchar@plt>
  lea    D98(%rip),%rax
  mov    %rax,-0x28(%rbp)
  lea    -0x20(%rbp),%rdx
  mov    -0x28(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <haval_string@plt>
  mov    -0x28(%rbp),%rax
  mov    %rax,%rsi
  lea    D31(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    -0x20(%rbp),%rax
  mov    %rax,%rdi
  call   <haval_print@plt>
  mov    $0xa,%edi
  call   <putchar@plt>
  lea    D53(%rip),%rax
  mov    %rax,-0x28(%rbp)
  lea    -0x20(%rbp),%rdx
  mov    -0x28(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <haval_string@plt>
  mov    -0x28(%rbp),%rax
  mov    %rax,%rsi
  lea    D31(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    -0x20(%rbp),%rax
  mov    %rax,%rdi
  call   <haval_print@plt>
  mov    $0xa,%edi
  call   <putchar@plt>
  lea    D37(%rip),%rax
  mov    %rax,-0x28(%rbp)
  lea    -0x20(%rbp),%rdx
  mov    -0x28(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <haval_string@plt>
  mov    -0x28(%rbp),%rax
  mov    %rax,%rsi
  lea    D84(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    -0x20(%rbp),%rax
  mov    %rax,%rdi
  call   <haval_print@plt>
  mov    $0xa,%edi
  call   <putchar@plt>
  lea    D66(%rip),%rax
  mov    %rax,-0x28(%rbp)
  lea    -0x20(%rbp),%rdx
  mov    -0x28(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <haval_file@plt>
  test   %rax,%rax
  je     L18
  mov    -0x28(%rbp),%rax
  mov    %rax,%rsi
  lea    D151(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L1
L18:
  mov    -0x28(%rbp),%rax
  mov    %rax,%rsi
  lea    D45(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    -0x20(%rbp),%rax
  mov    %rax,%rdi
  call   <haval_print@plt>
  mov    $0xa,%edi
  call   <putchar@plt>
L1:
  nop
  mov    -0x8(%rbp),%rax
  sub    %fs:0x28,%rax
  je     L12
  call   <__stack_chk_fail@plt>
L12:
  leave
  ret
```

tool_calls: name: read_data
arguments: label: D39
datatype: string
name: read_data
arguments: label: D150
datatype: string
name: read_data
arguments: label: D31
datatype: string
name: read_data
arguments: label: D59
datatype: string
name: read_data
arguments: label: D73
datatype: string
name: read_data
arguments: label: D98
datatype: string
name: read_data
arguments: label: D53
datatype: string
name: read_data
arguments: label: D37
datatype: string
name: read_data
arguments: label: D84
datatype: string
name: read_data
arguments: label: D66
datatype: string
name: read_data
arguments: label: D151
datatype: string
name: read_data
arguments: label: D45
datatype: string

tool: D39: HAVAL certification data (PASS=%d, FPTLEN=%d):

tool: 

tool: D31: HAVAL("%s") = 

tool: D59: a

tool: D73: HAVAL

tool: D98: 0123456789

tool: D53: abcdefghijklmnopqrstuvwxyz

tool: D37: ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789

tool: D84: HAVAL("%s")
      = 

tool: D66: pi.frac

tool: D151: %s can not be opened !


tool: D45: HAVAL(File %s) = 

assistant: ```c
void haval_cert(void) {
  unsigned int i;
  char *str;
  unsigned char fingerprint[128 >> 3];
  printf("\n");
  printf("HAVAL certification data (PASS=%d, FPTLEN=%d):", 3, 128);
  printf("\n");
  str = "";
  haval_string(str, fingerprint);
  printf("HAVAL(\"%s\") = ", str);
  haval_print(fingerprint);
  printf("\n");
  str = "a";
  haval_string(str, fingerprint);
  printf("HAVAL(\"%s\") = ", str);
  haval_print(fingerprint);
  printf("\n");
  str = "HAVAL";
  haval_string(str, fingerprint);
  printf("HAVAL(\"%s\") = ", str);
  haval_print(fingerprint);
  printf("\n");
  str = "0123456789";
  haval_string(str, fingerprint);
  printf("HAVAL(\"%s\") = ", str);
  haval_print(fingerprint);
  printf("\n");
  str = "abcdefghijklmnopqrstuvwxyz";
  haval_string(str, fingerprint);
  printf("HAVAL(\"%s\") = ", str);
  haval_print(fingerprint);
  printf("\n");
  str = "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789";
  haval_string(str, fingerprint);
  printf("HAVAL(\"%s\")\n      = ", str);
  haval_print(fingerprint);
  printf("\n");
  str = "pi.frac";
  if (haval_file(str, fingerprint)) {
    printf("%s can not be opened !\n", str);
  } else {
    printf("HAVAL(File %s) = ", str);
    haval_print(fingerprint);
    printf("\n");
  }
}
```