Debugging rc4