-/** Set the default \c \%destructor. */
-void default_destructor_set (const char *destructor, location loc);
+/** Set the default \c \%destructor for tagged values. */
+void default_tagged_destructor_set (const char *destructor, location loc);
+/** Set the default \c \%destructor for tagless values. */
+void default_tagless_destructor_set (const char *destructor, location loc);