Symbol: ifc_divisors