user: What is the c source code of the assembly code below:

```asm
<Help>:
  endbr64
  sub    $0x8,%rsp
  lea    D147(%rip),%rdi
  call   <printf@plt>
  lea    D40(%rip),%rdi
  call   <printf@plt>
  lea    D52(%rip),%rdi
  call   <printf@plt>
  lea    D113(%rip),%rdi
  call   <printf@plt>
  lea    D3(%rip),%rdi
  call   <printf@plt>
  lea    D31(%rip),%rdi
  call   <printf@plt>
  lea    D115(%rip),%rdi
  call   <printf@plt>
  lea    D124(%rip),%rdi
  call   <printf@plt>
  lea    D135(%rip),%rdi
  call   <printf@plt>
  lea    D79(%rip),%rdi
  call   <printf@plt>
  lea    D11(%rip),%rdi
  call   <printf@plt>
  lea    D49(%rip),%rdi
  call   <printf@plt>
  lea    D68(%rip),%rdi
  call   <printf@plt>
  lea    D20(%rip),%rdi
  call   <printf@plt>
  lea    D44(%rip),%rdi
  call   <printf@plt>
  lea    D139(%rip),%rdi
  call   <printf@plt>
  lea    D141(%rip),%rdi
  add    $0x8,%rsp
  jmp    1050 <printf@plt>
```

tool_calls: name: extract_symbolic_data
arguments: tag: D147
type_infered: string
name: extract_symbolic_data
arguments: tag: D40
type_infered: string
name: extract_symbolic_data
arguments: tag: D52
type_infered: string
name: extract_symbolic_data
arguments: tag: D113
type_infered: string
name: extract_symbolic_data
arguments: tag: D3
type_infered: string
name: extract_symbolic_data
arguments: tag: D31
type_infered: string
name: extract_symbolic_data
arguments: tag: D115
type_infered: string
name: extract_symbolic_data
arguments: tag: D124
type_infered: string
name: extract_symbolic_data
arguments: tag: D135
type_infered: string
name: extract_symbolic_data
arguments: tag: D79
type_infered: string
name: extract_symbolic_data
arguments: tag: D11
type_infered: string
name: extract_symbolic_data
arguments: tag: D49
type_infered: string
name: extract_symbolic_data
arguments: tag: D68
type_infered: string
name: extract_symbolic_data
arguments: tag: D20
type_infered: string
name: extract_symbolic_data
arguments: tag: D44
type_infered: string
name: extract_symbolic_data
arguments: tag: D139
type_infered: string
name: extract_symbolic_data
arguments: tag: D141
type_infered: string

tool: D147: 
  __________ Register Tool Usage ___________ 


tool: D40: /--------------------------------------------\


tool: D52: |      sr    [value]      get/set sr.        |


tool: D113: |      srb   [value]      get/set srb.       |


tool: D3: |      cr    [value]      get/set cr.        |


tool: D31: |      crb   [value]      get/set crb.       |


tool: D115: |      pmu   [value]      get/set pmu.       |


tool: D124: |      mmio  [value]      get/set mmio.      |


tool: D135: |      gpio  [value]      get/set gpio.      |


tool: D79: |      dump  fileName     dump regs to file. |


tool: D11: |      ld    fileName     load dumped file.  |


tool: D49: |      diff  f-A f-B      diff 2 dumped file.|


tool: D68: |      ldd   a/b[l/r]     [ldda/lddb]        |


tool: D20: |            load diff a/b or left/right.    |


tool: D44: |      q                  quit.              |


tool: D139: \--------------------------------------------/



tool: D141: Note: if backspace Not work well, please use Del.


assistant: ```c
void Help() {
  printf("\n  __________ Register Tool Usage ___________ \n");
  printf("/--------------------------------------------\\\n");
  printf("|      sr    [value]      get/set sr.        |\n");
  printf("|      srb   [value]      get/set srb.       |\n");
  printf("|      cr    [value]      get/set cr.        |\n");
  printf("|      crb   [value]      get/set crb.       |\n");
  printf("|      pmu   [value]      get/set pmu.       |\n");
  printf("|      mmio  [value]      get/set mmio.      |\n");
  printf("|      gpio  [value]      get/set gpio.      |\n");
  printf("|      dump  fileName     dump regs to file. |\n");
  printf("|      ld    fileName     load dumped file.  |\n");
  printf("|      diff  f-A f-B      diff 2 dumped file.|\n");
  printf("|      ldd   a/b[l/r]     [ldda/lddb]        |\n");
  printf("|            load diff a/b or left/right.    |\n");
  printf("|      q                  quit.              |\n");
  printf("\\--------------------------------------------/\n\n");
  printf("Note: if backspace Not work well, please use Del.\n");
}
```