user: Converte this assembly snippet into its equivalent C code:

```asm
<print_usage>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x10,%rsp
  mov    %rdi,-0x8(%rbp)
  mov    -0x8(%rbp),%rax
  mov    %rax,%rsi
  lea    D4(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    D19(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  nop
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D4
type_guessed: string
name: extract_symbolic_data
arguments: data_tag: D19
type_guessed: string

tool: D4: usage: %s [-vhdix?] <filename>


tool: D19: 
   -d | --dump:                       dump intel firmware descriptor
   -f | --layout <filename>           dump regions into a flashrom layout file
   -x | --extract:                    extract intel fd modules
   -i | --inject <region>:<module>    inject file <module> into region <region>
   -n | --newlayout <filename>        update regions using a flashrom layout file
   -s | --spifreq <17|20|30|33|48|50> set the SPI frequency
   -D | --density <512|1|2|4|8|16>    set chip density (512 in KByte, others in MByte)
   -C | --chip <0|1|2>                select spi chip on which to operate
                                      can only be used once per run:
                                      0 - both chips (default), 1 - first chip, 2 - second chip
   -e | --em100                       set SPI frequency to 20MHz and disable
                                      Dual Output Fast Read Support
   -l | --lock                        Lock firmware descriptor and ME region
   -u | --unlock                      Unlock firmware descriptor and ME region
   -v | --version:                    print the version
   -h | --help:                       print this help

<region> is one of Descriptor, BIOS, ME, GbE, Platform


assistant: ```c
void print_usage(const char *name) {
  printf("usage: %s [-vhdix?] <filename>\n", name);
  printf("\n"
         "   -d | --dump:                       dump intel firmware descriptor\n"
         "   -f | --layout <filename>           dump regions into a flashrom layout file\n"
         "   -x | --extract:                    extract intel fd modules\n"
         "   -i | --inject <region>:<module>    inject file <module> into region <region>\n"
         "   -n | --newlayout <filename>        update regions using a flashrom layout file\n"
         "   -s | --spifreq <17|20|30|33|48|50> set the SPI frequency\n"
         "   -D | --density <512|1|2|4|8|16>    set chip density (512 in KByte, others in MByte)\n"
         "   -C | --chip <0|1|2>                select spi chip on which to operate\n"
         "                                      can only be used once per run:\n"
         "                                      0 - both chips (default), 1 - first chip, 2 - second chip\n"
         "   -e | --em100                       set SPI frequency to 20MHz and disable\n"
         "                                      Dual Output Fast Read Support\n"
         "   -l | --lock                        Lock firmware descriptor and ME region\n"
         "   -u | --unlock                      Unlock firmware descriptor and ME region\n"
         "   -v | --version:                    print the version\n"
         "   -h | --help:                       print this help\n\n"
         "<region> is one of Descriptor, BIOS, ME, GbE, Platform\n"
         "\n");
}
```