Sin embargo RC4 aún es una marca registrada.