get_highest_object_id  175 utils/hs_cleanup/hs_cleanup.c static long get_highest_object_id();
get_highest_object_id  420 utils/hs_cleanup/hs_cleanup.c   highest_objid = get_highest_object_id();