Rename the spritz_decrypt() arguments