Symbol: FFC_CHECK_P_NOT_PRIME