Symbol: ICR_GCD