decorated_string_create_file_format()

void decorated_string_create_file_format	(	char *	dest,
		size_t	dest_size,
		decorated_string_len_t	len,
		int32_t	value
	)