Symbol: id_t