+void ctf_string_read(unsigned char **dest, struct stream_pos *src,
+ const struct type_class_string *string_class);
+void ctf_string_write(struct stream_pos *dest, const unsigned char *src,
+ const struct type_class_string *string_class);
+void ctf_string_free_temp(unsigned char *string);