Added Loopy RC4 spec