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

```asm
<print_man>:
  endbr64
  sub    $0x8,%rsp
  lea    D57(%rip),%rdi
  call   <printf@plt>
  lea    D36(%rip),%rdi
  call   <printf@plt>
  lea    D79(%rip),%rdi
  call   <printf@plt>
  lea    D147(%rip),%rdi
  call   <printf@plt>
  lea    D92(%rip),%rdi
  call   <printf@plt>
  lea    D55(%rip),%rdi
  call   <printf@plt>
  lea    D11(%rip),%rdi
  call   <printf@plt>
  lea    D22(%rip),%rdi
  call   <printf@plt>
  lea    D30(%rip),%rdi
  call   <printf@plt>
  lea    D141(%rip),%rdi
  call   <printf@plt>
  lea    D42(%rip),%rdi
  call   <printf@plt>
  lea    D95(%rip),%rdi
  call   <printf@plt>
  lea    D116(%rip),%rdi
  call   <printf@plt>
  lea    D143(%rip),%rdi
  call   <printf@plt>
  lea    D105(%rip),%rdi
  add    $0x8,%rsp
  jmp    1050 <printf@plt>
```

tool_calls: name: retrieve_data
arguments: label: D57
datatype: string
name: retrieve_data
arguments: label: D36
datatype: string
name: retrieve_data
arguments: label: D79
datatype: string
name: retrieve_data
arguments: label: D147
datatype: string
name: retrieve_data
arguments: label: D92
datatype: string
name: retrieve_data
arguments: label: D55
datatype: string
name: retrieve_data
arguments: label: D11
datatype: string
name: retrieve_data
arguments: label: D22
datatype: string
name: retrieve_data
arguments: label: D30
datatype: string
name: retrieve_data
arguments: label: D141
datatype: string
name: retrieve_data
arguments: label: D42
datatype: string
name: retrieve_data
arguments: label: D95
datatype: string
name: retrieve_data
arguments: label: D116
datatype: string
name: retrieve_data
arguments: label: D143
datatype: string
name: retrieve_data
arguments: label: D105
datatype: string

tool: D57: 
NAME
	tsl - generate test frames from a specification file


tool: D36: 
SYNOPSIS
	tsl [ --manpage ] [ -cs ] input_file [ -o output_file ]


tool: D79: 
DESCRIPTION
	The TSL utility generates test frames from a specification file


tool: D147: 	written in the extended Test Specification Language.  By default


tool: D92: 	it writes the test frames to a new file created by appending a


tool: D55: 	'.tsl' extension to the input_file's name.  Options can be used


tool: D11: 	to modify the output.


tool: D22: 
OPTIONS
	The following options are supported:


tool: D30: 
	--manpage
		Print this man page.


tool: D141: 
	-c	Report the number of test frames generated, but don't


tool: D42: 		write them to the output. After the number of frames is


tool: D95: 		reported you will be given the option of writing them


tool: D116: 		to the output.


tool: D143: 
	-s	Output is the standard output.


tool: D105: 
	-o output_file
		Output is the file output_file unless the -s option is used.



assistant: ```c
void print_man(char *prog_name) {
  printf("\nNAME\n\ttsl - generate test frames from a specification file\n");
  printf("\nSYNOPSIS\n\ttsl [ --manpage ] [ -cs ] input_file [ -o output_file ]\n");
  printf("\nDESCRIPTION\n\tThe TSL utility generates test frames from a specification file\n");
  printf("\twritten in the extended Test Specification Language.  By default\n");
  printf("\tit writes the test frames to a new file created by appending a\n");
  printf("\t'.tsl' extension to the input_file's name.  Options can be used\n");
  printf("\tto modify the output.\n");
  printf("\nOPTIONS\n\tThe following options are supported:\n");
  printf("\n\t--manpage\n\t\tPrint this man page.\n");
  printf("\n\t-c\tReport the number of test frames generated, but don't\n");
  printf("\t\twrite them to the output. After the number of frames is\n");
  printf("\t\treported you will be given the option of writing them\n");
  printf("\t\tto the output.\n");
  printf("\n\t-s\tOutput is the standard output.\n");
  printf("\n\t-o output_file\n\t\tOutput is the file output_file unless the -s option is used.\n\n");
}
```