added ccp and -DGIDSET_TYPE=int