id_t differs from index_t; index_t is for a class of objects