The SEAL stream cipher, version 2.0 Julius C. Duque (jcduque@lycos.com)