+/* Two complementary functions for dealing with
+ Very Long String variables */
+
+void copy_demangle (char *dst, size_t dst_size,
+ const char *src, size_t src_size);
+
+void copy_mangle (char *dst, size_t dst_size,
+ const char *src, size_t src_size);
+
+int width_to_bytes(int width);
+
+