A small RC4-Keystream generator