extern unsigned int intern_object(void *);
extern void *find_object(unsigned int);
extern void unintern_object(void *);
extern void unintern_object(void *);
extern void maybe_unintern_object(void *);

