Symbol: fe25519_mul