Referenced by pointer_query::dump(), pointer_query::flush_cache(), pointer_query::get_ref(), pointer_query::get_ref(), and pointer_query::put_ref().