Merge branch 'master' into js/merge-base

diff --git a/object.h b/object.h
index 7ac10111c67fde71f89e4d1b93367c6ca90dd5c8..d8a76ea93552e0896d4d0c1dfbf60fa01436e6f5 100644 (file)
--- a/object.h
+++ b/object.h
@@ -40,10 +40,11 @@ struct object {
 };
 
 extern int track_object_refs;
-extern int obj_allocs;
-extern struct object **objs;
 extern const char *type_names[];
 
+extern unsigned int get_max_object_index(void);
+extern struct object *get_indexed_object(unsigned int);
+
 static inline const char *typename(unsigned int type)
 {
        return type_names[type > TYPE_TAG ? TYPE_BAD : type];