/* remove the : separator from a typename */
char * remove_sep(char *base);
/* replace the : separator from a typename with a different character*/
/* remove the : separator from a typename */
char * remove_sep(char *base);
/* replace the : separator from a typename with a different character*/
-void separns_replace_sep(char *base, char **ns, char **name, char r);
+void separns_replace_sep(const char *base, char **ns, char **name, char r);
/* get a name usable for a cast from a GTK+ type (without GTK_TYPE_)*/
const char * get_cast(char *type, gboolean simple_only);
/* get a name usable for a cast from a GTK+ type (without GTK_TYPE_)*/
const char * get_cast(char *type, gboolean simple_only);