Symbol: cmp_ids