printf("get object count\n");
/* We have to count the extra caches, one in this case. */
offset = use_external_cache ? 1 * cache->len : 0;
printf("get object count\n");
/* We have to count the extra caches, one in this case. */
offset = use_external_cache ? 1 * cache->len : 0;