debug_object_destroy
debug_object_destroy (void *addr, const struct debug_obj_descr *descr) { }
void debug_object_destroy(void *addr, const struct debug_obj_descr *descr)