pointer must not be destroyed, since the object could be used at any time
during the program's lifetime. */
const char *find(const basis::root_object *ptr);
//!< locates the name for "ptr" in our objects.
pointer must not be destroyed, since the object could be used at any time
during the program's lifetime. */
const char *find(const basis::root_object *ptr);
//!< locates the name for "ptr" in our objects.