85 				 char *value)  in format_and_print_txt()
112 static void format_and_print(FILE *outf, int level, char *header, char *value)  in format_and_print()
203 	char value[512];  in _isst_pbf_display_information()  local
249 	char value[256];  in _isst_fact_display_information()  local
322 	char value[256];  in isst_ctdp_display_core_info()  local
342 	char value[512];  in isst_ctdp_display_information()  local
587 	char value[256];  in isst_clos_display_information()  local
630 	char value[256];  in isst_clos_display_clos_information()  local
672 	char value[256];  in isst_clos_display_assoc_information()  local
691 	char value[256];  in isst_display_result()  local
713 	char value[256];  in isst_display_error_info_message()  local
752 	char value[256];  in isst_trl_display_information()  local