extern void read_object(object * thing, char * file);