+void symbol_type_set (symbol_t *symbol,
+ char *type_name, location_t location);
+
+/* Set the DESTRUCTOR associated to SYMBOL. */
+void symbol_destructor_set (symbol_t *symbol,
+ char *destructor, location_t location);
+
+/* Set the PRINTER associated to SYMBOL. */
+void symbol_printer_set (symbol_t *symbol,
+ char *printer, location_t location);