user: What would the C source look like for the assembly code provided here?

```asm
<print_man>:
  endbr64
  sub    $0x8,%rsp
  lea    D114(%rip),%rdi
  call   <printf@plt>
  lea    D1(%rip),%rdi
  call   <printf@plt>
  lea    D110(%rip),%rdi
  call   <printf@plt>
  lea    D125(%rip),%rdi
  call   <printf@plt>
  lea    D90(%rip),%rdi
  call   <printf@plt>
  lea    D62(%rip),%rdi
  call   <printf@plt>
  lea    D119(%rip),%rdi
  call   <printf@plt>
  lea    D102(%rip),%rdi
  call   <printf@plt>
  lea    D108(%rip),%rdi
  call   <printf@plt>
  lea    D56(%rip),%rdi
  call   <printf@plt>
  lea    D64(%rip),%rdi
  call   <printf@plt>
  lea    D76(%rip),%rdi
  call   <printf@plt>
  lea    D85(%rip),%rdi
  call   <printf@plt>
  lea    D149(%rip),%rdi
  call   <printf@plt>
  lea    D17(%rip),%rdi
  call   <printf@plt>
  add    $0x8,%rsp
  ret
```

tool_calls: name: parse_data
arguments: tag: D114
type: string
name: parse_data
arguments: tag: D1
type: string
name: parse_data
arguments: tag: D110
type: string
name: parse_data
arguments: tag: D125
type: string
name: parse_data
arguments: tag: D90
type: string
name: parse_data
arguments: tag: D62
type: string
name: parse_data
arguments: tag: D119
type: string
name: parse_data
arguments: tag: D102
type: string
name: parse_data
arguments: tag: D108
type: string
name: parse_data
arguments: tag: D56
type: string
name: parse_data
arguments: tag: D64
type: string
name: parse_data
arguments: tag: D76
type: string
name: parse_data
arguments: tag: D85
type: string
name: parse_data
arguments: tag: D149
type: string
name: parse_data
arguments: tag: D17
type: string

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


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


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


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


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


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


tool: D119: 	to modify the output.


tool: D102: 
OPTIONS
	The following options are supported:


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


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


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


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


tool: D85: 		to the output.


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


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