Symbol: id_spec_cmp