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

```asm
<print_man>:
  endbr64
  sub    $0x8,%rsp
  lea    D103(%rip),%rdi
  call   <printf@plt>
  lea    D58(%rip),%rdi
  call   <printf@plt>
  lea    D24(%rip),%rdi
  call   <printf@plt>
  lea    D22(%rip),%rdi
  call   <printf@plt>
  lea    D45(%rip),%rdi
  call   <printf@plt>
  lea    D12(%rip),%rdi
  call   <printf@plt>
  lea    D39(%rip),%rdi
  call   <printf@plt>
  lea    D124(%rip),%rdi
  call   <printf@plt>
  lea    D40(%rip),%rdi
  call   <printf@plt>
  lea    D28(%rip),%rdi
  call   <printf@plt>
  lea    D108(%rip),%rdi
  call   <printf@plt>
  lea    D96(%rip),%rdi
  call   <printf@plt>
  lea    D144(%rip),%rdi
  call   <printf@plt>
  lea    D13(%rip),%rdi
  call   <printf@plt>
  lea    D63(%rip),%rdi
  add    $0x8,%rsp
  jmp    1050 <printf@plt>
```

tool_calls: name: read_data
arguments: label: D103
data_type: string
name: read_data
arguments: label: D58
data_type: string
name: read_data
arguments: label: D24
data_type: string
name: read_data
arguments: label: D22
data_type: string
name: read_data
arguments: label: D45
data_type: string
name: read_data
arguments: label: D12
data_type: string
name: read_data
arguments: label: D39
data_type: string
name: read_data
arguments: label: D124
data_type: string
name: read_data
arguments: label: D40
data_type: string
name: read_data
arguments: label: D28
data_type: string
name: read_data
arguments: label: D108
data_type: string
name: read_data
arguments: label: D96
data_type: string
name: read_data
arguments: label: D144
data_type: string
name: read_data
arguments: label: D13
data_type: string
name: read_data
arguments: label: D63
data_type: string

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


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


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


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


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


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


tool: D39: 	to modify the output.


tool: D124: 
OPTIONS
	The following options are supported:


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


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


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


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


tool: D144: 		to the output.


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


tool: D63: 
	-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");
}
```