user: 请显示与下面列出的汇编代码相匹配的C语言实现：

```asm
<print_man>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x10,%rsp
  mov    %rdi,-0x8(%rbp)
  lea    D127(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  lea    D58(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  lea    D128(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  lea    D20(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  lea    D98(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  lea    D73(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  lea    D68(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  lea    D53(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  lea    D62(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  lea    D91(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  lea    D16(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  lea    D130(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  lea    D149(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  lea    D123(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  lea    D23(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  nop
  leave
  ret
```

tool_calls: name: unpack_data
arguments: data_tag: D127
type_guessed: string
name: unpack_data
arguments: data_tag: D58
type_guessed: string
name: unpack_data
arguments: data_tag: D128
type_guessed: string
name: unpack_data
arguments: data_tag: D20
type_guessed: string
name: unpack_data
arguments: data_tag: D98
type_guessed: string
name: unpack_data
arguments: data_tag: D73
type_guessed: string
name: unpack_data
arguments: data_tag: D68
type_guessed: string
name: unpack_data
arguments: data_tag: D53
type_guessed: string
name: unpack_data
arguments: data_tag: D62
type_guessed: string
name: unpack_data
arguments: data_tag: D91
type_guessed: string
name: unpack_data
arguments: data_tag: D16
type_guessed: string
name: unpack_data
arguments: data_tag: D130
type_guessed: string
name: unpack_data
arguments: data_tag: D149
type_guessed: string
name: unpack_data
arguments: data_tag: D123
type_guessed: string
name: unpack_data
arguments: data_tag: D23
type_guessed: string

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


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


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


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


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


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


tool: D68: 	to modify the output.


tool: D53: 
OPTIONS
	The following options are supported:


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


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


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


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


tool: D149: 		to the output.


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


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