+void ctf_string_copy(struct stream_pos *dest, struct stream_pos *src,
+ const struct declaration_string *string_declaration)
+{
+ size_t len;
+ char *destaddr, *srcaddr;
+
+ align_pos(src, string_declaration->p.alignment);
+ srcaddr = get_pos_addr(src);
+ len = strlen(srcaddr) + 1;
+ if (dest->dummy)
+ goto end;
+ align_pos(dest, string_declaration->p.alignment);
+ destaddr = get_pos_addr(dest);
+ strcpy(destaddr, srcaddr);
+end:
+ move_pos(dest, len);
+ move_pos(src, len);
+}
+
+void ctf_string_read(char **dest, struct stream_pos *src,
+ const struct declaration_string *string_declaration)