Symbol: nn_mod_pow_redc