Symbol: _nn_mul_redc1