Symbol: bn_montgomery_multiply_words