Symbol: id_spec