list_defective_objects
list_defective_objects(); /* and list anything that's down */
void list_defective_objects();